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-4247747-1500690970/watcher-4247747-1500690970 -o /tmp/evaluation-result-4247747-1500690970/solver-4247747-1500690970 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node130-1500684118-8560 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 2104126629 HOME/instance-4247747-1500690970.xml
pid=9947
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.22 15.46 13.05 10/271 9950
/proc/meminfo: memFree=29671956/32770624 swapFree=5656/286584
[pid=9950] ppid=9947 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9950/stat : 9950 (xcsp3-exec) S 9947 9950 7102 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4364550 9740288 346 33554432000 4194304 5098028 140724427380560 140724427378664 140292715221628 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 19025920 140724427388046 140724427388256 140724427388256 140724427390955 0
/proc/9950/statm: 2378 346 289 221 0 87 0
[startup+0.1001 s]
/proc/loadavg: 16.22 15.46 13.05 10/271 9950
/proc/meminfo: memFree=29671956/32770624 swapFree=5656/286584
[pid=9950] ppid=9947 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9950/stat : 9950 (xcsp3-exec) S 9947 9950 7102 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4364550 9740288 346 33554432000 4194304 5098028 140724427380560 140724427378664 140292715221628 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 19025920 140724427388046 140724427388256 140724427388256 140724427390955 0
/proc/9950/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200272 s]
/proc/loadavg: 16.22 15.46 13.05 10/271 9950
/proc/meminfo: memFree=29671956/32770624 swapFree=5656/286584
[pid=9950] ppid=9947 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9950/stat : 9950 (xcsp3-exec) S 9947 9950 7102 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4364550 9740288 346 33554432000 4194304 5098028 140724427380560 140724427378664 140292715221628 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 19025920 140724427388046 140724427388256 140724427388256 140724427390955 0
/proc/9950/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300248 s]
/proc/loadavg: 16.22 15.46 13.05 10/271 9950
/proc/meminfo: memFree=29671956/32770624 swapFree=5656/286584
[pid=9950] ppid=9947 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9950/stat : 9950 (xcsp3-exec) S 9947 9950 7102 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4364550 9740288 346 33554432000 4194304 5098028 140724427380560 140724427378664 140292715221628 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 19025920 140724427388046 140724427388256 140724427388256 140724427390955 0
/proc/9950/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700205 s]
/proc/loadavg: 16.22 15.46 13.05 10/271 9950
/proc/meminfo: memFree=29671956/32770624 swapFree=5656/286584
[pid=9950] ppid=9947 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9950/stat : 9950 (xcsp3-exec) S 9947 9950 7102 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4364550 9740288 346 33554432000 4194304 5098028 140724427380560 140724427378664 140292715221628 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 19025920 140724427388046 140724427388256 140724427388256 140724427390955 0
/proc/9950/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50118 s]
/proc/loadavg: 16.22 15.46 13.05 13/300 10011
/proc/meminfo: memFree=29472000/32770624 swapFree=5656/286612
[pid=9950] ppid=9947 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9950/stat : 9950 (xcsp3-exec) S 9947 9950 7102 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4364550 9740288 346 33554432000 4194304 5098028 140724427380560 140724427378664 140292715221628 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 19025920 140724427388046 140724427388256 140724427388256 140724427390955 0
/proc/9950/statm: 2378 346 289 221 0 87 0
[pid=9951] ppid=9950 vsize=13806652 CPUtime=6.91 cores=1,3,5,7,9,11,13,15
/proc/9951/stat : 9951 (java) S 9950 9950 7102 0 -1 1077944320 29599 0 0 0 672 19 0 0 20 0 28 0 4364550 14138011648 59696 33554432000 4194304 4196468 140724072219520 140724072202064 139945418137335 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 38526976 140724072228028 140724072228204 140724072228204 140724072230863 0
/proc/9951/statm: 3451663 59696 3234 1 0 3438896 0
[pid=9951/tid=9952] ppid=9950 vsize=13806652 CPUtime=0.8 cores=1,3,5,7,9,11,13,15
/proc/9951/task/9952/stat : 9952 (java) S 9950 9950 7102 0 -1 1077944384 6951 0 0 0 75 5 0 0 20 0 28 0 4364551 14138011648 59696 33554432000 4194304 4196468 140724072219520 139945422378112 139945418147541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38526976 140724072228028 140724072228204 140724072228204 140724072230863 0
[pid=9951/tid=9954] ppid=9950 vsize=13806652 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9951/task/9954/stat : 9954 (java) S 9950 9950 7102 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 28 0 4364552 14138011648 59696 33554432000 4194304 4196468 140724072219520 139945336617232 139945418147541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38526976 140724072228028 140724072228204 140724072228204 140724072230863 0
[pid=9951/tid=9955] ppid=9950 vsize=13806652 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9951/task/9955/stat : 9955 (java) S 9950 9950 7102 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 28 0 4364552 14138011648 59696 33554432000 4194304 4196468 140724072219520 139945016551824 139945418147541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38526976 140724072228028 140724072228204 140724072228204 140724072230863 0
[pid=9951/tid=9956] ppid=9950 vsize=13806652 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9951/task/9956/stat : 9956 (java) S 9950 9950 7102 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 28 0 4364552 14138011648 59696 33554432000 4194304 4196468 140724072219520 139945015499280 139945418147541 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38526976 140724072228028 140724072228204 140724072228204 140724072230863 0
[pid=9951/tid=9957] ppid=9950 vsize=13806652 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9951/task/9957/stat : 9957 (java) S 9950 9950 7102 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 28 0 4364552 14138011648 59696 33554432000 4194304 4196468 140724072219520 139945014446736 139945418147541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38526976 140724072228028 140724072228204 140724072228204 140724072230863 0
[pid=9951/tid=9958] ppid=9950 vsize=13806652 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9951/task/9958/stat : 9958 (java) S 9950 9950 7102 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 28 0 4364552 14138011648 59696 33554432000 4194304 4196468 140724072219520 139945013394192 139945418147541 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 38526976 140724072228028 140724072228204 140724072228204 140724072230863 0
[pid=9951/tid=9959] ppid=9950 vsize=13806652 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9951/task/9959/stat : 9959 (java) S 9950 9950 7102 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 28 0 4364552 14138011648 59696 33554432000 4194304 4196468 140724072219520 139945012341648 139945418147541 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38526976 140724072228028 140724072228204 140724072228204 140724072230863 0
[pid=9951/tid=9960] ppid=9950 vsize=13806652 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9951/task/9960/stat : 9960 (java) S 9950 9950 7102 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 28 0 4364552 14138011648 59696 33554432000 4194304 4196468 140724072219520 139945011289104 139945418147541 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 38526976 140724072228028 140724072228204 140724072228204 140724072230863 0
[pid=9951/tid=9961] ppid=9950 vsize=13806652 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9951/task/9961/stat : 9961 (java) S 9950 9950 7102 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 28 0 4364552 14138011648 59696 33554432000 4194304 4196468 140724072219520 139945010236560 139945418147541 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 38526976 140724072228028 140724072228204 140724072228204 140724072230863 0
[pid=9951/tid=9962] ppid=9950 vsize=13806652 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9951/task/9962/stat : 9962 (java) S 9950 9950 7102 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 28 0 4364554 14138011648 59696 33554432000 4194304 4196468 140724072219520 139944611985392 139945418148482 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38526976 140724072228028 140724072228204 140724072228204 140724072230863 0
[pid=9951/tid=9963] ppid=9950 vsize=13806652 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9951/task/9963/stat : 9963 (java) S 9950 9950 7102 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 4364555 14138011648 59696 33554432000 4194304 4196468 140724072219520 139944610931616 139945418147541 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 38526976 140724072228028 140724072228204 140724072228204 140724072230863 0
[pid=9951/tid=9964] ppid=9950 vsize=13806652 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9951/task/9964/stat : 9964 (java) S 9950 9950 7102 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 4364555 14138011648 59696 33554432000 4194304 4196468 140724072219520 139944609879024 139945418147541 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 38526976 140724072228028 140724072228204 140724072228204 140724072230863 0
[pid=9951/tid=9965] ppid=9950 vsize=13806652 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9951/task/9965/stat : 9965 (java) S 9950 9950 7102 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4364559 14138011648 59696 33554432000 4194304 4196468 140724072219520 139944608827600 139945418155931 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 38526976 140724072228028 140724072228204 140724072228204 140724072230863 0
[pid=9951/tid=9966] ppid=9950 vsize=13806652 CPUtime=0.87 cores=1,3,5,7,9,11,13,15
/proc/9951/task/9966/stat : 9966 (java) R 9950 9950 7102 0 -1 4202560 6096 0 0 0 86 1 0 0 20 0 28 0 4364559 14138011648 59696 33554432000 4194304 4196468 140724072219520 139944607761376 139945397375819 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 38526976 140724072228028 140724072228204 140724072228204 140724072230863 0
[pid=9951/tid=9967] ppid=9950 vsize=13806652 CPUtime=0.79 cores=1,3,5,7,9,11,13,15
/proc/9951/task/9967/stat : 9967 (java) R 9950 9950 7102 0 -1 4202560 3232 0 0 0 79 0 0 0 20 0 28 0 4364559 14138011648 59696 33554432000 4194304 4196468 140724072219520 139944606707880 139945399681944 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 38526976 140724072228028 140724072228204 140724072228204 140724072230863 0
[pid=9951/tid=9968] ppid=9950 vsize=13806652 CPUtime=0.76 cores=1,3,5,7,9,11,13,15
/proc/9951/task/9968/stat : 9968 (java) R 9950 9950 7102 0 -1 4202560 5188 0 0 0 74 2 0 0 20 0 28 0 4364559 14138011648 59696 33554432000 4194304 4196468 140724072219520 139944605656104 139945399681553 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 38526976 140724072228028 140724072228204 140724072228204 140724072230863 0
[pid=9951/tid=9969] ppid=9950 vsize=13806652 CPUtime=0.75 cores=1,3,5,7,9,11,13,15
/proc/9951/task/9969/stat : 9969 (java) S 9950 9950 7102 0 -1 1077944384 4686 0 0 0 74 1 0 0 20 0 28 0 4364559 14138011648 59696 33554432000 4194304 4196468 140724072219520 139944604617584 139945418148482 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 38526976 140724072228028 140724072228204 140724072228204 140724072230863 0
[pid=9951/tid=9970] ppid=9950 vsize=13806652 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9951/task/9970/stat : 9970 (java) S 9950 9950 7102 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4364559 14138011648 59696 33554432000 4194304 4196468 140724072219520 139944603564256 139945418147541 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 38526976 140724072228028 140724072228204 140724072228204 140724072230863 0
[pid=9951/tid=9971] ppid=9950 vsize=13806652 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9951/task/9971/stat : 9971 (java) S 9950 9950 7102 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4364559 14138011648 59696 33554432000 4194304 4196468 140724072219520 139944602511792 139945418148482 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38526976 140724072228028 140724072228204 140724072228204 140724072230863 0
Current children cumulated CPU time (s) 6.91
Current children cumulated vsize (KiB) 13816164
[startup+3.10163 s]
/proc/loadavg: 16.22 15.46 13.05 21/300 10075
/proc/meminfo: memFree=29434272/32770624 swapFree=5656/286612
[pid=9950] ppid=9947 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9950/stat : 9950 (xcsp3-exec) S 9947 9950 7102 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4364550 9740288 346 33554432000 4194304 5098028 140724427380560 140724427378664 140292715221628 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 19025920 140724427388046 140724427388256 140724427388256 140724427390955 0
/proc/9950/statm: 2378 346 289 221 0 87 0
[pid=9951] ppid=9950 vsize=13802796 CPUtime=19.62 cores=1,3,5,7,9,11,13,15
/proc/9951/stat : 9951 (java) S 9950 9950 7102 0 -1 1077944320 33464 0 0 0 1942 20 0 0 20 0 28 0 4364550 14134063104 62350 33554432000 4194304 4196468 140724072219520 140724072202064 139945418137335 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 38526976 140724072228028 140724072228204 140724072228204 140724072230863 0
/proc/9951/statm: 3450699 62350 3257 1 0 3437932 0
[pid=9951/tid=9952] ppid=9950 vsize=13802796 CPUtime=0.8 cores=1,3,5,7,9,11,13,15
/proc/9951/task/9952/stat : 9952 (java) S 9950 9950 7102 0 -1 1077944384 6952 0 0 0 75 5 0 0 20 0 28 0 4364551 14134063104 62350 33554432000 4194304 4196468 140724072219520 139945422378112 139945418147541 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 38526976 140724072228028 140724072228204 140724072228204 140724072230863 0
[pid=9951/tid=9954] ppid=9950 vsize=13802796 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9951/task/9954/stat : 9954 (java) S 9950 9950 7102 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 28 0 4364552 14134063104 62350 33554432000 4194304 4196468 140724072219520 139945336617232 139945418147541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38526976 140724072228028 140724072228204 140724072228204 140724072230863 0
[pid=9951/tid=9955] ppid=9950 vsize=13802796 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9951/task/9955/stat : 9955 (java) S 9950 9950 7102 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 28 0 4364552 14134063104 62350 33554432000 4194304 4196468 140724072219520 139945016551824 139945418147541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38526976 140724072228028 140724072228204 140724072228204 140724072230863 0
[pid=9951/tid=9956] ppid=9950 vsize=13802796 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9951/task/9956/stat : 9956 (java) S 9950 9950 7102 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 28 0 4364552 14134063104 62350 33554432000 4194304 4196468 140724072219520 139945015499280 139945418147541 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38526976 140724072228028 140724072228204 140724072228204 140724072230863 0
[pid=9951/tid=9957] ppid=9950 vsize=13802796 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9951/task/9957/stat : 9957 (java) S 9950 9950 7102 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 28 0 4364552 14134063104 62350 33554432000 4194304 4196468 140724072219520 139945014446736 139945418147541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38526976 140724072228028 140724072228204 140724072228204 140724072230863 0
[pid=9951/tid=9958] ppid=9950 vsize=13802796 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9951/task/9958/stat : 9958 (java) S 9950 9950 7102 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 28 0 4364552 14134063104 62350 33554432000 4194304 4196468 140724072219520 139945013394192 139945418147541 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 38526976 140724072228028 140724072228204 140724072228204 140724072230863 0
[pid=9951/tid=9959] ppid=9950 vsize=13802796 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9951/task/9959/stat : 9959 (java) S 9950 9950 7102 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 28 0 4364552 14134063104 62350 33554432000 4194304 4196468 140724072219520 139945012341648 139945418147541 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38526976 140724072228028 140724072228204 140724072228204 140724072230863 0
[pid=9951/tid=9960] ppid=9950 vsize=13802796 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9951/task/9960/stat : 9960 (java) S 9950 9950 7102 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 28 0 4364552 14134063104 62350 33554432000 4194304 4196468 140724072219520 139945011289104 139945418147541 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 38526976 140724072228028 140724072228204 140724072228204 140724072230863 0
[pid=9951/tid=9961] ppid=9950 vsize=13802796 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9951/task/9961/stat : 9961 (java) S 9950 9950 7102 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 28 0 4364552 14134063104 62350 33554432000 4194304 4196468 140724072219520 139945010236560 139945418147541 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 38526976 140724072228028 140724072228204 140724072228204 140724072230863 0
[pid=9951/tid=9962] ppid=9950 vsize=13802796 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9951/task/9962/stat : 9962 (java) S 9950 9950 7102 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 28 0 4364554 14134063104 62350 33554432000 4194304 4196468 140724072219520 139944611985392 139945418148482 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38526976 140724072228028 140724072228204 140724072228204 140724072230863 0
[pid=9951/tid=9963] ppid=9950 vsize=13802796 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9951/task/9963/stat : 9963 (java) S 9950 9950 7102 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 4364555 14134063104 62350 33554432000 4194304 4196468 140724072219520 139944610931616 139945418147541 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 38526976 140724072228028 140724072228204 140724072228204 140724072230863 0
[pid=9951/tid=9964] ppid=9950 vsize=13802796 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9951/task/9964/stat : 9964 (java) S 9950 9950 7102 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 4364555 14134063104 62350 33554432000 4194304 4196468 140724072219520 139944609879024 139945418147541 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 38526976 140724072228028 140724072228204 140724072228204 140724072230863 0
[pid=9951/tid=9965] ppid=9950 vsize=13802796 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9951/task/9965/stat : 9965 (java) S 9950 9950 7102 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4364559 14134063104 62350 33554432000 4194304 4196468 140724072219520 139944608827600 139945418155931 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 38526976 140724072228028 140724072228204 140724072228204 140724072230863 0
[pid=9951/tid=9966] ppid=9950 vsize=13802796 CPUtime=2.14 cores=1,3,5,7,9,11,13,15
/proc/9951/task/9966/stat : 9966 (java) R 9950 9950 7102 0 -1 4202560 7069 0 0 0 213 1 0 0 20 0 28 0 4364559 14134063104 62350 33554432000 4194304 4196468 140724072219520 139944607761232 139945399682000 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38526976 140724072228028 140724072228204 140724072228204 140724072230863 0
[pid=9951/tid=9967] ppid=9950 vsize=13802796 CPUtime=2.22 cores=1,3,5,7,9,11,13,15
/proc/9951/task/9967/stat : 9967 (java) R 9950 9950 7102 0 -1 4202560 4377 0 0 0 222 0 0 0 20 0 28 0 4364559 14134063104 62350 33554432000 4194304 4196468 140724072219520 139944606709216 139945401548378 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 38526976 140724072228028 140724072228204 140724072228204 140724072230863 0
[pid=9951/tid=9968] ppid=9950 vsize=13802796 CPUtime=1.93 cores=1,3,5,7,9,11,13,15
/proc/9951/task/9968/stat : 9968 (java) R 9950 9950 7102 0 -1 4202560 6064 0 0 0 191 2 0 0 20 0 28 0 4364559 14134063104 62350 33554432000 4194304 4196468 140724072219520 139944605656696 139945395425181 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 38526976 140724072228028 140724072228204 140724072228204 140724072230863 0
[pid=9951/tid=9969] ppid=9950 vsize=13802796 CPUtime=0.82 cores=1,3,5,7,9,11,13,15
/proc/9951/task/9969/stat : 9969 (java) S 9950 9950 7102 0 -1 1077944384 5241 0 0 0 81 1 0 0 20 0 28 0 4364559 14134063104 62350 33554432000 4194304 4196468 140724072219520 139944604617584 139945418148482 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 38526976 140724072228028 140724072228204 140724072228204 140724072230863 0
[pid=9951/tid=9970] ppid=9950 vsize=13802796 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9951/task/9970/stat : 9970 (java) S 9950 9950 7102 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4364559 14134063104 62350 33554432000 4194304 4196468 140724072219520 139944603564256 139945418147541 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 38526976 140724072228028 140724072228204 140724072228204 140724072230863 0
[pid=9951/tid=9971] ppid=9950 vsize=13802796 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9951/task/9971/stat : 9971 (java) S 9950 9950 7102 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4364559 14134063104 62350 33554432000 4194304 4196468 140724072219520 139944602511792 139945418148482 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38526976 140724072228028 140724072228204 140724072228204 140724072230863 0
[pid=9951/tid=10068] ppid=9950 vsize=13802796 CPUtime=0.86 cores=1,3,5,7,9,11,13,15
/proc/9951/task/10068/stat : 10068 (java) R 9950 9950 7102 0 -1 4202560 21 0 0 0 86 0 0 0 20 0 28 0 4364756 14134063104 62350 33554432000 4194304 4196468 140724072219520 139944520452184 139945022773377 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 38526976 140724072228028 140724072228204 140724072228204 140724072230863 0
[pid=9951/tid=10069] ppid=9950 vsize=13802796 CPUtime=0.71 cores=1,3,5,7,9,11,13,15
/proc/9951/task/10069/stat : 10069 (java) R 9950 9950 7102 0 -1 4202560 25 0 0 0 71 0 0 0 20 0 28 0 4364756 14134063104 62350 33554432000 4194304 4196468 140724072219520 139944522558512 139945016588948 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 38526976 140724072228028 140724072228204 140724072228204 140724072230863 0
[pid=9951/tid=10070] ppid=9950 vsize=13802796 CPUtime=0.72 cores=1,3,5,7,9,11,13,15
/proc/9951/task/10070/stat : 10070 (java) R 9950 9950 7102 0 -1 4202560 22 0 0 0 72 0 0 0 20 0 28 0 4364756 14134063104 62350 33554432000 4194304 4196468 140724072219520 139944519398896 139945022773204 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 38526976 140724072228028 140724072228204 140724072228204 140724072230863 0
[pid=9951/tid=10071] ppid=9950 vsize=13802796 CPUtime=0.6 cores=1,3,5,7,9,11,13,15
/proc/9951/task/10071/stat : 10071 (java) R 9950 9950 7102 0 -1 4202560 22 0 0 0 60 0 0 0 20 0 28 0 4364756 14134063104 62350 33554432000 4194304 4196468 140724072219520 139944524664392 139945022082975 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 38526976 140724072228028 140724072228204 140724072228204 140724072230863 0
[pid=9951/tid=10072] ppid=9950 vsize=13802796 CPUtime=0.72 cores=1,3,5,7,9,11,13,15
/proc/9951/task/10072/stat : 10072 (java) R 9950 9950 7102 0 -1 4202560 20 0 0 0 72 0 0 0 20 0 28 0 4364756 14134063104 62350 33554432000 4194304 4196468 140724072219520 139944523611568 139945022774305 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38526976 140724072228028 140724072228204 140724072228204 140724072230863 0
[pid=9951/tid=10073] ppid=9950 vsize=13802796 CPUtime=0.67 cores=1,3,5,7,9,11,13,15
/proc/9951/task/10073/stat : 10073 (java) R 9950 9950 7102 0 -1 4202560 22 0 0 0 67 0 0 0 20 0 28 0 4364756 14134063104 62350 33554432000 4194304 4196468 140724072219520 139944521507632 139945022630508 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 38526976 140724072228028 140724072228204 140724072228204 140724072230863 0
[pid=9951/tid=10074] ppid=9950 vsize=13802796 CPUtime=0.65 cores=1,3,5,7,9,11,13,15
/proc/9951/task/10074/stat : 10074 (java) R 9950 9950 7102 0 -1 4202560 23 0 0 0 65 0 0 0 20 0 28 0 4364756 14134063104 62350 33554432000 4194304 4196468 140724072219520 139944525716824 139945022050688 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38526976 140724072228028 140724072228204 140724072228204 140724072230863 0
[pid=9951/tid=10075] ppid=9950 vsize=13802796 CPUtime=0.6 cores=1,3,5,7,9,11,13,15
/proc/9951/task/10075/stat : 10075 (java) R 9950 9950 7102 0 -1 4202560 17 0 0 0 60 0 0 0 20 0 28 0 4364756 14134063104 62350 33554432000 4194304 4196468 140724072219520 139944518346536 139945402667151 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38526976 140724072228028 140724072228204 140724072228204 140724072230863 0
Current children cumulated CPU time (s) 19.62
Current children cumulated vsize (KiB) 13812308
[startup+6.30162 s]
/proc/loadavg: 16.53 15.53 13.09 18/300 10099
/proc/meminfo: memFree=29425880/32770624 swapFree=5656/286620
[pid=9950] ppid=9947 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9950/stat : 9950 (xcsp3-exec) S 9947 9950 7102 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4364550 9740288 346 33554432000 4194304 5098028 140724427380560 140724427378664 140292715221628 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 19025920 140724427388046 140724427388256 140724427388256 140724427390955 0
/proc/9950/statm: 2378 346 289 221 0 87 0
[pid=9951] ppid=9950 vsize=13802796 CPUtime=44.86 cores=1,3,5,7,9,11,13,15
/proc/9951/stat : 9951 (java) S 9950 9950 7102 0 -1 1077944320 47088 0 0 0 4460 26 0 0 20 0 28 0 4364550 14134063104 65317 33554432000 4194304 4196468 140724072219520 140724072202064 139945418137335 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 38526976 140724072228028 140724072228204 140724072228204 140724072230863 0
/proc/9951/statm: 3450699 65317 3273 1 0 3437932 0
[pid=9951/tid=9952] ppid=9950 vsize=13802796 CPUtime=0.8 cores=1,3,5,7,9,11,13,15
/proc/9951/task/9952/stat : 9952 (java) S 9950 9950 7102 0 -1 1077944384 6953 0 0 0 75 5 0 0 20 0 28 0 4364551 14134063104 65317 33554432000 4194304 4196468 140724072219520 139945422378112 139945418147541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38526976 140724072228028 140724072228204 140724072228204 140724072230863 0
[pid=9951/tid=9954] ppid=9950 vsize=13802796 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9951/task/9954/stat : 9954 (java) S 9950 9950 7102 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 28 0 4364552 14134063104 65317 33554432000 4194304 4196468 140724072219520 139945336617232 139945418147541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38526976 140724072228028 140724072228204 140724072228204 140724072230863 0
[pid=9951/tid=9955] ppid=9950 vsize=13802796 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9951/task/9955/stat : 9955 (java) S 9950 9950 7102 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 28 0 4364552 14134063104 65317 33554432000 4194304 4196468 140724072219520 139945016551824 139945418147541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38526976 140724072228028 140724072228204 140724072228204 140724072230863 0
[pid=9951/tid=9956] ppid=9950 vsize=13802796 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9951/task/9956/stat : 9956 (java) S 9950 9950 7102 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 28 0 4364552 14134063104 65317 33554432000 4194304 4196468 140724072219520 139945015499280 139945418147541 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38526976 140724072228028 140724072228204 140724072228204 140724072230863 0
[pid=9951/tid=9957] ppid=9950 vsize=13802796 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9951/task/9957/stat : 9957 (java) S 9950 9950 7102 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 28 0 4364552 14134063104 65317 33554432000 4194304 4196468 140724072219520 139945014446736 139945418147541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38526976 140724072228028 140724072228204 140724072228204 140724072230863 0
################
# More data... #
################
[pid=9951/tid=10147] ppid=9950 vsize=13868332 CPUtime=103.46 cores=1,3,5,7,9,11,13,15
/proc/9951/task/10147/stat : 10147 (java) R 9950 9950 7102 0 -1 4202560 373 0 0 0 10346 0 0 0 20 0 28 0 4376279 14201171968 66892 33554432000 4194304 4196468 140724072219520 139944519400408 139945025330462 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 38526976 140724072228028 140724072228204 140724072228204 140724072230863 0
[pid=9951/tid=10148] ppid=9950 vsize=13868332 CPUtime=103.61 cores=1,3,5,7,9,11,13,15
/proc/9951/task/10148/stat : 10148 (java) R 9950 9950 7102 0 -1 4202560 1882 0 0 0 10361 0 0 0 20 0 28 0 4376279 14201171968 66892 33554432000 4194304 4196468 140724072219520 139944518348024 139945024528185 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38526976 140724072228028 140724072228204 140724072228204 140724072230863 0
Current children cumulated CPU time (s) 1756.5
Current children cumulated vsize (KiB) 13877844
[startup+282.302 s]
/proc/loadavg: 15.96 15.79 13.82 17/300 10254
/proc/meminfo: memFree=30277172/32770624 swapFree=5656/286968
[pid=9950] ppid=9947 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9950/stat : 9950 (xcsp3-exec) S 9947 9950 7102 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4364550 9740288 346 33554432000 4194304 5098028 140724427380560 140724427378664 140292715221628 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 19025920 140724427388046 140724427388256 140724427388256 140724427390955 0
/proc/9950/statm: 2378 346 289 221 0 87 0
[pid=9951] ppid=9950 vsize=13868332 CPUtime=2229.72 cores=1,3,5,7,9,11,13,15
/proc/9951/stat : 9951 (java) S 9950 9950 7102 0 -1 1077944320 131772 0 0 0 222795 177 0 0 20 0 28 0 4364550 14201171968 79371 33554432000 4194304 4196468 140724072219520 140724072202064 139945418137335 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 38526976 140724072228028 140724072228204 140724072228204 140724072230863 0
/proc/9951/statm: 3467083 79371 3285 1 0 3454316 0
[pid=9951/tid=9952] ppid=9950 vsize=13868332 CPUtime=0.81 cores=1,3,5,7,9,11,13,15
/proc/9951/task/9952/stat : 9952 (java) S 9950 9950 7102 0 -1 1077944384 7505 0 0 0 76 5 0 0 20 0 28 0 4364551 14201171968 79371 33554432000 4194304 4196468 140724072219520 139945422378112 139945418147541 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38526976 140724072228028 140724072228204 140724072228204 140724072230863 0
[pid=9951/tid=9954] ppid=9950 vsize=13868332 CPUtime=0.55 cores=1,3,5,7,9,11,13,15
/proc/9951/task/9954/stat : 9954 (java) S 9950 9950 7102 0 -1 1077944384 4287 0 0 0 47 8 0 0 20 0 28 0 4364552 14201171968 79371 33554432000 4194304 4196468 140724072219520 139945336617232 139945418147541 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 38526976 140724072228028 140724072228204 140724072228204 140724072230863 0
[pid=9951/tid=9955] ppid=9950 vsize=13868332 CPUtime=0.55 cores=1,3,5,7,9,11,13,15
/proc/9951/task/9955/stat : 9955 (java) S 9950 9950 7102 0 -1 1077944384 2103 0 0 0 47 8 0 0 20 0 28 0 4364552 14201171968 79371 33554432000 4194304 4196468 140724072219520 139945016551824 139945418147541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38526976 140724072228028 140724072228204 140724072228204 140724072230863 0
[pid=9951/tid=9956] ppid=9950 vsize=13868332 CPUtime=0.54 cores=1,3,5,7,9,11,13,15
/proc/9951/task/9956/stat : 9956 (java) S 9950 9950 7102 0 -1 1077944384 3876 0 0 0 46 8 0 0 20 0 28 0 4364552 14201171968 79371 33554432000 4194304 4196468 140724072219520 139945015499280 139945418147541 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38526976 140724072228028 140724072228204 140724072228204 140724072230863 0
[pid=9951/tid=9957] ppid=9950 vsize=13868332 CPUtime=0.55 cores=1,3,5,7,9,11,13,15
/proc/9951/task/9957/stat : 9957 (java) S 9950 9950 7102 0 -1 1077944384 1761 0 0 0 48 7 0 0 20 0 28 0 4364552 14201171968 79371 33554432000 4194304 4196468 140724072219520 139945014446736 139945418147541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38526976 140724072228028 140724072228204 140724072228204 140724072230863 0
[pid=9951/tid=9958] ppid=9950 vsize=13868332 CPUtime=0.57 cores=1,3,5,7,9,11,13,15
/proc/9951/task/9958/stat : 9958 (java) S 9950 9950 7102 0 -1 1077944384 1420 0 0 0 48 9 0 0 20 0 28 0 4364552 14201171968 79371 33554432000 4194304 4196468 140724072219520 139945013394192 139945418147541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38526976 140724072228028 140724072228204 140724072228204 140724072230863 0
[pid=9951/tid=9959] ppid=9950 vsize=13868332 CPUtime=0.56 cores=1,3,5,7,9,11,13,15
/proc/9951/task/9959/stat : 9959 (java) S 9950 9950 7102 0 -1 1077944384 2568 0 0 0 47 9 0 0 20 0 28 0 4364552 14201171968 79371 33554432000 4194304 4196468 140724072219520 139945012341648 139945418147541 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 38526976 140724072228028 140724072228204 140724072228204 140724072230863 0
[pid=9951/tid=9960] ppid=9950 vsize=13868332 CPUtime=0.55 cores=1,3,5,7,9,11,13,15
/proc/9951/task/9960/stat : 9960 (java) S 9950 9950 7102 0 -1 1077944384 2625 0 0 0 47 8 0 0 20 0 28 0 4364552 14201171968 79371 33554432000 4194304 4196468 140724072219520 139945011289104 139945418147541 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 38526976 140724072228028 140724072228204 140724072228204 140724072230863 0
[pid=9951/tid=9961] ppid=9950 vsize=13868332 CPUtime=0.55 cores=1,3,5,7,9,11,13,15
/proc/9951/task/9961/stat : 9961 (java) S 9950 9950 7102 0 -1 1077944384 2203 0 0 0 47 8 0 0 20 0 28 0 4364552 14201171968 79371 33554432000 4194304 4196468 140724072219520 139945010236560 139945418147541 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 38526976 140724072228028 140724072228204 140724072228204 140724072230863 0
[pid=9951/tid=9962] ppid=9950 vsize=13868332 CPUtime=1.21 cores=1,3,5,7,9,11,13,15
/proc/9951/task/9962/stat : 9962 (java) S 9950 9950 7102 0 -1 1077944384 6396 0 0 0 54 67 0 0 20 0 28 0 4364554 14201171968 79371 33554432000 4194304 4196468 140724072219520 139944611985392 139945418148482 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38526976 140724072228028 140724072228204 140724072228204 140724072230863 0
[pid=9951/tid=9963] ppid=9950 vsize=13868332 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9951/task/9963/stat : 9963 (java) S 9950 9950 7102 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 28 0 4364555 14201171968 79371 33554432000 4194304 4196468 140724072219520 139944610931616 139945418147541 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 38526976 140724072228028 140724072228204 140724072228204 140724072230863 0
[pid=9951/tid=9964] ppid=9950 vsize=13868332 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9951/task/9964/stat : 9964 (java) S 9950 9950 7102 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 28 0 4364555 14201171968 79371 33554432000 4194304 4196468 140724072219520 139944609879024 139945418147541 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 38526976 140724072228028 140724072228204 140724072228204 140724072230863 0
[pid=9951/tid=9965] ppid=9950 vsize=13868332 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9951/task/9965/stat : 9965 (java) S 9950 9950 7102 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4364559 14201171968 79371 33554432000 4194304 4196468 140724072219520 139944608827600 139945418155931 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 38526976 140724072228028 140724072228204 140724072228204 140724072230863 0
[pid=9951/tid=9966] ppid=9950 vsize=13868332 CPUtime=4.06 cores=1,3,5,7,9,11,13,15
/proc/9951/task/9966/stat : 9966 (java) S 9950 9950 7102 0 -1 1077944384 16805 0 0 0 404 2 0 0 20 0 28 0 4364559 14201171968 79371 33554432000 4194304 4196468 140724072219520 139944607775216 139945418148482 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38526976 140724072228028 140724072228204 140724072228204 140724072230863 0
[pid=9951/tid=9967] ppid=9950 vsize=13868332 CPUtime=4.65 cores=1,3,5,7,9,11,13,15
/proc/9951/task/9967/stat : 9967 (java) S 9950 9950 7102 0 -1 1077944384 16505 0 0 0 463 2 0 0 20 0 28 0 4364559 14201171968 79371 33554432000 4194304 4196468 140724072219520 139944606722672 139945418148482 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 38526976 140724072228028 140724072228204 140724072228204 140724072230863 0
[pid=9951/tid=9968] ppid=9950 vsize=13868332 CPUtime=3.94 cores=1,3,5,7,9,11,13,15
/proc/9951/task/9968/stat : 9968 (java) S 9950 9950 7102 0 -1 1077944384 17291 0 0 0 390 4 0 0 20 0 28 0 4364559 14201171968 79371 33554432000 4194304 4196468 140724072219520 139944605670128 139945418148482 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38526976 140724072228028 140724072228204 140724072228204 140724072230863 0
[pid=9951/tid=9969] ppid=9950 vsize=13868332 CPUtime=1.16 cores=1,3,5,7,9,11,13,15
/proc/9951/task/9969/stat : 9969 (java) S 9950 9950 7102 0 -1 1077944384 13216 0 0 0 113 3 0 0 20 0 28 0 4364559 14201171968 79371 33554432000 4194304 4196468 140724072219520 139944604617584 139945418148482 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38526976 140724072228028 140724072228204 140724072228204 140724072230863 0
[pid=9951/tid=9970] ppid=9950 vsize=13868332 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9951/task/9970/stat : 9970 (java) S 9950 9950 7102 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4364559 14201171968 79371 33554432000 4194304 4196468 140724072219520 139944603564256 139945418147541 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 38526976 140724072228028 140724072228204 140724072228204 140724072230863 0
[pid=9951/tid=9971] ppid=9950 vsize=13868332 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/9951/task/9971/stat : 9971 (java) S 9950 9950 7102 0 -1 1077944384 1894 0 0 0 5 6 0 0 20 0 28 0 4364559 14201171968 79371 33554432000 4194304 4196468 140724072219520 139944602511792 139945418148482 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38526976 140724072228028 140724072228204 140724072228204 140724072230863 0
[pid=9951/tid=10141] ppid=9950 vsize=13868332 CPUtime=162.46 cores=1,3,5,7,9,11,13,15
/proc/9951/task/10141/stat : 10141 (java) R 9950 9950 7102 0 -1 4202560 564 0 0 0 16245 1 0 0 20 0 28 0 4376279 14201171968 79371 33554432000 4194304 4196468 140724072219520 139944520452568 139945025239707 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 38526976 140724072228028 140724072228204 140724072228204 140724072230863 0
[pid=9951/tid=10142] ppid=9950 vsize=13868332 CPUtime=162.02 cores=1,3,5,7,9,11,13,15
/proc/9951/task/10142/stat : 10142 (java) R 9950 9950 7102 0 -1 4202560 727 0 0 0 16201 1 0 0 20 0 28 0 4376279 14201171968 79371 33554432000 4194304 4196468 140724072219520 139944522559304 139945023397506 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 38526976 140724072228028 140724072228204 140724072228204 140724072230863 0
[pid=9951/tid=10143] ppid=9950 vsize=13868332 CPUtime=162.28 cores=1,3,5,7,9,11,13,15
/proc/9951/task/10143/stat : 10143 (java) R 9950 9950 7102 0 -1 4202560 2222 0 0 0 16227 1 0 0 20 0 28 0 4376279 14201171968 79371 33554432000 4194304 4196468 140724072219520 139944525720576 139945023759486 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38526976 140724072228028 140724072228204 140724072228204 140724072230863 0
[pid=9951/tid=10144] ppid=9950 vsize=13868332 CPUtime=162.6 cores=1,3,5,7,9,11,13,15
/proc/9951/task/10144/stat : 10144 (java) R 9950 9950 7102 0 -1 4202560 682 0 0 0 16259 1 0 0 20 0 28 0 4376279 14201171968 79371 33554432000 4194304 4196468 140724072219520 139944598786120 139945024261086 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 38526976 140724072228028 140724072228204 140724072228204 140724072230863 0
[pid=9951/tid=10145] ppid=9950 vsize=13868332 CPUtime=162.34 cores=1,3,5,7,9,11,13,15
/proc/9951/task/10145/stat : 10145 (java) R 9950 9950 7102 0 -1 4202560 868 0 0 0 16234 0 0 0 20 0 28 0 4376279 14201171968 79371 33554432000 4194304 4196468 140724072219520 139944524664712 139945024156648 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 38526976 140724072228028 140724072228204 140724072228204 140724072230863 0
[pid=9951/tid=10146] ppid=9950 vsize=13868332 CPUtime=161.97 cores=1,3,5,7,9,11,13,15
/proc/9951/task/10146/stat : 10146 (java) R 9950 9950 7102 0 -1 4202560 373 0 0 0 16196 1 0 0 20 0 28 0 4376279 14201171968 79371 33554432000 4194304 4196468 140724072219520 139944523613000 139945024156648 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38526976 140724072228028 140724072228204 140724072228204 140724072230863 0
[pid=9951/tid=10147] ppid=9950 vsize=13868332 CPUtime=162.66 cores=1,3,5,7,9,11,13,15
/proc/9951/task/10147/stat : 10147 (java) R 9950 9950 7102 0 -1 4202560 460 0 0 0 16265 1 0 0 20 0 28 0 4376279 14201171968 79371 33554432000 4194304 4196468 140724072219520 139944519400688 139945024260890 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 38526976 140724072228028 140724072228204 140724072228204 140724072230863 0
[pid=9951/tid=10148] ppid=9950 vsize=13868332 CPUtime=162.57 cores=1,3,5,7,9,11,13,15
/proc/9951/task/10148/stat : 10148 (java) R 9950 9950 7102 0 -1 4202560 2153 0 0 0 16256 1 0 0 20 0 28 0 4376279 14201171968 79371 33554432000 4194304 4196468 140724072219520 139944518348520 139945024826211 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38526976 140724072228028 140724072228204 140724072228204 140724072230863 0
Current children cumulated CPU time (s) 2229.72
Current children cumulated vsize (KiB) 13877844
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+304.002 s]
/proc/loadavg: 15.97 15.80 13.88 17/300 10254
/proc/meminfo: memFree=30208968/32770624 swapFree=5656/286988
[pid=9950] ppid=9947 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9950/stat : 9950 (xcsp3-exec) S 9947 9950 7102 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4364550 9740288 346 33554432000 4194304 5098028 140724427380560 140724427378664 140292715221628 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 19025920 140724427388046 140724427388256 140724427388256 140724427390955 0
/proc/9950/statm: 2378 346 289 221 0 87 0
[pid=9951] ppid=9950 vsize=13868332 CPUtime=2400.74 cores=1,3,5,7,9,11,13,15
/proc/9951/stat : 9951 (java) S 9950 9950 7102 0 -1 1077944320 134854 0 0 0 239878 196 0 0 20 0 28 0 4364550 14201171968 97725 33554432000 4194304 4196468 140724072219520 140724072202064 139945418137335 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 38526976 140724072228028 140724072228204 140724072228204 140724072230863 0
/proc/9951/statm: 3467083 97725 3285 1 0 3454316 0
[pid=9951/tid=9952] ppid=9950 vsize=13868332 CPUtime=0.81 cores=1,3,5,7,9,11,13,15
/proc/9951/task/9952/stat : 9952 (java) S 9950 9950 7102 0 -1 1077944384 7505 0 0 0 76 5 0 0 20 0 28 0 4364551 14201171968 97725 33554432000 4194304 4196468 140724072219520 139945422378112 139945418147541 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38526976 140724072228028 140724072228204 140724072228204 140724072230863 0
[pid=9951/tid=9954] ppid=9950 vsize=13868332 CPUtime=0.65 cores=1,3,5,7,9,11,13,15
/proc/9951/task/9954/stat : 9954 (java) S 9950 9950 7102 0 -1 1077944384 4375 0 0 0 56 9 0 0 20 0 28 0 4364552 14201171968 97725 33554432000 4194304 4196468 140724072219520 139945336617232 139945418147541 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 38526976 140724072228028 140724072228204 140724072228204 140724072230863 0
[pid=9951/tid=9955] ppid=9950 vsize=13868332 CPUtime=0.66 cores=1,3,5,7,9,11,13,15
/proc/9951/task/9955/stat : 9955 (java) S 9950 9950 7102 0 -1 1077944384 2573 0 0 0 56 10 0 0 20 0 28 0 4364552 14201171968 97725 33554432000 4194304 4196468 140724072219520 139945016551824 139945418147541 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38526976 140724072228028 140724072228204 140724072228204 140724072230863 0
[pid=9951/tid=9956] ppid=9950 vsize=13868332 CPUtime=0.63 cores=1,3,5,7,9,11,13,15
/proc/9951/task/9956/stat : 9956 (java) S 9950 9950 7102 0 -1 1077944384 3987 0 0 0 54 9 0 0 20 0 28 0 4364552 14201171968 97725 33554432000 4194304 4196468 140724072219520 139945015499280 139945418147541 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38526976 140724072228028 140724072228204 140724072228204 140724072230863 0
[pid=9951/tid=9957] ppid=9950 vsize=13868332 CPUtime=0.64 cores=1,3,5,7,9,11,13,15
/proc/9951/task/9957/stat : 9957 (java) S 9950 9950 7102 0 -1 1077944384 1995 0 0 0 56 8 0 0 20 0 28 0 4364552 14201171968 97725 33554432000 4194304 4196468 140724072219520 139945014446736 139945418147541 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 38526976 140724072228028 140724072228204 140724072228204 140724072230863 0
[pid=9951/tid=9958] ppid=9950 vsize=13868332 CPUtime=0.66 cores=1,3,5,7,9,11,13,15
/proc/9951/task/9958/stat : 9958 (java) S 9950 9950 7102 0 -1 1077944384 1527 0 0 0 56 10 0 0 20 0 28 0 4364552 14201171968 97725 33554432000 4194304 4196468 140724072219520 139945013394192 139945418147541 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38526976 140724072228028 140724072228204 140724072228204 140724072230863 0
[pid=9951/tid=9959] ppid=9950 vsize=13868332 CPUtime=0.66 cores=1,3,5,7,9,11,13,15
/proc/9951/task/9959/stat : 9959 (java) S 9950 9950 7102 0 -1 1077944384 2671 0 0 0 56 10 0 0 20 0 28 0 4364552 14201171968 97725 33554432000 4194304 4196468 140724072219520 139945012341648 139945418147541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38526976 140724072228028 140724072228204 140724072228204 140724072230863 0
[pid=9951/tid=9960] ppid=9950 vsize=13868332 CPUtime=0.65 cores=1,3,5,7,9,11,13,15
/proc/9951/task/9960/stat : 9960 (java) S 9950 9950 7102 0 -1 1077944384 2724 0 0 0 56 9 0 0 20 0 28 0 4364552 14201171968 97725 33554432000 4194304 4196468 140724072219520 139945011289104 139945418147541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38526976 140724072228028 140724072228204 140724072228204 140724072230863 0
[pid=9951/tid=9961] ppid=9950 vsize=13868332 CPUtime=0.65 cores=1,3,5,7,9,11,13,15
/proc/9951/task/9961/stat : 9961 (java) S 9950 9950 7102 0 -1 1077944384 2314 0 0 0 56 9 0 0 20 0 28 0 4364552 14201171968 97725 33554432000 4194304 4196468 140724072219520 139945010236560 139945418147541 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 38526976 140724072228028 140724072228204 140724072228204 140724072230863 0
[pid=9951/tid=9962] ppid=9950 vsize=13868332 CPUtime=1.37 cores=1,3,5,7,9,11,13,15
/proc/9951/task/9962/stat : 9962 (java) S 9950 9950 7102 0 -1 1077944384 6745 0 0 0 62 75 0 0 20 0 28 0 4364554 14201171968 97725 33554432000 4194304 4196468 140724072219520 139944611985392 139945418148482 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38526976 140724072228028 140724072228204 140724072228204 140724072230863 0
[pid=9951/tid=9963] ppid=9950 vsize=13868332 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9951/task/9963/stat : 9963 (java) S 9950 9950 7102 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 28 0 4364555 14201171968 97725 33554432000 4194304 4196468 140724072219520 139944610931616 139945418147541 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 38526976 140724072228028 140724072228204 140724072228204 140724072230863 0
[pid=9951/tid=9964] ppid=9950 vsize=13868332 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9951/task/9964/stat : 9964 (java) S 9950 9950 7102 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 28 0 4364555 14201171968 97725 33554432000 4194304 4196468 140724072219520 139944609879024 139945418147541 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 38526976 140724072228028 140724072228204 140724072228204 140724072230863 0
[pid=9951/tid=9965] ppid=9950 vsize=13868332 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9951/task/9965/stat : 9965 (java) S 9950 9950 7102 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4364559 14201171968 97725 33554432000 4194304 4196468 140724072219520 139944608827600 139945418155931 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 38526976 140724072228028 140724072228204 140724072228204 140724072230863 0
[pid=9951/tid=9966] ppid=9950 vsize=13868332 CPUtime=4.06 cores=1,3,5,7,9,11,13,15
/proc/9951/task/9966/stat : 9966 (java) S 9950 9950 7102 0 -1 1077944384 16807 0 0 0 404 2 0 0 20 0 28 0 4364559 14201171968 97725 33554432000 4194304 4196468 140724072219520 139944607775216 139945418148482 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38526976 140724072228028 140724072228204 140724072228204 140724072230863 0
[pid=9951/tid=9967] ppid=9950 vsize=13868332 CPUtime=4.65 cores=1,3,5,7,9,11,13,15
/proc/9951/task/9967/stat : 9967 (java) S 9950 9950 7102 0 -1 1077944384 16508 0 0 0 463 2 0 0 20 0 28 0 4364559 14201171968 97725 33554432000 4194304 4196468 140724072219520 139944606722672 139945418148482 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 38526976 140724072228028 140724072228204 140724072228204 140724072230863 0
[pid=9951/tid=9968] ppid=9950 vsize=13868332 CPUtime=3.94 cores=1,3,5,7,9,11,13,15
/proc/9951/task/9968/stat : 9968 (java) S 9950 9950 7102 0 -1 1077944384 17293 0 0 0 390 4 0 0 20 0 28 0 4364559 14201171968 97725 33554432000 4194304 4196468 140724072219520 139944605670128 139945418148482 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38526976 140724072228028 140724072228204 140724072228204 140724072230863 0
[pid=9951/tid=9969] ppid=9950 vsize=13868332 CPUtime=1.16 cores=1,3,5,7,9,11,13,15
/proc/9951/task/9969/stat : 9969 (java) S 9950 9950 7102 0 -1 1077944384 13218 0 0 0 113 3 0 0 20 0 28 0 4364559 14201171968 97725 33554432000 4194304 4196468 140724072219520 139944604617584 139945418148482 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38526976 140724072228028 140724072228204 140724072228204 140724072230863 0
[pid=9951/tid=9970] ppid=9950 vsize=13868332 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9951/task/9970/stat : 9970 (java) S 9950 9950 7102 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4364559 14201171968 97725 33554432000 4194304 4196468 140724072219520 139944603564256 139945418147541 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 38526976 140724072228028 140724072228204 140724072228204 140724072230863 0
[pid=9951/tid=9971] ppid=9950 vsize=13868332 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/9951/task/9971/stat : 9971 (java) S 9950 9950 7102 0 -1 1077944384 1913 0 0 0 5 6 0 0 20 0 28 0 4364559 14201171968 97725 33554432000 4194304 4196468 140724072219520 139944602511792 139945418148482 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38526976 140724072228028 140724072228204 140724072228204 140724072230863 0
[pid=9951/tid=10141] ppid=9950 vsize=13868332 CPUtime=183.71 cores=1,3,5,7,9,11,13,15
/proc/9951/task/10141/stat : 10141 (java) R 9950 9950 7102 0 -1 4202560 641 0 0 0 18370 1 0 0 20 0 28 0 4376279 14201171968 97725 33554432000 4194304 4196468 140724072219520 139944520452448 139945023397200 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38526976 140724072228028 140724072228204 140724072228204 140724072230863 0
[pid=9951/tid=10142] ppid=9950 vsize=13868332 CPUtime=183.14 cores=1,3,5,7,9,11,13,15
/proc/9951/task/10142/stat : 10142 (java) R 9950 9950 7102 0 -1 4202560 824 0 0 0 18313 1 0 0 20 0 28 0 4376279 14201171968 97725 33554432000 4194304 4196468 140724072219520 139944522562240 139945024260501 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38526976 140724072228028 140724072228204 140724072228204 140724072230863 0
[pid=9951/tid=10143] ppid=9950 vsize=13868332 CPUtime=183.55 cores=1,3,5,7,9,11,13,15
/proc/9951/task/10143/stat : 10143 (java) R 9950 9950 7102 0 -1 4202560 2736 0 0 0 18354 1 0 0 20 0 28 0 4376279 14201171968 97725 33554432000 4194304 4196468 140724072219520 139944525717384 139945023397765 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 38526976 140724072228028 140724072228204 140724072228204 140724072230863 0
[pid=9951/tid=10144] ppid=9950 vsize=13868332 CPUtime=183.89 cores=1,3,5,7,9,11,13,15
/proc/9951/task/10144/stat : 10144 (java) R 9950 9950 7102 0 -1 4202560 779 0 0 0 18388 1 0 0 20 0 28 0 4376279 14201171968 97725 33554432000 4194304 4196468 140724072219520 139944598786632 139945024156620 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 38526976 140724072228028 140724072228204 140724072228204 140724072230863 0
[pid=9951/tid=10145] ppid=9950 vsize=13868332 CPUtime=183.65 cores=1,3,5,7,9,11,13,15
/proc/9951/task/10145/stat : 10145 (java) R 9950 9950 7102 0 -1 4202560 1018 0 0 0 18365 0 0 0 20 0 28 0 4376279 14201171968 97725 33554432000 4194304 4196468 140724072219520 139944524665032 139945022243300 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 38526976 140724072228028 140724072228204 140724072228204 140724072230863 0
[pid=9951/tid=10146] ppid=9950 vsize=13868332 CPUtime=183.28 cores=1,3,5,7,9,11,13,15
/proc/9951/task/10146/stat : 10146 (java) R 9950 9950 7102 0 -1 4202560 442 0 0 0 18327 1 0 0 20 0 28 0 4376279 14201171968 97725 33554432000 4194304 4196468 140724072219520 139944523612648 139945024827071 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38526976 140724072228028 140724072228204 140724072228204 140724072230863 0
[pid=9951/tid=10147] ppid=9950 vsize=13868332 CPUtime=183.9 cores=1,3,5,7,9,11,13,15
/proc/9951/task/10147/stat : 10147 (java) R 9950 9950 7102 0 -1 4202560 503 0 0 0 18389 1 0 0 20 0 28 0 4376279 14201171968 97725 33554432000 4194304 4196468 140724072219520 139944519400408 139945025333622 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 38526976 140724072228028 140724072228204 140724072228204 140724072230863 0
[pid=9951/tid=10148] ppid=9950 vsize=13868332 CPUtime=183.85 cores=1,3,5,7,9,11,13,15
/proc/9951/task/10148/stat : 10148 (java) R 9950 9950 7102 0 -1 4202560 2488 0 0 0 18383 2 0 0 20 0 28 0 4376279 14201171968 97725 33554432000 4194304 4196468 140724072219520 139944518348408 139945025723799 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 38526976 140724072228028 140724072228204 140724072228204 140724072230863 0
Current children cumulated CPU time (s) 2400.74
Current children cumulated vsize (KiB) 13877844
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 9951 sig 9
??? kill 9950 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 9950 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=2042
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=1021
# CPU time returned by wait4() is 0.003063
# while last known CPU time is 2400.74
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 304.012
CPU time (s): 2400.74
CPU user time (s): 2398.78
CPU system time (s): 1.96
CPU usage (%): 789.685
Max. virtual memory (cumulated for all children) (KiB): 13877844
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.002042
system time used= 0.001021
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 4.12017 second user time and 4.20373 second system time
The end