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-4247474-1500689970/watcher-4247474-1500689970 -o /tmp/evaluation-result-4247474-1500689970/solver-4247474-1500689970 -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 125663957 HOME/instance-4247474-1500689970.xml
pid=9117
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: 6.05 8.11 9.43 10/275 9120
/proc/meminfo: memFree=31155476/32770624 swapFree=5944/260324
[pid=9120] ppid=9117 vsize=9512 CPUtime=0 cores=4-7,12-15
/proc/9120/stat : 9120 (xcsp3-exec) S 9117 9120 18810 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4264145 9740288 346 33554432000 4194304 5098028 140728084495808 140728084493912 140515184665212 0 65536 4100 65538 18446744071579417331 0 0 17 14 0 0 0 0 0 7196144 7232144 8814592 140728084501647 140728084501856 140728084501856 140728084504555 0
/proc/9120/statm: 2378 346 289 221 0 87 0
[startup+0.100131 s]
/proc/loadavg: 6.05 8.11 9.43 10/275 9120
/proc/meminfo: memFree=31155476/32770624 swapFree=5944/260324
[pid=9120] ppid=9117 vsize=9512 CPUtime=0 cores=4-7,12-15
/proc/9120/stat : 9120 (xcsp3-exec) S 9117 9120 18810 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4264145 9740288 346 33554432000 4194304 5098028 140728084495808 140728084493912 140515184665212 0 65536 4100 65538 18446744071579417331 0 0 17 14 0 0 0 0 0 7196144 7232144 8814592 140728084501647 140728084501856 140728084501856 140728084504555 0
/proc/9120/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200377 s]
/proc/loadavg: 6.05 8.11 9.43 10/275 9120
/proc/meminfo: memFree=31155476/32770624 swapFree=5944/260324
[pid=9120] ppid=9117 vsize=9512 CPUtime=0 cores=4-7,12-15
/proc/9120/stat : 9120 (xcsp3-exec) S 9117 9120 18810 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4264145 9740288 346 33554432000 4194304 5098028 140728084495808 140728084493912 140515184665212 0 65536 4100 65538 18446744071579417331 0 0 17 14 0 0 0 0 0 7196144 7232144 8814592 140728084501647 140728084501856 140728084501856 140728084504555 0
/proc/9120/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.3003 s]
/proc/loadavg: 6.05 8.11 9.43 10/275 9120
/proc/meminfo: memFree=31155476/32770624 swapFree=5944/260324
[pid=9120] ppid=9117 vsize=9512 CPUtime=0 cores=4-7,12-15
/proc/9120/stat : 9120 (xcsp3-exec) S 9117 9120 18810 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4264145 9740288 346 33554432000 4194304 5098028 140728084495808 140728084493912 140515184665212 0 65536 4100 65538 18446744071579417331 0 0 17 14 0 0 0 0 0 7196144 7232144 8814592 140728084501647 140728084501856 140728084501856 140728084504555 0
/proc/9120/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700158 s]
/proc/loadavg: 6.05 8.11 9.43 10/275 9120
/proc/meminfo: memFree=31155476/32770624 swapFree=5944/260324
[pid=9120] ppid=9117 vsize=9512 CPUtime=0 cores=4-7,12-15
/proc/9120/stat : 9120 (xcsp3-exec) S 9117 9120 18810 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4264145 9740288 346 33554432000 4194304 5098028 140728084495808 140728084493912 140515184665212 0 65536 4100 65538 18446744071579417331 0 0 17 14 0 0 0 0 0 7196144 7232144 8814592 140728084501647 140728084501856 140728084501856 140728084504555 0
/proc/9120/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50115 s]
/proc/loadavg: 6.05 8.11 9.43 13/296 9141
/proc/meminfo: memFree=30958712/32770624 swapFree=5944/260364
[pid=9120] ppid=9117 vsize=9512 CPUtime=0 cores=4-7,12-15
/proc/9120/stat : 9120 (xcsp3-exec) S 9117 9120 18810 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4264145 9740288 346 33554432000 4194304 5098028 140728084495808 140728084493912 140515184665212 0 65536 4100 65538 18446744071579417331 0 0 17 14 0 0 0 0 0 7196144 7232144 8814592 140728084501647 140728084501856 140728084501856 140728084504555 0
/proc/9120/statm: 2378 346 289 221 0 87 0
[pid=9121] ppid=9120 vsize=13269256 CPUtime=5.58 cores=4-7,12-15
/proc/9121/stat : 9121 (java) S 9120 9120 18810 0 -1 1077944320 26400 0 0 0 522 36 0 0 20 0 20 0 4264146 13587718144 63931 33554432000 4194304 4196468 140720448975248 140720448957792 140307404488439 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 16199680 140720448980156 140720448980332 140720448980332 140720448982991 0
/proc/9121/statm: 3317314 63931 3247 1 0 3304547 0
[pid=9121/tid=9122] ppid=9120 vsize=13269256 CPUtime=1.39 cores=4-7,12-15
/proc/9121/task/9122/stat : 9122 (java) R 9120 9120 18810 0 -1 4202560 8264 0 0 0 134 5 0 0 20 0 20 0 4264146 13587718144 63931 33554432000 4194304 4196468 140720448975248 140307408726096 140307007224192 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 16199680 140720448980156 140720448980332 140720448980332 140720448982991 0
[pid=9121/tid=9124] ppid=9120 vsize=13269256 CPUtime=0.06 cores=4-7,12-15
/proc/9121/task/9124/stat : 9124 (java) S 9120 9120 18810 0 -1 1077944384 88 0 0 0 4 2 0 0 20 0 20 0 4264147 13587718144 63931 33554432000 4194304 4196468 140720448975248 140307322969104 140307404498645 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16199680 140720448980156 140720448980332 140720448980332 140720448982991 0
[pid=9121/tid=9125] ppid=9120 vsize=13269256 CPUtime=0.05 cores=4-7,12-15
/proc/9121/task/9125/stat : 9125 (java) S 9120 9120 18810 0 -1 1077944384 29 0 0 0 2 3 0 0 20 0 20 0 4264147 13587718144 63931 33554432000 4194304 4196468 140720448975248 140307321916560 140307404498645 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 16199680 140720448980156 140720448980332 140720448980332 140720448982991 0
[pid=9121/tid=9126] ppid=9120 vsize=13269256 CPUtime=0.06 cores=4-7,12-15
/proc/9121/task/9126/stat : 9126 (java) S 9120 9120 18810 0 -1 1077944384 461 0 0 0 3 3 0 0 20 0 20 0 4264147 13587718144 63931 33554432000 4194304 4196468 140720448975248 140307001764624 140307404498645 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 16199680 140720448980156 140720448980332 140720448980332 140720448982991 0
[pid=9121/tid=9127] ppid=9120 vsize=13269256 CPUtime=0.06 cores=4-7,12-15
/proc/9121/task/9127/stat : 9127 (java) S 9120 9120 18810 0 -1 1077944384 129 0 0 0 3 3 0 0 20 0 20 0 4264147 13587718144 63931 33554432000 4194304 4196468 140720448975248 140307000712080 140307404498645 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 16199680 140720448980156 140720448980332 140720448980332 140720448982991 0
[pid=9121/tid=9128] ppid=9120 vsize=13269256 CPUtime=0.05 cores=4-7,12-15
/proc/9121/task/9128/stat : 9128 (java) S 9120 9120 18810 0 -1 1077944384 63 0 0 0 2 3 0 0 20 0 20 0 4264147 13587718144 63931 33554432000 4194304 4196468 140720448975248 140306999659024 140307404498645 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16199680 140720448980156 140720448980332 140720448980332 140720448982991 0
[pid=9121/tid=9129] ppid=9120 vsize=13269256 CPUtime=0.04 cores=4-7,12-15
/proc/9121/task/9129/stat : 9129 (java) S 9120 9120 18810 0 -1 1077944384 280 0 0 0 2 2 0 0 20 0 20 0 4264147 13587718144 63931 33554432000 4194304 4196468 140720448975248 140306998606480 140307404498645 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16199680 140720448980156 140720448980332 140720448980332 140720448982991 0
[pid=9121/tid=9130] ppid=9120 vsize=13269256 CPUtime=0.05 cores=4-7,12-15
/proc/9121/task/9130/stat : 9130 (java) S 9120 9120 18810 0 -1 1077944384 47 0 0 0 2 3 0 0 20 0 20 0 4264147 13587718144 63931 33554432000 4194304 4196468 140720448975248 140306997553424 140307404498645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16199680 140720448980156 140720448980332 140720448980332 140720448982991 0
[pid=9121/tid=9131] ppid=9120 vsize=13269256 CPUtime=0.06 cores=4-7,12-15
/proc/9121/task/9131/stat : 9131 (java) S 9120 9120 18810 0 -1 1077944384 98 0 0 0 3 3 0 0 20 0 20 0 4264147 13587718144 63931 33554432000 4194304 4196468 140720448975248 140306996500880 140307404498645 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16199680 140720448980156 140720448980332 140720448980332 140720448982991 0
[pid=9121/tid=9132] ppid=9120 vsize=13269256 CPUtime=0 cores=4-7,12-15
/proc/9121/task/9132/stat : 9132 (java) S 9120 9120 18810 0 -1 1077944384 290 0 0 0 0 0 0 0 20 0 20 0 4264149 13587718144 63931 33554432000 4194304 4196468 140720448975248 140306464115440 140307404499586 0 0 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 16199680 140720448980156 140720448980332 140720448980332 140720448982991 0
[pid=9121/tid=9133] ppid=9120 vsize=13269256 CPUtime=0 cores=4-7,12-15
/proc/9121/task/9133/stat : 9133 (java) S 9120 9120 18810 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 20 0 4264150 13587718144 63931 33554432000 4194304 4196468 140720448975248 140306463061728 140307404498645 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 16199680 140720448980156 140720448980332 140720448980332 140720448982991 0
[pid=9121/tid=9134] ppid=9120 vsize=13269256 CPUtime=0 cores=4-7,12-15
/proc/9121/task/9134/stat : 9134 (java) S 9120 9120 18810 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 20 0 4264151 13587718144 63931 33554432000 4194304 4196468 140720448975248 140306462008576 140307404498645 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 16199680 140720448980156 140720448980332 140720448980332 140720448982991 0
[pid=9121/tid=9135] ppid=9120 vsize=13269256 CPUtime=0 cores=4-7,12-15
/proc/9121/task/9135/stat : 9135 (java) S 9120 9120 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4264154 13587718144 63931 33554432000 4194304 4196468 140720448975248 140306460957136 140307404507035 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 16199680 140720448980156 140720448980332 140720448980332 140720448982991 0
[pid=9121/tid=9136] ppid=9120 vsize=13269256 CPUtime=1.03 cores=4-7,12-15
/proc/9121/task/9136/stat : 9136 (java) R 9120 9120 18810 0 -1 4202560 4280 0 0 0 103 0 0 0 20 0 20 0 4264155 13587718144 63931 33554432000 4194304 4196468 140720448975248 140306459891024 140307390169137 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 16199680 140720448980156 140720448980332 140720448980332 140720448982991 0
[pid=9121/tid=9137] ppid=9120 vsize=13269256 CPUtime=0.98 cores=4-7,12-15
/proc/9121/task/9137/stat : 9137 (java) R 9120 9120 18810 0 -1 4202560 3253 0 0 0 98 0 0 0 20 0 20 0 4264155 13587718144 63931 33554432000 4194304 4196468 140720448975248 140306458850096 140307404509786 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 16199680 140720448980156 140720448980332 140720448980332 140720448982991 0
[pid=9121/tid=9138] ppid=9120 vsize=13269256 CPUtime=0.99 cores=4-7,12-15
/proc/9121/task/9138/stat : 9138 (java) R 9120 9120 18810 0 -1 4202560 3953 0 0 0 98 1 0 0 20 0 20 0 4264155 13587718144 63931 33554432000 4194304 4196468 140720448975248 140306457777648 140307404509786 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 16199680 140720448980156 140720448980332 140720448980332 140720448982991 0
[pid=9121/tid=9139] ppid=9120 vsize=13269256 CPUtime=0.63 cores=4-7,12-15
/proc/9121/task/9139/stat : 9139 (java) S 9120 9120 18810 0 -1 1077944384 3806 0 0 0 63 0 0 0 20 0 20 0 4264155 13587718144 63931 33554432000 4194304 4196468 140720448975248 140306456746096 140307404499586 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 16199680 140720448980156 140720448980332 140720448980332 140720448982991 0
[pid=9121/tid=9140] ppid=9120 vsize=13269256 CPUtime=0 cores=4-7,12-15
/proc/9121/task/9140/stat : 9140 (java) S 9120 9120 18810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4264155 13587718144 63931 33554432000 4194304 4196468 140720448975248 140306455694304 140307404498645 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 16199680 140720448980156 140720448980332 140720448980332 140720448982991 0
[pid=9121/tid=9141] ppid=9120 vsize=13269256 CPUtime=0 cores=4-7,12-15
/proc/9121/task/9141/stat : 9141 (java) S 9120 9120 18810 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 20 0 4264155 13587718144 63931 33554432000 4194304 4196468 140720448975248 140306454641840 140307404499586 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 16199680 140720448980156 140720448980332 140720448980332 140720448982991 0
Current children cumulated CPU time (s) 5.58
Current children cumulated vsize (KiB) 13278768
[startup+3.10088 s]
/proc/loadavg: 6.29 8.13 9.43 19/304 9149
/proc/meminfo: memFree=30691308/32770624 swapFree=5944/260360
[pid=9120] ppid=9117 vsize=9512 CPUtime=0 cores=4-7,12-15
/proc/9120/stat : 9120 (xcsp3-exec) S 9117 9120 18810 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4264145 9740288 346 33554432000 4194304 5098028 140728084495808 140728084493912 140515184665212 0 65536 4100 65538 18446744071579417331 0 0 17 14 0 0 0 0 0 7196144 7232144 8814592 140728084501647 140728084501856 140728084501856 140728084504555 0
/proc/9120/statm: 2378 346 289 221 0 87 0
[pid=9121] ppid=9120 vsize=13803816 CPUtime=15.12 cores=4-7,12-15
/proc/9121/stat : 9121 (java) S 9120 9120 18810 0 -1 1077944320 31646 0 0 0 1445 67 0 0 20 0 28 0 4264146 14135107584 106962 33554432000 4194304 4196468 140720448975248 140720448957792 140307404488439 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 16199680 140720448980156 140720448980332 140720448980332 140720448982991 0
/proc/9121/statm: 3450954 106962 3274 1 0 3438187 0
[pid=9121/tid=9122] ppid=9120 vsize=13803816 CPUtime=1.91 cores=4-7,12-15
/proc/9121/task/9122/stat : 9122 (java) S 9120 9120 18810 0 -1 1077944384 8610 0 0 0 185 6 0 0 20 0 28 0 4264146 14135107584 106962 33554432000 4194304 4196468 140720448975248 140307408729216 140307404498645 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 16199680 140720448980156 140720448980332 140720448980332 140720448982991 0
[pid=9121/tid=9124] ppid=9120 vsize=13803816 CPUtime=0.14 cores=4-7,12-15
/proc/9121/task/9124/stat : 9124 (java) S 9120 9120 18810 0 -1 1077944384 115 0 0 0 8 6 0 0 20 0 28 0 4264147 14135107584 106962 33554432000 4194304 4196468 140720448975248 140307322969104 140307404498645 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 16199680 140720448980156 140720448980332 140720448980332 140720448982991 0
[pid=9121/tid=9125] ppid=9120 vsize=13803816 CPUtime=0.12 cores=4-7,12-15
/proc/9121/task/9125/stat : 9125 (java) S 9120 9120 18810 0 -1 1077944384 65 0 0 0 6 6 0 0 20 0 28 0 4264147 14135107584 106962 33554432000 4194304 4196468 140720448975248 140307321916560 140307404498645 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 16199680 140720448980156 140720448980332 140720448980332 140720448982991 0
[pid=9121/tid=9126] ppid=9120 vsize=13803816 CPUtime=0.14 cores=4-7,12-15
/proc/9121/task/9126/stat : 9126 (java) S 9120 9120 18810 0 -1 1077944384 490 0 0 0 7 7 0 0 20 0 28 0 4264147 14135107584 106962 33554432000 4194304 4196468 140720448975248 140307001764624 140307404498645 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 16199680 140720448980156 140720448980332 140720448980332 140720448982991 0
[pid=9121/tid=9127] ppid=9120 vsize=13803816 CPUtime=0.1 cores=4-7,12-15
/proc/9121/task/9127/stat : 9127 (java) S 9120 9120 18810 0 -1 1077944384 148 0 0 0 5 5 0 0 20 0 28 0 4264147 14135107584 106962 33554432000 4194304 4196468 140720448975248 140307000712080 140307404498645 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16199680 140720448980156 140720448980332 140720448980332 140720448982991 0
[pid=9121/tid=9128] ppid=9120 vsize=13803816 CPUtime=0.12 cores=4-7,12-15
/proc/9121/task/9128/stat : 9128 (java) S 9120 9120 18810 0 -1 1077944384 92 0 0 0 6 6 0 0 20 0 28 0 4264147 14135107584 106962 33554432000 4194304 4196468 140720448975248 140306999659024 140307404498645 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 16199680 140720448980156 140720448980332 140720448980332 140720448982991 0
[pid=9121/tid=9129] ppid=9120 vsize=13803816 CPUtime=0.12 cores=4-7,12-15
/proc/9121/task/9129/stat : 9129 (java) S 9120 9120 18810 0 -1 1077944384 304 0 0 0 6 6 0 0 20 0 28 0 4264147 14135107584 106962 33554432000 4194304 4196468 140720448975248 140306998606480 140307404498645 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16199680 140720448980156 140720448980332 140720448980332 140720448982991 0
[pid=9121/tid=9130] ppid=9120 vsize=13803816 CPUtime=0.13 cores=4-7,12-15
/proc/9121/task/9130/stat : 9130 (java) S 9120 9120 18810 0 -1 1077944384 75 0 0 0 7 6 0 0 20 0 28 0 4264147 14135107584 106962 33554432000 4194304 4196468 140720448975248 140306997553424 140307404498645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16199680 140720448980156 140720448980332 140720448980332 140720448982991 0
[pid=9121/tid=9131] ppid=9120 vsize=13803816 CPUtime=0.14 cores=4-7,12-15
/proc/9121/task/9131/stat : 9131 (java) S 9120 9120 18810 0 -1 1077944384 125 0 0 0 7 7 0 0 20 0 28 0 4264147 14135107584 106962 33554432000 4194304 4196468 140720448975248 140306996500880 140307404498645 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 16199680 140720448980156 140720448980332 140720448980332 140720448982991 0
[pid=9121/tid=9132] ppid=9120 vsize=13803816 CPUtime=0.01 cores=4-7,12-15
/proc/9121/task/9132/stat : 9132 (java) S 9120 9120 18810 0 -1 1077944384 448 0 0 0 1 0 0 0 20 0 28 0 4264149 14135107584 106962 33554432000 4194304 4196468 140720448975248 140306464115440 140307404499586 0 0 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 16199680 140720448980156 140720448980332 140720448980332 140720448982991 0
[pid=9121/tid=9133] ppid=9120 vsize=13803816 CPUtime=0 cores=4-7,12-15
/proc/9121/task/9133/stat : 9133 (java) S 9120 9120 18810 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 28 0 4264150 14135107584 106962 33554432000 4194304 4196468 140720448975248 140306463061728 140307404498645 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 16199680 140720448980156 140720448980332 140720448980332 140720448982991 0
[pid=9121/tid=9134] ppid=9120 vsize=13803816 CPUtime=0 cores=4-7,12-15
/proc/9121/task/9134/stat : 9134 (java) S 9120 9120 18810 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 28 0 4264151 14135107584 106962 33554432000 4194304 4196468 140720448975248 140306462008576 140307404498645 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 16199680 140720448980156 140720448980332 140720448980332 140720448982991 0
[pid=9121/tid=9135] ppid=9120 vsize=13803816 CPUtime=0 cores=4-7,12-15
/proc/9121/task/9135/stat : 9135 (java) S 9120 9120 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4264154 14135107584 106962 33554432000 4194304 4196468 140720448975248 140306460957136 140307404507035 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 16199680 140720448980156 140720448980332 140720448980332 140720448982991 0
[pid=9121/tid=9136] ppid=9120 vsize=13803816 CPUtime=2.46 cores=4-7,12-15
/proc/9121/task/9136/stat : 9136 (java) S 9120 9120 18810 0 -1 1077944384 4867 0 0 0 245 1 0 0 20 0 28 0 4264155 14135107584 106962 33554432000 4194304 4196468 140720448975248 140306459904240 140307404499586 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16199680 140720448980156 140720448980332 140720448980332 140720448982991 0
[pid=9121/tid=9137] ppid=9120 vsize=13803816 CPUtime=2.37 cores=4-7,12-15
/proc/9121/task/9137/stat : 9137 (java) R 9120 9120 18810 0 -1 4202560 3783 0 0 0 237 0 0 0 20 0 28 0 4264155 14135107584 106962 33554432000 4194304 4196468 140720448975248 140306458851616 140307386033722 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 16199680 140720448980156 140720448980332 140720448980332 140720448982991 0
[pid=9121/tid=9138] ppid=9120 vsize=13803816 CPUtime=2.29 cores=4-7,12-15
/proc/9121/task/9138/stat : 9138 (java) S 9120 9120 18810 0 -1 1077944384 4757 0 0 0 228 1 0 0 20 0 28 0 4264155 14135107584 106962 33554432000 4194304 4196468 140720448975248 140306457798640 140307404499586 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 16199680 140720448980156 140720448980332 140720448980332 140720448982991 0
[pid=9121/tid=9139] ppid=9120 vsize=13803816 CPUtime=1.07 cores=4-7,12-15
/proc/9121/task/9139/stat : 9139 (java) S 9120 9120 18810 0 -1 1077944384 4578 0 0 0 106 1 0 0 20 0 28 0 4264155 14135107584 106962 33554432000 4194304 4196468 140720448975248 140306456746096 140307404499586 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 16199680 140720448980156 140720448980332 140720448980332 140720448982991 0
[pid=9121/tid=9140] ppid=9120 vsize=13803816 CPUtime=0 cores=4-7,12-15
/proc/9121/task/9140/stat : 9140 (java) S 9120 9120 18810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4264155 14135107584 106962 33554432000 4194304 4196468 140720448975248 140306455694304 140307404498645 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 16199680 140720448980156 140720448980332 140720448980332 140720448982991 0
[pid=9121/tid=9141] ppid=9120 vsize=13803816 CPUtime=0 cores=4-7,12-15
/proc/9121/task/9141/stat : 9141 (java) S 9120 9120 18810 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 28 0 4264155 14135107584 106962 33554432000 4194304 4196468 140720448975248 140306454641840 140307404499586 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 16199680 140720448980156 140720448980332 140720448980332 140720448982991 0
Current children cumulated CPU time (s) 15.12
Current children cumulated vsize (KiB) 13813328
[startup+6.30126 s]
/proc/loadavg: 6.29 8.13 9.43 20/304 9277
/proc/meminfo: memFree=30488976/32770624 swapFree=5944/260376
[pid=9120] ppid=9117 vsize=9512 CPUtime=0 cores=4-7,12-15
/proc/9120/stat : 9120 (xcsp3-exec) S 9117 9120 18810 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4264145 9740288 346 33554432000 4194304 5098028 140728084495808 140728084493912 140515184665212 0 65536 4100 65538 18446744071579417331 0 0 17 14 0 0 0 0 0 7196144 7232144 8814592 140728084501647 140728084501856 140728084501856 140728084504555 0
/proc/9120/statm: 2378 346 289 221 0 87 0
[pid=9121] ppid=9120 vsize=13870380 CPUtime=37.16 cores=4-7,12-15
/proc/9121/stat : 9121 (java) S 9120 9120 18810 0 -1 1077944320 43541 0 0 0 3630 86 0 0 20 0 28 0 4264146 14203269120 163966 33554432000 4194304 4196468 140720448975248 140720448957792 140307404488439 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 16199680 140720448980156 140720448980332 140720448980332 140720448982991 0
/proc/9121/statm: 3467595 163966 3289 1 0 3454828 0
[pid=9121/tid=9122] ppid=9120 vsize=13870380 CPUtime=1.93 cores=4-7,12-15
/proc/9121/task/9122/stat : 9122 (java) S 9120 9120 18810 0 -1 1077944384 8642 0 0 0 187 6 0 0 20 0 28 0 4264146 14203269120 163966 33554432000 4194304 4196468 140720448975248 140307408729216 140307404498645 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 16199680 140720448980156 140720448980332 140720448980332 140720448982991 0
[pid=9121/tid=9124] ppid=9120 vsize=13870380 CPUtime=0.17 cores=4-7,12-15
/proc/9121/task/9124/stat : 9124 (java) S 9120 9120 18810 0 -1 1077944384 134 0 0 0 10 7 0 0 20 0 28 0 4264147 14203269120 163966 33554432000 4194304 4196468 140720448975248 140307322969104 140307404498645 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 16199680 140720448980156 140720448980332 140720448980332 140720448982991 0
[pid=9121/tid=9125] ppid=9120 vsize=13870380 CPUtime=0.15 cores=4-7,12-15
/proc/9121/task/9125/stat : 9125 (java) S 9120 9120 18810 0 -1 1077944384 93 0 0 0 7 8 0 0 20 0 28 0 4264147 14203269120 163966 33554432000 4194304 4196468 140720448975248 140307321916560 140307404498645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16199680 140720448980156 140720448980332 140720448980332 140720448982991 0
[pid=9121/tid=9126] ppid=9120 vsize=13870380 CPUtime=0.17 cores=4-7,12-15
/proc/9121/task/9126/stat : 9126 (java) S 9120 9120 18810 0 -1 1077944384 502 0 0 0 9 8 0 0 20 0 28 0 4264147 14203269120 163966 33554432000 4194304 4196468 140720448975248 140307001764624 140307404498645 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 16199680 140720448980156 140720448980332 140720448980332 140720448982991 0
[pid=9121/tid=9127] ppid=9120 vsize=13870380 CPUtime=0.14 cores=4-7,12-15
/proc/9121/task/9127/stat : 9127 (java) S 9120 9120 18810 0 -1 1077944384 192 0 0 0 7 7 0 0 20 0 28 0 4264147 14203269120 163966 33554432000 4194304 4196468 140720448975248 140307000712080 140307404498645 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16199680 140720448980156 140720448980332 140720448980332 140720448982991 0
[pid=9121/tid=9128] ppid=9120 vsize=13870380 CPUtime=0.15 cores=4-7,12-15
/proc/9121/task/9128/stat : 9128 (java) S 9120 9120 18810 0 -1 1077944384 97 0 0 0 8 7 0 0 20 0 28 0 4264147 14203269120 163966 33554432000 4194304 4196468 140720448975248 140306999659024 140307404498645 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 16199680 140720448980156 140720448980332 140720448980332 140720448982991 0
[pid=9121/tid=9129] ppid=9120 vsize=13870380 CPUtime=0.15 cores=4-7,12-15
/proc/9121/task/9129/stat : 9129 (java) S 9120 9120 18810 0 -1 1077944384 331 0 0 0 8 7 0 0 20 0 28 0 4264147 14203269120 163966 33554432000 4194304 4196468 140720448975248 140306998606480 140307404498645 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 16199680 140720448980156 140720448980332 140720448980332 140720448982991 0
[pid=9121/tid=9130] ppid=9120 vsize=13870380 CPUtime=0.18 cores=4-7,12-15
/proc/9121/task/9130/stat : 9130 (java) S 9120 9120 18810 0 -1 1077944384 93 0 0 0 10 8 0 0 20 0 28 0 4264147 14203269120 163966 33554432000 4194304 4196468 140720448975248 140306997553424 140307404498645 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16199680 140720448980156 140720448980332 140720448980332 140720448982991 0
[pid=9121/tid=9131] ppid=9120 vsize=13870380 CPUtime=0.18 cores=4-7,12-15
/proc/9121/task/9131/stat : 9131 (java) S 9120 9120 18810 0 -1 1077944384 142 0 0 0 9 9 0 0 20 0 28 0 4264147 14203269120 163966 33554432000 4194304 4196468 140720448975248 140306996500880 140307404498645 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16199680 140720448980156 140720448980332 140720448980332 140720448982991 0
[pid=9121/tid=9132] ppid=9120 vsize=13870380 CPUtime=0.01 cores=4-7,12-15
/proc/9121/task/9132/stat : 9132 (java) S 9120 9120 18810 0 -1 1077944384 451 0 0 0 1 0 0 0 20 0 28 0 4264149 14203269120 163966 33554432000 4194304 4196468 140720448975248 140306464115440 140307404499586 0 0 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 16199680 140720448980156 140720448980332 140720448980332 140720448982991 0
[pid=9121/tid=9133] ppid=9120 vsize=13870380 CPUtime=0 cores=4-7,12-15
/proc/9121/task/9133/stat : 9133 (java) S 9120 9120 18810 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 28 0 4264150 14203269120 163966 33554432000 4194304 4196468 140720448975248 140306463061728 140307404498645 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 16199680 140720448980156 140720448980332 140720448980332 140720448982991 0
[pid=9121/tid=9134] ppid=9120 vsize=13870380 CPUtime=0 cores=4-7,12-15
/proc/9121/task/9134/stat : 9134 (java) S 9120 9120 18810 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 28 0 4264151 14203269120 163966 33554432000 4194304 4196468 140720448975248 140306462008576 140307404498645 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 16199680 140720448980156 140720448980332 140720448980332 140720448982991 0
[pid=9121/tid=9135] ppid=9120 vsize=13870380 CPUtime=0 cores=4-7,12-15
/proc/9121/task/9135/stat : 9135 (java) S 9120 9120 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4264154 14203269120 163966 33554432000 4194304 4196468 140720448975248 140306460957136 140307404507035 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 16199680 140720448980156 140720448980332 140720448980332 140720448982991 0
################
# More data... #
################
[pid=9121/tid=9308] ppid=9120 vsize=13870380 CPUtime=274.7 cores=4-7,12-15
/proc/9121/task/9308/stat : 9308 (java) R 9120 9120 18810 0 -1 4202560 1371 0 0 0 27469 1 0 0 20 0 28 0 4264795 14203269120 568261 33554432000 4194304 4196468 140720448975248 140305171988872 140307011275192 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16199680 140720448980156 140720448980332 140720448980332 140720448982991 0
[pid=9121/tid=9309] ppid=9120 vsize=13870380 CPUtime=274.47 cores=4-7,12-15
/proc/9121/task/9309/stat : 9309 (java) R 9120 9120 18810 0 -1 4202560 1707 0 0 0 27446 1 0 0 20 0 28 0 4264795 14203269120 568261 33554432000 4194304 4196468 140720448975248 140306050171224 140307010711234 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 16199680 140720448980156 140720448980332 140720448980332 140720448982991 0
Current children cumulated CPU time (s) 2233.38
Current children cumulated vsize (KiB) 13879892
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+303.302 s]
/proc/loadavg: 16.35 13.24 11.28 17/303 9456
/proc/meminfo: memFree=29308412/32770624 swapFree=5944/260748
[pid=9120] ppid=9117 vsize=9512 CPUtime=0 cores=4-7,12-15
/proc/9120/stat : 9120 (xcsp3-exec) S 9117 9120 18810 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4264145 9740288 346 33554432000 4194304 5098028 140728084495808 140728084493912 140515184665212 0 65536 4100 65538 18446744071579417331 0 0 17 14 0 0 0 0 0 7196144 7232144 8814592 140728084501647 140728084501856 140728084501856 140728084504555 0
/proc/9120/statm: 2378 346 289 221 0 87 0
[pid=9121] ppid=9120 vsize=13870380 CPUtime=2400.63 cores=4-7,12-15
/proc/9121/stat : 9121 (java) S 9120 9120 18810 0 -1 1077944320 95732 0 0 0 239882 181 0 0 20 0 28 0 4264146 14203269120 568261 33554432000 4194304 4196468 140720448975248 140720448957792 140307404488439 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 16199680 140720448980156 140720448980332 140720448980332 140720448982991 0
/proc/9121/statm: 3467595 568261 3290 1 0 3454828 0
[pid=9121/tid=9122] ppid=9120 vsize=13870380 CPUtime=1.93 cores=4-7,12-15
/proc/9121/task/9122/stat : 9122 (java) S 9120 9120 18810 0 -1 1077944384 8645 0 0 0 187 6 0 0 20 0 28 0 4264146 14203269120 568261 33554432000 4194304 4196468 140720448975248 140307408729216 140307404498645 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16199680 140720448980156 140720448980332 140720448980332 140720448982991 0
[pid=9121/tid=9124] ppid=9120 vsize=13870380 CPUtime=0.29 cores=4-7,12-15
/proc/9121/task/9124/stat : 9124 (java) S 9120 9120 18810 0 -1 1077944384 455 0 0 0 17 12 0 0 20 0 28 0 4264147 14203269120 568261 33554432000 4194304 4196468 140720448975248 140307322969104 140307404498645 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16199680 140720448980156 140720448980332 140720448980332 140720448982991 0
[pid=9121/tid=9125] ppid=9120 vsize=13870380 CPUtime=0.25 cores=4-7,12-15
/proc/9121/task/9125/stat : 9125 (java) S 9120 9120 18810 0 -1 1077944384 544 0 0 0 14 11 0 0 20 0 28 0 4264147 14203269120 568261 33554432000 4194304 4196468 140720448975248 140307321916560 140307404498645 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 16199680 140720448980156 140720448980332 140720448980332 140720448982991 0
[pid=9121/tid=9126] ppid=9120 vsize=13870380 CPUtime=0.27 cores=4-7,12-15
/proc/9121/task/9126/stat : 9126 (java) S 9120 9120 18810 0 -1 1077944384 1115 0 0 0 15 12 0 0 20 0 28 0 4264147 14203269120 568261 33554432000 4194304 4196468 140720448975248 140307001764624 140307404498645 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 16199680 140720448980156 140720448980332 140720448980332 140720448982991 0
[pid=9121/tid=9127] ppid=9120 vsize=13870380 CPUtime=0.26 cores=4-7,12-15
/proc/9121/task/9127/stat : 9127 (java) S 9120 9120 18810 0 -1 1077944384 456 0 0 0 15 11 0 0 20 0 28 0 4264147 14203269120 568261 33554432000 4194304 4196468 140720448975248 140307000712080 140307404498645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16199680 140720448980156 140720448980332 140720448980332 140720448982991 0
[pid=9121/tid=9128] ppid=9120 vsize=13870380 CPUtime=0.25 cores=4-7,12-15
/proc/9121/task/9128/stat : 9128 (java) S 9120 9120 18810 0 -1 1077944384 278 0 0 0 14 11 0 0 20 0 28 0 4264147 14203269120 568261 33554432000 4194304 4196468 140720448975248 140306999659024 140307404498645 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16199680 140720448980156 140720448980332 140720448980332 140720448982991 0
[pid=9121/tid=9129] ppid=9120 vsize=13870380 CPUtime=0.26 cores=4-7,12-15
/proc/9121/task/9129/stat : 9129 (java) S 9120 9120 18810 0 -1 1077944384 1837 0 0 0 15 11 0 0 20 0 28 0 4264147 14203269120 568261 33554432000 4194304 4196468 140720448975248 140306998606480 140307404498645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16199680 140720448980156 140720448980332 140720448980332 140720448982991 0
[pid=9121/tid=9130] ppid=9120 vsize=13870380 CPUtime=0.28 cores=4-7,12-15
/proc/9121/task/9130/stat : 9130 (java) S 9120 9120 18810 0 -1 1077944384 338 0 0 0 16 12 0 0 20 0 28 0 4264147 14203269120 568261 33554432000 4194304 4196468 140720448975248 140306997553424 140307404498645 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 16199680 140720448980156 140720448980332 140720448980332 140720448982991 0
[pid=9121/tid=9131] ppid=9120 vsize=13870380 CPUtime=0.29 cores=4-7,12-15
/proc/9121/task/9131/stat : 9131 (java) S 9120 9120 18810 0 -1 1077944384 348 0 0 0 16 13 0 0 20 0 28 0 4264147 14203269120 568261 33554432000 4194304 4196468 140720448975248 140306996500880 140307404498645 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 16199680 140720448980156 140720448980332 140720448980332 140720448982991 0
[pid=9121/tid=9132] ppid=9120 vsize=13870380 CPUtime=0.11 cores=4-7,12-15
/proc/9121/task/9132/stat : 9132 (java) S 9120 9120 18810 0 -1 1077944384 3378 0 0 0 5 6 0 0 20 0 28 0 4264149 14203269120 568261 33554432000 4194304 4196468 140720448975248 140306464115440 140307404499586 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16199680 140720448980156 140720448980332 140720448980332 140720448982991 0
[pid=9121/tid=9133] ppid=9120 vsize=13870380 CPUtime=0 cores=4-7,12-15
/proc/9121/task/9133/stat : 9133 (java) S 9120 9120 18810 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 28 0 4264150 14203269120 568261 33554432000 4194304 4196468 140720448975248 140306463061728 140307404498645 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 16199680 140720448980156 140720448980332 140720448980332 140720448982991 0
[pid=9121/tid=9134] ppid=9120 vsize=13870380 CPUtime=0 cores=4-7,12-15
/proc/9121/task/9134/stat : 9134 (java) S 9120 9120 18810 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 28 0 4264151 14203269120 568261 33554432000 4194304 4196468 140720448975248 140306462008576 140307404498645 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16199680 140720448980156 140720448980332 140720448980332 140720448982991 0
[pid=9121/tid=9135] ppid=9120 vsize=13870380 CPUtime=0 cores=4-7,12-15
/proc/9121/task/9135/stat : 9135 (java) S 9120 9120 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4264154 14203269120 568261 33554432000 4194304 4196468 140720448975248 140306460957136 140307404507035 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 16199680 140720448980156 140720448980332 140720448980332 140720448982991 0
[pid=9121/tid=9136] ppid=9120 vsize=13870380 CPUtime=5.68 cores=4-7,12-15
/proc/9121/task/9136/stat : 9136 (java) S 9120 9120 18810 0 -1 1077944384 17981 0 0 0 565 3 0 0 20 0 28 0 4264155 14203269120 568261 33554432000 4194304 4196468 140720448975248 140306459904240 140307404499586 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16199680 140720448980156 140720448980332 140720448980332 140720448982991 0
[pid=9121/tid=9137] ppid=9120 vsize=13870380 CPUtime=5.28 cores=4-7,12-15
/proc/9121/task/9137/stat : 9137 (java) S 9120 9120 18810 0 -1 1077944384 13769 0 0 0 526 2 0 0 20 0 28 0 4264155 14203269120 568261 33554432000 4194304 4196468 140720448975248 140306458851696 140307404499586 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16199680 140720448980156 140720448980332 140720448980332 140720448982991 0
[pid=9121/tid=9138] ppid=9120 vsize=13870380 CPUtime=4.95 cores=4-7,12-15
/proc/9121/task/9138/stat : 9138 (java) S 9120 9120 18810 0 -1 1077944384 12479 0 0 0 493 2 0 0 20 0 28 0 4264155 14203269120 568261 33554432000 4194304 4196468 140720448975248 140306457798640 140307404499586 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16199680 140720448980156 140720448980332 140720448980332 140720448982991 0
[pid=9121/tid=9139] ppid=9120 vsize=13870380 CPUtime=1.44 cores=4-7,12-15
/proc/9121/task/9139/stat : 9139 (java) S 9120 9120 18810 0 -1 1077944384 10203 0 0 0 142 2 0 0 20 0 28 0 4264155 14203269120 568261 33554432000 4194304 4196468 140720448975248 140306456746096 140307404499586 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 16199680 140720448980156 140720448980332 140720448980332 140720448982991 0
[pid=9121/tid=9140] ppid=9120 vsize=13870380 CPUtime=0 cores=4-7,12-15
/proc/9121/task/9140/stat : 9140 (java) S 9120 9120 18810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4264155 14203269120 568261 33554432000 4194304 4196468 140720448975248 140306455694304 140307404498645 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 16199680 140720448980156 140720448980332 140720448980332 140720448982991 0
[pid=9121/tid=9141] ppid=9120 vsize=13870380 CPUtime=0.17 cores=4-7,12-15
/proc/9121/task/9141/stat : 9141 (java) S 9120 9120 18810 0 -1 1077944384 1663 0 0 0 8 9 0 0 20 0 28 0 4264155 14203269120 568261 33554432000 4194304 4196468 140720448975248 140306454641840 140307404499586 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 6 0 0 6293624 6294260 16199680 140720448980156 140720448980332 140720448980332 140720448982991 0
[pid=9121/tid=9302] ppid=9120 vsize=13870380 CPUtime=295.67 cores=4-7,12-15
/proc/9121/task/9302/stat : 9302 (java) R 9120 9120 18810 0 -1 4202560 967 0 0 0 29565 2 0 0 20 0 28 0 4264795 14203269120 568261 33554432000 4194304 4196468 140720448975248 140305170934872 140307006634370 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16199680 140720448980156 140720448980332 140720448980332 140720448982991 0
[pid=9121/tid=9303] ppid=9120 vsize=13870380 CPUtime=294.61 cores=4-7,12-15
/proc/9121/task/9303/stat : 9303 (java) R 9120 9120 18810 0 -1 4202560 911 0 0 0 29460 1 0 0 20 0 28 0 4264795 14203269120 568261 33554432000 4194304 4196468 140720448975248 140306051223896 140307009490308 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 16199680 140720448980156 140720448980332 140720448980332 140720448982991 0
[pid=9121/tid=9304] ppid=9120 vsize=13870380 CPUtime=295.28 cores=4-7,12-15
/proc/9121/task/9304/stat : 9304 (java) R 9120 9120 18810 0 -1 4202560 3471 0 0 0 29526 2 0 0 20 0 28 0 4264795 14203269120 568261 33554432000 4194304 4196468 140720448975248 140306047012744 140307006042136 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 16199680 140720448980156 140720448980332 140720448980332 140720448982991 0
[pid=9121/tid=9305] ppid=9120 vsize=13870380 CPUtime=292.97 cores=4-7,12-15
/proc/9121/task/9305/stat : 9305 (java) R 9120 9120 18810 0 -1 4202560 7408 0 0 0 29266 31 0 0 20 0 28 0 4264795 14203269120 568261 33554432000 4194304 4196468 140720448975248 140305173041184 140307012077491 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 16199680 140720448980156 140720448980332 140720448980332 140720448982991 0
[pid=9121/tid=9306] ppid=9120 vsize=13870380 CPUtime=295.94 cores=4-7,12-15
/proc/9121/task/9306/stat : 9306 (java) R 9120 9120 18810 0 -1 4202560 839 0 0 0 29594 0 0 0 20 0 28 0 4264795 14203269120 568261 33554432000 4194304 4196468 140720448975248 140305167785560 140307007224234 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 16199680 140720448980156 140720448980332 140720448980332 140720448982991 0
[pid=9121/tid=9307] ppid=9120 vsize=13870380 CPUtime=293.03 cores=4-7,12-15
/proc/9121/task/9307/stat : 9307 (java) R 9120 9120 18810 0 -1 4202560 608 0 0 0 29303 0 0 0 20 0 28 0 4264795 14203269120 568261 33554432000 4194304 4196468 140720448975248 140306048065288 140307004733870 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16199680 140720448980156 140720448980332 140720448980332 140720448982991 0
[pid=9121/tid=9308] ppid=9120 vsize=13870380 CPUtime=295.64 cores=4-7,12-15
/proc/9121/task/9308/stat : 9308 (java) R 9120 9120 18810 0 -1 4202560 1447 0 0 0 29563 1 0 0 20 0 28 0 4264795 14203269120 568261 33554432000 4194304 4196468 140720448975248 140305171988872 140307006392233 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 16199680 140720448980156 140720448980332 140720448980332 140720448982991 0
[pid=9121/tid=9309] ppid=9120 vsize=13870380 CPUtime=295.46 cores=4-7,12-15
/proc/9121/task/9309/stat : 9309 (java) R 9120 9120 18810 0 -1 4202560 1747 0 0 0 29545 1 0 0 20 0 28 0 4264795 14203269120 568261 33554432000 4194304 4196468 140720448975248 140306050171224 140307011919249 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 16199680 140720448980156 140720448980332 140720448980332 140720448982991 0
Current children cumulated CPU time (s) 2400.63
Current children cumulated vsize (KiB) 13879892
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 9121 sig 9
??? kill 9120 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+303.302 s]
/proc/loadavg: 16.35 13.24 11.28 17/303 9456
/proc/meminfo: memFree=29308412/32770624 swapFree=5944/260748
[pid=9120] ppid=9117 vsize=9512 CPUtime=0 cores=4-7,12-15
/proc/9120/stat : 9120 (xcsp3-exec) S 9117 9120 18810 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4264145 9740288 346 33554432000 4194304 5098028 140728084495808 140728084493912 140515184665212 0 65536 4100 65538 18446744071579417331 0 0 17 14 0 0 0 0 0 7196144 7232144 8814592 140728084501647 140728084501856 140728084501856 140728084504555 0
/proc/9120/statm: 2378 346 289 221 0 87 0
[pid=9121] ppid=9120 vsize=13870380 CPUtime=2400.63 cores=4-7,12-15
/proc/9121/stat : 9121 (java) S 9120 9120 18810 0 -1 1077944320 95732 0 0 0 239882 181 0 0 20 0 28 0 4264146 14203269120 568261 33554432000 4194304 4196468 140720448975248 140720448957792 140307404488439 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 16199680 140720448980156 140720448980332 140720448980332 140720448982991 0
/proc/9121/statm: 3467595 568261 3290 1 0 3454828 0
[pid=9121/tid=9122] ppid=9120 vsize=13870380 CPUtime=1.93 cores=4-7,12-15
/proc/9121/task/9122/stat : 9122 (java) S 9120 9120 18810 0 -1 1077944384 8645 0 0 0 187 6 0 0 20 0 28 0 4264146 14203269120 568261 33554432000 4194304 4196468 140720448975248 140307408729216 140307404498645 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16199680 140720448980156 140720448980332 140720448980332 140720448982991 0
[pid=9121/tid=9124] ppid=9120 vsize=13870380 CPUtime=0.29 cores=4-7,12-15
/proc/9121/task/9124/stat : 9124 (java) S 9120 9120 18810 0 -1 1077944384 455 0 0 0 17 12 0 0 20 0 28 0 4264147 14203269120 568261 33554432000 4194304 4196468 140720448975248 140307322969104 140307404498645 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16199680 140720448980156 140720448980332 140720448980332 140720448982991 0
[pid=9121/tid=9125] ppid=9120 vsize=13870380 CPUtime=0.25 cores=4-7,12-15
/proc/9121/task/9125/stat : 9125 (java) S 9120 9120 18810 0 -1 1077944384 544 0 0 0 14 11 0 0 20 0 28 0 4264147 14203269120 568261 33554432000 4194304 4196468 140720448975248 140307321916560 140307404498645 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 16199680 140720448980156 140720448980332 140720448980332 140720448982991 0
[pid=9121/tid=9126] ppid=9120 vsize=13870380 CPUtime=0.27 cores=4-7,12-15
/proc/9121/task/9126/stat : 9126 (java) S 9120 9120 18810 0 -1 1077944384 1115 0 0 0 15 12 0 0 20 0 28 0 4264147 14203269120 568261 33554432000 4194304 4196468 140720448975248 140307001764624 140307404498645 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 16199680 140720448980156 140720448980332 140720448980332 140720448982991 0
[pid=9121/tid=9127] ppid=9120 vsize=13870380 CPUtime=0.26 cores=4-7,12-15
/proc/9121/task/9127/stat : 9127 (java) S 9120 9120 18810 0 -1 1077944384 456 0 0 0 15 11 0 0 20 0 28 0 4264147 14203269120 568261 33554432000 4194304 4196468 140720448975248 140307000712080 140307404498645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16199680 140720448980156 140720448980332 140720448980332 140720448982991 0
[pid=9121/tid=9128] ppid=9120 vsize=13870380 CPUtime=0.25 cores=4-7,12-15
/proc/9121/task/9128/stat : 9128 (java) S 9120 9120 18810 0 -1 1077944384 278 0 0 0 14 11 0 0 20 0 28 0 4264147 14203269120 568261 33554432000 4194304 4196468 140720448975248 140306999659024 140307404498645 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16199680 140720448980156 140720448980332 140720448980332 140720448982991 0
[pid=9121/tid=9129] ppid=9120 vsize=13870380 CPUtime=0.26 cores=4-7,12-15
/proc/9121/task/9129/stat : 9129 (java) S 9120 9120 18810 0 -1 1077944384 1837 0 0 0 15 11 0 0 20 0 28 0 4264147 14203269120 568261 33554432000 4194304 4196468 140720448975248 140306998606480 140307404498645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16199680 140720448980156 140720448980332 140720448980332 140720448982991 0
[pid=9121/tid=9130] ppid=9120 vsize=13870380 CPUtime=0.28 cores=4-7,12-15
/proc/9121/task/9130/stat : 9130 (java) S 9120 9120 18810 0 -1 1077944384 338 0 0 0 16 12 0 0 20 0 28 0 4264147 14203269120 568261 33554432000 4194304 4196468 140720448975248 140306997553424 140307404498645 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 16199680 140720448980156 140720448980332 140720448980332 140720448982991 0
[pid=9121/tid=9131] ppid=9120 vsize=13870380 CPUtime=0.29 cores=4-7,12-15
/proc/9121/task/9131/stat : 9131 (java) S 9120 9120 18810 0 -1 1077944384 348 0 0 0 16 13 0 0 20 0 28 0 4264147 14203269120 568261 33554432000 4194304 4196468 140720448975248 140306996500880 140307404498645 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 16199680 140720448980156 140720448980332 140720448980332 140720448982991 0
[pid=9121/tid=9132] ppid=9120 vsize=13870380 CPUtime=0.11 cores=4-7,12-15
/proc/9121/task/9132/stat : 9132 (java) S 9120 9120 18810 0 -1 1077944384 3378 0 0 0 5 6 0 0 20 0 28 0 4264149 14203269120 568261 33554432000 4194304 4196468 140720448975248 140306464115440 140307404499586 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16199680 140720448980156 140720448980332 140720448980332 140720448982991 0
[pid=9121/tid=9133] ppid=9120 vsize=13870380 CPUtime=0 cores=4-7,12-15
/proc/9121/task/9133/stat : 9133 (java) S 9120 9120 18810 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 28 0 4264150 14203269120 568261 33554432000 4194304 4196468 140720448975248 140306463061728 140307404498645 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 16199680 140720448980156 140720448980332 140720448980332 140720448982991 0
[pid=9121/tid=9134] ppid=9120 vsize=13870380 CPUtime=0 cores=4-7,12-15
/proc/9121/task/9134/stat : 9134 (java) S 9120 9120 18810 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 28 0 4264151 14203269120 568261 33554432000 4194304 4196468 140720448975248 140306462008576 140307404498645 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16199680 140720448980156 140720448980332 140720448980332 140720448982991 0
[pid=9121/tid=9135] ppid=9120 vsize=13870380 CPUtime=0 cores=4-7,12-15
/proc/9121/task/9135/stat : 9135 (java) S 9120 9120 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4264154 14203269120 568261 33554432000 4194304 4196468 140720448975248 140306460957136 140307404507035 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 16199680 140720448980156 140720448980332 140720448980332 140720448982991 0
[pid=9121/tid=9136] ppid=9120 vsize=13870380 CPUtime=5.68 cores=4-7,12-15
/proc/9121/task/9136/stat : 9136 (java) S 9120 9120 18810 0 -1 1077944384 17981 0 0 0 565 3 0 0 20 0 28 0 4264155 14203269120 568261 33554432000 4194304 4196468 140720448975248 140306459904240 140307404499586 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16199680 140720448980156 140720448980332 140720448980332 140720448982991 0
[pid=9121/tid=9137] ppid=9120 vsize=13870380 CPUtime=5.28 cores=4-7,12-15
/proc/9121/task/9137/stat : 9137 (java) S 9120 9120 18810 0 -1 1077944384 13769 0 0 0 526 2 0 0 20 0 28 0 4264155 14203269120 568261 33554432000 4194304 4196468 140720448975248 140306458851696 140307404499586 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16199680 140720448980156 140720448980332 140720448980332 140720448982991 0
[pid=9121/tid=9138] ppid=9120 vsize=13870380 CPUtime=4.95 cores=4-7,12-15
/proc/9121/task/9138/stat : 9138 (java) S 9120 9120 18810 0 -1 1077944384 12479 0 0 0 493 2 0 0 20 0 28 0 4264155 14203269120 568261 33554432000 4194304 4196468 140720448975248 140306457798640 140307404499586 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16199680 140720448980156 140720448980332 140720448980332 140720448982991 0
[pid=9121/tid=9139] ppid=9120 vsize=13870380 CPUtime=1.44 cores=4-7,12-15
/proc/9121/task/9139/stat : 9139 (java) S 9120 9120 18810 0 -1 1077944384 10203 0 0 0 142 2 0 0 20 0 28 0 4264155 14203269120 568261 33554432000 4194304 4196468 140720448975248 140306456746096 140307404499586 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 16199680 140720448980156 140720448980332 140720448980332 140720448982991 0
[pid=9121/tid=9140] ppid=9120 vsize=13870380 CPUtime=0 cores=4-7,12-15
/proc/9121/task/9140/stat : 9140 (java) S 9120 9120 18810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4264155 14203269120 568261 33554432000 4194304 4196468 140720448975248 140306455694304 140307404498645 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 16199680 140720448980156 140720448980332 140720448980332 140720448982991 0
[pid=9121/tid=9141] ppid=9120 vsize=13870380 CPUtime=0.17 cores=4-7,12-15
/proc/9121/task/9141/stat : 9141 (java) S 9120 9120 18810 0 -1 1077944384 1663 0 0 0 8 9 0 0 20 0 28 0 4264155 14203269120 568261 33554432000 4194304 4196468 140720448975248 140306454641840 140307404499586 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 6 0 0 6293624 6294260 16199680 140720448980156 140720448980332 140720448980332 140720448982991 0
[pid=9121/tid=9302] ppid=9120 vsize=13870380 CPUtime=295.67 cores=4-7,12-15
/proc/9121/task/9302/stat : 9302 (java) R 9120 9120 18810 0 -1 4202560 967 0 0 0 29565 2 0 0 20 0 28 0 4264795 14203269120 568261 33554432000 4194304 4196468 140720448975248 140305170934872 140307006634370 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16199680 140720448980156 140720448980332 140720448980332 140720448982991 0
[pid=9121/tid=9303] ppid=9120 vsize=13870380 CPUtime=294.61 cores=4-7,12-15
/proc/9121/task/9303/stat : 9303 (java) R 9120 9120 18810 0 -1 4202560 911 0 0 0 29460 1 0 0 20 0 28 0 4264795 14203269120 568261 33554432000 4194304 4196468 140720448975248 140306051223896 140307009490308 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 16199680 140720448980156 140720448980332 140720448980332 140720448982991 0
[pid=9121/tid=9304] ppid=9120 vsize=13870380 CPUtime=295.28 cores=4-7,12-15
/proc/9121/task/9304/stat : 9304 (java) R 9120 9120 18810 0 -1 4202560 3471 0 0 0 29526 2 0 0 20 0 28 0 4264795 14203269120 568261 33554432000 4194304 4196468 140720448975248 140306047012744 140307006042136 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 16199680 140720448980156 140720448980332 140720448980332 140720448982991 0
[pid=9121/tid=9305] ppid=9120 vsize=13870380 CPUtime=292.97 cores=4-7,12-15
/proc/9121/task/9305/stat : 9305 (java) R 9120 9120 18810 0 -1 4202560 7408 0 0 0 29266 31 0 0 20 0 28 0 4264795 14203269120 568261 33554432000 4194304 4196468 140720448975248 140305173041184 140307012077491 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 16199680 140720448980156 140720448980332 140720448980332 140720448982991 0
[pid=9121/tid=9306] ppid=9120 vsize=13870380 CPUtime=295.94 cores=4-7,12-15
/proc/9121/task/9306/stat : 9306 (java) R 9120 9120 18810 0 -1 4202560 839 0 0 0 29594 0 0 0 20 0 28 0 4264795 14203269120 568261 33554432000 4194304 4196468 140720448975248 140305167785560 140307007224234 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 16199680 140720448980156 140720448980332 140720448980332 140720448982991 0
[pid=9121/tid=9307] ppid=9120 vsize=13870380 CPUtime=293.03 cores=4-7,12-15
/proc/9121/task/9307/stat : 9307 (java) R 9120 9120 18810 0 -1 4202560 608 0 0 0 29303 0 0 0 20 0 28 0 4264795 14203269120 568261 33554432000 4194304 4196468 140720448975248 140306048065288 140307004733870 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16199680 140720448980156 140720448980332 140720448980332 140720448982991 0
[pid=9121/tid=9308] ppid=9120 vsize=13870380 CPUtime=295.64 cores=4-7,12-15
/proc/9121/task/9308/stat : 9308 (java) R 9120 9120 18810 0 -1 4202560 1447 0 0 0 29563 1 0 0 20 0 28 0 4264795 14203269120 568261 33554432000 4194304 4196468 140720448975248 140305171988872 140307006392233 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 16199680 140720448980156 140720448980332 140720448980332 140720448982991 0
[pid=9121/tid=9309] ppid=9120 vsize=13870380 CPUtime=295.46 cores=4-7,12-15
/proc/9121/task/9309/stat : 9309 (java) R 9120 9120 18810 0 -1 4202560 1747 0 0 0 29545 1 0 0 20 0 28 0 4264795 14203269120 568261 33554432000 4194304 4196468 140720448975248 140306050171224 140307011919249 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 16199680 140720448980156 140720448980332 140720448980332 140720448982991 0
Current children cumulated CPU time (s) 2400.63
Current children cumulated vsize (KiB) 13879892
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 9120 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=3127
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=0
# CPU time returned by wait4() is 0.003127
# while last known CPU time is 2400.63
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 303.312
CPU time (s): 2400.63
CPU user time (s): 2398.82
CPU system time (s): 1.81
CPU usage (%): 791.472
Max. virtual memory (cumulated for all children) (KiB): 13882048
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.003127
system time used= 0
maximum resident set size= 1388
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 3.54095 second user time and 4.45714 second system time
The end