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-4255104-1501619645/watcher-4255104-1501619645 -o /tmp/evaluation-result-4255104-1501619645/solver-4255104-1501619645 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node132-1501617097-24794 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 388786002 HOME/instance-4255104-1501619645.xml
pid=26062
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 1.90 1.87 1.86 3/199 26065
/proc/meminfo: memFree=28425520/32770624 swapFree=0/213616
[pid=26065] ppid=26062 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/26065/stat : 26065 (runsolver) D 26062 26065 18930 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 61617966 24240128 106 18446744073709551615 4194304 4338465 140737264511488 140737264509128 140175187997399 0 0 1 24578 18446744071580418449 0 0 17 0 0 0 0 0 0 6438912 6441760 24719360 140737264513116 140737264513605 140737264513605 140737264517066 0
/proc/26065/statm: 5918 106 53 36 0 2156 0
[startup+0.10126 s]
/proc/loadavg: 1.90 1.87 1.86 3/199 26065
/proc/meminfo: memFree=28425520/32770624 swapFree=0/213616
[pid=26065] ppid=26062 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/26065/stat : 26065 (xcsp3-exec) S 26062 26065 18930 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 61617966 9740288 344 18446744073709551615 4194304 5098028 140734964194480 140734964192584 140367940612732 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 9 0 0 7196144 7232144 13045760 140734964199835 140734964200038 140734964200038 140734964203499 0
/proc/26065/statm: 2378 344 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200303 s]
/proc/loadavg: 1.90 1.87 1.86 3/199 26065
/proc/meminfo: memFree=28425520/32770624 swapFree=0/213616
[pid=26065] ppid=26062 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/26065/stat : 26065 (xcsp3-exec) S 26062 26065 18930 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 61617966 9740288 344 18446744073709551615 4194304 5098028 140734964194480 140734964192584 140367940612732 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 9 0 0 7196144 7232144 13045760 140734964199835 140734964200038 140734964200038 140734964203499 0
/proc/26065/statm: 2378 344 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.307766 s]
/proc/loadavg: 1.90 1.87 1.86 3/199 26065
/proc/meminfo: memFree=28425520/32770624 swapFree=0/213616
[pid=26065] ppid=26062 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/26065/stat : 26065 (xcsp3-exec) S 26062 26065 18930 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 61617966 9740288 344 18446744073709551615 4194304 5098028 140734964194480 140734964192584 140367940612732 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 9 0 0 7196144 7232144 13045760 140734964199835 140734964200038 140734964200038 140734964203499 0
/proc/26065/statm: 2378 344 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.704528 s]
/proc/loadavg: 1.90 1.87 1.86 3/199 26065
/proc/meminfo: memFree=28425520/32770624 swapFree=0/213616
[pid=26065] ppid=26062 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/26065/stat : 26065 (xcsp3-exec) S 26062 26065 18930 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 61617966 9740288 344 18446744073709551615 4194304 5098028 140734964194480 140734964192584 140367940612732 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 9 0 0 7196144 7232144 13045760 140734964199835 140734964200038 140734964200038 140734964203499 0
/proc/26065/statm: 2378 344 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50068 s]
/proc/loadavg: 1.90 1.87 1.86 5/216 26082
/proc/meminfo: memFree=28322716/32770624 swapFree=0/213640
[pid=26065] ppid=26062 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/26065/stat : 26065 (xcsp3-exec) S 26062 26065 18930 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 61617966 9740288 344 18446744073709551615 4194304 5098028 140734964194480 140734964192584 140367940612732 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 9 0 0 7196144 7232144 13045760 140734964199835 140734964200038 140734964200038 140734964203499 0
/proc/26065/statm: 2378 344 289 221 0 87 0
[pid=26067] ppid=26065 vsize=13980732 CPUtime=3.74 cores=0,2,4,6
/proc/26067/stat : 26067 (java) S 26065 26065 18930 0 -1 1077944320 30486 0 0 0 365 9 0 0 20 0 15 0 61617976 14316269568 35808 18446744073709551615 4194304 4196468 140736149285408 140736149267952 140340332355319 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 7548928 140736149287379 140736149287554 140736149287554 140736149290959 0
/proc/26067/statm: 3495183 35808 3174 1 0 3483484 0
[pid=26067/tid=26068] ppid=26065 vsize=13980732 CPUtime=1.34 cores=0,2,4,6
/proc/26067/task/26068/stat : 26068 (java) R 26065 26065 18930 0 -1 4202560 9242 0 0 0 129 5 0 0 20 0 15 0 61617976 14316269568 35808 18446744073709551615 4194304 4196468 140736149285408 140340336592640 140339956369741 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 7548928 140736149287379 140736149287554 140736149287554 140736149290959 0
[pid=26067/tid=26069] ppid=26065 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/26067/task/26069/stat : 26069 (java) S 26065 26065 18930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 61617977 14316269568 35808 18446744073709551615 4194304 4196468 140736149285408 140340274301712 140340332365525 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7548928 140736149287379 140736149287554 140736149287554 140736149290959 0
[pid=26067/tid=26070] ppid=26065 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/26067/task/26070/stat : 26070 (java) S 26065 26065 18930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 61617977 14316269568 35808 18446744073709551615 4194304 4196468 140736149285408 140340273249168 140340332365525 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7548928 140736149287379 140736149287554 140736149287554 140736149290959 0
[pid=26067/tid=26071] ppid=26065 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/26067/task/26071/stat : 26071 (java) S 26065 26065 18930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 61617977 14316269568 35808 18446744073709551615 4194304 4196468 140736149285408 140340272196624 140340332365525 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7548928 140736149287379 140736149287554 140736149287554 140736149290959 0
[pid=26067/tid=26072] ppid=26065 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/26067/task/26072/stat : 26072 (java) S 26065 26065 18930 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 61617977 14316269568 35808 18446744073709551615 4194304 4196468 140736149285408 140339929685136 140340332365525 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7548928 140736149287379 140736149287554 140736149287554 140736149290959 0
[pid=26067/tid=26073] ppid=26065 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/26067/task/26073/stat : 26073 (java) S 26065 26065 18930 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 61617978 14316269568 35808 18446744073709551615 4194304 4196468 140736149285408 140339878103024 140340332366466 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7548928 140736149287379 140736149287554 140736149287554 140736149290959 0
[pid=26067/tid=26074] ppid=26065 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/26067/task/26074/stat : 26074 (java) S 26065 26065 18930 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 61617979 14316269568 35808 18446744073709551615 4194304 4196468 140736149285408 140339877049248 140340332365525 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7548928 140736149287379 140736149287554 140736149287554 140736149290959 0
[pid=26067/tid=26075] ppid=26065 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/26067/task/26075/stat : 26075 (java) S 26065 26065 18930 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 61617979 14316269568 35808 18446744073709551615 4194304 4196468 140736149285408 140339875996656 140340332365525 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7548928 140736149287379 140736149287554 140736149287554 140736149290959 0
[pid=26067/tid=26076] ppid=26065 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/26067/task/26076/stat : 26076 (java) S 26065 26065 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 61617981 14316269568 35808 18446744073709551615 4194304 4196468 140736149285408 140339874945232 140340332373915 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7548928 140736149287379 140736149287554 140736149287554 140736149290959 0
[pid=26067/tid=26077] ppid=26065 vsize=13980732 CPUtime=0.95 cores=0,2,4,6
/proc/26067/task/26077/stat : 26077 (java) R 26065 26065 18930 0 -1 4202560 8765 0 0 0 94 1 0 0 20 0 15 0 61617981 14316269568 35808 18446744073709551615 4194304 4196468 140736149285408 140339873878160 140340315849558 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7548928 140736149287379 140736149287554 140736149287554 140736149290959 0
[pid=26067/tid=26078] ppid=26065 vsize=13980732 CPUtime=0.95 cores=0,2,4,6
/proc/26067/task/26078/stat : 26078 (java) R 26065 26065 18930 0 -1 4202560 7515 0 0 0 95 0 0 0 20 0 15 0 61617981 14316269568 35808 18446744073709551615 4194304 4196468 140736149285408 140339872830096 140340313056096 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7548928 140736149287379 140736149287554 140736149287554 140736149290959 0
[pid=26067/tid=26079] ppid=26065 vsize=13980732 CPUtime=0.46 cores=0,2,4,6
/proc/26067/task/26079/stat : 26079 (java) S 26065 26065 18930 0 -1 1077944384 3655 0 0 0 45 1 0 0 20 0 15 0 61617981 14316269568 35808 18446744073709551615 4194304 4196468 140736149285408 140339871787760 140340332366466 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7548928 140736149287379 140736149287554 140736149287554 140736149290959 0
[pid=26067/tid=26080] ppid=26065 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/26067/task/26080/stat : 26080 (java) S 26065 26065 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 61617982 14316269568 35808 18446744073709551615 4194304 4196468 140736149285408 140339870735456 140340332365525 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7548928 140736149287379 140736149287554 140736149287554 140736149290959 0
[pid=26067/tid=26081] ppid=26065 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/26067/task/26081/stat : 26081 (java) S 26065 26065 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 61617986 14316269568 35808 18446744073709551615 4194304 4196468 140736149285408 140339869681968 140340332366466 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7548928 140736149287379 140736149287554 140736149287554 140736149290959 0
Current children cumulated CPU time (s) 3.74
Current children cumulated vsize (KiB) 13990244
[startup+3.1007 s]
/proc/loadavg: 1.90 1.87 1.86 5/216 26082
/proc/meminfo: memFree=28221196/32770624 swapFree=0/213640
[pid=26065] ppid=26062 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/26065/stat : 26065 (xcsp3-exec) S 26062 26065 18930 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 61617966 9740288 344 18446744073709551615 4194304 5098028 140734964194480 140734964192584 140367940612732 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 9 0 0 7196144 7232144 13045760 140734964199835 140734964200038 140734964200038 140734964203499 0
/proc/26065/statm: 2378 344 289 221 0 87 0
[pid=26067] ppid=26065 vsize=13980732 CPUtime=8.62 cores=0,2,4,6
/proc/26067/stat : 26067 (java) S 26065 26065 18930 0 -1 1077944320 49568 0 0 0 849 13 0 0 20 0 15 0 61617976 14316269568 63846 18446744073709551615 4194304 4196468 140736149285408 140736149267952 140340332355319 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 7548928 140736149287379 140736149287554 140736149287554 140736149290959 0
/proc/26067/statm: 3495183 63846 3197 1 0 3483484 0
[pid=26067/tid=26068] ppid=26065 vsize=13980732 CPUtime=2.92 cores=0,2,4,6
/proc/26067/task/26068/stat : 26068 (java) R 26065 26065 18930 0 -1 4202560 10389 0 0 0 286 6 0 0 20 0 15 0 61617976 14316269568 63846 18446744073709551615 4194304 4196468 140736149285408 140340336591896 140339957137612 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 7548928 140736149287379 140736149287554 140736149287554 140736149290959 0
[pid=26067/tid=26069] ppid=26065 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/26067/task/26069/stat : 26069 (java) S 26065 26065 18930 0 -1 1077944384 29 0 0 0 0 0 0 0 20 0 15 0 61617977 14316269568 63846 18446744073709551615 4194304 4196468 140736149285408 140340274301712 140340332365525 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7548928 140736149287379 140736149287554 140736149287554 140736149290959 0
[pid=26067/tid=26070] ppid=26065 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/26067/task/26070/stat : 26070 (java) S 26065 26065 18930 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 15 0 61617977 14316269568 63846 18446744073709551615 4194304 4196468 140736149285408 140340273249168 140340332365525 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7548928 140736149287379 140736149287554 140736149287554 140736149290959 0
[pid=26067/tid=26071] ppid=26065 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/26067/task/26071/stat : 26071 (java) S 26065 26065 18930 0 -1 1077944384 277 0 0 0 0 0 0 0 20 0 15 0 61617977 14316269568 63846 18446744073709551615 4194304 4196468 140736149285408 140340272196624 140340332365525 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7548928 140736149287379 140736149287554 140736149287554 140736149290959 0
[pid=26067/tid=26072] ppid=26065 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/26067/task/26072/stat : 26072 (java) S 26065 26065 18930 0 -1 1077944384 423 0 0 0 0 0 0 0 20 0 15 0 61617977 14316269568 63846 18446744073709551615 4194304 4196468 140736149285408 140339929685136 140340332365525 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7548928 140736149287379 140736149287554 140736149287554 140736149290959 0
[pid=26067/tid=26073] ppid=26065 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/26067/task/26073/stat : 26073 (java) S 26065 26065 18930 0 -1 1077944384 172 0 0 0 0 0 0 0 20 0 15 0 61617978 14316269568 63846 18446744073709551615 4194304 4196468 140736149285408 140339878103024 140340332366466 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7548928 140736149287379 140736149287554 140736149287554 140736149290959 0
[pid=26067/tid=26074] ppid=26065 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/26067/task/26074/stat : 26074 (java) S 26065 26065 18930 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 61617979 14316269568 63846 18446744073709551615 4194304 4196468 140736149285408 140339877049248 140340332365525 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7548928 140736149287379 140736149287554 140736149287554 140736149290959 0
[pid=26067/tid=26075] ppid=26065 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/26067/task/26075/stat : 26075 (java) S 26065 26065 18930 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 61617979 14316269568 63846 18446744073709551615 4194304 4196468 140736149285408 140339875996656 140340332365525 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7548928 140736149287379 140736149287554 140736149287554 140736149290959 0
[pid=26067/tid=26076] ppid=26065 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/26067/task/26076/stat : 26076 (java) S 26065 26065 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 61617981 14316269568 63846 18446744073709551615 4194304 4196468 140736149285408 140339874945232 140340332373915 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7548928 140736149287379 140736149287554 140736149287554 140736149290959 0
[pid=26067/tid=26077] ppid=26065 vsize=13980732 CPUtime=2.54 cores=0,2,4,6
/proc/26067/task/26077/stat : 26077 (java) R 26065 26065 18930 0 -1 4202560 13830 0 0 0 253 1 0 0 20 0 15 0 61617981 14316269568 63846 18446744073709551615 4194304 4196468 140736149285408 140339873879248 140340311611944 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7548928 140736149287379 140736149287554 140736149287554 140736149290959 0
[pid=26067/tid=26078] ppid=26065 vsize=13980732 CPUtime=2.54 cores=0,2,4,6
/proc/26067/task/26078/stat : 26078 (java) R 26065 26065 18930 0 -1 4202560 17674 0 0 0 252 2 0 0 20 0 15 0 61617981 14316269568 63846 18446744073709551615 4194304 4196468 140736149285408 140339872826848 140340316751690 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7548928 140736149287379 140736149287554 140736149287554 140736149290959 0
[pid=26067/tid=26079] ppid=26065 vsize=13980732 CPUtime=0.56 cores=0,2,4,6
/proc/26067/task/26079/stat : 26079 (java) S 26065 26065 18930 0 -1 1077944384 5339 0 0 0 54 2 0 0 20 0 15 0 61617981 14316269568 63846 18446744073709551615 4194304 4196468 140736149285408 140339871787760 140340332366466 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7548928 140736149287379 140736149287554 140736149287554 140736149290959 0
[pid=26067/tid=26080] ppid=26065 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/26067/task/26080/stat : 26080 (java) S 26065 26065 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 61617982 14316269568 63846 18446744073709551615 4194304 4196468 140736149285408 140339870735456 140340332365525 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7548928 140736149287379 140736149287554 140736149287554 140736149290959 0
[pid=26067/tid=26081] ppid=26065 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/26067/task/26081/stat : 26081 (java) S 26065 26065 18930 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 15 0 61617986 14316269568 63846 18446744073709551615 4194304 4196468 140736149285408 140339869681968 140340332366466 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7548928 140736149287379 140736149287554 140736149287554 140736149290959 0
Current children cumulated CPU time (s) 8.62
Current children cumulated vsize (KiB) 13990244
[startup+6.3008 s]
/proc/loadavg: 1.99 1.89 1.87 5/214 26113
/proc/meminfo: memFree=31278328/32770624 swapFree=0/213652
[pid=26065] ppid=26062 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/26065/stat : 26065 (xcsp3-exec) S 26062 26065 18930 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 61617966 9740288 344 18446744073709551615 4194304 5098028 140734964194480 140734964192584 140367940612732 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 9 0 0 7196144 7232144 13045760 140734964199835 140734964200038 140734964200038 140734964203499 0
/proc/26065/statm: 2378 344 289 221 0 87 0
[pid=26067] ppid=26065 vsize=13980732 CPUtime=14.32 cores=0,2,4,6
/proc/26067/stat : 26067 (java) S 26065 26065 18930 0 -1 1077944320 50465 0 0 0 1412 20 0 0 20 0 15 0 61617976 14316269568 73678 18446744073709551615 4194304 4196468 140736149285408 140736149267952 140340332355319 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 7548928 140736149287379 140736149287554 140736149287554 140736149290959 0
/proc/26067/statm: 3495183 73678 3212 1 0 3483484 0
[pid=26067/tid=26068] ppid=26065 vsize=13980732 CPUtime=6.07 cores=0,2,4,6
/proc/26067/task/26068/stat : 26068 (java) R 26065 26065 18930 0 -1 4202560 10424 0 0 0 601 6 0 0 20 0 15 0 61617976 14316269568 73678 18446744073709551615 4194304 4196468 140736149285408 140340336593672 140339957673621 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 7548928 140736149287379 140736149287554 140736149287554 140736149290959 0
[pid=26067/tid=26069] ppid=26065 vsize=13980732 CPUtime=0.04 cores=0,2,4,6
/proc/26067/task/26069/stat : 26069 (java) S 26065 26065 18930 0 -1 1077944384 92 0 0 0 3 1 0 0 20 0 15 0 61617977 14316269568 73678 18446744073709551615 4194304 4196468 140736149285408 140340274301712 140340332365525 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7548928 140736149287379 140736149287554 140736149287554 140736149290959 0
[pid=26067/tid=26070] ppid=26065 vsize=13980732 CPUtime=0.04 cores=0,2,4,6
/proc/26067/task/26070/stat : 26070 (java) S 26065 26065 18930 0 -1 1077944384 123 0 0 0 3 1 0 0 20 0 15 0 61617977 14316269568 73678 18446744073709551615 4194304 4196468 140736149285408 140340273249168 140340332365525 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7548928 140736149287379 140736149287554 140736149287554 140736149290959 0
[pid=26067/tid=26071] ppid=26065 vsize=13980732 CPUtime=0.04 cores=0,2,4,6
/proc/26067/task/26071/stat : 26071 (java) S 26065 26065 18930 0 -1 1077944384 345 0 0 0 3 1 0 0 20 0 15 0 61617977 14316269568 73678 18446744073709551615 4194304 4196468 140736149285408 140340272196624 140340332365525 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7548928 140736149287379 140736149287554 140736149287554 140736149290959 0
[pid=26067/tid=26072] ppid=26065 vsize=13980732 CPUtime=0.04 cores=0,2,4,6
/proc/26067/task/26072/stat : 26072 (java) S 26065 26065 18930 0 -1 1077944384 482 0 0 0 3 1 0 0 20 0 15 0 61617977 14316269568 73678 18446744073709551615 4194304 4196468 140736149285408 140339929685136 140340332365525 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7548928 140736149287379 140736149287554 140736149287554 140736149290959 0
[pid=26067/tid=26073] ppid=26065 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/26067/task/26073/stat : 26073 (java) S 26065 26065 18930 0 -1 1077944384 237 0 0 0 0 0 0 0 20 0 15 0 61617978 14316269568 73678 18446744073709551615 4194304 4196468 140736149285408 140339878103024 140340332366466 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7548928 140736149287379 140736149287554 140736149287554 140736149290959 0
[pid=26067/tid=26074] ppid=26065 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/26067/task/26074/stat : 26074 (java) S 26065 26065 18930 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 61617979 14316269568 73678 18446744073709551615 4194304 4196468 140736149285408 140339877049312 140340332365525 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7548928 140736149287379 140736149287554 140736149287554 140736149290959 0
[pid=26067/tid=26075] ppid=26065 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/26067/task/26075/stat : 26075 (java) S 26065 26065 18930 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 61617979 14316269568 73678 18446744073709551615 4194304 4196468 140736149285408 140339875996672 140340332365525 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7548928 140736149287379 140736149287554 140736149287554 140736149290959 0
[pid=26067/tid=26076] ppid=26065 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/26067/task/26076/stat : 26076 (java) S 26065 26065 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 61617981 14316269568 73678 18446744073709551615 4194304 4196468 140736149285408 140339874945232 140340332373915 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7548928 140736149287379 140736149287554 140736149287554 140736149290959 0
[pid=26067/tid=26077] ppid=26065 vsize=13980732 CPUtime=3.7 cores=0,2,4,6
/proc/26067/task/26077/stat : 26077 (java) S 26065 26065 18930 0 -1 1077944384 14053 0 0 0 369 1 0 0 20 0 15 0 61617981 14316269568 73678 18446744073709551615 4194304 4196468 140736149285408 140339873892848 140340332366466 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7548928 140736149287379 140736149287554 140736149287554 140736149290959 0
[pid=26067/tid=26078] ppid=26065 vsize=13980732 CPUtime=3.61 cores=0,2,4,6
/proc/26067/task/26078/stat : 26078 (java) S 26065 26065 18930 0 -1 1077944384 17870 0 0 0 359 2 0 0 20 0 15 0 61617981 14316269568 73678 18446744073709551615 4194304 4196468 140736149285408 140339872840304 140340332366466 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7548928 140736149287379 140736149287554 140736149287554 140736149290959 0
[pid=26067/tid=26079] ppid=26065 vsize=13980732 CPUtime=0.67 cores=0,2,4,6
/proc/26067/task/26079/stat : 26079 (java) S 26065 26065 18930 0 -1 1077944384 5468 0 0 0 65 2 0 0 20 0 15 0 61617981 14316269568 73678 18446744073709551615 4194304 4196468 140736149285408 140339871787760 140340332366466 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7548928 140736149287379 140736149287554 140736149287554 140736149290959 0
[pid=26067/tid=26080] ppid=26065 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/26067/task/26080/stat : 26080 (java) S 26065 26065 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 61617982 14316269568 73678 18446744073709551615 4194304 4196468 140736149285408 140339870735456 140340332365525 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7548928 140736149287379 140736149287554 140736149287554 140736149290959 0
[pid=26067/tid=26081] ppid=26065 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/26067/task/26081/stat : 26081 (java) S 26065 26065 18930 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 15 0 61617986 14316269568 73678 18446744073709551615 4194304 4196468 140736149285408 140339869681968 140340332366466 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7548928 140736149287379 140736149287554 140736149287554 140736149290959 0
Current children cumulated CPU time (s) 14.32
Current children cumulated vsize (KiB) 13990244
[startup+12.7008 s]
/proc/loadavg: 2.15 1.93 1.88 5/216 26160
/proc/meminfo: memFree=31097916/32770624 swapFree=0/213692
[pid=26065] ppid=26062 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/26065/stat : 26065 (xcsp3-exec) S 26062 26065 18930 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 61617966 9740288 344 18446744073709551615 4194304 5098028 140734964194480 140734964192584 140367940612732 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 9 0 0 7196144 7232144 13045760 140734964199835 140734964200038 140734964200038 140734964203499 0
/proc/26065/statm: 2378 344 289 221 0 87 0
[pid=26067] ppid=26065 vsize=13980732 CPUtime=21.64 cores=0,2,4,6
/proc/26067/stat : 26067 (java) S 26065 26065 18930 0 -1 1077944320 58414 0 0 0 2131 33 0 0 20 0 15 0 61617976 14316269568 167176 18446744073709551615 4194304 4196468 140736149285408 140736149267952 140340332355319 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 7548928 140736149287379 140736149287554 140736149287554 140736149290959 0
/proc/26067/statm: 3495183 167176 3215 1 0 3483484 0
[pid=26067/tid=26068] ppid=26065 vsize=13980732 CPUtime=12.4 cores=0,2,4,6
/proc/26067/task/26068/stat : 26068 (java) R 26065 26065 18930 0 -1 4202560 12438 0 0 0 1229 11 0 0 20 0 15 0 61617976 14316269568 167176 18446744073709551615 4194304 4196468 140736149285408 140340336594368 140339957497252 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 7548928 140736149287379 140736149287554 140736149287554 140736149290959 0
[pid=26067/tid=26069] ppid=26065 vsize=13980732 CPUtime=0.11 cores=0,2,4,6
/proc/26067/task/26069/stat : 26069 (java) S 26065 26065 18930 0 -1 1077944384 139 0 0 0 8 3 0 0 20 0 15 0 61617977 14316269568 167176 18446744073709551615 4194304 4196468 140736149285408 140340274301712 140340332365525 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7548928 140736149287379 140736149287554 140736149287554 140736149290959 0
[pid=26067/tid=26070] ppid=26065 vsize=13980732 CPUtime=0.11 cores=0,2,4,6
/proc/26067/task/26070/stat : 26070 (java) S 26065 26065 18930 0 -1 1077944384 873 0 0 0 8 3 0 0 20 0 15 0 61617977 14316269568 167176 18446744073709551615 4194304 4196468 140736149285408 140340273249168 140340332365525 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7548928 140736149287379 140736149287554 140736149287554 140736149290959 0
################
# More data... #
################
[pid=26067/tid=26074] ppid=26065 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/26067/task/26074/stat : 26074 (java) S 26065 26065 18930 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 61617979 14316269568 283350 18446744073709551615 4194304 4196468 140736149285408 140339877049312 140340332365525 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7548928 140736149287379 140736149287554 140736149287554 140736149290959 0
[pid=26067/tid=26075] ppid=26065 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/26067/task/26075/stat : 26075 (java) S 26065 26065 18930 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 61617979 14316269568 283350 18446744073709551615 4194304 4196468 140736149285408 140339875996672 140340332365525 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7548928 140736149287379 140736149287554 140736149287554 140736149290959 0
[pid=26067/tid=26076] ppid=26065 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/26067/task/26076/stat : 26076 (java) S 26065 26065 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 61617981 14316269568 283350 18446744073709551615 4194304 4196468 140736149285408 140339874945232 140340332373915 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7548928 140736149287379 140736149287554 140736149287554 140736149290959 0
[pid=26067/tid=26077] ppid=26065 vsize=13980732 CPUtime=4.81 cores=0,2,4,6
/proc/26067/task/26077/stat : 26077 (java) S 26065 26065 18930 0 -1 1077944384 20718 0 0 0 479 2 0 0 20 0 15 0 61617981 14316269568 283350 18446744073709551615 4194304 4196468 140736149285408 140339873892848 140340332366466 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7548928 140736149287379 140736149287554 140736149287554 140736149290959 0
[pid=26067/tid=26078] ppid=26065 vsize=13980732 CPUtime=4.42 cores=0,2,4,6
/proc/26067/task/26078/stat : 26078 (java) S 26065 26065 18930 0 -1 1077944384 22926 0 0 0 439 3 0 0 20 0 15 0 61617981 14316269568 283350 18446744073709551615 4194304 4196468 140736149285408 140339872840304 140340332366466 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7548928 140736149287379 140736149287554 140736149287554 140736149290959 0
[pid=26067/tid=26079] ppid=26065 vsize=13980732 CPUtime=0.76 cores=0,2,4,6
/proc/26067/task/26079/stat : 26079 (java) S 26065 26065 18930 0 -1 1077944384 7967 0 0 0 74 2 0 0 20 0 15 0 61617981 14316269568 283350 18446744073709551615 4194304 4196468 140736149285408 140339871787760 140340332366466 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7548928 140736149287379 140736149287554 140736149287554 140736149290959 0
[pid=26067/tid=26080] ppid=26065 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/26067/task/26080/stat : 26080 (java) S 26065 26065 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 61617982 14316269568 283350 18446744073709551615 4194304 4196468 140736149285408 140339870735456 140340332365525 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7548928 140736149287379 140736149287554 140736149287554 140736149290959 0
[pid=26067/tid=26081] ppid=26065 vsize=13980732 CPUtime=0.05 cores=0,2,4,6
/proc/26067/task/26081/stat : 26081 (java) S 26065 26065 18930 0 -1 1077944384 275 0 0 0 1 4 0 0 20 0 15 0 61617986 14316269568 283350 18446744073709551615 4194304 4196468 140736149285408 140339869681968 140340332366466 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7548928 140736149287379 140736149287554 140736149287554 140736149290959 0
Current children cumulated CPU time (s) 113.36
Current children cumulated vsize (KiB) 13990244
[startup+162.301 s]
/proc/loadavg: 1.85 1.88 1.87 3/217 26171
/proc/meminfo: memFree=30554340/32770624 swapFree=0/213816
[pid=26065] ppid=26062 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/26065/stat : 26065 (xcsp3-exec) S 26062 26065 18930 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 61617966 9740288 344 18446744073709551615 4194304 5098028 140734964194480 140734964192584 140367940612732 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 9 0 0 7196144 7232144 13045760 140734964199835 140734964200038 140734964200038 140734964203499 0
/proc/26065/statm: 2378 344 289 221 0 87 0
[pid=26067] ppid=26065 vsize=13980732 CPUtime=174.11 cores=0,2,4,6
/proc/26067/stat : 26067 (java) S 26065 26065 18930 0 -1 1077944320 82306 0 0 0 17338 73 0 0 20 0 15 0 61617976 14316269568 258027 18446744073709551615 4194304 4196468 140736149285408 140736149267952 140340332355319 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 7548928 140736149287379 140736149287554 140736149287554 140736149290959 0
/proc/26067/statm: 3495183 258027 3222 1 0 3483484 0
[pid=26067/tid=26068] ppid=26065 vsize=13980732 CPUtime=161.43 cores=0,2,4,6
/proc/26067/task/26068/stat : 26068 (java) R 26065 26065 18930 0 -1 4202560 20564 0 0 0 16125 18 0 0 20 0 15 0 61617976 14316269568 258027 18446744073709551615 4194304 4196468 140736149285408 140340336594608 140339956915195 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 7548928 140736149287379 140736149287554 140736149287554 140736149290959 0
[pid=26067/tid=26069] ppid=26065 vsize=13980732 CPUtime=0.61 cores=0,2,4,6
/proc/26067/task/26069/stat : 26069 (java) S 26065 26065 18930 0 -1 1077944384 679 0 0 0 52 9 0 0 20 0 15 0 61617977 14316269568 258027 18446744073709551615 4194304 4196468 140736149285408 140340274301712 140340332365525 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7548928 140736149287379 140736149287554 140736149287554 140736149290959 0
[pid=26067/tid=26070] ppid=26065 vsize=13980732 CPUtime=0.61 cores=0,2,4,6
/proc/26067/task/26070/stat : 26070 (java) S 26065 26065 18930 0 -1 1077944384 2248 0 0 0 51 10 0 0 20 0 15 0 61617977 14316269568 258027 18446744073709551615 4194304 4196468 140736149285408 140340273249168 140340332365525 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7548928 140736149287379 140736149287554 140736149287554 140736149290959 0
[pid=26067/tid=26071] ppid=26065 vsize=13980732 CPUtime=0.62 cores=0,2,4,6
/proc/26067/task/26071/stat : 26071 (java) S 26065 26065 18930 0 -1 1077944384 1014 0 0 0 52 10 0 0 20 0 15 0 61617977 14316269568 258027 18446744073709551615 4194304 4196468 140736149285408 140340272196624 140340332365525 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7548928 140736149287379 140736149287554 140736149287554 140736149290959 0
[pid=26067/tid=26072] ppid=26065 vsize=13980732 CPUtime=0.62 cores=0,2,4,6
/proc/26067/task/26072/stat : 26072 (java) S 26065 26065 18930 0 -1 1077944384 1634 0 0 0 52 10 0 0 20 0 15 0 61617977 14316269568 258027 18446744073709551615 4194304 4196468 140736149285408 140339929685136 140340332365525 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7548928 140736149287379 140736149287554 140736149287554 140736149290959 0
[pid=26067/tid=26073] ppid=26065 vsize=13980732 CPUtime=0.04 cores=0,2,4,6
/proc/26067/task/26073/stat : 26073 (java) S 26065 26065 18930 0 -1 1077944384 1487 0 0 0 3 1 0 0 20 0 15 0 61617978 14316269568 258027 18446744073709551615 4194304 4196468 140736149285408 140339878103024 140340332366466 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7548928 140736149287379 140736149287554 140736149287554 140736149290959 0
[pid=26067/tid=26074] ppid=26065 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/26067/task/26074/stat : 26074 (java) S 26065 26065 18930 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 61617979 14316269568 258027 18446744073709551615 4194304 4196468 140736149285408 140339877049312 140340332365525 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7548928 140736149287379 140736149287554 140736149287554 140736149290959 0
[pid=26067/tid=26075] ppid=26065 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/26067/task/26075/stat : 26075 (java) S 26065 26065 18930 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 61617979 14316269568 258027 18446744073709551615 4194304 4196468 140736149285408 140339875996672 140340332365525 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7548928 140736149287379 140736149287554 140736149287554 140736149290959 0
[pid=26067/tid=26076] ppid=26065 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/26067/task/26076/stat : 26076 (java) S 26065 26065 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 61617981 14316269568 258027 18446744073709551615 4194304 4196468 140736149285408 140339874945232 140340332373915 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7548928 140736149287379 140736149287554 140736149287554 140736149290959 0
[pid=26067/tid=26077] ppid=26065 vsize=13980732 CPUtime=4.82 cores=0,2,4,6
/proc/26067/task/26077/stat : 26077 (java) S 26065 26065 18930 0 -1 1077944384 20726 0 0 0 480 2 0 0 20 0 15 0 61617981 14316269568 258027 18446744073709551615 4194304 4196468 140736149285408 140339873892848 140340332366466 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7548928 140736149287379 140736149287554 140736149287554 140736149290959 0
[pid=26067/tid=26078] ppid=26065 vsize=13980732 CPUtime=4.42 cores=0,2,4,6
/proc/26067/task/26078/stat : 26078 (java) S 26065 26065 18930 0 -1 1077944384 22929 0 0 0 439 3 0 0 20 0 15 0 61617981 14316269568 258027 18446744073709551615 4194304 4196468 140736149285408 140339872840304 140340332366466 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7548928 140736149287379 140736149287554 140736149287554 140736149290959 0
[pid=26067/tid=26079] ppid=26065 vsize=13980732 CPUtime=0.76 cores=0,2,4,6
/proc/26067/task/26079/stat : 26079 (java) S 26065 26065 18930 0 -1 1077944384 9365 0 0 0 74 2 0 0 20 0 15 0 61617981 14316269568 258027 18446744073709551615 4194304 4196468 140736149285408 140339871787760 140340332366466 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7548928 140736149287379 140736149287554 140736149287554 140736149290959 0
[pid=26067/tid=26080] ppid=26065 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/26067/task/26080/stat : 26080 (java) S 26065 26065 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 61617982 14316269568 258027 18446744073709551615 4194304 4196468 140736149285408 140339870735456 140340332365525 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7548928 140736149287379 140736149287554 140736149287554 140736149290959 0
[pid=26067/tid=26081] ppid=26065 vsize=13980732 CPUtime=0.08 cores=0,2,4,6
/proc/26067/task/26081/stat : 26081 (java) S 26065 26065 18930 0 -1 1077944384 304 0 0 0 3 5 0 0 20 0 15 0 61617986 14316269568 258027 18446744073709551615 4194304 4196468 140736149285408 140339869681968 140340332366466 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7548928 140736149287379 140736149287554 140736149287554 140736149290959 0
Current children cumulated CPU time (s) 174.11
Current children cumulated vsize (KiB) 13990244
[startup+222.307 s]
/proc/loadavg: 1.40 1.76 1.83 3/217 26173
/proc/meminfo: memFree=30674020/32770624 swapFree=0/213848
[pid=26065] ppid=26062 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/26065/stat : 26065 (xcsp3-exec) S 26062 26065 18930 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 61617966 9740288 344 18446744073709551615 4194304 5098028 140734964194480 140734964192584 140367940612732 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 9 0 0 7196144 7232144 13045760 140734964199835 140734964200038 140734964200038 140734964203499 0
/proc/26065/statm: 2378 344 289 221 0 87 0
[pid=26067] ppid=26065 vsize=13980732 CPUtime=235.25 cores=0,2,4,6
/proc/26067/stat : 26067 (java) S 26065 26065 18930 0 -1 1077944320 87598 0 0 0 23433 92 0 0 20 0 15 0 61617976 14316269568 229398 18446744073709551615 4194304 4196468 140736149285408 140736149267952 140340332355319 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 7548928 140736149287379 140736149287554 140736149287554 140736149290959 0
/proc/26067/statm: 3495183 229398 3222 1 0 3483484 0
[pid=26067/tid=26068] ppid=26065 vsize=13980732 CPUtime=221.05 cores=0,2,4,6
/proc/26067/task/26068/stat : 26068 (java) R 26065 26065 18930 0 -1 4202560 21713 0 0 0 22086 19 0 0 20 0 15 0 61617976 14316269568 229398 18446744073709551615 4194304 4196468 140736149285408 140340336594720 140339957137756 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 7548928 140736149287379 140736149287554 140736149287554 140736149290959 0
[pid=26067/tid=26069] ppid=26065 vsize=13980732 CPUtime=0.97 cores=0,2,4,6
/proc/26067/task/26069/stat : 26069 (java) S 26065 26065 18930 0 -1 1077944384 861 0 0 0 84 13 0 0 20 0 15 0 61617977 14316269568 229398 18446744073709551615 4194304 4196468 140736149285408 140340274301712 140340332365525 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7548928 140736149287379 140736149287554 140736149287554 140736149290959 0
[pid=26067/tid=26070] ppid=26065 vsize=13980732 CPUtime=0.97 cores=0,2,4,6
/proc/26067/task/26070/stat : 26070 (java) S 26065 26065 18930 0 -1 1077944384 2603 0 0 0 82 15 0 0 20 0 15 0 61617977 14316269568 229398 18446744073709551615 4194304 4196468 140736149285408 140340273249168 140340332365525 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7548928 140736149287379 140736149287554 140736149287554 140736149290959 0
[pid=26067/tid=26071] ppid=26065 vsize=13980732 CPUtime=0.97 cores=0,2,4,6
/proc/26067/task/26071/stat : 26071 (java) S 26065 26065 18930 0 -1 1077944384 1192 0 0 0 83 14 0 0 20 0 15 0 61617977 14316269568 229398 18446744073709551615 4194304 4196468 140736149285408 140340272196624 140340332365525 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7548928 140736149287379 140736149287554 140736149287554 140736149290959 0
[pid=26067/tid=26072] ppid=26065 vsize=13980732 CPUtime=0.97 cores=0,2,4,6
/proc/26067/task/26072/stat : 26072 (java) S 26065 26065 18930 0 -1 1077944384 1947 0 0 0 84 13 0 0 20 0 15 0 61617977 14316269568 229398 18446744073709551615 4194304 4196468 140736149285408 140339929685136 140340332365525 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7548928 140736149287379 140736149287554 140736149287554 140736149290959 0
[pid=26067/tid=26073] ppid=26065 vsize=13980732 CPUtime=0.06 cores=0,2,4,6
/proc/26067/task/26073/stat : 26073 (java) S 26065 26065 18930 0 -1 1077944384 1716 0 0 0 5 1 0 0 20 0 15 0 61617978 14316269568 229398 18446744073709551615 4194304 4196468 140736149285408 140339878103024 140340332366466 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7548928 140736149287379 140736149287554 140736149287554 140736149290959 0
[pid=26067/tid=26074] ppid=26065 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/26067/task/26074/stat : 26074 (java) S 26065 26065 18930 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 61617979 14316269568 229398 18446744073709551615 4194304 4196468 140736149285408 140339877049312 140340332365525 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7548928 140736149287379 140736149287554 140736149287554 140736149290959 0
[pid=26067/tid=26075] ppid=26065 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/26067/task/26075/stat : 26075 (java) S 26065 26065 18930 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 61617979 14316269568 229398 18446744073709551615 4194304 4196468 140736149285408 140339875996672 140340332365525 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7548928 140736149287379 140736149287554 140736149287554 140736149290959 0
[pid=26067/tid=26076] ppid=26065 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/26067/task/26076/stat : 26076 (java) S 26065 26065 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 61617981 14316269568 229398 18446744073709551615 4194304 4196468 140736149285408 140339874945232 140340332373915 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7548928 140736149287379 140736149287554 140736149287554 140736149290959 0
[pid=26067/tid=26077] ppid=26065 vsize=13980732 CPUtime=4.84 cores=0,2,4,6
/proc/26067/task/26077/stat : 26077 (java) S 26065 26065 18930 0 -1 1077944384 21683 0 0 0 482 2 0 0 20 0 15 0 61617981 14316269568 229398 18446744073709551615 4194304 4196468 140736149285408 140339873892848 140340332366466 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7548928 140736149287379 140736149287554 140736149287554 140736149290959 0
[pid=26067/tid=26078] ppid=26065 vsize=13980732 CPUtime=4.45 cores=0,2,4,6
/proc/26067/task/26078/stat : 26078 (java) S 26065 26065 18930 0 -1 1077944384 23694 0 0 0 442 3 0 0 20 0 15 0 61617981 14316269568 229398 18446744073709551615 4194304 4196468 140736149285408 140339872840304 140340332366466 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7548928 140736149287379 140736149287554 140736149287554 140736149290959 0
[pid=26067/tid=26079] ppid=26065 vsize=13980732 CPUtime=0.77 cores=0,2,4,6
/proc/26067/task/26079/stat : 26079 (java) S 26065 26065 18930 0 -1 1077944384 10489 0 0 0 75 2 0 0 20 0 15 0 61617981 14316269568 229398 18446744073709551615 4194304 4196468 140736149285408 140339871787760 140340332366466 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7548928 140736149287379 140736149287554 140736149287554 140736149290959 0
[pid=26067/tid=26080] ppid=26065 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/26067/task/26080/stat : 26080 (java) S 26065 26065 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 61617982 14316269568 229398 18446744073709551615 4194304 4196468 140736149285408 140339870735456 140340332365525 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7548928 140736149287379 140736149287554 140736149287554 140736149290959 0
[pid=26067/tid=26081] ppid=26065 vsize=13980732 CPUtime=0.11 cores=0,2,4,6
/proc/26067/task/26081/stat : 26081 (java) S 26065 26065 18930 0 -1 1077944384 344 0 0 0 4 7 0 0 20 0 15 0 61617986 14316269568 229398 18446744073709551615 4194304 4196468 140736149285408 140339869681968 140340332366466 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7548928 140736149287379 140736149287554 140736149287554 140736149290959 0
Current children cumulated CPU time (s) 235.25
Current children cumulated vsize (KiB) 13990244
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.001 s]
/proc/loadavg: 1.30 1.71 1.81 3/217 26174
/proc/meminfo: memFree=30711732/32770624 swapFree=0/213864
[pid=26065] ppid=26062 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/26065/stat : 26065 (xcsp3-exec) S 26062 26065 18930 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 61617966 9740288 344 18446744073709551615 4194304 5098028 140734964194480 140734964192584 140367940612732 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 9 0 0 7196144 7232144 13045760 140734964199835 140734964200038 140734964200038 140734964203499 0
/proc/26065/statm: 2378 344 289 221 0 87 0
[pid=26067] ppid=26065 vsize=13980732 CPUtime=253.37 cores=0,2,4,6
/proc/26067/stat : 26067 (java) S 26065 26065 18930 0 -1 1077944320 89453 0 0 0 25240 97 0 0 20 0 15 0 61617976 14316269568 224007 18446744073709551615 4194304 4196468 140736149285408 140736149267952 140340332355319 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 7548928 140736149287379 140736149287554 140736149287554 140736149290959 0
/proc/26067/statm: 3495183 224007 3222 1 0 3483484 0
[pid=26067/tid=26068] ppid=26065 vsize=13980732 CPUtime=238.58 cores=0,2,4,6
/proc/26067/task/26068/stat : 26068 (java) R 26065 26065 18930 0 -1 4202560 22377 0 0 0 23839 19 0 0 20 0 15 0 61617976 14316269568 224007 18446744073709551615 4194304 4196468 140736149285408 140340336594656 140339959473172 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 7548928 140736149287379 140736149287554 140736149287554 140736149290959 0
[pid=26067/tid=26069] ppid=26065 vsize=13980732 CPUtime=1.1 cores=0,2,4,6
/proc/26067/task/26069/stat : 26069 (java) S 26065 26065 18930 0 -1 1077944384 1547 0 0 0 96 14 0 0 20 0 15 0 61617977 14316269568 224007 18446744073709551615 4194304 4196468 140736149285408 140340274301712 140340332365525 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7548928 140736149287379 140736149287554 140736149287554 140736149290959 0
[pid=26067/tid=26070] ppid=26065 vsize=13980732 CPUtime=1.11 cores=0,2,4,6
/proc/26067/task/26070/stat : 26070 (java) S 26065 26065 18930 0 -1 1077944384 2682 0 0 0 95 16 0 0 20 0 15 0 61617977 14316269568 224007 18446744073709551615 4194304 4196468 140736149285408 140340273249168 140340332365525 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7548928 140736149287379 140736149287554 140736149287554 140736149290959 0
[pid=26067/tid=26071] ppid=26065 vsize=13980732 CPUtime=1.11 cores=0,2,4,6
/proc/26067/task/26071/stat : 26071 (java) S 26065 26065 18930 0 -1 1077944384 1275 0 0 0 96 15 0 0 20 0 15 0 61617977 14316269568 224007 18446744073709551615 4194304 4196468 140736149285408 140340272196624 140340332365525 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7548928 140736149287379 140736149287554 140736149287554 140736149290959 0
[pid=26067/tid=26072] ppid=26065 vsize=13980732 CPUtime=1.11 cores=0,2,4,6
/proc/26067/task/26072/stat : 26072 (java) S 26065 26065 18930 0 -1 1077944384 2012 0 0 0 96 15 0 0 20 0 15 0 61617977 14316269568 224007 18446744073709551615 4194304 4196468 140736149285408 140339929685136 140340332365525 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7548928 140736149287379 140736149287554 140736149287554 140736149290959 0
[pid=26067/tid=26073] ppid=26065 vsize=13980732 CPUtime=0.08 cores=0,2,4,6
/proc/26067/task/26073/stat : 26073 (java) S 26065 26065 18930 0 -1 1077944384 1969 0 0 0 6 2 0 0 20 0 15 0 61617978 14316269568 224007 18446744073709551615 4194304 4196468 140736149285408 140339878103024 140340332366466 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7548928 140736149287379 140736149287554 140736149287554 140736149290959 0
[pid=26067/tid=26074] ppid=26065 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/26067/task/26074/stat : 26074 (java) S 26065 26065 18930 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 61617979 14316269568 224007 18446744073709551615 4194304 4196468 140736149285408 140339877049312 140340332365525 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7548928 140736149287379 140736149287554 140736149287554 140736149290959 0
[pid=26067/tid=26075] ppid=26065 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/26067/task/26075/stat : 26075 (java) S 26065 26065 18930 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 61617979 14316269568 224007 18446744073709551615 4194304 4196468 140736149285408 140339875996672 140340332365525 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7548928 140736149287379 140736149287554 140736149287554 140736149290959 0
[pid=26067/tid=26076] ppid=26065 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/26067/task/26076/stat : 26076 (java) S 26065 26065 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 61617981 14316269568 224007 18446744073709551615 4194304 4196468 140736149285408 140339874945232 140340332373915 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7548928 140736149287379 140736149287554 140736149287554 140736149290959 0
[pid=26067/tid=26077] ppid=26065 vsize=13980732 CPUtime=4.84 cores=0,2,4,6
/proc/26067/task/26077/stat : 26077 (java) S 26065 26065 18930 0 -1 1077944384 21686 0 0 0 482 2 0 0 20 0 15 0 61617981 14316269568 224007 18446744073709551615 4194304 4196468 140736149285408 140339873892848 140340332366466 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7548928 140736149287379 140736149287554 140736149287554 140736149290959 0
[pid=26067/tid=26078] ppid=26065 vsize=13980732 CPUtime=4.45 cores=0,2,4,6
/proc/26067/task/26078/stat : 26078 (java) S 26065 26065 18930 0 -1 1077944384 23696 0 0 0 442 3 0 0 20 0 15 0 61617981 14316269568 224007 18446744073709551615 4194304 4196468 140736149285408 140339872840304 140340332366466 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7548928 140736149287379 140736149287554 140736149287554 140736149290959 0
[pid=26067/tid=26079] ppid=26065 vsize=13980732 CPUtime=0.77 cores=0,2,4,6
/proc/26067/task/26079/stat : 26079 (java) S 26065 26065 18930 0 -1 1077944384 10492 0 0 0 75 2 0 0 20 0 15 0 61617981 14316269568 224007 18446744073709551615 4194304 4196468 140736149285408 140339871787760 140340332366466 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7548928 140736149287379 140736149287554 140736149287554 140736149290959 0
[pid=26067/tid=26080] ppid=26065 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/26067/task/26080/stat : 26080 (java) S 26065 26065 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 61617982 14316269568 224007 18446744073709551615 4194304 4196468 140736149285408 140339870735456 140340332365525 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7548928 140736149287379 140736149287554 140736149287554 140736149290959 0
[pid=26067/tid=26081] ppid=26065 vsize=13980732 CPUtime=0.13 cores=0,2,4,6
/proc/26067/task/26081/stat : 26081 (java) S 26065 26065 18930 0 -1 1077944384 361 0 0 0 5 8 0 0 20 0 15 0 61617986 14316269568 224007 18446744073709551615 4194304 4196468 140736149285408 140339869681968 140340332366466 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7548928 140736149287379 140736149287554 140736149287554 140736149290959 0
Current children cumulated CPU time (s) 253.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 26067 sig 9
??? kill 26065 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 26065 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=1909
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=120
# CPU time returned by wait4() is 0.002029
# while last known CPU time is 253.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): 253.37
CPU user time (s): 252.4
CPU system time (s): 0.97
CPU usage (%): 105.566
Max. virtual memory (cumulated for all children) (KiB): 13992732
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.001909
system time used= 0.00012
maximum resident set size= 1380
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.36315 second user time and 1.31254 second system time
The end