runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3744764-1338808405/watcher-3744764-1338808405 -o /tmp/evaluation-result-3744764-1338808405/solver-3744764-1338808405 -C 1800 -W 1900 -M 15500 java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar HOME/instance-3744764-1338808405.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.02 2.01 2.00 3/194 27719
/proc/meminfo: memFree=26045304/32873648 swapFree=6864/6864
[pid=27719] ppid=27717 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/27719/stat : 27719 (java) D 27717 27719 27496 0 -1 4202496 241 0 0 0 0 0 0 0 20 0 1 0 346967422 9515008 176 33554432000 1073741824 1073778376 140736991200576 140736991183304 213193147280 0 0 4096 0 18446744072100609316 0 0 17 5 0 0 0 0 0
/proc/27719/statm: 2323 176 133 9 0 71 0
[startup+0.0273379 s]
/proc/loadavg: 2.02 2.01 2.00 3/194 27719
/proc/meminfo: memFree=26045304/32873648 swapFree=6864/6864
[pid=27719] ppid=27717 vsize=2413132 CPUtime=0 cores=1,3,5,7
/proc/27719/stat : 27719 (java) S 27717 27719 27496 0 -1 4202496 3144 0 1 0 0 0 0 0 20 0 10 0 346967422 2471047168 3335 33554432000 1073741824 1073778376 140734317889360 140734317880496 213196505149 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/27719/statm: 603283 3337 1060 9 0 594392 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2413132
[startup+0.100257 s]
/proc/loadavg: 2.02 2.01 2.00 3/194 27719
/proc/meminfo: memFree=26045304/32873648 swapFree=6864/6864
[pid=27719] ppid=27717 vsize=2957856 CPUtime=0.09 cores=1,3,5,7
/proc/27719/stat : 27719 (java) S 27717 27719 27496 0 -1 4202496 4975 0 1 0 8 1 0 0 20 0 18 0 346967422 3028844544 6175 33554432000 1073741824 1073778376 140734317889360 140734317880496 213196505149 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/27719/statm: 739464 6175 2126 9 0 729885 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2957856
[startup+0.300233 s]
/proc/loadavg: 2.02 2.01 2.00 3/194 27719
/proc/meminfo: memFree=26045304/32873648 swapFree=6864/6864
[pid=27719] ppid=27717 vsize=2957856 CPUtime=0.47 cores=1,3,5,7
/proc/27719/stat : 27719 (java) S 27717 27719 27496 0 -1 4202496 6019 0 1 0 46 1 0 0 20 0 18 0 346967422 3028844544 9593 33554432000 1073741824 1073778376 140734317889360 140734317880496 213196505149 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/27719/statm: 739464 9593 2239 9 0 729885 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 2957856
[startup+0.700308 s]
/proc/loadavg: 2.02 2.01 2.00 3/194 27719
/proc/meminfo: memFree=26045304/32873648 swapFree=6864/6864
[pid=27719] ppid=27717 vsize=2957856 CPUtime=1.11 cores=1,3,5,7
/proc/27719/stat : 27719 (java) S 27717 27719 27496 0 -1 4202496 9316 0 1 0 107 4 0 0 20 0 18 0 346967422 3028844544 50961 33554432000 1073741824 1073778376 140734317889360 140734317880496 213196505149 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/27719/statm: 739464 50961 2251 9 0 729885 0
Current children cumulated CPU time (s) 1.11
Current children cumulated vsize (KiB) 2957856
[startup+1.50074 s]
/proc/loadavg: 2.02 2.01 2.00 3/212 27737
/proc/meminfo: memFree=25702736/32873648 swapFree=6864/6864
[pid=27719] ppid=27717 vsize=2957856 CPUtime=2 cores=1,3,5,7
/proc/27719/stat : 27719 (java) S 27717 27719 27496 0 -1 4202496 9481 0 1 0 192 8 0 0 20 0 18 0 346967422 3028844544 114471 33554432000 1073741824 1073778376 140734317889360 140734317880496 213196505149 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/27719/statm: 739464 114471 2267 9 0 729885 0
[pid=27719/tid=27721] ppid=27717 vsize=2957856 CPUtime=1.43 cores=1,3,5,7
/proc/27719/task/27721/stat : 27721 (java) R 27717 27719 27496 0 -1 4202560 3277 0 1 0 136 7 0 0 20 0 18 0 346967424 3028844544 114471 33554432000 1073741824 1073778376 140734317889360 140626295845104 140626168810466 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=27719/tid=27722] ppid=27717 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/27719/task/27722/stat : 27722 (java) S 27717 27719 27496 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 18 0 346967425 3028844544 114471 33554432000 1073741824 1073778376 140734317889360 140626161825960 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27719/tid=27723] ppid=27717 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/27719/task/27723/stat : 27723 (java) S 27717 27719 27496 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 18 0 346967425 3028844544 114471 33554432000 1073741824 1073778376 140734317889360 140626160773416 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27719/tid=27724] ppid=27717 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/27719/task/27724/stat : 27724 (java) S 27717 27719 27496 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 18 0 346967425 3028844544 114471 33554432000 1073741824 1073778376 140734317889360 140626159720872 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27719/tid=27725] ppid=27717 vsize=2957856 CPUtime=0.02 cores=1,3,5,7
/proc/27719/task/27725/stat : 27725 (java) S 27717 27719 27496 0 -1 4202560 16 0 0 0 2 0 0 0 20 0 18 0 346967425 3028844544 114471 33554432000 1073741824 1073778376 140734317889360 140626158668328 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27719/tid=27726] ppid=27717 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/27719/task/27726/stat : 27726 (java) S 27717 27719 27496 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 18 0 346967425 3028844544 114471 33554432000 1073741824 1073778376 140734317889360 140626157615784 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27719/tid=27727] ppid=27717 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/27719/task/27727/stat : 27727 (java) S 27717 27719 27496 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 18 0 346967425 3028844544 114471 33554432000 1073741824 1073778376 140734317889360 140626156563240 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27719/tid=27728] ppid=27717 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/27719/task/27728/stat : 27728 (java) S 27717 27719 27496 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 18 0 346967425 3028844544 114471 33554432000 1073741824 1073778376 140734317889360 140625819200424 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27719/tid=27729] ppid=27717 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/27719/task/27729/stat : 27729 (java) S 27717 27719 27496 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 18 0 346967425 3028844544 114471 33554432000 1073741824 1073778376 140734317889360 140625818147880 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27719/tid=27730] ppid=27717 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/27719/task/27730/stat : 27730 (java) S 27717 27719 27496 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 18 0 346967426 3028844544 114471 33554432000 1073741824 1073778376 140734317889360 140625805949032 213196519337 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27719/tid=27731] ppid=27717 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/27719/task/27731/stat : 27731 (java) S 27717 27719 27496 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 346967426 3028844544 114471 33554432000 1073741824 1073778376 140734317889360 140625804895352 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27719/tid=27732] ppid=27717 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/27719/task/27732/stat : 27732 (java) S 27717 27719 27496 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 346967426 3028844544 114471 33554432000 1073741824 1073778376 140734317889360 140625803842696 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27719/tid=27733] ppid=27717 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/27719/task/27733/stat : 27733 (java) S 27717 27719 27496 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 346967429 3028844544 114471 33554432000 1073741824 1073778376 140734317889360 140625802791440 213196527392 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27719/tid=27734] ppid=27717 vsize=2957856 CPUtime=0.2 cores=1,3,5,7
/proc/27719/task/27734/stat : 27734 (java) R 27717 27719 27496 0 -1 4202560 2347 0 0 0 20 0 0 0 20 0 18 0 346967429 3028844544 114471 33554432000 1073741824 1073778376 140734317889360 140625801738688 140626297943041 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=27719/tid=27735] ppid=27717 vsize=2957856 CPUtime=0.2 cores=1,3,5,7
/proc/27719/task/27735/stat : 27735 (java) R 27717 27719 27496 0 -1 4202560 2629 0 0 0 20 0 0 0 20 0 18 0 346967429 3028844544 114471 33554432000 1073741824 1073778376 140734317889360 140625800686440 140626301880964 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=27719/tid=27736] ppid=27717 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/27719/task/27736/stat : 27736 (java) S 27717 27719 27496 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 346967429 3028844544 114471 33554432000 1073741824 1073778376 140734317889360 140625799633912 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27719/tid=27737] ppid=27717 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/27719/task/27737/stat : 27737 (java) S 27717 27719 27496 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 346967429 3028844544 114471 33554432000 1073741824 1073778376 140734317889360 140625798581576 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 2
Current children cumulated vsize (KiB) 2957856
[startup+3.10076 s]
/proc/loadavg: 2.02 2.01 2.00 3/212 27737
/proc/meminfo: memFree=25570292/32873648 swapFree=6864/6864
[pid=27719] ppid=27717 vsize=2957856 CPUtime=3.79 cores=1,3,5,7
/proc/27719/stat : 27719 (java) S 27717 27719 27496 0 -1 4202496 9578 0 1 0 367 12 0 0 20 0 18 0 346967422 3028844544 124732 33554432000 1073741824 1073778376 140734317889360 140734317880496 213196505149 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/27719/statm: 739464 124732 2267 9 0 729885 0
[pid=27719/tid=27721] ppid=27717 vsize=2957856 CPUtime=2.95 cores=1,3,5,7
/proc/27719/task/27721/stat : 27721 (java) R 27717 27719 27496 0 -1 4202560 3279 0 1 0 288 7 0 0 20 0 18 0 346967424 3028844544 124732 33554432000 1073741824 1073778376 140734317889360 140626295852648 140626168728901 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=27719/tid=27722] ppid=27717 vsize=2957856 CPUtime=0.03 cores=1,3,5,7
/proc/27719/task/27722/stat : 27722 (java) S 27717 27719 27496 0 -1 4202560 25 0 0 0 3 0 0 0 20 0 18 0 346967425 3028844544 124732 33554432000 1073741824 1073778376 140734317889360 140626161825960 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27719/tid=27723] ppid=27717 vsize=2957856 CPUtime=0.03 cores=1,3,5,7
/proc/27719/task/27723/stat : 27723 (java) S 27717 27719 27496 0 -1 4202560 14 0 0 0 3 0 0 0 20 0 18 0 346967425 3028844544 124732 33554432000 1073741824 1073778376 140734317889360 140626160773416 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27719/tid=27724] ppid=27717 vsize=2957856 CPUtime=0.04 cores=1,3,5,7
/proc/27719/task/27724/stat : 27724 (java) S 27717 27719 27496 0 -1 4202560 18 0 0 0 4 0 0 0 20 0 18 0 346967425 3028844544 124732 33554432000 1073741824 1073778376 140734317889360 140626159720872 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27719/tid=27725] ppid=27717 vsize=2957856 CPUtime=0.04 cores=1,3,5,7
/proc/27719/task/27725/stat : 27725 (java) S 27717 27719 27496 0 -1 4202560 26 0 0 0 4 0 0 0 20 0 18 0 346967425 3028844544 124732 33554432000 1073741824 1073778376 140734317889360 140626158668328 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27719/tid=27726] ppid=27717 vsize=2957856 CPUtime=0.03 cores=1,3,5,7
/proc/27719/task/27726/stat : 27726 (java) S 27717 27719 27496 0 -1 4202560 20 0 0 0 3 0 0 0 20 0 18 0 346967425 3028844544 124732 33554432000 1073741824 1073778376 140734317889360 140626157615784 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27719/tid=27727] ppid=27717 vsize=2957856 CPUtime=0.02 cores=1,3,5,7
/proc/27719/task/27727/stat : 27727 (java) S 27717 27719 27496 0 -1 4202560 10 0 0 0 2 0 0 0 20 0 18 0 346967425 3028844544 124732 33554432000 1073741824 1073778376 140734317889360 140626156563240 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27719/tid=27728] ppid=27717 vsize=2957856 CPUtime=0.02 cores=1,3,5,7
/proc/27719/task/27728/stat : 27728 (java) S 27717 27719 27496 0 -1 4202560 9 0 0 0 2 0 0 0 20 0 18 0 346967425 3028844544 124732 33554432000 1073741824 1073778376 140734317889360 140625819200424 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27719/tid=27729] ppid=27717 vsize=2957856 CPUtime=0.03 cores=1,3,5,7
/proc/27719/task/27729/stat : 27729 (java) S 27717 27719 27496 0 -1 4202560 17 0 0 0 3 0 0 0 20 0 18 0 346967425 3028844544 124732 33554432000 1073741824 1073778376 140734317889360 140625818147880 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27719/tid=27730] ppid=27717 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/27719/task/27730/stat : 27730 (java) S 27717 27719 27496 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 18 0 346967426 3028844544 124732 33554432000 1073741824 1073778376 140734317889360 140625805949032 213196519337 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27719/tid=27731] ppid=27717 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/27719/task/27731/stat : 27731 (java) S 27717 27719 27496 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 346967426 3028844544 124732 33554432000 1073741824 1073778376 140734317889360 140625804895352 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27719/tid=27732] ppid=27717 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/27719/task/27732/stat : 27732 (java) S 27717 27719 27496 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 346967426 3028844544 124732 33554432000 1073741824 1073778376 140734317889360 140625803842696 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27719/tid=27733] ppid=27717 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/27719/task/27733/stat : 27733 (java) S 27717 27719 27496 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 346967429 3028844544 124732 33554432000 1073741824 1073778376 140734317889360 140625802791440 213196527392 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27719/tid=27734] ppid=27717 vsize=2957856 CPUtime=0.21 cores=1,3,5,7
/proc/27719/task/27734/stat : 27734 (java) S 27717 27719 27496 0 -1 4202560 2348 0 0 0 21 0 0 0 20 0 18 0 346967429 3028844544 124732 33554432000 1073741824 1073778376 140734317889360 140625801738808 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27719/tid=27735] ppid=27717 vsize=2957856 CPUtime=0.21 cores=1,3,5,7
/proc/27719/task/27735/stat : 27735 (java) S 27717 27719 27496 0 -1 4202560 2630 0 0 0 21 0 0 0 20 0 18 0 346967429 3028844544 124732 33554432000 1073741824 1073778376 140734317889360 140625800686264 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27719/tid=27736] ppid=27717 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/27719/task/27736/stat : 27736 (java) S 27717 27719 27496 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 346967429 3028844544 124732 33554432000 1073741824 1073778376 140734317889360 140625799633912 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27719/tid=27737] ppid=27717 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/27719/task/27737/stat : 27737 (java) S 27717 27719 27496 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 346967429 3028844544 124732 33554432000 1073741824 1073778376 140734317889360 140625798581576 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.79
Current children cumulated vsize (KiB) 2957856
[startup+6.30074 s]
/proc/loadavg: 2.02 2.01 2.00 3/212 27739
/proc/meminfo: memFree=25519796/32873648 swapFree=6864/6864
[pid=27719] ppid=27717 vsize=3024420 CPUtime=7.96 cores=1,3,5,7
/proc/27719/stat : 27719 (java) S 27717 27719 27496 0 -1 4202496 16776 0 1 0 780 16 0 0 20 0 18 0 346967422 3097006080 133099 33554432000 1073741824 1073778376 140734317889360 140734317880496 213196505149 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/27719/statm: 756105 133099 2295 9 0 746526 0
[pid=27719/tid=27721] ppid=27717 vsize=3024420 CPUtime=6.1 cores=1,3,5,7
/proc/27719/task/27721/stat : 27721 (java) R 27717 27719 27496 0 -1 4202560 3296 0 1 0 603 7 0 0 20 0 18 0 346967424 3097006080 133099 33554432000 1073741824 1073778376 140734317889360 140626295852008 140626169158653 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=27719/tid=27722] ppid=27717 vsize=3024420 CPUtime=0.07 cores=1,3,5,7
/proc/27719/task/27722/stat : 27722 (java) S 27717 27719 27496 0 -1 4202560 37 0 0 0 6 1 0 0 20 0 18 0 346967425 3097006080 133099 33554432000 1073741824 1073778376 140734317889360 140626161825960 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27719/tid=27723] ppid=27717 vsize=3024420 CPUtime=0.04 cores=1,3,5,7
/proc/27719/task/27723/stat : 27723 (java) S 27717 27719 27496 0 -1 4202560 17 0 0 0 4 0 0 0 20 0 18 0 346967425 3097006080 133099 33554432000 1073741824 1073778376 140734317889360 140626160773416 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27719/tid=27724] ppid=27717 vsize=3024420 CPUtime=0.06 cores=1,3,5,7
/proc/27719/task/27724/stat : 27724 (java) S 27717 27719 27496 0 -1 4202560 25 0 0 0 5 1 0 0 20 0 18 0 346967425 3097006080 133099 33554432000 1073741824 1073778376 140734317889360 140626159720872 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27719/tid=27725] ppid=27717 vsize=3024420 CPUtime=0.06 cores=1,3,5,7
/proc/27719/task/27725/stat : 27725 (java) S 27717 27719 27496 0 -1 4202560 32 0 0 0 6 0 0 0 20 0 18 0 346967425 3097006080 133099 33554432000 1073741824 1073778376 140734317889360 140626158668328 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27719/tid=27726] ppid=27717 vsize=3024420 CPUtime=0.04 cores=1,3,5,7
/proc/27719/task/27726/stat : 27726 (java) S 27717 27719 27496 0 -1 4202560 23 0 0 0 4 0 0 0 20 0 18 0 346967425 3097006080 133099 33554432000 1073741824 1073778376 140734317889360 140626157615784 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27719/tid=27727] ppid=27717 vsize=3024420 CPUtime=0.04 cores=1,3,5,7
/proc/27719/task/27727/stat : 27727 (java) S 27717 27719 27496 0 -1 4202560 12 0 0 0 4 0 0 0 20 0 18 0 346967425 3097006080 133099 33554432000 1073741824 1073778376 140734317889360 140626156563240 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27719/tid=27728] ppid=27717 vsize=3024420 CPUtime=0.02 cores=1,3,5,7
/proc/27719/task/27728/stat : 27728 (java) S 27717 27719 27496 0 -1 4202560 13 0 0 0 2 0 0 0 20 0 18 0 346967425 3097006080 133099 33554432000 1073741824 1073778376 140734317889360 140625819200424 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27719/tid=27729] ppid=27717 vsize=3024420 CPUtime=0.07 cores=1,3,5,7
/proc/27719/task/27729/stat : 27729 (java) S 27717 27719 27496 0 -1 4202560 29 0 0 0 6 1 0 0 20 0 18 0 346967425 3097006080 133099 33554432000 1073741824 1073778376 140734317889360 140625818147880 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27719/tid=27730] ppid=27717 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/27719/task/27730/stat : 27730 (java) S 27717 27719 27496 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 18 0 346967426 3097006080 133099 33554432000 1073741824 1073778376 140734317889360 140625805949032 213196519337 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27719/tid=27731] ppid=27717 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/27719/task/27731/stat : 27731 (java) S 27717 27719 27496 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 346967426 3097006080 133099 33554432000 1073741824 1073778376 140734317889360 140625804895352 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27719/tid=27732] ppid=27717 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/27719/task/27732/stat : 27732 (java) S 27717 27719 27496 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 346967426 3097006080 133099 33554432000 1073741824 1073778376 140734317889360 140625803842696 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27719/tid=27733] ppid=27717 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/27719/task/27733/stat : 27733 (java) S 27717 27719 27496 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 346967429 3097006080 133099 33554432000 1073741824 1073778376 140734317889360 140625802791440 213196527392 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27719/tid=27734] ppid=27717 vsize=3024420 CPUtime=0.61 cores=1,3,5,7
/proc/27719/task/27734/stat : 27734 (java) S 27717 27719 27496 0 -1 4202560 7327 0 0 0 60 1 0 0 20 0 18 0 346967429 3097006080 133099 33554432000 1073741824 1073778376 140734317889360 140625801738808 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27719/tid=27735] ppid=27717 vsize=3024420 CPUtime=0.65 cores=1,3,5,7
/proc/27719/task/27735/stat : 27735 (java) S 27717 27719 27496 0 -1 4202560 4764 0 0 0 64 1 0 0 20 0 18 0 346967429 3097006080 133099 33554432000 1073741824 1073778376 140734317889360 140625800686264 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27719/tid=27736] ppid=27717 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/27719/task/27736/stat : 27736 (java) S 27717 27719 27496 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 346967429 3097006080 133099 33554432000 1073741824 1073778376 140734317889360 140625799633912 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27719/tid=27737] ppid=27717 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/27719/task/27737/stat : 27737 (java) S 27717 27719 27496 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 346967429 3097006080 133099 33554432000 1073741824 1073778376 140734317889360 140625798581576 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 7.96
Current children cumulated vsize (KiB) 3024420
[startup+12.7007 s]
/proc/loadavg: 2.02 2.01 2.00 3/213 27742
/proc/meminfo: memFree=25521744/32873648 swapFree=6864/6864
[pid=27719] ppid=27717 vsize=3024420 CPUtime=14.4 cores=1,3,5,7
/proc/27719/stat : 27719 (java) S 27717 27719 27496 0 -1 4202496 16784 0 1 0 1424 16 0 0 20 0 19 0 346967422 3097006080 132605 33554432000 1073741824 1073778376 140734317889360 140734317880496 213196505149 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/27719/statm: 756105 132605 2295 9 0 746526 0
[pid=27719/tid=27721] ppid=27717 vsize=3024420 CPUtime=12.48 cores=1,3,5,7
################
# More data... #
################
/proc/27719/task/27729/stat : 27729 (java) S 27717 27719 27496 0 -1 4202560 220 0 0 0 31 12 0 0 20 0 19 0 346967425 3097006080 421293 33554432000 1073741824 1073778376 140734317889360 140625818147880 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27719/tid=27730] ppid=27717 vsize=3024420 CPUtime=22.34 cores=1,3,5,7
/proc/27719/task/27730/stat : 27730 (java) R 27717 27719 27496 0 -1 4202560 144 0 0 0 2231 3 0 0 20 0 19 0 346967426 3097006080 421293 33554432000 1073741824 1073778376 140734317889360 140625805949192 140626301977003 0 0 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=27719/tid=27731] ppid=27717 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/27719/task/27731/stat : 27731 (java) S 27717 27719 27496 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 346967426 3097006080 421293 33554432000 1073741824 1073778376 140734317889360 140625804895352 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27719/tid=27732] ppid=27717 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/27719/task/27732/stat : 27732 (java) S 27717 27719 27496 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 19 0 346967426 3097006080 421293 33554432000 1073741824 1073778376 140734317889360 140625803842696 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27719/tid=27733] ppid=27717 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/27719/task/27733/stat : 27733 (java) S 27717 27719 27496 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346967429 3097006080 421293 33554432000 1073741824 1073778376 140734317889360 140625802791440 213196527392 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27719/tid=27734] ppid=27717 vsize=3024420 CPUtime=0.63 cores=1,3,5,7
/proc/27719/task/27734/stat : 27734 (java) S 27717 27719 27496 0 -1 4202560 7331 0 0 0 61 2 0 0 20 0 19 0 346967429 3097006080 421293 33554432000 1073741824 1073778376 140734317889360 140625801738808 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27719/tid=27735] ppid=27717 vsize=3024420 CPUtime=0.68 cores=1,3,5,7
/proc/27719/task/27735/stat : 27735 (java) S 27717 27719 27496 0 -1 4202560 4765 0 0 0 67 1 0 0 20 0 19 0 346967429 3097006080 421293 33554432000 1073741824 1073778376 140734317889360 140625800686264 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27719/tid=27736] ppid=27717 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/27719/task/27736/stat : 27736 (java) S 27717 27719 27496 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346967429 3097006080 421293 33554432000 1073741824 1073778376 140734317889360 140625799633912 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27719/tid=27737] ppid=27717 vsize=3024420 CPUtime=0.06 cores=1,3,5,7
/proc/27719/task/27737/stat : 27737 (java) S 27717 27719 27496 0 -1 4202560 19 0 0 0 2 4 0 0 20 0 19 0 346967429 3097006080 421293 33554432000 1073741824 1073778376 140734317889360 140625798581576 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27719/tid=27742] ppid=27717 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/27719/task/27742/stat : 27742 (java) S 27717 27719 27496 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 346968080 3097006080 421293 33554432000 1073741824 1073778376 140734317889360 140625796449576 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 336.79
Current children cumulated vsize (KiB) 3024420
[startup+333.501 s]
/proc/loadavg: 1.99 2.00 2.00 3/213 27805
/proc/meminfo: memFree=25349436/32873648 swapFree=6864/6864
[pid=27719] ppid=27717 vsize=3024420 CPUtime=337.59 cores=1,3,5,7
/proc/27719/stat : 27719 (java) S 27717 27719 27496 0 -1 4202496 19002 0 1 0 33644 115 0 0 20 0 19 0 346967422 3097006080 421293 33554432000 1073741824 1073778376 140734317889360 140734317880496 213196505149 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/27719/statm: 756105 421293 2302 9 0 746526 0
[pid=27719/tid=27721] ppid=27717 vsize=3024420 CPUtime=308.46 cores=1,3,5,7
/proc/27719/task/27721/stat : 27721 (java) S 27717 27719 27496 0 -1 4202560 3344 0 1 0 30835 11 0 0 20 0 19 0 346967424 3097006080 421293 33554432000 1073741824 1073778376 140734317889360 140626295854248 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27719/tid=27722] ppid=27717 vsize=3024420 CPUtime=0.49 cores=1,3,5,7
/proc/27719/task/27722/stat : 27722 (java) S 27717 27719 27496 0 -1 4202560 285 0 0 0 34 15 0 0 20 0 19 0 346967425 3097006080 421293 33554432000 1073741824 1073778376 140734317889360 140626161825960 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27719/tid=27723] ppid=27717 vsize=3024420 CPUtime=0.44 cores=1,3,5,7
/proc/27719/task/27723/stat : 27723 (java) S 27717 27719 27496 0 -1 4202560 222 0 0 0 33 11 0 0 20 0 19 0 346967425 3097006080 421293 33554432000 1073741824 1073778376 140734317889360 140626160773416 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27719/tid=27724] ppid=27717 vsize=3024420 CPUtime=0.46 cores=1,3,5,7
/proc/27719/task/27724/stat : 27724 (java) S 27717 27719 27496 0 -1 4202560 220 0 0 0 36 10 0 0 20 0 19 0 346967425 3097006080 421293 33554432000 1073741824 1073778376 140734317889360 140626159720872 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27719/tid=27725] ppid=27717 vsize=3024420 CPUtime=0.48 cores=1,3,5,7
/proc/27719/task/27725/stat : 27725 (java) S 27717 27719 27496 0 -1 4202560 267 0 0 0 34 14 0 0 20 0 19 0 346967425 3097006080 421293 33554432000 1073741824 1073778376 140734317889360 140626158668328 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27719/tid=27726] ppid=27717 vsize=3024420 CPUtime=0.46 cores=1,3,5,7
/proc/27719/task/27726/stat : 27726 (java) S 27717 27719 27496 0 -1 4202560 213 0 0 0 34 12 0 0 20 0 19 0 346967425 3097006080 421293 33554432000 1073741824 1073778376 140734317889360 140626157615784 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27719/tid=27727] ppid=27717 vsize=3024420 CPUtime=0.46 cores=1,3,5,7
/proc/27719/task/27727/stat : 27727 (java) S 27717 27719 27496 0 -1 4202560 466 0 0 0 33 13 0 0 20 0 19 0 346967425 3097006080 421293 33554432000 1073741824 1073778376 140734317889360 140626156563240 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27719/tid=27728] ppid=27717 vsize=3024420 CPUtime=0.41 cores=1,3,5,7
/proc/27719/task/27728/stat : 27728 (java) S 27717 27719 27496 0 -1 4202560 305 0 0 0 28 13 0 0 20 0 19 0 346967425 3097006080 421293 33554432000 1073741824 1073778376 140734317889360 140625819200424 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27719/tid=27729] ppid=27717 vsize=3024420 CPUtime=0.43 cores=1,3,5,7
/proc/27719/task/27729/stat : 27729 (java) S 27717 27719 27496 0 -1 4202560 220 0 0 0 31 12 0 0 20 0 19 0 346967425 3097006080 421293 33554432000 1073741824 1073778376 140734317889360 140625818147880 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27719/tid=27730] ppid=27717 vsize=3024420 CPUtime=23.14 cores=1,3,5,7
/proc/27719/task/27730/stat : 27730 (java) R 27717 27719 27496 0 -1 4202560 144 0 0 0 2311 3 0 0 20 0 19 0 346967426 3097006080 421293 33554432000 1073741824 1073778376 140734317889360 140625805949192 140626301976969 0 0 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=27719/tid=27731] ppid=27717 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/27719/task/27731/stat : 27731 (java) S 27717 27719 27496 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 346967426 3097006080 421293 33554432000 1073741824 1073778376 140734317889360 140625804895352 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27719/tid=27732] ppid=27717 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/27719/task/27732/stat : 27732 (java) S 27717 27719 27496 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 19 0 346967426 3097006080 421293 33554432000 1073741824 1073778376 140734317889360 140625803842696 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27719/tid=27733] ppid=27717 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/27719/task/27733/stat : 27733 (java) S 27717 27719 27496 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346967429 3097006080 421293 33554432000 1073741824 1073778376 140734317889360 140625802791440 213196527392 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27719/tid=27734] ppid=27717 vsize=3024420 CPUtime=0.63 cores=1,3,5,7
/proc/27719/task/27734/stat : 27734 (java) S 27717 27719 27496 0 -1 4202560 7331 0 0 0 61 2 0 0 20 0 19 0 346967429 3097006080 421293 33554432000 1073741824 1073778376 140734317889360 140625801738808 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27719/tid=27735] ppid=27717 vsize=3024420 CPUtime=0.68 cores=1,3,5,7
/proc/27719/task/27735/stat : 27735 (java) S 27717 27719 27496 0 -1 4202560 4765 0 0 0 67 1 0 0 20 0 19 0 346967429 3097006080 421293 33554432000 1073741824 1073778376 140734317889360 140625800686264 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27719/tid=27736] ppid=27717 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/27719/task/27736/stat : 27736 (java) S 27717 27719 27496 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346967429 3097006080 421293 33554432000 1073741824 1073778376 140734317889360 140625799633912 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27719/tid=27737] ppid=27717 vsize=3024420 CPUtime=0.06 cores=1,3,5,7
/proc/27719/task/27737/stat : 27737 (java) S 27717 27719 27496 0 -1 4202560 19 0 0 0 2 4 0 0 20 0 19 0 346967429 3097006080 421293 33554432000 1073741824 1073778376 140734317889360 140625798581576 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27719/tid=27742] ppid=27717 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/27719/task/27742/stat : 27742 (java) S 27717 27719 27496 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 346968080 3097006080 421293 33554432000 1073741824 1073778376 140734317889360 140625796449576 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 337.59
Current children cumulated vsize (KiB) 3024420
[startup+333.701 s]
/proc/loadavg: 1.99 2.00 2.00 3/213 27805
/proc/meminfo: memFree=25349436/32873648 swapFree=6864/6864
[pid=27719] ppid=27717 vsize=3024420 CPUtime=337.79 cores=1,3,5,7
/proc/27719/stat : 27719 (java) S 27717 27719 27496 0 -1 4202496 19002 0 1 0 33664 115 0 0 20 0 19 0 346967422 3097006080 421293 33554432000 1073741824 1073778376 140734317889360 140734317880496 213196505149 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/27719/statm: 756105 421293 2302 9 0 746526 0
[pid=27719/tid=27721] ppid=27717 vsize=3024420 CPUtime=308.46 cores=1,3,5,7
/proc/27719/task/27721/stat : 27721 (java) S 27717 27719 27496 0 -1 4202560 3344 0 1 0 30835 11 0 0 20 0 19 0 346967424 3097006080 421293 33554432000 1073741824 1073778376 140734317889360 140626295854248 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27719/tid=27722] ppid=27717 vsize=3024420 CPUtime=0.49 cores=1,3,5,7
/proc/27719/task/27722/stat : 27722 (java) S 27717 27719 27496 0 -1 4202560 285 0 0 0 34 15 0 0 20 0 19 0 346967425 3097006080 421293 33554432000 1073741824 1073778376 140734317889360 140626161825960 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27719/tid=27723] ppid=27717 vsize=3024420 CPUtime=0.44 cores=1,3,5,7
/proc/27719/task/27723/stat : 27723 (java) S 27717 27719 27496 0 -1 4202560 222 0 0 0 33 11 0 0 20 0 19 0 346967425 3097006080 421293 33554432000 1073741824 1073778376 140734317889360 140626160773416 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27719/tid=27724] ppid=27717 vsize=3024420 CPUtime=0.46 cores=1,3,5,7
/proc/27719/task/27724/stat : 27724 (java) S 27717 27719 27496 0 -1 4202560 220 0 0 0 36 10 0 0 20 0 19 0 346967425 3097006080 421293 33554432000 1073741824 1073778376 140734317889360 140626159720872 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27719/tid=27725] ppid=27717 vsize=3024420 CPUtime=0.48 cores=1,3,5,7
/proc/27719/task/27725/stat : 27725 (java) S 27717 27719 27496 0 -1 4202560 267 0 0 0 34 14 0 0 20 0 19 0 346967425 3097006080 421293 33554432000 1073741824 1073778376 140734317889360 140626158668328 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27719/tid=27726] ppid=27717 vsize=3024420 CPUtime=0.46 cores=1,3,5,7
/proc/27719/task/27726/stat : 27726 (java) S 27717 27719 27496 0 -1 4202560 213 0 0 0 34 12 0 0 20 0 19 0 346967425 3097006080 421293 33554432000 1073741824 1073778376 140734317889360 140626157615784 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27719/tid=27727] ppid=27717 vsize=3024420 CPUtime=0.46 cores=1,3,5,7
/proc/27719/task/27727/stat : 27727 (java) S 27717 27719 27496 0 -1 4202560 466 0 0 0 33 13 0 0 20 0 19 0 346967425 3097006080 421293 33554432000 1073741824 1073778376 140734317889360 140626156563240 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27719/tid=27728] ppid=27717 vsize=3024420 CPUtime=0.41 cores=1,3,5,7
/proc/27719/task/27728/stat : 27728 (java) S 27717 27719 27496 0 -1 4202560 305 0 0 0 28 13 0 0 20 0 19 0 346967425 3097006080 421293 33554432000 1073741824 1073778376 140734317889360 140625819200424 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27719/tid=27729] ppid=27717 vsize=3024420 CPUtime=0.43 cores=1,3,5,7
/proc/27719/task/27729/stat : 27729 (java) S 27717 27719 27496 0 -1 4202560 220 0 0 0 31 12 0 0 20 0 19 0 346967425 3097006080 421293 33554432000 1073741824 1073778376 140734317889360 140625818147880 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27719/tid=27730] ppid=27717 vsize=3024420 CPUtime=23.34 cores=1,3,5,7
/proc/27719/task/27730/stat : 27730 (java) R 27717 27719 27496 0 -1 4202560 144 0 0 0 2331 3 0 0 20 0 19 0 346967426 3097006080 421293 33554432000 1073741824 1073778376 140734317889360 140625805949192 140626301977708 0 0 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=27719/tid=27731] ppid=27717 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/27719/task/27731/stat : 27731 (java) S 27717 27719 27496 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 346967426 3097006080 421293 33554432000 1073741824 1073778376 140734317889360 140625804895352 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27719/tid=27732] ppid=27717 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/27719/task/27732/stat : 27732 (java) S 27717 27719 27496 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 19 0 346967426 3097006080 421293 33554432000 1073741824 1073778376 140734317889360 140625803842696 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27719/tid=27733] ppid=27717 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/27719/task/27733/stat : 27733 (java) S 27717 27719 27496 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346967429 3097006080 421293 33554432000 1073741824 1073778376 140734317889360 140625802791440 213196527392 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27719/tid=27734] ppid=27717 vsize=3024420 CPUtime=0.63 cores=1,3,5,7
/proc/27719/task/27734/stat : 27734 (java) S 27717 27719 27496 0 -1 4202560 7331 0 0 0 61 2 0 0 20 0 19 0 346967429 3097006080 421293 33554432000 1073741824 1073778376 140734317889360 140625801738808 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27719/tid=27735] ppid=27717 vsize=3024420 CPUtime=0.68 cores=1,3,5,7
/proc/27719/task/27735/stat : 27735 (java) S 27717 27719 27496 0 -1 4202560 4765 0 0 0 67 1 0 0 20 0 19 0 346967429 3097006080 421293 33554432000 1073741824 1073778376 140734317889360 140625800686264 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27719/tid=27736] ppid=27717 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/27719/task/27736/stat : 27736 (java) S 27717 27719 27496 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346967429 3097006080 421293 33554432000 1073741824 1073778376 140734317889360 140625799633912 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27719/tid=27737] ppid=27717 vsize=3024420 CPUtime=0.06 cores=1,3,5,7
/proc/27719/task/27737/stat : 27737 (java) S 27717 27719 27496 0 -1 4202560 19 0 0 0 2 4 0 0 20 0 19 0 346967429 3097006080 421293 33554432000 1073741824 1073778376 140734317889360 140625798581576 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27719/tid=27742] ppid=27717 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/27719/task/27742/stat : 27742 (java) S 27717 27719 27496 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 346968080 3097006080 421293 33554432000 1073741824 1073778376 140734317889360 140625796449576 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 337.79
Current children cumulated vsize (KiB) 3024420
[startup+333.801 s]
/proc/loadavg: 1.99 2.00 2.00 3/213 27805
/proc/meminfo: memFree=25349436/32873648 swapFree=6864/6864
[pid=27719] ppid=27717 vsize=3024420 CPUtime=337.89 cores=1,3,5,7
/proc/27719/stat : 27719 (java) S 27717 27719 27496 0 -1 4202496 19002 0 1 0 33674 115 0 0 20 0 19 0 346967422 3097006080 421293 33554432000 1073741824 1073778376 140734317889360 140734317880496 213196505149 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/27719/statm: 756105 421293 2302 9 0 746526 0
[pid=27719/tid=27721] ppid=27717 vsize=3024420 CPUtime=308.46 cores=1,3,5,7
/proc/27719/task/27721/stat : 27721 (java) S 27717 27719 27496 0 -1 4202560 3344 0 1 0 30835 11 0 0 20 0 19 0 346967424 3097006080 421293 33554432000 1073741824 1073778376 140734317889360 140626295854248 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27719/tid=27722] ppid=27717 vsize=3024420 CPUtime=0.49 cores=1,3,5,7
/proc/27719/task/27722/stat : 27722 (java) S 27717 27719 27496 0 -1 4202560 285 0 0 0 34 15 0 0 20 0 19 0 346967425 3097006080 421293 33554432000 1073741824 1073778376 140734317889360 140626161825960 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27719/tid=27723] ppid=27717 vsize=3024420 CPUtime=0.44 cores=1,3,5,7
/proc/27719/task/27723/stat : 27723 (java) S 27717 27719 27496 0 -1 4202560 222 0 0 0 33 11 0 0 20 0 19 0 346967425 3097006080 421293 33554432000 1073741824 1073778376 140734317889360 140626160773416 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27719/tid=27724] ppid=27717 vsize=3024420 CPUtime=0.46 cores=1,3,5,7
/proc/27719/task/27724/stat : 27724 (java) S 27717 27719 27496 0 -1 4202560 220 0 0 0 36 10 0 0 20 0 19 0 346967425 3097006080 421293 33554432000 1073741824 1073778376 140734317889360 140626159720872 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27719/tid=27725] ppid=27717 vsize=3024420 CPUtime=0.48 cores=1,3,5,7
/proc/27719/task/27725/stat : 27725 (java) S 27717 27719 27496 0 -1 4202560 267 0 0 0 34 14 0 0 20 0 19 0 346967425 3097006080 421293 33554432000 1073741824 1073778376 140734317889360 140626158668328 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27719/tid=27726] ppid=27717 vsize=3024420 CPUtime=0.46 cores=1,3,5,7
/proc/27719/task/27726/stat : 27726 (java) S 27717 27719 27496 0 -1 4202560 213 0 0 0 34 12 0 0 20 0 19 0 346967425 3097006080 421293 33554432000 1073741824 1073778376 140734317889360 140626157615784 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27719/tid=27727] ppid=27717 vsize=3024420 CPUtime=0.46 cores=1,3,5,7
/proc/27719/task/27727/stat : 27727 (java) S 27717 27719 27496 0 -1 4202560 466 0 0 0 33 13 0 0 20 0 19 0 346967425 3097006080 421293 33554432000 1073741824 1073778376 140734317889360 140626156563240 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27719/tid=27728] ppid=27717 vsize=3024420 CPUtime=0.41 cores=1,3,5,7
/proc/27719/task/27728/stat : 27728 (java) S 27717 27719 27496 0 -1 4202560 305 0 0 0 28 13 0 0 20 0 19 0 346967425 3097006080 421293 33554432000 1073741824 1073778376 140734317889360 140625819200424 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27719/tid=27729] ppid=27717 vsize=3024420 CPUtime=0.43 cores=1,3,5,7
/proc/27719/task/27729/stat : 27729 (java) S 27717 27719 27496 0 -1 4202560 220 0 0 0 31 12 0 0 20 0 19 0 346967425 3097006080 421293 33554432000 1073741824 1073778376 140734317889360 140625818147880 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27719/tid=27730] ppid=27717 vsize=3024420 CPUtime=23.44 cores=1,3,5,7
/proc/27719/task/27730/stat : 27730 (java) R 27717 27719 27496 0 -1 4202560 144 0 0 0 2341 3 0 0 20 0 19 0 346967426 3097006080 421293 33554432000 1073741824 1073778376 140734317889360 140625805949192 140626303620636 0 0 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=27719/tid=27731] ppid=27717 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/27719/task/27731/stat : 27731 (java) S 27717 27719 27496 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 346967426 3097006080 421293 33554432000 1073741824 1073778376 140734317889360 140625804895352 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27719/tid=27732] ppid=27717 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/27719/task/27732/stat : 27732 (java) S 27717 27719 27496 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 19 0 346967426 3097006080 421293 33554432000 1073741824 1073778376 140734317889360 140625803842696 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27719/tid=27733] ppid=27717 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/27719/task/27733/stat : 27733 (java) S 27717 27719 27496 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346967429 3097006080 421293 33554432000 1073741824 1073778376 140734317889360 140625802791440 213196527392 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27719/tid=27734] ppid=27717 vsize=3024420 CPUtime=0.63 cores=1,3,5,7
/proc/27719/task/27734/stat : 27734 (java) S 27717 27719 27496 0 -1 4202560 7331 0 0 0 61 2 0 0 20 0 19 0 346967429 3097006080 421293 33554432000 1073741824 1073778376 140734317889360 140625801738808 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27719/tid=27735] ppid=27717 vsize=3024420 CPUtime=0.68 cores=1,3,5,7
/proc/27719/task/27735/stat : 27735 (java) S 27717 27719 27496 0 -1 4202560 4765 0 0 0 67 1 0 0 20 0 19 0 346967429 3097006080 421293 33554432000 1073741824 1073778376 140734317889360 140625800686264 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27719/tid=27736] ppid=27717 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/27719/task/27736/stat : 27736 (java) S 27717 27719 27496 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346967429 3097006080 421293 33554432000 1073741824 1073778376 140734317889360 140625799633912 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27719/tid=27737] ppid=27717 vsize=3024420 CPUtime=0.06 cores=1,3,5,7
/proc/27719/task/27737/stat : 27737 (java) S 27717 27719 27496 0 -1 4202560 19 0 0 0 2 4 0 0 20 0 19 0 346967429 3097006080 421293 33554432000 1073741824 1073778376 140734317889360 140625798581576 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27719/tid=27742] ppid=27717 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/27719/task/27742/stat : 27742 (java) S 27717 27719 27496 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 346968080 3097006080 421293 33554432000 1073741824 1073778376 140734317889360 140625796449576 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 337.89
Current children cumulated vsize (KiB) 3024420
Child status: 1
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 27719 and gives
# childrusage.ru_utime.tv_sec=335
# childrusage.ru_utime.tv_usec=869940
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=341796
# CPU time returned by wait4() is 337.212
# while last known CPU time is 337.89
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 333.873
CPU time (s): 337.89
CPU user time (s): 336.74
CPU system time (s): 1.15
CPU usage (%): 101.203
Max. virtual memory (cumulated for all children) (KiB): 3024420
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 335.87
system time used= 1.3418
maximum resident set size= 1685180
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19005
page faults= 1
swaps= 0
block input operations= 0
block output operations= 360
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7817
involuntary context switches= 2462
runsolver used 1.3398 second user time and 3.54446 second system time
The end