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-4254253-1501611327/watcher-4254253-1501611327 -o /tmp/evaluation-result-4254253-1501611327/solver-4254253-1501611327 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node134-1501610486-5295 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 494135038 HOME/instance-4254253-1501611327.xml
pid=5316
running on 4 cores: 1,3,5,7
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: 0.00 0.01 0.05 4/191 5320
/proc/meminfo: memFree=31930936/32770624 swapFree=0/229872
[pid=5320] ppid=5316 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/5320/stat : 5320 (runsolver) D 5316 5320 5234 34816 5234 4202560 107 0 0 0 0 0 0 0 20 0 1 0 8638483 24240128 107 18446744073709551615 4194304 4338465 140723789996480 140723789994120 140227448251095 0 0 1 24578 18446744071580418449 0 0 17 3 0 0 0 0 0 6438912 6441760 8851456 140723790004318 140723790004806 140723790004806 140723790008266 0
/proc/5320/statm: 5918 107 54 36 0 2156 0
[startup+0.100113 s]
/proc/loadavg: 0.00 0.01 0.05 4/191 5320
/proc/meminfo: memFree=31930936/32770624 swapFree=0/229872
[pid=5320] ppid=5316 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/5320/stat : 5320 (xcsp3-exec) S 5316 5320 5234 34816 5234 4202496 509 0 0 0 0 0 0 0 20 0 1 0 8638483 9740288 345 18446744073709551615 4194304 5098028 140727869989984 140727869988088 140712297509500 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 7 0 0 7196144 7232144 27537408 140727869993372 140727869993575 140727869993575 140727869997035 0
/proc/5320/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200319 s]
/proc/loadavg: 0.00 0.01 0.05 4/191 5320
/proc/meminfo: memFree=31930936/32770624 swapFree=0/229872
[pid=5320] ppid=5316 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/5320/stat : 5320 (xcsp3-exec) S 5316 5320 5234 34816 5234 4202496 509 0 0 0 0 0 0 0 20 0 1 0 8638483 9740288 345 18446744073709551615 4194304 5098028 140727869989984 140727869988088 140712297509500 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 7 0 0 7196144 7232144 27537408 140727869993372 140727869993575 140727869993575 140727869997035 0
/proc/5320/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300285 s]
/proc/loadavg: 0.00 0.01 0.05 4/191 5320
/proc/meminfo: memFree=31930936/32770624 swapFree=0/229872
[pid=5320] ppid=5316 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/5320/stat : 5320 (xcsp3-exec) S 5316 5320 5234 34816 5234 4202496 509 0 0 0 0 0 0 0 20 0 1 0 8638483 9740288 345 18446744073709551615 4194304 5098028 140727869989984 140727869988088 140712297509500 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 7 0 0 7196144 7232144 27537408 140727869993372 140727869993575 140727869993575 140727869997035 0
/proc/5320/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700143 s]
/proc/loadavg: 0.00 0.01 0.05 4/191 5320
/proc/meminfo: memFree=31930936/32770624 swapFree=0/229872
[pid=5320] ppid=5316 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/5320/stat : 5320 (xcsp3-exec) S 5316 5320 5234 34816 5234 4202496 509 0 0 0 0 0 0 0 20 0 1 0 8638483 9740288 345 18446744073709551615 4194304 5098028 140727869989984 140727869988088 140712297509500 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 7 0 0 7196144 7232144 27537408 140727869993372 140727869993575 140727869993575 140727869997035 0
/proc/5320/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50117 s]
/proc/loadavg: 0.00 0.01 0.05 9/225 5355
/proc/meminfo: memFree=31793892/32770624 swapFree=0/277004
[pid=5320] ppid=5316 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/5320/stat : 5320 (xcsp3-exec) S 5316 5320 5234 34816 5234 4202496 509 0 0 0 0 0 0 0 20 0 1 0 8638483 9740288 345 18446744073709551615 4194304 5098028 140727869989984 140727869988088 140712297509500 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 7 0 0 7196144 7232144 27537408 140727869993372 140727869993575 140727869993575 140727869997035 0
/proc/5320/statm: 2378 345 289 221 0 87 0
[pid=5327] ppid=5320 vsize=13980732 CPUtime=1.75 cores=1,3,5,7
/proc/5327/stat : 5327 (java) S 5320 5320 5234 34816 5234 1077944320 17695 0 3 0 169 6 0 0 20 0 15 0 8638491 14316269568 20075 18446744073709551615 4194304 4196468 140735516696032 140735516678576 139647951511287 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 9 0 0 6293624 6294260 28844032 140735516701140 140735516701315 140735516701315 140735516704719 0
/proc/5327/statm: 3495183 20075 3166 1 0 3483484 0
[pid=5327/tid=5328] ppid=5320 vsize=13980732 CPUtime=0.77 cores=1,3,5,7
/proc/5327/task/5328/stat : 5328 (java) R 5320 5320 5234 34816 5234 4202560 9020 0 2 0 73 4 0 0 20 0 15 0 8638507 14316269568 20075 18446744073709551615 4194304 4196468 140735516696032 139647955745728 139647593630757 0 4 1 16800974 0 0 0 -1 5 0 0 44 0 0 6293624 6294260 28844032 140735516701140 140735516701315 140735516701315 140735516704719 0
[pid=5327/tid=5334] ppid=5320 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/5327/task/5334/stat : 5334 (java) S 5320 5320 5234 34816 5234 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 8638509 14316269568 20075 18446744073709551615 4194304 4196468 140735516696032 139647912409360 139647951521493 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28844032 140735516701140 140735516701315 140735516701315 140735516704719 0
[pid=5327/tid=5335] ppid=5320 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/5327/task/5335/stat : 5335 (java) S 5320 5320 5234 34816 5234 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 8638509 14316269568 20075 18446744073709551615 4194304 4196468 140735516696032 139647911356816 139647951521493 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28844032 140735516701140 140735516701315 140735516701315 140735516704719 0
[pid=5327/tid=5336] ppid=5320 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/5327/task/5336/stat : 5336 (java) S 5320 5320 5234 34816 5234 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 8638509 14316269568 20075 18446744073709551615 4194304 4196468 140735516696032 139647910304272 139647951521493 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28844032 140735516701140 140735516701315 140735516701315 140735516704719 0
[pid=5327/tid=5337] ppid=5320 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/5327/task/5337/stat : 5337 (java) S 5320 5320 5234 34816 5234 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 8638509 14316269568 20075 18446744073709551615 4194304 4196468 140735516696032 139647548582544 139647951521493 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28844032 140735516701140 140735516701315 140735516701315 140735516704719 0
[pid=5327/tid=5339] ppid=5320 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/5327/task/5339/stat : 5339 (java) S 5320 5320 5234 34816 5234 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 8638519 14316269568 20075 18446744073709551615 4194304 4196468 140735516696032 139646935202288 139647951522434 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28844032 140735516701140 140735516701315 140735516701315 140735516704719 0
[pid=5327/tid=5340] ppid=5320 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/5327/task/5340/stat : 5340 (java) S 5320 5320 5234 34816 5234 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 8638520 14316269568 20075 18446744073709551615 4194304 4196468 140735516696032 139646934148512 139647951521493 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28844032 140735516701140 140735516701315 140735516701315 140735516704719 0
[pid=5327/tid=5343] ppid=5320 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/5327/task/5343/stat : 5343 (java) S 5320 5320 5234 34816 5234 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 8638520 14316269568 20075 18446744073709551615 4194304 4196468 140735516696032 139646933095920 139647951521493 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28844032 140735516701140 140735516701315 140735516701315 140735516704719 0
[pid=5327/tid=5344] ppid=5320 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/5327/task/5344/stat : 5344 (java) S 5320 5320 5234 34816 5234 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8638523 14316269568 20075 18446744073709551615 4194304 4196468 140735516696032 139646932044496 139647951529883 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28844032 140735516701140 140735516701315 140735516701315 140735516704719 0
[pid=5327/tid=5346] ppid=5320 vsize=13980732 CPUtime=0.3 cores=1,3,5,7
/proc/5327/task/5346/stat : 5346 (java) R 5320 5320 5234 34816 5234 4202560 2925 0 0 0 30 0 0 0 20 0 15 0 8638523 14316269568 20075 18446744073709551615 4194304 4196468 140735516696032 139646930976136 139647933029175 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28844032 140735516701140 140735516701315 140735516701315 140735516704719 0
[pid=5327/tid=5349] ppid=5320 vsize=13980732 CPUtime=0.32 cores=1,3,5,7
/proc/5327/task/5349/stat : 5349 (java) R 5320 5320 5234 34816 5234 4202560 2385 0 0 0 32 0 0 0 20 0 15 0 8638523 14316269568 20075 18446744073709551615 4194304 4196468 140735516696032 139646929924768 139647930758083 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 28844032 140735516701140 140735516701315 140735516701315 140735516704719 0
[pid=5327/tid=5351] ppid=5320 vsize=13980732 CPUtime=0.32 cores=1,3,5,7
/proc/5327/task/5351/stat : 5351 (java) S 5320 5320 5234 34816 5234 1077944384 2057 0 0 0 32 0 0 0 20 0 15 0 8638523 14316269568 20075 18446744073709551615 4194304 4196468 140735516696032 139646928886000 139647951522434 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28844032 140735516701140 140735516701315 140735516701315 140735516704719 0
[pid=5327/tid=5353] ppid=5320 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/5327/task/5353/stat : 5353 (java) S 5320 5320 5234 34816 5234 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8638523 14316269568 20075 18446744073709551615 4194304 4196468 140735516696032 139646927833696 139647951521493 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28844032 140735516701140 140735516701315 140735516701315 140735516704719 0
[pid=5327/tid=5354] ppid=5320 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/5327/task/5354/stat : 5354 (java) S 5320 5320 5234 34816 5234 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 8638528 14316269568 20075 18446744073709551615 4194304 4196468 140735516696032 139646926781232 139647951522434 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28844032 140735516701140 140735516701315 140735516701315 140735516704719 0
Current children cumulated CPU time (s) 1.75
Current children cumulated vsize (KiB) 13990244
[startup+3.10077 s]
/proc/loadavg: 0.00 0.01 0.05 8/225 5355
/proc/meminfo: memFree=31666152/32770624 swapFree=0/277412
[pid=5320] ppid=5316 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/5320/stat : 5320 (xcsp3-exec) S 5316 5320 5234 34816 5234 4202496 509 0 0 0 0 0 0 0 20 0 1 0 8638483 9740288 345 18446744073709551615 4194304 5098028 140727869989984 140727869988088 140712297509500 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 7 0 0 7196144 7232144 27537408 140727869993372 140727869993575 140727869993575 140727869997035 0
/proc/5320/statm: 2378 345 289 221 0 87 0
[pid=5327] ppid=5320 vsize=13980732 CPUtime=6.59 cores=1,3,5,7
/proc/5327/stat : 5327 (java) S 5320 5320 5234 34816 5234 1077944320 36513 0 3 0 651 8 0 0 20 0 15 0 8638491 14316269568 30220 18446744073709551615 4194304 4196468 140735516696032 140735516678576 139647951511287 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 9 0 0 6293624 6294260 28844032 140735516701140 140735516701315 140735516701315 140735516704719 0
/proc/5327/statm: 3495183 30220 3172 1 0 3483484 0
[pid=5327/tid=5328] ppid=5320 vsize=13980732 CPUtime=2.37 cores=1,3,5,7
/proc/5327/task/5328/stat : 5328 (java) R 5320 5320 5234 34816 5234 4202560 9714 0 2 0 233 4 0 0 20 0 15 0 8638507 14316269568 30220 18446744073709551615 4194304 4196468 140735516696032 139647955747640 139647595062409 0 4 1 16800974 0 0 0 -1 5 0 0 44 0 0 6293624 6294260 28844032 140735516701140 140735516701315 140735516701315 140735516704719 0
[pid=5327/tid=5334] ppid=5320 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/5327/task/5334/stat : 5334 (java) S 5320 5320 5234 34816 5234 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 8638509 14316269568 30220 18446744073709551615 4194304 4196468 140735516696032 139647912409360 139647951521493 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28844032 140735516701140 140735516701315 140735516701315 140735516704719 0
[pid=5327/tid=5335] ppid=5320 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/5327/task/5335/stat : 5335 (java) S 5320 5320 5234 34816 5234 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 8638509 14316269568 30220 18446744073709551615 4194304 4196468 140735516696032 139647911356816 139647951521493 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28844032 140735516701140 140735516701315 140735516701315 140735516704719 0
[pid=5327/tid=5336] ppid=5320 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/5327/task/5336/stat : 5336 (java) S 5320 5320 5234 34816 5234 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 8638509 14316269568 30220 18446744073709551615 4194304 4196468 140735516696032 139647910304272 139647951521493 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28844032 140735516701140 140735516701315 140735516701315 140735516704719 0
[pid=5327/tid=5337] ppid=5320 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/5327/task/5337/stat : 5337 (java) S 5320 5320 5234 34816 5234 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 8638509 14316269568 30220 18446744073709551615 4194304 4196468 140735516696032 139647548582544 139647951521493 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28844032 140735516701140 140735516701315 140735516701315 140735516704719 0
[pid=5327/tid=5339] ppid=5320 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/5327/task/5339/stat : 5339 (java) S 5320 5320 5234 34816 5234 1077944384 17 0 0 0 0 0 0 0 20 0 15 0 8638519 14316269568 30220 18446744073709551615 4194304 4196468 140735516696032 139646935202288 139647951522434 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28844032 140735516701140 140735516701315 140735516701315 140735516704719 0
[pid=5327/tid=5340] ppid=5320 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/5327/task/5340/stat : 5340 (java) S 5320 5320 5234 34816 5234 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 8638520 14316269568 30220 18446744073709551615 4194304 4196468 140735516696032 139646934148512 139647951521493 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28844032 140735516701140 140735516701315 140735516701315 140735516704719 0
[pid=5327/tid=5343] ppid=5320 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/5327/task/5343/stat : 5343 (java) S 5320 5320 5234 34816 5234 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 8638520 14316269568 30220 18446744073709551615 4194304 4196468 140735516696032 139646933095920 139647951521493 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28844032 140735516701140 140735516701315 140735516701315 140735516704719 0
[pid=5327/tid=5344] ppid=5320 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/5327/task/5344/stat : 5344 (java) S 5320 5320 5234 34816 5234 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8638523 14316269568 30220 18446744073709551615 4194304 4196468 140735516696032 139646932044496 139647951529883 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28844032 140735516701140 140735516701315 140735516701315 140735516704719 0
[pid=5327/tid=5346] ppid=5320 vsize=13980732 CPUtime=1.9 cores=1,3,5,7
/proc/5327/task/5346/stat : 5346 (java) R 5320 5320 5234 34816 5234 4202560 10056 0 0 0 189 1 0 0 20 0 15 0 8638523 14316269568 30220 18446744073709551615 4194304 4196468 140735516696032 139646930973024 139647933055731 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28844032 140735516701140 140735516701315 140735516701315 140735516704719 0
[pid=5327/tid=5349] ppid=5320 vsize=13980732 CPUtime=1.91 cores=1,3,5,7
/proc/5327/task/5349/stat : 5349 (java) R 5320 5320 5234 34816 5234 4202560 12705 0 0 0 190 1 0 0 20 0 15 0 8638523 14316269568 30220 18446744073709551615 4194304 4196468 140735516696032 139646929925744 139647933055744 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28844032 140735516701140 140735516701315 140735516701315 140735516704719 0
[pid=5327/tid=5351] ppid=5320 vsize=13980732 CPUtime=0.37 cores=1,3,5,7
/proc/5327/task/5351/stat : 5351 (java) S 5320 5320 5234 34816 5234 1077944384 2710 0 0 0 37 0 0 0 20 0 15 0 8638523 14316269568 30220 18446744073709551615 4194304 4196468 140735516696032 139646928886000 139647951522434 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28844032 140735516701140 140735516701315 140735516701315 140735516704719 0
[pid=5327/tid=5353] ppid=5320 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/5327/task/5353/stat : 5353 (java) S 5320 5320 5234 34816 5234 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8638523 14316269568 30220 18446744073709551615 4194304 4196468 140735516696032 139646927833696 139647951521493 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28844032 140735516701140 140735516701315 140735516701315 140735516704719 0
[pid=5327/tid=5354] ppid=5320 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/5327/task/5354/stat : 5354 (java) S 5320 5320 5234 34816 5234 1077944384 9 0 0 0 0 0 0 0 20 0 15 0 8638528 14316269568 30220 18446744073709551615 4194304 4196468 140735516696032 139646926781232 139647951522434 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28844032 140735516701140 140735516701315 140735516701315 140735516704719 0
Current children cumulated CPU time (s) 6.59
Current children cumulated vsize (KiB) 13990244
[startup+6.30061 s]
/proc/loadavg: 0.40 0.10 0.07 4/225 5355
/proc/meminfo: memFree=31625276/32770624 swapFree=0/277412
[pid=5320] ppid=5316 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/5320/stat : 5320 (xcsp3-exec) S 5316 5320 5234 34816 5234 4202496 509 0 0 0 0 0 0 0 20 0 1 0 8638483 9740288 345 18446744073709551615 4194304 5098028 140727869989984 140727869988088 140712297509500 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 7 0 0 7196144 7232144 27537408 140727869993372 140727869993575 140727869993575 140727869997035 0
/proc/5320/statm: 2378 345 289 221 0 87 0
[pid=5327] ppid=5320 vsize=13980732 CPUtime=10.62 cores=1,3,5,7
/proc/5327/stat : 5327 (java) S 5320 5320 5234 34816 5234 1077944320 39383 0 3 0 1053 9 0 0 20 0 15 0 8638491 14316269568 31942 18446744073709551615 4194304 4196468 140735516696032 140735516678576 139647951511287 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 9 0 0 6293624 6294260 28844032 140735516701140 140735516701315 140735516701315 140735516704719 0
/proc/5327/statm: 3495183 31942 3190 1 0 3483484 0
[pid=5327/tid=5328] ppid=5320 vsize=13980732 CPUtime=5.56 cores=1,3,5,7
/proc/5327/task/5328/stat : 5328 (java) R 5320 5320 5234 34816 5234 4202560 9933 0 2 0 552 4 0 0 20 0 15 0 8638507 14316269568 31942 18446744073709551615 4194304 4196468 140735516696032 139647955749192 139647595062261 0 4 1 16800974 0 0 0 -1 5 0 0 44 0 0 6293624 6294260 28844032 140735516701140 140735516701315 140735516701315 140735516704719 0
[pid=5327/tid=5334] ppid=5320 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/5327/task/5334/stat : 5334 (java) S 5320 5320 5234 34816 5234 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 8638509 14316269568 31942 18446744073709551615 4194304 4196468 140735516696032 139647912409360 139647951521493 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28844032 140735516701140 140735516701315 140735516701315 140735516704719 0
[pid=5327/tid=5335] ppid=5320 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/5327/task/5335/stat : 5335 (java) S 5320 5320 5234 34816 5234 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 8638509 14316269568 31942 18446744073709551615 4194304 4196468 140735516696032 139647911356816 139647951521493 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28844032 140735516701140 140735516701315 140735516701315 140735516704719 0
[pid=5327/tid=5336] ppid=5320 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/5327/task/5336/stat : 5336 (java) S 5320 5320 5234 34816 5234 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 8638509 14316269568 31942 18446744073709551615 4194304 4196468 140735516696032 139647910304272 139647951521493 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28844032 140735516701140 140735516701315 140735516701315 140735516704719 0
[pid=5327/tid=5337] ppid=5320 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/5327/task/5337/stat : 5337 (java) S 5320 5320 5234 34816 5234 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 8638509 14316269568 31942 18446744073709551615 4194304 4196468 140735516696032 139647548582544 139647951521493 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28844032 140735516701140 140735516701315 140735516701315 140735516704719 0
[pid=5327/tid=5339] ppid=5320 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/5327/task/5339/stat : 5339 (java) S 5320 5320 5234 34816 5234 1077944384 301 0 0 0 0 0 0 0 20 0 15 0 8638519 14316269568 31942 18446744073709551615 4194304 4196468 140735516696032 139646935202288 139647951522434 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28844032 140735516701140 140735516701315 140735516701315 140735516704719 0
[pid=5327/tid=5340] ppid=5320 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/5327/task/5340/stat : 5340 (java) S 5320 5320 5234 34816 5234 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 8638520 14316269568 31942 18446744073709551615 4194304 4196468 140735516696032 139646934148512 139647951521493 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28844032 140735516701140 140735516701315 140735516701315 140735516704719 0
[pid=5327/tid=5343] ppid=5320 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/5327/task/5343/stat : 5343 (java) S 5320 5320 5234 34816 5234 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 8638520 14316269568 31942 18446744073709551615 4194304 4196468 140735516696032 139646933095920 139647951521493 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28844032 140735516701140 140735516701315 140735516701315 140735516704719 0
[pid=5327/tid=5344] ppid=5320 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/5327/task/5344/stat : 5344 (java) S 5320 5320 5234 34816 5234 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8638523 14316269568 31942 18446744073709551615 4194304 4196468 140735516696032 139646932044496 139647951529883 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28844032 140735516701140 140735516701315 140735516701315 140735516704719 0
[pid=5327/tid=5346] ppid=5320 vsize=13980732 CPUtime=2.37 cores=1,3,5,7
/proc/5327/task/5346/stat : 5346 (java) S 5320 5320 5234 34816 5234 1077944384 10766 0 0 0 236 1 0 0 20 0 15 0 8638523 14316269568 31942 18446744073709551615 4194304 4196468 140735516696032 139646930991088 139647951522434 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28844032 140735516701140 140735516701315 140735516701315 140735516704719 0
[pid=5327/tid=5349] ppid=5320 vsize=13980732 CPUtime=2.25 cores=1,3,5,7
/proc/5327/task/5349/stat : 5349 (java) S 5320 5320 5234 34816 5234 1077944384 12820 0 0 0 223 2 0 0 20 0 15 0 8638523 14316269568 31942 18446744073709551615 4194304 4196468 140735516696032 139646929938544 139647951522434 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28844032 140735516701140 140735516701315 140735516701315 140735516704719 0
[pid=5327/tid=5351] ppid=5320 vsize=13980732 CPUtime=0.4 cores=1,3,5,7
/proc/5327/task/5351/stat : 5351 (java) S 5320 5320 5234 34816 5234 1077944384 3020 0 0 0 40 0 0 0 20 0 15 0 8638523 14316269568 31942 18446744073709551615 4194304 4196468 140735516696032 139646928886000 139647951522434 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28844032 140735516701140 140735516701315 140735516701315 140735516704719 0
[pid=5327/tid=5353] ppid=5320 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/5327/task/5353/stat : 5353 (java) S 5320 5320 5234 34816 5234 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8638523 14316269568 31942 18446744073709551615 4194304 4196468 140735516696032 139646927833696 139647951521493 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28844032 140735516701140 140735516701315 140735516701315 140735516704719 0
[pid=5327/tid=5354] ppid=5320 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/5327/task/5354/stat : 5354 (java) S 5320 5320 5234 34816 5234 1077944384 1241 0 0 0 0 0 0 0 20 0 15 0 8638528 14316269568 31942 18446744073709551615 4194304 4196468 140735516696032 139646926781232 139647951522434 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28844032 140735516701140 140735516701315 140735516701315 140735516704719 0
Current children cumulated CPU time (s) 10.62
Current children cumulated vsize (KiB) 13990244
[startup+12.7006 s]
/proc/loadavg: 0.53 0.13 0.08 5/225 5355
/proc/meminfo: memFree=31613880/32770624 swapFree=0/277432
[pid=5320] ppid=5316 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/5320/stat : 5320 (xcsp3-exec) S 5316 5320 5234 34816 5234 4202496 509 0 0 0 0 0 0 0 20 0 1 0 8638483 9740288 345 18446744073709551615 4194304 5098028 140727869989984 140727869988088 140712297509500 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 7 0 0 7196144 7232144 27537408 140727869993372 140727869993575 140727869993575 140727869997035 0
/proc/5320/statm: 2378 345 289 221 0 87 0
[pid=5327] ppid=5320 vsize=13980732 CPUtime=17.69 cores=1,3,5,7
/proc/5327/stat : 5327 (java) S 5320 5320 5234 34816 5234 1077944320 49767 0 3 0 1760 9 0 0 20 0 15 0 8638491 14316269568 34637 18446744073709551615 4194304 4196468 140735516696032 140735516678576 139647951511287 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 9 0 0 6293624 6294260 28844032 140735516701140 140735516701315 140735516701315 140735516704719 0
/proc/5327/statm: 3495183 34637 3190 1 0 3483484 0
[pid=5327/tid=5328] ppid=5320 vsize=13980732 CPUtime=11.96 cores=1,3,5,7
/proc/5327/task/5328/stat : 5328 (java) R 5320 5320 5234 34816 5234 4202560 10506 0 2 0 1192 4 0 0 20 0 15 0 8638507 14316269568 34637 18446744073709551615 4194304 4196468 140735516696032 139647955746848 139647595469680 0 4 1 16800974 0 0 0 -1 5 0 0 44 0 0 6293624 6294260 28844032 140735516701140 140735516701315 140735516701315 140735516704719 0
[pid=5327/tid=5334] ppid=5320 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/5327/task/5334/stat : 5334 (java) S 5320 5320 5234 34816 5234 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 8638509 14316269568 34637 18446744073709551615 4194304 4196468 140735516696032 139647912409360 139647951521493 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28844032 140735516701140 140735516701315 140735516701315 140735516704719 0
[pid=5327/tid=5335] ppid=5320 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/5327/task/5335/stat : 5335 (java) S 5320 5320 5234 34816 5234 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 8638509 14316269568 34637 18446744073709551615 4194304 4196468 140735516696032 139647911356816 139647951521493 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28844032 140735516701140 140735516701315 140735516701315 140735516704719 0
################
# More data... #
################
[pid=5327/tid=5340] ppid=5320 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/5327/task/5340/stat : 5340 (java) S 5320 5320 5234 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 8638520 14316269568 60549 18446744073709551615 4194304 4196468 140735516696032 139646934148512 139647951521493 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28844032 140735516701140 140735516701315 140735516701315 140735516704719 0
[pid=5327/tid=5343] ppid=5320 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/5327/task/5343/stat : 5343 (java) S 5320 5320 5234 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 8638520 14316269568 60549 18446744073709551615 4194304 4196468 140735516696032 139646933095920 139647951521493 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28844032 140735516701140 140735516701315 140735516701315 140735516704719 0
[pid=5327/tid=5344] ppid=5320 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/5327/task/5344/stat : 5344 (java) S 5320 5320 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8638523 14316269568 60549 18446744073709551615 4194304 4196468 140735516696032 139646932044496 139647951529883 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28844032 140735516701140 140735516701315 140735516701315 140735516704719 0
[pid=5327/tid=5346] ppid=5320 vsize=13980732 CPUtime=3.15 cores=1,3,5,7
/proc/5327/task/5346/stat : 5346 (java) S 5320 5320 5234 0 -1 1077944384 20947 0 0 0 314 1 0 0 20 0 15 0 8638523 14316269568 60549 18446744073709551615 4194304 4196468 140735516696032 139646930991088 139647951522434 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28844032 140735516701140 140735516701315 140735516701315 140735516704719 0
[pid=5327/tid=5349] ppid=5320 vsize=13980732 CPUtime=2.95 cores=1,3,5,7
/proc/5327/task/5349/stat : 5349 (java) S 5320 5320 5234 0 -1 1077944384 21170 0 0 0 292 3 0 0 20 0 15 0 8638523 14316269568 60549 18446744073709551615 4194304 4196468 140735516696032 139646929938544 139647951522434 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28844032 140735516701140 140735516701315 140735516701315 140735516704719 0
[pid=5327/tid=5351] ppid=5320 vsize=13980732 CPUtime=0.51 cores=1,3,5,7
/proc/5327/task/5351/stat : 5351 (java) S 5320 5320 5234 0 -1 1077944384 7528 0 0 0 50 1 0 0 20 0 15 0 8638523 14316269568 60549 18446744073709551615 4194304 4196468 140735516696032 139646928886000 139647951522434 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28844032 140735516701140 140735516701315 140735516701315 140735516704719 0
[pid=5327/tid=5353] ppid=5320 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/5327/task/5353/stat : 5353 (java) S 5320 5320 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8638523 14316269568 60549 18446744073709551615 4194304 4196468 140735516696032 139646927833696 139647951521493 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28844032 140735516701140 140735516701315 140735516701315 140735516704719 0
[pid=5327/tid=5354] ppid=5320 vsize=13980732 CPUtime=0.02 cores=1,3,5,7
/proc/5327/task/5354/stat : 5354 (java) S 5320 5320 5234 0 -1 1077944384 1441 0 0 0 1 1 0 0 20 0 15 0 8638528 14316269568 60549 18446744073709551615 4194304 4196468 140735516696032 139646926781232 139647951522434 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28844032 140735516701140 140735516701315 140735516701315 140735516704719 0
Current children cumulated CPU time (s) 108.26
Current children cumulated vsize (KiB) 13990244
[startup+162.301 s]
/proc/loadavg: 1.88 0.87 0.37 3/215 5362
/proc/meminfo: memFree=31469724/32770624 swapFree=0/277524
[pid=5320] ppid=5316 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/5320/stat : 5320 (xcsp3-exec) S 5316 5320 5234 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 8638483 9740288 345 18446744073709551615 4194304 5098028 140727869989984 140727869988088 140712297509500 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 7 0 0 7196144 7232144 27537408 140727869993372 140727869993575 140727869993575 140727869997035 0
/proc/5320/statm: 2378 345 289 221 0 87 0
[pid=5327] ppid=5320 vsize=13980732 CPUtime=168.52 cores=1,3,5,7
/proc/5327/stat : 5327 (java) S 5320 5320 5234 0 -1 1077944320 71824 0 3 0 16837 15 0 0 20 0 15 0 8638491 14316269568 60604 18446744073709551615 4194304 4196468 140735516696032 140735516678576 139647951511287 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 9 0 0 6293624 6294260 28844032 140735516701140 140735516701315 140735516701315 140735516704719 0
/proc/5327/statm: 3495183 60604 3225 1 0 3483484 0
[pid=5327/tid=5328] ppid=5320 vsize=13980732 CPUtime=161.55 cores=1,3,5,7
/proc/5327/task/5328/stat : 5328 (java) R 5320 5320 5234 0 -1 4202560 13954 0 2 0 16150 5 0 0 20 0 15 0 8638507 14316269568 60604 18446744073709551615 4194304 4196468 140735516696032 139647955747344 139647593458965 0 4 1 16800974 0 0 0 -1 5 0 0 44 0 0 6293624 6294260 28844032 140735516701140 140735516701315 140735516701315 140735516704719 0
[pid=5327/tid=5334] ppid=5320 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/5327/task/5334/stat : 5334 (java) S 5320 5320 5234 0 -1 1077944384 441 0 0 0 0 0 0 0 20 0 15 0 8638509 14316269568 60604 18446744073709551615 4194304 4196468 140735516696032 139647912409360 139647951521493 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28844032 140735516701140 140735516701315 140735516701315 140735516704719 0
[pid=5327/tid=5335] ppid=5320 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/5327/task/5335/stat : 5335 (java) S 5320 5320 5234 0 -1 1077944384 1034 0 0 0 0 0 0 0 20 0 15 0 8638509 14316269568 60604 18446744073709551615 4194304 4196468 140735516696032 139647911356816 139647951521493 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28844032 140735516701140 140735516701315 140735516701315 140735516704719 0
[pid=5327/tid=5336] ppid=5320 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/5327/task/5336/stat : 5336 (java) S 5320 5320 5234 0 -1 1077944384 148 0 0 0 0 0 0 0 20 0 15 0 8638509 14316269568 60604 18446744073709551615 4194304 4196468 140735516696032 139647910304272 139647951521493 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28844032 140735516701140 140735516701315 140735516701315 140735516704719 0
[pid=5327/tid=5337] ppid=5320 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/5327/task/5337/stat : 5337 (java) S 5320 5320 5234 0 -1 1077944384 943 0 0 0 0 0 0 0 20 0 15 0 8638509 14316269568 60604 18446744073709551615 4194304 4196468 140735516696032 139647548582544 139647951521493 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28844032 140735516701140 140735516701315 140735516701315 140735516704719 0
[pid=5327/tid=5339] ppid=5320 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/5327/task/5339/stat : 5339 (java) S 5320 5320 5234 0 -1 1077944384 1037 0 0 0 0 0 0 0 20 0 15 0 8638519 14316269568 60604 18446744073709551615 4194304 4196468 140735516696032 139646935202288 139647951522434 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28844032 140735516701140 140735516701315 140735516701315 140735516704719 0
[pid=5327/tid=5340] ppid=5320 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/5327/task/5340/stat : 5340 (java) S 5320 5320 5234 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 8638520 14316269568 60604 18446744073709551615 4194304 4196468 140735516696032 139646934148512 139647951521493 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28844032 140735516701140 140735516701315 140735516701315 140735516704719 0
[pid=5327/tid=5343] ppid=5320 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/5327/task/5343/stat : 5343 (java) S 5320 5320 5234 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 8638520 14316269568 60604 18446744073709551615 4194304 4196468 140735516696032 139646933095920 139647951521493 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28844032 140735516701140 140735516701315 140735516701315 140735516704719 0
[pid=5327/tid=5344] ppid=5320 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/5327/task/5344/stat : 5344 (java) S 5320 5320 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8638523 14316269568 60604 18446744073709551615 4194304 4196468 140735516696032 139646932044496 139647951529883 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28844032 140735516701140 140735516701315 140735516701315 140735516704719 0
[pid=5327/tid=5346] ppid=5320 vsize=13980732 CPUtime=3.25 cores=1,3,5,7
/proc/5327/task/5346/stat : 5346 (java) S 5320 5320 5234 0 -1 1077944384 21716 0 0 0 323 2 0 0 20 0 15 0 8638523 14316269568 60604 18446744073709551615 4194304 4196468 140735516696032 139646930991088 139647951522434 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28844032 140735516701140 140735516701315 140735516701315 140735516704719 0
[pid=5327/tid=5349] ppid=5320 vsize=13980732 CPUtime=3.09 cores=1,3,5,7
/proc/5327/task/5349/stat : 5349 (java) S 5320 5320 5234 0 -1 1077944384 21855 0 0 0 306 3 0 0 20 0 15 0 8638523 14316269568 60604 18446744073709551615 4194304 4196468 140735516696032 139646929938544 139647951522434 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28844032 140735516701140 140735516701315 140735516701315 140735516704719 0
[pid=5327/tid=5351] ppid=5320 vsize=13980732 CPUtime=0.52 cores=1,3,5,7
/proc/5327/task/5351/stat : 5351 (java) S 5320 5320 5234 0 -1 1077944384 7876 0 0 0 51 1 0 0 20 0 15 0 8638523 14316269568 60604 18446744073709551615 4194304 4196468 140735516696032 139646928886000 139647951522434 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28844032 140735516701140 140735516701315 140735516701315 140735516704719 0
[pid=5327/tid=5353] ppid=5320 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/5327/task/5353/stat : 5353 (java) S 5320 5320 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8638523 14316269568 60604 18446744073709551615 4194304 4196468 140735516696032 139646927833696 139647951521493 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28844032 140735516701140 140735516701315 140735516701315 140735516704719 0
[pid=5327/tid=5354] ppid=5320 vsize=13980732 CPUtime=0.02 cores=1,3,5,7
/proc/5327/task/5354/stat : 5354 (java) S 5320 5320 5234 0 -1 1077944384 1466 0 0 0 1 1 0 0 20 0 15 0 8638528 14316269568 60604 18446744073709551615 4194304 4196468 140735516696032 139646926781232 139647951522434 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28844032 140735516701140 140735516701315 140735516701315 140735516704719 0
Current children cumulated CPU time (s) 168.52
Current children cumulated vsize (KiB) 13990244
[startup+222.307 s]
/proc/loadavg: 1.96 1.07 0.47 3/215 5365
/proc/meminfo: memFree=31467120/32770624 swapFree=0/277544
[pid=5320] ppid=5316 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/5320/stat : 5320 (xcsp3-exec) S 5316 5320 5234 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 8638483 9740288 345 18446744073709551615 4194304 5098028 140727869989984 140727869988088 140712297509500 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 7 0 0 7196144 7232144 27537408 140727869993372 140727869993575 140727869993575 140727869997035 0
/proc/5320/statm: 2378 345 289 221 0 87 0
[pid=5327] ppid=5320 vsize=13980732 CPUtime=228.68 cores=1,3,5,7
/proc/5327/stat : 5327 (java) S 5320 5320 5234 0 -1 1077944320 76237 0 3 0 22852 16 0 0 20 0 15 0 8638491 14316269568 59735 18446744073709551615 4194304 4196468 140735516696032 140735516678576 139647951511287 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 9 0 0 6293624 6294260 28844032 140735516701140 140735516701315 140735516701315 140735516704719 0
/proc/5327/statm: 3495183 59735 3225 1 0 3483484 0
[pid=5327/tid=5328] ppid=5320 vsize=13980732 CPUtime=221.55 cores=1,3,5,7
/proc/5327/task/5328/stat : 5328 (java) R 5320 5320 5234 0 -1 4202560 14651 0 2 0 22150 5 0 0 20 0 15 0 8638507 14316269568 59735 18446744073709551615 4194304 4196468 140735516696032 139647955749776 139647593460328 0 4 1 16800974 0 0 0 -1 5 0 0 44 0 0 6293624 6294260 28844032 140735516701140 140735516701315 140735516701315 140735516704719 0
[pid=5327/tid=5334] ppid=5320 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/5327/task/5334/stat : 5334 (java) S 5320 5320 5234 0 -1 1077944384 545 0 0 0 0 0 0 0 20 0 15 0 8638509 14316269568 59735 18446744073709551615 4194304 4196468 140735516696032 139647912409360 139647951521493 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28844032 140735516701140 140735516701315 140735516701315 140735516704719 0
[pid=5327/tid=5335] ppid=5320 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/5327/task/5335/stat : 5335 (java) S 5320 5320 5234 0 -1 1077944384 1220 0 0 0 1 0 0 0 20 0 15 0 8638509 14316269568 59735 18446744073709551615 4194304 4196468 140735516696032 139647911356816 139647951521493 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28844032 140735516701140 140735516701315 140735516701315 140735516704719 0
[pid=5327/tid=5336] ppid=5320 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/5327/task/5336/stat : 5336 (java) S 5320 5320 5234 0 -1 1077944384 215 0 0 0 0 0 0 0 20 0 15 0 8638509 14316269568 59735 18446744073709551615 4194304 4196468 140735516696032 139647910304272 139647951521493 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28844032 140735516701140 140735516701315 140735516701315 140735516704719 0
[pid=5327/tid=5337] ppid=5320 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/5327/task/5337/stat : 5337 (java) S 5320 5320 5234 0 -1 1077944384 1489 0 0 0 1 0 0 0 20 0 15 0 8638509 14316269568 59735 18446744073709551615 4194304 4196468 140735516696032 139647548582544 139647951521493 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28844032 140735516701140 140735516701315 140735516701315 140735516704719 0
[pid=5327/tid=5339] ppid=5320 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/5327/task/5339/stat : 5339 (java) S 5320 5320 5234 0 -1 1077944384 1235 0 0 0 1 0 0 0 20 0 15 0 8638519 14316269568 59735 18446744073709551615 4194304 4196468 140735516696032 139646935202288 139647951522434 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28844032 140735516701140 140735516701315 140735516701315 140735516704719 0
[pid=5327/tid=5340] ppid=5320 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/5327/task/5340/stat : 5340 (java) S 5320 5320 5234 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 8638520 14316269568 59735 18446744073709551615 4194304 4196468 140735516696032 139646934148512 139647951521493 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28844032 140735516701140 140735516701315 140735516701315 140735516704719 0
[pid=5327/tid=5343] ppid=5320 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/5327/task/5343/stat : 5343 (java) S 5320 5320 5234 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 8638520 14316269568 59735 18446744073709551615 4194304 4196468 140735516696032 139646933095920 139647951521493 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28844032 140735516701140 140735516701315 140735516701315 140735516704719 0
[pid=5327/tid=5344] ppid=5320 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/5327/task/5344/stat : 5344 (java) S 5320 5320 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8638523 14316269568 59735 18446744073709551615 4194304 4196468 140735516696032 139646932044496 139647951529883 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28844032 140735516701140 140735516701315 140735516701315 140735516704719 0
[pid=5327/tid=5346] ppid=5320 vsize=13980732 CPUtime=3.3 cores=1,3,5,7
/proc/5327/task/5346/stat : 5346 (java) S 5320 5320 5234 0 -1 1077944384 22825 0 0 0 328 2 0 0 20 0 15 0 8638523 14316269568 59735 18446744073709551615 4194304 4196468 140735516696032 139646930991088 139647951522434 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28844032 140735516701140 140735516701315 140735516701315 140735516704719 0
[pid=5327/tid=5349] ppid=5320 vsize=13980732 CPUtime=3.15 cores=1,3,5,7
/proc/5327/task/5349/stat : 5349 (java) S 5320 5320 5234 0 -1 1077944384 22815 0 0 0 312 3 0 0 20 0 15 0 8638523 14316269568 59735 18446744073709551615 4194304 4196468 140735516696032 139646929938544 139647951522434 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28844032 140735516701140 140735516701315 140735516701315 140735516704719 0
[pid=5327/tid=5351] ppid=5320 vsize=13980732 CPUtime=0.53 cores=1,3,5,7
/proc/5327/task/5351/stat : 5351 (java) S 5320 5320 5234 0 -1 1077944384 8390 0 0 0 52 1 0 0 20 0 15 0 8638523 14316269568 59735 18446744073709551615 4194304 4196468 140735516696032 139646928886000 139647951522434 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28844032 140735516701140 140735516701315 140735516701315 140735516704719 0
[pid=5327/tid=5353] ppid=5320 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/5327/task/5353/stat : 5353 (java) S 5320 5320 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8638523 14316269568 59735 18446744073709551615 4194304 4196468 140735516696032 139646927833696 139647951521493 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28844032 140735516701140 140735516701315 140735516701315 140735516704719 0
[pid=5327/tid=5354] ppid=5320 vsize=13980732 CPUtime=0.04 cores=1,3,5,7
/proc/5327/task/5354/stat : 5354 (java) S 5320 5320 5234 0 -1 1077944384 1498 0 0 0 2 2 0 0 20 0 15 0 8638528 14316269568 59735 18446744073709551615 4194304 4196468 140735516696032 139646926781232 139647951522434 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28844032 140735516701140 140735516701315 140735516701315 140735516704719 0
Current children cumulated CPU time (s) 228.68
Current children cumulated vsize (KiB) 13990244
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.001 s]
/proc/loadavg: 1.97 1.13 0.50 3/215 5365
/proc/meminfo: memFree=31464976/32770624 swapFree=0/277552
[pid=5320] ppid=5316 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/5320/stat : 5320 (xcsp3-exec) S 5316 5320 5234 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 8638483 9740288 345 18446744073709551615 4194304 5098028 140727869989984 140727869988088 140712297509500 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 7 0 0 7196144 7232144 27537408 140727869993372 140727869993575 140727869993575 140727869997035 0
/proc/5320/statm: 2378 345 289 221 0 87 0
[pid=5327] ppid=5320 vsize=13980732 CPUtime=246.37 cores=1,3,5,7
/proc/5327/stat : 5327 (java) S 5320 5320 5234 0 -1 1077944320 76238 0 3 0 24621 16 0 0 20 0 15 0 8638491 14316269568 59735 18446744073709551615 4194304 4196468 140735516696032 140735516678576 139647951511287 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 9 0 0 6293624 6294260 28844032 140735516701140 140735516701315 140735516701315 140735516704719 0
/proc/5327/statm: 3495183 59735 3225 1 0 3483484 0
[pid=5327/tid=5328] ppid=5320 vsize=13980732 CPUtime=239.24 cores=1,3,5,7
/proc/5327/task/5328/stat : 5328 (java) R 5320 5320 5234 0 -1 4202560 14652 0 2 0 23919 5 0 0 20 0 15 0 8638507 14316269568 59735 18446744073709551615 4194304 4196468 140735516696032 139647955748696 139647593459741 0 4 1 16800974 0 0 0 -1 5 0 0 44 0 0 6293624 6294260 28844032 140735516701140 140735516701315 140735516701315 140735516704719 0
[pid=5327/tid=5334] ppid=5320 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/5327/task/5334/stat : 5334 (java) S 5320 5320 5234 0 -1 1077944384 545 0 0 0 0 0 0 0 20 0 15 0 8638509 14316269568 59735 18446744073709551615 4194304 4196468 140735516696032 139647912409360 139647951521493 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28844032 140735516701140 140735516701315 140735516701315 140735516704719 0
[pid=5327/tid=5335] ppid=5320 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/5327/task/5335/stat : 5335 (java) S 5320 5320 5234 0 -1 1077944384 1220 0 0 0 1 0 0 0 20 0 15 0 8638509 14316269568 59735 18446744073709551615 4194304 4196468 140735516696032 139647911356816 139647951521493 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28844032 140735516701140 140735516701315 140735516701315 140735516704719 0
[pid=5327/tid=5336] ppid=5320 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/5327/task/5336/stat : 5336 (java) S 5320 5320 5234 0 -1 1077944384 215 0 0 0 0 0 0 0 20 0 15 0 8638509 14316269568 59735 18446744073709551615 4194304 4196468 140735516696032 139647910304272 139647951521493 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28844032 140735516701140 140735516701315 140735516701315 140735516704719 0
[pid=5327/tid=5337] ppid=5320 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/5327/task/5337/stat : 5337 (java) S 5320 5320 5234 0 -1 1077944384 1489 0 0 0 1 0 0 0 20 0 15 0 8638509 14316269568 59735 18446744073709551615 4194304 4196468 140735516696032 139647548582544 139647951521493 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28844032 140735516701140 140735516701315 140735516701315 140735516704719 0
[pid=5327/tid=5339] ppid=5320 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/5327/task/5339/stat : 5339 (java) S 5320 5320 5234 0 -1 1077944384 1235 0 0 0 1 0 0 0 20 0 15 0 8638519 14316269568 59735 18446744073709551615 4194304 4196468 140735516696032 139646935202288 139647951522434 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28844032 140735516701140 140735516701315 140735516701315 140735516704719 0
[pid=5327/tid=5340] ppid=5320 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/5327/task/5340/stat : 5340 (java) S 5320 5320 5234 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 8638520 14316269568 59735 18446744073709551615 4194304 4196468 140735516696032 139646934148512 139647951521493 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28844032 140735516701140 140735516701315 140735516701315 140735516704719 0
[pid=5327/tid=5343] ppid=5320 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/5327/task/5343/stat : 5343 (java) S 5320 5320 5234 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 8638520 14316269568 59735 18446744073709551615 4194304 4196468 140735516696032 139646933095920 139647951521493 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28844032 140735516701140 140735516701315 140735516701315 140735516704719 0
[pid=5327/tid=5344] ppid=5320 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/5327/task/5344/stat : 5344 (java) S 5320 5320 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8638523 14316269568 59735 18446744073709551615 4194304 4196468 140735516696032 139646932044496 139647951529883 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28844032 140735516701140 140735516701315 140735516701315 140735516704719 0
[pid=5327/tid=5346] ppid=5320 vsize=13980732 CPUtime=3.3 cores=1,3,5,7
/proc/5327/task/5346/stat : 5346 (java) S 5320 5320 5234 0 -1 1077944384 22825 0 0 0 328 2 0 0 20 0 15 0 8638523 14316269568 59735 18446744073709551615 4194304 4196468 140735516696032 139646930991088 139647951522434 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28844032 140735516701140 140735516701315 140735516701315 140735516704719 0
[pid=5327/tid=5349] ppid=5320 vsize=13980732 CPUtime=3.15 cores=1,3,5,7
/proc/5327/task/5349/stat : 5349 (java) S 5320 5320 5234 0 -1 1077944384 22815 0 0 0 312 3 0 0 20 0 15 0 8638523 14316269568 59735 18446744073709551615 4194304 4196468 140735516696032 139646929938544 139647951522434 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28844032 140735516701140 140735516701315 140735516701315 140735516704719 0
[pid=5327/tid=5351] ppid=5320 vsize=13980732 CPUtime=0.53 cores=1,3,5,7
/proc/5327/task/5351/stat : 5351 (java) S 5320 5320 5234 0 -1 1077944384 8390 0 0 0 52 1 0 0 20 0 15 0 8638523 14316269568 59735 18446744073709551615 4194304 4196468 140735516696032 139646928886000 139647951522434 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28844032 140735516701140 140735516701315 140735516701315 140735516704719 0
[pid=5327/tid=5353] ppid=5320 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/5327/task/5353/stat : 5353 (java) S 5320 5320 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8638523 14316269568 59735 18446744073709551615 4194304 4196468 140735516696032 139646927833696 139647951521493 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28844032 140735516701140 140735516701315 140735516701315 140735516704719 0
[pid=5327/tid=5354] ppid=5320 vsize=13980732 CPUtime=0.04 cores=1,3,5,7
/proc/5327/task/5354/stat : 5354 (java) S 5320 5320 5234 0 -1 1077944384 1498 0 0 0 2 2 0 0 20 0 15 0 8638528 14316269568 59735 18446744073709551615 4194304 4196468 140735516696032 139646926781232 139647951522434 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28844032 140735516701140 140735516701315 140735516701315 140735516704719 0
Current children cumulated CPU time (s) 246.37
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 5327 sig 9
??? kill 5320 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 5320 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=2257
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=122
# CPU time returned by wait4() is 0.002379
# while last known CPU time is 246.37
#
# 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): 246.37
CPU user time (s): 246.21
CPU system time (s): 0.16
CPU usage (%): 102.65
Max. virtual memory (cumulated for all children) (KiB): 13992696
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.002257
system time used= 0.000122
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= 11
involuntary context switches= 1
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.949565 second user time and 1.40477 second system time
The end