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-4244430-1500682996/watcher-4244430-1500682996 -o /tmp/evaluation-result-4244430-1500682996/solver-4244430-1500682996 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node133-1500682387-16945 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 3672258 HOME/instance-4244430-1500682996.xml
pid=17532
running on 8 cores: 1,3,5,7,9,11,13,15
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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: 16.17 15.13 10.44 2/242 17535
/proc/meminfo: memFree=31982388/32770624 swapFree=5900/216964
[pid=17535] ppid=17532 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17535/stat : 17535 (xcsp3-exec) S 17532 17535 16913 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3566587 9740288 346 33554432000 4194304 5098028 140733736308608 140733736306712 139747284345468 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 32002048 140733736314001 140733736314208 140733736314208 140733736316907 0
/proc/17535/statm: 2378 346 289 221 0 87 0
[startup+0.100074 s]
/proc/loadavg: 16.17 15.13 10.44 2/242 17535
/proc/meminfo: memFree=31982388/32770624 swapFree=5900/216964
[pid=17535] ppid=17532 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17535/stat : 17535 (xcsp3-exec) S 17532 17535 16913 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3566587 9740288 346 33554432000 4194304 5098028 140733736308608 140733736306712 139747284345468 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 32002048 140733736314001 140733736314208 140733736314208 140733736316907 0
/proc/17535/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200348 s]
/proc/loadavg: 16.17 15.13 10.44 2/242 17535
/proc/meminfo: memFree=31982388/32770624 swapFree=5900/216964
[pid=17535] ppid=17532 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17535/stat : 17535 (xcsp3-exec) S 17532 17535 16913 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3566587 9740288 346 33554432000 4194304 5098028 140733736308608 140733736306712 139747284345468 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 32002048 140733736314001 140733736314208 140733736314208 140733736316907 0
/proc/17535/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300397 s]
/proc/loadavg: 16.17 15.13 10.44 2/242 17535
/proc/meminfo: memFree=31982388/32770624 swapFree=5900/216964
[pid=17535] ppid=17532 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17535/stat : 17535 (xcsp3-exec) S 17532 17535 16913 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3566587 9740288 346 33554432000 4194304 5098028 140733736308608 140733736306712 139747284345468 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 32002048 140733736314001 140733736314208 140733736314208 140733736316907 0
/proc/17535/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700176 s]
/proc/loadavg: 16.17 15.13 10.44 2/242 17535
/proc/meminfo: memFree=31982388/32770624 swapFree=5900/216964
[pid=17535] ppid=17532 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17535/stat : 17535 (xcsp3-exec) S 17532 17535 16913 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3566587 9740288 346 33554432000 4194304 5098028 140733736308608 140733736306712 139747284345468 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 32002048 140733736314001 140733736314208 140733736314208 140733736316907 0
/proc/17535/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50107 s]
/proc/loadavg: 16.17 15.13 10.44 12/287 17605
/proc/meminfo: memFree=31686684/32770624 swapFree=5900/217012
[pid=17535] ppid=17532 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17535/stat : 17535 (xcsp3-exec) S 17532 17535 16913 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3566587 9740288 346 33554432000 4194304 5098028 140733736308608 140733736306712 139747284345468 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 32002048 140733736314001 140733736314208 140733736314208 140733736316907 0
/proc/17535/statm: 2378 346 289 221 0 87 0
[pid=17536] ppid=17535 vsize=13801768 CPUtime=5.92 cores=1,3,5,7,9,11,13,15
/proc/17536/stat : 17536 (java) S 17535 17535 16913 0 -1 1077944320 22896 0 0 0 571 21 0 0 20 0 28 0 3566588 14133010432 54931 33554432000 4194304 4196468 140734262655456 140734262638000 140188357205751 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 30916608 140734262658236 140734262658412 140734262658412 140734262661071 0
/proc/17536/statm: 3450442 54931 3255 1 0 3437675 0
[pid=17536/tid=17537] ppid=17535 vsize=13801768 CPUtime=1.26 cores=1,3,5,7,9,11,13,15
/proc/17536/task/17537/stat : 17537 (java) S 17535 17535 16913 0 -1 1077944384 8603 0 0 0 121 5 0 0 20 0 28 0 3566588 14133010432 54931 33554432000 4194304 4196468 140734262655456 140188361446528 140188357215957 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30916608 140734262658236 140734262658412 140734262658412 140734262661071 0
[pid=17536/tid=17539] ppid=17535 vsize=13801768 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/17536/task/17539/stat : 17539 (java) S 17535 17535 16913 0 -1 1077944384 62 0 0 0 1 1 0 0 20 0 28 0 3566589 14133010432 54931 33554432000 4194304 4196468 140734262655456 140188275686544 140188357215957 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30916608 140734262658236 140734262658412 140734262658412 140734262661071 0
[pid=17536/tid=17540] ppid=17535 vsize=13801768 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/17536/task/17540/stat : 17540 (java) S 17535 17535 16913 0 -1 1077944384 10 0 0 0 0 1 0 0 20 0 28 0 3566589 14133010432 54931 33554432000 4194304 4196468 140734262655456 140188274633744 140188357215957 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30916608 140734262658236 140734262658412 140734262658412 140734262661071 0
[pid=17536/tid=17541] ppid=17535 vsize=13801768 CPUtime=0.03 cores=1,3,5,7,9,11,13,15
/proc/17536/task/17541/stat : 17541 (java) S 17535 17535 16913 0 -1 1077944384 30 0 0 0 1 2 0 0 20 0 28 0 3566589 14133010432 54931 33554432000 4194304 4196468 140734262655456 140188273580944 140188357215957 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30916608 140734262658236 140734262658412 140734262658412 140734262661071 0
[pid=17536/tid=17542] ppid=17535 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17536/task/17542/stat : 17542 (java) S 17535 17535 16913 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 28 0 3566589 14133010432 54931 33554432000 4194304 4196468 140734262655456 140188272528144 140188357215957 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 30916608 140734262658236 140734262658412 140734262658412 140734262661071 0
[pid=17536/tid=17543] ppid=17535 vsize=13801768 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/17536/task/17543/stat : 17543 (java) S 17535 17535 16913 0 -1 1077944384 30 0 0 0 1 1 0 0 20 0 28 0 3566589 14133010432 54931 33554432000 4194304 4196468 140734262655456 140188271475344 140188357215957 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30916608 140734262658236 140734262658412 140734262658412 140734262661071 0
[pid=17536/tid=17544] ppid=17535 vsize=13801768 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/17536/task/17544/stat : 17544 (java) S 17535 17535 16913 0 -1 1077944384 68 0 0 0 1 1 0 0 20 0 28 0 3566589 14133010432 54931 33554432000 4194304 4196468 140734262655456 140187950639632 140188357215957 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 30916608 140734262658236 140734262658412 140734262658412 140734262661071 0
[pid=17536/tid=17545] ppid=17535 vsize=13801768 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/17536/task/17545/stat : 17545 (java) S 17535 17535 16913 0 -1 1077944384 135 0 0 0 2 0 0 0 20 0 28 0 3566589 14133010432 54931 33554432000 4194304 4196468 140734262655456 140187949586832 140188357215957 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 30916608 140734262658236 140734262658412 140734262658412 140734262661071 0
[pid=17536/tid=17546] ppid=17535 vsize=13801768 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/17536/task/17546/stat : 17546 (java) S 17535 17535 16913 0 -1 1077944384 70 0 0 0 1 1 0 0 20 0 28 0 3566589 14133010432 54931 33554432000 4194304 4196468 140734262655456 140187948534032 140188357215957 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30916608 140734262658236 140734262658412 140734262658412 140734262661071 0
[pid=17536/tid=17556] ppid=17535 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17536/task/17556/stat : 17556 (java) S 17535 17535 16913 0 -1 1077944384 213 0 0 0 0 0 0 0 20 0 28 0 3566591 14133010432 54931 33554432000 4194304 4196468 140734262655456 140187819551600 140188357216898 0 0 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 30916608 140734262658236 140734262658412 140734262658412 140734262661071 0
[pid=17536/tid=17557] ppid=17535 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17536/task/17557/stat : 17557 (java) S 17535 17535 16913 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 28 0 3566592 14133010432 54931 33554432000 4194304 4196468 140734262655456 140187818497568 140188357215957 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 30916608 140734262658236 140734262658412 140734262658412 140734262661071 0
[pid=17536/tid=17561] ppid=17535 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17536/task/17561/stat : 17561 (java) S 17535 17535 16913 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 28 0 3566592 14133010432 54931 33554432000 4194304 4196468 140734262655456 140187817444720 140188357215957 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30916608 140734262658236 140734262658412 140734262658412 140734262661071 0
[pid=17536/tid=17564] ppid=17535 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17536/task/17564/stat : 17564 (java) S 17535 17535 16913 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3566596 14133010432 54931 33554432000 4194304 4196468 140734262655456 140187816393040 140188357224347 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 30916608 140734262658236 140734262658412 140734262658412 140734262661071 0
[pid=17536/tid=17565] ppid=17535 vsize=13801768 CPUtime=0.98 cores=1,3,5,7,9,11,13,15
/proc/17536/task/17565/stat : 17565 (java) R 17535 17535 16913 0 -1 4202560 2839 0 0 0 98 0 0 0 20 0 28 0 3566596 14133010432 54931 33554432000 4194304 4196468 140734262655456 140187815327760 140188335231634 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30916608 140734262658236 140734262658412 140734262658412 140734262661071 0
[pid=17536/tid=17566] ppid=17535 vsize=13801768 CPUtime=0.98 cores=1,3,5,7,9,11,13,15
/proc/17536/task/17566/stat : 17566 (java) S 17535 17535 16913 0 -1 1077944384 2975 0 0 0 97 1 0 0 20 0 28 0 3566596 14133010432 54931 33554432000 4194304 4196468 140734262655456 140187814271328 140188357226941 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30916608 140734262658236 140734262658412 140734262658412 140734262661071 0
[pid=17536/tid=17567] ppid=17535 vsize=13801768 CPUtime=1.05 cores=1,3,5,7,9,11,13,15
/proc/17536/task/17567/stat : 17567 (java) S 17535 17535 16913 0 -1 1077944384 2897 0 0 0 105 0 0 0 20 0 28 0 3566596 14133010432 54931 33554432000 4194304 4196468 140734262655456 140187813216192 140188357226941 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 30916608 140734262658236 140734262658412 140734262658412 140734262661071 0
[pid=17536/tid=17568] ppid=17535 vsize=13801768 CPUtime=0.66 cores=1,3,5,7,9,11,13,15
/proc/17536/task/17568/stat : 17568 (java) S 17535 17535 16913 0 -1 1077944384 3213 0 0 0 66 0 0 0 20 0 28 0 3566596 14133010432 54931 33554432000 4194304 4196468 140734262655456 140187812180336 140188357226941 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 30916608 140734262658236 140734262658412 140734262658412 140734262661071 0
[pid=17536/tid=17569] ppid=17535 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17536/task/17569/stat : 17569 (java) S 17535 17535 16913 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3566596 14133010432 54931 33554432000 4194304 4196468 140734262655456 140187811130464 140188357215957 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 30916608 140734262658236 140734262658412 140734262658412 140734262661071 0
[pid=17536/tid=17570] ppid=17535 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17536/task/17570/stat : 17570 (java) S 17535 17535 16913 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 28 0 3566597 14133010432 54931 33554432000 4194304 4196468 140734262655456 140187810077744 140188357216898 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 30916608 140734262658236 140734262658412 140734262658412 140734262661071 0
Current children cumulated CPU time (s) 5.92
Current children cumulated vsize (KiB) 13811280
[startup+3.10184 s]
/proc/loadavg: 15.52 15.01 10.42 24/303 17621
/proc/meminfo: memFree=31425884/32770624 swapFree=5900/217012
[pid=17535] ppid=17532 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17535/stat : 17535 (xcsp3-exec) S 17532 17535 16913 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3566587 9740288 346 33554432000 4194304 5098028 140733736308608 140733736306712 139747284345468 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 32002048 140733736314001 140733736314208 140733736314208 140733736316907 0
/proc/17535/statm: 2378 346 289 221 0 87 0
[pid=17536] ppid=17535 vsize=13801768 CPUtime=18.59 cores=1,3,5,7,9,11,13,15
/proc/17536/stat : 17536 (java) S 17535 17535 16913 0 -1 1077944320 37664 0 0 0 1808 51 0 0 20 0 28 0 3566588 14133010432 82305 33554432000 4194304 4196468 140734262655456 140734262638000 140188357205751 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 30916608 140734262658236 140734262658412 140734262658412 140734262661071 0
/proc/17536/statm: 3450442 82305 3263 1 0 3437675 0
[pid=17536/tid=17537] ppid=17535 vsize=13801768 CPUtime=1.26 cores=1,3,5,7,9,11,13,15
/proc/17536/task/17537/stat : 17537 (java) S 17535 17535 16913 0 -1 1077944384 8603 0 0 0 121 5 0 0 20 0 28 0 3566588 14133010432 82305 33554432000 4194304 4196468 140734262655456 140188361446528 140188357215957 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30916608 140734262658236 140734262658412 140734262658412 140734262661071 0
[pid=17536/tid=17539] ppid=17535 vsize=13801768 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/17536/task/17539/stat : 17539 (java) S 17535 17535 16913 0 -1 1077944384 97 0 0 0 4 5 0 0 20 0 28 0 3566589 14133010432 82305 33554432000 4194304 4196468 140734262655456 140188275686544 140188357215957 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 30916608 140734262658236 140734262658412 140734262658412 140734262661071 0
[pid=17536/tid=17540] ppid=17535 vsize=13801768 CPUtime=0.08 cores=1,3,5,7,9,11,13,15
/proc/17536/task/17540/stat : 17540 (java) S 17535 17535 16913 0 -1 1077944384 41 0 0 0 3 5 0 0 20 0 28 0 3566589 14133010432 82305 33554432000 4194304 4196468 140734262655456 140188274633744 140188357215957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30916608 140734262658236 140734262658412 140734262658412 140734262661071 0
[pid=17536/tid=17541] ppid=17535 vsize=13801768 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/17536/task/17541/stat : 17541 (java) S 17535 17535 16913 0 -1 1077944384 66 0 0 0 5 4 0 0 20 0 28 0 3566589 14133010432 82305 33554432000 4194304 4196468 140734262655456 140188273580944 140188357215957 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30916608 140734262658236 140734262658412 140734262658412 140734262661071 0
[pid=17536/tid=17542] ppid=17535 vsize=13801768 CPUtime=0.05 cores=1,3,5,7,9,11,13,15
/proc/17536/task/17542/stat : 17542 (java) S 17535 17535 16913 0 -1 1077944384 43 0 0 0 2 3 0 0 20 0 28 0 3566589 14133010432 82305 33554432000 4194304 4196468 140734262655456 140188272528144 140188357215957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30916608 140734262658236 140734262658412 140734262658412 140734262661071 0
[pid=17536/tid=17543] ppid=17535 vsize=13801768 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/17536/task/17543/stat : 17543 (java) S 17535 17535 16913 0 -1 1077944384 64 0 0 0 4 5 0 0 20 0 28 0 3566589 14133010432 82305 33554432000 4194304 4196468 140734262655456 140188271475344 140188357215957 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 30916608 140734262658236 140734262658412 140734262658412 140734262661071 0
[pid=17536/tid=17544] ppid=17535 vsize=13801768 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/17536/task/17544/stat : 17544 (java) S 17535 17535 16913 0 -1 1077944384 102 0 0 0 4 5 0 0 20 0 28 0 3566589 14133010432 82305 33554432000 4194304 4196468 140734262655456 140187950639632 140188357215957 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30916608 140734262658236 140734262658412 140734262658412 140734262661071 0
[pid=17536/tid=17545] ppid=17535 vsize=13801768 CPUtime=0.07 cores=1,3,5,7,9,11,13,15
/proc/17536/task/17545/stat : 17545 (java) S 17535 17535 16913 0 -1 1077944384 157 0 0 0 4 3 0 0 20 0 28 0 3566589 14133010432 82305 33554432000 4194304 4196468 140734262655456 140187949586832 140188357215957 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 30916608 140734262658236 140734262658412 140734262658412 140734262661071 0
[pid=17536/tid=17546] ppid=17535 vsize=13801768 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/17536/task/17546/stat : 17546 (java) S 17535 17535 16913 0 -1 1077944384 98 0 0 0 4 5 0 0 20 0 28 0 3566589 14133010432 82305 33554432000 4194304 4196468 140734262655456 140187948534032 140188357215957 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 30916608 140734262658236 140734262658412 140734262658412 140734262661071 0
[pid=17536/tid=17556] ppid=17535 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17536/task/17556/stat : 17556 (java) S 17535 17535 16913 0 -1 1077944384 250 0 0 0 0 0 0 0 20 0 28 0 3566591 14133010432 82305 33554432000 4194304 4196468 140734262655456 140187819551600 140188357216898 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30916608 140734262658236 140734262658412 140734262658412 140734262661071 0
[pid=17536/tid=17557] ppid=17535 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17536/task/17557/stat : 17557 (java) S 17535 17535 16913 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 28 0 3566592 14133010432 82305 33554432000 4194304 4196468 140734262655456 140187818497632 140188357215957 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30916608 140734262658236 140734262658412 140734262658412 140734262661071 0
[pid=17536/tid=17561] ppid=17535 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17536/task/17561/stat : 17561 (java) S 17535 17535 16913 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 28 0 3566592 14133010432 82305 33554432000 4194304 4196468 140734262655456 140187817444720 140188357215957 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30916608 140734262658236 140734262658412 140734262658412 140734262661071 0
[pid=17536/tid=17564] ppid=17535 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17536/task/17564/stat : 17564 (java) S 17535 17535 16913 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3566596 14133010432 82305 33554432000 4194304 4196468 140734262655456 140187816393040 140188357224347 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 30916608 140734262658236 140734262658412 140734262658412 140734262661071 0
[pid=17536/tid=17565] ppid=17535 vsize=13801768 CPUtime=1.96 cores=1,3,5,7,9,11,13,15
/proc/17536/task/17565/stat : 17565 (java) D 17535 17535 16913 0 -1 4202560 7845 0 0 0 195 1 0 0 20 0 28 0 3566596 14133010432 82305 33554432000 4194304 4196468 140734262655456 140187815324872 140188342308206 0 4 0 16800975 18446744071582151416 0 0 -1 15 0 0 0 0 0 6293624 6294260 30916608 140734262658236 140734262658412 140734262658412 140734262661071 0
[pid=17536/tid=17566] ppid=17535 vsize=13801768 CPUtime=1.98 cores=1,3,5,7,9,11,13,15
/proc/17536/task/17566/stat : 17566 (java) R 17535 17535 16913 0 -1 4202560 5831 0 0 0 197 1 0 0 20 0 28 0 3566596 14133010432 82305 33554432000 4194304 4196468 140734262655456 140187814273480 140188349922903 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30916608 140734262658236 140734262658412 140734262658412 140734262661071 0
[pid=17536/tid=17567] ppid=17535 vsize=13801768 CPUtime=1.99 cores=1,3,5,7,9,11,13,15
/proc/17536/task/17567/stat : 17567 (java) R 17535 17535 16913 0 -1 4202560 7584 0 0 0 198 1 0 0 20 0 28 0 3566596 14133010432 82305 33554432000 4194304 4196468 140734262655456 140187813220296 140188338750302 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 30916608 140734262658236 140734262658412 140734262658412 140734262661071 0
[pid=17536/tid=17568] ppid=17535 vsize=13801768 CPUtime=0.79 cores=1,3,5,7,9,11,13,15
/proc/17536/task/17568/stat : 17568 (java) S 17535 17535 16913 0 -1 1077944384 4811 0 0 0 79 0 0 0 20 0 28 0 3566596 14133010432 82305 33554432000 4194304 4196468 140734262655456 140187812182000 140188357216898 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30916608 140734262658236 140734262658412 140734262658412 140734262661071 0
[pid=17536/tid=17569] ppid=17535 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17536/task/17569/stat : 17569 (java) S 17535 17535 16913 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3566596 14133010432 82305 33554432000 4194304 4196468 140734262655456 140187811130464 140188357215957 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 30916608 140734262658236 140734262658412 140734262658412 140734262661071 0
[pid=17536/tid=17570] ppid=17535 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17536/task/17570/stat : 17570 (java) S 17535 17535 16913 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 28 0 3566597 14133010432 82305 33554432000 4194304 4196468 140734262655456 140187810077744 140188357216898 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30916608 140734262658236 140734262658412 140734262658412 140734262661071 0
[pid=17536/tid=17606] ppid=17535 vsize=13801768 CPUtime=1.06 cores=1,3,5,7,9,11,13,15
/proc/17536/task/17606/stat : 17606 (java) R 17535 17535 16913 0 -1 4202560 109 0 0 0 106 0 0 0 20 0 28 0 3566722 14133010432 82305 33554432000 4194304 4196468 140734262655456 140187802061080 140187958237023 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 30916608 140734262658236 140734262658412 140734262658412 140734262661071 0
[pid=17536/tid=17607] ppid=17535 vsize=13801768 CPUtime=1.03 cores=1,3,5,7,9,11,13,15
/proc/17536/task/17607/stat : 17607 (java) R 17535 17535 16913 0 -1 4202560 76 0 0 0 103 0 0 0 20 0 28 0 3566722 14133010432 82305 33554432000 4194304 4196468 140734262655456 140187801009288 140187951781887 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 30916608 140734262658236 140734262658412 140734262658412 140734262661071 0
[pid=17536/tid=17608] ppid=17535 vsize=13801768 CPUtime=1.21 cores=1,3,5,7,9,11,13,15
/proc/17536/task/17608/stat : 17608 (java) R 17535 17535 16913 0 -1 4202560 46 0 0 0 121 0 0 0 20 0 28 0 3566722 14133010432 82305 33554432000 4194304 4196468 140734262655456 140187598311592 140187958238189 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30916608 140734262658236 140734262658412 140734262658412 140734262661071 0
[pid=17536/tid=17609] ppid=17535 vsize=13801768 CPUtime=1.27 cores=1,3,5,7,9,11,13,15
/proc/17536/task/17609/stat : 17609 (java) R 17535 17535 16913 0 -1 4202560 189 0 0 0 127 0 0 0 20 0 28 0 3566722 14133010432 82305 33554432000 4194304 4196468 140734262655456 140187597257608 140187958238472 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 30916608 140734262658236 140734262658412 140734262658412 140734262661071 0
[pid=17536/tid=17610] ppid=17535 vsize=13801768 CPUtime=1.27 cores=1,3,5,7,9,11,13,15
/proc/17536/task/17610/stat : 17610 (java) R 17535 17535 16913 0 -1 4202560 139 0 0 0 127 0 0 0 20 0 28 0 3566722 14133010432 82305 33554432000 4194304 4196468 140734262655456 140187596204808 140187957298511 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 30916608 140734262658236 140734262658412 140734262658412 140734262661071 0
[pid=17536/tid=17611] ppid=17535 vsize=13801768 CPUtime=1.27 cores=1,3,5,7,9,11,13,15
/proc/17536/task/17611/stat : 17611 (java) R 17535 17535 16913 0 -1 4202560 63 0 0 0 127 0 0 0 20 0 28 0 3566722 14133010432 82305 33554432000 4194304 4196468 140734262655456 140187595152008 140187958237399 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30916608 140734262658236 140734262658412 140734262658412 140734262661071 0
[pid=17536/tid=17612] ppid=17535 vsize=13801768 CPUtime=1.28 cores=1,3,5,7,9,11,13,15
/proc/17536/task/17612/stat : 17612 (java) R 17535 17535 16913 0 -1 4202560 44 0 0 0 128 0 0 0 20 0 28 0 3566722 14133010432 82305 33554432000 4194304 4196468 140734262655456 140187594099120 140187958238189 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 30916608 140734262658236 140734262658412 140734262658412 140734262661071 0
[pid=17536/tid=17613] ppid=17535 vsize=13801768 CPUtime=1.37 cores=1,3,5,7,9,11,13,15
/proc/17536/task/17613/stat : 17613 (java) R 17535 17535 16913 0 -1 4202560 46 0 0 0 137 0 0 0 20 0 28 0 3566722 14133010432 82305 33554432000 4194304 4196468 140734262655456 140187593047432 140187956857312 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30916608 140734262658236 140734262658412 140734262658412 140734262661071 0
Current children cumulated CPU time (s) 18.59
Current children cumulated vsize (KiB) 13811280
[startup+6.30155 s]
/proc/loadavg: 15.52 15.01 10.42 18/303 17621
/proc/meminfo: memFree=31346968/32770624 swapFree=5900/217024
[pid=17535] ppid=17532 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17535/stat : 17535 (xcsp3-exec) S 17532 17535 16913 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3566587 9740288 346 33554432000 4194304 5098028 140733736308608 140733736306712 139747284345468 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 32002048 140733736314001 140733736314208 140733736314208 140733736316907 0
/proc/17535/statm: 2378 346 289 221 0 87 0
[pid=17536] ppid=17535 vsize=13801768 CPUtime=44 cores=1,3,5,7,9,11,13,15
/proc/17536/stat : 17536 (java) S 17535 17535 16913 0 -1 1077944320 42403 0 0 0 4347 53 0 0 20 0 28 0 3566588 14133010432 83040 33554432000 4194304 4196468 140734262655456 140734262638000 140188357205751 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 30916608 140734262658236 140734262658412 140734262658412 140734262661071 0
/proc/17536/statm: 3450442 83040 3269 1 0 3437675 0
[pid=17536/tid=17537] ppid=17535 vsize=13801768 CPUtime=1.26 cores=1,3,5,7,9,11,13,15
/proc/17536/task/17537/stat : 17537 (java) S 17535 17535 16913 0 -1 1077944384 8603 0 0 0 121 5 0 0 20 0 28 0 3566588 14133010432 83040 33554432000 4194304 4196468 140734262655456 140188361446528 140188357215957 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30916608 140734262658236 140734262658412 140734262658412 140734262661071 0
[pid=17536/tid=17539] ppid=17535 vsize=13801768 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/17536/task/17539/stat : 17539 (java) S 17535 17535 16913 0 -1 1077944384 97 0 0 0 4 5 0 0 20 0 28 0 3566589 14133010432 83040 33554432000 4194304 4196468 140734262655456 140188275686544 140188357215957 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 30916608 140734262658236 140734262658412 140734262658412 140734262661071 0
[pid=17536/tid=17540] ppid=17535 vsize=13801768 CPUtime=0.08 cores=1,3,5,7,9,11,13,15
/proc/17536/task/17540/stat : 17540 (java) S 17535 17535 16913 0 -1 1077944384 41 0 0 0 3 5 0 0 20 0 28 0 3566589 14133010432 83040 33554432000 4194304 4196468 140734262655456 140188274633744 140188357215957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30916608 140734262658236 140734262658412 140734262658412 140734262661071 0
[pid=17536/tid=17541] ppid=17535 vsize=13801768 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/17536/task/17541/stat : 17541 (java) S 17535 17535 16913 0 -1 1077944384 66 0 0 0 5 4 0 0 20 0 28 0 3566589 14133010432 83040 33554432000 4194304 4196468 140734262655456 140188273580944 140188357215957 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30916608 140734262658236 140734262658412 140734262658412 140734262661071 0
[pid=17536/tid=17542] ppid=17535 vsize=13801768 CPUtime=0.05 cores=1,3,5,7,9,11,13,15
/proc/17536/task/17542/stat : 17542 (java) S 17535 17535 16913 0 -1 1077944384 43 0 0 0 2 3 0 0 20 0 28 0 3566589 14133010432 83040 33554432000 4194304 4196468 140734262655456 140188272528144 140188357215957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30916608 140734262658236 140734262658412 140734262658412 140734262661071 0
################
# More data... #
################
[pid=17536/tid=17612] ppid=17535 vsize=13801768 CPUtime=219.09 cores=1,3,5,7,9,11,13,15
/proc/17536/task/17612/stat : 17612 (java) R 17535 17535 16913 0 -1 4202560 779 0 0 0 21909 0 0 0 20 0 28 0 3566722 14133010432 127513 33554432000 4194304 4196468 140734262655456 140187594100392 140187960087821 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 30916608 140734262658236 140734262658412 140734262658412 140734262661071 0
[pid=17536/tid=17613] ppid=17535 vsize=13801768 CPUtime=217.52 cores=1,3,5,7,9,11,13,15
/proc/17536/task/17613/stat : 17613 (java) R 17535 17535 16913 0 -1 4202560 1458 0 0 0 21751 1 0 0 20 0 28 0 3566722 14133010432 127513 33554432000 4194304 4196468 140734262655456 140187593048280 140187958551527 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 30916608 140734262658236 140734262658412 140734262658412 140734262661071 0
Current children cumulated CPU time (s) 1764.15
Current children cumulated vsize (KiB) 13811280
[startup+282.302 s]
/proc/loadavg: 16.24 15.71 11.91 17/303 17627
/proc/meminfo: memFree=30341484/32770624 swapFree=5900/217308
[pid=17535] ppid=17532 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17535/stat : 17535 (xcsp3-exec) S 17532 17535 16913 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3566587 9740288 346 33554432000 4194304 5098028 140733736308608 140733736306712 139747284345468 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 32002048 140733736314001 140733736314208 140733736314208 140733736316907 0
/proc/17535/statm: 2378 346 289 221 0 87 0
[pid=17536] ppid=17535 vsize=13801768 CPUtime=2241.99 cores=1,3,5,7,9,11,13,15
/proc/17536/stat : 17536 (java) S 17535 17535 16913 0 -1 1077944320 102075 0 0 0 224076 123 0 0 20 0 28 0 3566588 14133010432 127674 33554432000 4194304 4196468 140734262655456 140734262638000 140188357205751 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 30916608 140734262658236 140734262658412 140734262658412 140734262661071 0
/proc/17536/statm: 3450442 127674 3283 1 0 3437675 0
[pid=17536/tid=17537] ppid=17535 vsize=13801768 CPUtime=1.26 cores=1,3,5,7,9,11,13,15
/proc/17536/task/17537/stat : 17537 (java) S 17535 17535 16913 0 -1 1077944384 8603 0 0 0 121 5 0 0 20 0 28 0 3566588 14133010432 127674 33554432000 4194304 4196468 140734262655456 140188361446528 140188357215957 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30916608 140734262658236 140734262658412 140734262658412 140734262661071 0
[pid=17536/tid=17539] ppid=17535 vsize=13801768 CPUtime=0.18 cores=1,3,5,7,9,11,13,15
/proc/17536/task/17539/stat : 17539 (java) S 17535 17535 16913 0 -1 1077944384 242 0 0 0 8 10 0 0 20 0 28 0 3566589 14133010432 127674 33554432000 4194304 4196468 140734262655456 140188275686544 140188357215957 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 30916608 140734262658236 140734262658412 140734262658412 140734262661071 0
[pid=17536/tid=17540] ppid=17535 vsize=13801768 CPUtime=0.16 cores=1,3,5,7,9,11,13,15
/proc/17536/task/17540/stat : 17540 (java) S 17535 17535 16913 0 -1 1077944384 111 0 0 0 7 9 0 0 20 0 28 0 3566589 14133010432 127674 33554432000 4194304 4196468 140734262655456 140188274633744 140188357215957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30916608 140734262658236 140734262658412 140734262658412 140734262661071 0
[pid=17536/tid=17541] ppid=17535 vsize=13801768 CPUtime=0.18 cores=1,3,5,7,9,11,13,15
/proc/17536/task/17541/stat : 17541 (java) S 17535 17535 16913 0 -1 1077944384 154 0 0 0 9 9 0 0 20 0 28 0 3566589 14133010432 127674 33554432000 4194304 4196468 140734262655456 140188273580944 140188357215957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30916608 140734262658236 140734262658412 140734262658412 140734262661071 0
[pid=17536/tid=17542] ppid=17535 vsize=13801768 CPUtime=0.14 cores=1,3,5,7,9,11,13,15
/proc/17536/task/17542/stat : 17542 (java) S 17535 17535 16913 0 -1 1077944384 129 0 0 0 6 8 0 0 20 0 28 0 3566589 14133010432 127674 33554432000 4194304 4196468 140734262655456 140188272528144 140188357215957 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 30916608 140734262658236 140734262658412 140734262658412 140734262661071 0
[pid=17536/tid=17543] ppid=17535 vsize=13801768 CPUtime=0.18 cores=1,3,5,7,9,11,13,15
/proc/17536/task/17543/stat : 17543 (java) S 17535 17535 16913 0 -1 1077944384 131 0 0 0 8 10 0 0 20 0 28 0 3566589 14133010432 127674 33554432000 4194304 4196468 140734262655456 140188271475344 140188357215957 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 30916608 140734262658236 140734262658412 140734262658412 140734262661071 0
[pid=17536/tid=17544] ppid=17535 vsize=13801768 CPUtime=0.17 cores=1,3,5,7,9,11,13,15
/proc/17536/task/17544/stat : 17544 (java) S 17535 17535 16913 0 -1 1077944384 600 0 0 0 8 9 0 0 20 0 28 0 3566589 14133010432 127674 33554432000 4194304 4196468 140734262655456 140187950639632 140188357215957 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30916608 140734262658236 140734262658412 140734262658412 140734262661071 0
[pid=17536/tid=17545] ppid=17535 vsize=13801768 CPUtime=0.15 cores=1,3,5,7,9,11,13,15
/proc/17536/task/17545/stat : 17545 (java) S 17535 17535 16913 0 -1 1077944384 444 0 0 0 8 7 0 0 20 0 28 0 3566589 14133010432 127674 33554432000 4194304 4196468 140734262655456 140187949586832 140188357215957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30916608 140734262658236 140734262658412 140734262658412 140734262661071 0
[pid=17536/tid=17546] ppid=17535 vsize=13801768 CPUtime=0.17 cores=1,3,5,7,9,11,13,15
/proc/17536/task/17546/stat : 17546 (java) S 17535 17535 16913 0 -1 1077944384 516 0 0 0 8 9 0 0 20 0 28 0 3566589 14133010432 127674 33554432000 4194304 4196468 140734262655456 140187948534032 140188357215957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30916608 140734262658236 140734262658412 140734262658412 140734262661071 0
[pid=17536/tid=17556] ppid=17535 vsize=13801768 CPUtime=0.23 cores=1,3,5,7,9,11,13,15
/proc/17536/task/17556/stat : 17556 (java) S 17535 17535 16913 0 -1 1077944384 1360 0 0 0 9 14 0 0 20 0 28 0 3566591 14133010432 127674 33554432000 4194304 4196468 140734262655456 140187819551600 140188357216898 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30916608 140734262658236 140734262658412 140734262658412 140734262661071 0
[pid=17536/tid=17557] ppid=17535 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17536/task/17557/stat : 17557 (java) S 17535 17535 16913 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 28 0 3566592 14133010432 127674 33554432000 4194304 4196468 140734262655456 140187818497632 140188357215957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30916608 140734262658236 140734262658412 140734262658412 140734262661071 0
[pid=17536/tid=17561] ppid=17535 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17536/task/17561/stat : 17561 (java) S 17535 17535 16913 0 -1 1077944384 96 0 0 0 0 0 0 0 20 0 28 0 3566592 14133010432 127674 33554432000 4194304 4196468 140734262655456 140187817444736 140188357215957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30916608 140734262658236 140734262658412 140734262658412 140734262661071 0
[pid=17536/tid=17564] ppid=17535 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17536/task/17564/stat : 17564 (java) S 17535 17535 16913 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3566596 14133010432 127674 33554432000 4194304 4196468 140734262655456 140187816393040 140188357224347 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 30916608 140734262658236 140734262658412 140734262658412 140734262661071 0
[pid=17536/tid=17565] ppid=17535 vsize=13801768 CPUtime=4.71 cores=1,3,5,7,9,11,13,15
/proc/17536/task/17565/stat : 17565 (java) S 17535 17535 16913 0 -1 1077944384 19608 0 0 0 468 3 0 0 20 0 28 0 3566596 14133010432 127674 33554432000 4194304 4196468 140734262655456 140187815340400 140188357216898 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 30916608 140734262658236 140734262658412 140734262658412 140734262661071 0
[pid=17536/tid=17566] ppid=17535 vsize=13801768 CPUtime=4.51 cores=1,3,5,7,9,11,13,15
/proc/17536/task/17566/stat : 17566 (java) S 17535 17535 16913 0 -1 1077944384 16919 0 0 0 448 3 0 0 20 0 28 0 3566596 14133010432 127674 33554432000 4194304 4196468 140734262655456 140187814287600 140188357216898 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30916608 140734262658236 140734262658412 140734262658412 140734262661071 0
[pid=17536/tid=17567] ppid=17535 vsize=13801768 CPUtime=5.38 cores=1,3,5,7,9,11,13,15
/proc/17536/task/17567/stat : 17567 (java) S 17535 17535 16913 0 -1 1077944384 22626 0 0 0 534 4 0 0 20 0 28 0 3566596 14133010432 127674 33554432000 4194304 4196468 140734262655456 140187813234800 140188357216898 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30916608 140734262658236 140734262658412 140734262658412 140734262661071 0
[pid=17536/tid=17568] ppid=17535 vsize=13801768 CPUtime=1.17 cores=1,3,5,7,9,11,13,15
/proc/17536/task/17568/stat : 17568 (java) S 17535 17535 16913 0 -1 1077944384 16189 0 0 0 116 1 0 0 20 0 28 0 3566596 14133010432 127674 33554432000 4194304 4196468 140734262655456 140187812182000 140188357216898 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30916608 140734262658236 140734262658412 140734262658412 140734262661071 0
[pid=17536/tid=17569] ppid=17535 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17536/task/17569/stat : 17569 (java) S 17535 17535 16913 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3566596 14133010432 127674 33554432000 4194304 4196468 140734262655456 140187811130464 140188357215957 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 30916608 140734262658236 140734262658412 140734262658412 140734262661071 0
[pid=17536/tid=17570] ppid=17535 vsize=13801768 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/17536/task/17570/stat : 17570 (java) S 17535 17535 16913 0 -1 1077944384 733 0 0 0 6 6 0 0 20 0 28 0 3566597 14133010432 127674 33554432000 4194304 4196468 140734262655456 140187810077744 140188357216898 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30916608 140734262658236 140734262658412 140734262658412 140734262661071 0
[pid=17536/tid=17606] ppid=17535 vsize=13801768 CPUtime=277.96 cores=1,3,5,7,9,11,13,15
/proc/17536/task/17606/stat : 17606 (java) R 17535 17535 16913 0 -1 4202560 1087 0 0 0 27796 0 0 0 20 0 28 0 3566722 14133010432 127674 33554432000 4194304 4196468 140734262655456 140187802061776 140187960087446 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 30916608 140734262658236 140734262658412 140734262658412 140734262661071 0
[pid=17536/tid=17607] ppid=17535 vsize=13801768 CPUtime=275.55 cores=1,3,5,7,9,11,13,15
/proc/17536/task/17607/stat : 17607 (java) R 17535 17535 16913 0 -1 4202560 1265 0 0 0 27555 0 0 0 20 0 28 0 3566722 14133010432 127674 33554432000 4194304 4196468 140734262655456 140187801010232 140187960087701 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 30916608 140734262658236 140734262658412 140734262658412 140734262661071 0
[pid=17536/tid=17608] ppid=17535 vsize=13801768 CPUtime=277.4 cores=1,3,5,7,9,11,13,15
/proc/17536/task/17608/stat : 17608 (java) R 17535 17535 16913 0 -1 4202560 1230 0 0 0 27739 1 0 0 20 0 28 0 3566722 14133010432 127674 33554432000 4194304 4196468 140734262655456 140187598311208 140187960087473 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30916608 140734262658236 140734262658412 140734262658412 140734262661071 0
[pid=17536/tid=17609] ppid=17535 vsize=13801768 CPUtime=278.22 cores=1,3,5,7,9,11,13,15
/proc/17536/task/17609/stat : 17609 (java) R 17535 17535 16913 0 -1 4202560 4349 0 0 0 27820 2 0 0 20 0 28 0 3566722 14133010432 127674 33554432000 4194304 4196468 140734262655456 140187597258552 140187960087461 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 30916608 140734262658236 140734262658412 140734262658412 140734262661071 0
[pid=17536/tid=17610] ppid=17535 vsize=13801768 CPUtime=278.79 cores=1,3,5,7,9,11,13,15
/proc/17536/task/17610/stat : 17610 (java) R 17535 17535 16913 0 -1 4202560 1152 0 0 0 27879 0 0 0 20 0 28 0 3566722 14133010432 127674 33554432000 4194304 4196468 140734262655456 140187596205640 140187960087658 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 30916608 140734262658236 140734262658412 140734262658412 140734262661071 0
[pid=17536/tid=17611] ppid=17535 vsize=13801768 CPUtime=278.88 cores=1,3,5,7,9,11,13,15
/proc/17536/task/17611/stat : 17611 (java) R 17535 17535 16913 0 -1 4202560 949 0 0 0 27887 1 0 0 20 0 28 0 3566722 14133010432 127674 33554432000 4194304 4196468 140734262655456 140187595152712 140187960087620 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30916608 140734262658236 140734262658412 140734262658412 140734262661071 0
[pid=17536/tid=17612] ppid=17535 vsize=13801768 CPUtime=278.8 cores=1,3,5,7,9,11,13,15
/proc/17536/task/17612/stat : 17612 (java) R 17535 17535 16913 0 -1 4202560 795 0 0 0 27880 0 0 0 20 0 28 0 3566722 14133010432 127674 33554432000 4194304 4196468 140734262655456 140187594100504 140187960087615 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30916608 140734262658236 140734262658412 140734262658412 140734262661071 0
[pid=17536/tid=17613] ppid=17535 vsize=13801768 CPUtime=277.45 cores=1,3,5,7,9,11,13,15
/proc/17536/task/17613/stat : 17613 (java) R 17535 17535 16913 0 -1 4202560 1475 0 0 0 27744 1 0 0 20 0 28 0 3566722 14133010432 127674 33554432000 4194304 4196468 140734262655456 140187593048376 140187961332587 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 30916608 140734262658236 140734262658412 140734262658412 140734262661071 0
Current children cumulated CPU time (s) 2241.99
Current children cumulated vsize (KiB) 13811280
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+302.201 s]
/proc/loadavg: 16.17 15.73 12.00 17/303 17629
/proc/meminfo: memFree=30375568/32770624 swapFree=5900/217344
[pid=17535] ppid=17532 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17535/stat : 17535 (xcsp3-exec) S 17532 17535 16913 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3566587 9740288 346 33554432000 4194304 5098028 140733736308608 140733736306712 139747284345468 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 32002048 140733736314001 140733736314208 140733736314208 140733736316907 0
/proc/17535/statm: 2378 346 289 221 0 87 0
[pid=17536] ppid=17535 vsize=13801768 CPUtime=2400.51 cores=1,3,5,7,9,11,13,15
/proc/17536/stat : 17536 (java) S 17535 17535 16913 0 -1 1077944320 103181 0 0 0 239927 124 0 0 20 0 28 0 3566588 14133010432 127675 33554432000 4194304 4196468 140734262655456 140734262638000 140188357205751 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 30916608 140734262658236 140734262658412 140734262658412 140734262661071 0
/proc/17536/statm: 3450442 127675 3283 1 0 3437675 0
[pid=17536/tid=17537] ppid=17535 vsize=13801768 CPUtime=1.26 cores=1,3,5,7,9,11,13,15
/proc/17536/task/17537/stat : 17537 (java) S 17535 17535 16913 0 -1 1077944384 8603 0 0 0 121 5 0 0 20 0 28 0 3566588 14133010432 127675 33554432000 4194304 4196468 140734262655456 140188361446528 140188357215957 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30916608 140734262658236 140734262658412 140734262658412 140734262661071 0
[pid=17536/tid=17539] ppid=17535 vsize=13801768 CPUtime=0.18 cores=1,3,5,7,9,11,13,15
/proc/17536/task/17539/stat : 17539 (java) S 17535 17535 16913 0 -1 1077944384 242 0 0 0 8 10 0 0 20 0 28 0 3566589 14133010432 127675 33554432000 4194304 4196468 140734262655456 140188275686544 140188357215957 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 30916608 140734262658236 140734262658412 140734262658412 140734262661071 0
[pid=17536/tid=17540] ppid=17535 vsize=13801768 CPUtime=0.16 cores=1,3,5,7,9,11,13,15
/proc/17536/task/17540/stat : 17540 (java) S 17535 17535 16913 0 -1 1077944384 111 0 0 0 7 9 0 0 20 0 28 0 3566589 14133010432 127675 33554432000 4194304 4196468 140734262655456 140188274633744 140188357215957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30916608 140734262658236 140734262658412 140734262658412 140734262661071 0
[pid=17536/tid=17541] ppid=17535 vsize=13801768 CPUtime=0.18 cores=1,3,5,7,9,11,13,15
/proc/17536/task/17541/stat : 17541 (java) S 17535 17535 16913 0 -1 1077944384 154 0 0 0 9 9 0 0 20 0 28 0 3566589 14133010432 127675 33554432000 4194304 4196468 140734262655456 140188273580944 140188357215957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30916608 140734262658236 140734262658412 140734262658412 140734262661071 0
[pid=17536/tid=17542] ppid=17535 vsize=13801768 CPUtime=0.14 cores=1,3,5,7,9,11,13,15
/proc/17536/task/17542/stat : 17542 (java) S 17535 17535 16913 0 -1 1077944384 129 0 0 0 6 8 0 0 20 0 28 0 3566589 14133010432 127675 33554432000 4194304 4196468 140734262655456 140188272528144 140188357215957 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 30916608 140734262658236 140734262658412 140734262658412 140734262661071 0
[pid=17536/tid=17543] ppid=17535 vsize=13801768 CPUtime=0.18 cores=1,3,5,7,9,11,13,15
/proc/17536/task/17543/stat : 17543 (java) S 17535 17535 16913 0 -1 1077944384 131 0 0 0 8 10 0 0 20 0 28 0 3566589 14133010432 127675 33554432000 4194304 4196468 140734262655456 140188271475344 140188357215957 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 30916608 140734262658236 140734262658412 140734262658412 140734262661071 0
[pid=17536/tid=17544] ppid=17535 vsize=13801768 CPUtime=0.17 cores=1,3,5,7,9,11,13,15
/proc/17536/task/17544/stat : 17544 (java) S 17535 17535 16913 0 -1 1077944384 600 0 0 0 8 9 0 0 20 0 28 0 3566589 14133010432 127675 33554432000 4194304 4196468 140734262655456 140187950639632 140188357215957 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30916608 140734262658236 140734262658412 140734262658412 140734262661071 0
[pid=17536/tid=17545] ppid=17535 vsize=13801768 CPUtime=0.15 cores=1,3,5,7,9,11,13,15
/proc/17536/task/17545/stat : 17545 (java) S 17535 17535 16913 0 -1 1077944384 444 0 0 0 8 7 0 0 20 0 28 0 3566589 14133010432 127675 33554432000 4194304 4196468 140734262655456 140187949586832 140188357215957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30916608 140734262658236 140734262658412 140734262658412 140734262661071 0
[pid=17536/tid=17546] ppid=17535 vsize=13801768 CPUtime=0.17 cores=1,3,5,7,9,11,13,15
/proc/17536/task/17546/stat : 17546 (java) S 17535 17535 16913 0 -1 1077944384 516 0 0 0 8 9 0 0 20 0 28 0 3566589 14133010432 127675 33554432000 4194304 4196468 140734262655456 140187948534032 140188357215957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30916608 140734262658236 140734262658412 140734262658412 140734262661071 0
[pid=17536/tid=17556] ppid=17535 vsize=13801768 CPUtime=0.23 cores=1,3,5,7,9,11,13,15
/proc/17536/task/17556/stat : 17556 (java) S 17535 17535 16913 0 -1 1077944384 1367 0 0 0 9 14 0 0 20 0 28 0 3566591 14133010432 127675 33554432000 4194304 4196468 140734262655456 140187819551600 140188357216898 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30916608 140734262658236 140734262658412 140734262658412 140734262661071 0
[pid=17536/tid=17557] ppid=17535 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17536/task/17557/stat : 17557 (java) S 17535 17535 16913 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 28 0 3566592 14133010432 127675 33554432000 4194304 4196468 140734262655456 140187818497632 140188357215957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30916608 140734262658236 140734262658412 140734262658412 140734262661071 0
[pid=17536/tid=17561] ppid=17535 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17536/task/17561/stat : 17561 (java) S 17535 17535 16913 0 -1 1077944384 96 0 0 0 0 0 0 0 20 0 28 0 3566592 14133010432 127675 33554432000 4194304 4196468 140734262655456 140187817444736 140188357215957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30916608 140734262658236 140734262658412 140734262658412 140734262661071 0
[pid=17536/tid=17564] ppid=17535 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17536/task/17564/stat : 17564 (java) S 17535 17535 16913 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3566596 14133010432 127675 33554432000 4194304 4196468 140734262655456 140187816393040 140188357224347 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 30916608 140734262658236 140734262658412 140734262658412 140734262661071 0
[pid=17536/tid=17565] ppid=17535 vsize=13801768 CPUtime=4.79 cores=1,3,5,7,9,11,13,15
/proc/17536/task/17565/stat : 17565 (java) S 17535 17535 16913 0 -1 1077944384 19765 0 0 0 476 3 0 0 20 0 28 0 3566596 14133010432 127675 33554432000 4194304 4196468 140734262655456 140187815340400 140188357216898 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 30916608 140734262658236 140734262658412 140734262658412 140734262661071 0
[pid=17536/tid=17566] ppid=17535 vsize=13801768 CPUtime=4.51 cores=1,3,5,7,9,11,13,15
/proc/17536/task/17566/stat : 17566 (java) S 17535 17535 16913 0 -1 1077944384 16926 0 0 0 448 3 0 0 20 0 28 0 3566596 14133010432 127675 33554432000 4194304 4196468 140734262655456 140187814287600 140188357216898 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30916608 140734262658236 140734262658412 140734262658412 140734262661071 0
[pid=17536/tid=17567] ppid=17535 vsize=13801768 CPUtime=5.38 cores=1,3,5,7,9,11,13,15
/proc/17536/task/17567/stat : 17567 (java) S 17535 17535 16913 0 -1 1077944384 22630 0 0 0 534 4 0 0 20 0 28 0 3566596 14133010432 127675 33554432000 4194304 4196468 140734262655456 140187813234800 140188357216898 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30916608 140734262658236 140734262658412 140734262658412 140734262661071 0
[pid=17536/tid=17568] ppid=17535 vsize=13801768 CPUtime=1.17 cores=1,3,5,7,9,11,13,15
/proc/17536/task/17568/stat : 17568 (java) S 17535 17535 16913 0 -1 1077944384 16193 0 0 0 116 1 0 0 20 0 28 0 3566596 14133010432 127675 33554432000 4194304 4196468 140734262655456 140187812182000 140188357216898 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30916608 140734262658236 140734262658412 140734262658412 140734262661071 0
[pid=17536/tid=17569] ppid=17535 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17536/task/17569/stat : 17569 (java) S 17535 17535 16913 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3566596 14133010432 127675 33554432000 4194304 4196468 140734262655456 140187811130464 140188357215957 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 30916608 140734262658236 140734262658412 140734262658412 140734262661071 0
[pid=17536/tid=17570] ppid=17535 vsize=13801768 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/17536/task/17570/stat : 17570 (java) S 17535 17535 16913 0 -1 1077944384 930 0 0 0 6 7 0 0 20 0 28 0 3566597 14133010432 127675 33554432000 4194304 4196468 140734262655456 140187810077744 140188357216898 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30916608 140734262658236 140734262658412 140734262658412 140734262661071 0
[pid=17536/tid=17606] ppid=17535 vsize=13801768 CPUtime=297.84 cores=1,3,5,7,9,11,13,15
/proc/17536/task/17606/stat : 17606 (java) R 17535 17535 16913 0 -1 4202560 1141 0 0 0 29784 0 0 0 20 0 28 0 3566722 14133010432 127675 33554432000 4194304 4196468 140734262655456 140187802062024 140187960087729 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 30916608 140734262658236 140734262658412 140734262658412 140734262661071 0
[pid=17536/tid=17607] ppid=17535 vsize=13801768 CPUtime=295.41 cores=1,3,5,7,9,11,13,15
/proc/17536/task/17607/stat : 17607 (java) R 17535 17535 16913 0 -1 4202560 1300 0 0 0 29541 0 0 0 20 0 28 0 3566722 14133010432 127675 33554432000 4194304 4196468 140734262655456 140187801009984 140187960087553 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30916608 140734262658236 140734262658412 140734262658412 140734262661071 0
[pid=17536/tid=17608] ppid=17535 vsize=13801768 CPUtime=297.28 cores=1,3,5,7,9,11,13,15
/proc/17536/task/17608/stat : 17608 (java) R 17535 17535 16913 0 -1 4202560 1254 0 0 0 29727 1 0 0 20 0 28 0 3566722 14133010432 127675 33554432000 4194304 4196468 140734262655456 140187598311208 140187960087633 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30916608 140734262658236 140734262658412 140734262658412 140734262661071 0
[pid=17536/tid=17609] ppid=17535 vsize=13801768 CPUtime=297.51 cores=1,3,5,7,9,11,13,15
/proc/17536/task/17609/stat : 17609 (java) R 17535 17535 16913 0 -1 4202560 4606 0 0 0 29749 2 0 0 20 0 28 0 3566722 14133010432 127675 33554432000 4194304 4196468 140734262655456 140187597258552 140187960087428 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 30916608 140734262658236 140734262658412 140734262658412 140734262661071 0
[pid=17536/tid=17610] ppid=17535 vsize=13801768 CPUtime=298.67 cores=1,3,5,7,9,11,13,15
/proc/17536/task/17610/stat : 17610 (java) R 17535 17535 16913 0 -1 4202560 1272 0 0 0 29867 0 0 0 20 0 28 0 3566722 14133010432 127675 33554432000 4194304 4196468 140734262655456 140187596205320 140187960087596 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 30916608 140734262658236 140734262658412 140734262658412 140734262661071 0
[pid=17536/tid=17611] ppid=17535 vsize=13801768 CPUtime=298.74 cores=1,3,5,7,9,11,13,15
/proc/17536/task/17611/stat : 17611 (java) R 17535 17535 16913 0 -1 4202560 1047 0 0 0 29873 1 0 0 20 0 28 0 3566722 14133010432 127675 33554432000 4194304 4196468 140734262655456 140187595152712 140187960087701 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 30916608 140734262658236 140734262658412 140734262658412 140734262661071 0
[pid=17536/tid=17612] ppid=17535 vsize=13801768 CPUtime=298.68 cores=1,3,5,7,9,11,13,15
/proc/17536/task/17612/stat : 17612 (java) R 17535 17535 16913 0 -1 4202560 845 0 0 0 29868 0 0 0 20 0 28 0 3566722 14133010432 127675 33554432000 4194304 4196468 140734262655456 140187594100504 140187960087649 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30916608 140734262658236 140734262658412 140734262658412 140734262661071 0
[pid=17536/tid=17613] ppid=17535 vsize=13801768 CPUtime=297.34 cores=1,3,5,7,9,11,13,15
/proc/17536/task/17613/stat : 17613 (java) R 17535 17535 16913 0 -1 4202560 1567 0 0 0 29733 1 0 0 20 0 28 0 3566722 14133010432 127675 33554432000 4194304 4196468 140734262655456 140187593048376 140187960087677 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 30916608 140734262658236 140734262658412 140734262658412 140734262661071 0
Current children cumulated CPU time (s) 2400.51
Current children cumulated vsize (KiB) 13811280
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 17536 sig 9
??? kill 17535 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 17535 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=2070
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=1035
# CPU time returned by wait4() is 0.003105
# while last known CPU time is 2400.51
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 302.212
CPU time (s): 2400.51
CPU user time (s): 2399.27
CPU system time (s): 1.24
CPU usage (%): 794.313
Max. virtual memory (cumulated for all children) (KiB): 13814940
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.00207
system time used= 0.001035
maximum resident set size= 1388
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 518
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3
involuntary context switches= 1
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.79734 second user time and 4.14546 second system time
The end