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-4254264-1501611685/watcher-4254264-1501611685 -o /tmp/evaluation-result-4254264-1501611685/solver-4254264-1501611685 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node135-1501610360-3273 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 1393198323 HOME/instance-4254264-1501611685.xml
pid=3663
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: 2.00 1.63 0.85 3/183 3669
/proc/meminfo: memFree=32118504/32770624 swapFree=0/148892
[pid=3669] ppid=3663 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/3669/stat : 3669 (runsolver) D 3663 3669 3187 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 3079128 24240128 108 18446744073709551615 4194304 4338465 140725298744608 140725298742248 140549808038615 0 0 1 24578 18446744071580418449 0 0 17 4 0 0 0 0 0 6438912 6441760 12771328 140725298753630 140725298754119 140725298754119 140725298757578 0
/proc/3669/statm: 5918 108 54 36 0 2156 0
[startup+0.100121 s]
/proc/loadavg: 2.00 1.63 0.85 3/183 3669
/proc/meminfo: memFree=32118504/32770624 swapFree=0/148892
[pid=3669] ppid=3663 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/3669/stat : 3669 (xcsp3-exec) S 3663 3669 3187 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 3079128 9740288 345 18446744073709551615 4194304 5098028 140735581844336 140735581842440 140489188262524 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 9 0 0 7196144 7232144 27926528 140735581847964 140735581848168 140735581848168 140735581851627 0
/proc/3669/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200344 s]
/proc/loadavg: 2.00 1.63 0.85 3/183 3669
/proc/meminfo: memFree=32118504/32770624 swapFree=0/148892
[pid=3669] ppid=3663 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/3669/stat : 3669 (xcsp3-exec) S 3663 3669 3187 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 3079128 9740288 345 18446744073709551615 4194304 5098028 140735581844336 140735581842440 140489188262524 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 9 0 0 7196144 7232144 27926528 140735581847964 140735581848168 140735581848168 140735581851627 0
/proc/3669/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300274 s]
/proc/loadavg: 2.00 1.63 0.85 3/183 3669
/proc/meminfo: memFree=32118504/32770624 swapFree=0/148892
[pid=3669] ppid=3663 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/3669/stat : 3669 (xcsp3-exec) S 3663 3669 3187 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 3079128 9740288 345 18446744073709551615 4194304 5098028 140735581844336 140735581842440 140489188262524 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 9 0 0 7196144 7232144 27926528 140735581847964 140735581848168 140735581848168 140735581851627 0
/proc/3669/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700184 s]
/proc/loadavg: 2.00 1.63 0.85 3/183 3669
/proc/meminfo: memFree=32118504/32770624 swapFree=0/148892
[pid=3669] ppid=3663 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/3669/stat : 3669 (xcsp3-exec) S 3663 3669 3187 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 3079128 9740288 345 18446744073709551615 4194304 5098028 140735581844336 140735581842440 140489188262524 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 9 0 0 7196144 7232144 27926528 140735581847964 140735581848168 140735581848168 140735581851627 0
/proc/3669/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50065 s]
/proc/loadavg: 2.00 1.63 0.85 8/215 3701
/proc/meminfo: memFree=31941176/32770624 swapFree=0/148896
[pid=3669] ppid=3663 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/3669/stat : 3669 (xcsp3-exec) S 3663 3669 3187 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 3079128 9740288 345 18446744073709551615 4194304 5098028 140735581844336 140735581842440 140489188262524 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 9 0 0 7196144 7232144 27926528 140735581847964 140735581848168 140735581848168 140735581851627 0
/proc/3669/statm: 2378 345 289 221 0 87 0
[pid=3673] ppid=3669 vsize=13980732 CPUtime=3.58 cores=0,2,4,6
/proc/3673/stat : 3673 (java) S 3669 3669 3187 0 -1 1077944320 35166 0 0 0 352 6 0 0 20 0 15 0 3079137 14316269568 30536 18446744073709551615 4194304 4196468 140734553708384 140734553690928 139903707369207 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 30330880 140734553711061 140734553711236 140734553711236 140734553714639 0
/proc/3673/statm: 3495183 30536 3175 1 0 3483484 0
[pid=3673/tid=3675] ppid=3669 vsize=13980732 CPUtime=1.3 cores=0,2,4,6
/proc/3673/task/3675/stat : 3675 (java) R 3669 3669 3187 0 -1 4202560 9214 0 0 0 126 4 0 0 20 0 15 0 3079138 14316269568 30536 18446744073709551615 4194304 4196468 140734553708384 139903711604424 139903347187467 0 4 1 16800974 0 0 0 -1 0 0 0 8 0 0 6293624 6294260 30330880 140734553711061 140734553711236 140734553711236 140734553714639 0
[pid=3673/tid=3680] ppid=3669 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/3673/task/3680/stat : 3680 (java) S 3669 3669 3187 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 3079138 14316269568 30536 18446744073709551615 4194304 4196468 140734553708384 139903664335888 139903707379413 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30330880 140734553711061 140734553711236 140734553711236 140734553714639 0
[pid=3673/tid=3681] ppid=3669 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/3673/task/3681/stat : 3681 (java) S 3669 3669 3187 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 3079139 14316269568 30536 18446744073709551615 4194304 4196468 140734553708384 139903663283344 139903707379413 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30330880 140734553711061 140734553711236 140734553711236 140734553714639 0
[pid=3673/tid=3682] ppid=3669 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/3673/task/3682/stat : 3682 (java) S 3669 3669 3187 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 3079139 14316269568 30536 18446744073709551615 4194304 4196468 140734553708384 139903662230288 139903707379413 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30330880 140734553711061 140734553711236 140734553711236 140734553714639 0
[pid=3673/tid=3683] ppid=3669 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/3673/task/3683/stat : 3683 (java) S 3669 3669 3187 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 3079139 14316269568 30536 18446744073709551615 4194304 4196468 140734553708384 139903304395664 139903707379413 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30330880 140734553711061 140734553711236 140734553711236 140734553714639 0
[pid=3673/tid=3685] ppid=3669 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/3673/task/3685/stat : 3685 (java) S 3669 3669 3187 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 3079140 14316269568 30536 18446744073709551615 4194304 4196468 140734553708384 139903185688816 139903707380354 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30330880 140734553711061 140734553711236 140734553711236 140734553714639 0
[pid=3673/tid=3687] ppid=3669 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/3673/task/3687/stat : 3687 (java) S 3669 3669 3187 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 3079140 14316269568 30536 18446744073709551615 4194304 4196468 140734553708384 139903184635040 139903707379413 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30330880 140734553711061 140734553711236 140734553711236 140734553714639 0
[pid=3673/tid=3689] ppid=3669 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/3673/task/3689/stat : 3689 (java) S 3669 3669 3187 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 3079141 14316269568 30536 18446744073709551615 4194304 4196468 140734553708384 139903183581936 139903707379413 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30330880 140734553711061 140734553711236 140734553711236 140734553714639 0
[pid=3673/tid=3694] ppid=3669 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/3673/task/3694/stat : 3694 (java) S 3669 3669 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3079143 14316269568 30536 18446744073709551615 4194304 4196468 140734553708384 139903182530512 139903707387803 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30330880 140734553711061 140734553711236 140734553711236 140734553714639 0
[pid=3673/tid=3695] ppid=3669 vsize=13980732 CPUtime=0.93 cores=0,2,4,6
/proc/3673/task/3695/stat : 3695 (java) R 3669 3669 3187 0 -1 4202560 11050 0 0 0 92 1 0 0 20 0 15 0 3079143 14316269568 30536 18446744073709551615 4194304 4196468 140734553708384 139903181478768 139903690869405 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30330880 140734553711061 140734553711236 140734553711236 140734553714639 0
[pid=3673/tid=3696] ppid=3669 vsize=13980732 CPUtime=0.86 cores=0,2,4,6
/proc/3673/task/3696/stat : 3696 (java) R 3669 3669 3187 0 -1 4202560 10240 0 0 0 85 1 0 0 20 0 15 0 3079143 14316269568 30536 18446744073709551615 4194304 4196468 140734553708384 139903180418584 139903688892175 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30330880 140734553711061 140734553711236 140734553711236 140734553714639 0
[pid=3673/tid=3697] ppid=3669 vsize=13980732 CPUtime=0.47 cores=0,2,4,6
/proc/3673/task/3697/stat : 3697 (java) S 3669 3669 3187 0 -1 1077944384 3352 0 0 0 47 0 0 0 20 0 15 0 3079143 14316269568 30536 18446744073709551615 4194304 4196468 140734553708384 139903179373040 139903707380354 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30330880 140734553711061 140734553711236 140734553711236 140734553714639 0
[pid=3673/tid=3699] ppid=3669 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/3673/task/3699/stat : 3699 (java) S 3669 3669 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3079143 14316269568 30536 18446744073709551615 4194304 4196468 140734553708384 139903178320736 139903707379413 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30330880 140734553711061 140734553711236 140734553711236 140734553714639 0
[pid=3673/tid=3701] ppid=3669 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/3673/task/3701/stat : 3701 (java) S 3669 3669 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3079152 14316269568 30536 18446744073709551615 4194304 4196468 140734553708384 139903177267760 139903707380354 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30330880 140734553711061 140734553711236 140734553711236 140734553714639 0
Current children cumulated CPU time (s) 3.58
Current children cumulated vsize (KiB) 13990244
[startup+3.10074 s]
/proc/loadavg: 2.00 1.63 0.85 7/215 3701
/proc/meminfo: memFree=31894904/32770624 swapFree=0/148896
[pid=3669] ppid=3663 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/3669/stat : 3669 (xcsp3-exec) S 3663 3669 3187 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 3079128 9740288 345 18446744073709551615 4194304 5098028 140735581844336 140735581842440 140489188262524 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 9 0 0 7196144 7232144 27926528 140735581847964 140735581848168 140735581848168 140735581851627 0
/proc/3669/statm: 2378 345 289 221 0 87 0
[pid=3673] ppid=3669 vsize=13980732 CPUtime=7.7 cores=0,2,4,6
/proc/3673/stat : 3673 (java) S 3669 3669 3187 0 -1 1077944320 38377 0 0 0 763 7 0 0 20 0 15 0 3079137 14316269568 32654 18446744073709551615 4194304 4196468 140734553708384 140734553690928 139903707369207 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 30330880 140734553711061 140734553711236 140734553711236 140734553714639 0
/proc/3673/statm: 3495183 32654 3193 1 0 3483484 0
[pid=3673/tid=3675] ppid=3669 vsize=13980732 CPUtime=2.89 cores=0,2,4,6
/proc/3673/task/3675/stat : 3675 (java) R 3669 3669 3187 0 -1 4202560 10035 0 0 0 285 4 0 0 20 0 15 0 3079138 14316269568 32654 18446744073709551615 4194304 4196468 140734553708384 139903711604448 139903347378800 0 4 1 16800974 0 0 0 -1 0 0 0 8 0 0 6293624 6294260 30330880 140734553711061 140734553711236 140734553711236 140734553714639 0
[pid=3673/tid=3680] ppid=3669 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/3673/task/3680/stat : 3680 (java) S 3669 3669 3187 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 3079138 14316269568 32654 18446744073709551615 4194304 4196468 140734553708384 139903664335888 139903707379413 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30330880 140734553711061 140734553711236 140734553711236 140734553714639 0
[pid=3673/tid=3681] ppid=3669 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/3673/task/3681/stat : 3681 (java) S 3669 3669 3187 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 3079139 14316269568 32654 18446744073709551615 4194304 4196468 140734553708384 139903663283344 139903707379413 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30330880 140734553711061 140734553711236 140734553711236 140734553714639 0
[pid=3673/tid=3682] ppid=3669 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/3673/task/3682/stat : 3682 (java) S 3669 3669 3187 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 3079139 14316269568 32654 18446744073709551615 4194304 4196468 140734553708384 139903662230288 139903707379413 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30330880 140734553711061 140734553711236 140734553711236 140734553714639 0
[pid=3673/tid=3683] ppid=3669 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/3673/task/3683/stat : 3683 (java) S 3669 3669 3187 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 3079139 14316269568 32654 18446744073709551615 4194304 4196468 140734553708384 139903304395664 139903707379413 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30330880 140734553711061 140734553711236 140734553711236 140734553714639 0
[pid=3673/tid=3685] ppid=3669 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/3673/task/3685/stat : 3685 (java) S 3669 3669 3187 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 3079140 14316269568 32654 18446744073709551615 4194304 4196468 140734553708384 139903185688816 139903707380354 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30330880 140734553711061 140734553711236 140734553711236 140734553714639 0
[pid=3673/tid=3687] ppid=3669 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/3673/task/3687/stat : 3687 (java) S 3669 3669 3187 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 3079140 14316269568 32654 18446744073709551615 4194304 4196468 140734553708384 139903184635040 139903707379413 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30330880 140734553711061 140734553711236 140734553711236 140734553714639 0
[pid=3673/tid=3689] ppid=3669 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/3673/task/3689/stat : 3689 (java) S 3669 3669 3187 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 3079141 14316269568 32654 18446744073709551615 4194304 4196468 140734553708384 139903183581936 139903707379413 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30330880 140734553711061 140734553711236 140734553711236 140734553714639 0
[pid=3673/tid=3694] ppid=3669 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/3673/task/3694/stat : 3694 (java) S 3669 3669 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3079143 14316269568 32654 18446744073709551615 4194304 4196468 140734553708384 139903182530512 139903707387803 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30330880 140734553711061 140734553711236 140734553711236 140734553714639 0
[pid=3673/tid=3695] ppid=3669 vsize=13980732 CPUtime=2.18 cores=0,2,4,6
/proc/3673/task/3695/stat : 3695 (java) S 3669 3669 3187 0 -1 1077944384 12248 0 0 0 217 1 0 0 20 0 15 0 3079143 14316269568 32654 18446744073709551615 4194304 4196468 140734553708384 139903181478640 139903707380354 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30330880 140734553711061 140734553711236 140734553711236 140734553714639 0
[pid=3673/tid=3696] ppid=3669 vsize=13980732 CPUtime=2.07 cores=0,2,4,6
/proc/3673/task/3696/stat : 3696 (java) R 3669 3669 3187 0 -1 4202560 11172 0 0 0 206 1 0 0 20 0 15 0 3079143 14316269568 32654 18446744073709551615 4194304 4196468 140734553708384 139903180426392 139903688913474 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 30330880 140734553711061 140734553711236 140734553711236 140734553714639 0
[pid=3673/tid=3697] ppid=3669 vsize=13980732 CPUtime=0.52 cores=0,2,4,6
/proc/3673/task/3697/stat : 3697 (java) S 3669 3669 3187 0 -1 1077944384 3566 0 0 0 52 0 0 0 20 0 15 0 3079143 14316269568 32654 18446744073709551615 4194304 4196468 140734553708384 139903179373040 139903707380354 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30330880 140734553711061 140734553711236 140734553711236 140734553714639 0
[pid=3673/tid=3699] ppid=3669 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/3673/task/3699/stat : 3699 (java) S 3669 3669 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3079143 14316269568 32654 18446744073709551615 4194304 4196468 140734553708384 139903178320736 139903707379413 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30330880 140734553711061 140734553711236 140734553711236 140734553714639 0
[pid=3673/tid=3701] ppid=3669 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/3673/task/3701/stat : 3701 (java) S 3669 3669 3187 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 15 0 3079152 14316269568 32654 18446744073709551615 4194304 4196468 140734553708384 139903177267760 139903707380354 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30330880 140734553711061 140734553711236 140734553711236 140734553714639 0
Current children cumulated CPU time (s) 7.7
Current children cumulated vsize (KiB) 13990244
[startup+6.3007 s]
/proc/loadavg: 2.08 1.65 0.86 4/215 3701
/proc/meminfo: memFree=31829624/32770624 swapFree=0/148916
[pid=3669] ppid=3663 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/3669/stat : 3669 (xcsp3-exec) S 3663 3669 3187 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 3079128 9740288 345 18446744073709551615 4194304 5098028 140735581844336 140735581842440 140489188262524 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 9 0 0 7196144 7232144 27926528 140735581847964 140735581848168 140735581848168 140735581851627 0
/proc/3669/statm: 2378 345 289 221 0 87 0
[pid=3673] ppid=3669 vsize=13980732 CPUtime=12.03 cores=0,2,4,6
/proc/3673/stat : 3673 (java) S 3669 3669 3187 0 -1 1077944320 46090 0 0 0 1195 8 0 0 20 0 15 0 3079137 14316269568 34895 18446744073709551615 4194304 4196468 140734553708384 140734553690928 139903707369207 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 30330880 140734553711061 140734553711236 140734553711236 140734553714639 0
/proc/3673/statm: 3495183 34895 3197 1 0 3483484 0
[pid=3673/tid=3675] ppid=3669 vsize=13980732 CPUtime=6.08 cores=0,2,4,6
/proc/3673/task/3675/stat : 3675 (java) R 3669 3669 3187 0 -1 4202560 10644 0 0 0 604 4 0 0 20 0 15 0 3079138 14316269568 34895 18446744073709551615 4194304 4196468 140734553708384 139903711604480 139903348763194 0 4 1 16800974 0 0 0 -1 4 0 0 8 0 0 6293624 6294260 30330880 140734553711061 140734553711236 140734553711236 140734553714639 0
[pid=3673/tid=3680] ppid=3669 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/3673/task/3680/stat : 3680 (java) S 3669 3669 3187 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 3079138 14316269568 34895 18446744073709551615 4194304 4196468 140734553708384 139903664335888 139903707379413 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30330880 140734553711061 140734553711236 140734553711236 140734553714639 0
[pid=3673/tid=3681] ppid=3669 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/3673/task/3681/stat : 3681 (java) S 3669 3669 3187 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 3079139 14316269568 34895 18446744073709551615 4194304 4196468 140734553708384 139903663283344 139903707379413 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30330880 140734553711061 140734553711236 140734553711236 140734553714639 0
[pid=3673/tid=3682] ppid=3669 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/3673/task/3682/stat : 3682 (java) S 3669 3669 3187 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 3079139 14316269568 34895 18446744073709551615 4194304 4196468 140734553708384 139903662230288 139903707379413 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30330880 140734553711061 140734553711236 140734553711236 140734553714639 0
[pid=3673/tid=3683] ppid=3669 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/3673/task/3683/stat : 3683 (java) S 3669 3669 3187 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 3079139 14316269568 34895 18446744073709551615 4194304 4196468 140734553708384 139903304395664 139903707379413 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30330880 140734553711061 140734553711236 140734553711236 140734553714639 0
[pid=3673/tid=3685] ppid=3669 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/3673/task/3685/stat : 3685 (java) S 3669 3669 3187 0 -1 1077944384 296 0 0 0 0 0 0 0 20 0 15 0 3079140 14316269568 34895 18446744073709551615 4194304 4196468 140734553708384 139903185688816 139903707380354 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30330880 140734553711061 140734553711236 140734553711236 140734553714639 0
[pid=3673/tid=3687] ppid=3669 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/3673/task/3687/stat : 3687 (java) S 3669 3669 3187 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 3079140 14316269568 34895 18446744073709551615 4194304 4196468 140734553708384 139903184635040 139903707379413 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30330880 140734553711061 140734553711236 140734553711236 140734553714639 0
[pid=3673/tid=3689] ppid=3669 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/3673/task/3689/stat : 3689 (java) S 3669 3669 3187 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 3079141 14316269568 34895 18446744073709551615 4194304 4196468 140734553708384 139903183581936 139903707379413 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30330880 140734553711061 140734553711236 140734553711236 140734553714639 0
[pid=3673/tid=3694] ppid=3669 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/3673/task/3694/stat : 3694 (java) S 3669 3669 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3079143 14316269568 34895 18446744073709551615 4194304 4196468 140734553708384 139903182530512 139903707387803 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30330880 140734553711061 140734553711236 140734553711236 140734553714639 0
[pid=3673/tid=3695] ppid=3669 vsize=13980732 CPUtime=2.73 cores=0,2,4,6
/proc/3673/task/3695/stat : 3695 (java) S 3669 3669 3187 0 -1 1077944384 14841 0 0 0 272 1 0 0 20 0 15 0 3079143 14316269568 34895 18446744073709551615 4194304 4196468 140734553708384 139903181478640 139903707380354 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30330880 140734553711061 140734553711236 140734553711236 140734553714639 0
[pid=3673/tid=3696] ppid=3669 vsize=13980732 CPUtime=2.62 cores=0,2,4,6
/proc/3673/task/3696/stat : 3696 (java) S 3669 3669 3187 0 -1 1077944384 14131 0 0 0 261 1 0 0 20 0 15 0 3079143 14316269568 34895 18446744073709551615 4194304 4196468 140734553708384 139903180426096 139903707380354 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30330880 140734553711061 140734553711236 140734553711236 140734553714639 0
[pid=3673/tid=3697] ppid=3669 vsize=13980732 CPUtime=0.56 cores=0,2,4,6
/proc/3673/task/3697/stat : 3697 (java) S 3669 3669 3187 0 -1 1077944384 4149 0 0 0 56 0 0 0 20 0 15 0 3079143 14316269568 34895 18446744073709551615 4194304 4196468 140734553708384 139903179373040 139903707380354 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30330880 140734553711061 140734553711236 140734553711236 140734553714639 0
[pid=3673/tid=3699] ppid=3669 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/3673/task/3699/stat : 3699 (java) S 3669 3669 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3079143 14316269568 34895 18446744073709551615 4194304 4196468 140734553708384 139903178320736 139903707379413 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30330880 140734553711061 140734553711236 140734553711236 140734553714639 0
[pid=3673/tid=3701] ppid=3669 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/3673/task/3701/stat : 3701 (java) S 3669 3669 3187 0 -1 1077944384 727 0 0 0 0 0 0 0 20 0 15 0 3079152 14316269568 34895 18446744073709551615 4194304 4196468 140734553708384 139903177267760 139903707380354 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30330880 140734553711061 140734553711236 140734553711236 140734553714639 0
Current children cumulated CPU time (s) 12.03
Current children cumulated vsize (KiB) 13990244
[startup+12.7007 s]
/proc/loadavg: 2.07 1.65 0.87 4/215 3701
/proc/meminfo: memFree=31779552/32770624 swapFree=0/148916
[pid=3669] ppid=3663 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/3669/stat : 3669 (xcsp3-exec) S 3663 3669 3187 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 3079128 9740288 345 18446744073709551615 4194304 5098028 140735581844336 140735581842440 140489188262524 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 9 0 0 7196144 7232144 27926528 140735581847964 140735581848168 140735581848168 140735581851627 0
/proc/3669/statm: 2378 345 289 221 0 87 0
[pid=3673] ppid=3669 vsize=13980732 CPUtime=18.51 cores=0,2,4,6
/proc/3673/stat : 3673 (java) S 3669 3669 3187 0 -1 1077944320 48935 0 0 0 1842 9 0 0 20 0 15 0 3079137 14316269568 35438 18446744073709551615 4194304 4196468 140734553708384 140734553690928 139903707369207 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 30330880 140734553711061 140734553711236 140734553711236 140734553714639 0
/proc/3673/statm: 3495183 35438 3197 1 0 3483484 0
[pid=3673/tid=3675] ppid=3669 vsize=13980732 CPUtime=12.48 cores=0,2,4,6
/proc/3673/task/3675/stat : 3675 (java) R 3669 3669 3187 0 -1 4202560 11165 0 0 0 1244 4 0 0 20 0 15 0 3079138 14316269568 35438 18446744073709551615 4194304 4196468 140734553708384 139903711605312 139903349601697 0 4 1 16800974 0 0 0 -1 4 0 0 8 0 0 6293624 6294260 30330880 140734553711061 140734553711236 140734553711236 140734553714639 0
[pid=3673/tid=3680] ppid=3669 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/3673/task/3680/stat : 3680 (java) S 3669 3669 3187 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 3079138 14316269568 35438 18446744073709551615 4194304 4196468 140734553708384 139903664335888 139903707379413 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30330880 140734553711061 140734553711236 140734553711236 140734553714639 0
[pid=3673/tid=3681] ppid=3669 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/3673/task/3681/stat : 3681 (java) S 3669 3669 3187 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 3079139 14316269568 35438 18446744073709551615 4194304 4196468 140734553708384 139903663283344 139903707379413 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30330880 140734553711061 140734553711236 140734553711236 140734553714639 0
################
# More data... #
################
[pid=3673/tid=3687] ppid=3669 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/3673/task/3687/stat : 3687 (java) S 3669 3669 3187 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 3079140 14316269568 42258 18446744073709551615 4194304 4196468 140734553708384 139903184635040 139903707379413 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30330880 140734553711061 140734553711236 140734553711236 140734553714639 0
[pid=3673/tid=3689] ppid=3669 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/3673/task/3689/stat : 3689 (java) S 3669 3669 3187 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 3079141 14316269568 42258 18446744073709551615 4194304 4196468 140734553708384 139903183581936 139903707379413 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30330880 140734553711061 140734553711236 140734553711236 140734553714639 0
[pid=3673/tid=3694] ppid=3669 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/3673/task/3694/stat : 3694 (java) S 3669 3669 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3079143 14316269568 42258 18446744073709551615 4194304 4196468 140734553708384 139903182530512 139903707387803 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30330880 140734553711061 140734553711236 140734553711236 140734553714639 0
[pid=3673/tid=3695] ppid=3669 vsize=13980732 CPUtime=3.03 cores=0,2,4,6
/proc/3673/task/3695/stat : 3695 (java) S 3669 3669 3187 0 -1 1077944384 18722 0 0 0 302 1 0 0 20 0 15 0 3079143 14316269568 42258 18446744073709551615 4194304 4196468 140734553708384 139903181478640 139903707380354 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30330880 140734553711061 140734553711236 140734553711236 140734553714639 0
[pid=3673/tid=3696] ppid=3669 vsize=13980732 CPUtime=2.77 cores=0,2,4,6
/proc/3673/task/3696/stat : 3696 (java) S 3669 3669 3187 0 -1 1077944384 18192 0 0 0 276 1 0 0 20 0 15 0 3079143 14316269568 42258 18446744073709551615 4194304 4196468 140734553708384 139903180426096 139903707380354 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30330880 140734553711061 140734553711236 140734553711236 140734553714639 0
[pid=3673/tid=3697] ppid=3669 vsize=13980732 CPUtime=0.63 cores=0,2,4,6
/proc/3673/task/3697/stat : 3697 (java) S 3669 3669 3187 0 -1 1077944384 7014 0 0 0 62 1 0 0 20 0 15 0 3079143 14316269568 42258 18446744073709551615 4194304 4196468 140734553708384 139903179373040 139903707380354 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30330880 140734553711061 140734553711236 140734553711236 140734553714639 0
[pid=3673/tid=3699] ppid=3669 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/3673/task/3699/stat : 3699 (java) S 3669 3669 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3079143 14316269568 42258 18446744073709551615 4194304 4196468 140734553708384 139903178320736 139903707379413 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30330880 140734553711061 140734553711236 140734553711236 140734553714639 0
[pid=3673/tid=3701] ppid=3669 vsize=13980732 CPUtime=0.03 cores=0,2,4,6
/proc/3673/task/3701/stat : 3701 (java) S 3669 3669 3187 0 -1 1077944384 1102 0 0 0 1 2 0 0 20 0 15 0 3079152 14316269568 42258 18446744073709551615 4194304 4196468 140734553708384 139903177267760 139903707380354 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30330880 140734553711061 140734553711236 140734553711236 140734553714639 0
Current children cumulated CPU time (s) 108.61
Current children cumulated vsize (KiB) 13990244
[startup+162.301 s]
/proc/loadavg: 1.98 1.77 1.02 4/216 3713
/proc/meminfo: memFree=31719032/32770624 swapFree=0/148996
[pid=3669] ppid=3663 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/3669/stat : 3669 (xcsp3-exec) S 3663 3669 3187 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 3079128 9740288 345 18446744073709551615 4194304 5098028 140735581844336 140735581842440 140489188262524 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 9 0 0 7196144 7232144 27926528 140735581847964 140735581848168 140735581848168 140735581851627 0
/proc/3669/statm: 2378 345 289 221 0 87 0
[pid=3673] ppid=3669 vsize=13980732 CPUtime=168.97 cores=0,2,4,6
/proc/3673/stat : 3673 (java) S 3669 3669 3187 0 -1 1077944320 65021 0 0 0 16883 14 0 0 20 0 15 0 3079137 14316269568 46911 18446744073709551615 4194304 4196468 140734553708384 140734553690928 139903707369207 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 30330880 140734553711061 140734553711236 140734553711236 140734553714639 0
/proc/3673/statm: 3495183 46911 3204 1 0 3483484 0
[pid=3673/tid=3675] ppid=3669 vsize=13980732 CPUtime=162.09 cores=0,2,4,6
/proc/3673/task/3675/stat : 3675 (java) R 3669 3669 3187 0 -1 4202560 14275 0 0 0 16204 5 0 0 20 0 15 0 3079138 14316269568 46911 18446744073709551615 4194304 4196468 140734553708384 139903711604752 139903349613007 0 4 1 16800974 0 0 0 -1 4 0 0 8 0 0 6293624 6294260 30330880 140734553711061 140734553711236 140734553711236 140734553714639 0
[pid=3673/tid=3680] ppid=3669 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/3673/task/3680/stat : 3680 (java) S 3669 3669 3187 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 3079138 14316269568 46911 18446744073709551615 4194304 4196468 140734553708384 139903664335888 139903707379413 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30330880 140734553711061 140734553711236 140734553711236 140734553714639 0
[pid=3673/tid=3681] ppid=3669 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/3673/task/3681/stat : 3681 (java) S 3669 3669 3187 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 3079139 14316269568 46911 18446744073709551615 4194304 4196468 140734553708384 139903663283344 139903707379413 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30330880 140734553711061 140734553711236 140734553711236 140734553714639 0
[pid=3673/tid=3682] ppid=3669 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/3673/task/3682/stat : 3682 (java) S 3669 3669 3187 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 3079139 14316269568 46911 18446744073709551615 4194304 4196468 140734553708384 139903662230288 139903707379413 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30330880 140734553711061 140734553711236 140734553711236 140734553714639 0
[pid=3673/tid=3683] ppid=3669 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/3673/task/3683/stat : 3683 (java) S 3669 3669 3187 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 3079139 14316269568 46911 18446744073709551615 4194304 4196468 140734553708384 139903304395664 139903707379413 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30330880 140734553711061 140734553711236 140734553711236 140734553714639 0
[pid=3673/tid=3685] ppid=3669 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/3673/task/3685/stat : 3685 (java) S 3669 3669 3187 0 -1 1077944384 545 0 0 0 0 0 0 0 20 0 15 0 3079140 14316269568 46911 18446744073709551615 4194304 4196468 140734553708384 139903185688816 139903707380354 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30330880 140734553711061 140734553711236 140734553711236 140734553714639 0
[pid=3673/tid=3687] ppid=3669 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/3673/task/3687/stat : 3687 (java) S 3669 3669 3187 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 3079140 14316269568 46911 18446744073709551615 4194304 4196468 140734553708384 139903184635040 139903707379413 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30330880 140734553711061 140734553711236 140734553711236 140734553714639 0
[pid=3673/tid=3689] ppid=3669 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/3673/task/3689/stat : 3689 (java) S 3669 3669 3187 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 3079141 14316269568 46911 18446744073709551615 4194304 4196468 140734553708384 139903183581936 139903707379413 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30330880 140734553711061 140734553711236 140734553711236 140734553714639 0
[pid=3673/tid=3694] ppid=3669 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/3673/task/3694/stat : 3694 (java) S 3669 3669 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3079143 14316269568 46911 18446744073709551615 4194304 4196468 140734553708384 139903182530512 139903707387803 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30330880 140734553711061 140734553711236 140734553711236 140734553714639 0
[pid=3673/tid=3695] ppid=3669 vsize=13980732 CPUtime=3.16 cores=0,2,4,6
/proc/3673/task/3695/stat : 3695 (java) S 3669 3669 3187 0 -1 1077944384 19680 0 0 0 315 1 0 0 20 0 15 0 3079143 14316269568 46911 18446744073709551615 4194304 4196468 140734553708384 139903181478640 139903707380354 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30330880 140734553711061 140734553711236 140734553711236 140734553714639 0
[pid=3673/tid=3696] ppid=3669 vsize=13980732 CPUtime=2.98 cores=0,2,4,6
/proc/3673/task/3696/stat : 3696 (java) S 3669 3669 3187 0 -1 1077944384 20017 0 0 0 296 2 0 0 20 0 15 0 3079143 14316269568 46911 18446744073709551615 4194304 4196468 140734553708384 139903180426096 139903707380354 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30330880 140734553711061 140734553711236 140734553711236 140734553714639 0
[pid=3673/tid=3697] ppid=3669 vsize=13980732 CPUtime=0.64 cores=0,2,4,6
/proc/3673/task/3697/stat : 3697 (java) S 3669 3669 3187 0 -1 1077944384 8070 0 0 0 63 1 0 0 20 0 15 0 3079143 14316269568 46911 18446744073709551615 4194304 4196468 140734553708384 139903179373040 139903707380354 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30330880 140734553711061 140734553711236 140734553711236 140734553714639 0
[pid=3673/tid=3699] ppid=3669 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/3673/task/3699/stat : 3699 (java) S 3669 3669 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3079143 14316269568 46911 18446744073709551615 4194304 4196468 140734553708384 139903178320736 139903707379413 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30330880 140734553711061 140734553711236 140734553711236 140734553714639 0
[pid=3673/tid=3701] ppid=3669 vsize=13980732 CPUtime=0.04 cores=0,2,4,6
/proc/3673/task/3701/stat : 3701 (java) S 3669 3669 3187 0 -1 1077944384 1132 0 0 0 1 3 0 0 20 0 15 0 3079152 14316269568 46911 18446744073709551615 4194304 4196468 140734553708384 139903177267760 139903707380354 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30330880 140734553711061 140734553711236 140734553711236 140734553714639 0
Current children cumulated CPU time (s) 168.97
Current children cumulated vsize (KiB) 13990244
[startup+222.307 s]
/proc/loadavg: 2.03 1.83 1.09 4/216 3715
/proc/meminfo: memFree=31683748/32770624 swapFree=0/149028
[pid=3669] ppid=3663 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/3669/stat : 3669 (xcsp3-exec) S 3663 3669 3187 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 3079128 9740288 345 18446744073709551615 4194304 5098028 140735581844336 140735581842440 140489188262524 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 9 0 0 7196144 7232144 27926528 140735581847964 140735581848168 140735581848168 140735581851627 0
/proc/3669/statm: 2378 345 289 221 0 87 0
[pid=3673] ppid=3669 vsize=13980732 CPUtime=229.18 cores=0,2,4,6
/proc/3673/stat : 3673 (java) S 3669 3669 3187 0 -1 1077944320 69079 0 0 0 22901 17 0 0 20 0 15 0 3079137 14316269568 60299 18446744073709551615 4194304 4196468 140734553708384 140734553690928 139903707369207 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 30330880 140734553711061 140734553711236 140734553711236 140734553714639 0
/proc/3673/statm: 3495183 60299 3223 1 0 3483484 0
[pid=3673/tid=3675] ppid=3669 vsize=13980732 CPUtime=222.09 cores=0,2,4,6
/proc/3673/task/3675/stat : 3675 (java) R 3669 3669 3187 0 -1 4202560 14501 0 0 0 22203 6 0 0 20 0 15 0 3079138 14316269568 60299 18446744073709551615 4194304 4196468 140734553708384 139903711607920 139903350343138 0 4 1 16800974 0 0 0 -1 4 0 0 8 0 0 6293624 6294260 30330880 140734553711061 140734553711236 140734553711236 140734553714639 0
[pid=3673/tid=3680] ppid=3669 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/3673/task/3680/stat : 3680 (java) S 3669 3669 3187 0 -1 1077944384 323 0 0 0 0 0 0 0 20 0 15 0 3079138 14316269568 60299 18446744073709551615 4194304 4196468 140734553708384 139903664335888 139903707379413 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30330880 140734553711061 140734553711236 140734553711236 140734553714639 0
[pid=3673/tid=3681] ppid=3669 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/3673/task/3681/stat : 3681 (java) S 3669 3669 3187 0 -1 1077944384 81 0 0 0 0 0 0 0 20 0 15 0 3079139 14316269568 60299 18446744073709551615 4194304 4196468 140734553708384 139903663283344 139903707379413 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30330880 140734553711061 140734553711236 140734553711236 140734553714639 0
[pid=3673/tid=3682] ppid=3669 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/3673/task/3682/stat : 3682 (java) S 3669 3669 3187 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 15 0 3079139 14316269568 60299 18446744073709551615 4194304 4196468 140734553708384 139903662230288 139903707379413 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30330880 140734553711061 140734553711236 140734553711236 140734553714639 0
[pid=3673/tid=3683] ppid=3669 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/3673/task/3683/stat : 3683 (java) S 3669 3669 3187 0 -1 1077944384 89 0 0 0 0 0 0 0 20 0 15 0 3079139 14316269568 60299 18446744073709551615 4194304 4196468 140734553708384 139903304395664 139903707379413 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30330880 140734553711061 140734553711236 140734553711236 140734553714639 0
[pid=3673/tid=3685] ppid=3669 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/3673/task/3685/stat : 3685 (java) S 3669 3669 3187 0 -1 1077944384 733 0 0 0 0 0 0 0 20 0 15 0 3079140 14316269568 60299 18446744073709551615 4194304 4196468 140734553708384 139903185688816 139903707380354 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30330880 140734553711061 140734553711236 140734553711236 140734553714639 0
[pid=3673/tid=3687] ppid=3669 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/3673/task/3687/stat : 3687 (java) S 3669 3669 3187 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 3079140 14316269568 60299 18446744073709551615 4194304 4196468 140734553708384 139903184635040 139903707379413 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30330880 140734553711061 140734553711236 140734553711236 140734553714639 0
[pid=3673/tid=3689] ppid=3669 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/3673/task/3689/stat : 3689 (java) S 3669 3669 3187 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 3079141 14316269568 60299 18446744073709551615 4194304 4196468 140734553708384 139903183581936 139903707379413 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30330880 140734553711061 140734553711236 140734553711236 140734553714639 0
[pid=3673/tid=3694] ppid=3669 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/3673/task/3694/stat : 3694 (java) S 3669 3669 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3079143 14316269568 60299 18446744073709551615 4194304 4196468 140734553708384 139903182530512 139903707387803 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30330880 140734553711061 140734553711236 140734553711236 140734553714639 0
[pid=3673/tid=3695] ppid=3669 vsize=13980732 CPUtime=3.27 cores=0,2,4,6
/proc/3673/task/3695/stat : 3695 (java) S 3669 3669 3187 0 -1 1077944384 21051 0 0 0 325 2 0 0 20 0 15 0 3079143 14316269568 60299 18446744073709551615 4194304 4196468 140734553708384 139903181478640 139903707380354 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30330880 140734553711061 140734553711236 140734553711236 140734553714639 0
[pid=3673/tid=3696] ppid=3669 vsize=13980732 CPUtime=3 cores=0,2,4,6
/proc/3673/task/3696/stat : 3696 (java) S 3669 3669 3187 0 -1 1077944384 20405 0 0 0 298 2 0 0 20 0 15 0 3079143 14316269568 60299 18446744073709551615 4194304 4196468 140734553708384 139903180426096 139903707380354 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30330880 140734553711061 140734553711236 140734553711236 140734553714639 0
[pid=3673/tid=3697] ppid=3669 vsize=13980732 CPUtime=0.65 cores=0,2,4,6
/proc/3673/task/3697/stat : 3697 (java) S 3669 3669 3187 0 -1 1077944384 9323 0 0 0 64 1 0 0 20 0 15 0 3079143 14316269568 60299 18446744073709551615 4194304 4196468 140734553708384 139903179373040 139903707380354 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30330880 140734553711061 140734553711236 140734553711236 140734553714639 0
[pid=3673/tid=3699] ppid=3669 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/3673/task/3699/stat : 3699 (java) S 3669 3669 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3079143 14316269568 60299 18446744073709551615 4194304 4196468 140734553708384 139903178320736 139903707379413 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30330880 140734553711061 140734553711236 140734553711236 140734553714639 0
[pid=3673/tid=3701] ppid=3669 vsize=13980732 CPUtime=0.07 cores=0,2,4,6
/proc/3673/task/3701/stat : 3701 (java) S 3669 3669 3187 0 -1 1077944384 1141 0 0 0 2 5 0 0 20 0 15 0 3079152 14316269568 60299 18446744073709551615 4194304 4196468 140734553708384 139903177267760 139903707380354 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30330880 140734553711061 140734553711236 140734553711236 140734553714639 0
Current children cumulated CPU time (s) 229.18
Current children cumulated vsize (KiB) 13990244
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.001 s]
/proc/loadavg: 1.96 1.82 1.10 4/216 3715
/proc/meminfo: memFree=31690408/32770624 swapFree=0/149032
[pid=3669] ppid=3663 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/3669/stat : 3669 (xcsp3-exec) S 3663 3669 3187 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 3079128 9740288 345 18446744073709551615 4194304 5098028 140735581844336 140735581842440 140489188262524 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 9 0 0 7196144 7232144 27926528 140735581847964 140735581848168 140735581848168 140735581851627 0
/proc/3669/statm: 2378 345 289 221 0 87 0
[pid=3673] ppid=3669 vsize=13980732 CPUtime=247.01 cores=0,2,4,6
/proc/3673/stat : 3673 (java) S 3669 3669 3187 0 -1 1077944320 70241 0 0 0 24683 18 0 0 20 0 15 0 3079137 14316269568 60321 18446744073709551615 4194304 4196468 140734553708384 140734553690928 139903707369207 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 30330880 140734553711061 140734553711236 140734553711236 140734553714639 0
/proc/3673/statm: 3495183 60321 3225 1 0 3483484 0
[pid=3673/tid=3675] ppid=3669 vsize=13980732 CPUtime=239.79 cores=0,2,4,6
/proc/3673/task/3675/stat : 3675 (java) R 3669 3669 3187 0 -1 4202560 14667 0 0 0 23973 6 0 0 20 0 15 0 3079138 14316269568 60321 18446744073709551615 4194304 4196468 140734553708384 139903711606000 139903347187373 0 4 1 16800974 0 0 0 -1 4 0 0 8 0 0 6293624 6294260 30330880 140734553711061 140734553711236 140734553711236 140734553714639 0
[pid=3673/tid=3680] ppid=3669 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/3673/task/3680/stat : 3680 (java) S 3669 3669 3187 0 -1 1077944384 323 0 0 0 0 0 0 0 20 0 15 0 3079138 14316269568 60321 18446744073709551615 4194304 4196468 140734553708384 139903664335888 139903707379413 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30330880 140734553711061 140734553711236 140734553711236 140734553714639 0
[pid=3673/tid=3681] ppid=3669 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/3673/task/3681/stat : 3681 (java) S 3669 3669 3187 0 -1 1077944384 81 0 0 0 0 0 0 0 20 0 15 0 3079139 14316269568 60321 18446744073709551615 4194304 4196468 140734553708384 139903663283344 139903707379413 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30330880 140734553711061 140734553711236 140734553711236 140734553714639 0
[pid=3673/tid=3682] ppid=3669 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/3673/task/3682/stat : 3682 (java) S 3669 3669 3187 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 15 0 3079139 14316269568 60321 18446744073709551615 4194304 4196468 140734553708384 139903662230288 139903707379413 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30330880 140734553711061 140734553711236 140734553711236 140734553714639 0
[pid=3673/tid=3683] ppid=3669 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/3673/task/3683/stat : 3683 (java) S 3669 3669 3187 0 -1 1077944384 89 0 0 0 0 0 0 0 20 0 15 0 3079139 14316269568 60321 18446744073709551615 4194304 4196468 140734553708384 139903304395664 139903707379413 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30330880 140734553711061 140734553711236 140734553711236 140734553714639 0
[pid=3673/tid=3685] ppid=3669 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/3673/task/3685/stat : 3685 (java) S 3669 3669 3187 0 -1 1077944384 740 0 0 0 0 0 0 0 20 0 15 0 3079140 14316269568 60321 18446744073709551615 4194304 4196468 140734553708384 139903185688816 139903707380354 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30330880 140734553711061 140734553711236 140734553711236 140734553714639 0
[pid=3673/tid=3687] ppid=3669 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/3673/task/3687/stat : 3687 (java) S 3669 3669 3187 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 3079140 14316269568 60321 18446744073709551615 4194304 4196468 140734553708384 139903184635040 139903707379413 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30330880 140734553711061 140734553711236 140734553711236 140734553714639 0
[pid=3673/tid=3689] ppid=3669 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/3673/task/3689/stat : 3689 (java) S 3669 3669 3187 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 3079141 14316269568 60321 18446744073709551615 4194304 4196468 140734553708384 139903183581936 139903707379413 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30330880 140734553711061 140734553711236 140734553711236 140734553714639 0
[pid=3673/tid=3694] ppid=3669 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/3673/task/3694/stat : 3694 (java) S 3669 3669 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3079143 14316269568 60321 18446744073709551615 4194304 4196468 140734553708384 139903182530512 139903707387803 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30330880 140734553711061 140734553711236 140734553711236 140734553714639 0
[pid=3673/tid=3695] ppid=3669 vsize=13980732 CPUtime=3.29 cores=0,2,4,6
/proc/3673/task/3695/stat : 3695 (java) S 3669 3669 3187 0 -1 1077944384 21077 0 0 0 327 2 0 0 20 0 15 0 3079143 14316269568 60321 18446744073709551615 4194304 4196468 140734553708384 139903181478640 139903707380354 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30330880 140734553711061 140734553711236 140734553711236 140734553714639 0
[pid=3673/tid=3696] ppid=3669 vsize=13980732 CPUtime=3.09 cores=0,2,4,6
/proc/3673/task/3696/stat : 3696 (java) S 3669 3669 3187 0 -1 1077944384 21209 0 0 0 307 2 0 0 20 0 15 0 3079143 14316269568 60321 18446744073709551615 4194304 4196468 140734553708384 139903180426096 139903707380354 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30330880 140734553711061 140734553711236 140734553711236 140734553714639 0
[pid=3673/tid=3697] ppid=3669 vsize=13980732 CPUtime=0.66 cores=0,2,4,6
/proc/3673/task/3697/stat : 3697 (java) S 3669 3669 3187 0 -1 1077944384 9456 0 0 0 65 1 0 0 20 0 15 0 3079143 14316269568 60321 18446744073709551615 4194304 4196468 140734553708384 139903179373040 139903707380354 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30330880 140734553711061 140734553711236 140734553711236 140734553714639 0
[pid=3673/tid=3699] ppid=3669 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/3673/task/3699/stat : 3699 (java) S 3669 3669 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3079143 14316269568 60321 18446744073709551615 4194304 4196468 140734553708384 139903178320736 139903707379413 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30330880 140734553711061 140734553711236 140734553711236 140734553714639 0
[pid=3673/tid=3701] ppid=3669 vsize=13980732 CPUtime=0.07 cores=0,2,4,6
/proc/3673/task/3701/stat : 3701 (java) S 3669 3669 3187 0 -1 1077944384 1167 0 0 0 2 5 0 0 20 0 15 0 3079152 14316269568 60321 18446744073709551615 4194304 4196468 140734553708384 139903177267760 139903707380354 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30330880 140734553711061 140734553711236 140734553711236 140734553714639 0
Current children cumulated CPU time (s) 247.01
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 3673 sig 9
??? kill 3669 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 3669 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=907
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=907
# CPU time returned by wait4() is 0.001814
# while last known CPU time is 247.01
#
# 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): 247.01
CPU user time (s): 246.83
CPU system time (s): 0.18
CPU usage (%): 102.916
Max. virtual memory (cumulated for all children) (KiB): 13992100
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.000907
system time used= 0.000907
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.13662 second user time and 1.33374 second system time
The end