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-4254977-1501620035/watcher-4254977-1501620035 -o /tmp/evaluation-result-4254977-1501620035/solver-4254977-1501620035 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node129-1501617179-10853 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 1863782008 HOME/instance-4254977-1501620035.xml
pid=13292
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 1.58 1.78 1.83 3/194 13295
/proc/meminfo: memFree=30833952/32770624 swapFree=0/190468
[pid=13295] ppid=13292 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/13295/stat : 13295 (runsolver) D 13292 13295 5091 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 10626550 24240128 107 18446744073709551615 4194304 4338465 140734928270080 140734928267720 139913914479319 0 0 1 24578 18446744071580418449 0 0 17 0 0 0 0 0 0 6438912 6441760 38219776 140734928273500 140734928273990 140734928273990 140734928277450 0
/proc/13295/statm: 5918 107 54 36 0 2156 0
[startup+0.100107 s]
/proc/loadavg: 1.58 1.78 1.83 3/194 13295
/proc/meminfo: memFree=30833952/32770624 swapFree=0/190468
[pid=13295] ppid=13292 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/13295/stat : 13295 (xcsp3-exec) S 13292 13295 5091 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10626550 9740288 345 18446744073709551615 4194304 5098028 140729718191168 140729718189272 139905929028220 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 15204352 140729718194587 140729718194791 140729718194791 140729718198251 0
/proc/13295/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200225 s]
/proc/loadavg: 1.58 1.78 1.83 3/194 13295
/proc/meminfo: memFree=30833952/32770624 swapFree=0/190468
[pid=13295] ppid=13292 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/13295/stat : 13295 (xcsp3-exec) S 13292 13295 5091 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10626550 9740288 345 18446744073709551615 4194304 5098028 140729718191168 140729718189272 139905929028220 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 15204352 140729718194587 140729718194791 140729718194791 140729718198251 0
/proc/13295/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300341 s]
/proc/loadavg: 1.58 1.78 1.83 3/194 13295
/proc/meminfo: memFree=30833952/32770624 swapFree=0/190468
[pid=13295] ppid=13292 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/13295/stat : 13295 (xcsp3-exec) S 13292 13295 5091 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10626550 9740288 345 18446744073709551615 4194304 5098028 140729718191168 140729718189272 139905929028220 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 15204352 140729718194587 140729718194791 140729718194791 140729718198251 0
/proc/13295/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.703744 s]
/proc/loadavg: 1.58 1.78 1.83 3/194 13295
/proc/meminfo: memFree=30833952/32770624 swapFree=0/190468
[pid=13295] ppid=13292 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/13295/stat : 13295 (xcsp3-exec) S 13292 13295 5091 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10626550 9740288 345 18446744073709551615 4194304 5098028 140729718191168 140729718189272 139905929028220 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 15204352 140729718194587 140729718194791 140729718194791 140729718198251 0
/proc/13295/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50152 s]
/proc/loadavg: 1.78 1.82 1.84 5/210 13311
/proc/meminfo: memFree=30744720/32770624 swapFree=0/190492
[pid=13295] ppid=13292 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/13295/stat : 13295 (xcsp3-exec) S 13292 13295 5091 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10626550 9740288 345 18446744073709551615 4194304 5098028 140729718191168 140729718189272 139905929028220 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 15204352 140729718194587 140729718194791 140729718194791 140729718198251 0
/proc/13295/statm: 2378 345 289 221 0 87 0
[pid=13297] ppid=13295 vsize=13980732 CPUtime=3.66 cores=0,2,4,6
/proc/13297/stat : 13297 (java) S 13295 13295 5091 0 -1 1077944320 24990 0 0 0 360 6 0 0 20 0 15 0 10626558 14316269568 32346 18446744073709551615 4194304 4196468 140728674278960 140728674261504 139859701784311 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 32411648 140728674279892 140728674280067 140728674280067 140728674283471 0
/proc/13297/statm: 3495183 32346 3178 1 0 3483484 0
[pid=13297/tid=13298] ppid=13295 vsize=13980732 CPUtime=1.35 cores=0,2,4,6
/proc/13297/task/13298/stat : 13298 (java) R 13295 13295 5091 0 -1 4202560 9139 0 0 0 131 4 0 0 20 0 15 0 10626558 14316269568 32346 18446744073709551615 4194304 4196468 140728674278960 139859706020704 139859322617835 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 32411648 140728674279892 140728674280067 140728674280067 140728674283471 0
[pid=13297/tid=13299] ppid=13295 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/13297/task/13299/stat : 13299 (java) S 13295 13295 5091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10626559 14316269568 32346 18446744073709551615 4194304 4196468 140728674278960 139859643730960 139859701794517 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32411648 140728674279892 140728674280067 140728674280067 140728674283471 0
[pid=13297/tid=13300] ppid=13295 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/13297/task/13300/stat : 13300 (java) S 13295 13295 5091 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10626559 14316269568 32346 18446744073709551615 4194304 4196468 140728674278960 139859642678416 139859701794517 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32411648 140728674279892 140728674280067 140728674280067 140728674283471 0
[pid=13297/tid=13301] ppid=13295 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/13297/task/13301/stat : 13301 (java) S 13295 13295 5091 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10626559 14316269568 32346 18446744073709551615 4194304 4196468 140728674278960 139859641625360 139859701794517 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32411648 140728674279892 140728674280067 140728674280067 140728674283471 0
[pid=13297/tid=13302] ppid=13295 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/13297/task/13302/stat : 13302 (java) S 13295 13295 5091 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10626559 14316269568 32346 18446744073709551615 4194304 4196468 140728674278960 139859640572816 139859701794517 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32411648 140728674279892 140728674280067 140728674280067 140728674283471 0
[pid=13297/tid=13303] ppid=13295 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/13297/task/13303/stat : 13303 (java) S 13295 13295 5091 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 15 0 10626560 14316269568 32346 18446744073709551615 4194304 4196468 140728674278960 139859247356144 139859701795458 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32411648 140728674279892 140728674280067 140728674280067 140728674283471 0
[pid=13297/tid=13304] ppid=13295 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/13297/task/13304/stat : 13304 (java) S 13295 13295 5091 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 10626561 14316269568 32346 18446744073709551615 4194304 4196468 140728674278960 139859246302368 139859701794517 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32411648 140728674279892 140728674280067 140728674280067 140728674283471 0
[pid=13297/tid=13305] ppid=13295 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/13297/task/13305/stat : 13305 (java) S 13295 13295 5091 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 10626561 14316269568 32346 18446744073709551615 4194304 4196468 140728674278960 139859245249264 139859701794517 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32411648 140728674279892 140728674280067 140728674280067 140728674283471 0
[pid=13297/tid=13306] ppid=13295 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/13297/task/13306/stat : 13306 (java) S 13295 13295 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10626563 14316269568 32346 18446744073709551615 4194304 4196468 140728674278960 139859244197840 139859701802907 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32411648 140728674279892 140728674280067 140728674280067 140728674283471 0
[pid=13297/tid=13307] ppid=13295 vsize=13980732 CPUtime=0.93 cores=0,2,4,6
/proc/13297/task/13307/stat : 13307 (java) R 13295 13295 5091 0 -1 4202560 5249 0 0 0 93 0 0 0 20 0 15 0 10626563 14316269568 32346 18446744073709551615 4194304 4196468 140728674278960 139859243145968 139859681501447 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32411648 140728674279892 140728674280067 140728674280067 140728674283471 0
[pid=13297/tid=13308] ppid=13295 vsize=13980732 CPUtime=0.93 cores=0,2,4,6
/proc/13297/task/13308/stat : 13308 (java) R 13295 13295 5091 0 -1 4202560 5998 0 0 0 93 0 0 0 20 0 15 0 10626563 14316269568 32351 18446744073709551615 4194304 4196468 140728674278960 139859242084752 139859686666232 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32411648 140728674279892 140728674280067 140728674280067 140728674283471 0
[pid=13297/tid=13309] ppid=13295 vsize=13980732 CPUtime=0.41 cores=0,2,4,6
/proc/13297/task/13309/stat : 13309 (java) S 13295 13295 5091 0 -1 1077944384 3284 0 0 0 41 0 0 0 20 0 15 0 10626563 14316269568 32351 18446744073709551615 4194304 4196468 140728674278960 139859241040368 139859701795458 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32411648 140728674279892 140728674280067 140728674280067 140728674283471 0
[pid=13297/tid=13310] ppid=13295 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/13297/task/13310/stat : 13310 (java) S 13295 13295 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10626564 14316269568 32351 18446744073709551615 4194304 4196468 140728674278960 139859239988064 139859701794517 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32411648 140728674279892 140728674280067 140728674280067 140728674283471 0
[pid=13297/tid=13311] ppid=13295 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/13297/task/13311/stat : 13311 (java) S 13295 13295 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10626569 14316269568 32351 18446744073709551615 4194304 4196468 140728674278960 139859238935088 139859701795458 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32411648 140728674279892 140728674280067 140728674280067 140728674283471 0
Current children cumulated CPU time (s) 3.66
Current children cumulated vsize (KiB) 13990244
[startup+3.10077 s]
/proc/loadavg: 1.78 1.82 1.84 3/210 13311
/proc/meminfo: memFree=30646356/32770624 swapFree=0/190492
[pid=13295] ppid=13292 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/13295/stat : 13295 (xcsp3-exec) S 13292 13295 5091 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10626550 9740288 345 18446744073709551615 4194304 5098028 140729718191168 140729718189272 139905929028220 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 15204352 140729718194587 140729718194791 140729718194791 140729718198251 0
/proc/13295/statm: 2378 345 289 221 0 87 0
[pid=13297] ppid=13295 vsize=13980732 CPUtime=6.44 cores=0,2,4,6
/proc/13297/stat : 13297 (java) S 13295 13295 5091 0 -1 1077944320 28264 0 0 0 636 8 0 0 20 0 15 0 10626558 14316269568 52662 18446744073709551615 4194304 4196468 140728674278960 140728674261504 139859701784311 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 32411648 140728674279892 140728674280067 140728674280067 140728674283471 0
/proc/13297/statm: 3495183 52662 3208 1 0 3483484 0
[pid=13297/tid=13298] ppid=13295 vsize=13980732 CPUtime=2.95 cores=0,2,4,6
/proc/13297/task/13298/stat : 13298 (java) R 13295 13295 5091 0 -1 4202560 9670 0 0 0 290 5 0 0 20 0 15 0 10626558 14316269568 52662 18446744073709551615 4194304 4196468 140728674278960 139859706023360 139859324301444 0 4 1 16800974 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 32411648 140728674279892 140728674280067 140728674280067 140728674283471 0
[pid=13297/tid=13299] ppid=13295 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/13297/task/13299/stat : 13299 (java) S 13295 13295 5091 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 10626559 14316269568 52662 18446744073709551615 4194304 4196468 140728674278960 139859643730960 139859701794517 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32411648 140728674279892 140728674280067 140728674280067 140728674283471 0
[pid=13297/tid=13300] ppid=13295 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/13297/task/13300/stat : 13300 (java) S 13295 13295 5091 0 -1 1077944384 287 0 0 0 0 0 0 0 20 0 15 0 10626559 14316269568 52662 18446744073709551615 4194304 4196468 140728674278960 139859642678416 139859701794517 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32411648 140728674279892 140728674280067 140728674280067 140728674283471 0
[pid=13297/tid=13301] ppid=13295 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/13297/task/13301/stat : 13301 (java) S 13295 13295 5091 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 10626559 14316269568 52662 18446744073709551615 4194304 4196468 140728674278960 139859641625360 139859701794517 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32411648 140728674279892 140728674280067 140728674280067 140728674283471 0
[pid=13297/tid=13302] ppid=13295 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/13297/task/13302/stat : 13302 (java) S 13295 13295 5091 0 -1 1077944384 418 0 0 0 0 0 0 0 20 0 15 0 10626559 14316269568 52662 18446744073709551615 4194304 4196468 140728674278960 139859640572816 139859701794517 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32411648 140728674279892 140728674280067 140728674280067 140728674283471 0
[pid=13297/tid=13303] ppid=13295 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/13297/task/13303/stat : 13303 (java) S 13295 13295 5091 0 -1 1077944384 211 0 0 0 0 0 0 0 20 0 15 0 10626560 14316269568 52662 18446744073709551615 4194304 4196468 140728674278960 139859247356144 139859701795458 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32411648 140728674279892 140728674280067 140728674280067 140728674283471 0
[pid=13297/tid=13304] ppid=13295 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/13297/task/13304/stat : 13304 (java) S 13295 13295 5091 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 10626561 14316269568 52662 18446744073709551615 4194304 4196468 140728674278960 139859246302368 139859701794517 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32411648 140728674279892 140728674280067 140728674280067 140728674283471 0
[pid=13297/tid=13305] ppid=13295 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/13297/task/13305/stat : 13305 (java) S 13295 13295 5091 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 10626561 14316269568 52662 18446744073709551615 4194304 4196468 140728674278960 139859245249264 139859701794517 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32411648 140728674279892 140728674280067 140728674280067 140728674283471 0
[pid=13297/tid=13306] ppid=13295 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/13297/task/13306/stat : 13306 (java) S 13295 13295 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10626563 14316269568 52662 18446744073709551615 4194304 4196468 140728674278960 139859244197840 139859701802907 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32411648 140728674279892 140728674280067 140728674280067 140728674283471 0
[pid=13297/tid=13307] ppid=13295 vsize=13980732 CPUtime=1.42 cores=0,2,4,6
/proc/13297/task/13307/stat : 13307 (java) S 13295 13295 5091 0 -1 1077944384 5491 0 0 0 142 0 0 0 20 0 15 0 10626563 14316269568 52662 18446744073709551615 4194304 4196468 140728674278960 139859243145968 139859701795458 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32411648 140728674279892 140728674280067 140728674280067 140728674283471 0
[pid=13297/tid=13308] ppid=13295 vsize=13980732 CPUtime=1.53 cores=0,2,4,6
/proc/13297/task/13308/stat : 13308 (java) S 13295 13295 5091 0 -1 1077944384 6502 0 0 0 153 0 0 0 20 0 15 0 10626563 14316269568 52662 18446744073709551615 4194304 4196468 140728674278960 139859242093424 139859701795458 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32411648 140728674279892 140728674280067 140728674280067 140728674283471 0
[pid=13297/tid=13309] ppid=13295 vsize=13980732 CPUtime=0.48 cores=0,2,4,6
/proc/13297/task/13309/stat : 13309 (java) S 13295 13295 5091 0 -1 1077944384 4206 0 0 0 48 0 0 0 20 0 15 0 10626563 14316269568 52662 18446744073709551615 4194304 4196468 140728674278960 139859241040368 139859701795458 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32411648 140728674279892 140728674280067 140728674280067 140728674283471 0
[pid=13297/tid=13310] ppid=13295 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/13297/task/13310/stat : 13310 (java) S 13295 13295 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10626564 14316269568 52662 18446744073709551615 4194304 4196468 140728674278960 139859239988064 139859701794517 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32411648 140728674279892 140728674280067 140728674280067 140728674283471 0
[pid=13297/tid=13311] ppid=13295 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/13297/task/13311/stat : 13311 (java) S 13295 13295 5091 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 10626569 14316269568 52662 18446744073709551615 4194304 4196468 140728674278960 139859238935088 139859701795458 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32411648 140728674279892 140728674280067 140728674280067 140728674283471 0
Current children cumulated CPU time (s) 6.44
Current children cumulated vsize (KiB) 13990244
[startup+6.30078 s]
/proc/loadavg: 1.78 1.82 1.84 3/210 13311
/proc/meminfo: memFree=30628392/32770624 swapFree=0/190500
[pid=13295] ppid=13292 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/13295/stat : 13295 (xcsp3-exec) S 13292 13295 5091 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10626550 9740288 345 18446744073709551615 4194304 5098028 140729718191168 140729718189272 139905929028220 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 15204352 140729718194587 140729718194791 140729718194791 140729718198251 0
/proc/13295/statm: 2378 345 289 221 0 87 0
[pid=13297] ppid=13295 vsize=13980732 CPUtime=9.82 cores=0,2,4,6
/proc/13297/stat : 13297 (java) S 13295 13295 5091 0 -1 1077944320 28640 0 0 0 972 10 0 0 20 0 15 0 10626558 14316269568 53999 18446744073709551615 4194304 4196468 140728674278960 140728674261504 139859701784311 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 32411648 140728674279892 140728674280067 140728674280067 140728674283471 0
/proc/13297/statm: 3495183 53999 3208 1 0 3483484 0
[pid=13297/tid=13298] ppid=13295 vsize=13980732 CPUtime=6.12 cores=0,2,4,6
/proc/13297/task/13298/stat : 13298 (java) R 13295 13295 5091 0 -1 4202560 9687 0 0 0 607 5 0 0 20 0 15 0 10626558 14316269568 53999 18446744073709551615 4194304 4196468 140728674278960 139859706021016 139859322618394 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 32411648 140728674279892 140728674280067 140728674280067 140728674283471 0
[pid=13297/tid=13299] ppid=13295 vsize=13980732 CPUtime=0.01 cores=0,2,4,6
/proc/13297/task/13299/stat : 13299 (java) S 13295 13295 5091 0 -1 1077944384 55 0 0 0 1 0 0 0 20 0 15 0 10626559 14316269568 53999 18446744073709551615 4194304 4196468 140728674278960 139859643730960 139859701794517 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32411648 140728674279892 140728674280067 140728674280067 140728674283471 0
[pid=13297/tid=13300] ppid=13295 vsize=13980732 CPUtime=0.01 cores=0,2,4,6
/proc/13297/task/13300/stat : 13300 (java) S 13295 13295 5091 0 -1 1077944384 296 0 0 0 1 0 0 0 20 0 15 0 10626559 14316269568 53999 18446744073709551615 4194304 4196468 140728674278960 139859642678416 139859701794517 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32411648 140728674279892 140728674280067 140728674280067 140728674283471 0
[pid=13297/tid=13301] ppid=13295 vsize=13980732 CPUtime=0.01 cores=0,2,4,6
/proc/13297/task/13301/stat : 13301 (java) S 13295 13295 5091 0 -1 1077944384 71 0 0 0 1 0 0 0 20 0 15 0 10626559 14316269568 53999 18446744073709551615 4194304 4196468 140728674278960 139859641625360 139859701794517 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32411648 140728674279892 140728674280067 140728674280067 140728674283471 0
[pid=13297/tid=13302] ppid=13295 vsize=13980732 CPUtime=0.01 cores=0,2,4,6
/proc/13297/task/13302/stat : 13302 (java) S 13295 13295 5091 0 -1 1077944384 429 0 0 0 1 0 0 0 20 0 15 0 10626559 14316269568 53999 18446744073709551615 4194304 4196468 140728674278960 139859640572816 139859701794517 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32411648 140728674279892 140728674280067 140728674280067 140728674283471 0
[pid=13297/tid=13303] ppid=13295 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/13297/task/13303/stat : 13303 (java) S 13295 13295 5091 0 -1 1077944384 212 0 0 0 0 0 0 0 20 0 15 0 10626560 14316269568 53999 18446744073709551615 4194304 4196468 140728674278960 139859247356144 139859701795458 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32411648 140728674279892 140728674280067 140728674280067 140728674283471 0
[pid=13297/tid=13304] ppid=13295 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/13297/task/13304/stat : 13304 (java) S 13295 13295 5091 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 10626561 14316269568 53999 18446744073709551615 4194304 4196468 140728674278960 139859246302368 139859701794517 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32411648 140728674279892 140728674280067 140728674280067 140728674283471 0
[pid=13297/tid=13305] ppid=13295 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/13297/task/13305/stat : 13305 (java) S 13295 13295 5091 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 10626561 14316269568 53999 18446744073709551615 4194304 4196468 140728674278960 139859245249264 139859701794517 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32411648 140728674279892 140728674280067 140728674280067 140728674283471 0
[pid=13297/tid=13306] ppid=13295 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/13297/task/13306/stat : 13306 (java) S 13295 13295 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10626563 14316269568 53999 18446744073709551615 4194304 4196468 140728674278960 139859244197840 139859701802907 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32411648 140728674279892 140728674280067 140728674280067 140728674283471 0
[pid=13297/tid=13307] ppid=13295 vsize=13980732 CPUtime=1.46 cores=0,2,4,6
/proc/13297/task/13307/stat : 13307 (java) S 13295 13295 5091 0 -1 1077944384 5507 0 0 0 146 0 0 0 20 0 15 0 10626563 14316269568 53999 18446744073709551615 4194304 4196468 140728674278960 139859243145968 139859701795458 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32411648 140728674279892 140728674280067 140728674280067 140728674283471 0
[pid=13297/tid=13308] ppid=13295 vsize=13980732 CPUtime=1.59 cores=0,2,4,6
/proc/13297/task/13308/stat : 13308 (java) S 13295 13295 5091 0 -1 1077944384 6517 0 0 0 159 0 0 0 20 0 15 0 10626563 14316269568 53999 18446744073709551615 4194304 4196468 140728674278960 139859242093424 139859701795458 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32411648 140728674279892 140728674280067 140728674280067 140728674283471 0
[pid=13297/tid=13309] ppid=13295 vsize=13980732 CPUtime=0.51 cores=0,2,4,6
/proc/13297/task/13309/stat : 13309 (java) S 13295 13295 5091 0 -1 1077944384 4336 0 0 0 51 0 0 0 20 0 15 0 10626563 14316269568 53999 18446744073709551615 4194304 4196468 140728674278960 139859241040368 139859701795458 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32411648 140728674279892 140728674280067 140728674280067 140728674283471 0
[pid=13297/tid=13310] ppid=13295 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/13297/task/13310/stat : 13310 (java) S 13295 13295 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10626564 14316269568 53999 18446744073709551615 4194304 4196468 140728674278960 139859239988064 139859701794517 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32411648 140728674279892 140728674280067 140728674280067 140728674283471 0
[pid=13297/tid=13311] ppid=13295 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/13297/task/13311/stat : 13311 (java) S 13295 13295 5091 0 -1 1077944384 179 0 0 0 0 0 0 0 20 0 15 0 10626569 14316269568 53999 18446744073709551615 4194304 4196468 140728674278960 139859238935088 139859701795458 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32411648 140728674279892 140728674280067 140728674280067 140728674283471 0
Current children cumulated CPU time (s) 9.82
Current children cumulated vsize (KiB) 13990244
[startup+12.7007 s]
/proc/loadavg: 1.73 1.81 1.83 3/210 13311
/proc/meminfo: memFree=30626220/32770624 swapFree=0/190500
[pid=13295] ppid=13292 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/13295/stat : 13295 (xcsp3-exec) S 13292 13295 5091 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10626550 9740288 345 18446744073709551615 4194304 5098028 140729718191168 140729718189272 139905929028220 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 15204352 140729718194587 140729718194791 140729718194791 140729718198251 0
/proc/13295/statm: 2378 345 289 221 0 87 0
[pid=13297] ppid=13295 vsize=13980732 CPUtime=16.82 cores=0,2,4,6
/proc/13297/stat : 13297 (java) S 13295 13295 5091 0 -1 1077944320 35296 0 0 0 1669 13 0 0 20 0 15 0 10626558 14316269568 54261 18446744073709551615 4194304 4196468 140728674278960 140728674261504 139859701784311 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 32411648 140728674279892 140728674280067 140728674280067 140728674283471 0
/proc/13297/statm: 3495183 54261 3219 1 0 3483484 0
[pid=13297/tid=13298] ppid=13295 vsize=13980732 CPUtime=12.48 cores=0,2,4,6
/proc/13297/task/13298/stat : 13298 (java) R 13295 13295 5091 0 -1 4202560 10808 0 0 0 1243 5 0 0 20 0 15 0 10626558 14316269568 54261 18446744073709551615 4194304 4196468 140728674278960 139859706023008 139859323124822 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 32411648 140728674279892 140728674280067 140728674280067 140728674283471 0
[pid=13297/tid=13299] ppid=13295 vsize=13980732 CPUtime=0.04 cores=0,2,4,6
/proc/13297/task/13299/stat : 13299 (java) S 13295 13295 5091 0 -1 1077944384 580 0 0 0 3 1 0 0 20 0 15 0 10626559 14316269568 54261 18446744073709551615 4194304 4196468 140728674278960 139859643730960 139859701794517 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32411648 140728674279892 140728674280067 140728674280067 140728674283471 0
[pid=13297/tid=13300] ppid=13295 vsize=13980732 CPUtime=0.04 cores=0,2,4,6
/proc/13297/task/13300/stat : 13300 (java) S 13295 13295 5091 0 -1 1077944384 400 0 0 0 3 1 0 0 20 0 15 0 10626559 14316269568 54261 18446744073709551615 4194304 4196468 140728674278960 139859642678416 139859701794517 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32411648 140728674279892 140728674280067 140728674280067 140728674283471 0
################
# More data... #
################
[pid=13297/tid=13304] ppid=13295 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/13297/task/13304/stat : 13304 (java) S 13295 13295 5091 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 15 0 10626561 14316269568 239213 18446744073709551615 4194304 4196468 140728674278960 139859246302432 139859701794517 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32411648 140728674279892 140728674280067 140728674280067 140728674283471 0
[pid=13297/tid=13305] ppid=13295 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/13297/task/13305/stat : 13305 (java) S 13295 13295 5091 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 10626561 14316269568 239213 18446744073709551615 4194304 4196468 140728674278960 139859245249264 139859701794517 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32411648 140728674279892 140728674280067 140728674280067 140728674283471 0
[pid=13297/tid=13306] ppid=13295 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/13297/task/13306/stat : 13306 (java) S 13295 13295 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10626563 14316269568 239213 18446744073709551615 4194304 4196468 140728674278960 139859244197840 139859701802907 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32411648 140728674279892 140728674280067 140728674280067 140728674283471 0
[pid=13297/tid=13307] ppid=13295 vsize=13980732 CPUtime=3.37 cores=0,2,4,6
/proc/13297/task/13307/stat : 13307 (java) S 13295 13295 5091 0 -1 1077944384 14684 0 0 0 336 1 0 0 20 0 15 0 10626563 14316269568 239213 18446744073709551615 4194304 4196468 140728674278960 139859243145968 139859701795458 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32411648 140728674279892 140728674280067 140728674280067 140728674283471 0
[pid=13297/tid=13308] ppid=13295 vsize=13980732 CPUtime=4.2 cores=0,2,4,6
/proc/13297/task/13308/stat : 13308 (java) S 13295 13295 5091 0 -1 1077944384 22638 0 0 0 418 2 0 0 20 0 15 0 10626563 14316269568 239213 18446744073709551615 4194304 4196468 140728674278960 139859242093424 139859701795458 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32411648 140728674279892 140728674280067 140728674280067 140728674283471 0
[pid=13297/tid=13309] ppid=13295 vsize=13980732 CPUtime=0.74 cores=0,2,4,6
/proc/13297/task/13309/stat : 13309 (java) S 13295 13295 5091 0 -1 1077944384 9333 0 0 0 73 1 0 0 20 0 15 0 10626563 14316269568 239213 18446744073709551615 4194304 4196468 140728674278960 139859241040368 139859701795458 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32411648 140728674279892 140728674280067 140728674280067 140728674283471 0
[pid=13297/tid=13310] ppid=13295 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/13297/task/13310/stat : 13310 (java) S 13295 13295 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10626564 14316269568 239213 18446744073709551615 4194304 4196468 140728674278960 139859239988064 139859701794517 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32411648 140728674279892 140728674280067 140728674280067 140728674283471 0
[pid=13297/tid=13311] ppid=13295 vsize=13980732 CPUtime=0.04 cores=0,2,4,6
/proc/13297/task/13311/stat : 13311 (java) S 13295 13295 5091 0 -1 1077944384 534 0 0 0 2 2 0 0 20 0 15 0 10626569 14316269568 239213 18446744073709551615 4194304 4196468 140728674278960 139859238935088 139859701795458 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32411648 140728674279892 140728674280067 140728674280067 140728674283471 0
Current children cumulated CPU time (s) 112.8
Current children cumulated vsize (KiB) 13990244
[startup+162.301 s]
/proc/loadavg: 1.56 1.73 1.80 3/211 13395
/proc/meminfo: memFree=30940912/32770624 swapFree=0/190648
[pid=13295] ppid=13292 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/13295/stat : 13295 (xcsp3-exec) S 13292 13295 5091 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10626550 9740288 345 18446744073709551615 4194304 5098028 140729718191168 140729718189272 139905929028220 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 15204352 140729718194587 140729718194791 140729718194791 140729718198251 0
/proc/13295/statm: 2378 345 289 221 0 87 0
[pid=13297] ppid=13295 vsize=13980732 CPUtime=174.22 cores=0,2,4,6
/proc/13297/stat : 13297 (java) S 13295 13295 5091 0 -1 1077944320 85549 0 0 0 17328 94 0 0 20 0 15 0 10626558 14316269568 170791 18446744073709551615 4194304 4196468 140728674278960 140728674261504 139859701784311 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 32411648 140728674279892 140728674280067 140728674280067 140728674283471 0
/proc/13297/statm: 3495183 170791 3252 1 0 3483484 0
[pid=13297/tid=13298] ppid=13295 vsize=13980732 CPUtime=160.8 cores=0,2,4,6
/proc/13297/task/13298/stat : 13298 (java) R 13295 13295 5091 0 -1 4202560 20611 0 0 0 16070 10 0 0 20 0 15 0 10626558 14316269568 170791 18446744073709551615 4194304 4196468 140728674278960 139859706023584 139859322721482 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 32411648 140728674279892 140728674280067 140728674280067 140728674283471 0
[pid=13297/tid=13299] ppid=13295 vsize=13980732 CPUtime=1.17 cores=0,2,4,6
/proc/13297/task/13299/stat : 13299 (java) S 13295 13295 5091 0 -1 1077944384 2129 0 0 0 99 18 0 0 20 0 15 0 10626559 14316269568 170791 18446744073709551615 4194304 4196468 140728674278960 139859643730960 139859701794517 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32411648 140728674279892 140728674280067 140728674280067 140728674283471 0
[pid=13297/tid=13300] ppid=13295 vsize=13980732 CPUtime=1.18 cores=0,2,4,6
/proc/13297/task/13300/stat : 13300 (java) S 13295 13295 5091 0 -1 1077944384 1961 0 0 0 100 18 0 0 20 0 15 0 10626559 14316269568 170791 18446744073709551615 4194304 4196468 140728674278960 139859642678416 139859701794517 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32411648 140728674279892 140728674280067 140728674280067 140728674283471 0
[pid=13297/tid=13301] ppid=13295 vsize=13980732 CPUtime=1.18 cores=0,2,4,6
/proc/13297/task/13301/stat : 13301 (java) S 13295 13295 5091 0 -1 1077944384 1982 0 0 0 100 18 0 0 20 0 15 0 10626559 14316269568 170791 18446744073709551615 4194304 4196468 140728674278960 139859641625360 139859701794517 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32411648 140728674279892 140728674280067 140728674280067 140728674283471 0
[pid=13297/tid=13302] ppid=13295 vsize=13980732 CPUtime=1.19 cores=0,2,4,6
/proc/13297/task/13302/stat : 13302 (java) S 13295 13295 5091 0 -1 1077944384 2219 0 0 0 101 18 0 0 20 0 15 0 10626559 14316269568 170791 18446744073709551615 4194304 4196468 140728674278960 139859640572816 139859701794517 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32411648 140728674279892 140728674280067 140728674280067 140728674283471 0
[pid=13297/tid=13303] ppid=13295 vsize=13980732 CPUtime=0.09 cores=0,2,4,6
/proc/13297/task/13303/stat : 13303 (java) S 13295 13295 5091 0 -1 1077944384 4257 0 0 0 9 0 0 0 20 0 15 0 10626560 14316269568 170791 18446744073709551615 4194304 4196468 140728674278960 139859247356144 139859701795458 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32411648 140728674279892 140728674280067 140728674280067 140728674283471 0
[pid=13297/tid=13304] ppid=13295 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/13297/task/13304/stat : 13304 (java) S 13295 13295 5091 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 15 0 10626561 14316269568 170791 18446744073709551615 4194304 4196468 140728674278960 139859246302432 139859701794517 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32411648 140728674279892 140728674280067 140728674280067 140728674283471 0
[pid=13297/tid=13305] ppid=13295 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/13297/task/13305/stat : 13305 (java) S 13295 13295 5091 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 15 0 10626561 14316269568 170791 18446744073709551615 4194304 4196468 140728674278960 139859245249280 139859701794517 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32411648 140728674279892 140728674280067 140728674280067 140728674283471 0
[pid=13297/tid=13306] ppid=13295 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/13297/task/13306/stat : 13306 (java) S 13295 13295 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10626563 14316269568 170791 18446744073709551615 4194304 4196468 140728674278960 139859244197840 139859701802907 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32411648 140728674279892 140728674280067 140728674280067 140728674283471 0
[pid=13297/tid=13307] ppid=13295 vsize=13980732 CPUtime=3.43 cores=0,2,4,6
/proc/13297/task/13307/stat : 13307 (java) S 13295 13295 5091 0 -1 1077944384 16307 0 0 0 342 1 0 0 20 0 15 0 10626563 14316269568 170791 18446744073709551615 4194304 4196468 140728674278960 139859243145968 139859701795458 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32411648 140728674279892 140728674280067 140728674280067 140728674283471 0
[pid=13297/tid=13308] ppid=13295 vsize=13980732 CPUtime=4.25 cores=0,2,4,6
/proc/13297/task/13308/stat : 13308 (java) S 13295 13295 5091 0 -1 1077944384 24593 0 0 0 423 2 0 0 20 0 15 0 10626563 14316269568 170791 18446744073709551615 4194304 4196468 140728674278960 139859242093424 139859701795458 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32411648 140728674279892 140728674280067 140728674280067 140728674283471 0
[pid=13297/tid=13309] ppid=13295 vsize=13980732 CPUtime=0.74 cores=0,2,4,6
/proc/13297/task/13309/stat : 13309 (java) S 13295 13295 5091 0 -1 1077944384 9540 0 0 0 73 1 0 0 20 0 15 0 10626563 14316269568 170791 18446744073709551615 4194304 4196468 140728674278960 139859241040368 139859701795458 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32411648 140728674279892 140728674280067 140728674280067 140728674283471 0
[pid=13297/tid=13310] ppid=13295 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/13297/task/13310/stat : 13310 (java) S 13295 13295 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10626564 14316269568 170791 18446744073709551615 4194304 4196468 140728674278960 139859239988064 139859701794517 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32411648 140728674279892 140728674280067 140728674280067 140728674283471 0
[pid=13297/tid=13311] ppid=13295 vsize=13980732 CPUtime=0.08 cores=0,2,4,6
/proc/13297/task/13311/stat : 13311 (java) S 13295 13295 5091 0 -1 1077944384 566 0 0 0 4 4 0 0 20 0 15 0 10626569 14316269568 170791 18446744073709551615 4194304 4196468 140728674278960 139859238935088 139859701795458 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32411648 140728674279892 140728674280067 140728674280067 140728674283471 0
Current children cumulated CPU time (s) 174.22
Current children cumulated vsize (KiB) 13990244
[startup+222.307 s]
/proc/loadavg: 1.18 1.60 1.75 3/212 13404
/proc/meminfo: memFree=31190072/32770624 swapFree=0/190684
[pid=13295] ppid=13292 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/13295/stat : 13295 (xcsp3-exec) S 13292 13295 5091 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10626550 9740288 345 18446744073709551615 4194304 5098028 140729718191168 140729718189272 139905929028220 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 15204352 140729718194587 140729718194791 140729718194791 140729718198251 0
/proc/13295/statm: 2378 345 289 221 0 87 0
[pid=13297] ppid=13295 vsize=13980732 CPUtime=235.71 cores=0,2,4,6
/proc/13297/stat : 13297 (java) S 13295 13295 5091 0 -1 1077944320 91830 0 0 0 23474 97 0 0 20 0 15 0 10626558 14316269568 119305 18446744073709551615 4194304 4196468 140728674278960 140728674261504 139859701784311 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 32411648 140728674279892 140728674280067 140728674280067 140728674283471 0
/proc/13297/statm: 3495183 119305 3252 1 0 3483484 0
[pid=13297/tid=13298] ppid=13295 vsize=13980732 CPUtime=220.29 cores=0,2,4,6
/proc/13297/task/13298/stat : 13298 (java) R 13295 13295 5091 0 -1 4202560 21947 0 0 0 22019 10 0 0 20 0 15 0 10626558 14316269568 119305 18446744073709551615 4194304 4196468 140728674278960 139859706023536 139859325918154 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 32411648 140728674279892 140728674280067 140728674280067 140728674283471 0
[pid=13297/tid=13299] ppid=13295 vsize=13980732 CPUtime=1.66 cores=0,2,4,6
/proc/13297/task/13299/stat : 13299 (java) S 13295 13295 5091 0 -1 1077944384 2464 0 0 0 147 19 0 0 20 0 15 0 10626559 14316269568 119305 18446744073709551615 4194304 4196468 140728674278960 139859643730960 139859701794517 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32411648 140728674279892 140728674280067 140728674280067 140728674283471 0
[pid=13297/tid=13300] ppid=13295 vsize=13980732 CPUtime=1.66 cores=0,2,4,6
/proc/13297/task/13300/stat : 13300 (java) S 13295 13295 5091 0 -1 1077944384 2166 0 0 0 148 18 0 0 20 0 15 0 10626559 14316269568 119305 18446744073709551615 4194304 4196468 140728674278960 139859642678416 139859701794517 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32411648 140728674279892 140728674280067 140728674280067 140728674283471 0
[pid=13297/tid=13301] ppid=13295 vsize=13980732 CPUtime=1.66 cores=0,2,4,6
/proc/13297/task/13301/stat : 13301 (java) S 13295 13295 5091 0 -1 1077944384 2399 0 0 0 148 18 0 0 20 0 15 0 10626559 14316269568 119305 18446744073709551615 4194304 4196468 140728674278960 139859641625360 139859701794517 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32411648 140728674279892 140728674280067 140728674280067 140728674283471 0
[pid=13297/tid=13302] ppid=13295 vsize=13980732 CPUtime=1.67 cores=0,2,4,6
/proc/13297/task/13302/stat : 13302 (java) S 13295 13295 5091 0 -1 1077944384 2728 0 0 0 149 18 0 0 20 0 15 0 10626559 14316269568 119305 18446744073709551615 4194304 4196468 140728674278960 139859640572816 139859701794517 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32411648 140728674279892 140728674280067 140728674280067 140728674283471 0
[pid=13297/tid=13303] ppid=13295 vsize=13980732 CPUtime=0.13 cores=0,2,4,6
/proc/13297/task/13303/stat : 13303 (java) S 13295 13295 5091 0 -1 1077944384 7102 0 0 0 12 1 0 0 20 0 15 0 10626560 14316269568 119305 18446744073709551615 4194304 4196468 140728674278960 139859247356144 139859701795458 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32411648 140728674279892 140728674280067 140728674280067 140728674283471 0
[pid=13297/tid=13304] ppid=13295 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/13297/task/13304/stat : 13304 (java) S 13295 13295 5091 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 15 0 10626561 14316269568 119305 18446744073709551615 4194304 4196468 140728674278960 139859246302432 139859701794517 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32411648 140728674279892 140728674280067 140728674280067 140728674283471 0
[pid=13297/tid=13305] ppid=13295 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/13297/task/13305/stat : 13305 (java) S 13295 13295 5091 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 15 0 10626561 14316269568 119305 18446744073709551615 4194304 4196468 140728674278960 139859245249280 139859701794517 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32411648 140728674279892 140728674280067 140728674280067 140728674283471 0
[pid=13297/tid=13306] ppid=13295 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/13297/task/13306/stat : 13306 (java) S 13295 13295 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10626563 14316269568 119305 18446744073709551615 4194304 4196468 140728674278960 139859244197840 139859701802907 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32411648 140728674279892 140728674280067 140728674280067 140728674283471 0
[pid=13297/tid=13307] ppid=13295 vsize=13980732 CPUtime=3.43 cores=0,2,4,6
/proc/13297/task/13307/stat : 13307 (java) S 13295 13295 5091 0 -1 1077944384 16310 0 0 0 342 1 0 0 20 0 15 0 10626563 14316269568 119305 18446744073709551615 4194304 4196468 140728674278960 139859243145968 139859701795458 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32411648 140728674279892 140728674280067 140728674280067 140728674283471 0
[pid=13297/tid=13308] ppid=13295 vsize=13980732 CPUtime=4.25 cores=0,2,4,6
/proc/13297/task/13308/stat : 13308 (java) S 13295 13295 5091 0 -1 1077944384 24610 0 0 0 423 2 0 0 20 0 15 0 10626563 14316269568 119305 18446744073709551615 4194304 4196468 140728674278960 139859242093424 139859701795458 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32411648 140728674279892 140728674280067 140728674280067 140728674283471 0
[pid=13297/tid=13309] ppid=13295 vsize=13980732 CPUtime=0.74 cores=0,2,4,6
/proc/13297/task/13309/stat : 13309 (java) S 13295 13295 5091 0 -1 1077944384 10121 0 0 0 73 1 0 0 20 0 15 0 10626563 14316269568 119305 18446744073709551615 4194304 4196468 140728674278960 139859241040368 139859701795458 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32411648 140728674279892 140728674280067 140728674280067 140728674283471 0
[pid=13297/tid=13310] ppid=13295 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/13297/task/13310/stat : 13310 (java) S 13295 13295 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10626564 14316269568 119305 18446744073709551615 4194304 4196468 140728674278960 139859239988064 139859701794517 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32411648 140728674279892 140728674280067 140728674280067 140728674283471 0
[pid=13297/tid=13311] ppid=13295 vsize=13980732 CPUtime=0.12 cores=0,2,4,6
/proc/13297/task/13311/stat : 13311 (java) S 13295 13295 5091 0 -1 1077944384 599 0 0 0 6 6 0 0 20 0 15 0 10626569 14316269568 119305 18446744073709551615 4194304 4196468 140728674278960 139859238935088 139859701795458 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32411648 140728674279892 140728674280067 140728674280067 140728674283471 0
Current children cumulated CPU time (s) 235.71
Current children cumulated vsize (KiB) 13990244
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.001 s]
/proc/loadavg: 1.20 1.58 1.75 3/212 13405
/proc/meminfo: memFree=31204472/32770624 swapFree=0/190708
[pid=13295] ppid=13292 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/13295/stat : 13295 (xcsp3-exec) S 13292 13295 5091 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10626550 9740288 345 18446744073709551615 4194304 5098028 140729718191168 140729718189272 139905929028220 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 15204352 140729718194587 140729718194791 140729718194791 140729718198251 0
/proc/13295/statm: 2378 345 289 221 0 87 0
[pid=13297] ppid=13295 vsize=13980732 CPUtime=253.81 cores=0,2,4,6
/proc/13297/stat : 13297 (java) S 13295 13295 5091 0 -1 1077944320 92869 0 0 0 25281 100 0 0 20 0 15 0 10626558 14316269568 116789 18446744073709551615 4194304 4196468 140728674278960 140728674261504 139859701784311 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 32411648 140728674279892 140728674280067 140728674280067 140728674283471 0
/proc/13297/statm: 3495183 116789 3252 1 0 3483484 0
[pid=13297/tid=13298] ppid=13295 vsize=13980732 CPUtime=237.84 cores=0,2,4,6
/proc/13297/task/13298/stat : 13298 (java) R 13295 13295 5091 0 -1 4202560 21991 0 0 0 23774 10 0 0 20 0 15 0 10626558 14316269568 116789 18446744073709551615 4194304 4196468 140728674278960 139859706023488 139859324074885 0 4 1 16800974 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 32411648 140728674279892 140728674280067 140728674280067 140728674283471 0
[pid=13297/tid=13299] ppid=13295 vsize=13980732 CPUtime=1.79 cores=0,2,4,6
/proc/13297/task/13299/stat : 13299 (java) S 13295 13295 5091 0 -1 1077944384 2546 0 0 0 160 19 0 0 20 0 15 0 10626559 14316269568 116789 18446744073709551615 4194304 4196468 140728674278960 139859643730960 139859701794517 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32411648 140728674279892 140728674280067 140728674280067 140728674283471 0
[pid=13297/tid=13300] ppid=13295 vsize=13980732 CPUtime=1.78 cores=0,2,4,6
/proc/13297/task/13300/stat : 13300 (java) S 13295 13295 5091 0 -1 1077944384 2367 0 0 0 160 18 0 0 20 0 15 0 10626559 14316269568 116789 18446744073709551615 4194304 4196468 140728674278960 139859642678416 139859701794517 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32411648 140728674279892 140728674280067 140728674280067 140728674283471 0
[pid=13297/tid=13301] ppid=13295 vsize=13980732 CPUtime=1.8 cores=0,2,4,6
/proc/13297/task/13301/stat : 13301 (java) S 13295 13295 5091 0 -1 1077944384 2461 0 0 0 161 19 0 0 20 0 15 0 10626559 14316269568 116789 18446744073709551615 4194304 4196468 140728674278960 139859641625360 139859701794517 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32411648 140728674279892 140728674280067 140728674280067 140728674283471 0
[pid=13297/tid=13302] ppid=13295 vsize=13980732 CPUtime=1.8 cores=0,2,4,6
/proc/13297/task/13302/stat : 13302 (java) S 13295 13295 5091 0 -1 1077944384 2811 0 0 0 161 19 0 0 20 0 15 0 10626559 14316269568 116789 18446744073709551615 4194304 4196468 140728674278960 139859640572816 139859701794517 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32411648 140728674279892 140728674280067 140728674280067 140728674283471 0
[pid=13297/tid=13303] ppid=13295 vsize=13980732 CPUtime=0.14 cores=0,2,4,6
/proc/13297/task/13303/stat : 13303 (java) S 13295 13295 5091 0 -1 1077944384 7134 0 0 0 12 2 0 0 20 0 15 0 10626560 14316269568 116789 18446744073709551615 4194304 4196468 140728674278960 139859247356144 139859701795458 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32411648 140728674279892 140728674280067 140728674280067 140728674283471 0
[pid=13297/tid=13304] ppid=13295 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/13297/task/13304/stat : 13304 (java) S 13295 13295 5091 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 15 0 10626561 14316269568 116789 18446744073709551615 4194304 4196468 140728674278960 139859246302432 139859701794517 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32411648 140728674279892 140728674280067 140728674280067 140728674283471 0
[pid=13297/tid=13305] ppid=13295 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/13297/task/13305/stat : 13305 (java) S 13295 13295 5091 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 15 0 10626561 14316269568 116789 18446744073709551615 4194304 4196468 140728674278960 139859245249280 139859701794517 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32411648 140728674279892 140728674280067 140728674280067 140728674283471 0
[pid=13297/tid=13306] ppid=13295 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/13297/task/13306/stat : 13306 (java) S 13295 13295 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10626563 14316269568 116789 18446744073709551615 4194304 4196468 140728674278960 139859244197840 139859701802907 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32411648 140728674279892 140728674280067 140728674280067 140728674283471 0
[pid=13297/tid=13307] ppid=13295 vsize=13980732 CPUtime=3.43 cores=0,2,4,6
/proc/13297/task/13307/stat : 13307 (java) S 13295 13295 5091 0 -1 1077944384 16310 0 0 0 342 1 0 0 20 0 15 0 10626563 14316269568 116789 18446744073709551615 4194304 4196468 140728674278960 139859243145968 139859701795458 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32411648 140728674279892 140728674280067 140728674280067 140728674283471 0
[pid=13297/tid=13308] ppid=13295 vsize=13980732 CPUtime=4.26 cores=0,2,4,6
/proc/13297/task/13308/stat : 13308 (java) S 13295 13295 5091 0 -1 1077944384 24803 0 0 0 424 2 0 0 20 0 15 0 10626563 14316269568 116789 18446744073709551615 4194304 4196468 140728674278960 139859242093424 139859701795458 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32411648 140728674279892 140728674280067 140728674280067 140728674283471 0
[pid=13297/tid=13309] ppid=13295 vsize=13980732 CPUtime=0.75 cores=0,2,4,6
/proc/13297/task/13309/stat : 13309 (java) S 13295 13295 5091 0 -1 1077944384 10460 0 0 0 74 1 0 0 20 0 15 0 10626563 14316269568 116789 18446744073709551615 4194304 4196468 140728674278960 139859241040368 139859701795458 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32411648 140728674279892 140728674280067 140728674280067 140728674283471 0
[pid=13297/tid=13310] ppid=13295 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/13297/task/13310/stat : 13310 (java) S 13295 13295 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10626564 14316269568 116789 18446744073709551615 4194304 4196468 140728674278960 139859239988064 139859701794517 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32411648 140728674279892 140728674280067 140728674280067 140728674283471 0
[pid=13297/tid=13311] ppid=13295 vsize=13980732 CPUtime=0.13 cores=0,2,4,6
/proc/13297/task/13311/stat : 13311 (java) S 13295 13295 5091 0 -1 1077944384 602 0 0 0 7 6 0 0 20 0 15 0 10626569 14316269568 116789 18446744073709551615 4194304 4196468 140728674278960 139859238935088 139859701795458 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32411648 140728674279892 140728674280067 140728674280067 140728674283471 0
Current children cumulated CPU time (s) 253.81
Current children cumulated vsize (KiB) 13990244
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 13297 sig 9
??? kill 13295 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 13295 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=0
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=1976
# CPU time returned by wait4() is 0.001976
# while last known CPU time is 253.81
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 240.01
CPU time (s): 253.81
CPU user time (s): 252.81
CPU system time (s): 1
CPU usage (%): 105.75
Max. virtual memory (cumulated for all children) (KiB): 13992228
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0
system time used= 0.001976
maximum resident set size= 1384
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 509
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 1.17599 second user time and 1.50845 second system time
The end