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-4255071-1501621558/watcher-4255071-1501621558 -o /tmp/evaluation-result-4255071-1501621558/solver-4255071-1501621558 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node129-1501617179-10853 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 1325723448 HOME/instance-4255071-1501621558.xml
pid=15063
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.69 1.77 1.81 3/197 15066
/proc/meminfo: memFree=31724748/32770624 swapFree=0/192288
[pid=15066] ppid=15063 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/15066/stat : 15066 (runsolver) D 15063 15066 5091 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 10778881 24240128 108 18446744073709551615 4194304 4338465 140729997578464 140729997576104 140337229828823 0 0 1 24578 18446744071580418449 0 0 17 0 0 0 0 0 0 6438912 6441760 12324864 140729997582428 140729997582918 140729997582918 140729997586378 0
/proc/15066/statm: 5918 108 54 36 0 2156 0
[startup+0.100066 s]
/proc/loadavg: 1.69 1.77 1.81 3/197 15066
/proc/meminfo: memFree=31724748/32770624 swapFree=0/192288
[pid=15066] ppid=15063 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/15066/stat : 15066 (xcsp3-exec) S 15063 15066 5091 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10778881 9740288 345 18446744073709551615 4194304 5098028 140722199095760 140722199093864 139621150286460 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 8 0 0 7196144 7232144 27148288 140722199097755 140722199097959 140722199097959 140722199101419 0
/proc/15066/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200718 s]
/proc/loadavg: 1.69 1.77 1.81 3/197 15066
/proc/meminfo: memFree=31724748/32770624 swapFree=0/192288
[pid=15066] ppid=15063 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/15066/stat : 15066 (xcsp3-exec) S 15063 15066 5091 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10778881 9740288 345 18446744073709551615 4194304 5098028 140722199095760 140722199093864 139621150286460 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 8 0 0 7196144 7232144 27148288 140722199097755 140722199097959 140722199097959 140722199101419 0
/proc/15066/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300273 s]
/proc/loadavg: 1.69 1.77 1.81 3/197 15066
/proc/meminfo: memFree=31724748/32770624 swapFree=0/192288
[pid=15066] ppid=15063 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/15066/stat : 15066 (xcsp3-exec) S 15063 15066 5091 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10778881 9740288 345 18446744073709551615 4194304 5098028 140722199095760 140722199093864 139621150286460 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 8 0 0 7196144 7232144 27148288 140722199097755 140722199097959 140722199097959 140722199101419 0
/proc/15066/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700196 s]
/proc/loadavg: 1.69 1.77 1.81 3/197 15066
/proc/meminfo: memFree=31724748/32770624 swapFree=0/192288
[pid=15066] ppid=15063 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/15066/stat : 15066 (xcsp3-exec) S 15063 15066 5091 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10778881 9740288 345 18446744073709551615 4194304 5098028 140722199095760 140722199093864 139621150286460 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 8 0 0 7196144 7232144 27148288 140722199097755 140722199097959 140722199097959 140722199101419 0
/proc/15066/statm: 2378 345 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.69 1.77 1.81 5/213 15082
/proc/meminfo: memFree=31632208/32770624 swapFree=0/192292
[pid=15066] ppid=15063 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/15066/stat : 15066 (xcsp3-exec) S 15063 15066 5091 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10778881 9740288 345 18446744073709551615 4194304 5098028 140722199095760 140722199093864 139621150286460 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 8 0 0 7196144 7232144 27148288 140722199097755 140722199097959 140722199097959 140722199101419 0
/proc/15066/statm: 2378 345 289 221 0 87 0
[pid=15068] ppid=15066 vsize=13980732 CPUtime=3.83 cores=0,2,4,6
/proc/15068/stat : 15068 (java) S 15066 15066 5091 0 -1 1077944320 30932 0 0 0 376 7 0 0 20 0 15 0 10778890 14316269568 35513 18446744073709551615 4194304 4196468 140722477075408 140722477057952 140719883521783 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 32755712 140722477081044 140722477081219 140722477081219 140722477084623 0
/proc/15068/statm: 3495183 35513 3184 1 0 3483484 0
[pid=15068/tid=15069] ppid=15066 vsize=13980732 CPUtime=1.36 cores=0,2,4,6
/proc/15068/task/15069/stat : 15069 (java) R 15066 15066 5091 0 -1 4202560 8880 0 0 0 132 4 0 0 20 0 15 0 10778890 14316269568 35513 18446744073709551615 4194304 4196468 140722477075408 140719887760192 140719524306601 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 32755712 140722477081044 140722477081219 140722477081219 140722477084623 0
[pid=15068/tid=15070] ppid=15066 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/15068/task/15070/stat : 15070 (java) S 15066 15066 5091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10778891 14316269568 35513 18446744073709551615 4194304 4196468 140722477075408 140719840488080 140719883531989 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32755712 140722477081044 140722477081219 140722477081219 140722477084623 0
[pid=15068/tid=15071] ppid=15066 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/15068/task/15071/stat : 15071 (java) S 15066 15066 5091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10778891 14316269568 35513 18446744073709551615 4194304 4196468 140722477075408 140719482399248 140719883531989 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32755712 140722477081044 140722477081219 140722477081219 140722477084623 0
[pid=15068/tid=15072] ppid=15066 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/15068/task/15072/stat : 15072 (java) S 15066 15066 5091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10778891 14316269568 35513 18446744073709551615 4194304 4196468 140722477075408 140719481346448 140719883531989 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32755712 140722477081044 140722477081219 140722477081219 140722477084623 0
[pid=15068/tid=15073] ppid=15066 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/15068/task/15073/stat : 15073 (java) S 15066 15066 5091 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10778891 14316269568 35513 18446744073709551615 4194304 4196468 140722477075408 140719480293648 140719883531989 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32755712 140722477081044 140722477081219 140722477081219 140722477084623 0
[pid=15068/tid=15074] ppid=15066 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/15068/task/15074/stat : 15074 (java) S 15066 15066 5091 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 10778892 14316269568 35513 18446744073709551615 4194304 4196468 140722477075408 140719227370352 140719883532930 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32755712 140722477081044 140722477081219 140722477081219 140722477084623 0
[pid=15068/tid=15075] ppid=15066 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/15068/task/15075/stat : 15075 (java) S 15066 15066 5091 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 10778893 14316269568 35513 18446744073709551615 4194304 4196468 140722477075408 140719226316320 140719883531989 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32755712 140722477081044 140722477081219 140722477081219 140722477084623 0
[pid=15068/tid=15076] ppid=15066 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/15068/task/15076/stat : 15076 (java) S 15066 15066 5091 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 10778893 14316269568 35513 18446744073709551615 4194304 4196468 140722477075408 140719225263472 140719883531989 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32755712 140722477081044 140722477081219 140722477081219 140722477084623 0
[pid=15068/tid=15077] ppid=15066 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/15068/task/15077/stat : 15077 (java) S 15066 15066 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10778895 14316269568 35513 18446744073709551615 4194304 4196468 140722477075408 140719224211792 140719883540379 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32755712 140722477081044 140722477081219 140722477081219 140722477084623 0
[pid=15068/tid=15078] ppid=15066 vsize=13980732 CPUtime=1.02 cores=0,2,4,6
/proc/15068/task/15078/stat : 15078 (java) R 15066 15066 5091 0 -1 4202560 6808 0 0 0 101 1 0 0 20 0 15 0 10778895 14316269568 35513 18446744073709551615 4194304 4196468 140722477075408 140719223144096 140719868631349 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32755712 140722477081044 140722477081219 140722477081219 140722477084623 0
[pid=15068/tid=15079] ppid=15066 vsize=13980732 CPUtime=1.02 cores=0,2,4,6
/proc/15068/task/15079/stat : 15079 (java) R 15066 15066 5091 0 -1 4202560 10956 0 0 0 101 1 0 0 20 0 15 0 10778895 14316269568 35513 18446744073709551615 4194304 4196468 140722477075408 140719222092376 140719866908768 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32755712 140722477081044 140722477081219 140722477081219 140722477084623 0
[pid=15068/tid=15080] ppid=15066 vsize=13980732 CPUtime=0.41 cores=0,2,4,6
/proc/15068/task/15080/stat : 15080 (java) S 15066 15066 5091 0 -1 1077944384 2979 0 0 0 41 0 0 0 20 0 15 0 10778895 14316269568 35513 18446744073709551615 4194304 4196468 140722477075408 140719221053552 140719883532930 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32755712 140722477081044 140722477081219 140722477081219 140722477084623 0
[pid=15068/tid=15081] ppid=15066 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/15068/task/15081/stat : 15081 (java) S 15066 15066 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10778895 14316269568 35513 18446744073709551615 4194304 4196468 140722477075408 140719220000992 140719883531989 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32755712 140722477081044 140722477081219 140722477081219 140722477084623 0
[pid=15068/tid=15082] ppid=15066 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/15068/task/15082/stat : 15082 (java) S 15066 15066 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10778899 14316269568 35513 18446744073709551615 4194304 4196468 140722477075408 140719218949296 140719883532930 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32755712 140722477081044 140722477081219 140722477081219 140722477084623 0
Current children cumulated CPU time (s) 3.83
Current children cumulated vsize (KiB) 13990244
[startup+3.10118 s]
/proc/loadavg: 1.69 1.77 1.81 5/213 15082
/proc/meminfo: memFree=31533968/32770624 swapFree=0/192292
[pid=15066] ppid=15063 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/15066/stat : 15066 (xcsp3-exec) S 15063 15066 5091 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10778881 9740288 345 18446744073709551615 4194304 5098028 140722199095760 140722199093864 139621150286460 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 8 0 0 7196144 7232144 27148288 140722199097755 140722199097959 140722199097959 140722199101419 0
/proc/15066/statm: 2378 345 289 221 0 87 0
[pid=15068] ppid=15066 vsize=13980732 CPUtime=8.48 cores=0,2,4,6
/proc/15068/stat : 15068 (java) S 15066 15066 5091 0 -1 1077944320 58334 0 0 0 835 13 0 0 20 0 15 0 10778890 14316269568 59509 18446744073709551615 4194304 4196468 140722477075408 140722477057952 140719883521783 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 32755712 140722477081044 140722477081219 140722477081219 140722477084623 0
/proc/15068/statm: 3495183 59509 3212 1 0 3483484 0
[pid=15068/tid=15069] ppid=15066 vsize=13980732 CPUtime=2.94 cores=0,2,4,6
/proc/15068/task/15069/stat : 15069 (java) R 15066 15066 5091 0 -1 4202560 9549 0 0 0 289 5 0 0 20 0 15 0 10778890 14316269568 59509 18446744073709551615 4194304 4196468 140722477075408 140719887757720 140719523887688 0 4 1 16800974 0 0 0 -1 6 0 0 3 0 0 6293624 6294260 32755712 140722477081044 140722477081219 140722477081219 140722477084623 0
[pid=15068/tid=15070] ppid=15066 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/15068/task/15070/stat : 15070 (java) S 15066 15066 5091 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 10778891 14316269568 59509 18446744073709551615 4194304 4196468 140722477075408 140719840488080 140719883531989 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32755712 140722477081044 140722477081219 140722477081219 140722477084623 0
[pid=15068/tid=15071] ppid=15066 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/15068/task/15071/stat : 15071 (java) S 15066 15066 5091 0 -1 1077944384 182 0 0 0 0 0 0 0 20 0 15 0 10778891 14316269568 59509 18446744073709551615 4194304 4196468 140722477075408 140719482399248 140719883531989 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32755712 140722477081044 140722477081219 140722477081219 140722477084623 0
[pid=15068/tid=15072] ppid=15066 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/15068/task/15072/stat : 15072 (java) S 15066 15066 5091 0 -1 1077944384 229 0 0 0 0 0 0 0 20 0 15 0 10778891 14316269568 59509 18446744073709551615 4194304 4196468 140722477075408 140719481346448 140719883531989 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32755712 140722477081044 140722477081219 140722477081219 140722477084623 0
[pid=15068/tid=15073] ppid=15066 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/15068/task/15073/stat : 15073 (java) S 15066 15066 5091 0 -1 1077944384 78 0 0 0 0 0 0 0 20 0 15 0 10778891 14316269568 59509 18446744073709551615 4194304 4196468 140722477075408 140719480293648 140719883531989 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32755712 140722477081044 140722477081219 140722477081219 140722477084623 0
[pid=15068/tid=15074] ppid=15066 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/15068/task/15074/stat : 15074 (java) S 15066 15066 5091 0 -1 1077944384 166 0 0 0 0 0 0 0 20 0 15 0 10778892 14316269568 59509 18446744073709551615 4194304 4196468 140722477075408 140719227370352 140719883532930 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32755712 140722477081044 140722477081219 140722477081219 140722477084623 0
[pid=15068/tid=15075] ppid=15066 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/15068/task/15075/stat : 15075 (java) S 15066 15066 5091 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 10778893 14316269568 59509 18446744073709551615 4194304 4196468 140722477075408 140719226316320 140719883531989 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32755712 140722477081044 140722477081219 140722477081219 140722477084623 0
[pid=15068/tid=15076] ppid=15066 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/15068/task/15076/stat : 15076 (java) S 15066 15066 5091 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 10778893 14316269568 59509 18446744073709551615 4194304 4196468 140722477075408 140719225263472 140719883531989 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32755712 140722477081044 140722477081219 140722477081219 140722477084623 0
[pid=15068/tid=15077] ppid=15066 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/15068/task/15077/stat : 15077 (java) S 15066 15066 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10778895 14316269568 59509 18446744073709551615 4194304 4196468 140722477075408 140719224211792 140719883540379 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32755712 140722477081044 140722477081219 140722477081219 140722477084623 0
[pid=15068/tid=15078] ppid=15066 vsize=13980732 CPUtime=2.5 cores=0,2,4,6
/proc/15068/task/15078/stat : 15078 (java) S 15066 15066 5091 0 -1 1077944384 8721 0 0 0 248 2 0 0 20 0 15 0 10778895 14316269568 59509 18446744073709551615 4194304 4196468 140722477075408 140719223159152 140719883532930 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32755712 140722477081044 140722477081219 140722477081219 140722477084623 0
[pid=15068/tid=15079] ppid=15066 vsize=13980732 CPUtime=2.48 cores=0,2,4,6
/proc/15068/task/15079/stat : 15079 (java) S 15066 15066 5091 0 -1 1077944384 34155 0 0 0 244 4 0 0 20 0 15 0 10778895 14316269568 59509 18446744073709551615 4194304 4196468 140722477075408 140719222106352 140719883532930 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32755712 140722477081044 140722477081219 140722477081219 140722477084623 0
[pid=15068/tid=15080] ppid=15066 vsize=13980732 CPUtime=0.49 cores=0,2,4,6
/proc/15068/task/15080/stat : 15080 (java) S 15066 15066 5091 0 -1 1077944384 3842 0 0 0 49 0 0 0 20 0 15 0 10778895 14316269568 59509 18446744073709551615 4194304 4196468 140722477075408 140719221053552 140719883532930 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32755712 140722477081044 140722477081219 140722477081219 140722477084623 0
[pid=15068/tid=15081] ppid=15066 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/15068/task/15081/stat : 15081 (java) S 15066 15066 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10778895 14316269568 59509 18446744073709551615 4194304 4196468 140722477075408 140719220000992 140719883531989 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32755712 140722477081044 140722477081219 140722477081219 140722477084623 0
[pid=15068/tid=15082] ppid=15066 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/15068/task/15082/stat : 15082 (java) S 15066 15066 5091 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 15 0 10778899 14316269568 59509 18446744073709551615 4194304 4196468 140722477075408 140719218949296 140719883532930 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32755712 140722477081044 140722477081219 140722477081219 140722477084623 0
Current children cumulated CPU time (s) 8.48
Current children cumulated vsize (KiB) 13990244
[startup+6.30067 s]
/proc/loadavg: 1.87 1.81 1.82 3/213 15082
/proc/meminfo: memFree=31493032/32770624 swapFree=0/192304
[pid=15066] ppid=15063 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/15066/stat : 15066 (xcsp3-exec) S 15063 15066 5091 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10778881 9740288 345 18446744073709551615 4194304 5098028 140722199095760 140722199093864 139621150286460 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 8 0 0 7196144 7232144 27148288 140722199097755 140722199097959 140722199097959 140722199101419 0
/proc/15066/statm: 2378 345 289 221 0 87 0
[pid=15068] ppid=15066 vsize=13980732 CPUtime=13.52 cores=0,2,4,6
/proc/15068/stat : 15068 (java) S 15066 15066 5091 0 -1 1077944320 59366 0 0 0 1339 13 0 0 20 0 15 0 10778890 14316269568 62486 18446744073709551615 4194304 4196468 140722477075408 140722477057952 140719883521783 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 32755712 140722477081044 140722477081219 140722477081219 140722477084623 0
/proc/15068/statm: 3495183 62486 3220 1 0 3483484 0
[pid=15068/tid=15069] ppid=15066 vsize=13980732 CPUtime=6.12 cores=0,2,4,6
/proc/15068/task/15069/stat : 15069 (java) R 15066 15066 5091 0 -1 4202560 9568 0 0 0 607 5 0 0 20 0 15 0 10778890 14316269568 62486 18446744073709551615 4194304 4196468 140722477075408 140719887761296 140719524306987 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 32755712 140722477081044 140722477081219 140722477081219 140722477084623 0
[pid=15068/tid=15070] ppid=15066 vsize=13980732 CPUtime=0.02 cores=0,2,4,6
/proc/15068/task/15070/stat : 15070 (java) S 15066 15066 5091 0 -1 1077944384 67 0 0 0 2 0 0 0 20 0 15 0 10778891 14316269568 62486 18446744073709551615 4194304 4196468 140722477075408 140719840488080 140719883531989 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32755712 140722477081044 140722477081219 140722477081219 140722477084623 0
[pid=15068/tid=15071] ppid=15066 vsize=13980732 CPUtime=0.01 cores=0,2,4,6
/proc/15068/task/15071/stat : 15071 (java) S 15066 15066 5091 0 -1 1077944384 187 0 0 0 1 0 0 0 20 0 15 0 10778891 14316269568 62486 18446744073709551615 4194304 4196468 140722477075408 140719482399248 140719883531989 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32755712 140722477081044 140722477081219 140722477081219 140722477084623 0
[pid=15068/tid=15072] ppid=15066 vsize=13980732 CPUtime=0.02 cores=0,2,4,6
/proc/15068/task/15072/stat : 15072 (java) S 15066 15066 5091 0 -1 1077944384 240 0 0 0 2 0 0 0 20 0 15 0 10778891 14316269568 62486 18446744073709551615 4194304 4196468 140722477075408 140719481346448 140719883531989 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32755712 140722477081044 140722477081219 140722477081219 140722477084623 0
[pid=15068/tid=15073] ppid=15066 vsize=13980732 CPUtime=0.01 cores=0,2,4,6
/proc/15068/task/15073/stat : 15073 (java) S 15066 15066 5091 0 -1 1077944384 79 0 0 0 1 0 0 0 20 0 15 0 10778891 14316269568 62486 18446744073709551615 4194304 4196468 140722477075408 140719480293648 140719883531989 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32755712 140722477081044 140722477081219 140722477081219 140722477084623 0
[pid=15068/tid=15074] ppid=15066 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/15068/task/15074/stat : 15074 (java) S 15066 15066 5091 0 -1 1077944384 170 0 0 0 0 0 0 0 20 0 15 0 10778892 14316269568 62486 18446744073709551615 4194304 4196468 140722477075408 140719227370352 140719883532930 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32755712 140722477081044 140722477081219 140722477081219 140722477084623 0
[pid=15068/tid=15075] ppid=15066 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/15068/task/15075/stat : 15075 (java) S 15066 15066 5091 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 10778893 14316269568 62486 18446744073709551615 4194304 4196468 140722477075408 140719226316320 140719883531989 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32755712 140722477081044 140722477081219 140722477081219 140722477084623 0
[pid=15068/tid=15076] ppid=15066 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/15068/task/15076/stat : 15076 (java) S 15066 15066 5091 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 10778893 14316269568 62486 18446744073709551615 4194304 4196468 140722477075408 140719225263472 140719883531989 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32755712 140722477081044 140722477081219 140722477081219 140722477084623 0
[pid=15068/tid=15077] ppid=15066 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/15068/task/15077/stat : 15077 (java) S 15066 15066 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10778895 14316269568 62486 18446744073709551615 4194304 4196468 140722477075408 140719224211792 140719883540379 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32755712 140722477081044 140722477081219 140722477081219 140722477084623 0
[pid=15068/tid=15078] ppid=15066 vsize=13980732 CPUtime=3.42 cores=0,2,4,6
/proc/15068/task/15078/stat : 15078 (java) S 15066 15066 5091 0 -1 1077944384 9510 0 0 0 340 2 0 0 20 0 15 0 10778895 14316269568 62486 18446744073709551615 4194304 4196468 140722477075408 140719223159152 140719883532930 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32755712 140722477081044 140722477081219 140722477081219 140722477084623 0
[pid=15068/tid=15079] ppid=15066 vsize=13980732 CPUtime=3.33 cores=0,2,4,6
/proc/15068/task/15079/stat : 15079 (java) S 15066 15066 5091 0 -1 1077944384 34294 0 0 0 329 4 0 0 20 0 15 0 10778895 14316269568 62486 18446744073709551615 4194304 4196468 140722477075408 140719222106352 140719883532930 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32755712 140722477081044 140722477081219 140722477081219 140722477084623 0
[pid=15068/tid=15080] ppid=15066 vsize=13980732 CPUtime=0.53 cores=0,2,4,6
/proc/15068/task/15080/stat : 15080 (java) S 15066 15066 5091 0 -1 1077944384 3889 0 0 0 53 0 0 0 20 0 15 0 10778895 14316269568 62486 18446744073709551615 4194304 4196468 140722477075408 140719221053552 140719883532930 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32755712 140722477081044 140722477081219 140722477081219 140722477084623 0
[pid=15068/tid=15081] ppid=15066 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/15068/task/15081/stat : 15081 (java) S 15066 15066 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10778895 14316269568 62486 18446744073709551615 4194304 4196468 140722477075408 140719220000992 140719883531989 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32755712 140722477081044 140722477081219 140722477081219 140722477084623 0
[pid=15068/tid=15082] ppid=15066 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/15068/task/15082/stat : 15082 (java) S 15066 15066 5091 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 15 0 10778899 14316269568 62486 18446744073709551615 4194304 4196468 140722477075408 140719218949296 140719883532930 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32755712 140722477081044 140722477081219 140722477081219 140722477084623 0
Current children cumulated CPU time (s) 13.52
Current children cumulated vsize (KiB) 13990244
[startup+12.7008 s]
/proc/loadavg: 1.88 1.81 1.82 3/213 15082
/proc/meminfo: memFree=31503568/32770624 swapFree=0/192312
[pid=15066] ppid=15063 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/15066/stat : 15066 (xcsp3-exec) S 15063 15066 5091 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10778881 9740288 345 18446744073709551615 4194304 5098028 140722199095760 140722199093864 139621150286460 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 8 0 0 7196144 7232144 27148288 140722199097755 140722199097959 140722199097959 140722199101419 0
/proc/15066/statm: 2378 345 289 221 0 87 0
[pid=15068] ppid=15066 vsize=13980732 CPUtime=20.28 cores=0,2,4,6
/proc/15068/stat : 15068 (java) S 15066 15066 5091 0 -1 1077944320 63994 0 0 0 2012 16 0 0 20 0 15 0 10778890 14316269568 61401 18446744073709551615 4194304 4196468 140722477075408 140722477057952 140719883521783 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 32755712 140722477081044 140722477081219 140722477081219 140722477084623 0
/proc/15068/statm: 3495183 61401 3226 1 0 3483484 0
[pid=15068/tid=15069] ppid=15066 vsize=13980732 CPUtime=12.49 cores=0,2,4,6
/proc/15068/task/15069/stat : 15069 (java) R 15066 15066 5091 0 -1 4202560 10273 0 0 0 1244 5 0 0 20 0 15 0 10778890 14316269568 61401 18446744073709551615 4194304 4196468 140722477075408 140719887761056 140719520294010 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 32755712 140722477081044 140722477081219 140722477081219 140722477084623 0
[pid=15068/tid=15070] ppid=15066 vsize=13980732 CPUtime=0.03 cores=0,2,4,6
/proc/15068/task/15070/stat : 15070 (java) S 15066 15066 5091 0 -1 1077944384 124 0 0 0 3 0 0 0 20 0 15 0 10778891 14316269568 61401 18446744073709551615 4194304 4196468 140722477075408 140719840488080 140719883531989 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32755712 140722477081044 140722477081219 140722477081219 140722477084623 0
[pid=15068/tid=15071] ppid=15066 vsize=13980732 CPUtime=0.03 cores=0,2,4,6
/proc/15068/task/15071/stat : 15071 (java) S 15066 15066 5091 0 -1 1077944384 294 0 0 0 3 0 0 0 20 0 15 0 10778891 14316269568 61401 18446744073709551615 4194304 4196468 140722477075408 140719482399248 140719883531989 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32755712 140722477081044 140722477081219 140722477081219 140722477084623 0
################
# More data... #
################
[pid=15068/tid=15075] ppid=15066 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/15068/task/15075/stat : 15075 (java) S 15066 15066 5091 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 10778893 14316269568 62661 18446744073709551615 4194304 4196468 140722477075408 140719226316320 140719883531989 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32755712 140722477081044 140722477081219 140722477081219 140722477084623 0
[pid=15068/tid=15076] ppid=15066 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/15068/task/15076/stat : 15076 (java) S 15066 15066 5091 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 10778893 14316269568 62661 18446744073709551615 4194304 4196468 140722477075408 140719225263472 140719883531989 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32755712 140722477081044 140722477081219 140722477081219 140722477084623 0
[pid=15068/tid=15077] ppid=15066 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/15068/task/15077/stat : 15077 (java) S 15066 15066 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10778895 14316269568 62661 18446744073709551615 4194304 4196468 140722477075408 140719224211792 140719883540379 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32755712 140722477081044 140722477081219 140722477081219 140722477084623 0
[pid=15068/tid=15078] ppid=15066 vsize=13980732 CPUtime=3.77 cores=0,2,4,6
/proc/15068/task/15078/stat : 15078 (java) S 15066 15066 5091 0 -1 1077944384 15885 0 0 0 375 2 0 0 20 0 15 0 10778895 14316269568 62661 18446744073709551615 4194304 4196468 140722477075408 140719223159152 140719883532930 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32755712 140722477081044 140722477081219 140722477081219 140722477084623 0
[pid=15068/tid=15079] ppid=15066 vsize=13980732 CPUtime=3.78 cores=0,2,4,6
/proc/15068/task/15079/stat : 15079 (java) S 15066 15066 5091 0 -1 1077944384 40305 0 0 0 373 5 0 0 20 0 15 0 10778895 14316269568 62661 18446744073709551615 4194304 4196468 140722477075408 140719222106352 140719883532930 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32755712 140722477081044 140722477081219 140722477081219 140722477084623 0
[pid=15068/tid=15080] ppid=15066 vsize=13980732 CPUtime=0.58 cores=0,2,4,6
/proc/15068/task/15080/stat : 15080 (java) S 15066 15066 5091 0 -1 1077944384 7786 0 0 0 57 1 0 0 20 0 15 0 10778895 14316269568 62661 18446744073709551615 4194304 4196468 140722477075408 140719221053552 140719883532930 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32755712 140722477081044 140722477081219 140722477081219 140722477084623 0
[pid=15068/tid=15081] ppid=15066 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/15068/task/15081/stat : 15081 (java) S 15066 15066 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10778895 14316269568 62661 18446744073709551615 4194304 4196468 140722477075408 140719220000992 140719883531989 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32755712 140722477081044 140722477081219 140722477081219 140722477084623 0
[pid=15068/tid=15082] ppid=15066 vsize=13980732 CPUtime=0.05 cores=0,2,4,6
/proc/15068/task/15082/stat : 15082 (java) S 15066 15066 5091 0 -1 1077944384 499 0 0 0 3 2 0 0 20 0 15 0 10778899 14316269568 62661 18446744073709551615 4194304 4196468 140722477075408 140719218949296 140719883532930 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32755712 140722477081044 140722477081219 140722477081219 140722477084623 0
Current children cumulated CPU time (s) 111.83
Current children cumulated vsize (KiB) 13990244
[startup+162.301 s]
/proc/loadavg: 1.32 1.63 1.75 3/212 15087
/proc/meminfo: memFree=31213160/32770624 swapFree=0/192432
[pid=15066] ppid=15063 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/15066/stat : 15066 (xcsp3-exec) S 15063 15066 5091 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10778881 9740288 345 18446744073709551615 4194304 5098028 140722199095760 140722199093864 139621150286460 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 8 0 0 7196144 7232144 27148288 140722199097755 140722199097959 140722199097959 140722199101419 0
/proc/15066/statm: 2378 345 289 221 0 87 0
[pid=15068] ppid=15066 vsize=13980732 CPUtime=173.4 cores=0,2,4,6
/proc/15068/stat : 15068 (java) S 15066 15066 5091 0 -1 1077944320 93363 0 0 0 17293 47 0 0 20 0 15 0 10778890 14316269568 89227 18446744073709551615 4194304 4196468 140722477075408 140722477057952 140719883521783 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 32755712 140722477081044 140722477081219 140722477081219 140722477084623 0
/proc/15068/statm: 3495183 89227 3228 1 0 3483484 0
[pid=15068/tid=15069] ppid=15066 vsize=13980732 CPUtime=160.91 cores=0,2,4,6
/proc/15068/task/15069/stat : 15069 (java) R 15066 15066 5091 0 -1 4202560 15310 0 0 0 16085 6 0 0 20 0 15 0 10778890 14316269568 89227 18446744073709551615 4194304 4196468 140722477075408 140719887761600 140719525091224 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 32755712 140722477081044 140722477081219 140722477081219 140722477084623 0
[pid=15068/tid=15070] ppid=15066 vsize=13980732 CPUtime=0.94 cores=0,2,4,6
/proc/15068/task/15070/stat : 15070 (java) S 15066 15066 5091 0 -1 1077944384 1629 0 0 0 89 5 0 0 20 0 15 0 10778891 14316269568 89227 18446744073709551615 4194304 4196468 140722477075408 140719840488080 140719883531989 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32755712 140722477081044 140722477081219 140722477081219 140722477084623 0
[pid=15068/tid=15071] ppid=15066 vsize=13980732 CPUtime=0.94 cores=0,2,4,6
/proc/15068/task/15071/stat : 15071 (java) S 15066 15066 5091 0 -1 1077944384 1787 0 0 0 87 7 0 0 20 0 15 0 10778891 14316269568 89227 18446744073709551615 4194304 4196468 140722477075408 140719482399248 140719883531989 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32755712 140722477081044 140722477081219 140722477081219 140722477084623 0
[pid=15068/tid=15072] ppid=15066 vsize=13980732 CPUtime=0.93 cores=0,2,4,6
/proc/15068/task/15072/stat : 15072 (java) S 15066 15066 5091 0 -1 1077944384 1161 0 0 0 87 6 0 0 20 0 15 0 10778891 14316269568 89227 18446744073709551615 4194304 4196468 140722477075408 140719481346448 140719883531989 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32755712 140722477081044 140722477081219 140722477081219 140722477084623 0
[pid=15068/tid=15073] ppid=15066 vsize=13980732 CPUtime=0.94 cores=0,2,4,6
/proc/15068/task/15073/stat : 15073 (java) S 15066 15066 5091 0 -1 1077944384 1800 0 0 0 88 6 0 0 20 0 15 0 10778891 14316269568 89227 18446744073709551615 4194304 4196468 140722477075408 140719480293648 140719883531989 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32755712 140722477081044 140722477081219 140722477081219 140722477084623 0
[pid=15068/tid=15074] ppid=15066 vsize=13980732 CPUtime=0.16 cores=0,2,4,6
/proc/15068/task/15074/stat : 15074 (java) S 15066 15066 5091 0 -1 1077944384 1650 0 0 0 14 2 0 0 20 0 15 0 10778892 14316269568 89227 18446744073709551615 4194304 4196468 140722477075408 140719227370352 140719883532930 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32755712 140722477081044 140722477081219 140722477081219 140722477084623 0
[pid=15068/tid=15075] ppid=15066 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/15068/task/15075/stat : 15075 (java) S 15066 15066 5091 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 10778893 14316269568 89227 18446744073709551615 4194304 4196468 140722477075408 140719226316320 140719883531989 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32755712 140722477081044 140722477081219 140722477081219 140722477084623 0
[pid=15068/tid=15076] ppid=15066 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/15068/task/15076/stat : 15076 (java) S 15066 15066 5091 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 10778893 14316269568 89227 18446744073709551615 4194304 4196468 140722477075408 140719225263472 140719883531989 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32755712 140722477081044 140722477081219 140722477081219 140722477084623 0
[pid=15068/tid=15077] ppid=15066 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/15068/task/15077/stat : 15077 (java) S 15066 15066 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10778895 14316269568 89227 18446744073709551615 4194304 4196468 140722477075408 140719224211792 140719883540379 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32755712 140722477081044 140722477081219 140722477081219 140722477084623 0
[pid=15068/tid=15078] ppid=15066 vsize=13980732 CPUtime=3.89 cores=0,2,4,6
/proc/15068/task/15078/stat : 15078 (java) S 15066 15066 5091 0 -1 1077944384 17994 0 0 0 386 3 0 0 20 0 15 0 10778895 14316269568 89227 18446744073709551615 4194304 4196468 140722477075408 140719223159152 140719883532930 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32755712 140722477081044 140722477081219 140722477081219 140722477084623 0
[pid=15068/tid=15079] ppid=15066 vsize=13980732 CPUtime=3.92 cores=0,2,4,6
/proc/15068/task/15079/stat : 15079 (java) S 15066 15066 5091 0 -1 1077944384 41552 0 0 0 387 5 0 0 20 0 15 0 10778895 14316269568 89227 18446744073709551615 4194304 4196468 140722477075408 140719222106352 140719883532930 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32755712 140722477081044 140722477081219 140722477081219 140722477084623 0
[pid=15068/tid=15080] ppid=15066 vsize=13980732 CPUtime=0.6 cores=0,2,4,6
/proc/15068/task/15080/stat : 15080 (java) S 15066 15066 5091 0 -1 1077944384 8598 0 0 0 59 1 0 0 20 0 15 0 10778895 14316269568 89227 18446744073709551615 4194304 4196468 140722477075408 140719221053552 140719883532930 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32755712 140722477081044 140722477081219 140722477081219 140722477084623 0
[pid=15068/tid=15081] ppid=15066 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/15068/task/15081/stat : 15081 (java) S 15066 15066 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10778895 14316269568 89227 18446744073709551615 4194304 4196468 140722477075408 140719220000992 140719883531989 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32755712 140722477081044 140722477081219 140722477081219 140722477084623 0
[pid=15068/tid=15082] ppid=15066 vsize=13980732 CPUtime=0.08 cores=0,2,4,6
/proc/15068/task/15082/stat : 15082 (java) S 15066 15066 5091 0 -1 1077944384 539 0 0 0 5 3 0 0 20 0 15 0 10778899 14316269568 89227 18446744073709551615 4194304 4196468 140722477075408 140719218949296 140719883532930 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32755712 140722477081044 140722477081219 140722477081219 140722477084623 0
Current children cumulated CPU time (s) 173.4
Current children cumulated vsize (KiB) 13990244
[startup+222.307 s]
/proc/loadavg: 1.59 1.65 1.75 3/211 15090
/proc/meminfo: memFree=31157808/32770624 swapFree=0/192468
[pid=15066] ppid=15063 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/15066/stat : 15066 (xcsp3-exec) S 15063 15066 5091 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10778881 9740288 345 18446744073709551615 4194304 5098028 140722199095760 140722199093864 139621150286460 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 8 0 0 7196144 7232144 27148288 140722199097755 140722199097959 140722199097959 140722199101419 0
/proc/15066/statm: 2378 345 289 221 0 87 0
[pid=15068] ppid=15066 vsize=13980732 CPUtime=234.84 cores=0,2,4,6
/proc/15068/stat : 15068 (java) S 15066 15066 5091 0 -1 1077944320 97888 0 0 0 23421 63 0 0 20 0 15 0 10778890 14316269568 120826 18446744073709551615 4194304 4196468 140722477075408 140722477057952 140719883521783 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 32755712 140722477081044 140722477081219 140722477081219 140722477084623 0
/proc/15068/statm: 3495183 120826 3228 1 0 3483484 0
[pid=15068/tid=15069] ppid=15066 vsize=13980732 CPUtime=220.31 cores=0,2,4,6
/proc/15068/task/15069/stat : 15069 (java) R 15066 15066 5091 0 -1 4202560 17322 0 0 0 22024 7 0 0 20 0 15 0 10778890 14316269568 120826 18446744073709551615 4194304 4196468 140722477075408 140719887761616 140719524821672 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 32755712 140722477081044 140722477081219 140722477081219 140722477084623 0
[pid=15068/tid=15070] ppid=15066 vsize=13980732 CPUtime=1.43 cores=0,2,4,6
/proc/15068/task/15070/stat : 15070 (java) S 15066 15066 5091 0 -1 1077944384 2127 0 0 0 134 9 0 0 20 0 15 0 10778891 14316269568 120826 18446744073709551615 4194304 4196468 140722477075408 140719840488080 140719883531989 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32755712 140722477081044 140722477081219 140722477081219 140722477084623 0
[pid=15068/tid=15071] ppid=15066 vsize=13980732 CPUtime=1.42 cores=0,2,4,6
/proc/15068/task/15071/stat : 15071 (java) S 15066 15066 5091 0 -1 1077944384 2456 0 0 0 131 11 0 0 20 0 15 0 10778891 14316269568 120826 18446744073709551615 4194304 4196468 140722477075408 140719482399248 140719883531989 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32755712 140722477081044 140722477081219 140722477081219 140722477084623 0
[pid=15068/tid=15072] ppid=15066 vsize=13980732 CPUtime=1.42 cores=0,2,4,6
/proc/15068/task/15072/stat : 15072 (java) S 15066 15066 5091 0 -1 1077944384 1756 0 0 0 132 10 0 0 20 0 15 0 10778891 14316269568 120826 18446744073709551615 4194304 4196468 140722477075408 140719481346448 140719883531989 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32755712 140722477081044 140722477081219 140722477081219 140722477084623 0
[pid=15068/tid=15073] ppid=15066 vsize=13980732 CPUtime=1.41 cores=0,2,4,6
/proc/15068/task/15073/stat : 15073 (java) S 15066 15066 5091 0 -1 1077944384 2243 0 0 0 132 9 0 0 20 0 15 0 10778891 14316269568 120826 18446744073709551615 4194304 4196468 140722477075408 140719480293648 140719883531989 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32755712 140722477081044 140722477081219 140722477081219 140722477084623 0
[pid=15068/tid=15074] ppid=15066 vsize=13980732 CPUtime=0.24 cores=0,2,4,6
/proc/15068/task/15074/stat : 15074 (java) S 15066 15066 5091 0 -1 1077944384 1933 0 0 0 21 3 0 0 20 0 15 0 10778892 14316269568 120826 18446744073709551615 4194304 4196468 140722477075408 140719227370352 140719883532930 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32755712 140722477081044 140722477081219 140722477081219 140722477084623 0
[pid=15068/tid=15075] ppid=15066 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/15068/task/15075/stat : 15075 (java) S 15066 15066 5091 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 10778893 14316269568 120826 18446744073709551615 4194304 4196468 140722477075408 140719226316320 140719883531989 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32755712 140722477081044 140722477081219 140722477081219 140722477084623 0
[pid=15068/tid=15076] ppid=15066 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/15068/task/15076/stat : 15076 (java) S 15066 15066 5091 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 10778893 14316269568 120826 18446744073709551615 4194304 4196468 140722477075408 140719225263472 140719883531989 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32755712 140722477081044 140722477081219 140722477081219 140722477084623 0
[pid=15068/tid=15077] ppid=15066 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/15068/task/15077/stat : 15077 (java) S 15066 15066 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10778895 14316269568 120826 18446744073709551615 4194304 4196468 140722477075408 140719224211792 140719883540379 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32755712 140722477081044 140722477081219 140722477081219 140722477084623 0
[pid=15068/tid=15078] ppid=15066 vsize=13980732 CPUtime=3.89 cores=0,2,4,6
/proc/15068/task/15078/stat : 15078 (java) S 15066 15066 5091 0 -1 1077944384 17997 0 0 0 386 3 0 0 20 0 15 0 10778895 14316269568 120826 18446744073709551615 4194304 4196468 140722477075408 140719223159152 140719883532930 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32755712 140722477081044 140722477081219 140722477081219 140722477084623 0
[pid=15068/tid=15079] ppid=15066 vsize=13980732 CPUtime=3.92 cores=0,2,4,6
/proc/15068/task/15079/stat : 15079 (java) S 15066 15066 5091 0 -1 1077944384 41554 0 0 0 387 5 0 0 20 0 15 0 10778895 14316269568 120826 18446744073709551615 4194304 4196468 140722477075408 140719222106352 140719883532930 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32755712 140722477081044 140722477081219 140722477081219 140722477084623 0
[pid=15068/tid=15080] ppid=15066 vsize=13980732 CPUtime=0.6 cores=0,2,4,6
/proc/15068/task/15080/stat : 15080 (java) S 15066 15066 5091 0 -1 1077944384 8601 0 0 0 59 1 0 0 20 0 15 0 10778895 14316269568 120826 18446744073709551615 4194304 4196468 140722477075408 140719221053552 140719883532930 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32755712 140722477081044 140722477081219 140722477081219 140722477084623 0
[pid=15068/tid=15081] ppid=15066 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/15068/task/15081/stat : 15081 (java) S 15066 15066 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10778895 14316269568 120826 18446744073709551615 4194304 4196468 140722477075408 140719220000992 140719883531989 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32755712 140722477081044 140722477081219 140722477081219 140722477084623 0
[pid=15068/tid=15082] ppid=15066 vsize=13980732 CPUtime=0.11 cores=0,2,4,6
/proc/15068/task/15082/stat : 15082 (java) S 15066 15066 5091 0 -1 1077944384 556 0 0 0 7 4 0 0 20 0 15 0 10778899 14316269568 120826 18446744073709551615 4194304 4196468 140722477075408 140719218949296 140719883532930 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32755712 140722477081044 140722477081219 140722477081219 140722477084623 0
Current children cumulated CPU time (s) 234.84
Current children cumulated vsize (KiB) 13990244
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.001 s]
/proc/loadavg: 1.56 1.64 1.75 3/211 15168
/proc/meminfo: memFree=30988124/32770624 swapFree=0/192520
[pid=15066] ppid=15063 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/15066/stat : 15066 (xcsp3-exec) S 15063 15066 5091 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10778881 9740288 345 18446744073709551615 4194304 5098028 140722199095760 140722199093864 139621150286460 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 8 0 0 7196144 7232144 27148288 140722199097755 140722199097959 140722199097959 140722199101419 0
/proc/15066/statm: 2378 345 289 221 0 87 0
[pid=15068] ppid=15066 vsize=13980732 CPUtime=252.91 cores=0,2,4,6
/proc/15068/stat : 15068 (java) S 15066 15066 5091 0 -1 1077944320 98813 0 0 0 25225 66 0 0 20 0 15 0 10778890 14316269568 122129 18446744073709551615 4194304 4196468 140722477075408 140722477057952 140719883521783 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 32755712 140722477081044 140722477081219 140722477081219 140722477084623 0
/proc/15068/statm: 3495183 122129 3228 1 0 3483484 0
[pid=15068/tid=15069] ppid=15066 vsize=13980732 CPUtime=237.86 cores=0,2,4,6
/proc/15068/task/15069/stat : 15069 (java) R 15066 15066 5091 0 -1 4202560 17360 0 0 0 23779 7 0 0 20 0 15 0 10778890 14316269568 122129 18446744073709551615 4194304 4196468 140722477075408 140719887761408 140719524001100 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 32755712 140722477081044 140722477081219 140722477081219 140722477084623 0
[pid=15068/tid=15070] ppid=15066 vsize=13980732 CPUtime=1.56 cores=0,2,4,6
/proc/15068/task/15070/stat : 15070 (java) S 15066 15066 5091 0 -1 1077944384 2165 0 0 0 146 10 0 0 20 0 15 0 10778891 14316269568 122129 18446744073709551615 4194304 4196468 140722477075408 140719840488080 140719883531989 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32755712 140722477081044 140722477081219 140722477081219 140722477084623 0
[pid=15068/tid=15071] ppid=15066 vsize=13980732 CPUtime=1.55 cores=0,2,4,6
/proc/15068/task/15071/stat : 15071 (java) S 15066 15066 5091 0 -1 1077944384 2526 0 0 0 143 12 0 0 20 0 15 0 10778891 14316269568 122129 18446744073709551615 4194304 4196468 140722477075408 140719482399248 140719883531989 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32755712 140722477081044 140722477081219 140722477081219 140722477084623 0
[pid=15068/tid=15072] ppid=15066 vsize=13980732 CPUtime=1.54 cores=0,2,4,6
/proc/15068/task/15072/stat : 15072 (java) S 15066 15066 5091 0 -1 1077944384 1813 0 0 0 144 10 0 0 20 0 15 0 10778891 14316269568 122129 18446744073709551615 4194304 4196468 140722477075408 140719481346448 140719883531989 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32755712 140722477081044 140722477081219 140722477081219 140722477084623 0
[pid=15068/tid=15073] ppid=15066 vsize=13980732 CPUtime=1.54 cores=0,2,4,6
/proc/15068/task/15073/stat : 15073 (java) S 15066 15066 5091 0 -1 1077944384 2295 0 0 0 144 10 0 0 20 0 15 0 10778891 14316269568 122129 18446744073709551615 4194304 4196468 140722477075408 140719480293648 140719883531989 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32755712 140722477081044 140722477081219 140722477081219 140722477084623 0
[pid=15068/tid=15074] ppid=15066 vsize=13980732 CPUtime=0.25 cores=0,2,4,6
/proc/15068/task/15074/stat : 15074 (java) S 15066 15066 5091 0 -1 1077944384 1940 0 0 0 22 3 0 0 20 0 15 0 10778892 14316269568 122129 18446744073709551615 4194304 4196468 140722477075408 140719227370352 140719883532930 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32755712 140722477081044 140722477081219 140722477081219 140722477084623 0
[pid=15068/tid=15075] ppid=15066 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/15068/task/15075/stat : 15075 (java) S 15066 15066 5091 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 10778893 14316269568 122129 18446744073709551615 4194304 4196468 140722477075408 140719226316320 140719883531989 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32755712 140722477081044 140722477081219 140722477081219 140722477084623 0
[pid=15068/tid=15076] ppid=15066 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/15068/task/15076/stat : 15076 (java) S 15066 15066 5091 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 10778893 14316269568 122129 18446744073709551615 4194304 4196468 140722477075408 140719225263472 140719883531989 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32755712 140722477081044 140722477081219 140722477081219 140722477084623 0
[pid=15068/tid=15077] ppid=15066 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/15068/task/15077/stat : 15077 (java) S 15066 15066 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10778895 14316269568 122129 18446744073709551615 4194304 4196468 140722477075408 140719224211792 140719883540379 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32755712 140722477081044 140722477081219 140722477081219 140722477084623 0
[pid=15068/tid=15078] ppid=15066 vsize=13980732 CPUtime=3.89 cores=0,2,4,6
/proc/15068/task/15078/stat : 15078 (java) S 15066 15066 5091 0 -1 1077944384 17997 0 0 0 386 3 0 0 20 0 15 0 10778895 14316269568 122129 18446744073709551615 4194304 4196468 140722477075408 140719223159152 140719883532930 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32755712 140722477081044 140722477081219 140722477081219 140722477084623 0
[pid=15068/tid=15079] ppid=15066 vsize=13980732 CPUtime=3.92 cores=0,2,4,6
/proc/15068/task/15079/stat : 15079 (java) S 15066 15066 5091 0 -1 1077944384 41554 0 0 0 387 5 0 0 20 0 15 0 10778895 14316269568 122129 18446744073709551615 4194304 4196468 140722477075408 140719222106352 140719883532930 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32755712 140722477081044 140722477081219 140722477081219 140722477084623 0
[pid=15068/tid=15080] ppid=15066 vsize=13980732 CPUtime=0.6 cores=0,2,4,6
/proc/15068/task/15080/stat : 15080 (java) S 15066 15066 5091 0 -1 1077944384 9262 0 0 0 59 1 0 0 20 0 15 0 10778895 14316269568 122129 18446744073709551615 4194304 4196468 140722477075408 140719221053552 140719883532930 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32755712 140722477081044 140722477081219 140722477081219 140722477084623 0
[pid=15068/tid=15081] ppid=15066 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/15068/task/15081/stat : 15081 (java) S 15066 15066 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10778895 14316269568 122129 18446744073709551615 4194304 4196468 140722477075408 140719220000992 140719883531989 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32755712 140722477081044 140722477081219 140722477081219 140722477084623 0
[pid=15068/tid=15082] ppid=15066 vsize=13980732 CPUtime=0.11 cores=0,2,4,6
/proc/15068/task/15082/stat : 15082 (java) S 15066 15066 5091 0 -1 1077944384 558 0 0 0 7 4 0 0 20 0 15 0 10778899 14316269568 122129 18446744073709551615 4194304 4196468 140722477075408 140719218949296 140719883532930 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32755712 140722477081044 140722477081219 140722477081219 140722477084623 0
Current children cumulated CPU time (s) 252.91
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 15068 sig 9
??? kill 15066 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 15066 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=1776
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=975
# CPU time returned by wait4() is 0.002751
# while last known CPU time is 252.91
#
# 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): 252.91
CPU user time (s): 252.25
CPU system time (s): 0.66
CPU usage (%): 105.375
Max. virtual memory (cumulated for all children) (KiB): 13990244
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.001776
system time used= 0.000975
maximum resident set size= 1384
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 510
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.15484 second user time and 1.48981 second system time
The end