runsolver Copyright (C) 2010-2013 Olivier ROUSSEL
This is runsolver version 3.3.7 (svn: 2553)
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-4262419-1502457469/watcher-4262419-1502457469 -o /tmp/evaluation-result-4262419-1502457469/solver-4262419-1502457469 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node134-1502411438-1523 --watchdog 2580 bin/concrete HOME/instance-4262419-1502457469.xml
pid=12882
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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: 8192 KiB
[startup+0 s]
/proc/loadavg: 1.44 1.39 1.44 3/200 12885
/proc/meminfo: memFree=28266892/32770624 swapFree=0/571692
[pid=12885] ppid=12882 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/12885/stat : 12885 (runsolver) D 12882 12885 1460 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 93253160 24240128 108 18446744073709551615 4194304 4338465 140723933437440 140723933435080 140245298053847 0 0 1 24578 18446744071580418449 0 0 17 2 0 0 0 0 0 6438912 6441760 22306816 140723933446353 140723933446729 140723933446729 140723933450186 0
/proc/12885/statm: 5918 108 54 36 0 2156 0
[startup+0.100093 s]
/proc/loadavg: 1.44 1.39 1.44 3/200 12885
/proc/meminfo: memFree=28266892/32770624 swapFree=0/571692
[pid=12885] ppid=12882 vsize=9508 CPUtime=0 cores=0,2,4,6
/proc/12885/stat : 12885 (bash) S 12882 12885 1460 0 -1 4202496 682 1542 0 0 0 0 0 0 20 0 1 0 93253160 9736192 351 18446744073709551615 4194304 5098028 140736732938752 140736732936392 140293922860032 0 0 5 65536 18446744071580971376 0 0 17 6 0 0 8 0 0 7196144 7232144 32194560 140736732942868 140736732942953 140736732942953 140736732946410 0
/proc/12885/statm: 2377 351 278 221 0 86 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9508
[startup+0.200339 s]
/proc/loadavg: 1.44 1.39 1.44 3/200 12885
/proc/meminfo: memFree=28266892/32770624 swapFree=0/571692
[pid=12885] ppid=12882 vsize=9636 CPUtime=0.01 cores=0,2,4,6
/proc/12885/stat : 12885 (bash) S 12882 12885 1460 0 -1 4202496 891 6484 0 0 0 0 0 1 20 0 1 0 93253160 9867264 377 18446744073709551615 4194304 5098028 140736732938752 140736732932760 140293922860032 0 0 5 65536 18446744071580971376 0 0 17 6 0 0 8 0 0 7196144 7232144 32194560 140736732942868 140736732942953 140736732942953 140736732946410 0
/proc/12885/statm: 2409 377 296 221 0 118 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9636
[startup+0.300369 s]
/proc/loadavg: 1.44 1.39 1.44 3/200 12885
/proc/meminfo: memFree=28266892/32770624 swapFree=0/571692
[pid=12885] ppid=12882 vsize=13907308 CPUtime=0.13 cores=0,2,4,6
/proc/12885/stat : 12885 (java) S 12882 12885 1460 0 -1 1077944320 5874 12362 0 0 5 1 5 2 20 0 14 0 93253160 14241083392 5540 18446744073709551615 4194304 4196468 140721387891648 140721387874192 139669788532471 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 8 0 0 6293624 6294260 27942912 140721387894736 140721387897521 140721387897521 140721387900879 0
/proc/12885/statm: 3476827 5540 2559 1 0 3466324 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 13907308
[startup+0.700186 s]
/proc/loadavg: 1.44 1.39 1.44 3/200 12885
/proc/meminfo: memFree=28266892/32770624 swapFree=0/571692
[pid=12885] ppid=12882 vsize=13974784 CPUtime=0.63 cores=0,2,4,6
/proc/12885/stat : 12885 (java) S 12882 12885 1460 0 -1 1077944320 13921 12362 0 0 52 4 5 2 20 0 15 0 93253160 14310178816 14381 18446744073709551615 4194304 4196468 140721387891648 140721387874192 139669788532471 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 8 0 0 6293624 6294260 27942912 140721387894736 140721387897521 140721387897521 140721387900879 0
/proc/12885/statm: 3493696 14381 3118 1 0 3482965 0
Current children cumulated CPU time (s) 0.63
Current children cumulated vsize (KiB) 13974784
[startup+1.50232 s]
/proc/loadavg: 1.44 1.39 1.44 3/215 12948
/proc/meminfo: memFree=28174984/32770624 swapFree=0/571668
[pid=12885] ppid=12882 vsize=13985408 CPUtime=1.88 cores=0,2,4,6
/proc/12885/stat : 12885 (java) S 12882 12885 1460 0 -1 1077944320 27498 12362 0 0 172 9 5 2 20 0 15 0 93253160 14321057792 33944 18446744073709551615 4194304 4196468 140721387891648 140721387874192 139669788532471 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 8 0 0 6293624 6294260 27942912 140721387894736 140721387897521 140721387897521 140721387900879 0
/proc/12885/statm: 3496352 33944 3339 1 0 3485525 0
[pid=12885/tid=12935] ppid=12882 vsize=13985408 CPUtime=1.29 cores=0,2,4,6
/proc/12885/task/12935/stat : 12935 (java) R 12882 12885 1460 0 -1 4202560 22008 12362 0 0 115 7 5 2 20 0 15 0 93253181 14321057792 33944 18446744073709551615 4194304 4196468 140721387891648 139669792753072 139669780769598 0 4 1 16800974 0 0 0 -1 4 0 0 5 0 0 6293624 6294260 27942912 140721387894736 140721387897521 140721387897521 140721387900879 0
[pid=12885/tid=12936] ppid=12882 vsize=13985408 CPUtime=0.07 cores=0,2,4,6
/proc/12885/task/12936/stat : 12936 (java) S 12882 12885 1460 0 -1 1077944384 1 12362 0 0 0 0 5 2 20 0 15 0 93253182 14321057792 33944 18446744073709551615 4194304 4196468 140721387891648 139669722966544 139669788542677 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27942912 140721387894736 140721387897521 140721387897521 140721387900879 0
[pid=12885/tid=12937] ppid=12882 vsize=13985408 CPUtime=0.07 cores=0,2,4,6
/proc/12885/task/12937/stat : 12937 (java) S 12882 12885 1460 0 -1 1077944384 1 12362 0 0 0 0 5 2 20 0 15 0 93253182 14321057792 33944 18446744073709551615 4194304 4196468 140721387891648 139669721914000 139669788542677 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27942912 140721387894736 140721387897521 140721387897521 140721387900879 0
[pid=12885/tid=12938] ppid=12882 vsize=13985408 CPUtime=0.07 cores=0,2,4,6
/proc/12885/task/12938/stat : 12938 (java) S 12882 12885 1460 0 -1 1077944384 1 12362 0 0 0 0 5 2 20 0 15 0 93253182 14321057792 33944 18446744073709551615 4194304 4196468 140721387891648 139669720860944 139669788542677 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27942912 140721387894736 140721387897521 140721387897521 140721387900879 0
[pid=12885/tid=12939] ppid=12882 vsize=13985408 CPUtime=0.07 cores=0,2,4,6
/proc/12885/task/12939/stat : 12939 (java) S 12882 12885 1460 0 -1 1077944384 2 12362 0 0 0 0 5 2 20 0 15 0 93253182 14321057792 33944 18446744073709551615 4194304 4196468 140721387891648 139669385427344 139669788542677 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27942912 140721387894736 140721387897521 140721387897521 140721387900879 0
[pid=12885/tid=12940] ppid=12882 vsize=13985408 CPUtime=0.07 cores=0,2,4,6
/proc/12885/task/12940/stat : 12940 (java) S 12882 12885 1460 0 -1 1077944384 5 12362 0 0 0 0 5 2 20 0 15 0 93253183 14321057792 33944 18446744073709551615 4194304 4196468 140721387891648 139669267053296 139669788543618 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27942912 140721387894736 140721387897521 140721387897521 140721387900879 0
[pid=12885/tid=12941] ppid=12882 vsize=13985408 CPUtime=0.07 cores=0,2,4,6
/proc/12885/task/12941/stat : 12941 (java) S 12882 12885 1460 0 -1 1077944384 33 12362 0 0 0 0 5 2 20 0 15 0 93253184 14321057792 33944 18446744073709551615 4194304 4196468 140721387891648 139669265999520 139669788542677 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27942912 140721387894736 140721387897521 140721387897521 140721387900879 0
[pid=12885/tid=12942] ppid=12882 vsize=13985408 CPUtime=0.07 cores=0,2,4,6
/proc/12885/task/12942/stat : 12942 (java) S 12882 12885 1460 0 -1 1077944384 21 12362 0 0 0 0 5 2 20 0 15 0 93253184 14321057792 33944 18446744073709551615 4194304 4196468 140721387891648 139669264946416 139669788542677 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27942912 140721387894736 140721387897521 140721387897521 140721387900879 0
[pid=12885/tid=12943] ppid=12882 vsize=13985408 CPUtime=0.07 cores=0,2,4,6
/proc/12885/task/12943/stat : 12943 (java) S 12882 12885 1460 0 -1 1077944384 3 12362 0 0 0 0 5 2 20 0 15 0 93253187 14321057792 33944 18446744073709551615 4194304 4196468 140721387891648 139669263894992 139669788551067 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27942912 140721387894736 140721387897521 140721387897521 140721387900879 0
[pid=12885/tid=12944] ppid=12882 vsize=13985408 CPUtime=0.23 cores=0,2,4,6
/proc/12885/task/12944/stat : 12944 (java) S 12882 12885 1460 0 -1 1077944384 1142 12362 0 0 16 0 5 2 20 0 15 0 93253187 14321057792 33944 18446744073709551615 4194304 4196468 140721387891648 139669262842096 139669788543618 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27942912 140721387894736 140721387897521 140721387897521 140721387900879 0
[pid=12885/tid=12945] ppid=12882 vsize=13985408 CPUtime=0.24 cores=0,2,4,6
/proc/12885/task/12945/stat : 12945 (java) S 12882 12885 1460 0 -1 1077944384 800 12362 0 0 17 0 5 2 20 0 15 0 93253187 14321057792 33944 18446744073709551615 4194304 4196468 140721387891648 139669261789552 139669788543618 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27942912 140721387894736 140721387897521 140721387897521 140721387900879 0
[pid=12885/tid=12946] ppid=12882 vsize=13985408 CPUtime=0.3 cores=0,2,4,6
/proc/12885/task/12946/stat : 12946 (java) R 12882 12885 1460 0 -1 4202560 1319 12362 0 0 23 0 5 2 20 0 15 0 93253187 14321057792 33944 18446744073709551615 4194304 4196468 140721387891648 139669260736496 139669772612958 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27942912 140721387894736 140721387897521 140721387897521 140721387900879 0
[pid=12885/tid=12947] ppid=12882 vsize=13985408 CPUtime=0.07 cores=0,2,4,6
/proc/12885/task/12947/stat : 12947 (java) S 12882 12885 1460 0 -1 1077944384 3 12362 0 0 0 0 5 2 20 0 15 0 93253187 14321057792 33944 18446744073709551615 4194304 4196468 140721387891648 139669259684192 139669788542677 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27942912 140721387894736 140721387897521 140721387897521 140721387900879 0
[pid=12885/tid=12948] ppid=12882 vsize=13985408 CPUtime=0.07 cores=0,2,4,6
/proc/12885/task/12948/stat : 12948 (java) S 12882 12885 1460 0 -1 1077944384 10 12362 0 0 0 0 5 2 20 0 15 0 93253193 14321057792 33944 18446744073709551615 4194304 4196468 140721387891648 139669258632240 139669788543618 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27942912 140721387894736 140721387897521 140721387897521 140721387900879 0
Current children cumulated CPU time (s) 1.88
Current children cumulated vsize (KiB) 13985408
[startup+3.10515 s]
/proc/loadavg: 1.44 1.39 1.44 5/215 12948
/proc/meminfo: memFree=28097124/32770624 swapFree=0/571732
[pid=12885] ppid=12882 vsize=13999932 CPUtime=5.77 cores=0,2,4,6
/proc/12885/stat : 12885 (java) S 12882 12885 1460 0 -1 1077944320 43967 12362 0 0 551 19 5 2 20 0 15 0 93253160 14335930368 72743 18446744073709551615 4194304 4196468 140721387891648 140721387874192 139669788532471 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 8 0 0 6293624 6294260 27942912 140721387894736 140721387897521 140721387897521 140721387900879 0
/proc/12885/statm: 3499983 72743 3454 1 0 3488597 0
[pid=12885/tid=12935] ppid=12882 vsize=13999932 CPUtime=2.82 cores=0,2,4,6
/proc/12885/task/12935/stat : 12935 (java) R 12882 12885 1460 0 -1 4202560 29456 12362 0 0 265 10 5 2 20 0 15 0 93253181 14335930368 72743 18446744073709551615 4194304 4196468 140721387891648 139669792764144 139669410241356 0 4 1 16800974 0 0 0 -1 2 0 0 5 0 0 6293624 6294260 27942912 140721387894736 140721387897521 140721387897521 140721387900879 0
[pid=12885/tid=12936] ppid=12882 vsize=13999932 CPUtime=0.09 cores=0,2,4,6
/proc/12885/task/12936/stat : 12936 (java) S 12882 12885 1460 0 -1 1077944384 75 12362 0 0 2 0 5 2 20 0 15 0 93253182 14335930368 72743 18446744073709551615 4194304 4196468 140721387891648 139669722966544 139669788542677 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27942912 140721387894736 140721387897521 140721387897521 140721387900879 0
[pid=12885/tid=12937] ppid=12882 vsize=13999932 CPUtime=0.09 cores=0,2,4,6
/proc/12885/task/12937/stat : 12937 (java) S 12882 12885 1460 0 -1 1077944384 120 12362 0 0 2 0 5 2 20 0 15 0 93253182 14335930368 72743 18446744073709551615 4194304 4196468 140721387891648 139669721914000 139669788542677 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27942912 140721387894736 140721387897521 140721387897521 140721387900879 0
[pid=12885/tid=12938] ppid=12882 vsize=13999932 CPUtime=0.09 cores=0,2,4,6
/proc/12885/task/12938/stat : 12938 (java) S 12882 12885 1460 0 -1 1077944384 219 12362 0 0 2 0 5 2 20 0 15 0 93253182 14335930368 72743 18446744073709551615 4194304 4196468 140721387891648 139669720860944 139669788542677 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27942912 140721387894736 140721387897521 140721387897521 140721387900879 0
[pid=12885/tid=12939] ppid=12882 vsize=13999932 CPUtime=0.09 cores=0,2,4,6
/proc/12885/task/12939/stat : 12939 (java) S 12882 12885 1460 0 -1 1077944384 56 12362 0 0 2 0 5 2 20 0 15 0 93253182 14335930368 72743 18446744073709551615 4194304 4196468 140721387891648 139669385427344 139669788542677 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27942912 140721387894736 140721387897521 140721387897521 140721387900879 0
[pid=12885/tid=12940] ppid=12882 vsize=13999932 CPUtime=0.08 cores=0,2,4,6
/proc/12885/task/12940/stat : 12940 (java) S 12882 12885 1460 0 -1 1077944384 1731 12362 0 0 1 0 5 2 20 0 15 0 93253183 14335930368 72743 18446744073709551615 4194304 4196468 140721387891648 139669267053296 139669788543618 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27942912 140721387894736 140721387897521 140721387897521 140721387900879 0
[pid=12885/tid=12941] ppid=12882 vsize=13999932 CPUtime=0.07 cores=0,2,4,6
/proc/12885/task/12941/stat : 12941 (java) S 12882 12885 1460 0 -1 1077944384 56 12362 0 0 0 0 5 2 20 0 15 0 93253184 14335930368 72743 18446744073709551615 4194304 4196468 140721387891648 139669265999584 139669788542677 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27942912 140721387894736 140721387897521 140721387897521 140721387900879 0
[pid=12885/tid=12942] ppid=12882 vsize=13999932 CPUtime=0.07 cores=0,2,4,6
/proc/12885/task/12942/stat : 12942 (java) S 12882 12885 1460 0 -1 1077944384 45 12362 0 0 0 0 5 2 20 0 15 0 93253184 14335930368 72743 18446744073709551615 4194304 4196468 140721387891648 139669264946432 139669788542677 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27942912 140721387894736 140721387897521 140721387897521 140721387900879 0
[pid=12885/tid=12943] ppid=12882 vsize=13999932 CPUtime=0.07 cores=0,2,4,6
/proc/12885/task/12943/stat : 12943 (java) S 12882 12885 1460 0 -1 1077944384 3 12362 0 0 0 0 5 2 20 0 15 0 93253187 14335930368 72743 18446744073709551615 4194304 4196468 140721387891648 139669263894992 139669788551067 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27942912 140721387894736 140721387897521 140721387897521 140721387900879 0
[pid=12885/tid=12944] ppid=12882 vsize=13999932 CPUtime=1.05 cores=0,2,4,6
/proc/12885/task/12944/stat : 12944 (java) R 12882 12885 1460 0 -1 4202560 4705 12362 0 0 97 1 5 2 20 0 15 0 93253187 14335930368 72743 18446744073709551615 4194304 4196468 140721387891648 139669262828304 139669767965590 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 27942912 140721387894736 140721387897521 140721387897521 140721387900879 0
[pid=12885/tid=12945] ppid=12882 vsize=13999932 CPUtime=0.86 cores=0,2,4,6
/proc/12885/task/12945/stat : 12945 (java) S 12882 12885 1460 0 -1 1077944384 1608 12362 0 0 78 1 5 2 20 0 15 0 93253187 14335930368 72743 18446744073709551615 4194304 4196468 140721387891648 139669261789552 139669788543618 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27942912 140721387894736 140721387897521 140721387897521 140721387900879 0
[pid=12885/tid=12946] ppid=12882 vsize=13999932 CPUtime=1.05 cores=0,2,4,6
/proc/12885/task/12946/stat : 12946 (java) S 12882 12885 1460 0 -1 1077944384 3729 12362 0 0 97 1 5 2 20 0 15 0 93253187 14335930368 72743 18446744073709551615 4194304 4196468 140721387891648 139669260736496 139669788543618 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27942912 140721387894736 140721387897521 140721387897521 140721387900879 0
[pid=12885/tid=12947] ppid=12882 vsize=13999932 CPUtime=0.07 cores=0,2,4,6
/proc/12885/task/12947/stat : 12947 (java) S 12882 12885 1460 0 -1 1077944384 3 12362 0 0 0 0 5 2 20 0 15 0 93253187 14335930368 72743 18446744073709551615 4194304 4196468 140721387891648 139669259684192 139669788542677 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27942912 140721387894736 140721387897521 140721387897521 140721387900879 0
[pid=12885/tid=12948] ppid=12882 vsize=13999932 CPUtime=0.07 cores=0,2,4,6
/proc/12885/task/12948/stat : 12948 (java) S 12882 12885 1460 0 -1 1077944384 11 12362 0 0 0 0 5 2 20 0 15 0 93253193 14335930368 72743 18446744073709551615 4194304 4196468 140721387891648 139669258632240 139669788543618 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27942912 140721387894736 140721387897521 140721387897521 140721387900879 0
Current children cumulated CPU time (s) 5.77
Current children cumulated vsize (KiB) 13999932
[startup+6.30067 s]
/proc/loadavg: 1.57 1.42 1.45 4/215 12948
/proc/meminfo: memFree=27897088/32770624 swapFree=0/571740
[pid=12885] ppid=12882 vsize=14067516 CPUtime=14.04 cores=0,2,4,6
/proc/12885/stat : 12885 (java) S 12882 12885 1460 0 -1 1077944320 80037 12362 0 0 1369 28 5 2 20 0 15 0 93253160 14405136384 111040 18446744073709551615 4194304 4196468 140721387891648 140721387874192 139669788532471 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 8 0 0 6293624 6294260 27942912 140721387894736 140721387897521 140721387897521 140721387900879 0
/proc/12885/statm: 3516879 111040 3476 1 0 3505493 0
[pid=12885/tid=12935] ppid=12882 vsize=14067516 CPUtime=5.95 cores=0,2,4,6
/proc/12885/task/12935/stat : 12935 (java) R 12882 12885 1460 0 -1 4202560 45472 12362 0 0 573 15 5 2 20 0 15 0 93253181 14405136384 111040 18446744073709551615 4194304 4196468 140721387891648 139669792765592 139669413436440 0 4 1 16800974 0 0 0 -1 2 0 0 5 0 0 6293624 6294260 27942912 140721387894736 140721387897521 140721387897521 140721387900879 0
[pid=12885/tid=12936] ppid=12882 vsize=14067516 CPUtime=0.13 cores=0,2,4,6
/proc/12885/task/12936/stat : 12936 (java) S 12882 12885 1460 0 -1 1077944384 99 12362 0 0 5 1 5 2 20 0 15 0 93253182 14405136384 111040 18446744073709551615 4194304 4196468 140721387891648 139669722966544 139669788542677 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27942912 140721387894736 140721387897521 140721387897521 140721387900879 0
[pid=12885/tid=12937] ppid=12882 vsize=14067516 CPUtime=0.13 cores=0,2,4,6
/proc/12885/task/12937/stat : 12937 (java) S 12882 12885 1460 0 -1 1077944384 930 12362 0 0 5 1 5 2 20 0 15 0 93253182 14405136384 111040 18446744073709551615 4194304 4196468 140721387891648 139669721914000 139669788542677 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27942912 140721387894736 140721387897521 140721387897521 140721387900879 0
[pid=12885/tid=12938] ppid=12882 vsize=14067516 CPUtime=0.13 cores=0,2,4,6
/proc/12885/task/12938/stat : 12938 (java) S 12882 12885 1460 0 -1 1077944384 260 12362 0 0 5 1 5 2 20 0 15 0 93253182 14405136384 111040 18446744073709551615 4194304 4196468 140721387891648 139669720860944 139669788542677 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27942912 140721387894736 140721387897521 140721387897521 140721387900879 0
[pid=12885/tid=12939] ppid=12882 vsize=14067516 CPUtime=0.13 cores=0,2,4,6
/proc/12885/task/12939/stat : 12939 (java) S 12882 12885 1460 0 -1 1077944384 103 12362 0 0 5 1 5 2 20 0 15 0 93253182 14405136384 111040 18446744073709551615 4194304 4196468 140721387891648 139669385427344 139669788542677 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27942912 140721387894736 140721387897521 140721387897521 140721387900879 0
[pid=12885/tid=12940] ppid=12882 vsize=14067516 CPUtime=0.11 cores=0,2,4,6
/proc/12885/task/12940/stat : 12940 (java) S 12882 12885 1460 0 -1 1077944384 2469 12362 0 0 4 0 5 2 20 0 15 0 93253183 14405136384 111040 18446744073709551615 4194304 4196468 140721387891648 139669267053296 139669788543618 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27942912 140721387894736 140721387897521 140721387897521 140721387900879 0
[pid=12885/tid=12941] ppid=12882 vsize=14067516 CPUtime=0.07 cores=0,2,4,6
/proc/12885/task/12941/stat : 12941 (java) S 12882 12885 1460 0 -1 1077944384 56 12362 0 0 0 0 5 2 20 0 15 0 93253184 14405136384 111040 18446744073709551615 4194304 4196468 140721387891648 139669265999584 139669788542677 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27942912 140721387894736 140721387897521 140721387897521 140721387900879 0
[pid=12885/tid=12942] ppid=12882 vsize=14067516 CPUtime=0.07 cores=0,2,4,6
/proc/12885/task/12942/stat : 12942 (java) S 12882 12885 1460 0 -1 1077944384 45 12362 0 0 0 0 5 2 20 0 15 0 93253184 14405136384 111040 18446744073709551615 4194304 4196468 140721387891648 139669264946432 139669788542677 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27942912 140721387894736 140721387897521 140721387897521 140721387900879 0
[pid=12885/tid=12943] ppid=12882 vsize=14067516 CPUtime=0.07 cores=0,2,4,6
/proc/12885/task/12943/stat : 12943 (java) S 12882 12885 1460 0 -1 1077944384 3 12362 0 0 0 0 5 2 20 0 15 0 93253187 14405136384 111040 18446744073709551615 4194304 4196468 140721387891648 139669263894992 139669788551067 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27942912 140721387894736 140721387897521 140721387897521 140721387900879 0
[pid=12885/tid=12944] ppid=12882 vsize=14067516 CPUtime=3.2 cores=0,2,4,6
/proc/12885/task/12944/stat : 12944 (java) R 12882 12885 1460 0 -1 4202560 14814 12362 0 0 312 1 5 2 20 0 15 0 93253187 14405136384 111040 18446744073709551615 4194304 4196468 140721387891648 139669262842096 139669766985280 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27942912 140721387894736 140721387897521 140721387897521 140721387900879 0
[pid=12885/tid=12945] ppid=12882 vsize=14067516 CPUtime=3.02 cores=0,2,4,6
/proc/12885/task/12945/stat : 12945 (java) S 12882 12885 1460 0 -1 1077944384 6642 12362 0 0 294 1 5 2 20 0 15 0 93253187 14405136384 111040 18446744073709551615 4194304 4196468 140721387891648 139669261789552 139669788543618 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27942912 140721387894736 140721387897521 140721387897521 140721387900879 0
[pid=12885/tid=12946] ppid=12882 vsize=14067516 CPUtime=1.69 cores=0,2,4,6
/proc/12885/task/12946/stat : 12946 (java) S 12882 12885 1460 0 -1 1077944384 6468 12362 0 0 160 2 5 2 20 0 15 0 93253187 14405136384 111040 18446744073709551615 4194304 4196468 140721387891648 139669260736496 139669788543618 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27942912 140721387894736 140721387897521 140721387897521 140721387900879 0
[pid=12885/tid=12947] ppid=12882 vsize=14067516 CPUtime=0.07 cores=0,2,4,6
/proc/12885/task/12947/stat : 12947 (java) S 12882 12885 1460 0 -1 1077944384 3 12362 0 0 0 0 5 2 20 0 15 0 93253187 14405136384 111040 18446744073709551615 4194304 4196468 140721387891648 139669259684192 139669788542677 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27942912 140721387894736 140721387897521 140721387897521 140721387900879 0
[pid=12885/tid=12948] ppid=12882 vsize=14067516 CPUtime=0.07 cores=0,2,4,6
/proc/12885/task/12948/stat : 12948 (java) S 12882 12885 1460 0 -1 1077944384 523 12362 0 0 0 0 5 2 20 0 15 0 93253193 14405136384 111040 18446744073709551615 4194304 4196468 140721387891648 139669258632240 139669788543618 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27942912 140721387894736 140721387897521 140721387897521 140721387900879 0
Current children cumulated CPU time (s) 14.04
Current children cumulated vsize (KiB) 14067516
[startup+12.7007 s]
/proc/loadavg: 1.60 1.43 1.45 5/215 12948
/proc/meminfo: memFree=27541096/32770624 swapFree=0/571740
[pid=12885] ppid=12882 vsize=14067516 CPUtime=27.93 cores=0,2,4,6
/proc/12885/stat : 12885 (java) S 12882 12885 1460 0 -1 1077944320 95689 12362 0 0 2748 38 5 2 20 0 15 0 93253160 14405136384 191870 18446744073709551615 4194304 4196468 140721387891648 140721387874192 139669788532471 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 8 0 0 6293624 6294260 27942912 140721387894736 140721387897521 140721387897521 140721387900879 0
/proc/12885/statm: 3516879 191870 3478 1 0 3505493 0
[pid=12885/tid=12935] ppid=12882 vsize=14067516 CPUtime=12.31 cores=0,2,4,6
/proc/12885/task/12935/stat : 12935 (java) R 12882 12885 1460 0 -1 4202560 47217 12362 0 0 1205 19 5 2 20 0 15 0 93253181 14405136384 191870 18446744073709551615 4194304 4196468 140721387891648 139669792763768 139669412520682 0 4 1 16800974 0 0 0 -1 0 0 0 5 0 0 6293624 6294260 27942912 140721387894736 140721387897521 140721387897521 140721387900879 0
[pid=12885/tid=12936] ppid=12882 vsize=14067516 CPUtime=0.15 cores=0,2,4,6
/proc/12885/task/12936/stat : 12936 (java) S 12882 12885 1460 0 -1 1077944384 1325 12362 0 0 6 2 5 2 20 0 15 0 93253182 14405136384 191870 18446744073709551615 4194304 4196468 140721387891648 139669722966544 139669788542677 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27942912 140721387894736 140721387897521 140721387897521 140721387900879 0
[pid=12885/tid=12937] ppid=12882 vsize=14067516 CPUtime=0.15 cores=0,2,4,6
/proc/12885/task/12937/stat : 12937 (java) S 12882 12885 1460 0 -1 1077944384 987 12362 0 0 6 2 5 2 20 0 15 0 93253182 14405136384 191870 18446744073709551615 4194304 4196468 140721387891648 139669721914000 139669788542677 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27942912 140721387894736 140721387897521 140721387897521 140721387900879 0
[pid=12885/tid=12938] ppid=12882 vsize=14067516 CPUtime=0.16 cores=0,2,4,6
/proc/12885/task/12938/stat : 12938 (java) S 12882 12885 1460 0 -1 1077944384 632 12362 0 0 7 2 5 2 20 0 15 0 93253182 14405136384 191870 18446744073709551615 4194304 4196468 140721387891648 139669720860944 139669788542677 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27942912 140721387894736 140721387897521 140721387897521 140721387900879 0
[pid=12885/tid=12939] ppid=12882 vsize=14067516 CPUtime=0.16 cores=0,2,4,6
/proc/12885/task/12939/stat : 12939 (java) S 12882 12885 1460 0 -1 1077944384 291 12362 0 0 7 2 5 2 20 0 15 0 93253182 14405136384 191870 18446744073709551615 4194304 4196468 140721387891648 139669385427344 139669788542677 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27942912 140721387894736 140721387897521 140721387897521 140721387900879 0
[pid=12885/tid=12940] ppid=12882 vsize=14067516 CPUtime=0.12 cores=0,2,4,6
/proc/12885/task/12940/stat : 12940 (java) S 12882 12885 1460 0 -1 1077944384 3053 12362 0 0 5 0 5 2 20 0 15 0 93253183 14405136384 191870 18446744073709551615 4194304 4196468 140721387891648 139669267053296 139669788543618 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27942912 140721387894736 140721387897521 140721387897521 140721387900879 0
[pid=12885/tid=12941] ppid=12882 vsize=14067516 CPUtime=0.07 cores=0,2,4,6
/proc/12885/task/12941/stat : 12941 (java) S 12882 12885 1460 0 -1 1077944384 56 12362 0 0 0 0 5 2 20 0 15 0 93253184 14405136384 191870 18446744073709551615 4194304 4196468 140721387891648 139669265999584 139669788542677 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27942912 140721387894736 140721387897521 140721387897521 140721387900879 0
[pid=12885/tid=12942] ppid=12882 vsize=14067516 CPUtime=0.07 cores=0,2,4,6
/proc/12885/task/12942/stat : 12942 (java) S 12882 12885 1460 0 -1 1077944384 45 12362 0 0 0 0 5 2 20 0 15 0 93253184 14405136384 191870 18446744073709551615 4194304 4196468 140721387891648 139669264946432 139669788542677 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27942912 140721387894736 140721387897521 140721387897521 140721387900879 0
[pid=12885/tid=12943] ppid=12882 vsize=14067516 CPUtime=0.07 cores=0,2,4,6
/proc/12885/task/12943/stat : 12943 (java) S 12882 12885 1460 0 -1 1077944384 3 12362 0 0 0 0 5 2 20 0 15 0 93253187 14405136384 191870 18446744073709551615 4194304 4196468 140721387891648 139669263894992 139669788551067 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27942912 140721387894736 140721387897521 140721387897521 140721387900879 0
################
# More data... #
################
/proc/12885/task/12947/stat : 12947 (java) S 12882 12885 1460 0 -1 1077944384 3 12362 0 0 0 0 5 2 20 0 15 0 93253187 14405136384 272823 18446744073709551615 4194304 4196468 140721387891648 139669259684192 139669788542677 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27942912 140721387894736 140721387897521 140721387897521 140721387900879 0
[pid=12885/tid=12948] ppid=12882 vsize=14067516 CPUtime=1.43 cores=0,2,4,6
/proc/12885/task/12948/stat : 12948 (java) S 12882 12885 1460 0 -1 1077944384 1197 12362 0 0 60 76 5 2 20 0 15 0 93253193 14405136384 272823 18446744073709551615 4194304 4196468 140721387891648 139669258632240 139669788543618 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27942912 140721387894736 140721387897521 140721387897521 140721387900879 0
Current children cumulated CPU time (s) 2347.63
Current children cumulated vsize (KiB) 14067516
[startup+2322.3 s]
/proc/loadavg: 1.42 1.42 1.41 3/215 13471
/proc/meminfo: memFree=28244924/32770624 swapFree=0/572308
[pid=12885] ppid=12882 vsize=14067516 CPUtime=2407.94 cores=0,2,4,6
/proc/12885/stat : 12885 (java) S 12882 12885 1460 0 -1 1077944320 541725 12362 0 0 240134 653 5 2 20 0 15 0 93253160 14405136384 483651 18446744073709551615 4194304 4196468 140721387891648 140721387874192 139669788532471 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 8 0 0 6293624 6294260 27942912 140721387894736 140721387897521 140721387897521 140721387900879 0
/proc/12885/statm: 3516879 483651 3478 1 0 3505493 0
[pid=12885/tid=12935] ppid=12882 vsize=14067516 CPUtime=2297.7 cores=0,2,4,6
/proc/12885/task/12935/stat : 12935 (java) R 12882 12885 1460 0 -1 4202560 372849 12362 0 0 229627 136 5 2 20 0 15 0 93253181 14405136384 483651 18446744073709551615 4194304 4196468 140721387891648 139669792765072 139669414283335 0 4 1 16800974 0 0 0 -1 4 0 0 5 0 0 6293624 6294260 27942912 140721387894736 140721387897521 140721387897521 140721387900879 0
[pid=12885/tid=12936] ppid=12882 vsize=14067516 CPUtime=14.62 cores=0,2,4,6
/proc/12885/task/12936/stat : 12936 (java) S 12882 12885 1460 0 -1 1077944384 22743 12362 0 0 1360 95 5 2 20 0 15 0 93253182 14405136384 483651 18446744073709551615 4194304 4196468 140721387891648 139669722966544 139669788542677 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27942912 140721387894736 140721387897521 140721387897521 140721387900879 0
[pid=12885/tid=12937] ppid=12882 vsize=14067516 CPUtime=14.61 cores=0,2,4,6
/proc/12885/task/12937/stat : 12937 (java) S 12882 12885 1460 0 -1 1077944384 22714 12362 0 0 1363 91 5 2 20 0 15 0 93253182 14405136384 483651 18446744073709551615 4194304 4196468 140721387891648 139669721914000 139669788542677 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27942912 140721387894736 140721387897521 140721387897521 140721387900879 0
[pid=12885/tid=12938] ppid=12882 vsize=14067516 CPUtime=14.64 cores=0,2,4,6
/proc/12885/task/12938/stat : 12938 (java) S 12882 12885 1460 0 -1 1077944384 24496 12362 0 0 1363 94 5 2 20 0 15 0 93253182 14405136384 483651 18446744073709551615 4194304 4196468 140721387891648 139669720860944 139669788542677 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27942912 140721387894736 140721387897521 140721387897521 140721387900879 0
[pid=12885/tid=12939] ppid=12882 vsize=14067516 CPUtime=14.6 cores=0,2,4,6
/proc/12885/task/12939/stat : 12939 (java) S 12882 12885 1460 0 -1 1077944384 21217 12362 0 0 1357 96 5 2 20 0 15 0 93253182 14405136384 483651 18446744073709551615 4194304 4196468 140721387891648 139669385427344 139669788542677 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27942912 140721387894736 140721387897521 140721387897521 140721387900879 0
[pid=12885/tid=12940] ppid=12882 vsize=14067516 CPUtime=7.39 cores=0,2,4,6
/proc/12885/task/12940/stat : 12940 (java) S 12882 12885 1460 0 -1 1077944384 19465 12362 0 0 623 109 5 2 20 0 15 0 93253183 14405136384 483651 18446744073709551615 4194304 4196468 140721387891648 139669267053296 139669788543618 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27942912 140721387894736 140721387897521 140721387897521 140721387900879 0
[pid=12885/tid=12941] ppid=12882 vsize=14067516 CPUtime=0.07 cores=0,2,4,6
/proc/12885/task/12941/stat : 12941 (java) S 12882 12885 1460 0 -1 1077944384 56 12362 0 0 0 0 5 2 20 0 15 0 93253184 14405136384 483651 18446744073709551615 4194304 4196468 140721387891648 139669265999584 139669788542677 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27942912 140721387894736 140721387897521 140721387897521 140721387900879 0
[pid=12885/tid=12942] ppid=12882 vsize=14067516 CPUtime=0.07 cores=0,2,4,6
/proc/12885/task/12942/stat : 12942 (java) S 12882 12885 1460 0 -1 1077944384 45 12362 0 0 0 0 5 2 20 0 15 0 93253184 14405136384 483651 18446744073709551615 4194304 4196468 140721387891648 139669264946432 139669788542677 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27942912 140721387894736 140721387897521 140721387897521 140721387900879 0
[pid=12885/tid=12943] ppid=12882 vsize=14067516 CPUtime=0.07 cores=0,2,4,6
/proc/12885/task/12943/stat : 12943 (java) S 12882 12885 1460 0 -1 1077944384 3 12362 0 0 0 0 5 2 20 0 15 0 93253187 14405136384 483651 18446744073709551615 4194304 4196468 140721387891648 139669263894992 139669788551067 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27942912 140721387894736 140721387897521 140721387897521 140721387900879 0
[pid=12885/tid=12944] ppid=12882 vsize=14067516 CPUtime=18.45 cores=0,2,4,6
/proc/12885/task/12944/stat : 12944 (java) S 12882 12885 1460 0 -1 1077944384 22634 12362 0 0 1834 4 5 2 20 0 15 0 93253187 14405136384 483651 18446744073709551615 4194304 4196468 140721387891648 139669262842096 139669788543618 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27942912 140721387894736 140721387897521 140721387897521 140721387900879 0
[pid=12885/tid=12945] ppid=12882 vsize=14067516 CPUtime=18.87 cores=0,2,4,6
/proc/12885/task/12945/stat : 12945 (java) S 12882 12885 1460 0 -1 1077944384 14374 12362 0 0 1875 5 5 2 20 0 15 0 93253187 14405136384 483651 18446744073709551615 4194304 4196468 140721387891648 139669261789552 139669788543618 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27942912 140721387894736 140721387897521 140721387897521 140721387900879 0
[pid=12885/tid=12946] ppid=12882 vsize=14067516 CPUtime=6.09 cores=0,2,4,6
/proc/12885/task/12946/stat : 12946 (java) S 12882 12885 1460 0 -1 1077944384 17775 12362 0 0 595 7 5 2 20 0 15 0 93253187 14405136384 483651 18446744073709551615 4194304 4196468 140721387891648 139669260736496 139669788543618 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27942912 140721387894736 140721387897521 140721387897521 140721387900879 0
[pid=12885/tid=12947] ppid=12882 vsize=14067516 CPUtime=0.07 cores=0,2,4,6
/proc/12885/task/12947/stat : 12947 (java) S 12882 12885 1460 0 -1 1077944384 3 12362 0 0 0 0 5 2 20 0 15 0 93253187 14405136384 483651 18446744073709551615 4194304 4196468 140721387891648 139669259684192 139669788542677 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27942912 140721387894736 140721387897521 140721387897521 140721387900879 0
[pid=12885/tid=12948] ppid=12882 vsize=14067516 CPUtime=1.47 cores=0,2,4,6
/proc/12885/task/12948/stat : 12948 (java) S 12882 12885 1460 0 -1 1077944384 1201 12362 0 0 62 78 5 2 20 0 15 0 93253193 14405136384 483651 18446744073709551615 4194304 4196468 140721387891648 139669258632240 139669788543618 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27942912 140721387894736 140721387897521 140721387897521 140721387900879 0
Current children cumulated CPU time (s) 2407.94
Current children cumulated vsize (KiB) 14067516
[startup+2382.3 s]
/proc/loadavg: 1.44 1.43 1.41 3/215 13473
/proc/meminfo: memFree=27671344/32770624 swapFree=0/572312
[pid=12885] ppid=12882 vsize=14067516 CPUtime=2468.17 cores=0,2,4,6
/proc/12885/stat : 12885 (java) S 12882 12885 1460 0 -1 1077944320 555482 12362 0 0 246137 673 5 2 20 0 15 0 93253160 14405136384 628009 18446744073709551615 4194304 4196468 140721387891648 140721387874192 139669788532471 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 8 0 0 6293624 6294260 27942912 140721387894736 140721387897521 140721387897521 140721387900879 0
/proc/12885/statm: 3516879 628009 3478 1 0 3505493 0
[pid=12885/tid=12935] ppid=12882 vsize=14067516 CPUtime=2357.6 cores=0,2,4,6
/proc/12885/task/12935/stat : 12935 (java) R 12882 12885 1460 0 -1 4202560 385631 12362 0 0 235609 144 5 2 20 0 15 0 93253181 14405136384 628009 18446744073709551615 4194304 4196468 140721387891648 139669792764960 139669408536086 0 4 1 16800974 0 0 0 -1 6 0 0 5 0 0 6293624 6294260 27942912 140721387894736 140721387897521 140721387897521 140721387900879 0
[pid=12885/tid=12936] ppid=12882 vsize=14067516 CPUtime=14.69 cores=0,2,4,6
/proc/12885/task/12936/stat : 12936 (java) S 12882 12885 1460 0 -1 1077944384 22921 12362 0 0 1364 98 5 2 20 0 15 0 93253182 14405136384 628009 18446744073709551615 4194304 4196468 140721387891648 139669722966544 139669788542677 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27942912 140721387894736 140721387897521 140721387897521 140721387900879 0
[pid=12885/tid=12937] ppid=12882 vsize=14067516 CPUtime=14.68 cores=0,2,4,6
/proc/12885/task/12937/stat : 12937 (java) S 12882 12885 1460 0 -1 1077944384 22879 12362 0 0 1367 94 5 2 20 0 15 0 93253182 14405136384 628009 18446744073709551615 4194304 4196468 140721387891648 139669721914000 139669788542677 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27942912 140721387894736 140721387897521 140721387897521 140721387900879 0
[pid=12885/tid=12938] ppid=12882 vsize=14067516 CPUtime=14.71 cores=0,2,4,6
/proc/12885/task/12938/stat : 12938 (java) S 12882 12885 1460 0 -1 1077944384 24665 12362 0 0 1367 97 5 2 20 0 15 0 93253182 14405136384 628009 18446744073709551615 4194304 4196468 140721387891648 139669720860944 139669788542677 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27942912 140721387894736 140721387897521 140721387897521 140721387900879 0
[pid=12885/tid=12939] ppid=12882 vsize=14067516 CPUtime=14.67 cores=0,2,4,6
/proc/12885/task/12939/stat : 12939 (java) S 12882 12885 1460 0 -1 1077944384 21367 12362 0 0 1361 99 5 2 20 0 15 0 93253182 14405136384 628009 18446744073709551615 4194304 4196468 140721387891648 139669385427344 139669788542677 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27942912 140721387894736 140721387897521 140721387897521 140721387900879 0
[pid=12885/tid=12940] ppid=12882 vsize=14067516 CPUtime=7.42 cores=0,2,4,6
/proc/12885/task/12940/stat : 12940 (java) S 12882 12885 1460 0 -1 1077944384 19766 12362 0 0 625 110 5 2 20 0 15 0 93253183 14405136384 628009 18446744073709551615 4194304 4196468 140721387891648 139669267053296 139669788543618 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27942912 140721387894736 140721387897521 140721387897521 140721387900879 0
[pid=12885/tid=12941] ppid=12882 vsize=14067516 CPUtime=0.07 cores=0,2,4,6
/proc/12885/task/12941/stat : 12941 (java) S 12882 12885 1460 0 -1 1077944384 56 12362 0 0 0 0 5 2 20 0 15 0 93253184 14405136384 628009 18446744073709551615 4194304 4196468 140721387891648 139669265999584 139669788542677 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27942912 140721387894736 140721387897521 140721387897521 140721387900879 0
[pid=12885/tid=12942] ppid=12882 vsize=14067516 CPUtime=0.07 cores=0,2,4,6
/proc/12885/task/12942/stat : 12942 (java) S 12882 12885 1460 0 -1 1077944384 45 12362 0 0 0 0 5 2 20 0 15 0 93253184 14405136384 628009 18446744073709551615 4194304 4196468 140721387891648 139669264946432 139669788542677 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27942912 140721387894736 140721387897521 140721387897521 140721387900879 0
[pid=12885/tid=12943] ppid=12882 vsize=14067516 CPUtime=0.07 cores=0,2,4,6
/proc/12885/task/12943/stat : 12943 (java) S 12882 12885 1460 0 -1 1077944384 3 12362 0 0 0 0 5 2 20 0 15 0 93253187 14405136384 628009 18446744073709551615 4194304 4196468 140721387891648 139669263894992 139669788551067 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27942912 140721387894736 140721387897521 140721387897521 140721387900879 0
[pid=12885/tid=12944] ppid=12882 vsize=14067516 CPUtime=18.45 cores=0,2,4,6
/proc/12885/task/12944/stat : 12944 (java) S 12882 12885 1460 0 -1 1077944384 22634 12362 0 0 1834 4 5 2 20 0 15 0 93253187 14405136384 628009 18446744073709551615 4194304 4196468 140721387891648 139669262842096 139669788543618 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27942912 140721387894736 140721387897521 140721387897521 140721387900879 0
[pid=12885/tid=12945] ppid=12882 vsize=14067516 CPUtime=18.87 cores=0,2,4,6
/proc/12885/task/12945/stat : 12945 (java) S 12882 12885 1460 0 -1 1077944384 14374 12362 0 0 1875 5 5 2 20 0 15 0 93253187 14405136384 628009 18446744073709551615 4194304 4196468 140721387891648 139669261789552 139669788543618 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27942912 140721387894736 140721387897521 140721387897521 140721387900879 0
[pid=12885/tid=12946] ppid=12882 vsize=14067516 CPUtime=6.09 cores=0,2,4,6
/proc/12885/task/12946/stat : 12946 (java) S 12882 12885 1460 0 -1 1077944384 17775 12362 0 0 595 7 5 2 20 0 15 0 93253187 14405136384 628009 18446744073709551615 4194304 4196468 140721387891648 139669260736496 139669788543618 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27942912 140721387894736 140721387897521 140721387897521 140721387900879 0
[pid=12885/tid=12947] ppid=12882 vsize=14067516 CPUtime=0.07 cores=0,2,4,6
/proc/12885/task/12947/stat : 12947 (java) S 12882 12885 1460 0 -1 1077944384 3 12362 0 0 0 0 5 2 20 0 15 0 93253187 14405136384 628009 18446744073709551615 4194304 4196468 140721387891648 139669259684192 139669788542677 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27942912 140721387894736 140721387897521 140721387897521 140721387900879 0
[pid=12885/tid=12948] ppid=12882 vsize=14067516 CPUtime=1.51 cores=0,2,4,6
/proc/12885/task/12948/stat : 12948 (java) S 12882 12885 1460 0 -1 1077944384 1213 12362 0 0 64 80 5 2 20 0 15 0 93253193 14405136384 628009 18446744073709551615 4194304 4196468 140721387891648 139669258632240 139669788543618 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27942912 140721387894736 140721387897521 140721387897521 140721387900879 0
Current children cumulated CPU time (s) 2468.17
Current children cumulated vsize (KiB) 14067516
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2434 s]
/proc/loadavg: 1.52 1.45 1.42 3/215 13475
/proc/meminfo: memFree=27245984/32770624 swapFree=0/572316
[pid=12885] ppid=12882 vsize=14067516 CPUtime=2520.01 cores=0,2,4,6
/proc/12885/stat : 12885 (java) S 12882 12885 1460 0 -1 1077944320 559085 12362 0 0 251310 684 5 2 20 0 15 0 93253160 14405136384 732135 18446744073709551615 4194304 4196468 140721387891648 140721387874192 139669788532471 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 8 0 0 6293624 6294260 27942912 140721387894736 140721387897521 140721387897521 140721387900879 0
/proc/12885/statm: 3516879 732135 3478 1 0 3505493 0
[pid=12885/tid=12935] ppid=12882 vsize=14067516 CPUtime=2409.23 cores=0,2,4,6
/proc/12885/task/12935/stat : 12935 (java) R 12882 12885 1460 0 -1 4202560 388648 12362 0 0 240766 150 5 2 20 0 15 0 93253181 14405136384 732135 18446744073709551615 4194304 4196468 140721387891648 139669792765920 139669414283335 0 4 1 16800974 0 0 0 -1 0 0 0 5 0 0 6293624 6294260 27942912 140721387894736 140721387897521 140721387897521 140721387900879 0
[pid=12885/tid=12936] ppid=12882 vsize=14067516 CPUtime=14.73 cores=0,2,4,6
/proc/12885/task/12936/stat : 12936 (java) S 12882 12885 1460 0 -1 1077944384 23017 12362 0 0 1367 99 5 2 20 0 15 0 93253182 14405136384 732135 18446744073709551615 4194304 4196468 140721387891648 139669722966544 139669788542677 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27942912 140721387894736 140721387897521 140721387897521 140721387900879 0
[pid=12885/tid=12937] ppid=12882 vsize=14067516 CPUtime=14.72 cores=0,2,4,6
/proc/12885/task/12937/stat : 12937 (java) S 12882 12885 1460 0 -1 1077944384 22963 12362 0 0 1370 95 5 2 20 0 15 0 93253182 14405136384 732135 18446744073709551615 4194304 4196468 140721387891648 139669721914000 139669788542677 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27942912 140721387894736 140721387897521 140721387897521 140721387900879 0
[pid=12885/tid=12938] ppid=12882 vsize=14067516 CPUtime=14.75 cores=0,2,4,6
/proc/12885/task/12938/stat : 12938 (java) S 12882 12885 1460 0 -1 1077944384 24758 12362 0 0 1370 98 5 2 20 0 15 0 93253182 14405136384 732135 18446744073709551615 4194304 4196468 140721387891648 139669720860944 139669788542677 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27942912 140721387894736 140721387897521 140721387897521 140721387900879 0
[pid=12885/tid=12939] ppid=12882 vsize=14067516 CPUtime=14.72 cores=0,2,4,6
/proc/12885/task/12939/stat : 12939 (java) S 12882 12885 1460 0 -1 1077944384 21467 12362 0 0 1364 101 5 2 20 0 15 0 93253182 14405136384 732135 18446744073709551615 4194304 4196468 140721387891648 139669385427344 139669788542677 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27942912 140721387894736 140721387897521 140721387897521 140721387900879 0
[pid=12885/tid=12940] ppid=12882 vsize=14067516 CPUtime=7.44 cores=0,2,4,6
/proc/12885/task/12940/stat : 12940 (java) S 12882 12885 1460 0 -1 1077944384 19976 12362 0 0 627 110 5 2 20 0 15 0 93253183 14405136384 732135 18446744073709551615 4194304 4196468 140721387891648 139669267053296 139669788543618 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27942912 140721387894736 140721387897521 140721387897521 140721387900879 0
[pid=12885/tid=12941] ppid=12882 vsize=14067516 CPUtime=0.07 cores=0,2,4,6
/proc/12885/task/12941/stat : 12941 (java) S 12882 12885 1460 0 -1 1077944384 56 12362 0 0 0 0 5 2 20 0 15 0 93253184 14405136384 732135 18446744073709551615 4194304 4196468 140721387891648 139669265999584 139669788542677 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27942912 140721387894736 140721387897521 140721387897521 140721387900879 0
[pid=12885/tid=12942] ppid=12882 vsize=14067516 CPUtime=0.07 cores=0,2,4,6
/proc/12885/task/12942/stat : 12942 (java) S 12882 12885 1460 0 -1 1077944384 45 12362 0 0 0 0 5 2 20 0 15 0 93253184 14405136384 732135 18446744073709551615 4194304 4196468 140721387891648 139669264946432 139669788542677 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27942912 140721387894736 140721387897521 140721387897521 140721387900879 0
[pid=12885/tid=12943] ppid=12882 vsize=14067516 CPUtime=0.07 cores=0,2,4,6
/proc/12885/task/12943/stat : 12943 (java) S 12882 12885 1460 0 -1 1077944384 3 12362 0 0 0 0 5 2 20 0 15 0 93253187 14405136384 732135 18446744073709551615 4194304 4196468 140721387891648 139669263894992 139669788551067 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27942912 140721387894736 140721387897521 140721387897521 140721387900879 0
[pid=12885/tid=12944] ppid=12882 vsize=14067516 CPUtime=18.45 cores=0,2,4,6
/proc/12885/task/12944/stat : 12944 (java) S 12882 12885 1460 0 -1 1077944384 22634 12362 0 0 1834 4 5 2 20 0 15 0 93253187 14405136384 732135 18446744073709551615 4194304 4196468 140721387891648 139669262842096 139669788543618 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27942912 140721387894736 140721387897521 140721387897521 140721387900879 0
[pid=12885/tid=12945] ppid=12882 vsize=14067516 CPUtime=18.87 cores=0,2,4,6
/proc/12885/task/12945/stat : 12945 (java) S 12882 12885 1460 0 -1 1077944384 14374 12362 0 0 1875 5 5 2 20 0 15 0 93253187 14405136384 732135 18446744073709551615 4194304 4196468 140721387891648 139669261789552 139669788543618 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27942912 140721387894736 140721387897521 140721387897521 140721387900879 0
[pid=12885/tid=12946] ppid=12882 vsize=14067516 CPUtime=6.09 cores=0,2,4,6
/proc/12885/task/12946/stat : 12946 (java) S 12882 12885 1460 0 -1 1077944384 17776 12362 0 0 595 7 5 2 20 0 15 0 93253187 14405136384 732135 18446744073709551615 4194304 4196468 140721387891648 139669260736496 139669788543618 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27942912 140721387894736 140721387897521 140721387897521 140721387900879 0
[pid=12885/tid=12947] ppid=12882 vsize=14067516 CPUtime=0.07 cores=0,2,4,6
/proc/12885/task/12947/stat : 12947 (java) S 12882 12885 1460 0 -1 1077944384 3 12362 0 0 0 0 5 2 20 0 15 0 93253187 14405136384 732135 18446744073709551615 4194304 4196468 140721387891648 139669259684192 139669788542677 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27942912 140721387894736 140721387897521 140721387897521 140721387900879 0
[pid=12885/tid=12948] ppid=12882 vsize=14067516 CPUtime=1.54 cores=0,2,4,6
/proc/12885/task/12948/stat : 12948 (java) S 12882 12885 1460 0 -1 1077944384 1215 12362 0 0 66 81 5 2 20 0 15 0 93253193 14405136384 732135 18446744073709551615 4194304 4196468 140721387891648 139669258632240 139669788543618 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27942912 140721387894736 140721387897521 140721387897521 140721387900879 0
Current children cumulated CPU time (s) 2520.01
Current children cumulated vsize (KiB) 14067516
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 12885 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2434.11 s]
/proc/loadavg: 1.52 1.45 1.42 3/215 13475
/proc/meminfo: memFree=27245984/32770624 swapFree=0/572316
[pid=12885] ppid=12882 vsize=14200644 CPUtime=2520.28 cores=0,2,4,6
/proc/12885/stat : 12885 (java) S 12882 12885 1460 0 -1 1077944320 559751 12362 0 0 251336 685 5 2 20 0 17 0 93253160 14541459456 734877 18446744073709551615 4194304 4196468 140721387891648 140721387874192 139669788532471 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 8 0 0 6293624 6294260 27942912 140721387894736 140721387897521 140721387897521 140721387900879 0
/proc/12885/statm: 3550161 734877 3478 1 0 3538775 0
[pid=12885/tid=12935] ppid=12882 vsize=14200644 CPUtime=2409.24 cores=0,2,4,6
/proc/12885/task/12935/stat : 12935 (java) S 12882 12885 1460 0 -1 1077944384 388715 12362 0 0 240767 150 5 2 20 0 17 0 93253181 14541459456 734877 18446744073709551615 4194304 4196468 140721387891648 139669792770016 139669788542677 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 5 0 0 6293624 6294260 27942912 140721387894736 140721387897521 140721387897521 140721387900879 0
[pid=12885/tid=12936] ppid=12882 vsize=14200644 CPUtime=14.78 cores=0,2,4,6
/proc/12885/task/12936/stat : 12936 (java) R 12882 12885 1460 0 -1 4202560 23021 12362 0 0 1372 99 5 2 20 0 17 0 93253182 14541459456 734877 18446744073709551615 4194304 4196468 140721387891648 139669722966544 139669773231227 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27942912 140721387894736 140721387897521 140721387897521 140721387900879 0
[pid=12885/tid=12937] ppid=12882 vsize=14200644 CPUtime=14.78 cores=0,2,4,6
/proc/12885/task/12937/stat : 12937 (java) R 12882 12885 1460 0 -1 4202560 22974 12362 0 0 1375 96 5 2 20 0 17 0 93253182 14541459456 734877 18446744073709551615 4194304 4196468 140721387891648 139669721914120 139669781160679 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27942912 140721387894736 140721387897521 140721387897521 140721387900879 0
[pid=12885/tid=12938] ppid=12882 vsize=14200644 CPUtime=14.8 cores=0,2,4,6
/proc/12885/task/12938/stat : 12938 (java) R 12882 12885 1460 0 -1 4202560 24763 12362 0 0 1375 98 5 2 20 0 17 0 93253182 14541459456 734877 18446744073709551615 4194304 4196468 140721387891648 139669720861064 139669781160679 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27942912 140721387894736 140721387897521 140721387897521 140721387900879 0
[pid=12885/tid=12939] ppid=12882 vsize=14200644 CPUtime=14.76 cores=0,2,4,6
/proc/12885/task/12939/stat : 12939 (java) R 12882 12885 1460 0 -1 4202560 21472 12362 0 0 1368 101 5 2 20 0 17 0 93253182 14541459456 734877 18446744073709551615 4194304 4196468 140721387891648 139669385427464 139669781160679 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 27942912 140721387894736 140721387897521 140721387897521 140721387900879 0
[pid=12885/tid=12940] ppid=12882 vsize=14200644 CPUtime=7.48 cores=0,2,4,6
/proc/12885/task/12940/stat : 12940 (java) S 12882 12885 1460 0 -1 1077944384 20352 12362 0 0 631 110 5 2 20 0 17 0 93253183 14541459456 734877 18446744073709551615 4194304 4196468 140721387891648 139669267051920 139669788542677 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27942912 140721387894736 140721387897521 140721387897521 140721387900879 0
[pid=12885/tid=12941] ppid=12882 vsize=14200644 CPUtime=0.07 cores=0,2,4,6
/proc/12885/task/12941/stat : 12941 (java) S 12882 12885 1460 0 -1 1077944384 58 12362 0 0 0 0 5 2 20 0 17 0 93253184 14541459456 734877 18446744073709551615 4194304 4196468 140721387891648 139669265999184 139669788542677 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27942912 140721387894736 140721387897521 140721387897521 140721387900879 0
[pid=12885/tid=12942] ppid=12882 vsize=14200644 CPUtime=0.07 cores=0,2,4,6
/proc/12885/task/12942/stat : 12942 (java) S 12882 12885 1460 0 -1 1077944384 45 12362 0 0 0 0 5 2 20 0 17 0 93253184 14541459456 734877 18446744073709551615 4194304 4196468 140721387891648 139669264946432 139669788542677 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27942912 140721387894736 140721387897521 140721387897521 140721387900879 0
[pid=12885/tid=12943] ppid=12882 vsize=14200644 CPUtime=0.07 cores=0,2,4,6
/proc/12885/task/12943/stat : 12943 (java) S 12882 12885 1460 0 -1 1077944384 82 12362 0 0 0 0 5 2 20 0 17 0 93253187 14541459456 734877 18446744073709551615 4194304 4196468 140721387891648 139669263894992 139669788551067 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27942912 140721387894736 140721387897521 140721387897521 140721387900879 0
[pid=12885/tid=12944] ppid=12882 vsize=14200644 CPUtime=18.45 cores=0,2,4,6
/proc/12885/task/12944/stat : 12944 (java) S 12882 12885 1460 0 -1 1077944384 22634 12362 0 0 1834 4 5 2 20 0 17 0 93253187 14541459456 734877 18446744073709551615 4194304 4196468 140721387891648 139669262842096 139669788543618 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27942912 140721387894736 140721387897521 140721387897521 140721387900879 0
[pid=12885/tid=12945] ppid=12882 vsize=14200644 CPUtime=18.87 cores=0,2,4,6
/proc/12885/task/12945/stat : 12945 (java) S 12882 12885 1460 0 -1 1077944384 14374 12362 0 0 1875 5 5 2 20 0 17 0 93253187 14541459456 734877 18446744073709551615 4194304 4196468 140721387891648 139669261789552 139669788543618 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27942912 140721387894736 140721387897521 140721387897521 140721387900879 0
[pid=12885/tid=12946] ppid=12882 vsize=14200644 CPUtime=6.09 cores=0,2,4,6
/proc/12885/task/12946/stat : 12946 (java) S 12882 12885 1460 0 -1 1077944384 17798 12362 0 0 595 7 5 2 20 0 17 0 93253187 14541459456 734877 18446744073709551615 4194304 4196468 140721387891648 139669260729680 139669788542677 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27942912 140721387894736 140721387897521 140721387897521 140721387900879 0
[pid=12885/tid=12947] ppid=12882 vsize=14200644 CPUtime=0.07 cores=0,2,4,6
/proc/12885/task/12947/stat : 12947 (java) S 12882 12885 1460 0 -1 1077944384 3 12362 0 0 0 0 5 2 20 0 17 0 93253187 14541459456 734877 18446744073709551615 4194304 4196468 140721387891648 139669259684192 139669788542677 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27942912 140721387894736 140721387897521 140721387897521 140721387900879 0
[pid=12885/tid=12948] ppid=12882 vsize=14200644 CPUtime=1.54 cores=0,2,4,6
/proc/12885/task/12948/stat : 12948 (java) S 12882 12885 1460 0 -1 1077944384 1215 12362 0 0 66 81 5 2 20 0 17 0 93253193 14541459456 734877 18446744073709551615 4194304 4196468 140721387891648 139669258632240 139669788543618 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27942912 140721387894736 140721387897521 140721387897521 140721387900879 0
Current children cumulated CPU time (s) 2520.28
Current children cumulated vsize (KiB) 14200644
Child status: 143
Real time (s): 2434.19
CPU time (s): 2520.48
CPU user time (s): 2513.58
CPU system time (s): 6.90112
CPU usage (%): 103.545
Max. virtual memory (cumulated for all children) (KiB): 14200644
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2513.58
system time used= 6.90112
maximum resident set size= 2940336
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 572272
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2944
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 214121
involuntary context switches= 6727
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 12.1912 second user time and 14.4128 second system time
The end