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-4246923-1500688937/watcher-4246923-1500688937 -o /tmp/evaluation-result-4246923-1500688937/solver-4246923-1500688937 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node145-1500682809-15227 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 2182755 HOME/instance-4246923-1500688937.xml
pid=30035
running on 8 cores: 0,2,4,6,8,10,12,14
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: 11.70 13.87 14.32 3/273 30038
/proc/meminfo: memFree=26074944/32770624 swapFree=5808/102716
[pid=30038] ppid=30035 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/30038/stat : 30038 (xcsp3-exec) S 30035 30038 15196 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4158782 9740288 346 33554432000 4194304 5098028 140722773907248 140722773905352 140565288637052 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 22368256 140722773910673 140722773910880 140722773910880 140722773913579 0
/proc/30038/statm: 2378 346 289 221 0 87 0
[startup+0.100062 s]
/proc/loadavg: 11.70 13.87 14.32 3/273 30038
/proc/meminfo: memFree=26074944/32770624 swapFree=5808/102716
[pid=30038] ppid=30035 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/30038/stat : 30038 (xcsp3-exec) S 30035 30038 15196 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4158782 9740288 346 33554432000 4194304 5098028 140722773907248 140722773905352 140565288637052 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 22368256 140722773910673 140722773910880 140722773910880 140722773913579 0
/proc/30038/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.20025 s]
/proc/loadavg: 11.70 13.87 14.32 3/273 30038
/proc/meminfo: memFree=26074944/32770624 swapFree=5808/102716
[pid=30038] ppid=30035 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/30038/stat : 30038 (xcsp3-exec) S 30035 30038 15196 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4158782 9740288 346 33554432000 4194304 5098028 140722773907248 140722773905352 140565288637052 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 22368256 140722773910673 140722773910880 140722773910880 140722773913579 0
/proc/30038/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300278 s]
/proc/loadavg: 11.70 13.87 14.32 3/273 30038
/proc/meminfo: memFree=26074944/32770624 swapFree=5808/102716
[pid=30038] ppid=30035 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/30038/stat : 30038 (xcsp3-exec) S 30035 30038 15196 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4158782 9740288 346 33554432000 4194304 5098028 140722773907248 140722773905352 140565288637052 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 22368256 140722773910673 140722773910880 140722773910880 140722773913579 0
/proc/30038/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700196 s]
/proc/loadavg: 11.70 13.87 14.32 3/273 30038
/proc/meminfo: memFree=26074944/32770624 swapFree=5808/102716
[pid=30038] ppid=30035 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/30038/stat : 30038 (xcsp3-exec) S 30035 30038 15196 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4158782 9740288 346 33554432000 4194304 5098028 140722773907248 140722773905352 140565288637052 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 22368256 140722773910673 140722773910880 140722773910880 140722773913579 0
/proc/30038/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50099 s]
/proc/loadavg: 11.17 13.73 14.27 6/294 30059
/proc/meminfo: memFree=25868104/32770624 swapFree=5808/103048
[pid=30038] ppid=30035 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/30038/stat : 30038 (xcsp3-exec) S 30035 30038 15196 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4158782 9740288 346 33554432000 4194304 5098028 140722773907248 140722773905352 140565288637052 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 22368256 140722773910673 140722773910880 140722773910880 140722773913579 0
/proc/30038/statm: 2378 346 289 221 0 87 0
[pid=30039] ppid=30038 vsize=13269256 CPUtime=5.4 cores=0,2,4,6,8,10,12,14
/proc/30039/stat : 30039 (java) S 30038 30038 15196 0 -1 1077944320 20894 0 0 0 515 25 0 0 20 0 20 0 4158782 13587718144 62338 33554432000 4194304 4196468 140725791480448 140725791462992 140147372515063 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 22319104 140725791483068 140725791483244 140725791483244 140725791485903 0
/proc/30039/statm: 3317314 62338 3230 1 0 3304547 0
[pid=30039/tid=30040] ppid=30038 vsize=13269256 CPUtime=1.41 cores=0,2,4,6,8,10,12,14
/proc/30039/task/30040/stat : 30040 (java) R 30038 30038 15196 0 -1 4202560 6691 0 0 0 136 5 0 0 20 0 20 0 4158783 13587718144 62338 33554432000 4194304 4196468 140725791480448 140147376752576 140147015641391 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 22319104 140725791483068 140725791483244 140725791483244 140725791485903 0
[pid=30039/tid=30042] ppid=30038 vsize=13269256 CPUtime=0.03 cores=0,2,4,6,8,10,12,14
/proc/30039/task/30042/stat : 30042 (java) S 30038 30038 15196 0 -1 1077944384 22 0 0 0 2 1 0 0 20 0 20 0 4158784 13587718144 62338 33554432000 4194304 4196468 140725791480448 140146971752720 140147372525269 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22319104 140725791483068 140725791483244 140725791483244 140725791485903 0
[pid=30039/tid=30043] ppid=30038 vsize=13269256 CPUtime=0.04 cores=0,2,4,6,8,10,12,14
/proc/30039/task/30043/stat : 30043 (java) S 30038 30038 15196 0 -1 1077944384 99 0 0 0 2 2 0 0 20 0 20 0 4158784 13587718144 62338 33554432000 4194304 4196468 140725791480448 140146970700176 140147372525269 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 22319104 140725791483068 140725791483244 140725791483244 140725791485903 0
[pid=30039/tid=30044] ppid=30038 vsize=13269256 CPUtime=0.03 cores=0,2,4,6,8,10,12,14
/proc/30039/task/30044/stat : 30044 (java) S 30038 30038 15196 0 -1 1077944384 31 0 0 0 2 1 0 0 20 0 20 0 4158784 13587718144 62338 33554432000 4194304 4196468 140725791480448 140146969647632 140147372525269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22319104 140725791483068 140725791483244 140725791483244 140725791485903 0
[pid=30039/tid=30045] ppid=30038 vsize=13269256 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/30039/task/30045/stat : 30045 (java) S 30038 30038 15196 0 -1 1077944384 19 0 0 0 1 1 0 0 20 0 20 0 4158784 13587718144 62338 33554432000 4194304 4196468 140725791480448 140146968595088 140147372525269 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 22319104 140725791483068 140725791483244 140725791483244 140725791485903 0
[pid=30039/tid=30046] ppid=30038 vsize=13269256 CPUtime=0.03 cores=0,2,4,6,8,10,12,14
/proc/30039/task/30046/stat : 30046 (java) S 30038 30038 15196 0 -1 1077944384 20 0 0 0 2 1 0 0 20 0 20 0 4158784 13587718144 62338 33554432000 4194304 4196468 140725791480448 140146967542544 140147372525269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22319104 140725791483068 140725791483244 140725791483244 140725791485903 0
[pid=30039/tid=30047] ppid=30038 vsize=13269256 CPUtime=0.04 cores=0,2,4,6,8,10,12,14
/proc/30039/task/30047/stat : 30047 (java) S 30038 30038 15196 0 -1 1077944384 27 0 0 0 2 2 0 0 20 0 20 0 4158784 13587718144 62338 33554432000 4194304 4196468 140725791480448 140146966490000 140147372525269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22319104 140725791483068 140725791483244 140725791483244 140725791485903 0
[pid=30039/tid=30048] ppid=30038 vsize=13269256 CPUtime=0.04 cores=0,2,4,6,8,10,12,14
/proc/30039/task/30048/stat : 30048 (java) S 30038 30038 15196 0 -1 1077944384 30 0 0 0 2 2 0 0 20 0 20 0 4158784 13587718144 62338 33554432000 4194304 4196468 140725791480448 140146965437456 140147372525269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22319104 140725791483068 140725791483244 140725791483244 140725791485903 0
[pid=30039/tid=30049] ppid=30038 vsize=13269256 CPUtime=0.03 cores=0,2,4,6,8,10,12,14
/proc/30039/task/30049/stat : 30049 (java) S 30038 30038 15196 0 -1 1077944384 27 0 0 0 2 1 0 0 20 0 20 0 4158784 13587718144 62338 33554432000 4194304 4196468 140725791480448 140146964384912 140147372525269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22319104 140725791483068 140725791483244 140725791483244 140725791485903 0
[pid=30039/tid=30050] ppid=30038 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/30039/task/30050/stat : 30050 (java) S 30038 30038 15196 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 20 0 4158786 13587718144 62338 33554432000 4194304 4196468 140725791480448 140146566379504 140147372526210 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22319104 140725791483068 140725791483244 140725791483244 140725791485903 0
[pid=30039/tid=30051] ppid=30038 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/30039/task/30051/stat : 30051 (java) S 30038 30038 15196 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 4158787 13587718144 62338 33554432000 4194304 4196468 140725791480448 140146565325792 140147372525269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22319104 140725791483068 140725791483244 140725791483244 140725791485903 0
[pid=30039/tid=30052] ppid=30038 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/30039/task/30052/stat : 30052 (java) S 30038 30038 15196 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 4158787 13587718144 62338 33554432000 4194304 4196468 140725791480448 140146564273152 140147372525269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22319104 140725791483068 140725791483244 140725791483244 140725791485903 0
[pid=30039/tid=30053] ppid=30038 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/30039/task/30053/stat : 30053 (java) S 30038 30038 15196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4158791 13587718144 62338 33554432000 4194304 4196468 140725791480448 140146563221712 140147372533659 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 22319104 140725791483068 140725791483244 140725791483244 140725791485903 0
[pid=30039/tid=30054] ppid=30038 vsize=13269256 CPUtime=0.96 cores=0,2,4,6,8,10,12,14
/proc/30039/task/30054/stat : 30054 (java) R 30038 30038 15196 0 -1 4202560 2973 0 0 0 95 1 0 0 20 0 20 0 4158791 13587718144 62338 33554432000 4194304 4196468 140725791480448 140146562159248 140147350537113 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 22319104 140725791483068 140725791483244 140725791483244 140725791485903 0
[pid=30039/tid=30055] ppid=30038 vsize=13269256 CPUtime=1.08 cores=0,2,4,6,8,10,12,14
/proc/30039/task/30055/stat : 30055 (java) R 30038 30038 15196 0 -1 4202560 4691 0 0 0 108 0 0 0 20 0 20 0 4158791 13587718144 62338 33554432000 4194304 4196468 140725791480448 140146561103384 140147357178211 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 22319104 140725791483068 140725791483244 140725791483244 140725791485903 0
[pid=30039/tid=30056] ppid=30038 vsize=13269256 CPUtime=0.95 cores=0,2,4,6,8,10,12,14
/proc/30039/task/30056/stat : 30056 (java) R 30038 30038 15196 0 -1 4202560 2740 0 0 0 94 1 0 0 20 0 20 0 4158791 13587718144 62338 33554432000 4194304 4196468 140725791480448 140146560049088 140147358535103 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 22319104 140725791483068 140725791483244 140725791483244 140725791485903 0
[pid=30039/tid=30057] ppid=30038 vsize=13269256 CPUtime=0.62 cores=0,2,4,6,8,10,12,14
/proc/30039/task/30057/stat : 30057 (java) R 30038 30038 15196 0 -1 4202560 2145 0 0 0 61 1 0 0 20 0 20 0 4158791 13587718144 62338 33554432000 4194304 4196468 140725791480448 140146559009656 140147351983137 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 22319104 140725791483068 140725791483244 140725791483244 140725791485903 0
[pid=30039/tid=30058] ppid=30038 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/30039/task/30058/stat : 30058 (java) S 30038 30038 15196 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4158791 13587718144 62338 33554432000 4194304 4196468 140725791480448 140146557958368 140147372525269 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 22319104 140725791483068 140725791483244 140725791483244 140725791485903 0
[pid=30039/tid=30059] ppid=30038 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/30039/task/30059/stat : 30059 (java) S 30038 30038 15196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4158791 13587718144 62338 33554432000 4194304 4196468 140725791480448 140146556905904 140147372526210 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 22319104 140725791483068 140725791483244 140725791483244 140725791485903 0
Current children cumulated CPU time (s) 5.4
Current children cumulated vsize (KiB) 13278768
[startup+3.10116 s]
/proc/loadavg: 11.17 13.73 14.27 6/294 30059
/proc/meminfo: memFree=25677644/32770624 swapFree=5808/103048
[pid=30038] ppid=30035 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/30038/stat : 30038 (xcsp3-exec) S 30035 30038 15196 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4158782 9740288 346 33554432000 4194304 5098028 140722773907248 140722773905352 140565288637052 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 22368256 140722773910673 140722773910880 140722773910880 140722773913579 0
/proc/30038/statm: 2378 346 289 221 0 87 0
[pid=30039] ppid=30038 vsize=13269256 CPUtime=11.73 cores=0,2,4,6,8,10,12,14
/proc/30039/stat : 30039 (java) S 30038 30038 15196 0 -1 1077944320 26675 0 0 0 1081 92 0 0 20 0 20 0 4158782 13587718144 183387 33554432000 4194304 4196468 140725791480448 140725791462992 140147372515063 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 22319104 140725791483068 140725791483244 140725791483244 140725791485903 0
/proc/30039/statm: 3317314 183387 3258 1 0 3304547 0
[pid=30039/tid=30040] ppid=30038 vsize=13269256 CPUtime=2.81 cores=0,2,4,6,8,10,12,14
/proc/30039/task/30040/stat : 30040 (java) S 30038 30038 15196 0 -1 1077944384 7192 0 0 0 271 10 0 0 20 0 20 0 4158783 13587718144 183387 33554432000 4194304 4196468 140725791480448 140147376753952 140147372525269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22319104 140725791483068 140725791483244 140725791483244 140725791485903 0
[pid=30039/tid=30042] ppid=30038 vsize=13269256 CPUtime=0.19 cores=0,2,4,6,8,10,12,14
/proc/30039/task/30042/stat : 30042 (java) R 30038 30038 15196 0 -1 4202560 122 0 0 0 10 9 0 0 20 0 20 0 4158784 13587718144 183387 33554432000 4194304 4196468 140725791480448 140146971752920 140147357542482 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 22319104 140725791483068 140725791483244 140725791483244 140725791485903 0
[pid=30039/tid=30043] ppid=30038 vsize=13269256 CPUtime=0.18 cores=0,2,4,6,8,10,12,14
/proc/30039/task/30043/stat : 30043 (java) R 30038 30038 15196 0 -1 4202560 180 0 0 0 10 8 0 0 20 0 20 0 4158784 13587718144 183387 33554432000 4194304 4196468 140725791480448 140146970700376 140147357542482 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22319104 140725791483068 140725791483244 140725791483244 140725791485903 0
[pid=30039/tid=30044] ppid=30038 vsize=13269256 CPUtime=0.21 cores=0,2,4,6,8,10,12,14
/proc/30039/task/30044/stat : 30044 (java) R 30038 30038 15196 0 -1 4202560 145 0 0 0 11 10 0 0 20 0 20 0 4158784 13587718144 183387 33554432000 4194304 4196468 140725791480448 140146969647520 140147365614731 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 22319104 140725791483068 140725791483244 140725791483244 140725791485903 0
[pid=30039/tid=30045] ppid=30038 vsize=13269256 CPUtime=0.22 cores=0,2,4,6,8,10,12,14
/proc/30039/task/30045/stat : 30045 (java) R 30038 30038 15196 0 -1 4202560 142 0 0 0 12 10 0 0 20 0 20 0 4158784 13587718144 183387 33554432000 4194304 4196468 140725791480448 140146968595288 140147357542482 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22319104 140725791483068 140725791483244 140725791483244 140725791485903 0
[pid=30039/tid=30046] ppid=30038 vsize=13269256 CPUtime=0.18 cores=0,2,4,6,8,10,12,14
/proc/30039/task/30046/stat : 30046 (java) R 30038 30038 15196 0 -1 4202560 166 0 0 0 11 7 0 0 20 0 20 0 4158784 13587718144 183387 33554432000 4194304 4196468 140725791480448 140146967542744 140147354162634 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 22319104 140725791483068 140725791483244 140725791483244 140725791485903 0
[pid=30039/tid=30047] ppid=30038 vsize=13269256 CPUtime=0.19 cores=0,2,4,6,8,10,12,14
/proc/30039/task/30047/stat : 30047 (java) R 30038 30038 15196 0 -1 4202560 123 0 0 0 10 9 0 0 20 0 20 0 4158784 13587718144 183387 33554432000 4194304 4196468 140725791480448 140146966490200 140147357542440 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 22319104 140725791483068 140725791483244 140725791483244 140725791485903 0
[pid=30039/tid=30048] ppid=30038 vsize=13269256 CPUtime=0.2 cores=0,2,4,6,8,10,12,14
/proc/30039/task/30048/stat : 30048 (java) R 30038 30038 15196 0 -1 4202560 118 0 0 0 10 10 0 0 20 0 20 0 4158784 13587718144 183387 33554432000 4194304 4196468 140725791480448 140146965437656 140147357537184 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 22319104 140725791483068 140725791483244 140725791483244 140725791485903 0
[pid=30039/tid=30049] ppid=30038 vsize=13269256 CPUtime=0.19 cores=0,2,4,6,8,10,12,14
/proc/30039/task/30049/stat : 30049 (java) R 30038 30038 15196 0 -1 4202560 113 0 0 0 11 8 0 0 20 0 20 0 4158784 13587718144 183387 33554432000 4194304 4196468 140725791480448 140146964385112 140147356963278 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 22319104 140725791483068 140725791483244 140725791483244 140725791485903 0
[pid=30039/tid=30050] ppid=30038 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/30039/task/30050/stat : 30050 (java) S 30038 30038 15196 0 -1 1077944384 209 0 0 0 0 0 0 0 20 0 20 0 4158786 13587718144 183387 33554432000 4194304 4196468 140725791480448 140146566378016 140147372525269 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22319104 140725791483068 140725791483244 140725791483244 140725791485903 0
[pid=30039/tid=30051] ppid=30038 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/30039/task/30051/stat : 30051 (java) S 30038 30038 15196 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 4158787 13587718144 183387 33554432000 4194304 4196468 140725791480448 140146565325792 140147372525269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22319104 140725791483068 140725791483244 140725791483244 140725791485903 0
[pid=30039/tid=30052] ppid=30038 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/30039/task/30052/stat : 30052 (java) S 30038 30038 15196 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 4158787 13587718144 183387 33554432000 4194304 4196468 140725791480448 140146564273152 140147372525269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22319104 140725791483068 140725791483244 140725791483244 140725791485903 0
[pid=30039/tid=30053] ppid=30038 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/30039/task/30053/stat : 30053 (java) S 30038 30038 15196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4158791 13587718144 183387 33554432000 4194304 4196468 140725791480448 140146563221712 140147372533659 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 22319104 140725791483068 140725791483244 140725791483244 140725791485903 0
[pid=30039/tid=30054] ppid=30038 vsize=13269256 CPUtime=2.08 cores=0,2,4,6,8,10,12,14
/proc/30039/task/30054/stat : 30054 (java) S 30038 30038 15196 0 -1 1077944384 4692 0 0 0 206 2 0 0 20 0 20 0 4158791 13587718144 183387 33554432000 4194304 4196468 140725791480448 140146562169328 140147372526210 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22319104 140725791483068 140725791483244 140725791483244 140725791485903 0
[pid=30039/tid=30055] ppid=30038 vsize=13269256 CPUtime=2.26 cores=0,2,4,6,8,10,12,14
/proc/30039/task/30055/stat : 30055 (java) S 30038 30038 15196 0 -1 1077944384 5652 0 0 0 226 0 0 0 20 0 20 0 4158791 13587718144 183387 33554432000 4194304 4196468 140725791480448 140146561116784 140147372526210 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 22319104 140725791483068 140725791483244 140725791483244 140725791485903 0
[pid=30039/tid=30056] ppid=30038 vsize=13269256 CPUtime=2.11 cores=0,2,4,6,8,10,12,14
/proc/30039/task/30056/stat : 30056 (java) S 30038 30038 15196 0 -1 1077944384 4211 0 0 0 210 1 0 0 20 0 20 0 4158791 13587718144 183387 33554432000 4194304 4196468 140725791480448 140146560064240 140147372526210 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22319104 140725791483068 140725791483244 140725791483244 140725791485903 0
[pid=30039/tid=30057] ppid=30038 vsize=13269256 CPUtime=0.76 cores=0,2,4,6,8,10,12,14
/proc/30039/task/30057/stat : 30057 (java) S 30038 30038 15196 0 -1 1077944384 2315 0 0 0 75 1 0 0 20 0 20 0 4158791 13587718144 183387 33554432000 4194304 4196468 140725791480448 140146559011696 140147372526210 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 22319104 140725791483068 140725791483244 140725791483244 140725791485903 0
[pid=30039/tid=30058] ppid=30038 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/30039/task/30058/stat : 30058 (java) S 30038 30038 15196 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4158791 13587718144 183387 33554432000 4194304 4196468 140725791480448 140146557958368 140147372525269 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 22319104 140725791483068 140725791483244 140725791483244 140725791485903 0
[pid=30039/tid=30059] ppid=30038 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/30039/task/30059/stat : 30059 (java) S 30038 30038 15196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4158791 13587718144 183387 33554432000 4194304 4196468 140725791480448 140146556905904 140147372526210 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 22319104 140725791483068 140725791483244 140725791483244 140725791485903 0
Current children cumulated CPU time (s) 11.73
Current children cumulated vsize (KiB) 13278768
[startup+6.30122 s]
/proc/loadavg: 11.17 13.73 14.27 3/294 30059
/proc/meminfo: memFree=24654532/32770624 swapFree=5808/103052
[pid=30038] ppid=30035 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/30038/stat : 30038 (xcsp3-exec) S 30035 30038 15196 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4158782 9740288 346 33554432000 4194304 5098028 140722773907248 140722773905352 140565288637052 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 22368256 140722773910673 140722773910880 140722773910880 140722773913579 0
/proc/30038/statm: 2378 346 289 221 0 87 0
[pid=30039] ppid=30038 vsize=13269256 CPUtime=19.41 cores=0,2,4,6,8,10,12,14
/proc/30039/stat : 30039 (java) S 30038 30038 15196 0 -1 1077944320 30497 0 0 0 1614 327 0 0 20 0 20 0 4158782 13587718144 402388 33554432000 4194304 4196468 140725791480448 140725791462992 140147372515063 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 22319104 140725791483068 140725791483244 140725791483244 140725791485903 0
/proc/30039/statm: 3317314 402388 3259 1 0 3304547 0
[pid=30039/tid=30040] ppid=30038 vsize=13269256 CPUtime=5.45 cores=0,2,4,6,8,10,12,14
/proc/30039/task/30040/stat : 30040 (java) R 30038 30038 15196 0 -1 4202560 7776 0 0 0 528 17 0 0 20 0 20 0 4158783 13587718144 402388 33554432000 4194304 4196468 140725791480448 140147376750720 140147012654076 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 22319104 140725791483068 140725791483244 140725791483244 140725791485903 0
[pid=30039/tid=30042] ppid=30038 vsize=13269256 CPUtime=0.73 cores=0,2,4,6,8,10,12,14
/proc/30039/task/30042/stat : 30042 (java) S 30038 30038 15196 0 -1 1077944384 358 0 0 0 37 36 0 0 20 0 20 0 4158784 13587718144 402388 33554432000 4194304 4196468 140725791480448 140146971752720 140147372525269 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 22319104 140725791483068 140725791483244 140725791483244 140725791485903 0
[pid=30039/tid=30043] ppid=30038 vsize=13269256 CPUtime=0.72 cores=0,2,4,6,8,10,12,14
/proc/30039/task/30043/stat : 30043 (java) S 30038 30038 15196 0 -1 1077944384 455 0 0 0 37 35 0 0 20 0 20 0 4158784 13587718144 402388 33554432000 4194304 4196468 140725791480448 140146970700176 140147372525269 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22319104 140725791483068 140725791483244 140725791483244 140725791485903 0
[pid=30039/tid=30044] ppid=30038 vsize=13269256 CPUtime=0.77 cores=0,2,4,6,8,10,12,14
/proc/30039/task/30044/stat : 30044 (java) S 30038 30038 15196 0 -1 1077944384 380 0 0 0 38 39 0 0 20 0 20 0 4158784 13587718144 402388 33554432000 4194304 4196468 140725791480448 140146969647632 140147372525269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22319104 140725791483068 140725791483244 140725791483244 140725791485903 0
[pid=30039/tid=30045] ppid=30038 vsize=13269256 CPUtime=0.78 cores=0,2,4,6,8,10,12,14
/proc/30039/task/30045/stat : 30045 (java) S 30038 30038 15196 0 -1 1077944384 416 0 0 0 39 39 0 0 20 0 20 0 4158784 13587718144 402388 33554432000 4194304 4196468 140725791480448 140146968595088 140147372525269 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22319104 140725791483068 140725791483244 140725791483244 140725791485903 0
[pid=30039/tid=30046] ppid=30038 vsize=13269256 CPUtime=0.75 cores=0,2,4,6,8,10,12,14
/proc/30039/task/30046/stat : 30046 (java) S 30038 30038 15196 0 -1 1077944384 459 0 0 0 39 36 0 0 20 0 20 0 4158784 13587718144 402388 33554432000 4194304 4196468 140725791480448 140146967542544 140147372525269 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 22319104 140725791483068 140725791483244 140725791483244 140725791485903 0
[pid=30039/tid=30047] ppid=30038 vsize=13269256 CPUtime=0.76 cores=0,2,4,6,8,10,12,14
/proc/30039/task/30047/stat : 30047 (java) S 30038 30038 15196 0 -1 1077944384 449 0 0 0 38 38 0 0 20 0 20 0 4158784 13587718144 402388 33554432000 4194304 4196468 140725791480448 140146966490000 140147372525269 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 22319104 140725791483068 140725791483244 140725791483244 140725791485903 0
[pid=30039/tid=30048] ppid=30038 vsize=13269256 CPUtime=0.76 cores=0,2,4,6,8,10,12,14
/proc/30039/task/30048/stat : 30048 (java) S 30038 30038 15196 0 -1 1077944384 394 0 0 0 36 40 0 0 20 0 20 0 4158784 13587718144 402388 33554432000 4194304 4196468 140725791480448 140146965437456 140147372525269 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 22319104 140725791483068 140725791483244 140725791483244 140725791485903 0
[pid=30039/tid=30049] ppid=30038 vsize=13269256 CPUtime=0.74 cores=0,2,4,6,8,10,12,14
/proc/30039/task/30049/stat : 30049 (java) S 30038 30038 15196 0 -1 1077944384 393 0 0 0 38 36 0 0 20 0 20 0 4158784 13587718144 402388 33554432000 4194304 4196468 140725791480448 140146964384912 140147372525269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22319104 140725791483068 140725791483244 140725791483244 140725791485903 0
[pid=30039/tid=30050] ppid=30038 vsize=13269256 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/30039/task/30050/stat : 30050 (java) S 30038 30038 15196 0 -1 1077944384 1104 0 0 0 1 0 0 0 20 0 20 0 4158786 13587718144 402388 33554432000 4194304 4196468 140725791480448 140146566379504 140147372526210 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22319104 140725791483068 140725791483244 140725791483244 140725791485903 0
[pid=30039/tid=30051] ppid=30038 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/30039/task/30051/stat : 30051 (java) S 30038 30038 15196 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 4158787 13587718144 402388 33554432000 4194304 4196468 140725791480448 140146565325792 140147372525269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22319104 140725791483068 140725791483244 140725791483244 140725791485903 0
[pid=30039/tid=30052] ppid=30038 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/30039/task/30052/stat : 30052 (java) S 30038 30038 15196 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 20 0 4158787 13587718144 402388 33554432000 4194304 4196468 140725791480448 140146564273152 140147372525269 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22319104 140725791483068 140725791483244 140725791483244 140725791485903 0
[pid=30039/tid=30053] ppid=30038 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/30039/task/30053/stat : 30053 (java) S 30038 30038 15196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4158791 13587718144 402388 33554432000 4194304 4196468 140725791480448 140146563221712 140147372533659 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 22319104 140725791483068 140725791483244 140725791483244 140725791485903 0
################
# More data... #
################
[pid=30039/tid=30066] ppid=30038 vsize=13801768 CPUtime=268.09 cores=0,2,4,6,8,10,12,14
/proc/30039/task/30066/stat : 30066 (java) R 30038 30038 15196 0 -1 4202560 2310 0 0 0 26808 1 0 0 20 0 28 0 4159801 14133010432 934659 33554432000 4194304 4196468 140725791480448 140146542575368 140147013350357 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 22319104 140725791483068 140725791483244 140725791483244 140725791485903 0
[pid=30039/tid=30067] ppid=30038 vsize=13801768 CPUtime=269.49 cores=0,2,4,6,8,10,12,14
/proc/30039/task/30067/stat : 30067 (java) R 30038 30038 15196 0 -1 4202560 2459 0 0 0 26946 3 0 0 20 0 28 0 4159801 14133010432 934659 33554432000 4194304 4196468 140725791480448 140146541524776 140147012472697 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 22319104 140725791483068 140725791483244 140725791483244 140725791485903 0
Current children cumulated CPU time (s) 2199.24
Current children cumulated vsize (KiB) 13811280
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+307.501 s]
/proc/loadavg: 15.84 14.45 14.33 17/299 30354
/proc/meminfo: memFree=24633768/32770624 swapFree=5808/103564
[pid=30038] ppid=30035 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/30038/stat : 30038 (xcsp3-exec) S 30035 30038 15196 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4158782 9740288 346 33554432000 4194304 5098028 140722773907248 140722773905352 140565288637052 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 22368256 140722773910673 140722773910880 140722773910880 140722773913579 0
/proc/30038/statm: 2378 346 289 221 0 87 0
[pid=30039] ppid=30038 vsize=13801768 CPUtime=2400 cores=0,2,4,6,8,10,12,14
/proc/30039/stat : 30039 (java) S 30038 30038 15196 0 -1 1077944320 122044 0 0 0 239284 716 0 0 20 0 28 0 4158782 14133010432 934659 33554432000 4194304 4196468 140725791480448 140725791462992 140147372515063 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 22319104 140725791483068 140725791483244 140725791483244 140725791485903 0
/proc/30039/statm: 3450442 934659 3295 1 0 3437675 0
[pid=30039/tid=30040] ppid=30038 vsize=13801768 CPUtime=8 cores=0,2,4,6,8,10,12,14
/proc/30039/task/30040/stat : 30040 (java) S 30038 30038 15196 0 -1 1077944384 9034 0 0 0 770 30 0 0 20 0 28 0 4158783 14133010432 934659 33554432000 4194304 4196468 140725791480448 140147376755840 140147372525269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22319104 140725791483068 140725791483244 140725791483244 140725791485903 0
[pid=30039/tid=30042] ppid=30038 vsize=13801768 CPUtime=3.38 cores=0,2,4,6,8,10,12,14
/proc/30039/task/30042/stat : 30042 (java) S 30038 30038 15196 0 -1 1077944384 1805 0 0 0 258 80 0 0 20 0 28 0 4158784 14133010432 934659 33554432000 4194304 4196468 140725791480448 140146971752720 140147372525269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22319104 140725791483068 140725791483244 140725791483244 140725791485903 0
[pid=30039/tid=30043] ppid=30038 vsize=13801768 CPUtime=3.39 cores=0,2,4,6,8,10,12,14
/proc/30039/task/30043/stat : 30043 (java) S 30038 30038 15196 0 -1 1077944384 1920 0 0 0 262 77 0 0 20 0 28 0 4158784 14133010432 934659 33554432000 4194304 4196468 140725791480448 140146970700176 140147372525269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22319104 140725791483068 140725791483244 140725791483244 140725791485903 0
[pid=30039/tid=30044] ppid=30038 vsize=13801768 CPUtime=3.4 cores=0,2,4,6,8,10,12,14
/proc/30039/task/30044/stat : 30044 (java) S 30038 30038 15196 0 -1 1077944384 2207 0 0 0 261 79 0 0 20 0 28 0 4158784 14133010432 934659 33554432000 4194304 4196468 140725791480448 140146969647632 140147372525269 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22319104 140725791483068 140725791483244 140725791483244 140725791485903 0
[pid=30039/tid=30045] ppid=30038 vsize=13801768 CPUtime=3.43 cores=0,2,4,6,8,10,12,14
/proc/30039/task/30045/stat : 30045 (java) S 30038 30038 15196 0 -1 1077944384 1639 0 0 0 265 78 0 0 20 0 28 0 4158784 14133010432 934659 33554432000 4194304 4196468 140725791480448 140146968595088 140147372525269 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 22319104 140725791483068 140725791483244 140725791483244 140725791485903 0
[pid=30039/tid=30046] ppid=30038 vsize=13801768 CPUtime=3.43 cores=0,2,4,6,8,10,12,14
/proc/30039/task/30046/stat : 30046 (java) S 30038 30038 15196 0 -1 1077944384 1959 0 0 0 269 74 0 0 20 0 28 0 4158784 14133010432 934659 33554432000 4194304 4196468 140725791480448 140146967542544 140147372525269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22319104 140725791483068 140725791483244 140725791483244 140725791485903 0
[pid=30039/tid=30047] ppid=30038 vsize=13801768 CPUtime=3.43 cores=0,2,4,6,8,10,12,14
/proc/30039/task/30047/stat : 30047 (java) S 30038 30038 15196 0 -1 1077944384 2086 0 0 0 263 80 0 0 20 0 28 0 4158784 14133010432 934659 33554432000 4194304 4196468 140725791480448 140146966490000 140147372525269 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 22319104 140725791483068 140725791483244 140725791483244 140725791485903 0
[pid=30039/tid=30048] ppid=30038 vsize=13801768 CPUtime=3.42 cores=0,2,4,6,8,10,12,14
/proc/30039/task/30048/stat : 30048 (java) S 30038 30038 15196 0 -1 1077944384 1694 0 0 0 262 80 0 0 20 0 28 0 4158784 14133010432 934659 33554432000 4194304 4196468 140725791480448 140146965437456 140147372525269 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22319104 140725791483068 140725791483244 140725791483244 140725791485903 0
[pid=30039/tid=30049] ppid=30038 vsize=13801768 CPUtime=3.38 cores=0,2,4,6,8,10,12,14
/proc/30039/task/30049/stat : 30049 (java) S 30038 30038 15196 0 -1 1077944384 1779 0 0 0 261 77 0 0 20 0 28 0 4158784 14133010432 934659 33554432000 4194304 4196468 140725791480448 140146964384912 140147372525269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22319104 140725791483068 140725791483244 140725791483244 140725791485903 0
[pid=30039/tid=30050] ppid=30038 vsize=13801768 CPUtime=0.24 cores=0,2,4,6,8,10,12,14
/proc/30039/task/30050/stat : 30050 (java) S 30038 30038 15196 0 -1 1077944384 7182 0 0 0 19 5 0 0 20 0 28 0 4158786 14133010432 934659 33554432000 4194304 4196468 140725791480448 140146566379504 140147372526210 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22319104 140725791483068 140725791483244 140725791483244 140725791485903 0
[pid=30039/tid=30051] ppid=30038 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/30039/task/30051/stat : 30051 (java) S 30038 30038 15196 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 28 0 4158787 14133010432 934659 33554432000 4194304 4196468 140725791480448 140146565325792 140147372525269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22319104 140725791483068 140725791483244 140725791483244 140725791485903 0
[pid=30039/tid=30052] ppid=30038 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/30039/task/30052/stat : 30052 (java) S 30038 30038 15196 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 28 0 4158787 14133010432 934659 33554432000 4194304 4196468 140725791480448 140146564273152 140147372525269 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22319104 140725791483068 140725791483244 140725791483244 140725791485903 0
[pid=30039/tid=30053] ppid=30038 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/30039/task/30053/stat : 30053 (java) S 30038 30038 15196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4158791 14133010432 934659 33554432000 4194304 4196468 140725791480448 140146563221712 140147372533659 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 22319104 140725791483068 140725791483244 140725791483244 140725791485903 0
[pid=30039/tid=30054] ppid=30038 vsize=13801768 CPUtime=4.85 cores=0,2,4,6,8,10,12,14
/proc/30039/task/30054/stat : 30054 (java) S 30038 30038 15196 0 -1 1077944384 16267 0 0 0 482 3 0 0 20 0 28 0 4158791 14133010432 934659 33554432000 4194304 4196468 140725791480448 140146562169328 140147372526210 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 22319104 140725791483068 140725791483244 140725791483244 140725791485903 0
[pid=30039/tid=30055] ppid=30038 vsize=13801768 CPUtime=5.14 cores=0,2,4,6,8,10,12,14
/proc/30039/task/30055/stat : 30055 (java) S 30038 30038 15196 0 -1 1077944384 16560 0 0 0 512 2 0 0 20 0 28 0 4158791 14133010432 934659 33554432000 4194304 4196468 140725791480448 140146561116784 140147372526210 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 22319104 140725791483068 140725791483244 140725791483244 140725791485903 0
[pid=30039/tid=30056] ppid=30038 vsize=13801768 CPUtime=4.64 cores=0,2,4,6,8,10,12,14
/proc/30039/task/30056/stat : 30056 (java) S 30038 30038 15196 0 -1 1077944384 13517 0 0 0 462 2 0 0 20 0 28 0 4158791 14133010432 934659 33554432000 4194304 4196468 140725791480448 140146560064240 140147372526210 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22319104 140725791483068 140725791483244 140725791483244 140725791485903 0
[pid=30039/tid=30057] ppid=30038 vsize=13801768 CPUtime=1.23 cores=0,2,4,6,8,10,12,14
/proc/30039/task/30057/stat : 30057 (java) S 30038 30038 15196 0 -1 1077944384 9530 0 0 0 120 3 0 0 20 0 28 0 4158791 14133010432 934659 33554432000 4194304 4196468 140725791480448 140146559011696 140147372526210 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22319104 140725791483068 140725791483244 140725791483244 140725791485903 0
[pid=30039/tid=30058] ppid=30038 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/30039/task/30058/stat : 30058 (java) S 30038 30038 15196 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4158791 14133010432 934659 33554432000 4194304 4196468 140725791480448 140146557958368 140147372525269 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 22319104 140725791483068 140725791483244 140725791483244 140725791485903 0
[pid=30039/tid=30059] ppid=30038 vsize=13801768 CPUtime=0.17 cores=0,2,4,6,8,10,12,14
/proc/30039/task/30059/stat : 30059 (java) S 30038 30038 15196 0 -1 1077944384 1123 0 0 0 8 9 0 0 20 0 28 0 4158791 14133010432 934659 33554432000 4194304 4196468 140725791480448 140146556905904 140147372526210 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 15 0 0 6293624 6294260 22319104 140725791483068 140725791483244 140725791483244 140725791485903 0
[pid=30039/tid=30060] ppid=30038 vsize=13801768 CPUtime=294.55 cores=0,2,4,6,8,10,12,14
/proc/30039/task/30060/stat : 30060 (java) R 30038 30038 15196 0 -1 4202560 2390 0 0 0 29455 0 0 0 20 0 28 0 4159801 14133010432 934659 33554432000 4194304 4196468 140725791480448 140146548890552 140147018824759 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 22319104 140725791483068 140725791483244 140725791483244 140725791485903 0
[pid=30039/tid=30061] ppid=30038 vsize=13801768 CPUtime=291.32 cores=0,2,4,6,8,10,12,14
/proc/30039/task/30061/stat : 30061 (java) R 30038 30038 15196 0 -1 4202560 2142 0 0 0 29131 1 0 0 20 0 28 0 4159801 14133010432 934659 33554432000 4194304 4196468 140725791480448 140146547839112 140147018826156 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 22319104 140725791483068 140725791483244 140725791483244 140725791485903 0
[pid=30039/tid=30062] ppid=30038 vsize=13801768 CPUtime=292.04 cores=0,2,4,6,8,10,12,14
/proc/30039/task/30062/stat : 30062 (java) R 30038 30038 15196 0 -1 4202560 5447 0 0 0 29201 3 0 0 20 0 28 0 4159801 14133010432 934659 33554432000 4194304 4196468 140725791480448 140146546786584 140147013187893 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 22319104 140725791483068 140725791483244 140725791483244 140725791485903 0
[pid=30039/tid=30063] ppid=30038 vsize=13801768 CPUtime=294.19 cores=0,2,4,6,8,10,12,14
/proc/30039/task/30063/stat : 30063 (java) R 30038 30038 15196 0 -1 4202560 11564 0 0 0 29402 17 0 0 20 0 28 0 4159801 14133010432 934659 33554432000 4194304 4196468 140725791480448 140146545734136 140147018824728 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22319104 140725791483068 140725791483244 140725791483244 140725791485903 0
[pid=30039/tid=30064] ppid=30038 vsize=13801768 CPUtime=294.4 cores=0,2,4,6,8,10,12,14
/proc/30039/task/30064/stat : 30064 (java) R 30038 30038 15196 0 -1 4202560 1353 0 0 0 29440 0 0 0 20 0 28 0 4159801 14133010432 934659 33554432000 4194304 4196468 140725791480448 140146544681480 140147012398698 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 22319104 140725791483068 140725791483244 140725791483244 140725791485903 0
[pid=30039/tid=30065] ppid=30038 vsize=13801768 CPUtime=293.81 cores=0,2,4,6,8,10,12,14
/proc/30039/task/30065/stat : 30065 (java) R 30038 30038 15196 0 -1 4202560 4360 0 0 0 29379 2 0 0 20 0 28 0 4159801 14133010432 934659 33554432000 4194304 4196468 140725791480448 140146543628688 140147013350152 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22319104 140725791483068 140725791483244 140725791483244 140725791485903 0
[pid=30039/tid=30066] ppid=30038 vsize=13801768 CPUtime=293.25 cores=0,2,4,6,8,10,12,14
/proc/30039/task/30066/stat : 30066 (java) R 30038 30038 15196 0 -1 4202560 2482 0 0 0 29324 1 0 0 20 0 28 0 4159801 14133010432 934659 33554432000 4194304 4196468 140725791480448 140146542575384 140147012398471 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 22319104 140725791483068 140725791483244 140725791483244 140725791485903 0
[pid=30039/tid=30067] ppid=30038 vsize=13801768 CPUtime=294.67 cores=0,2,4,6,8,10,12,14
/proc/30039/task/30067/stat : 30067 (java) R 30038 30038 15196 0 -1 4202560 2657 0 0 0 29464 3 0 0 20 0 28 0 4159801 14133010432 934659 33554432000 4194304 4196468 140725791480448 140146541522872 140147012472697 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 22319104 140725791483068 140725791483244 140725791483244 140725791485903 0
Current children cumulated CPU time (s) 2400
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 30039 sig 9
??? kill 30038 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+307.501 s]
/proc/loadavg: 15.84 14.45 14.33 17/299 30354
/proc/meminfo: memFree=24633768/32770624 swapFree=5808/103564
[pid=30038] ppid=30035 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/30038/stat : 30038 (xcsp3-exec) S 30035 30038 15196 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4158782 9740288 346 33554432000 4194304 5098028 140722773907248 140722773905352 140565288637052 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 22368256 140722773910673 140722773910880 140722773910880 140722773913579 0
/proc/30038/statm: 2378 346 289 221 0 87 0
[pid=30039] ppid=30038 vsize=13801768 CPUtime=2400 cores=0,2,4,6,8,10,12,14
/proc/30039/stat : 30039 (java) S 30038 30038 15196 0 -1 1077944320 122044 0 0 0 239284 716 0 0 20 0 28 0 4158782 14133010432 934659 33554432000 4194304 4196468 140725791480448 140725791462992 140147372515063 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 22319104 140725791483068 140725791483244 140725791483244 140725791485903 0
/proc/30039/statm: 3450442 934659 3295 1 0 3437675 0
[pid=30039/tid=30040] ppid=30038 vsize=13801768 CPUtime=8 cores=0,2,4,6,8,10,12,14
/proc/30039/task/30040/stat : 30040 (java) S 30038 30038 15196 0 -1 1077944384 9034 0 0 0 770 30 0 0 20 0 28 0 4158783 14133010432 934659 33554432000 4194304 4196468 140725791480448 140147376755840 140147372525269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22319104 140725791483068 140725791483244 140725791483244 140725791485903 0
[pid=30039/tid=30042] ppid=30038 vsize=13801768 CPUtime=3.38 cores=0,2,4,6,8,10,12,14
/proc/30039/task/30042/stat : 30042 (java) S 30038 30038 15196 0 -1 1077944384 1805 0 0 0 258 80 0 0 20 0 28 0 4158784 14133010432 934659 33554432000 4194304 4196468 140725791480448 140146971752720 140147372525269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22319104 140725791483068 140725791483244 140725791483244 140725791485903 0
[pid=30039/tid=30043] ppid=30038 vsize=13801768 CPUtime=3.39 cores=0,2,4,6,8,10,12,14
/proc/30039/task/30043/stat : 30043 (java) S 30038 30038 15196 0 -1 1077944384 1920 0 0 0 262 77 0 0 20 0 28 0 4158784 14133010432 934659 33554432000 4194304 4196468 140725791480448 140146970700176 140147372525269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22319104 140725791483068 140725791483244 140725791483244 140725791485903 0
[pid=30039/tid=30044] ppid=30038 vsize=13801768 CPUtime=3.4 cores=0,2,4,6,8,10,12,14
/proc/30039/task/30044/stat : 30044 (java) S 30038 30038 15196 0 -1 1077944384 2207 0 0 0 261 79 0 0 20 0 28 0 4158784 14133010432 934659 33554432000 4194304 4196468 140725791480448 140146969647632 140147372525269 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22319104 140725791483068 140725791483244 140725791483244 140725791485903 0
[pid=30039/tid=30045] ppid=30038 vsize=13801768 CPUtime=3.43 cores=0,2,4,6,8,10,12,14
/proc/30039/task/30045/stat : 30045 (java) S 30038 30038 15196 0 -1 1077944384 1639 0 0 0 265 78 0 0 20 0 28 0 4158784 14133010432 934659 33554432000 4194304 4196468 140725791480448 140146968595088 140147372525269 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 22319104 140725791483068 140725791483244 140725791483244 140725791485903 0
[pid=30039/tid=30046] ppid=30038 vsize=13801768 CPUtime=3.43 cores=0,2,4,6,8,10,12,14
/proc/30039/task/30046/stat : 30046 (java) S 30038 30038 15196 0 -1 1077944384 1959 0 0 0 269 74 0 0 20 0 28 0 4158784 14133010432 934659 33554432000 4194304 4196468 140725791480448 140146967542544 140147372525269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22319104 140725791483068 140725791483244 140725791483244 140725791485903 0
[pid=30039/tid=30047] ppid=30038 vsize=13801768 CPUtime=3.43 cores=0,2,4,6,8,10,12,14
/proc/30039/task/30047/stat : 30047 (java) S 30038 30038 15196 0 -1 1077944384 2086 0 0 0 263 80 0 0 20 0 28 0 4158784 14133010432 934659 33554432000 4194304 4196468 140725791480448 140146966490000 140147372525269 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 22319104 140725791483068 140725791483244 140725791483244 140725791485903 0
[pid=30039/tid=30048] ppid=30038 vsize=13801768 CPUtime=3.42 cores=0,2,4,6,8,10,12,14
/proc/30039/task/30048/stat : 30048 (java) S 30038 30038 15196 0 -1 1077944384 1694 0 0 0 262 80 0 0 20 0 28 0 4158784 14133010432 934659 33554432000 4194304 4196468 140725791480448 140146965437456 140147372525269 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22319104 140725791483068 140725791483244 140725791483244 140725791485903 0
[pid=30039/tid=30049] ppid=30038 vsize=13801768 CPUtime=3.38 cores=0,2,4,6,8,10,12,14
/proc/30039/task/30049/stat : 30049 (java) S 30038 30038 15196 0 -1 1077944384 1779 0 0 0 261 77 0 0 20 0 28 0 4158784 14133010432 934659 33554432000 4194304 4196468 140725791480448 140146964384912 140147372525269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22319104 140725791483068 140725791483244 140725791483244 140725791485903 0
[pid=30039/tid=30050] ppid=30038 vsize=13801768 CPUtime=0.24 cores=0,2,4,6,8,10,12,14
/proc/30039/task/30050/stat : 30050 (java) S 30038 30038 15196 0 -1 1077944384 7182 0 0 0 19 5 0 0 20 0 28 0 4158786 14133010432 934659 33554432000 4194304 4196468 140725791480448 140146566379504 140147372526210 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22319104 140725791483068 140725791483244 140725791483244 140725791485903 0
[pid=30039/tid=30051] ppid=30038 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/30039/task/30051/stat : 30051 (java) S 30038 30038 15196 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 28 0 4158787 14133010432 934659 33554432000 4194304 4196468 140725791480448 140146565325792 140147372525269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22319104 140725791483068 140725791483244 140725791483244 140725791485903 0
[pid=30039/tid=30052] ppid=30038 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/30039/task/30052/stat : 30052 (java) S 30038 30038 15196 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 28 0 4158787 14133010432 934659 33554432000 4194304 4196468 140725791480448 140146564273152 140147372525269 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22319104 140725791483068 140725791483244 140725791483244 140725791485903 0
[pid=30039/tid=30053] ppid=30038 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/30039/task/30053/stat : 30053 (java) S 30038 30038 15196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4158791 14133010432 934659 33554432000 4194304 4196468 140725791480448 140146563221712 140147372533659 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 22319104 140725791483068 140725791483244 140725791483244 140725791485903 0
[pid=30039/tid=30054] ppid=30038 vsize=13801768 CPUtime=4.85 cores=0,2,4,6,8,10,12,14
/proc/30039/task/30054/stat : 30054 (java) S 30038 30038 15196 0 -1 1077944384 16267 0 0 0 482 3 0 0 20 0 28 0 4158791 14133010432 934659 33554432000 4194304 4196468 140725791480448 140146562169328 140147372526210 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 22319104 140725791483068 140725791483244 140725791483244 140725791485903 0
[pid=30039/tid=30055] ppid=30038 vsize=13801768 CPUtime=5.14 cores=0,2,4,6,8,10,12,14
/proc/30039/task/30055/stat : 30055 (java) S 30038 30038 15196 0 -1 1077944384 16560 0 0 0 512 2 0 0 20 0 28 0 4158791 14133010432 934659 33554432000 4194304 4196468 140725791480448 140146561116784 140147372526210 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 22319104 140725791483068 140725791483244 140725791483244 140725791485903 0
[pid=30039/tid=30056] ppid=30038 vsize=13801768 CPUtime=4.64 cores=0,2,4,6,8,10,12,14
/proc/30039/task/30056/stat : 30056 (java) S 30038 30038 15196 0 -1 1077944384 13517 0 0 0 462 2 0 0 20 0 28 0 4158791 14133010432 934659 33554432000 4194304 4196468 140725791480448 140146560064240 140147372526210 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22319104 140725791483068 140725791483244 140725791483244 140725791485903 0
[pid=30039/tid=30057] ppid=30038 vsize=13801768 CPUtime=1.23 cores=0,2,4,6,8,10,12,14
/proc/30039/task/30057/stat : 30057 (java) S 30038 30038 15196 0 -1 1077944384 9530 0 0 0 120 3 0 0 20 0 28 0 4158791 14133010432 934659 33554432000 4194304 4196468 140725791480448 140146559011696 140147372526210 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22319104 140725791483068 140725791483244 140725791483244 140725791485903 0
[pid=30039/tid=30058] ppid=30038 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/30039/task/30058/stat : 30058 (java) S 30038 30038 15196 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4158791 14133010432 934659 33554432000 4194304 4196468 140725791480448 140146557958368 140147372525269 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 22319104 140725791483068 140725791483244 140725791483244 140725791485903 0
[pid=30039/tid=30059] ppid=30038 vsize=13801768 CPUtime=0.17 cores=0,2,4,6,8,10,12,14
/proc/30039/task/30059/stat : 30059 (java) S 30038 30038 15196 0 -1 1077944384 1123 0 0 0 8 9 0 0 20 0 28 0 4158791 14133010432 934659 33554432000 4194304 4196468 140725791480448 140146556905904 140147372526210 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 15 0 0 6293624 6294260 22319104 140725791483068 140725791483244 140725791483244 140725791485903 0
[pid=30039/tid=30060] ppid=30038 vsize=13801768 CPUtime=294.55 cores=0,2,4,6,8,10,12,14
/proc/30039/task/30060/stat : 30060 (java) R 30038 30038 15196 0 -1 4202560 2390 0 0 0 29455 0 0 0 20 0 28 0 4159801 14133010432 934659 33554432000 4194304 4196468 140725791480448 140146548890552 140147018824759 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 22319104 140725791483068 140725791483244 140725791483244 140725791485903 0
[pid=30039/tid=30061] ppid=30038 vsize=13801768 CPUtime=291.32 cores=0,2,4,6,8,10,12,14
/proc/30039/task/30061/stat : 30061 (java) R 30038 30038 15196 0 -1 4202560 2142 0 0 0 29131 1 0 0 20 0 28 0 4159801 14133010432 934659 33554432000 4194304 4196468 140725791480448 140146547839112 140147018826156 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 22319104 140725791483068 140725791483244 140725791483244 140725791485903 0
[pid=30039/tid=30062] ppid=30038 vsize=13801768 CPUtime=292.04 cores=0,2,4,6,8,10,12,14
/proc/30039/task/30062/stat : 30062 (java) R 30038 30038 15196 0 -1 4202560 5447 0 0 0 29201 3 0 0 20 0 28 0 4159801 14133010432 934659 33554432000 4194304 4196468 140725791480448 140146546786584 140147013187893 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 22319104 140725791483068 140725791483244 140725791483244 140725791485903 0
[pid=30039/tid=30063] ppid=30038 vsize=13801768 CPUtime=294.19 cores=0,2,4,6,8,10,12,14
/proc/30039/task/30063/stat : 30063 (java) R 30038 30038 15196 0 -1 4202560 11564 0 0 0 29402 17 0 0 20 0 28 0 4159801 14133010432 934659 33554432000 4194304 4196468 140725791480448 140146545734136 140147018824728 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22319104 140725791483068 140725791483244 140725791483244 140725791485903 0
[pid=30039/tid=30064] ppid=30038 vsize=13801768 CPUtime=294.4 cores=0,2,4,6,8,10,12,14
/proc/30039/task/30064/stat : 30064 (java) R 30038 30038 15196 0 -1 4202560 1353 0 0 0 29440 0 0 0 20 0 28 0 4159801 14133010432 934659 33554432000 4194304 4196468 140725791480448 140146544681480 140147012398698 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 22319104 140725791483068 140725791483244 140725791483244 140725791485903 0
[pid=30039/tid=30065] ppid=30038 vsize=13801768 CPUtime=293.81 cores=0,2,4,6,8,10,12,14
/proc/30039/task/30065/stat : 30065 (java) R 30038 30038 15196 0 -1 4202560 4360 0 0 0 29379 2 0 0 20 0 28 0 4159801 14133010432 934659 33554432000 4194304 4196468 140725791480448 140146543628688 140147013350152 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22319104 140725791483068 140725791483244 140725791483244 140725791485903 0
[pid=30039/tid=30066] ppid=30038 vsize=13801768 CPUtime=293.25 cores=0,2,4,6,8,10,12,14
/proc/30039/task/30066/stat : 30066 (java) R 30038 30038 15196 0 -1 4202560 2482 0 0 0 29324 1 0 0 20 0 28 0 4159801 14133010432 934659 33554432000 4194304 4196468 140725791480448 140146542575384 140147012398471 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 22319104 140725791483068 140725791483244 140725791483244 140725791485903 0
[pid=30039/tid=30067] ppid=30038 vsize=13801768 CPUtime=294.67 cores=0,2,4,6,8,10,12,14
/proc/30039/task/30067/stat : 30067 (java) R 30038 30038 15196 0 -1 4202560 2657 0 0 0 29464 3 0 0 20 0 28 0 4159801 14133010432 934659 33554432000 4194304 4196468 140725791480448 140146541522872 140147012472697 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 22319104 140725791483068 140725791483244 140725791483244 140725791485903 0
Current children cumulated CPU time (s) 2400
Current children cumulated vsize (KiB) 13811280
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 30038 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=1050
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=2100
# CPU time returned by wait4() is 0.00315
# while last known CPU time is 2400
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 307.512
CPU time (s): 2400
CPU user time (s): 2392.84
CPU system time (s): 7.16
CPU usage (%): 780.457
Max. virtual memory (cumulated for all children) (KiB): 13811280
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.00105
system time used= 0.0021
maximum resident set size= 1388
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 519
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.45344 second user time and 4.45765 second system time
The end