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-4246942-1500688806/watcher-4246942-1500688806 -o /tmp/evaluation-result-4246942-1500688806/solver-4246942-1500688806 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node132-1500682387-18842 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 112248257 HOME/instance-4246942-1500688806.xml
pid=6652
running on 8 cores: 4-7,12-15
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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: 4.71 5.98 9.69 3/275 6655
/proc/meminfo: memFree=25399208/32770624 swapFree=5944/249608
[pid=6655] ppid=6652 vsize=9512 CPUtime=0 cores=4-7,12-15
/proc/6655/stat : 6655 (xcsp3-exec) S 6652 6655 18810 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4147762 9740288 345 33554432000 4194304 5098028 140725935463552 140725935461656 139632713589372 0 65536 4100 65538 18446744071579417331 0 0 17 14 0 0 0 0 0 7196144 7232144 18980864 140725935465615 140725935465824 140725935465824 140725935468523 0
/proc/6655/statm: 2378 345 289 221 0 87 0
[startup+0.100125 s]
/proc/loadavg: 4.71 5.98 9.69 3/275 6655
/proc/meminfo: memFree=25399208/32770624 swapFree=5944/249608
[pid=6655] ppid=6652 vsize=9512 CPUtime=0 cores=4-7,12-15
/proc/6655/stat : 6655 (xcsp3-exec) S 6652 6655 18810 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4147762 9740288 345 33554432000 4194304 5098028 140725935463552 140725935461656 139632713589372 0 65536 4100 65538 18446744071579417331 0 0 17 14 0 0 0 0 0 7196144 7232144 18980864 140725935465615 140725935465824 140725935465824 140725935468523 0
/proc/6655/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200298 s]
/proc/loadavg: 4.71 5.98 9.69 3/275 6655
/proc/meminfo: memFree=25399208/32770624 swapFree=5944/249608
[pid=6655] ppid=6652 vsize=9512 CPUtime=0 cores=4-7,12-15
/proc/6655/stat : 6655 (xcsp3-exec) S 6652 6655 18810 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4147762 9740288 345 33554432000 4194304 5098028 140725935463552 140725935461656 139632713589372 0 65536 4100 65538 18446744071579417331 0 0 17 14 0 0 0 0 0 7196144 7232144 18980864 140725935465615 140725935465824 140725935465824 140725935468523 0
/proc/6655/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300263 s]
/proc/loadavg: 4.71 5.98 9.69 3/275 6655
/proc/meminfo: memFree=25399208/32770624 swapFree=5944/249608
[pid=6655] ppid=6652 vsize=9512 CPUtime=0 cores=4-7,12-15
/proc/6655/stat : 6655 (xcsp3-exec) S 6652 6655 18810 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4147762 9740288 345 33554432000 4194304 5098028 140725935463552 140725935461656 139632713589372 0 65536 4100 65538 18446744071579417331 0 0 17 14 0 0 0 0 0 7196144 7232144 18980864 140725935465615 140725935465824 140725935465824 140725935468523 0
/proc/6655/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700194 s]
/proc/loadavg: 4.71 5.98 9.69 3/275 6655
/proc/meminfo: memFree=25399208/32770624 swapFree=5944/249608
[pid=6655] ppid=6652 vsize=9512 CPUtime=0 cores=4-7,12-15
/proc/6655/stat : 6655 (xcsp3-exec) S 6652 6655 18810 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4147762 9740288 345 33554432000 4194304 5098028 140725935463552 140725935461656 139632713589372 0 65536 4100 65538 18446744071579417331 0 0 17 14 0 0 0 0 0 7196144 7232144 18980864 140725935465615 140725935465824 140725935465824 140725935468523 0
/proc/6655/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50073 s]
/proc/loadavg: 4.65 5.95 9.66 3/296 6676
/proc/meminfo: memFree=25185864/32770624 swapFree=5944/249700
[pid=6655] ppid=6652 vsize=9512 CPUtime=0 cores=4-7,12-15
/proc/6655/stat : 6655 (xcsp3-exec) S 6652 6655 18810 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4147762 9740288 345 33554432000 4194304 5098028 140725935463552 140725935461656 139632713589372 0 65536 4100 65538 18446744071579417331 0 0 17 14 0 0 0 0 0 7196144 7232144 18980864 140725935465615 140725935465824 140725935465824 140725935468523 0
/proc/6655/statm: 2378 345 289 221 0 87 0
[pid=6656] ppid=6655 vsize=13271400 CPUtime=5.12 cores=4-7,12-15
/proc/6656/stat : 6656 (java) S 6655 6655 18810 0 -1 1077944320 19633 0 0 0 486 26 0 0 20 0 20 0 4147762 13589913600 62425 33554432000 4194304 4196468 140720657967376 140720657949920 140449879965431 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 33083392 140720657970364 140720657970540 140720657970540 140720657973199 0
/proc/6656/statm: 3317850 62425 3227 1 0 3305083 0
[pid=6656/tid=6657] ppid=6655 vsize=13271400 CPUtime=1.36 cores=4-7,12-15
/proc/6656/task/6657/stat : 6657 (java) R 6655 6655 18810 0 -1 4202560 6836 0 0 0 132 4 0 0 20 0 20 0 4147763 13589913600 62425 33554432000 4194304 4196468 140720657967376 140449884200280 140449474023492 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 33083392 140720657970364 140720657970540 140720657970540 140720657973199 0
[pid=6656/tid=6659] ppid=6655 vsize=13271400 CPUtime=0.05 cores=4-7,12-15
/proc/6656/task/6659/stat : 6659 (java) S 6655 6655 18810 0 -1 1077944384 32 0 0 0 3 2 0 0 20 0 20 0 4147764 13589913600 62425 33554432000 4194304 4196468 140720657967376 140449798446224 140449879975637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33083392 140720657970364 140720657970540 140720657970540 140720657973199 0
[pid=6656/tid=6660] ppid=6655 vsize=13271400 CPUtime=0.03 cores=4-7,12-15
/proc/6656/task/6660/stat : 6660 (java) S 6655 6655 18810 0 -1 1077944384 17 0 0 0 2 1 0 0 20 0 20 0 4147764 13589913600 62425 33554432000 4194304 4196468 140720657967376 140449797393424 140449879975637 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 33083392 140720657970364 140720657970540 140720657970540 140720657973199 0
[pid=6656/tid=6661] ppid=6655 vsize=13271400 CPUtime=0.05 cores=4-7,12-15
/proc/6656/task/6661/stat : 6661 (java) S 6655 6655 18810 0 -1 1077944384 50 0 0 0 3 2 0 0 20 0 20 0 4147764 13589913600 62425 33554432000 4194304 4196468 140720657967376 140449796340624 140449879975637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33083392 140720657970364 140720657970540 140720657970540 140720657973199 0
[pid=6656/tid=6662] ppid=6655 vsize=13271400 CPUtime=0.05 cores=4-7,12-15
/proc/6656/task/6662/stat : 6662 (java) S 6655 6655 18810 0 -1 1077944384 26 0 0 0 3 2 0 0 20 0 20 0 4147764 13589913600 62425 33554432000 4194304 4196468 140720657967376 140449795287824 140449879975637 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 33083392 140720657970364 140720657970540 140720657970540 140720657973199 0
[pid=6656/tid=6663] ppid=6655 vsize=13271400 CPUtime=0.05 cores=4-7,12-15
/proc/6656/task/6663/stat : 6663 (java) S 6655 6655 18810 0 -1 1077944384 55 0 0 0 3 2 0 0 20 0 20 0 4147764 13589913600 62425 33554432000 4194304 4196468 140720657967376 140449794235024 140449879975637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33083392 140720657970364 140720657970540 140720657970540 140720657973199 0
[pid=6656/tid=6664] ppid=6655 vsize=13271400 CPUtime=0.05 cores=4-7,12-15
/proc/6656/task/6664/stat : 6664 (java) S 6655 6655 18810 0 -1 1077944384 24 0 0 0 3 2 0 0 20 0 20 0 4147764 13589913600 62425 33554432000 4194304 4196468 140720657967376 140449473882640 140449879975637 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33083392 140720657970364 140720657970540 140720657970540 140720657973199 0
[pid=6656/tid=6665] ppid=6655 vsize=13271400 CPUtime=0.05 cores=4-7,12-15
/proc/6656/task/6665/stat : 6665 (java) S 6655 6655 18810 0 -1 1077944384 54 0 0 0 4 1 0 0 20 0 20 0 4147764 13589913600 62425 33554432000 4194304 4196468 140720657967376 140449472829840 140449879975637 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 33083392 140720657970364 140720657970540 140720657970540 140720657973199 0
[pid=6656/tid=6666] ppid=6655 vsize=13271400 CPUtime=0.02 cores=4-7,12-15
/proc/6656/task/6666/stat : 6666 (java) S 6655 6655 18810 0 -1 1077944384 14 0 0 0 1 1 0 0 20 0 20 0 4147764 13589913600 62425 33554432000 4194304 4196468 140720657967376 140449471777040 140449879975637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33083392 140720657970364 140720657970540 140720657970540 140720657973199 0
[pid=6656/tid=6667] ppid=6655 vsize=13271400 CPUtime=0 cores=4-7,12-15
/proc/6656/task/6667/stat : 6667 (java) S 6655 6655 18810 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 20 0 4147766 13589913600 62425 33554432000 4194304 4196468 140720657967376 140449073818480 140449879976578 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33083392 140720657970364 140720657970540 140720657970540 140720657973199 0
[pid=6656/tid=6668] ppid=6655 vsize=13271400 CPUtime=0 cores=4-7,12-15
/proc/6656/task/6668/stat : 6668 (java) S 6655 6655 18810 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 4147767 13589913600 62425 33554432000 4194304 4196468 140720657967376 140449072764512 140449879975637 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33083392 140720657970364 140720657970540 140720657970540 140720657973199 0
[pid=6656/tid=6669] ppid=6655 vsize=13271400 CPUtime=0 cores=4-7,12-15
/proc/6656/task/6669/stat : 6669 (java) S 6655 6655 18810 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 4147767 13589913600 62425 33554432000 4194304 4196468 140720657967376 140449071711616 140449879975637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33083392 140720657970364 140720657970540 140720657970540 140720657973199 0
[pid=6656/tid=6670] ppid=6655 vsize=13271400 CPUtime=0 cores=4-7,12-15
/proc/6656/task/6670/stat : 6670 (java) S 6655 6655 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4147770 13589913600 62425 33554432000 4194304 4196468 140720657967376 140449070659920 140449879984027 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 33083392 140720657970364 140720657970540 140720657970540 140720657973199 0
[pid=6656/tid=6671] ppid=6655 vsize=13271400 CPUtime=0.88 cores=4-7,12-15
/proc/6656/task/6671/stat : 6671 (java) R 6655 6655 18810 0 -1 4202560 3241 0 0 0 88 0 0 0 20 0 20 0 4147770 13589913600 62425 33554432000 4194304 4196468 140720657967376 140449069593824 140449861508723 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 33083392 140720657970364 140720657970540 140720657970540 140720657973199 0
[pid=6656/tid=6672] ppid=6655 vsize=13271400 CPUtime=0.88 cores=4-7,12-15
/proc/6656/task/6672/stat : 6672 (java) R 6655 6655 18810 0 -1 4202560 2174 0 0 0 87 1 0 0 20 0 20 0 4147770 13589913600 62425 33554432000 4194304 4196468 140720657967376 140449068537776 140449865979819 0 4 0 16800975 0 0 0 -1 15 0 0 11 0 0 6293624 6294260 33083392 140720657970364 140720657970540 140720657970540 140720657973199 0
[pid=6656/tid=6673] ppid=6655 vsize=13271400 CPUtime=0.93 cores=4-7,12-15
/proc/6656/task/6673/stat : 6673 (java) R 6655 6655 18810 0 -1 4202560 3434 0 0 0 93 0 0 0 20 0 20 0 4147770 13589913600 62425 33554432000 4194304 4196468 140720657967376 140449067487840 140449859222056 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33083392 140720657970364 140720657970540 140720657970540 140720657973199 0
[pid=6656/tid=6674] ppid=6655 vsize=13271400 CPUtime=0.57 cores=4-7,12-15
/proc/6656/task/6674/stat : 6674 (java) R 6655 6655 18810 0 -1 4202560 2296 0 0 0 56 1 0 0 20 0 20 0 4147770 13589913600 62425 33554432000 4194304 4196468 140720657967376 140449066446840 140449858565804 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 33083392 140720657970364 140720657970540 140720657970540 140720657973199 0
[pid=6656/tid=6675] ppid=6655 vsize=13271400 CPUtime=0 cores=4-7,12-15
/proc/6656/task/6675/stat : 6675 (java) S 6655 6655 18810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4147771 13589913600 62425 33554432000 4194304 4196468 140720657967376 140449065397344 140449879975637 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 33083392 140720657970364 140720657970540 140720657970540 140720657973199 0
[pid=6656/tid=6676] ppid=6655 vsize=13271400 CPUtime=0 cores=4-7,12-15
/proc/6656/task/6676/stat : 6676 (java) S 6655 6655 18810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4147771 13589913600 62425 33554432000 4194304 4196468 140720657967376 140449064344624 140449879976578 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 10 0 0 6293624 6294260 33083392 140720657970364 140720657970540 140720657970540 140720657973199 0
Current children cumulated CPU time (s) 5.12
Current children cumulated vsize (KiB) 13280912
[startup+3.10081 s]
/proc/loadavg: 4.65 5.95 9.66 6/296 6676
/proc/meminfo: memFree=24998280/32770624 swapFree=5944/249700
[pid=6655] ppid=6652 vsize=9512 CPUtime=0 cores=4-7,12-15
/proc/6655/stat : 6655 (xcsp3-exec) S 6652 6655 18810 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4147762 9740288 345 33554432000 4194304 5098028 140725935463552 140725935461656 139632713589372 0 65536 4100 65538 18446744071579417331 0 0 17 14 0 0 0 0 0 7196144 7232144 18980864 140725935465615 140725935465824 140725935465824 140725935468523 0
/proc/6655/statm: 2378 345 289 221 0 87 0
[pid=6656] ppid=6655 vsize=13269256 CPUtime=11.36 cores=4-7,12-15
/proc/6656/stat : 6656 (java) S 6655 6655 18810 0 -1 1077944320 25828 0 0 0 1071 65 0 0 20 0 20 0 4147762 13587718144 171264 33554432000 4194304 4196468 140720657967376 140720657949920 140449879965431 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 33083392 140720657970364 140720657970540 140720657970540 140720657973199 0
/proc/6656/statm: 3317314 171264 3258 1 0 3304547 0
[pid=6656/tid=6657] ppid=6655 vsize=13269256 CPUtime=2.82 cores=4-7,12-15
/proc/6656/task/6657/stat : 6657 (java) S 6655 6655 18810 0 -1 1077944384 7264 0 0 0 272 10 0 0 20 0 20 0 4147763 13587718144 171264 33554432000 4194304 4196468 140720657967376 140449884203408 140449879975637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33083392 140720657970364 140720657970540 140720657970540 140720657973199 0
[pid=6656/tid=6659] ppid=6655 vsize=13269256 CPUtime=0.19 cores=4-7,12-15
/proc/6656/task/6659/stat : 6659 (java) R 6655 6655 18810 0 -1 4202560 160 0 0 0 12 7 0 0 20 0 20 0 4147764 13587718144 171264 33554432000 4194304 4196468 140720657967376 140449798446424 140449864993323 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 33083392 140720657970364 140720657970540 140720657970540 140720657973199 0
[pid=6656/tid=6660] ppid=6655 vsize=13269256 CPUtime=0.15 cores=4-7,12-15
/proc/6656/task/6660/stat : 6660 (java) R 6655 6655 18810 0 -1 4202560 64 0 0 0 8 7 0 0 20 0 20 0 4147764 13587718144 171264 33554432000 4194304 4196468 140720657967376 140449797393424 140449864993287 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 33083392 140720657970364 140720657970540 140720657970540 140720657973199 0
[pid=6656/tid=6661] ppid=6655 vsize=13269256 CPUtime=0.13 cores=4-7,12-15
/proc/6656/task/6661/stat : 6661 (java) R 6655 6655 18810 0 -1 4202560 126 0 0 0 7 6 0 0 20 0 20 0 4147764 13587718144 171264 33554432000 4194304 4196468 140720657967376 140449796340624 140449864993305 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 33083392 140720657970364 140720657970540 140720657970540 140720657973199 0
[pid=6656/tid=6662] ppid=6655 vsize=13269256 CPUtime=0.14 cores=4-7,12-15
/proc/6656/task/6662/stat : 6662 (java) R 6655 6655 18810 0 -1 4202560 91 0 0 0 9 5 0 0 20 0 20 0 4147764 13587718144 171264 33554432000 4194304 4196468 140720657967376 140449795287824 140449864993305 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 33083392 140720657970364 140720657970540 140720657970540 140720657973199 0
[pid=6656/tid=6663] ppid=6655 vsize=13269256 CPUtime=0.15 cores=4-7,12-15
/proc/6656/task/6663/stat : 6663 (java) R 6655 6655 18810 0 -1 4202560 105 0 0 0 9 6 0 0 20 0 20 0 4147764 13587718144 171264 33554432000 4194304 4196468 140720657967376 140449794235224 140449864993323 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33083392 140720657970364 140720657970540 140720657970540 140720657973199 0
[pid=6656/tid=6664] ppid=6655 vsize=13269256 CPUtime=0.16 cores=4-7,12-15
/proc/6656/task/6664/stat : 6664 (java) R 6655 6655 18810 0 -1 4202560 117 0 0 0 10 6 0 0 20 0 20 0 4147764 13587718144 171264 33554432000 4194304 4196468 140720657967376 140449473882840 140449864993287 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 33083392 140720657970364 140720657970540 140720657970540 140720657973199 0
[pid=6656/tid=6665] ppid=6655 vsize=13269256 CPUtime=0.15 cores=4-7,12-15
/proc/6656/task/6665/stat : 6665 (java) R 6655 6655 18810 0 -1 4202560 139 0 0 0 10 5 0 0 20 0 20 0 4147764 13587718144 171264 33554432000 4194304 4196468 140720657967376 140449472829840 140449864993305 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33083392 140720657970364 140720657970540 140720657970540 140720657973199 0
[pid=6656/tid=6666] ppid=6655 vsize=13269256 CPUtime=0.12 cores=4-7,12-15
/proc/6656/task/6666/stat : 6666 (java) R 6655 6655 18810 0 -1 4202560 170 0 0 0 7 5 0 0 20 0 20 0 4147764 13587718144 171264 33554432000 4194304 4196468 140720657967376 140449471777240 140449864413646 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 33083392 140720657970364 140720657970540 140720657970540 140720657973199 0
[pid=6656/tid=6667] ppid=6655 vsize=13269256 CPUtime=0.01 cores=4-7,12-15
/proc/6656/task/6667/stat : 6667 (java) S 6655 6655 18810 0 -1 1077944384 210 0 0 0 1 0 0 0 20 0 20 0 4147766 13587718144 171264 33554432000 4194304 4196468 140720657967376 140449073816992 140449879975637 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33083392 140720657970364 140720657970540 140720657970540 140720657973199 0
[pid=6656/tid=6668] ppid=6655 vsize=13269256 CPUtime=0 cores=4-7,12-15
/proc/6656/task/6668/stat : 6668 (java) S 6655 6655 18810 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 4147767 13587718144 171264 33554432000 4194304 4196468 140720657967376 140449072764512 140449879975637 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 33083392 140720657970364 140720657970540 140720657970540 140720657973199 0
[pid=6656/tid=6669] ppid=6655 vsize=13269256 CPUtime=0 cores=4-7,12-15
/proc/6656/task/6669/stat : 6669 (java) S 6655 6655 18810 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 4147767 13587718144 171264 33554432000 4194304 4196468 140720657967376 140449071711616 140449879975637 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 33083392 140720657970364 140720657970540 140720657970540 140720657973199 0
[pid=6656/tid=6670] ppid=6655 vsize=13269256 CPUtime=0 cores=4-7,12-15
/proc/6656/task/6670/stat : 6670 (java) S 6655 6655 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4147770 13587718144 171264 33554432000 4194304 4196468 140720657967376 140449070659920 140449879984027 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 33083392 140720657970364 140720657970540 140720657970540 140720657973199 0
[pid=6656/tid=6671] ppid=6655 vsize=13269256 CPUtime=2.16 cores=4-7,12-15
/proc/6656/task/6671/stat : 6671 (java) S 6655 6655 18810 0 -1 1077944384 4746 0 0 0 215 1 0 0 20 0 20 0 4147770 13587718144 171264 33554432000 4194304 4196468 140720657967376 140449069607280 140449879976578 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33083392 140720657970364 140720657970540 140720657970540 140720657973199 0
[pid=6656/tid=6672] ppid=6655 vsize=13269256 CPUtime=2.19 cores=4-7,12-15
/proc/6656/task/6672/stat : 6672 (java) S 6655 6655 18810 0 -1 1077944384 4135 0 0 0 218 1 0 0 20 0 20 0 4147770 13587718144 171264 33554432000 4194304 4196468 140720657967376 140449068554480 140449879976578 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 11 0 0 6293624 6294260 33083392 140720657970364 140720657970540 140720657970540 140720657973199 0
[pid=6656/tid=6673] ppid=6655 vsize=13269256 CPUtime=2.16 cores=4-7,12-15
/proc/6656/task/6673/stat : 6673 (java) S 6655 6655 18810 0 -1 1077944384 4581 0 0 0 215 1 0 0 20 0 20 0 4147770 13587718144 171264 33554432000 4194304 4196468 140720657967376 140449067501680 140449879976578 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 33083392 140720657970364 140720657970540 140720657970540 140720657973199 0
[pid=6656/tid=6674] ppid=6655 vsize=13269256 CPUtime=0.71 cores=4-7,12-15
/proc/6656/task/6674/stat : 6674 (java) S 6655 6655 18810 0 -1 1077944384 2624 0 0 0 70 1 0 0 20 0 20 0 4147770 13587718144 171264 33554432000 4194304 4196468 140720657967376 140449066448880 140449879976578 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33083392 140720657970364 140720657970540 140720657970540 140720657973199 0
[pid=6656/tid=6675] ppid=6655 vsize=13269256 CPUtime=0 cores=4-7,12-15
/proc/6656/task/6675/stat : 6675 (java) S 6655 6655 18810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4147771 13587718144 171264 33554432000 4194304 4196468 140720657967376 140449065397344 140449879975637 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 33083392 140720657970364 140720657970540 140720657970540 140720657973199 0
[pid=6656/tid=6676] ppid=6655 vsize=13269256 CPUtime=0 cores=4-7,12-15
/proc/6656/task/6676/stat : 6676 (java) S 6655 6655 18810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4147771 13587718144 171264 33554432000 4194304 4196468 140720657967376 140449064344624 140449879976578 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 10 0 0 6293624 6294260 33083392 140720657970364 140720657970540 140720657970540 140720657973199 0
Current children cumulated CPU time (s) 11.36
Current children cumulated vsize (KiB) 13278768
[startup+6.30083 s]
/proc/loadavg: 4.65 5.95 9.66 3/296 6676
/proc/meminfo: memFree=23983296/32770624 swapFree=5944/249708
[pid=6655] ppid=6652 vsize=9512 CPUtime=0 cores=4-7,12-15
/proc/6655/stat : 6655 (xcsp3-exec) S 6652 6655 18810 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4147762 9740288 345 33554432000 4194304 5098028 140725935463552 140725935461656 139632713589372 0 65536 4100 65538 18446744071579417331 0 0 17 14 0 0 0 0 0 7196144 7232144 18980864 140725935465615 140725935465824 140725935465824 140725935468523 0
/proc/6655/statm: 2378 345 289 221 0 87 0
[pid=6656] ppid=6655 vsize=13269256 CPUtime=19.16 cores=4-7,12-15
/proc/6656/stat : 6656 (java) S 6655 6655 18810 0 -1 1077944320 29585 0 0 0 1607 309 0 0 20 0 20 0 4147762 13587718144 399054 33554432000 4194304 4196468 140720657967376 140720657949920 140449879965431 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 33083392 140720657970364 140720657970540 140720657970540 140720657973199 0
/proc/6656/statm: 3317314 399054 3263 1 0 3304547 0
[pid=6656/tid=6657] ppid=6655 vsize=13269256 CPUtime=5.42 cores=4-7,12-15
/proc/6656/task/6657/stat : 6657 (java) R 6655 6655 18810 0 -1 4202560 7804 0 0 0 525 17 0 0 20 0 20 0 4147763 13587718144 399054 33554432000 4194304 4196468 140720657967376 140449884201896 140449479430114 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 33083392 140720657970364 140720657970540 140720657970540 140720657973199 0
[pid=6656/tid=6659] ppid=6655 vsize=13269256 CPUtime=0.77 cores=4-7,12-15
/proc/6656/task/6659/stat : 6659 (java) S 6655 6655 18810 0 -1 1077944384 453 0 0 0 40 37 0 0 20 0 20 0 4147764 13587718144 399054 33554432000 4194304 4196468 140720657967376 140449798446224 140449879975637 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33083392 140720657970364 140720657970540 140720657970540 140720657973199 0
[pid=6656/tid=6660] ppid=6655 vsize=13269256 CPUtime=0.74 cores=4-7,12-15
/proc/6656/task/6660/stat : 6660 (java) S 6655 6655 18810 0 -1 1077944384 439 0 0 0 38 36 0 0 20 0 20 0 4147764 13587718144 399054 33554432000 4194304 4196468 140720657967376 140449797393424 140449879975637 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 33083392 140720657970364 140720657970540 140720657970540 140720657973199 0
[pid=6656/tid=6661] ppid=6655 vsize=13269256 CPUtime=0.7 cores=4-7,12-15
/proc/6656/task/6661/stat : 6661 (java) S 6655 6655 18810 0 -1 1077944384 414 0 0 0 36 34 0 0 20 0 20 0 4147764 13587718144 399054 33554432000 4194304 4196468 140720657967376 140449796340624 140449879975637 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33083392 140720657970364 140720657970540 140720657970540 140720657973199 0
[pid=6656/tid=6662] ppid=6655 vsize=13269256 CPUtime=0.71 cores=4-7,12-15
/proc/6656/task/6662/stat : 6662 (java) S 6655 6655 18810 0 -1 1077944384 410 0 0 0 38 33 0 0 20 0 20 0 4147764 13587718144 399054 33554432000 4194304 4196468 140720657967376 140449795287824 140449879975637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33083392 140720657970364 140720657970540 140720657970540 140720657973199 0
[pid=6656/tid=6663] ppid=6655 vsize=13269256 CPUtime=0.74 cores=4-7,12-15
/proc/6656/task/6663/stat : 6663 (java) S 6655 6655 18810 0 -1 1077944384 333 0 0 0 38 36 0 0 20 0 20 0 4147764 13587718144 399054 33554432000 4194304 4196468 140720657967376 140449794235024 140449879975637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33083392 140720657970364 140720657970540 140720657970540 140720657973199 0
[pid=6656/tid=6664] ppid=6655 vsize=13269256 CPUtime=0.75 cores=4-7,12-15
/proc/6656/task/6664/stat : 6664 (java) S 6655 6655 18810 0 -1 1077944384 340 0 0 0 39 36 0 0 20 0 20 0 4147764 13587718144 399054 33554432000 4194304 4196468 140720657967376 140449473882640 140449879975637 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 33083392 140720657970364 140720657970540 140720657970540 140720657973199 0
[pid=6656/tid=6665] ppid=6655 vsize=13269256 CPUtime=0.73 cores=4-7,12-15
/proc/6656/task/6665/stat : 6665 (java) S 6655 6655 18810 0 -1 1077944384 380 0 0 0 39 34 0 0 20 0 20 0 4147764 13587718144 399054 33554432000 4194304 4196468 140720657967376 140449472829840 140449879975637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33083392 140720657970364 140720657970540 140720657970540 140720657973199 0
[pid=6656/tid=6666] ppid=6655 vsize=13269256 CPUtime=0.71 cores=4-7,12-15
/proc/6656/task/6666/stat : 6666 (java) S 6655 6655 18810 0 -1 1077944384 444 0 0 0 37 34 0 0 20 0 20 0 4147764 13587718144 399054 33554432000 4194304 4196468 140720657967376 140449471777040 140449879975637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33083392 140720657970364 140720657970540 140720657970540 140720657973199 0
[pid=6656/tid=6667] ppid=6655 vsize=13269256 CPUtime=0.01 cores=4-7,12-15
/proc/6656/task/6667/stat : 6667 (java) S 6655 6655 18810 0 -1 1077944384 1099 0 0 0 1 0 0 0 20 0 20 0 4147766 13587718144 399054 33554432000 4194304 4196468 140720657967376 140449073818480 140449879976578 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33083392 140720657970364 140720657970540 140720657970540 140720657973199 0
[pid=6656/tid=6668] ppid=6655 vsize=13269256 CPUtime=0 cores=4-7,12-15
/proc/6656/task/6668/stat : 6668 (java) S 6655 6655 18810 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 4147767 13587718144 399054 33554432000 4194304 4196468 140720657967376 140449072764512 140449879975637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33083392 140720657970364 140720657970540 140720657970540 140720657973199 0
[pid=6656/tid=6669] ppid=6655 vsize=13269256 CPUtime=0 cores=4-7,12-15
/proc/6656/task/6669/stat : 6669 (java) S 6655 6655 18810 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 20 0 4147767 13587718144 399054 33554432000 4194304 4196468 140720657967376 140449071711616 140449879975637 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 33083392 140720657970364 140720657970540 140720657970540 140720657973199 0
[pid=6656/tid=6670] ppid=6655 vsize=13269256 CPUtime=0 cores=4-7,12-15
/proc/6656/task/6670/stat : 6670 (java) S 6655 6655 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4147770 13587718144 399054 33554432000 4194304 4196468 140720657967376 140449070659920 140449879984027 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 33083392 140720657970364 140720657970540 140720657970540 140720657973199 0
################
# More data... #
################
/proc/6656/task/6683/stat : 6683 (java) R 6655 6655 18810 0 -1 4202560 2958 0 0 0 26917 4 0 0 20 0 28 0 4148713 14133010432 933912 33554432000 4194304 4196468 140720657967376 140448982075896 140449481093368 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 33083392 140720657970364 140720657970540 140720657970540 140720657973199 0
[pid=6656/tid=6684] ppid=6655 vsize=13801768 CPUtime=271.28 cores=4-7,12-15
/proc/6656/task/6684/stat : 6684 (java) R 6655 6655 18810 0 -1 4202560 2620 0 0 0 27128 0 0 0 20 0 28 0 4148713 14133010432 933912 33554432000 4194304 4196468 140720657967376 140448981021128 140449482421118 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 33083392 140720657970364 140720657970540 140720657970540 140720657973199 0
Current children cumulated CPU time (s) 2204.55
Current children cumulated vsize (KiB) 13811280
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+306.901 s]
/proc/loadavg: 8.98 7.86 9.44 10/303 6712
/proc/meminfo: memFree=21743868/32770624 swapFree=5944/250088
[pid=6655] ppid=6652 vsize=9512 CPUtime=0 cores=4-7,12-15
/proc/6655/stat : 6655 (xcsp3-exec) S 6652 6655 18810 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4147762 9740288 345 33554432000 4194304 5098028 140725935463552 140725935461656 139632713589372 0 65536 4100 65538 18446744071579417331 0 0 17 14 0 0 0 0 0 7196144 7232144 18980864 140725935465615 140725935465824 140725935465824 140725935468523 0
/proc/6655/statm: 2378 345 289 221 0 87 0
[pid=6656] ppid=6655 vsize=13801768 CPUtime=2400.62 cores=4-7,12-15
/proc/6656/stat : 6656 (java) S 6655 6655 18810 0 -1 1077944320 105109 0 0 0 239410 652 0 0 20 0 28 0 4147762 14133010432 933912 33554432000 4194304 4196468 140720657967376 140720657949920 140449879965431 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 33083392 140720657970364 140720657970540 140720657970540 140720657973199 0
/proc/6656/statm: 3450442 933912 3292 1 0 3437675 0
[pid=6656/tid=6657] ppid=6655 vsize=13801768 CPUtime=7.3 cores=4-7,12-15
/proc/6656/task/6657/stat : 6657 (java) S 6655 6655 18810 0 -1 1077944384 8521 0 0 0 701 29 0 0 20 0 28 0 4147763 14133010432 933912 33554432000 4194304 4196468 140720657967376 140449884206208 140449879975637 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 33083392 140720657970364 140720657970540 140720657970540 140720657973199 0
[pid=6656/tid=6659] ppid=6655 vsize=13801768 CPUtime=2.54 cores=4-7,12-15
/proc/6656/task/6659/stat : 6659 (java) S 6655 6655 18810 0 -1 1077944384 1524 0 0 0 181 73 0 0 20 0 28 0 4147764 14133010432 933912 33554432000 4194304 4196468 140720657967376 140449798446224 140449879975637 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 33083392 140720657970364 140720657970540 140720657970540 140720657973199 0
[pid=6656/tid=6660] ppid=6655 vsize=13801768 CPUtime=2.5 cores=4-7,12-15
/proc/6656/task/6660/stat : 6660 (java) S 6655 6655 18810 0 -1 1077944384 1282 0 0 0 178 72 0 0 20 0 28 0 4147764 14133010432 933912 33554432000 4194304 4196468 140720657967376 140449797393424 140449879975637 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 33083392 140720657970364 140720657970540 140720657970540 140720657973199 0
[pid=6656/tid=6661] ppid=6655 vsize=13801768 CPUtime=2.47 cores=4-7,12-15
/proc/6656/task/6661/stat : 6661 (java) S 6655 6655 18810 0 -1 1077944384 1330 0 0 0 177 70 0 0 20 0 28 0 4147764 14133010432 933912 33554432000 4194304 4196468 140720657967376 140449796340624 140449879975637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33083392 140720657970364 140720657970540 140720657970540 140720657973199 0
[pid=6656/tid=6662] ppid=6655 vsize=13801768 CPUtime=2.47 cores=4-7,12-15
/proc/6656/task/6662/stat : 6662 (java) S 6655 6655 18810 0 -1 1077944384 1784 0 0 0 177 70 0 0 20 0 28 0 4147764 14133010432 933912 33554432000 4194304 4196468 140720657967376 140449795287824 140449879975637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33083392 140720657970364 140720657970540 140720657970540 140720657973199 0
[pid=6656/tid=6663] ppid=6655 vsize=13801768 CPUtime=2.48 cores=4-7,12-15
/proc/6656/task/6663/stat : 6663 (java) S 6655 6655 18810 0 -1 1077944384 1813 0 0 0 175 73 0 0 20 0 28 0 4147764 14133010432 933912 33554432000 4194304 4196468 140720657967376 140449794235024 140449879975637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33083392 140720657970364 140720657970540 140720657970540 140720657973199 0
[pid=6656/tid=6664] ppid=6655 vsize=13801768 CPUtime=2.47 cores=4-7,12-15
/proc/6656/task/6664/stat : 6664 (java) S 6655 6655 18810 0 -1 1077944384 1688 0 0 0 176 71 0 0 20 0 28 0 4147764 14133010432 933912 33554432000 4194304 4196468 140720657967376 140449473882640 140449879975637 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 33083392 140720657970364 140720657970540 140720657970540 140720657973199 0
[pid=6656/tid=6665] ppid=6655 vsize=13801768 CPUtime=2.48 cores=4-7,12-15
/proc/6656/task/6665/stat : 6665 (java) S 6655 6655 18810 0 -1 1077944384 1325 0 0 0 178 70 0 0 20 0 28 0 4147764 14133010432 933912 33554432000 4194304 4196468 140720657967376 140449472829840 140449879975637 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33083392 140720657970364 140720657970540 140720657970540 140720657973199 0
[pid=6656/tid=6666] ppid=6655 vsize=13801768 CPUtime=2.47 cores=4-7,12-15
/proc/6656/task/6666/stat : 6666 (java) S 6655 6655 18810 0 -1 1077944384 1530 0 0 0 176 71 0 0 20 0 28 0 4147764 14133010432 933912 33554432000 4194304 4196468 140720657967376 140449471777040 140449879975637 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 33083392 140720657970364 140720657970540 140720657970540 140720657973199 0
[pid=6656/tid=6667] ppid=6655 vsize=13801768 CPUtime=0.11 cores=4-7,12-15
/proc/6656/task/6667/stat : 6667 (java) S 6655 6655 18810 0 -1 1077944384 3281 0 0 0 7 4 0 0 20 0 28 0 4147766 14133010432 933912 33554432000 4194304 4196468 140720657967376 140449073818480 140449879976578 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33083392 140720657970364 140720657970540 140720657970540 140720657973199 0
[pid=6656/tid=6668] ppid=6655 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/6656/task/6668/stat : 6668 (java) S 6655 6655 18810 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 28 0 4147767 14133010432 933912 33554432000 4194304 4196468 140720657967376 140449072764512 140449879975637 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33083392 140720657970364 140720657970540 140720657970540 140720657973199 0
[pid=6656/tid=6669] ppid=6655 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/6656/task/6669/stat : 6669 (java) S 6655 6655 18810 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 4147767 14133010432 933912 33554432000 4194304 4196468 140720657967376 140449071711616 140449879975637 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33083392 140720657970364 140720657970540 140720657970540 140720657973199 0
[pid=6656/tid=6670] ppid=6655 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/6656/task/6670/stat : 6670 (java) S 6655 6655 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4147770 14133010432 933912 33554432000 4194304 4196468 140720657967376 140449070659920 140449879984027 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 33083392 140720657970364 140720657970540 140720657970540 140720657973199 0
[pid=6656/tid=6671] ppid=6655 vsize=13801768 CPUtime=3.93 cores=4-7,12-15
/proc/6656/task/6671/stat : 6671 (java) S 6655 6655 18810 0 -1 1077944384 12005 0 0 0 391 2 0 0 20 0 28 0 4147770 14133010432 933912 33554432000 4194304 4196468 140720657967376 140449069607280 140449879976578 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33083392 140720657970364 140720657970540 140720657970540 140720657973199 0
[pid=6656/tid=6672] ppid=6655 vsize=13801768 CPUtime=4.29 cores=4-7,12-15
/proc/6656/task/6672/stat : 6672 (java) S 6655 6655 18810 0 -1 1077944384 11410 0 0 0 427 2 0 0 20 0 28 0 4147770 14133010432 933912 33554432000 4194304 4196468 140720657967376 140449068554480 140449879976578 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 11 0 0 6293624 6294260 33083392 140720657970364 140720657970540 140720657970540 140720657973199 0
[pid=6656/tid=6673] ppid=6655 vsize=13801768 CPUtime=4.22 cores=4-7,12-15
/proc/6656/task/6673/stat : 6673 (java) S 6655 6655 18810 0 -1 1077944384 13429 0 0 0 420 2 0 0 20 0 28 0 4147770 14133010432 933912 33554432000 4194304 4196468 140720657967376 140449067501680 140449879976578 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 33083392 140720657970364 140720657970540 140720657970540 140720657973199 0
[pid=6656/tid=6674] ppid=6655 vsize=13801768 CPUtime=1.14 cores=4-7,12-15
/proc/6656/task/6674/stat : 6674 (java) S 6655 6655 18810 0 -1 1077944384 10078 0 0 0 112 2 0 0 20 0 28 0 4147770 14133010432 933912 33554432000 4194304 4196468 140720657967376 140449066448880 140449879976578 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33083392 140720657970364 140720657970540 140720657970540 140720657973199 0
[pid=6656/tid=6675] ppid=6655 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/6656/task/6675/stat : 6675 (java) S 6655 6655 18810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4147771 14133010432 933912 33554432000 4194304 4196468 140720657967376 140449065397344 140449879975637 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 33083392 140720657970364 140720657970540 140720657970540 140720657973199 0
[pid=6656/tid=6676] ppid=6655 vsize=13801768 CPUtime=0.17 cores=4-7,12-15
/proc/6656/task/6676/stat : 6676 (java) S 6655 6655 18810 0 -1 1077944384 1078 0 0 0 8 9 0 0 20 0 28 0 4147771 14133010432 933912 33554432000 4194304 4196468 140720657967376 140449064344624 140449879976578 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 10 0 0 6293624 6294260 33083392 140720657970364 140720657970540 140720657970540 140720657973199 0
[pid=6656/tid=6677] ppid=6655 vsize=13801768 CPUtime=295.05 cores=4-7,12-15
/proc/6656/task/6677/stat : 6677 (java) R 6655 6655 18810 0 -1 4202560 2091 0 0 0 29505 0 0 0 20 0 28 0 4148712 14133010432 933912 33554432000 4194304 4196468 140720657967376 140449056328640 140449477051535 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 33083392 140720657970364 140720657970540 140720657970540 140720657973199 0
[pid=6656/tid=6678] ppid=6655 vsize=13801768 CPUtime=295.2 cores=4-7,12-15
/proc/6656/task/6678/stat : 6678 (java) R 6655 6655 18810 0 -1 4202560 1539 0 0 0 29519 1 0 0 20 0 28 0 4148713 14133010432 933912 33554432000 4194304 4196468 140720657967376 140448987336904 140449477051535 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33083392 140720657970364 140720657970540 140720657970540 140720657973199 0
[pid=6656/tid=6679] ppid=6655 vsize=13801768 CPUtime=294.97 cores=4-7,12-15
/proc/6656/task/6679/stat : 6679 (java) R 6655 6655 18810 0 -1 4202560 6186 0 0 0 29495 2 0 0 20 0 28 0 4148713 14133010432 933912 33554432000 4194304 4196468 140720657967376 140448986284504 140449477135686 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 33083392 140720657970364 140720657970540 140720657970540 140720657973199 0
[pid=6656/tid=6680] ppid=6655 vsize=13801768 CPUtime=295.29 cores=4-7,12-15
/proc/6656/task/6680/stat : 6680 (java) R 6655 6655 18810 0 -1 4202560 6107 0 0 0 29527 2 0 0 20 0 28 0 4148713 14133010432 933912 33554432000 4194304 4196468 140720657967376 140448985233952 140449482464818 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 33083392 140720657970364 140720657970540 140720657970540 140720657973199 0
[pid=6656/tid=6681] ppid=6655 vsize=13801768 CPUtime=294.35 cores=4-7,12-15
/proc/6656/task/6681/stat : 6681 (java) R 6655 6655 18810 0 -1 4202560 1219 0 0 0 29434 1 0 0 20 0 28 0 4148713 14133010432 933912 33554432000 4194304 4196468 140720657967376 140448984178376 140449482602658 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 33083392 140720657970364 140720657970540 140720657970540 140720657973199 0
[pid=6656/tid=6682] ppid=6655 vsize=13801768 CPUtime=295.19 cores=4-7,12-15
/proc/6656/task/6682/stat : 6682 (java) R 6655 6655 18810 0 -1 4202560 8625 0 0 0 29506 13 0 0 20 0 28 0 4148713 14133010432 933912 33554432000 4194304 4196468 140720657967376 140448983127992 140449478540266 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33083392 140720657970364 140720657970540 140720657970540 140720657973199 0
[pid=6656/tid=6683] ppid=6655 vsize=13801768 CPUtime=293.47 cores=4-7,12-15
/proc/6656/task/6683/stat : 6683 (java) R 6655 6655 18810 0 -1 4202560 3170 0 0 0 29343 4 0 0 20 0 28 0 4148713 14133010432 933912 33554432000 4194304 4196468 140720657967376 140448982075896 140449476279750 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 33083392 140720657970364 140720657970540 140720657970540 140720657973199 0
[pid=6656/tid=6684] ppid=6655 vsize=13801768 CPUtime=295.88 cores=4-7,12-15
/proc/6656/task/6684/stat : 6684 (java) R 6655 6655 18810 0 -1 4202560 2776 0 0 0 29588 0 0 0 20 0 28 0 4148713 14133010432 933912 33554432000 4194304 4196468 140720657967376 140448981021128 140449482421118 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 33083392 140720657970364 140720657970540 140720657970540 140720657973199 0
Current children cumulated CPU time (s) 2400.62
Current children cumulated vsize (KiB) 13811280
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 6656 sig 9
??? kill 6655 sig 9
??? kill -6655 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+306.901 s]
/proc/loadavg: 8.98 7.86 9.44 10/303 6712
/proc/meminfo: memFree=21743868/32770624 swapFree=5944/250088
[pid=6655] ppid=6652 vsize=9512 CPUtime=0 cores=4-7,12-15
/proc/6655/stat : 6655 (xcsp3-exec) S 6652 6655 18810 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4147762 9740288 345 33554432000 4194304 5098028 140725935463552 140725935461656 139632713589372 0 65536 4100 65538 18446744071579417331 0 0 17 14 0 0 0 0 0 7196144 7232144 18980864 140725935465615 140725935465824 140725935465824 140725935468523 0
/proc/6655/statm: 2378 345 289 221 0 87 0
[pid=6656] ppid=6655 vsize=13801768 CPUtime=2400.62 cores=4-7,12-15
/proc/6656/stat : 6656 (java) S 6655 6655 18810 0 -1 1077944320 105109 0 0 0 239410 652 0 0 20 0 28 0 4147762 14133010432 933912 33554432000 4194304 4196468 140720657967376 140720657949920 140449879965431 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 33083392 140720657970364 140720657970540 140720657970540 140720657973199 0
/proc/6656/statm: 3450442 933912 3292 1 0 3437675 0
[pid=6656/tid=6657] ppid=6655 vsize=13801768 CPUtime=7.3 cores=4-7,12-15
/proc/6656/task/6657/stat : 6657 (java) S 6655 6655 18810 0 -1 1077944384 8521 0 0 0 701 29 0 0 20 0 28 0 4147763 14133010432 933912 33554432000 4194304 4196468 140720657967376 140449884206208 140449879975637 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 33083392 140720657970364 140720657970540 140720657970540 140720657973199 0
[pid=6656/tid=6659] ppid=6655 vsize=13801768 CPUtime=2.54 cores=4-7,12-15
/proc/6656/task/6659/stat : 6659 (java) S 6655 6655 18810 0 -1 1077944384 1524 0 0 0 181 73 0 0 20 0 28 0 4147764 14133010432 933912 33554432000 4194304 4196468 140720657967376 140449798446224 140449879975637 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 33083392 140720657970364 140720657970540 140720657970540 140720657973199 0
[pid=6656/tid=6660] ppid=6655 vsize=13801768 CPUtime=2.5 cores=4-7,12-15
/proc/6656/task/6660/stat : 6660 (java) S 6655 6655 18810 0 -1 1077944384 1282 0 0 0 178 72 0 0 20 0 28 0 4147764 14133010432 933912 33554432000 4194304 4196468 140720657967376 140449797393424 140449879975637 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 33083392 140720657970364 140720657970540 140720657970540 140720657973199 0
[pid=6656/tid=6661] ppid=6655 vsize=13801768 CPUtime=2.47 cores=4-7,12-15
/proc/6656/task/6661/stat : 6661 (java) S 6655 6655 18810 0 -1 1077944384 1330 0 0 0 177 70 0 0 20 0 28 0 4147764 14133010432 933912 33554432000 4194304 4196468 140720657967376 140449796340624 140449879975637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33083392 140720657970364 140720657970540 140720657970540 140720657973199 0
[pid=6656/tid=6662] ppid=6655 vsize=13801768 CPUtime=2.47 cores=4-7,12-15
/proc/6656/task/6662/stat : 6662 (java) S 6655 6655 18810 0 -1 1077944384 1784 0 0 0 177 70 0 0 20 0 28 0 4147764 14133010432 933912 33554432000 4194304 4196468 140720657967376 140449795287824 140449879975637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33083392 140720657970364 140720657970540 140720657970540 140720657973199 0
[pid=6656/tid=6663] ppid=6655 vsize=13801768 CPUtime=2.48 cores=4-7,12-15
/proc/6656/task/6663/stat : 6663 (java) S 6655 6655 18810 0 -1 1077944384 1813 0 0 0 175 73 0 0 20 0 28 0 4147764 14133010432 933912 33554432000 4194304 4196468 140720657967376 140449794235024 140449879975637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33083392 140720657970364 140720657970540 140720657970540 140720657973199 0
[pid=6656/tid=6664] ppid=6655 vsize=13801768 CPUtime=2.47 cores=4-7,12-15
/proc/6656/task/6664/stat : 6664 (java) S 6655 6655 18810 0 -1 1077944384 1688 0 0 0 176 71 0 0 20 0 28 0 4147764 14133010432 933912 33554432000 4194304 4196468 140720657967376 140449473882640 140449879975637 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 33083392 140720657970364 140720657970540 140720657970540 140720657973199 0
[pid=6656/tid=6665] ppid=6655 vsize=13801768 CPUtime=2.48 cores=4-7,12-15
/proc/6656/task/6665/stat : 6665 (java) S 6655 6655 18810 0 -1 1077944384 1325 0 0 0 178 70 0 0 20 0 28 0 4147764 14133010432 933912 33554432000 4194304 4196468 140720657967376 140449472829840 140449879975637 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33083392 140720657970364 140720657970540 140720657970540 140720657973199 0
[pid=6656/tid=6666] ppid=6655 vsize=13801768 CPUtime=2.47 cores=4-7,12-15
/proc/6656/task/6666/stat : 6666 (java) S 6655 6655 18810 0 -1 1077944384 1530 0 0 0 176 71 0 0 20 0 28 0 4147764 14133010432 933912 33554432000 4194304 4196468 140720657967376 140449471777040 140449879975637 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 33083392 140720657970364 140720657970540 140720657970540 140720657973199 0
[pid=6656/tid=6667] ppid=6655 vsize=13801768 CPUtime=0.11 cores=4-7,12-15
/proc/6656/task/6667/stat : 6667 (java) S 6655 6655 18810 0 -1 1077944384 3281 0 0 0 7 4 0 0 20 0 28 0 4147766 14133010432 933912 33554432000 4194304 4196468 140720657967376 140449073818480 140449879976578 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33083392 140720657970364 140720657970540 140720657970540 140720657973199 0
[pid=6656/tid=6668] ppid=6655 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/6656/task/6668/stat : 6668 (java) S 6655 6655 18810 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 28 0 4147767 14133010432 933912 33554432000 4194304 4196468 140720657967376 140449072764512 140449879975637 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33083392 140720657970364 140720657970540 140720657970540 140720657973199 0
[pid=6656/tid=6669] ppid=6655 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/6656/task/6669/stat : 6669 (java) S 6655 6655 18810 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 4147767 14133010432 933912 33554432000 4194304 4196468 140720657967376 140449071711616 140449879975637 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33083392 140720657970364 140720657970540 140720657970540 140720657973199 0
[pid=6656/tid=6670] ppid=6655 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/6656/task/6670/stat : 6670 (java) S 6655 6655 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4147770 14133010432 933912 33554432000 4194304 4196468 140720657967376 140449070659920 140449879984027 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 33083392 140720657970364 140720657970540 140720657970540 140720657973199 0
[pid=6656/tid=6671] ppid=6655 vsize=13801768 CPUtime=3.93 cores=4-7,12-15
/proc/6656/task/6671/stat : 6671 (java) S 6655 6655 18810 0 -1 1077944384 12005 0 0 0 391 2 0 0 20 0 28 0 4147770 14133010432 933912 33554432000 4194304 4196468 140720657967376 140449069607280 140449879976578 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33083392 140720657970364 140720657970540 140720657970540 140720657973199 0
[pid=6656/tid=6672] ppid=6655 vsize=13801768 CPUtime=4.29 cores=4-7,12-15
/proc/6656/task/6672/stat : 6672 (java) S 6655 6655 18810 0 -1 1077944384 11410 0 0 0 427 2 0 0 20 0 28 0 4147770 14133010432 933912 33554432000 4194304 4196468 140720657967376 140449068554480 140449879976578 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 11 0 0 6293624 6294260 33083392 140720657970364 140720657970540 140720657970540 140720657973199 0
[pid=6656/tid=6673] ppid=6655 vsize=13801768 CPUtime=4.22 cores=4-7,12-15
/proc/6656/task/6673/stat : 6673 (java) S 6655 6655 18810 0 -1 1077944384 13429 0 0 0 420 2 0 0 20 0 28 0 4147770 14133010432 933912 33554432000 4194304 4196468 140720657967376 140449067501680 140449879976578 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 33083392 140720657970364 140720657970540 140720657970540 140720657973199 0
[pid=6656/tid=6674] ppid=6655 vsize=13801768 CPUtime=1.14 cores=4-7,12-15
/proc/6656/task/6674/stat : 6674 (java) S 6655 6655 18810 0 -1 1077944384 10078 0 0 0 112 2 0 0 20 0 28 0 4147770 14133010432 933912 33554432000 4194304 4196468 140720657967376 140449066448880 140449879976578 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33083392 140720657970364 140720657970540 140720657970540 140720657973199 0
[pid=6656/tid=6675] ppid=6655 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/6656/task/6675/stat : 6675 (java) S 6655 6655 18810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4147771 14133010432 933912 33554432000 4194304 4196468 140720657967376 140449065397344 140449879975637 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 33083392 140720657970364 140720657970540 140720657970540 140720657973199 0
[pid=6656/tid=6676] ppid=6655 vsize=13801768 CPUtime=0.17 cores=4-7,12-15
/proc/6656/task/6676/stat : 6676 (java) S 6655 6655 18810 0 -1 1077944384 1078 0 0 0 8 9 0 0 20 0 28 0 4147771 14133010432 933912 33554432000 4194304 4196468 140720657967376 140449064344624 140449879976578 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 10 0 0 6293624 6294260 33083392 140720657970364 140720657970540 140720657970540 140720657973199 0
[pid=6656/tid=6677] ppid=6655 vsize=13801768 CPUtime=295.05 cores=4-7,12-15
/proc/6656/task/6677/stat : 6677 (java) R 6655 6655 18810 0 -1 4202560 2091 0 0 0 29505 0 0 0 20 0 28 0 4148712 14133010432 933912 33554432000 4194304 4196468 140720657967376 140449056328640 140449477051535 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 33083392 140720657970364 140720657970540 140720657970540 140720657973199 0
[pid=6656/tid=6678] ppid=6655 vsize=13801768 CPUtime=295.2 cores=4-7,12-15
/proc/6656/task/6678/stat : 6678 (java) R 6655 6655 18810 0 -1 4202560 1539 0 0 0 29519 1 0 0 20 0 28 0 4148713 14133010432 933912 33554432000 4194304 4196468 140720657967376 140448987336904 140449477051535 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33083392 140720657970364 140720657970540 140720657970540 140720657973199 0
[pid=6656/tid=6679] ppid=6655 vsize=13801768 CPUtime=294.97 cores=4-7,12-15
/proc/6656/task/6679/stat : 6679 (java) R 6655 6655 18810 0 -1 4202560 6186 0 0 0 29495 2 0 0 20 0 28 0 4148713 14133010432 933912 33554432000 4194304 4196468 140720657967376 140448986284504 140449477135686 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 33083392 140720657970364 140720657970540 140720657970540 140720657973199 0
[pid=6656/tid=6680] ppid=6655 vsize=13801768 CPUtime=295.29 cores=4-7,12-15
/proc/6656/task/6680/stat : 6680 (java) R 6655 6655 18810 0 -1 4202560 6107 0 0 0 29527 2 0 0 20 0 28 0 4148713 14133010432 933912 33554432000 4194304 4196468 140720657967376 140448985233952 140449482464818 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 33083392 140720657970364 140720657970540 140720657970540 140720657973199 0
[pid=6656/tid=6681] ppid=6655 vsize=13801768 CPUtime=294.35 cores=4-7,12-15
/proc/6656/task/6681/stat : 6681 (java) R 6655 6655 18810 0 -1 4202560 1219 0 0 0 29434 1 0 0 20 0 28 0 4148713 14133010432 933912 33554432000 4194304 4196468 140720657967376 140448984178376 140449482602658 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 33083392 140720657970364 140720657970540 140720657970540 140720657973199 0
[pid=6656/tid=6682] ppid=6655 vsize=13801768 CPUtime=295.19 cores=4-7,12-15
/proc/6656/task/6682/stat : 6682 (java) R 6655 6655 18810 0 -1 4202560 8625 0 0 0 29506 13 0 0 20 0 28 0 4148713 14133010432 933912 33554432000 4194304 4196468 140720657967376 140448983127992 140449478540266 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33083392 140720657970364 140720657970540 140720657970540 140720657973199 0
[pid=6656/tid=6683] ppid=6655 vsize=13801768 CPUtime=293.47 cores=4-7,12-15
/proc/6656/task/6683/stat : 6683 (java) R 6655 6655 18810 0 -1 4202560 3170 0 0 0 29343 4 0 0 20 0 28 0 4148713 14133010432 933912 33554432000 4194304 4196468 140720657967376 140448982075896 140449476279750 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 33083392 140720657970364 140720657970540 140720657970540 140720657973199 0
[pid=6656/tid=6684] ppid=6655 vsize=13801768 CPUtime=295.88 cores=4-7,12-15
/proc/6656/task/6684/stat : 6684 (java) R 6655 6655 18810 0 -1 4202560 2776 0 0 0 29588 0 0 0 20 0 28 0 4148713 14133010432 933912 33554432000 4194304 4196468 140720657967376 140448981021128 140449482421118 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 33083392 140720657970364 140720657970540 140720657970540 140720657973199 0
Current children cumulated CPU time (s) 2400.62
Current children cumulated vsize (KiB) 13811280
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 6655 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=1025
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=2051
# CPU time returned by wait4() is 0.003076
# while last known CPU time is 2400.62
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 306.93
CPU time (s): 2400.62
CPU user time (s): 2394.1
CPU system time (s): 6.52
CPU usage (%): 782.14
Max. virtual memory (cumulated for all children) (KiB): 13811280
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.001025
system time used= 0.002051
maximum resident set size= 1384
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 517
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 4.11117 second user time and 3.87235 second system time
The end