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-4245749-1500686216/watcher-4245749-1500686216 -o /tmp/evaluation-result-4245749-1500686216/solver-4245749-1500686216 -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 1862970523 HOME/instance-4245749-1500686216.xml
pid=32746
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: 12.93 14.22 14.52 3/267 32749
/proc/meminfo: memFree=30184296/32770624 swapFree=5944/214408
[pid=32749] ppid=32746 vsize=9512 CPUtime=0 cores=4-7,12-15
/proc/32749/stat : 32749 (xcsp3-exec) S 32746 32749 18810 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3888776 9740288 346 33554432000 4194304 5098028 140731062191680 140731062189784 140706776396412 0 65536 4100 65538 18446744071579417331 0 0 17 14 0 0 0 0 0 7196144 7232144 14954496 140731062199438 140731062199648 140731062199648 140731062202347 0
/proc/32749/statm: 2378 346 289 221 0 87 0
[startup+0.100152 s]
/proc/loadavg: 12.93 14.22 14.52 3/267 32749
/proc/meminfo: memFree=30184296/32770624 swapFree=5944/214408
[pid=32749] ppid=32746 vsize=9512 CPUtime=0 cores=4-7,12-15
/proc/32749/stat : 32749 (xcsp3-exec) S 32746 32749 18810 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3888776 9740288 346 33554432000 4194304 5098028 140731062191680 140731062189784 140706776396412 0 65536 4100 65538 18446744071579417331 0 0 17 14 0 0 0 0 0 7196144 7232144 14954496 140731062199438 140731062199648 140731062199648 140731062202347 0
/proc/32749/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200328 s]
/proc/loadavg: 12.93 14.22 14.52 3/267 32749
/proc/meminfo: memFree=30184296/32770624 swapFree=5944/214408
[pid=32749] ppid=32746 vsize=9512 CPUtime=0 cores=4-7,12-15
/proc/32749/stat : 32749 (xcsp3-exec) S 32746 32749 18810 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3888776 9740288 346 33554432000 4194304 5098028 140731062191680 140731062189784 140706776396412 0 65536 4100 65538 18446744071579417331 0 0 17 14 0 0 0 0 0 7196144 7232144 14954496 140731062199438 140731062199648 140731062199648 140731062202347 0
/proc/32749/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300386 s]
/proc/loadavg: 12.93 14.22 14.52 3/267 32749
/proc/meminfo: memFree=30184296/32770624 swapFree=5944/214408
[pid=32749] ppid=32746 vsize=9512 CPUtime=0 cores=4-7,12-15
/proc/32749/stat : 32749 (xcsp3-exec) S 32746 32749 18810 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3888776 9740288 346 33554432000 4194304 5098028 140731062191680 140731062189784 140706776396412 0 65536 4100 65538 18446744071579417331 0 0 17 14 0 0 0 0 0 7196144 7232144 14954496 140731062199438 140731062199648 140731062199648 140731062202347 0
/proc/32749/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700236 s]
/proc/loadavg: 12.93 14.22 14.52 3/267 32749
/proc/meminfo: memFree=30184296/32770624 swapFree=5944/214408
[pid=32749] ppid=32746 vsize=9512 CPUtime=0 cores=4-7,12-15
/proc/32749/stat : 32749 (xcsp3-exec) S 32746 32749 18810 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3888776 9740288 346 33554432000 4194304 5098028 140731062191680 140731062189784 140706776396412 0 65536 4100 65538 18446744071579417331 0 0 17 14 0 0 0 0 0 7196144 7232144 14954496 140731062199438 140731062199648 140731062199648 140731062202347 0
/proc/32749/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50076 s]
/proc/loadavg: 12.14 14.03 14.46 13/296 310
/proc/meminfo: memFree=30052968/32770624 swapFree=5944/214392
[pid=32749] ppid=32746 vsize=9512 CPUtime=0 cores=4-7,12-15
/proc/32749/stat : 32749 (xcsp3-exec) S 32746 32749 18810 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3888776 9740288 346 33554432000 4194304 5098028 140731062191680 140731062189784 140706776396412 0 65536 4100 65538 18446744071579417331 0 0 17 14 0 0 0 0 0 7196144 7232144 14954496 140731062199438 140731062199648 140731062199648 140731062202347 0
/proc/32749/statm: 2378 346 289 221 0 87 0
[pid=32750] ppid=32749 vsize=13868332 CPUtime=7.09 cores=4-7,12-15
/proc/32750/stat : 32750 (java) S 32749 32749 18810 0 -1 1077944320 17487 0 0 0 697 12 0 0 20 0 28 0 3888777 14201171968 49588 33554432000 4194304 4196468 140725761536560 140725761519104 139737458278135 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 24604672 140725761545404 140725761545580 140725761545580 140725761548239 0
/proc/32750/statm: 3467083 49588 3240 1 0 3454316 0
[pid=32750/tid=32751] ppid=32749 vsize=13868332 CPUtime=0.87 cores=4-7,12-15
/proc/32750/task/32751/stat : 32751 (java) S 32749 32749 18810 0 -1 1077944384 6468 0 0 0 83 4 0 0 20 0 28 0 3888777 14201171968 49588 33554432000 4194304 4196468 140725761536560 139737462518912 139737458288341 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24604672 140725761545404 140725761545580 140725761545580 140725761548239 0
[pid=32750/tid=32753] ppid=32749 vsize=13868332 CPUtime=0 cores=4-7,12-15
/proc/32750/task/32753/stat : 32753 (java) S 32749 32749 18810 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 28 0 3888778 14201171968 49588 33554432000 4194304 4196468 140725761536560 139737376758160 139737458288341 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 24604672 140725761545404 140725761545580 140725761545580 140725761548239 0
[pid=32750/tid=32754] ppid=32749 vsize=13868332 CPUtime=0 cores=4-7,12-15
/proc/32750/task/32754/stat : 32754 (java) S 32749 32749 18810 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 28 0 3888778 14201171968 49588 33554432000 4194304 4196468 140725761536560 139737375705360 139737458288341 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24604672 140725761545404 140725761545580 140725761545580 140725761548239 0
[pid=32750/tid=32755] ppid=32749 vsize=13868332 CPUtime=0 cores=4-7,12-15
/proc/32750/task/32755/stat : 32755 (java) S 32749 32749 18810 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 28 0 3888778 14201171968 49588 33554432000 4194304 4196468 140725761536560 139737374653072 139737458288341 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24604672 140725761545404 140725761545580 140725761545580 140725761548239 0
[pid=32750/tid=32756] ppid=32749 vsize=13868332 CPUtime=0 cores=4-7,12-15
/proc/32750/task/32756/stat : 32756 (java) S 32749 32749 18810 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 28 0 3888778 14201171968 49588 33554432000 4194304 4196468 140725761536560 139737373600272 139737458288341 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24604672 140725761545404 140725761545580 140725761545580 140725761548239 0
[pid=32750/tid=32757] ppid=32749 vsize=13868332 CPUtime=0 cores=4-7,12-15
/proc/32750/task/32757/stat : 32757 (java) S 32749 32749 18810 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 28 0 3888778 14201171968 49588 33554432000 4194304 4196468 140725761536560 139737372547984 139737458288341 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 24604672 140725761545404 140725761545580 140725761545580 140725761548239 0
[pid=32750/tid=32758] ppid=32749 vsize=13868332 CPUtime=0 cores=4-7,12-15
/proc/32750/task/32758/stat : 32758 (java) S 32749 32749 18810 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 28 0 3888778 14201171968 49588 33554432000 4194304 4196468 140725761536560 139737371495184 139737458288341 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 24604672 140725761545404 140725761545580 140725761545580 140725761548239 0
[pid=32750/tid=32759] ppid=32749 vsize=13868332 CPUtime=0 cores=4-7,12-15
/proc/32750/task/32759/stat : 32759 (java) S 32749 32749 18810 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 28 0 3888778 14201171968 49588 33554432000 4194304 4196468 140725761536560 139737370442896 139737458288341 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 24604672 140725761545404 140725761545580 140725761545580 140725761548239 0
[pid=32750/tid=32760] ppid=32749 vsize=13868332 CPUtime=0 cores=4-7,12-15
/proc/32750/task/32760/stat : 32760 (java) S 32749 32749 18810 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 28 0 3888778 14201171968 49588 33554432000 4194304 4196468 140725761536560 139737369390096 139737458288341 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 24604672 140725761545404 140725761545580 140725761545580 140725761548239 0
[pid=32750/tid=32761] ppid=32749 vsize=13868332 CPUtime=0 cores=4-7,12-15
/proc/32750/task/32761/stat : 32761 (java) S 32749 32749 18810 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 28 0 3888780 14201171968 49588 33554432000 4194304 4196468 140725761536560 139736920492144 139737458289282 0 0 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 24604672 140725761545404 140725761545580 140725761545580 140725761548239 0
[pid=32750/tid=32762] ppid=32749 vsize=13868332 CPUtime=0 cores=4-7,12-15
/proc/32750/task/32762/stat : 32762 (java) S 32749 32749 18810 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 3888781 14201171968 49588 33554432000 4194304 4196468 140725761536560 139736919438112 139737458288341 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24604672 140725761545404 140725761545580 140725761545580 140725761548239 0
[pid=32750/tid=32763] ppid=32749 vsize=13868332 CPUtime=0 cores=4-7,12-15
/proc/32750/task/32763/stat : 32763 (java) S 32749 32749 18810 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 3888781 14201171968 49588 33554432000 4194304 4196468 140725761536560 139736918385776 139737458288341 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24604672 140725761545404 140725761545580 140725761545580 140725761548239 0
[pid=32750/tid=32764] ppid=32749 vsize=13868332 CPUtime=0 cores=4-7,12-15
/proc/32750/task/32764/stat : 32764 (java) S 32749 32749 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3888785 14201171968 49588 33554432000 4194304 4196468 140725761536560 139736917334096 139737458296731 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 24604672 140725761545404 140725761545580 140725761545580 140725761548239 0
[pid=32750/tid=32765] ppid=32749 vsize=13868332 CPUtime=0.83 cores=4-7,12-15
/proc/32750/task/32765/stat : 32765 (java) R 32749 32749 18810 0 -1 4202560 2290 0 0 0 83 0 0 0 20 0 28 0 3888785 14201171968 49588 33554432000 4194304 4196468 140725761536560 139736916280864 139737438975491 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24604672 140725761545404 140725761545580 140725761545580 140725761548239 0
[pid=32750/tid=32766] ppid=32749 vsize=13868332 CPUtime=0.79 cores=4-7,12-15
/proc/32750/task/32766/stat : 32766 (java) R 32749 32749 18810 0 -1 4202560 1762 0 0 0 79 0 0 0 20 0 28 0 3888785 14201171968 49588 33554432000 4194304 4196468 140725761536560 139736915218528 139737436105281 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 24604672 140725761545404 140725761545580 140725761545580 140725761548239 0
[pid=32750/tid=32767] ppid=32749 vsize=13868332 CPUtime=0.84 cores=4-7,12-15
/proc/32750/task/32767/stat : 32767 (java) R 32749 32749 18810 0 -1 4202560 1384 0 0 0 84 0 0 0 20 0 28 0 3888785 14201171968 49588 33554432000 4194304 4196468 140725761536560 139736914157896 139737436295114 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 24604672 140725761545404 140725761545580 140725761545580 140725761548239 0
[pid=32750/tid=300] ppid=32749 vsize=13868332 CPUtime=0.72 cores=4-7,12-15
/proc/32750/task/300/stat : 300 (java) S 32749 32749 18810 0 -1 1077944384 2206 0 0 0 72 0 0 0 20 0 28 0 3888785 14201171968 49588 33554432000 4194304 4196468 140725761536560 139736913124080 139737458289282 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24604672 140725761545404 140725761545580 140725761545580 140725761548239 0
[pid=32750/tid=301] ppid=32749 vsize=13868332 CPUtime=0 cores=4-7,12-15
/proc/32750/task/301/stat : 301 (java) S 32749 32749 18810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3888786 14201171968 49588 33554432000 4194304 4196468 140725761536560 139736912071008 139737458288341 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 24604672 140725761545404 140725761545580 140725761545580 140725761548239 0
[pid=32750/tid=302] ppid=32749 vsize=13868332 CPUtime=0 cores=4-7,12-15
/proc/32750/task/302/stat : 302 (java) S 32749 32749 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3888786 14201171968 49588 33554432000 4194304 4196468 140725761536560 139736911018288 139737458289282 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 24604672 140725761545404 140725761545580 140725761545580 140725761548239 0
Current children cumulated CPU time (s) 7.09
Current children cumulated vsize (KiB) 13877844
[startup+3.10115 s]
/proc/loadavg: 12.14 14.03 14.46 13/296 532
/proc/meminfo: memFree=29965180/32770624 swapFree=5944/214400
[pid=32749] ppid=32746 vsize=9512 CPUtime=0 cores=4-7,12-15
/proc/32749/stat : 32749 (xcsp3-exec) S 32746 32749 18810 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3888776 9740288 346 33554432000 4194304 5098028 140731062191680 140731062189784 140706776396412 0 65536 4100 65538 18446744071579417331 0 0 17 14 0 0 0 0 0 7196144 7232144 14954496 140731062199438 140731062199648 140731062199648 140731062202347 0
/proc/32749/statm: 2378 346 289 221 0 87 0
[pid=32750] ppid=32749 vsize=13868332 CPUtime=19.45 cores=4-7,12-15
/proc/32750/stat : 32750 (java) S 32749 32749 18810 0 -1 1077944320 22518 0 0 0 1927 18 0 0 20 0 28 0 3888777 14201171968 58117 33554432000 4194304 4196468 140725761536560 140725761519104 139737458278135 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 24604672 140725761545404 140725761545580 140725761545580 140725761548239 0
/proc/32750/statm: 3467083 58117 3267 1 0 3454316 0
[pid=32750/tid=32751] ppid=32749 vsize=13868332 CPUtime=0.88 cores=4-7,12-15
/proc/32750/task/32751/stat : 32751 (java) S 32749 32749 18810 0 -1 1077944384 6469 0 0 0 84 4 0 0 20 0 28 0 3888777 14201171968 58117 33554432000 4194304 4196468 140725761536560 139737462518912 139737458288341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24604672 140725761545404 140725761545580 140725761545580 140725761548239 0
[pid=32750/tid=32753] ppid=32749 vsize=13868332 CPUtime=0.02 cores=4-7,12-15
/proc/32750/task/32753/stat : 32753 (java) S 32749 32749 18810 0 -1 1077944384 22 0 0 0 1 1 0 0 20 0 28 0 3888778 14201171968 58117 33554432000 4194304 4196468 140725761536560 139737376758160 139737458288341 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 24604672 140725761545404 140725761545580 140725761545580 140725761548239 0
[pid=32750/tid=32754] ppid=32749 vsize=13868332 CPUtime=0.02 cores=4-7,12-15
/proc/32750/task/32754/stat : 32754 (java) S 32749 32749 18810 0 -1 1077944384 19 0 0 0 2 0 0 0 20 0 28 0 3888778 14201171968 58117 33554432000 4194304 4196468 140725761536560 139737375705360 139737458288341 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24604672 140725761545404 140725761545580 140725761545580 140725761548239 0
[pid=32750/tid=32755] ppid=32749 vsize=13868332 CPUtime=0.02 cores=4-7,12-15
/proc/32750/task/32755/stat : 32755 (java) S 32749 32749 18810 0 -1 1077944384 20 0 0 0 1 1 0 0 20 0 28 0 3888778 14201171968 58117 33554432000 4194304 4196468 140725761536560 139737374653072 139737458288341 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24604672 140725761545404 140725761545580 140725761545580 140725761548239 0
[pid=32750/tid=32756] ppid=32749 vsize=13868332 CPUtime=0.01 cores=4-7,12-15
/proc/32750/task/32756/stat : 32756 (java) S 32749 32749 18810 0 -1 1077944384 17 0 0 0 1 0 0 0 20 0 28 0 3888778 14201171968 58117 33554432000 4194304 4196468 140725761536560 139737373600272 139737458288341 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 24604672 140725761545404 140725761545580 140725761545580 140725761548239 0
[pid=32750/tid=32757] ppid=32749 vsize=13868332 CPUtime=0.02 cores=4-7,12-15
/proc/32750/task/32757/stat : 32757 (java) S 32749 32749 18810 0 -1 1077944384 14 0 0 0 1 1 0 0 20 0 28 0 3888778 14201171968 58117 33554432000 4194304 4196468 140725761536560 139737372547984 139737458288341 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24604672 140725761545404 140725761545580 140725761545580 140725761548239 0
[pid=32750/tid=32758] ppid=32749 vsize=13868332 CPUtime=0 cores=4-7,12-15
/proc/32750/task/32758/stat : 32758 (java) S 32749 32749 18810 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 28 0 3888778 14201171968 58117 33554432000 4194304 4196468 140725761536560 139737371495184 139737458288341 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 24604672 140725761545404 140725761545580 140725761545580 140725761548239 0
[pid=32750/tid=32759] ppid=32749 vsize=13868332 CPUtime=0.02 cores=4-7,12-15
/proc/32750/task/32759/stat : 32759 (java) S 32749 32749 18810 0 -1 1077944384 23 0 0 0 2 0 0 0 20 0 28 0 3888778 14201171968 58117 33554432000 4194304 4196468 140725761536560 139737370442896 139737458288341 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 24604672 140725761545404 140725761545580 140725761545580 140725761548239 0
[pid=32750/tid=32760] ppid=32749 vsize=13868332 CPUtime=0.01 cores=4-7,12-15
/proc/32750/task/32760/stat : 32760 (java) S 32749 32749 18810 0 -1 1077944384 16 0 0 0 1 0 0 0 20 0 28 0 3888778 14201171968 58117 33554432000 4194304 4196468 140725761536560 139737369390096 139737458288341 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 24604672 140725761545404 140725761545580 140725761545580 140725761548239 0
[pid=32750/tid=32761] ppid=32749 vsize=13868332 CPUtime=0 cores=4-7,12-15
/proc/32750/task/32761/stat : 32761 (java) S 32749 32749 18810 0 -1 1077944384 89 0 0 0 0 0 0 0 20 0 28 0 3888780 14201171968 58117 33554432000 4194304 4196468 140725761536560 139736920492144 139737458289282 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24604672 140725761545404 140725761545580 140725761545580 140725761548239 0
[pid=32750/tid=32762] ppid=32749 vsize=13868332 CPUtime=0 cores=4-7,12-15
/proc/32750/task/32762/stat : 32762 (java) S 32749 32749 18810 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 3888781 14201171968 58117 33554432000 4194304 4196468 140725761536560 139736919438176 139737458288341 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24604672 140725761545404 140725761545580 140725761545580 140725761548239 0
[pid=32750/tid=32763] ppid=32749 vsize=13868332 CPUtime=0 cores=4-7,12-15
/proc/32750/task/32763/stat : 32763 (java) S 32749 32749 18810 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 3888781 14201171968 58117 33554432000 4194304 4196468 140725761536560 139736918385792 139737458288341 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24604672 140725761545404 140725761545580 140725761545580 140725761548239 0
[pid=32750/tid=32764] ppid=32749 vsize=13868332 CPUtime=0 cores=4-7,12-15
/proc/32750/task/32764/stat : 32764 (java) S 32749 32749 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3888785 14201171968 58117 33554432000 4194304 4196468 140725761536560 139736917334096 139737458296731 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 24604672 140725761545404 140725761545580 140725761545580 140725761548239 0
[pid=32750/tid=32765] ppid=32749 vsize=13868332 CPUtime=2.09 cores=4-7,12-15
/proc/32750/task/32765/stat : 32765 (java) S 32749 32749 18810 0 -1 1077944384 3269 0 0 0 208 1 0 0 20 0 28 0 3888785 14201171968 58117 33554432000 4194304 4196468 140725761536560 139736916281968 139737458289282 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 24604672 140725761545404 140725761545580 140725761545580 140725761548239 0
[pid=32750/tid=32766] ppid=32749 vsize=13868332 CPUtime=2.12 cores=4-7,12-15
/proc/32750/task/32766/stat : 32766 (java) R 32749 32749 18810 0 -1 4202560 2737 0 0 0 212 0 0 0 20 0 28 0 3888785 14201171968 58117 33554432000 4194304 4196468 140725761536560 139736915215136 139737439822311 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24604672 140725761545404 140725761545580 140725761545580 140725761548239 0
[pid=32750/tid=32767] ppid=32749 vsize=13868332 CPUtime=1.93 cores=4-7,12-15
/proc/32750/task/32767/stat : 32767 (java) R 32749 32749 18810 0 -1 4202560 1829 0 0 0 193 0 0 0 20 0 28 0 3888785 14201171968 58117 33554432000 4194304 4196468 140725761536560 139736914177176 139737441769789 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 24604672 140725761545404 140725761545580 140725761545580 140725761548239 0
[pid=32750/tid=300] ppid=32749 vsize=13868332 CPUtime=0.87 cores=4-7,12-15
/proc/32750/task/300/stat : 300 (java) S 32749 32749 18810 0 -1 1077944384 2570 0 0 0 86 1 0 0 20 0 28 0 3888785 14201171968 58117 33554432000 4194304 4196468 140725761536560 139736913124080 139737458289282 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 24604672 140725761545404 140725761545580 140725761545580 140725761548239 0
[pid=32750/tid=301] ppid=32749 vsize=13868332 CPUtime=0 cores=4-7,12-15
/proc/32750/task/301/stat : 301 (java) S 32749 32749 18810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3888786 14201171968 58117 33554432000 4194304 4196468 140725761536560 139736912071008 139737458288341 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 24604672 140725761545404 140725761545580 140725761545580 140725761548239 0
[pid=32750/tid=302] ppid=32749 vsize=13868332 CPUtime=0 cores=4-7,12-15
/proc/32750/task/302/stat : 302 (java) S 32749 32749 18810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3888786 14201171968 58117 33554432000 4194304 4196468 140725761536560 139736911018288 139737458289282 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24604672 140725761545404 140725761545580 140725761545580 140725761548239 0
Current children cumulated CPU time (s) 19.45
Current children cumulated vsize (KiB) 13877844
[startup+6.30158 s]
/proc/loadavg: 11.73 13.92 14.42 10/296 564
/proc/meminfo: memFree=29367688/32770624 swapFree=5944/214404
[pid=32749] ppid=32746 vsize=9512 CPUtime=0 cores=4-7,12-15
/proc/32749/stat : 32749 (xcsp3-exec) S 32746 32749 18810 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3888776 9740288 346 33554432000 4194304 5098028 140731062191680 140731062189784 140706776396412 0 65536 4100 65538 18446744071579417331 0 0 17 14 0 0 0 0 0 7196144 7232144 14954496 140731062199438 140731062199648 140731062199648 140731062202347 0
/proc/32749/statm: 2378 346 289 221 0 87 0
[pid=32750] ppid=32749 vsize=13868332 CPUtime=44.7 cores=4-7,12-15
/proc/32750/stat : 32750 (java) S 32749 32749 18810 0 -1 1077944320 29401 0 0 0 4448 22 0 0 20 0 28 0 3888777 14201171968 79007 33554432000 4194304 4196468 140725761536560 140725761519104 139737458278135 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 24604672 140725761545404 140725761545580 140725761545580 140725761548239 0
/proc/32750/statm: 3467083 79007 3267 1 0 3454316 0
[pid=32750/tid=32751] ppid=32749 vsize=13868332 CPUtime=0.88 cores=4-7,12-15
/proc/32750/task/32751/stat : 32751 (java) S 32749 32749 18810 0 -1 1077944384 6599 0 0 0 84 4 0 0 20 0 28 0 3888777 14201171968 79007 33554432000 4194304 4196468 140725761536560 139737462518912 139737458288341 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 24604672 140725761545404 140725761545580 140725761545580 140725761548239 0
[pid=32750/tid=32753] ppid=32749 vsize=13868332 CPUtime=0.02 cores=4-7,12-15
/proc/32750/task/32753/stat : 32753 (java) S 32749 32749 18810 0 -1 1077944384 22 0 0 0 1 1 0 0 20 0 28 0 3888778 14201171968 79007 33554432000 4194304 4196468 140725761536560 139737376758160 139737458288341 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 24604672 140725761545404 140725761545580 140725761545580 140725761548239 0
[pid=32750/tid=32754] ppid=32749 vsize=13868332 CPUtime=0.02 cores=4-7,12-15
/proc/32750/task/32754/stat : 32754 (java) S 32749 32749 18810 0 -1 1077944384 19 0 0 0 2 0 0 0 20 0 28 0 3888778 14201171968 80031 33554432000 4194304 4196468 140725761536560 139737375705360 139737458288341 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24604672 140725761545404 140725761545580 140725761545580 140725761548239 0
[pid=32750/tid=32755] ppid=32749 vsize=13868332 CPUtime=0.02 cores=4-7,12-15
/proc/32750/task/32755/stat : 32755 (java) S 32749 32749 18810 0 -1 1077944384 20 0 0 0 1 1 0 0 20 0 28 0 3888778 14201171968 80031 33554432000 4194304 4196468 140725761536560 139737374653072 139737458288341 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24604672 140725761545404 140725761545580 140725761545580 140725761548239 0
[pid=32750/tid=32756] ppid=32749 vsize=13868332 CPUtime=0.01 cores=4-7,12-15
/proc/32750/task/32756/stat : 32756 (java) S 32749 32749 18810 0 -1 1077944384 17 0 0 0 1 0 0 0 20 0 28 0 3888778 14201171968 80031 33554432000 4194304 4196468 140725761536560 139737373600272 139737458288341 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 24604672 140725761545404 140725761545580 140725761545580 140725761548239 0
[pid=32750/tid=32757] ppid=32749 vsize=13868332 CPUtime=0.02 cores=4-7,12-15
/proc/32750/task/32757/stat : 32757 (java) S 32749 32749 18810 0 -1 1077944384 14 0 0 0 1 1 0 0 20 0 28 0 3888778 14201171968 80031 33554432000 4194304 4196468 140725761536560 139737372547984 139737458288341 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24604672 140725761545404 140725761545580 140725761545580 140725761548239 0
[pid=32750/tid=32758] ppid=32749 vsize=13868332 CPUtime=0 cores=4-7,12-15
/proc/32750/task/32758/stat : 32758 (java) S 32749 32749 18810 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 28 0 3888778 14201171968 80031 33554432000 4194304 4196468 140725761536560 139737371495184 139737458288341 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 24604672 140725761545404 140725761545580 140725761545580 140725761548239 0
[pid=32750/tid=32759] ppid=32749 vsize=13868332 CPUtime=0.02 cores=4-7,12-15
/proc/32750/task/32759/stat : 32759 (java) S 32749 32749 18810 0 -1 1077944384 23 0 0 0 2 0 0 0 20 0 28 0 3888778 14201171968 80031 33554432000 4194304 4196468 140725761536560 139737370442896 139737458288341 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 24604672 140725761545404 140725761545580 140725761545580 140725761548239 0
[pid=32750/tid=32760] ppid=32749 vsize=13868332 CPUtime=0.01 cores=4-7,12-15
/proc/32750/task/32760/stat : 32760 (java) S 32749 32749 18810 0 -1 1077944384 16 0 0 0 1 0 0 0 20 0 28 0 3888778 14201171968 80031 33554432000 4194304 4196468 140725761536560 139737369390096 139737458288341 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 24604672 140725761545404 140725761545580 140725761545580 140725761548239 0
[pid=32750/tid=32761] ppid=32749 vsize=13868332 CPUtime=0.01 cores=4-7,12-15
/proc/32750/task/32761/stat : 32761 (java) S 32749 32749 18810 0 -1 1077944384 151 0 0 0 1 0 0 0 20 0 28 0 3888780 14201171968 80031 33554432000 4194304 4196468 140725761536560 139736920492144 139737458289282 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24604672 140725761545404 140725761545580 140725761545580 140725761548239 0
[pid=32750/tid=32762] ppid=32749 vsize=13868332 CPUtime=0 cores=4-7,12-15
/proc/32750/task/32762/stat : 32762 (java) S 32749 32749 18810 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 3888781 14201171968 80031 33554432000 4194304 4196468 140725761536560 139736919438176 139737458288341 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24604672 140725761545404 140725761545580 140725761545580 140725761548239 0
[pid=32750/tid=32763] ppid=32749 vsize=13868332 CPUtime=0 cores=4-7,12-15
/proc/32750/task/32763/stat : 32763 (java) S 32749 32749 18810 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 3888781 14201171968 80031 33554432000 4194304 4196468 140725761536560 139736918385792 139737458288341 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24604672 140725761545404 140725761545580 140725761545580 140725761548239 0
[pid=32750/tid=32764] ppid=32749 vsize=13868332 CPUtime=0 cores=4-7,12-15
/proc/32750/task/32764/stat : 32764 (java) S 32749 32749 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3888785 14201171968 80031 33554432000 4194304 4196468 140725761536560 139736917334096 139737458296731 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 24604672 140725761545404 140725761545580 140725761545580 140725761548239 0
################
# More data... #
################
[pid=32750/tid=760] ppid=32749 vsize=13868332 CPUtime=182.78 cores=4-7,12-15
/proc/32750/task/760/stat : 760 (java) R 32749 32749 18810 0 -1 4202560 942 0 0 0 18277 1 0 0 20 0 28 0 3898528 14201171968 101995 33554432000 4194304 4196468 140725761536560 139736828071800 139737051840899 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 24604672 140725761545404 140725761545580 140725761545580 140725761548239 0
[pid=32750/tid=761] ppid=32749 vsize=13868332 CPUtime=182.94 cores=4-7,12-15
/proc/32750/task/761/stat : 761 (java) R 32749 32749 18810 0 -1 4202560 877 0 0 0 18293 1 0 0 20 0 28 0 3898529 14201171968 101995 33554432000 4194304 4196468 140725761536560 139736901953792 139737051849680 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24604672 140725761545404 140725761545580 140725761545580 140725761548239 0
Current children cumulated CPU time (s) 2236.03
Current children cumulated vsize (KiB) 13877844
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+303.102 s]
/proc/loadavg: 15.67 14.13 14.25 17/304 1017
/proc/meminfo: memFree=23187440/32770624 swapFree=5944/214772
[pid=32749] ppid=32746 vsize=9512 CPUtime=0 cores=4-7,12-15
/proc/32749/stat : 32749 (xcsp3-exec) S 32746 32749 18810 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3888776 9740288 346 33554432000 4194304 5098028 140731062191680 140731062189784 140706776396412 0 65536 4100 65538 18446744071579417331 0 0 17 14 0 0 0 0 0 7196144 7232144 14954496 140731062199438 140731062199648 140731062199648 140731062202347 0
/proc/32749/statm: 2378 346 289 221 0 87 0
[pid=32750] ppid=32749 vsize=13868332 CPUtime=2400.2 cores=4-7,12-15
/proc/32750/stat : 32750 (java) S 32749 32749 18810 0 -1 1077944320 92071 0 0 0 239877 143 0 0 20 0 28 0 3888777 14201171968 109748 33554432000 4194304 4196468 140725761536560 140725761519104 139737458278135 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 24604672 140725761545404 140725761545580 140725761545580 140725761548239 0
/proc/32750/statm: 3467083 109748 3279 1 0 3454316 0
[pid=32750/tid=32751] ppid=32749 vsize=13868332 CPUtime=0.89 cores=4-7,12-15
/proc/32750/task/32751/stat : 32751 (java) S 32749 32749 18810 0 -1 1077944384 6874 0 0 0 85 4 0 0 20 0 28 0 3888777 14201171968 109748 33554432000 4194304 4196468 140725761536560 139737462518912 139737458288341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24604672 140725761545404 140725761545580 140725761545580 140725761548239 0
[pid=32750/tid=32753] ppid=32749 vsize=13868332 CPUtime=0.35 cores=4-7,12-15
/proc/32750/task/32753/stat : 32753 (java) S 32749 32749 18810 0 -1 1077944384 1400 0 0 0 27 8 0 0 20 0 28 0 3888778 14201171968 109748 33554432000 4194304 4196468 140725761536560 139737376758160 139737458288341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24604672 140725761545404 140725761545580 140725761545580 140725761548239 0
[pid=32750/tid=32754] ppid=32749 vsize=13868332 CPUtime=0.34 cores=4-7,12-15
/proc/32750/task/32754/stat : 32754 (java) S 32749 32749 18810 0 -1 1077944384 2269 0 0 0 28 6 0 0 20 0 28 0 3888778 14201171968 109748 33554432000 4194304 4196468 140725761536560 139737375705360 139737458288341 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24604672 140725761545404 140725761545580 140725761545580 140725761548239 0
[pid=32750/tid=32755] ppid=32749 vsize=13868332 CPUtime=0.34 cores=4-7,12-15
/proc/32750/task/32755/stat : 32755 (java) S 32749 32749 18810 0 -1 1077944384 915 0 0 0 26 8 0 0 20 0 28 0 3888778 14201171968 109748 33554432000 4194304 4196468 140725761536560 139737374653072 139737458288341 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 24604672 140725761545404 140725761545580 140725761545580 140725761548239 0
[pid=32750/tid=32756] ppid=32749 vsize=13868332 CPUtime=0.35 cores=4-7,12-15
/proc/32750/task/32756/stat : 32756 (java) S 32749 32749 18810 0 -1 1077944384 1578 0 0 0 28 7 0 0 20 0 28 0 3888778 14201171968 109748 33554432000 4194304 4196468 140725761536560 139737373600272 139737458288341 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 24604672 140725761545404 140725761545580 140725761545580 140725761548239 0
[pid=32750/tid=32757] ppid=32749 vsize=13868332 CPUtime=0.35 cores=4-7,12-15
/proc/32750/task/32757/stat : 32757 (java) S 32749 32749 18810 0 -1 1077944384 1666 0 0 0 26 9 0 0 20 0 28 0 3888778 14201171968 109748 33554432000 4194304 4196468 140725761536560 139737372547984 139737458288341 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 24604672 140725761545404 140725761545580 140725761545580 140725761548239 0
[pid=32750/tid=32758] ppid=32749 vsize=13868332 CPUtime=0.33 cores=4-7,12-15
/proc/32750/task/32758/stat : 32758 (java) S 32749 32749 18810 0 -1 1077944384 1394 0 0 0 24 9 0 0 20 0 28 0 3888778 14201171968 109748 33554432000 4194304 4196468 140725761536560 139737371495184 139737458288341 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 24604672 140725761545404 140725761545580 140725761545580 140725761548239 0
[pid=32750/tid=32759] ppid=32749 vsize=13868332 CPUtime=0.36 cores=4-7,12-15
/proc/32750/task/32759/stat : 32759 (java) S 32749 32749 18810 0 -1 1077944384 1877 0 0 0 28 8 0 0 20 0 28 0 3888778 14201171968 109748 33554432000 4194304 4196468 140725761536560 139737370442896 139737458288341 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24604672 140725761545404 140725761545580 140725761545580 140725761548239 0
[pid=32750/tid=32760] ppid=32749 vsize=13868332 CPUtime=0.34 cores=4-7,12-15
/proc/32750/task/32760/stat : 32760 (java) S 32749 32749 18810 0 -1 1077944384 1197 0 0 0 25 9 0 0 20 0 28 0 3888778 14201171968 109748 33554432000 4194304 4196468 140725761536560 139737369390096 139737458288341 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24604672 140725761545404 140725761545580 140725761545580 140725761548239 0
[pid=32750/tid=32761] ppid=32749 vsize=13868332 CPUtime=0.79 cores=4-7,12-15
/proc/32750/task/32761/stat : 32761 (java) S 32749 32749 18810 0 -1 1077944384 4467 0 0 0 41 38 0 0 20 0 28 0 3888780 14201171968 109748 33554432000 4194304 4196468 140725761536560 139736920492144 139737458289282 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24604672 140725761545404 140725761545580 140725761545580 140725761548239 0
[pid=32750/tid=32762] ppid=32749 vsize=13868332 CPUtime=0 cores=4-7,12-15
/proc/32750/task/32762/stat : 32762 (java) S 32749 32749 18810 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 28 0 3888781 14201171968 109748 33554432000 4194304 4196468 140725761536560 139736919438176 139737458288341 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 24604672 140725761545404 140725761545580 140725761545580 140725761548239 0
[pid=32750/tid=32763] ppid=32749 vsize=13868332 CPUtime=0 cores=4-7,12-15
/proc/32750/task/32763/stat : 32763 (java) S 32749 32749 18810 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 28 0 3888781 14201171968 109748 33554432000 4194304 4196468 140725761536560 139736918385792 139737458288341 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24604672 140725761545404 140725761545580 140725761545580 140725761548239 0
[pid=32750/tid=32764] ppid=32749 vsize=13868332 CPUtime=0 cores=4-7,12-15
/proc/32750/task/32764/stat : 32764 (java) S 32749 32749 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3888785 14201171968 109748 33554432000 4194304 4196468 140725761536560 139736917334096 139737458296731 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 24604672 140725761545404 140725761545580 140725761545580 140725761548239 0
[pid=32750/tid=32765] ppid=32749 vsize=13868332 CPUtime=2.8 cores=4-7,12-15
/proc/32750/task/32765/stat : 32765 (java) S 32749 32749 18810 0 -1 1077944384 9364 0 0 0 278 2 0 0 20 0 28 0 3888785 14201171968 109748 33554432000 4194304 4196468 140725761536560 139736916281968 139737458289282 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24604672 140725761545404 140725761545580 140725761545580 140725761548239 0
[pid=32750/tid=32766] ppid=32749 vsize=13868332 CPUtime=3.44 cores=4-7,12-15
/proc/32750/task/32766/stat : 32766 (java) S 32749 32749 18810 0 -1 1077944384 10448 0 0 0 343 1 0 0 20 0 28 0 3888785 14201171968 109748 33554432000 4194304 4196468 140725761536560 139736915229168 139737458289282 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 24604672 140725761545404 140725761545580 140725761545580 140725761548239 0
[pid=32750/tid=32767] ppid=32749 vsize=13868332 CPUtime=2.7 cores=4-7,12-15
/proc/32750/task/32767/stat : 32767 (java) S 32749 32749 18810 0 -1 1077944384 10916 0 0 0 269 1 0 0 20 0 28 0 3888785 14201171968 109748 33554432000 4194304 4196468 140725761536560 139736914176880 139737458289282 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 24604672 140725761545404 140725761545580 140725761545580 140725761548239 0
[pid=32750/tid=300] ppid=32749 vsize=13868332 CPUtime=1.04 cores=4-7,12-15
/proc/32750/task/300/stat : 300 (java) S 32749 32749 18810 0 -1 1077944384 9017 0 0 0 103 1 0 0 20 0 28 0 3888785 14201171968 109748 33554432000 4194304 4196468 140725761536560 139736913124080 139737458289282 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24604672 140725761545404 140725761545580 140725761545580 140725761548239 0
[pid=32750/tid=301] ppid=32749 vsize=13868332 CPUtime=0 cores=4-7,12-15
/proc/32750/task/301/stat : 301 (java) S 32749 32749 18810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3888786 14201171968 109748 33554432000 4194304 4196468 140725761536560 139736912071008 139737458288341 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 24604672 140725761545404 140725761545580 140725761545580 140725761548239 0
[pid=32750/tid=302] ppid=32749 vsize=13868332 CPUtime=0.14 cores=4-7,12-15
/proc/32750/task/302/stat : 302 (java) S 32749 32749 18810 0 -1 1077944384 1076 0 0 0 6 8 0 0 20 0 28 0 3888786 14201171968 109748 33554432000 4194304 4196468 140725761536560 139736911018288 139737458289282 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 24604672 140725761545404 140725761545580 140725761545580 140725761548239 0
[pid=32750/tid=754] ppid=32749 vsize=13868332 CPUtime=203.63 cores=4-7,12-15
/proc/32750/task/754/stat : 754 (java) R 32749 32749 18810 0 -1 4202560 1662 0 0 0 20362 1 0 0 20 0 28 0 3898528 14201171968 109748 33554432000 4194304 4196468 140725761536560 139736827020848 139737051840745 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 24604672 140725761545404 140725761545580 140725761545580 140725761548239 0
[pid=32750/tid=755] ppid=32749 vsize=13868332 CPUtime=203.91 cores=4-7,12-15
/proc/32750/task/755/stat : 755 (java) R 32749 32749 18810 0 -1 4202560 1219 0 0 0 20390 1 0 0 20 0 28 0 3898528 14201171968 109748 33554432000 4194304 4196468 140725761536560 139736897741448 139737051840473 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 24604672 140725761545404 140725761545580 140725761545580 140725761548239 0
[pid=32750/tid=756] ppid=32749 vsize=13868332 CPUtime=203.36 cores=4-7,12-15
/proc/32750/task/756/stat : 756 (java) R 32749 32749 18810 0 -1 4202560 1114 0 0 0 20335 1 0 0 20 0 28 0 3898528 14201171968 109748 33554432000 4194304 4196468 140725761536560 139736898793848 139737054355365 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 24604672 140725761545404 140725761545580 140725761545580 140725761548239 0
[pid=32750/tid=757] ppid=32749 vsize=13868332 CPUtime=202.04 cores=4-7,12-15
/proc/32750/task/757/stat : 757 (java) R 32749 32749 18810 0 -1 4202560 1922 0 0 0 20203 1 0 0 20 0 28 0 3898528 14201171968 109748 33554432000 4194304 4196468 140725761536560 139736903004424 139737051841107 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24604672 140725761545404 140725761545580 140725761545580 140725761548239 0
[pid=32750/tid=758] ppid=32749 vsize=13868332 CPUtime=203.51 cores=4-7,12-15
/proc/32750/task/758/stat : 758 (java) R 32749 32749 18810 0 -1 4202560 1051 0 0 0 20350 1 0 0 20 0 28 0 3898528 14201171968 109748 33554432000 4194304 4196468 140725761536560 139736900900104 139737054461947 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24604672 140725761545404 140725761545580 140725761545580 140725761548239 0
[pid=32750/tid=759] ppid=32749 vsize=13868332 CPUtime=202.91 cores=4-7,12-15
/proc/32750/task/759/stat : 759 (java) R 32749 32749 18810 0 -1 4202560 570 0 0 0 20290 1 0 0 20 0 28 0 3898528 14201171968 109748 33554432000 4194304 4196468 140725761536560 139736896688632 139737051840307 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 24604672 140725761545404 140725761545580 140725761545580 140725761548239 0
[pid=32750/tid=760] ppid=32749 vsize=13868332 CPUtime=203.07 cores=4-7,12-15
/proc/32750/task/760/stat : 760 (java) R 32749 32749 18810 0 -1 4202560 954 0 0 0 20306 1 0 0 20 0 28 0 3898528 14201171968 109748 33554432000 4194304 4196468 140725761536560 139736828071552 139737051850290 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 24604672 140725761545404 140725761545580 140725761545580 140725761548239 0
[pid=32750/tid=761] ppid=32749 vsize=13868332 CPUtime=203.46 cores=4-7,12-15
/proc/32750/task/761/stat : 761 (java) R 32749 32749 18810 0 -1 4202560 888 0 0 0 20345 1 0 0 20 0 28 0 3898529 14201171968 109748 33554432000 4194304 4196468 140725761536560 139736901951048 139737051840497 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 24604672 140725761545404 140725761545580 140725761545580 140725761548239 0
Current children cumulated CPU time (s) 2400.2
Current children cumulated vsize (KiB) 13877844
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 32750 sig 9
??? kill 32749 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+303.102 s]
/proc/loadavg: 15.67 14.13 14.25 17/304 1017
/proc/meminfo: memFree=23187440/32770624 swapFree=5944/214772
[pid=32749] ppid=32746 vsize=9512 CPUtime=0 cores=4-7,12-15
/proc/32749/stat : 32749 (xcsp3-exec) S 32746 32749 18810 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3888776 9740288 346 33554432000 4194304 5098028 140731062191680 140731062189784 140706776396412 0 65536 4100 65538 18446744071579417331 0 0 17 14 0 0 0 0 0 7196144 7232144 14954496 140731062199438 140731062199648 140731062199648 140731062202347 0
/proc/32749/statm: 2378 346 289 221 0 87 0
[pid=32750] ppid=32749 vsize=13868332 CPUtime=2400.2 cores=4-7,12-15
/proc/32750/stat : 32750 (java) S 32749 32749 18810 0 -1 1077944320 92071 0 0 0 239877 143 0 0 20 0 28 0 3888777 14201171968 109748 33554432000 4194304 4196468 140725761536560 140725761519104 139737458278135 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 24604672 140725761545404 140725761545580 140725761545580 140725761548239 0
/proc/32750/statm: 3467083 109748 3279 1 0 3454316 0
[pid=32750/tid=32751] ppid=32749 vsize=13868332 CPUtime=0.89 cores=4-7,12-15
/proc/32750/task/32751/stat : 32751 (java) S 32749 32749 18810 0 -1 1077944384 6874 0 0 0 85 4 0 0 20 0 28 0 3888777 14201171968 109748 33554432000 4194304 4196468 140725761536560 139737462518912 139737458288341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24604672 140725761545404 140725761545580 140725761545580 140725761548239 0
[pid=32750/tid=32753] ppid=32749 vsize=13868332 CPUtime=0.35 cores=4-7,12-15
/proc/32750/task/32753/stat : 32753 (java) S 32749 32749 18810 0 -1 1077944384 1400 0 0 0 27 8 0 0 20 0 28 0 3888778 14201171968 109748 33554432000 4194304 4196468 140725761536560 139737376758160 139737458288341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24604672 140725761545404 140725761545580 140725761545580 140725761548239 0
[pid=32750/tid=32754] ppid=32749 vsize=13868332 CPUtime=0.34 cores=4-7,12-15
/proc/32750/task/32754/stat : 32754 (java) S 32749 32749 18810 0 -1 1077944384 2269 0 0 0 28 6 0 0 20 0 28 0 3888778 14201171968 109748 33554432000 4194304 4196468 140725761536560 139737375705360 139737458288341 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24604672 140725761545404 140725761545580 140725761545580 140725761548239 0
[pid=32750/tid=32755] ppid=32749 vsize=13868332 CPUtime=0.34 cores=4-7,12-15
/proc/32750/task/32755/stat : 32755 (java) S 32749 32749 18810 0 -1 1077944384 915 0 0 0 26 8 0 0 20 0 28 0 3888778 14201171968 109748 33554432000 4194304 4196468 140725761536560 139737374653072 139737458288341 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 24604672 140725761545404 140725761545580 140725761545580 140725761548239 0
[pid=32750/tid=32756] ppid=32749 vsize=13868332 CPUtime=0.35 cores=4-7,12-15
/proc/32750/task/32756/stat : 32756 (java) S 32749 32749 18810 0 -1 1077944384 1578 0 0 0 28 7 0 0 20 0 28 0 3888778 14201171968 109748 33554432000 4194304 4196468 140725761536560 139737373600272 139737458288341 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 24604672 140725761545404 140725761545580 140725761545580 140725761548239 0
[pid=32750/tid=32757] ppid=32749 vsize=13868332 CPUtime=0.35 cores=4-7,12-15
/proc/32750/task/32757/stat : 32757 (java) S 32749 32749 18810 0 -1 1077944384 1666 0 0 0 26 9 0 0 20 0 28 0 3888778 14201171968 109748 33554432000 4194304 4196468 140725761536560 139737372547984 139737458288341 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 24604672 140725761545404 140725761545580 140725761545580 140725761548239 0
[pid=32750/tid=32758] ppid=32749 vsize=13868332 CPUtime=0.33 cores=4-7,12-15
/proc/32750/task/32758/stat : 32758 (java) S 32749 32749 18810 0 -1 1077944384 1394 0 0 0 24 9 0 0 20 0 28 0 3888778 14201171968 109748 33554432000 4194304 4196468 140725761536560 139737371495184 139737458288341 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 24604672 140725761545404 140725761545580 140725761545580 140725761548239 0
[pid=32750/tid=32759] ppid=32749 vsize=13868332 CPUtime=0.36 cores=4-7,12-15
/proc/32750/task/32759/stat : 32759 (java) S 32749 32749 18810 0 -1 1077944384 1877 0 0 0 28 8 0 0 20 0 28 0 3888778 14201171968 109748 33554432000 4194304 4196468 140725761536560 139737370442896 139737458288341 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24604672 140725761545404 140725761545580 140725761545580 140725761548239 0
[pid=32750/tid=32760] ppid=32749 vsize=13868332 CPUtime=0.34 cores=4-7,12-15
/proc/32750/task/32760/stat : 32760 (java) S 32749 32749 18810 0 -1 1077944384 1197 0 0 0 25 9 0 0 20 0 28 0 3888778 14201171968 109748 33554432000 4194304 4196468 140725761536560 139737369390096 139737458288341 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24604672 140725761545404 140725761545580 140725761545580 140725761548239 0
[pid=32750/tid=32761] ppid=32749 vsize=13868332 CPUtime=0.79 cores=4-7,12-15
/proc/32750/task/32761/stat : 32761 (java) S 32749 32749 18810 0 -1 1077944384 4467 0 0 0 41 38 0 0 20 0 28 0 3888780 14201171968 109748 33554432000 4194304 4196468 140725761536560 139736920492144 139737458289282 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24604672 140725761545404 140725761545580 140725761545580 140725761548239 0
[pid=32750/tid=32762] ppid=32749 vsize=13868332 CPUtime=0 cores=4-7,12-15
/proc/32750/task/32762/stat : 32762 (java) S 32749 32749 18810 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 28 0 3888781 14201171968 109748 33554432000 4194304 4196468 140725761536560 139736919438176 139737458288341 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 24604672 140725761545404 140725761545580 140725761545580 140725761548239 0
[pid=32750/tid=32763] ppid=32749 vsize=13868332 CPUtime=0 cores=4-7,12-15
/proc/32750/task/32763/stat : 32763 (java) S 32749 32749 18810 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 28 0 3888781 14201171968 109748 33554432000 4194304 4196468 140725761536560 139736918385792 139737458288341 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24604672 140725761545404 140725761545580 140725761545580 140725761548239 0
[pid=32750/tid=32764] ppid=32749 vsize=13868332 CPUtime=0 cores=4-7,12-15
/proc/32750/task/32764/stat : 32764 (java) S 32749 32749 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3888785 14201171968 109748 33554432000 4194304 4196468 140725761536560 139736917334096 139737458296731 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 24604672 140725761545404 140725761545580 140725761545580 140725761548239 0
[pid=32750/tid=32765] ppid=32749 vsize=13868332 CPUtime=2.8 cores=4-7,12-15
/proc/32750/task/32765/stat : 32765 (java) S 32749 32749 18810 0 -1 1077944384 9364 0 0 0 278 2 0 0 20 0 28 0 3888785 14201171968 109748 33554432000 4194304 4196468 140725761536560 139736916281968 139737458289282 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24604672 140725761545404 140725761545580 140725761545580 140725761548239 0
[pid=32750/tid=32766] ppid=32749 vsize=13868332 CPUtime=3.44 cores=4-7,12-15
/proc/32750/task/32766/stat : 32766 (java) S 32749 32749 18810 0 -1 1077944384 10448 0 0 0 343 1 0 0 20 0 28 0 3888785 14201171968 109748 33554432000 4194304 4196468 140725761536560 139736915229168 139737458289282 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 24604672 140725761545404 140725761545580 140725761545580 140725761548239 0
[pid=32750/tid=32767] ppid=32749 vsize=13868332 CPUtime=2.7 cores=4-7,12-15
/proc/32750/task/32767/stat : 32767 (java) S 32749 32749 18810 0 -1 1077944384 10916 0 0 0 269 1 0 0 20 0 28 0 3888785 14201171968 109748 33554432000 4194304 4196468 140725761536560 139736914176880 139737458289282 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 24604672 140725761545404 140725761545580 140725761545580 140725761548239 0
[pid=32750/tid=300] ppid=32749 vsize=13868332 CPUtime=1.04 cores=4-7,12-15
/proc/32750/task/300/stat : 300 (java) S 32749 32749 18810 0 -1 1077944384 9017 0 0 0 103 1 0 0 20 0 28 0 3888785 14201171968 109748 33554432000 4194304 4196468 140725761536560 139736913124080 139737458289282 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24604672 140725761545404 140725761545580 140725761545580 140725761548239 0
[pid=32750/tid=301] ppid=32749 vsize=13868332 CPUtime=0 cores=4-7,12-15
/proc/32750/task/301/stat : 301 (java) S 32749 32749 18810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3888786 14201171968 109748 33554432000 4194304 4196468 140725761536560 139736912071008 139737458288341 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 24604672 140725761545404 140725761545580 140725761545580 140725761548239 0
[pid=32750/tid=302] ppid=32749 vsize=13868332 CPUtime=0.14 cores=4-7,12-15
/proc/32750/task/302/stat : 302 (java) S 32749 32749 18810 0 -1 1077944384 1076 0 0 0 6 8 0 0 20 0 28 0 3888786 14201171968 109748 33554432000 4194304 4196468 140725761536560 139736911018288 139737458289282 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 24604672 140725761545404 140725761545580 140725761545580 140725761548239 0
[pid=32750/tid=754] ppid=32749 vsize=13868332 CPUtime=203.63 cores=4-7,12-15
/proc/32750/task/754/stat : 754 (java) R 32749 32749 18810 0 -1 4202560 1662 0 0 0 20362 1 0 0 20 0 28 0 3898528 14201171968 109748 33554432000 4194304 4196468 140725761536560 139736827020848 139737051840745 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 24604672 140725761545404 140725761545580 140725761545580 140725761548239 0
[pid=32750/tid=755] ppid=32749 vsize=13868332 CPUtime=203.91 cores=4-7,12-15
/proc/32750/task/755/stat : 755 (java) R 32749 32749 18810 0 -1 4202560 1219 0 0 0 20390 1 0 0 20 0 28 0 3898528 14201171968 109748 33554432000 4194304 4196468 140725761536560 139736897741448 139737051840473 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 24604672 140725761545404 140725761545580 140725761545580 140725761548239 0
[pid=32750/tid=756] ppid=32749 vsize=13868332 CPUtime=203.36 cores=4-7,12-15
/proc/32750/task/756/stat : 756 (java) R 32749 32749 18810 0 -1 4202560 1114 0 0 0 20335 1 0 0 20 0 28 0 3898528 14201171968 109748 33554432000 4194304 4196468 140725761536560 139736898793848 139737054355365 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 24604672 140725761545404 140725761545580 140725761545580 140725761548239 0
[pid=32750/tid=757] ppid=32749 vsize=13868332 CPUtime=202.04 cores=4-7,12-15
/proc/32750/task/757/stat : 757 (java) R 32749 32749 18810 0 -1 4202560 1922 0 0 0 20203 1 0 0 20 0 28 0 3898528 14201171968 109748 33554432000 4194304 4196468 140725761536560 139736903004424 139737051841107 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24604672 140725761545404 140725761545580 140725761545580 140725761548239 0
[pid=32750/tid=758] ppid=32749 vsize=13868332 CPUtime=203.51 cores=4-7,12-15
/proc/32750/task/758/stat : 758 (java) R 32749 32749 18810 0 -1 4202560 1051 0 0 0 20350 1 0 0 20 0 28 0 3898528 14201171968 109748 33554432000 4194304 4196468 140725761536560 139736900900104 139737054461947 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24604672 140725761545404 140725761545580 140725761545580 140725761548239 0
[pid=32750/tid=759] ppid=32749 vsize=13868332 CPUtime=202.91 cores=4-7,12-15
/proc/32750/task/759/stat : 759 (java) R 32749 32749 18810 0 -1 4202560 570 0 0 0 20290 1 0 0 20 0 28 0 3898528 14201171968 109748 33554432000 4194304 4196468 140725761536560 139736896688632 139737051840307 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 24604672 140725761545404 140725761545580 140725761545580 140725761548239 0
[pid=32750/tid=760] ppid=32749 vsize=13868332 CPUtime=203.07 cores=4-7,12-15
/proc/32750/task/760/stat : 760 (java) R 32749 32749 18810 0 -1 4202560 954 0 0 0 20306 1 0 0 20 0 28 0 3898528 14201171968 109748 33554432000 4194304 4196468 140725761536560 139736828071552 139737051850290 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 24604672 140725761545404 140725761545580 140725761545580 140725761548239 0
[pid=32750/tid=761] ppid=32749 vsize=13868332 CPUtime=203.46 cores=4-7,12-15
/proc/32750/task/761/stat : 761 (java) R 32749 32749 18810 0 -1 4202560 888 0 0 0 20345 1 0 0 20 0 28 0 3898529 14201171968 109748 33554432000 4194304 4196468 140725761536560 139736901951048 139737051840497 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 24604672 140725761545404 140725761545580 140725761545580 140725761548239 0
Current children cumulated CPU time (s) 2400.2
Current children cumulated vsize (KiB) 13877844
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 32749 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=933
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=1866
# CPU time returned by wait4() is 0.002799
# while last known CPU time is 2400.2
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 303.112
CPU time (s): 2400.2
CPU user time (s): 2398.77
CPU system time (s): 1.43
CPU usage (%): 791.852
Max. virtual memory (cumulated for all children) (KiB): 13877844
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.000933
system time used= 0.001866
maximum resident set size= 1388
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 518
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.08003 second user time and 4.62495 second system time
The end