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-4247988-1500691209/watcher-4247988-1500691209 -o /tmp/evaluation-result-4247988-1500691209/solver-4247988-1500691209 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node132-1500682387-18841 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 123426582 HOME/instance-4247988-1500691209.xml
pid=10811
running on 8 cores: 0-3,8-11
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: 16.12 15.59 14.08 10/275 10814
/proc/meminfo: memFree=30007176/32770624 swapFree=5944/262240
[pid=10814] ppid=10811 vsize=9512 CPUtime=0 cores=0-3,8-11
/proc/10814/stat : 10814 (xcsp3-exec) S 10811 10814 18810 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4388084 9740288 346 33554432000 4194304 5098028 140737472534064 140737472532168 139685697155708 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 34680832 140737472537743 140737472537952 140737472537952 140737472540651 0
/proc/10814/statm: 2378 346 289 221 0 87 0
[startup+0.100141 s]
/proc/loadavg: 16.12 15.59 14.08 10/275 10814
/proc/meminfo: memFree=30007176/32770624 swapFree=5944/262240
[pid=10814] ppid=10811 vsize=9512 CPUtime=0 cores=0-3,8-11
/proc/10814/stat : 10814 (xcsp3-exec) S 10811 10814 18810 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4388084 9740288 346 33554432000 4194304 5098028 140737472534064 140737472532168 139685697155708 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 34680832 140737472537743 140737472537952 140737472537952 140737472540651 0
/proc/10814/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200358 s]
/proc/loadavg: 16.12 15.59 14.08 10/275 10814
/proc/meminfo: memFree=30007176/32770624 swapFree=5944/262240
[pid=10814] ppid=10811 vsize=9512 CPUtime=0 cores=0-3,8-11
/proc/10814/stat : 10814 (xcsp3-exec) S 10811 10814 18810 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4388084 9740288 346 33554432000 4194304 5098028 140737472534064 140737472532168 139685697155708 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 34680832 140737472537743 140737472537952 140737472537952 140737472540651 0
/proc/10814/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300238 s]
/proc/loadavg: 16.12 15.59 14.08 10/275 10814
/proc/meminfo: memFree=30007176/32770624 swapFree=5944/262240
[pid=10814] ppid=10811 vsize=9512 CPUtime=0 cores=0-3,8-11
/proc/10814/stat : 10814 (xcsp3-exec) S 10811 10814 18810 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4388084 9740288 346 33554432000 4194304 5098028 140737472534064 140737472532168 139685697155708 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 34680832 140737472537743 140737472537952 140737472537952 140737472540651 0
/proc/10814/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700205 s]
/proc/loadavg: 16.12 15.59 14.08 10/275 10814
/proc/meminfo: memFree=30007176/32770624 swapFree=5944/262240
[pid=10814] ppid=10811 vsize=9512 CPUtime=0 cores=0-3,8-11
/proc/10814/stat : 10814 (xcsp3-exec) S 10811 10814 18810 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4388084 9740288 346 33554432000 4194304 5098028 140737472534064 140737472532168 139685697155708 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 34680832 140737472537743 140737472537952 140737472537952 140737472540651 0
/proc/10814/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: 16.12 15.59 14.08 12/296 10835
/proc/meminfo: memFree=29890968/32770624 swapFree=5944/262276
[pid=10814] ppid=10811 vsize=9512 CPUtime=0 cores=0-3,8-11
/proc/10814/stat : 10814 (xcsp3-exec) S 10811 10814 18810 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4388084 9740288 346 33554432000 4194304 5098028 140737472534064 140737472532168 139685697155708 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 34680832 140737472537743 140737472537952 140737472537952 140737472540651 0
/proc/10814/statm: 2378 346 289 221 0 87 0
[pid=10815] ppid=10814 vsize=13269256 CPUtime=3.85 cores=0-3,8-11
/proc/10815/stat : 10815 (java) S 10814 10814 18810 0 -1 1077944320 33366 0 0 0 377 8 0 0 20 0 20 0 4388084 13587718144 37803 33554432000 4194304 4196468 140725945658752 140725945641296 140005987004151 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 17444864 140725945660604 140725945660780 140725945660780 140725945663439 0
/proc/10815/statm: 3317314 37803 3207 1 0 3304547 0
[pid=10815/tid=10816] ppid=10814 vsize=13269256 CPUtime=1.47 cores=0-3,8-11
/proc/10815/task/10816/stat : 10816 (java) R 10814 10814 18810 0 -1 4202560 7267 0 0 0 144 3 0 0 20 0 20 0 4388085 13587718144 37803 33554432000 4194304 4196468 140725945658752 140005991238856 140005987016086 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17444864 140725945660604 140725945660780 140725945660780 140725945663439 0
[pid=10815/tid=10818] ppid=10814 vsize=13269256 CPUtime=0 cores=0-3,8-11
/proc/10815/task/10818/stat : 10818 (java) S 10814 10814 18810 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 4388085 13587718144 37803 33554432000 4194304 4196468 140725945658752 140005939624208 140005987014357 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 17444864 140725945660604 140725945660780 140725945660780 140725945663439 0
[pid=10815/tid=10819] ppid=10814 vsize=13269256 CPUtime=0 cores=0-3,8-11
/proc/10815/task/10819/stat : 10819 (java) S 10814 10814 18810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4388085 13587718144 37803 33554432000 4194304 4196468 140725945658752 140005938571664 140005987014357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17444864 140725945660604 140725945660780 140725945660780 140725945663439 0
[pid=10815/tid=10820] ppid=10814 vsize=13269256 CPUtime=0 cores=0-3,8-11
/proc/10815/task/10820/stat : 10820 (java) S 10814 10814 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4388085 13587718144 37803 33554432000 4194304 4196468 140725945658752 140005937519120 140005987014357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17444864 140725945660604 140725945660780 140725945660780 140725945663439 0
[pid=10815/tid=10821] ppid=10814 vsize=13269256 CPUtime=0 cores=0-3,8-11
/proc/10815/task/10821/stat : 10821 (java) S 10814 10814 18810 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 4388085 13587718144 37803 33554432000 4194304 4196468 140725945658752 140005936466576 140005987014357 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17444864 140725945660604 140725945660780 140725945660780 140725945663439 0
[pid=10815/tid=10822] ppid=10814 vsize=13269256 CPUtime=0 cores=0-3,8-11
/proc/10815/task/10822/stat : 10822 (java) S 10814 10814 18810 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 4388085 13587718144 37803 33554432000 4194304 4196468 140725945658752 140005581716240 140005987014357 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 17444864 140725945660604 140725945660780 140725945660780 140725945663439 0
[pid=10815/tid=10823] ppid=10814 vsize=13269256 CPUtime=0 cores=0-3,8-11
/proc/10815/task/10823/stat : 10823 (java) S 10814 10814 18810 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 4388085 13587718144 37803 33554432000 4194304 4196468 140725945658752 140005580663696 140005987014357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17444864 140725945660604 140725945660780 140725945660780 140725945663439 0
[pid=10815/tid=10824] ppid=10814 vsize=13269256 CPUtime=0 cores=0-3,8-11
/proc/10815/task/10824/stat : 10824 (java) S 10814 10814 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4388085 13587718144 37803 33554432000 4194304 4196468 140725945658752 140005579611152 140005987014357 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 17444864 140725945660604 140725945660780 140725945660780 140725945663439 0
[pid=10815/tid=10825] ppid=10814 vsize=13269256 CPUtime=0 cores=0-3,8-11
/proc/10815/task/10825/stat : 10825 (java) S 10814 10814 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4388086 13587718144 37803 33554432000 4194304 4196468 140725945658752 140005578558608 140005987014357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17444864 140725945660604 140725945660780 140725945660780 140725945663439 0
[pid=10815/tid=10826] ppid=10814 vsize=13269256 CPUtime=0 cores=0-3,8-11
/proc/10815/task/10826/stat : 10826 (java) S 10814 10814 18810 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 4388088 13587718144 37803 33554432000 4194304 4196468 140725945658752 140005180635120 140005987015298 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17444864 140725945660604 140725945660780 140725945660780 140725945663439 0
[pid=10815/tid=10827] ppid=10814 vsize=13269256 CPUtime=0 cores=0-3,8-11
/proc/10815/task/10827/stat : 10827 (java) S 10814 10814 18810 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 4388088 13587718144 37803 33554432000 4194304 4196468 140725945658752 140005179581344 140005987014357 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 17444864 140725945660604 140725945660780 140725945660780 140725945663439 0
[pid=10815/tid=10828] ppid=10814 vsize=13269256 CPUtime=0 cores=0-3,8-11
/proc/10815/task/10828/stat : 10828 (java) S 10814 10814 18810 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 4388089 13587718144 37803 33554432000 4194304 4196468 140725945658752 140005178528752 140005987014357 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 17444864 140725945660604 140725945660780 140725945660780 140725945663439 0
[pid=10815/tid=10829] ppid=10814 vsize=13269256 CPUtime=0 cores=0-3,8-11
/proc/10815/task/10829/stat : 10829 (java) S 10814 10814 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4388092 13587718144 37803 33554432000 4194304 4196468 140725945658752 140005177477328 140005987022747 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 17444864 140725945660604 140725945660780 140725945660780 140725945663439 0
[pid=10815/tid=10830] ppid=10814 vsize=13269256 CPUtime=0.66 cores=0-3,8-11
/proc/10815/task/10830/stat : 10830 (java) S 10814 10814 18810 0 -1 1077944384 7701 0 0 0 65 1 0 0 20 0 20 0 4388092 13587718144 37803 33554432000 4194304 4196468 140725945658752 140005176424944 140005987015298 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 17444864 140725945660604 140725945660780 140725945660780 140725945663439 0
[pid=10815/tid=10831] ppid=10814 vsize=13269256 CPUtime=0.65 cores=0-3,8-11
/proc/10815/task/10831/stat : 10831 (java) R 10814 10814 18810 0 -1 4202560 7673 0 0 0 64 1 0 0 20 0 20 0 4388092 13587718144 37803 33554432000 4194304 4196468 140725945658752 140005175361248 140005967704448 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17444864 140725945660604 140725945660780 140725945660780 140725945663439 0
[pid=10815/tid=10832] ppid=10814 vsize=13269256 CPUtime=0.62 cores=0-3,8-11
/proc/10815/task/10832/stat : 10832 (java) R 10814 10814 18810 0 -1 4202560 6218 0 0 0 61 1 0 0 20 0 20 0 4388092 13587718144 37803 33554432000 4194304 4196468 140725945658752 140005174319856 140005979989193 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 17444864 140725945660604 140725945660780 140725945660780 140725945663439 0
[pid=10815/tid=10833] ppid=10814 vsize=13269256 CPUtime=0.4 cores=0-3,8-11
/proc/10815/task/10833/stat : 10833 (java) R 10814 10814 18810 0 -1 4202560 3194 0 0 0 40 0 0 0 20 0 20 0 4388092 13587718144 37803 33554432000 4194304 4196468 140725945658752 140005173266416 140005965627808 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 17444864 140725945660604 140725945660780 140725945660780 140725945663439 0
[pid=10815/tid=10834] ppid=10814 vsize=13269256 CPUtime=0 cores=0-3,8-11
/proc/10815/task/10834/stat : 10834 (java) S 10814 10814 18810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4388092 13587718144 37803 33554432000 4194304 4196468 140725945658752 140005172213984 140005987014357 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 17444864 140725945660604 140725945660780 140725945660780 140725945663439 0
[pid=10815/tid=10835] ppid=10814 vsize=13269256 CPUtime=0 cores=0-3,8-11
/proc/10815/task/10835/stat : 10835 (java) S 10814 10814 18810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4388093 13587718144 37803 33554432000 4194304 4196468 140725945658752 140005171161520 140005987015298 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 17444864 140725945660604 140725945660780 140725945660780 140725945663439 0
Current children cumulated CPU time (s) 3.85
Current children cumulated vsize (KiB) 13278768
[startup+3.10088 s]
/proc/loadavg: 16.12 15.59 14.08 10/296 10835
/proc/meminfo: memFree=29840580/32770624 swapFree=5944/262276
[pid=10814] ppid=10811 vsize=9512 CPUtime=0 cores=0-3,8-11
/proc/10814/stat : 10814 (xcsp3-exec) S 10811 10814 18810 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4388084 9740288 346 33554432000 4194304 5098028 140737472534064 140737472532168 139685697155708 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 34680832 140737472537743 140737472537952 140737472537952 140737472540651 0
/proc/10814/statm: 2378 346 289 221 0 87 0
[pid=10815] ppid=10814 vsize=13269256 CPUtime=6.14 cores=0-3,8-11
/proc/10815/stat : 10815 (java) S 10814 10814 18810 0 -1 1077944320 36754 0 0 0 604 10 0 0 20 0 20 0 4388084 13587718144 54541 33554432000 4194304 4196468 140725945658752 140725945641296 140005987004151 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 17444864 140725945660604 140725945660780 140725945660780 140725945663439 0
/proc/10815/statm: 3317314 54541 3218 1 0 3304547 0
[pid=10815/tid=10816] ppid=10814 vsize=13269256 CPUtime=3.07 cores=0-3,8-11
/proc/10815/task/10816/stat : 10816 (java) R 10814 10814 18810 0 -1 4202560 8810 0 0 0 303 4 0 0 20 0 20 0 4388085 13587718144 54541 33554432000 4194304 4196468 140725945658752 140005991239736 140005620169870 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17444864 140725945660604 140725945660780 140725945660780 140725945663439 0
[pid=10815/tid=10818] ppid=10814 vsize=13269256 CPUtime=0 cores=0-3,8-11
/proc/10815/task/10818/stat : 10818 (java) S 10814 10814 18810 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 4388085 13587718144 54541 33554432000 4194304 4196468 140725945658752 140005939624208 140005987014357 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 17444864 140725945660604 140725945660780 140725945660780 140725945663439 0
[pid=10815/tid=10819] ppid=10814 vsize=13269256 CPUtime=0 cores=0-3,8-11
/proc/10815/task/10819/stat : 10819 (java) S 10814 10814 18810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4388085 13587718144 54541 33554432000 4194304 4196468 140725945658752 140005938571664 140005987014357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17444864 140725945660604 140725945660780 140725945660780 140725945663439 0
[pid=10815/tid=10820] ppid=10814 vsize=13269256 CPUtime=0 cores=0-3,8-11
/proc/10815/task/10820/stat : 10820 (java) S 10814 10814 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4388085 13587718144 54541 33554432000 4194304 4196468 140725945658752 140005937519120 140005987014357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17444864 140725945660604 140725945660780 140725945660780 140725945663439 0
[pid=10815/tid=10821] ppid=10814 vsize=13269256 CPUtime=0 cores=0-3,8-11
/proc/10815/task/10821/stat : 10821 (java) S 10814 10814 18810 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 4388085 13587718144 54541 33554432000 4194304 4196468 140725945658752 140005936466576 140005987014357 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17444864 140725945660604 140725945660780 140725945660780 140725945663439 0
[pid=10815/tid=10822] ppid=10814 vsize=13269256 CPUtime=0 cores=0-3,8-11
/proc/10815/task/10822/stat : 10822 (java) S 10814 10814 18810 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 4388085 13587718144 54541 33554432000 4194304 4196468 140725945658752 140005581716240 140005987014357 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 17444864 140725945660604 140725945660780 140725945660780 140725945663439 0
[pid=10815/tid=10823] ppid=10814 vsize=13269256 CPUtime=0 cores=0-3,8-11
/proc/10815/task/10823/stat : 10823 (java) S 10814 10814 18810 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 4388085 13587718144 54541 33554432000 4194304 4196468 140725945658752 140005580663696 140005987014357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17444864 140725945660604 140725945660780 140725945660780 140725945663439 0
[pid=10815/tid=10824] ppid=10814 vsize=13269256 CPUtime=0 cores=0-3,8-11
/proc/10815/task/10824/stat : 10824 (java) S 10814 10814 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4388085 13587718144 54541 33554432000 4194304 4196468 140725945658752 140005579611152 140005987014357 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 17444864 140725945660604 140725945660780 140725945660780 140725945663439 0
[pid=10815/tid=10825] ppid=10814 vsize=13269256 CPUtime=0 cores=0-3,8-11
/proc/10815/task/10825/stat : 10825 (java) S 10814 10814 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4388086 13587718144 54541 33554432000 4194304 4196468 140725945658752 140005578558608 140005987014357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17444864 140725945660604 140725945660780 140725945660780 140725945663439 0
[pid=10815/tid=10826] ppid=10814 vsize=13269256 CPUtime=0 cores=0-3,8-11
/proc/10815/task/10826/stat : 10826 (java) S 10814 10814 18810 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 20 0 4388088 13587718144 54541 33554432000 4194304 4196468 140725945658752 140005180635120 140005987015298 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17444864 140725945660604 140725945660780 140725945660780 140725945663439 0
[pid=10815/tid=10827] ppid=10814 vsize=13269256 CPUtime=0 cores=0-3,8-11
/proc/10815/task/10827/stat : 10827 (java) S 10814 10814 18810 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 4388088 13587718144 54541 33554432000 4194304 4196468 140725945658752 140005179581344 140005987014357 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 17444864 140725945660604 140725945660780 140725945660780 140725945663439 0
[pid=10815/tid=10828] ppid=10814 vsize=13269256 CPUtime=0 cores=0-3,8-11
/proc/10815/task/10828/stat : 10828 (java) S 10814 10814 18810 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 4388089 13587718144 54541 33554432000 4194304 4196468 140725945658752 140005178528752 140005987014357 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 17444864 140725945660604 140725945660780 140725945660780 140725945663439 0
[pid=10815/tid=10829] ppid=10814 vsize=13269256 CPUtime=0 cores=0-3,8-11
/proc/10815/task/10829/stat : 10829 (java) S 10814 10814 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4388092 13587718144 54541 33554432000 4194304 4196468 140725945658752 140005177477328 140005987022747 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 17444864 140725945660604 140725945660780 140725945660780 140725945663439 0
[pid=10815/tid=10830] ppid=10814 vsize=13269256 CPUtime=0.71 cores=0-3,8-11
/proc/10815/task/10830/stat : 10830 (java) S 10814 10814 18810 0 -1 1077944384 7888 0 0 0 70 1 0 0 20 0 20 0 4388092 13587718144 54541 33554432000 4194304 4196468 140725945658752 140005176424944 140005987015298 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 17444864 140725945660604 140725945660780 140725945660780 140725945663439 0
[pid=10815/tid=10831] ppid=10814 vsize=13269256 CPUtime=0.96 cores=0-3,8-11
/proc/10815/task/10831/stat : 10831 (java) S 10814 10814 18810 0 -1 1077944384 8104 0 0 0 95 1 0 0 20 0 20 0 4388092 13587718144 54541 33554432000 4194304 4196468 140725945658752 140005175372400 140005987015298 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17444864 140725945660604 140725945660780 140725945660780 140725945663439 0
[pid=10815/tid=10832] ppid=10814 vsize=13269256 CPUtime=0.82 cores=0-3,8-11
/proc/10815/task/10832/stat : 10832 (java) S 10814 10814 18810 0 -1 1077944384 6763 0 0 0 81 1 0 0 20 0 20 0 4388092 13587718144 54541 33554432000 4194304 4196468 140725945658752 140005174319856 140005987015298 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 17444864 140725945660604 140725945660780 140725945660780 140725945663439 0
[pid=10815/tid=10833] ppid=10814 vsize=13269256 CPUtime=0.54 cores=0-3,8-11
/proc/10815/task/10833/stat : 10833 (java) S 10814 10814 18810 0 -1 1077944384 3822 0 0 0 53 1 0 0 20 0 20 0 4388092 13587718144 54541 33554432000 4194304 4196468 140725945658752 140005173267312 140005987015298 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 17444864 140725945660604 140725945660780 140725945660780 140725945663439 0
[pid=10815/tid=10834] ppid=10814 vsize=13269256 CPUtime=0 cores=0-3,8-11
/proc/10815/task/10834/stat : 10834 (java) S 10814 10814 18810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4388092 13587718144 54541 33554432000 4194304 4196468 140725945658752 140005172213984 140005987014357 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 17444864 140725945660604 140725945660780 140725945660780 140725945663439 0
[pid=10815/tid=10835] ppid=10814 vsize=13269256 CPUtime=0 cores=0-3,8-11
/proc/10815/task/10835/stat : 10835 (java) S 10814 10814 18810 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 20 0 4388093 13587718144 54541 33554432000 4194304 4196468 140725945658752 140005171161520 140005987015298 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 17444864 140725945660604 140725945660780 140725945660780 140725945663439 0
Current children cumulated CPU time (s) 6.14
Current children cumulated vsize (KiB) 13278768
[startup+6.30085 s]
/proc/loadavg: 15.55 15.48 14.05 10/296 10835
/proc/meminfo: memFree=29706580/32770624 swapFree=5944/262284
[pid=10814] ppid=10811 vsize=9512 CPUtime=0 cores=0-3,8-11
/proc/10814/stat : 10814 (xcsp3-exec) S 10811 10814 18810 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4388084 9740288 346 33554432000 4194304 5098028 140737472534064 140737472532168 139685697155708 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 34680832 140737472537743 140737472537952 140737472537952 140737472540651 0
/proc/10814/statm: 2378 346 289 221 0 87 0
[pid=10815] ppid=10814 vsize=13269256 CPUtime=10.22 cores=0-3,8-11
/proc/10815/stat : 10815 (java) S 10814 10814 18810 0 -1 1077944320 40629 0 0 0 965 57 0 0 20 0 20 0 4388084 13587718144 76299 33554432000 4194304 4196468 140725945658752 140725945641296 140005987004151 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 17444864 140725945660604 140725945660780 140725945660780 140725945663439 0
/proc/10815/statm: 3317314 76299 3250 1 0 3304547 0
[pid=10815/tid=10816] ppid=10814 vsize=13269256 CPUtime=6.18 cores=0-3,8-11
/proc/10815/task/10816/stat : 10816 (java) R 10814 10814 18810 0 -1 4202560 8929 0 0 0 614 4 0 0 20 0 20 0 4388085 13587718144 76299 33554432000 4194304 4196468 140725945658752 140005991238440 140005620168433 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17444864 140725945660604 140725945660780 140725945660780 140725945663439 0
[pid=10815/tid=10818] ppid=10814 vsize=13269256 CPUtime=0.07 cores=0-3,8-11
/proc/10815/task/10818/stat : 10818 (java) S 10814 10814 18810 0 -1 1077944384 98 0 0 0 2 5 0 0 20 0 20 0 4388085 13587718144 76299 33554432000 4194304 4196468 140725945658752 140005939624208 140005987014357 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 17444864 140725945660604 140725945660780 140725945660780 140725945663439 0
[pid=10815/tid=10819] ppid=10814 vsize=13269256 CPUtime=0.07 cores=0-3,8-11
/proc/10815/task/10819/stat : 10819 (java) S 10814 10814 18810 0 -1 1077944384 55 0 0 0 2 5 0 0 20 0 20 0 4388085 13587718144 76299 33554432000 4194304 4196468 140725945658752 140005938571664 140005987014357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17444864 140725945660604 140725945660780 140725945660780 140725945663439 0
[pid=10815/tid=10820] ppid=10814 vsize=13269256 CPUtime=0.07 cores=0-3,8-11
/proc/10815/task/10820/stat : 10820 (java) S 10814 10814 18810 0 -1 1077944384 58 0 0 0 2 5 0 0 20 0 20 0 4388085 13587718144 76299 33554432000 4194304 4196468 140725945658752 140005937519120 140005987014357 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 17444864 140725945660604 140725945660780 140725945660780 140725945663439 0
[pid=10815/tid=10821] ppid=10814 vsize=13269256 CPUtime=0.07 cores=0-3,8-11
/proc/10815/task/10821/stat : 10821 (java) S 10814 10814 18810 0 -1 1077944384 51 0 0 0 2 5 0 0 20 0 20 0 4388085 13587718144 76299 33554432000 4194304 4196468 140725945658752 140005936466576 140005987014357 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17444864 140725945660604 140725945660780 140725945660780 140725945663439 0
[pid=10815/tid=10822] ppid=10814 vsize=13269256 CPUtime=0.07 cores=0-3,8-11
/proc/10815/task/10822/stat : 10822 (java) S 10814 10814 18810 0 -1 1077944384 81 0 0 0 2 5 0 0 20 0 20 0 4388085 13587718144 76299 33554432000 4194304 4196468 140725945658752 140005581716240 140005987014357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17444864 140725945660604 140725945660780 140725945660780 140725945663439 0
[pid=10815/tid=10823] ppid=10814 vsize=13269256 CPUtime=0.07 cores=0-3,8-11
/proc/10815/task/10823/stat : 10823 (java) S 10814 10814 18810 0 -1 1077944384 196 0 0 0 2 5 0 0 20 0 20 0 4388085 13587718144 76299 33554432000 4194304 4196468 140725945658752 140005580663696 140005987014357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17444864 140725945660604 140725945660780 140725945660780 140725945663439 0
[pid=10815/tid=10824] ppid=10814 vsize=13269256 CPUtime=0.07 cores=0-3,8-11
/proc/10815/task/10824/stat : 10824 (java) S 10814 10814 18810 0 -1 1077944384 61 0 0 0 2 5 0 0 20 0 20 0 4388085 13587718144 76299 33554432000 4194304 4196468 140725945658752 140005579611152 140005987014357 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 17444864 140725945660604 140725945660780 140725945660780 140725945663439 0
[pid=10815/tid=10825] ppid=10814 vsize=13269256 CPUtime=0.08 cores=0-3,8-11
/proc/10815/task/10825/stat : 10825 (java) S 10814 10814 18810 0 -1 1077944384 150 0 0 0 2 6 0 0 20 0 20 0 4388086 13587718144 76299 33554432000 4194304 4196468 140725945658752 140005578558608 140005987014357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17444864 140725945660604 140725945660780 140725945660780 140725945663439 0
[pid=10815/tid=10826] ppid=10814 vsize=13269256 CPUtime=0 cores=0-3,8-11
/proc/10815/task/10826/stat : 10826 (java) S 10814 10814 18810 0 -1 1077944384 218 0 0 0 0 0 0 0 20 0 20 0 4388088 13587718144 76299 33554432000 4194304 4196468 140725945658752 140005180635120 140005987015298 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17444864 140725945660604 140725945660780 140725945660780 140725945663439 0
[pid=10815/tid=10827] ppid=10814 vsize=13269256 CPUtime=0 cores=0-3,8-11
/proc/10815/task/10827/stat : 10827 (java) S 10814 10814 18810 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 20 0 4388088 13587718144 76299 33554432000 4194304 4196468 140725945658752 140005179581408 140005987014357 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 17444864 140725945660604 140725945660780 140725945660780 140725945663439 0
[pid=10815/tid=10828] ppid=10814 vsize=13269256 CPUtime=0 cores=0-3,8-11
/proc/10815/task/10828/stat : 10828 (java) S 10814 10814 18810 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 20 0 4388089 13587718144 76299 33554432000 4194304 4196468 140725945658752 140005178528752 140005987014357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17444864 140725945660604 140725945660780 140725945660780 140725945663439 0
[pid=10815/tid=10829] ppid=10814 vsize=13269256 CPUtime=0 cores=0-3,8-11
/proc/10815/task/10829/stat : 10829 (java) S 10814 10814 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4388092 13587718144 76299 33554432000 4194304 4196468 140725945658752 140005177477328 140005987022747 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 17444864 140725945660604 140725945660780 140725945660780 140725945663439 0
################
# More data... #
################
/proc/10815/task/10867/stat : 10867 (java) R 10814 10814 18810 0 -1 4202560 2490 0 0 0 20212 5 0 0 20 0 28 0 4390022 14133010432 356078 33554432000 4194304 4196468 140725945658752 140005157885744 140005624101843 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17444864 140725945660604 140725945660780 140725945660780 140725945663439 0
[pid=10815/tid=10868] ppid=10814 vsize=13801768 CPUtime=201.84 cores=0-3,8-11
/proc/10815/task/10868/stat : 10868 (java) R 10814 10814 18810 0 -1 4202560 1479 0 0 0 20181 3 0 0 20 0 28 0 4390023 14133010432 356078 33554432000 4194304 4196468 140725945658752 140005155778104 140005625030012 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 17444864 140725945660604 140725945660780 140725945660780 140725945663439 0
Current children cumulated CPU time (s) 1726.15
Current children cumulated vsize (KiB) 13811280
[startup+282.301 s]
/proc/loadavg: 15.79 15.62 14.47 17/306 12105
/proc/meminfo: memFree=27166184/32770624 swapFree=5944/263052
[pid=10814] ppid=10811 vsize=9512 CPUtime=0 cores=0-3,8-11
/proc/10814/stat : 10814 (xcsp3-exec) S 10811 10814 18810 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4388084 9740288 346 33554432000 4194304 5098028 140737472534064 140737472532168 139685697155708 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 34680832 140737472537743 140737472537952 140737472537952 140737472540651 0
/proc/10814/statm: 2378 346 289 221 0 87 0
[pid=10815] ppid=10814 vsize=13801768 CPUtime=2198.13 cores=0-3,8-11
/proc/10815/stat : 10815 (java) S 10814 10814 18810 0 -1 1077944320 154291 0 0 0 219495 318 0 0 20 0 28 0 4388084 14133010432 324528 33554432000 4194304 4196468 140725945658752 140725945641296 140005987004151 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 17444864 140725945660604 140725945660780 140725945660780 140725945663439 0
/proc/10815/statm: 3450442 324528 3293 1 0 3437675 0
[pid=10815/tid=10816] ppid=10814 vsize=13801768 CPUtime=6.58 cores=0-3,8-11
/proc/10815/task/10816/stat : 10816 (java) S 10814 10814 18810 0 -1 1077944384 9720 0 0 0 654 4 0 0 20 0 28 0 4388085 14133010432 324528 33554432000 4194304 4196468 140725945658752 140005991244928 140005987014357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17444864 140725945660604 140725945660780 140725945660780 140725945663439 0
[pid=10815/tid=10818] ppid=10814 vsize=13801768 CPUtime=0.62 cores=0-3,8-11
/proc/10815/task/10818/stat : 10818 (java) S 10814 10814 18810 0 -1 1077944384 3277 0 0 0 39 23 0 0 20 0 28 0 4388085 14133010432 324528 33554432000 4194304 4196468 140725945658752 140005939624208 140005987014357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17444864 140725945660604 140725945660780 140725945660780 140725945663439 0
[pid=10815/tid=10819] ppid=10814 vsize=13801768 CPUtime=0.61 cores=0-3,8-11
/proc/10815/task/10819/stat : 10819 (java) S 10814 10814 18810 0 -1 1077944384 2846 0 0 0 38 23 0 0 20 0 28 0 4388085 14133010432 324528 33554432000 4194304 4196468 140725945658752 140005938571664 140005987014357 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17444864 140725945660604 140725945660780 140725945660780 140725945663439 0
[pid=10815/tid=10820] ppid=10814 vsize=13801768 CPUtime=0.62 cores=0-3,8-11
/proc/10815/task/10820/stat : 10820 (java) S 10814 10814 18810 0 -1 1077944384 1784 0 0 0 37 25 0 0 20 0 28 0 4388085 14133010432 324528 33554432000 4194304 4196468 140725945658752 140005937519120 140005987014357 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 17444864 140725945660604 140725945660780 140725945660780 140725945663439 0
[pid=10815/tid=10821] ppid=10814 vsize=13801768 CPUtime=0.63 cores=0-3,8-11
/proc/10815/task/10821/stat : 10821 (java) S 10814 10814 18810 0 -1 1077944384 2997 0 0 0 38 25 0 0 20 0 28 0 4388085 14133010432 324528 33554432000 4194304 4196468 140725945658752 140005936466576 140005987014357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17444864 140725945660604 140725945660780 140725945660780 140725945663439 0
[pid=10815/tid=10822] ppid=10814 vsize=13801768 CPUtime=0.62 cores=0-3,8-11
/proc/10815/task/10822/stat : 10822 (java) S 10814 10814 18810 0 -1 1077944384 1886 0 0 0 39 23 0 0 20 0 28 0 4388085 14133010432 324528 33554432000 4194304 4196468 140725945658752 140005581716240 140005987014357 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 17444864 140725945660604 140725945660780 140725945660780 140725945663439 0
[pid=10815/tid=10823] ppid=10814 vsize=13801768 CPUtime=0.6 cores=0-3,8-11
/proc/10815/task/10823/stat : 10823 (java) S 10814 10814 18810 0 -1 1077944384 2041 0 0 0 37 23 0 0 20 0 28 0 4388085 14133010432 324528 33554432000 4194304 4196468 140725945658752 140005580663696 140005987014357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17444864 140725945660604 140725945660780 140725945660780 140725945663439 0
[pid=10815/tid=10824] ppid=10814 vsize=13801768 CPUtime=0.62 cores=0-3,8-11
/proc/10815/task/10824/stat : 10824 (java) S 10814 10814 18810 0 -1 1077944384 1983 0 0 0 39 23 0 0 20 0 28 0 4388085 14133010432 324528 33554432000 4194304 4196468 140725945658752 140005579611152 140005987014357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17444864 140725945660604 140725945660780 140725945660780 140725945663439 0
[pid=10815/tid=10825] ppid=10814 vsize=13801768 CPUtime=0.62 cores=0-3,8-11
/proc/10815/task/10825/stat : 10825 (java) S 10814 10814 18810 0 -1 1077944384 3553 0 0 0 38 24 0 0 20 0 28 0 4388086 14133010432 324528 33554432000 4194304 4196468 140725945658752 140005578558608 140005987014357 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 17444864 140725945660604 140725945660780 140725945660780 140725945663439 0
[pid=10815/tid=10826] ppid=10814 vsize=13801768 CPUtime=0.66 cores=0-3,8-11
/proc/10815/task/10826/stat : 10826 (java) S 10814 10814 18810 0 -1 1077944384 6425 0 0 0 30 36 0 0 20 0 28 0 4388088 14133010432 324528 33554432000 4194304 4196468 140725945658752 140005180635120 140005987015298 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17444864 140725945660604 140725945660780 140725945660780 140725945663439 0
[pid=10815/tid=10827] ppid=10814 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/10815/task/10827/stat : 10827 (java) S 10814 10814 18810 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 28 0 4388088 14133010432 324528 33554432000 4194304 4196468 140725945658752 140005179581408 140005987014357 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17444864 140725945660604 140725945660780 140725945660780 140725945663439 0
[pid=10815/tid=10828] ppid=10814 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/10815/task/10828/stat : 10828 (java) S 10814 10814 18810 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 28 0 4388089 14133010432 324528 33554432000 4194304 4196468 140725945658752 140005178528768 140005987014357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17444864 140725945660604 140725945660780 140725945660780 140725945663439 0
[pid=10815/tid=10829] ppid=10814 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/10815/task/10829/stat : 10829 (java) S 10814 10814 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4388092 14133010432 324528 33554432000 4194304 4196468 140725945658752 140005177477328 140005987022747 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 17444864 140725945660604 140725945660780 140725945660780 140725945663439 0
[pid=10815/tid=10830] ppid=10814 vsize=13801768 CPUtime=4.58 cores=0-3,8-11
/proc/10815/task/10830/stat : 10830 (java) S 10814 10814 18810 0 -1 1077944384 22760 0 0 0 455 3 0 0 20 0 28 0 4388092 14133010432 324528 33554432000 4194304 4196468 140725945658752 140005176424944 140005987015298 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17444864 140725945660604 140725945660780 140725945660780 140725945663439 0
[pid=10815/tid=10831] ppid=10814 vsize=13801768 CPUtime=4.46 cores=0-3,8-11
/proc/10815/task/10831/stat : 10831 (java) S 10814 10814 18810 0 -1 1077944384 20654 0 0 0 442 4 0 0 20 0 28 0 4388092 14133010432 324528 33554432000 4194304 4196468 140725945658752 140005175372400 140005987015298 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 17444864 140725945660604 140725945660780 140725945660780 140725945663439 0
[pid=10815/tid=10832] ppid=10814 vsize=13801768 CPUtime=4.46 cores=0-3,8-11
/proc/10815/task/10832/stat : 10832 (java) S 10814 10814 18810 0 -1 1077944384 21834 0 0 0 443 3 0 0 20 0 28 0 4388092 14133010432 324528 33554432000 4194304 4196468 140725945658752 140005174319856 140005987015298 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17444864 140725945660604 140725945660780 140725945660780 140725945663439 0
[pid=10815/tid=10833] ppid=10814 vsize=13801768 CPUtime=1.27 cores=0-3,8-11
/proc/10815/task/10833/stat : 10833 (java) S 10814 10814 18810 0 -1 1077944384 14145 0 0 0 124 3 0 0 20 0 28 0 4388092 14133010432 324528 33554432000 4194304 4196468 140725945658752 140005173267312 140005987015298 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17444864 140725945660604 140725945660780 140725945660780 140725945663439 0
[pid=10815/tid=10834] ppid=10814 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/10815/task/10834/stat : 10834 (java) S 10814 10814 18810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4388092 14133010432 324528 33554432000 4194304 4196468 140725945658752 140005172213984 140005987014357 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 17444864 140725945660604 140725945660780 140725945660780 140725945663439 0
[pid=10815/tid=10835] ppid=10814 vsize=13801768 CPUtime=0.13 cores=0-3,8-11
/proc/10815/task/10835/stat : 10835 (java) S 10814 10814 18810 0 -1 1077944384 2114 0 0 0 6 7 0 0 20 0 28 0 4388093 14133010432 324528 33554432000 4194304 4196468 140725945658752 140005171161520 140005987015298 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 17444864 140725945660604 140725945660780 140725945660780 140725945663439 0
[pid=10815/tid=12097] ppid=10814 vsize=13801768 CPUtime=56.66 cores=0-3,8-11
/proc/10815/task/12097/stat : 12097 (java) R 10814 10814 18810 0 -1 4202560 1113 0 0 0 5666 0 0 0 20 0 28 0 4410523 14133010432 324528 33554432000 4194304 4196468 140725945658752 140005159988024 140005622653497 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 17444864 140725945660604 140725945660780 140725945660780 140725945663439 0
[pid=10815/tid=12098] ppid=10814 vsize=13801768 CPUtime=56.55 cores=0-3,8-11
/proc/10815/task/12098/stat : 12098 (java) R 10814 10814 18810 0 -1 4202560 1072 0 0 0 5655 0 0 0 20 0 28 0 4410523 14133010432 324528 33554432000 4194304 4196468 140725945658752 140005157886408 140005624049676 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17444864 140725945660604 140725945660780 140725945660780 140725945663439 0
[pid=10815/tid=12099] ppid=10814 vsize=13801768 CPUtime=56.79 cores=0-3,8-11
/proc/10815/task/12099/stat : 12099 (java) R 10814 10814 18810 0 -1 4202560 1315 0 0 0 5679 0 0 0 20 0 28 0 4410523 14133010432 324528 33554432000 4194304 4196468 140725945658752 140005163147208 140005624296907 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 17444864 140725945660604 140725945660780 140725945660780 140725945663439 0
[pid=10815/tid=12100] ppid=10814 vsize=13801768 CPUtime=56.49 cores=0-3,8-11
/proc/10815/task/12100/stat : 12100 (java) R 10814 10814 18810 0 -1 4202560 1383 0 0 0 5648 1 0 0 20 0 28 0 4410523 14133010432 324528 33554432000 4194304 4196468 140725945658752 140005156831120 140005623511595 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17444864 140725945660604 140725945660780 140725945660780 140725945663439 0
[pid=10815/tid=12101] ppid=10814 vsize=13801768 CPUtime=56.63 cores=0-3,8-11
/proc/10815/task/12101/stat : 12101 (java) R 10814 10814 18810 0 -1 4202560 948 0 0 0 5663 0 0 0 20 0 28 0 4410523 14133010432 324528 33554432000 4194304 4196468 140725945658752 140005155779064 140005626154925 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 17444864 140725945660604 140725945660780 140725945660780 140725945663439 0
[pid=10815/tid=12102] ppid=10814 vsize=13801768 CPUtime=56.78 cores=0-3,8-11
/proc/10815/task/12102/stat : 12102 (java) R 10814 10814 18810 0 -1 4202560 832 0 0 0 5678 0 0 0 20 0 28 0 4410523 14133010432 324528 33554432000 4194304 4196468 140725945658752 140005162094984 140005625030163 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 17444864 140725945660604 140725945660780 140725945660780 140725945663439 0
[pid=10815/tid=12103] ppid=10814 vsize=13801768 CPUtime=56.68 cores=0-3,8-11
/proc/10815/task/12103/stat : 12103 (java) R 10814 10814 18810 0 -1 4202560 1231 0 0 0 5668 0 0 0 20 0 28 0 4410523 14133010432 324528 33554432000 4194304 4196468 140725945658752 140005161044480 140005616200444 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17444864 140725945660604 140725945660780 140725945660780 140725945663439 0
[pid=10815/tid=12104] ppid=10814 vsize=13801768 CPUtime=56.46 cores=0-3,8-11
/proc/10815/task/12104/stat : 12104 (java) R 10814 10814 18810 0 -1 4202560 1447 0 0 0 5645 1 0 0 20 0 28 0 4410523 14133010432 324528 33554432000 4194304 4196468 140725945658752 140005158936120 140005624820347 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17444864 140725945660604 140725945660780 140725945660780 140725945663439 0
Current children cumulated CPU time (s) 2198.13
Current children cumulated vsize (KiB) 13811280
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+308.001 s]
/proc/loadavg: 15.81 15.63 14.51 17/304 12105
/proc/meminfo: memFree=27277040/32770624 swapFree=5944/263068
[pid=10814] ppid=10811 vsize=9512 CPUtime=0 cores=0-3,8-11
/proc/10814/stat : 10814 (xcsp3-exec) S 10811 10814 18810 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4388084 9740288 346 33554432000 4194304 5098028 140737472534064 140737472532168 139685697155708 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 34680832 140737472537743 140737472537952 140737472537952 140737472540651 0
/proc/10814/statm: 2378 346 289 221 0 87 0
[pid=10815] ppid=10814 vsize=13801768 CPUtime=2400.16 cores=0-3,8-11
/proc/10815/stat : 10815 (java) S 10814 10814 18810 0 -1 1077944320 155169 0 0 0 239672 344 0 0 20 0 28 0 4388084 14133010432 320169 33554432000 4194304 4196468 140725945658752 140725945641296 140005987004151 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 17444864 140725945660604 140725945660780 140725945660780 140725945663439 0
/proc/10815/statm: 3450442 320169 3293 1 0 3437675 0
[pid=10815/tid=10816] ppid=10814 vsize=13801768 CPUtime=6.58 cores=0-3,8-11
/proc/10815/task/10816/stat : 10816 (java) S 10814 10814 18810 0 -1 1077944384 9720 0 0 0 654 4 0 0 20 0 28 0 4388085 14133010432 320169 33554432000 4194304 4196468 140725945658752 140005991244928 140005987014357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17444864 140725945660604 140725945660780 140725945660780 140725945663439 0
[pid=10815/tid=10818] ppid=10814 vsize=13801768 CPUtime=0.77 cores=0-3,8-11
/proc/10815/task/10818/stat : 10818 (java) S 10814 10814 18810 0 -1 1077944384 3314 0 0 0 52 25 0 0 20 0 28 0 4388085 14133010432 320169 33554432000 4194304 4196468 140725945658752 140005939624208 140005987014357 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 17444864 140725945660604 140725945660780 140725945660780 140725945663439 0
[pid=10815/tid=10819] ppid=10814 vsize=13801768 CPUtime=0.75 cores=0-3,8-11
/proc/10815/task/10819/stat : 10819 (java) S 10814 10814 18810 0 -1 1077944384 2873 0 0 0 51 24 0 0 20 0 28 0 4388085 14133010432 320169 33554432000 4194304 4196468 140725945658752 140005938571664 140005987014357 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17444864 140725945660604 140725945660780 140725945660780 140725945663439 0
[pid=10815/tid=10820] ppid=10814 vsize=13801768 CPUtime=0.76 cores=0-3,8-11
/proc/10815/task/10820/stat : 10820 (java) S 10814 10814 18810 0 -1 1077944384 1811 0 0 0 50 26 0 0 20 0 28 0 4388085 14133010432 320169 33554432000 4194304 4196468 140725945658752 140005937519120 140005987014357 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 17444864 140725945660604 140725945660780 140725945660780 140725945663439 0
[pid=10815/tid=10821] ppid=10814 vsize=13801768 CPUtime=0.75 cores=0-3,8-11
/proc/10815/task/10821/stat : 10821 (java) S 10814 10814 18810 0 -1 1077944384 3033 0 0 0 49 26 0 0 20 0 28 0 4388085 14133010432 320169 33554432000 4194304 4196468 140725945658752 140005936466576 140005987014357 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 17444864 140725945660604 140725945660780 140725945660780 140725945663439 0
[pid=10815/tid=10822] ppid=10814 vsize=13801768 CPUtime=0.77 cores=0-3,8-11
/proc/10815/task/10822/stat : 10822 (java) S 10814 10814 18810 0 -1 1077944384 1922 0 0 0 52 25 0 0 20 0 28 0 4388085 14133010432 320169 33554432000 4194304 4196468 140725945658752 140005581716240 140005987014357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17444864 140725945660604 140725945660780 140725945660780 140725945663439 0
[pid=10815/tid=10823] ppid=10814 vsize=13801768 CPUtime=0.74 cores=0-3,8-11
/proc/10815/task/10823/stat : 10823 (java) S 10814 10814 18810 0 -1 1077944384 2072 0 0 0 49 25 0 0 20 0 28 0 4388085 14133010432 320169 33554432000 4194304 4196468 140725945658752 140005580663696 140005987014357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17444864 140725945660604 140725945660780 140725945660780 140725945663439 0
[pid=10815/tid=10824] ppid=10814 vsize=13801768 CPUtime=0.75 cores=0-3,8-11
/proc/10815/task/10824/stat : 10824 (java) S 10814 10814 18810 0 -1 1077944384 2009 0 0 0 51 24 0 0 20 0 28 0 4388085 14133010432 320169 33554432000 4194304 4196468 140725945658752 140005579611152 140005987014357 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 17444864 140725945660604 140725945660780 140725945660780 140725945663439 0
[pid=10815/tid=10825] ppid=10814 vsize=13801768 CPUtime=0.76 cores=0-3,8-11
/proc/10815/task/10825/stat : 10825 (java) S 10814 10814 18810 0 -1 1077944384 3587 0 0 0 50 26 0 0 20 0 28 0 4388086 14133010432 320169 33554432000 4194304 4196468 140725945658752 140005578558608 140005987014357 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 17444864 140725945660604 140725945660780 140725945660780 140725945663439 0
[pid=10815/tid=10826] ppid=10814 vsize=13801768 CPUtime=0.93 cores=0-3,8-11
/proc/10815/task/10826/stat : 10826 (java) S 10814 10814 18810 0 -1 1077944384 6438 0 0 0 42 51 0 0 20 0 28 0 4388088 14133010432 320169 33554432000 4194304 4196468 140725945658752 140005180635120 140005987015298 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17444864 140725945660604 140725945660780 140725945660780 140725945663439 0
[pid=10815/tid=10827] ppid=10814 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/10815/task/10827/stat : 10827 (java) S 10814 10814 18810 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 28 0 4388088 14133010432 320169 33554432000 4194304 4196468 140725945658752 140005179581408 140005987014357 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17444864 140725945660604 140725945660780 140725945660780 140725945663439 0
[pid=10815/tid=10828] ppid=10814 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/10815/task/10828/stat : 10828 (java) S 10814 10814 18810 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 28 0 4388089 14133010432 320169 33554432000 4194304 4196468 140725945658752 140005178528768 140005987014357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17444864 140725945660604 140725945660780 140725945660780 140725945663439 0
[pid=10815/tid=10829] ppid=10814 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/10815/task/10829/stat : 10829 (java) S 10814 10814 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4388092 14133010432 320169 33554432000 4194304 4196468 140725945658752 140005177477328 140005987022747 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 17444864 140725945660604 140725945660780 140725945660780 140725945663439 0
[pid=10815/tid=10830] ppid=10814 vsize=13801768 CPUtime=4.58 cores=0-3,8-11
/proc/10815/task/10830/stat : 10830 (java) S 10814 10814 18810 0 -1 1077944384 22760 0 0 0 455 3 0 0 20 0 28 0 4388092 14133010432 320169 33554432000 4194304 4196468 140725945658752 140005176424944 140005987015298 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17444864 140725945660604 140725945660780 140725945660780 140725945663439 0
[pid=10815/tid=10831] ppid=10814 vsize=13801768 CPUtime=4.46 cores=0-3,8-11
/proc/10815/task/10831/stat : 10831 (java) S 10814 10814 18810 0 -1 1077944384 20654 0 0 0 442 4 0 0 20 0 28 0 4388092 14133010432 320169 33554432000 4194304 4196468 140725945658752 140005175372400 140005987015298 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 17444864 140725945660604 140725945660780 140725945660780 140725945663439 0
[pid=10815/tid=10832] ppid=10814 vsize=13801768 CPUtime=4.46 cores=0-3,8-11
/proc/10815/task/10832/stat : 10832 (java) S 10814 10814 18810 0 -1 1077944384 21834 0 0 0 443 3 0 0 20 0 28 0 4388092 14133010432 320169 33554432000 4194304 4196468 140725945658752 140005174319856 140005987015298 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17444864 140725945660604 140725945660780 140725945660780 140725945663439 0
[pid=10815/tid=10833] ppid=10814 vsize=13801768 CPUtime=1.27 cores=0-3,8-11
/proc/10815/task/10833/stat : 10833 (java) S 10814 10814 18810 0 -1 1077944384 14145 0 0 0 124 3 0 0 20 0 28 0 4388092 14133010432 320169 33554432000 4194304 4196468 140725945658752 140005173267312 140005987015298 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17444864 140725945660604 140725945660780 140725945660780 140725945663439 0
[pid=10815/tid=10834] ppid=10814 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/10815/task/10834/stat : 10834 (java) S 10814 10814 18810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4388092 14133010432 320169 33554432000 4194304 4196468 140725945658752 140005172213984 140005987014357 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 17444864 140725945660604 140725945660780 140725945660780 140725945663439 0
[pid=10815/tid=10835] ppid=10814 vsize=13801768 CPUtime=0.14 cores=0-3,8-11
/proc/10815/task/10835/stat : 10835 (java) S 10814 10814 18810 0 -1 1077944384 2116 0 0 0 7 7 0 0 20 0 28 0 4388093 14133010432 320169 33554432000 4194304 4196468 140725945658752 140005171161520 140005987015298 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 17444864 140725945660604 140725945660780 140725945660780 140725945663439 0
[pid=10815/tid=12097] ppid=10814 vsize=13801768 CPUtime=81.78 cores=0-3,8-11
/proc/10815/task/12097/stat : 12097 (java) R 10814 10814 18810 0 -1 4202560 1213 0 0 0 8178 0 0 0 20 0 28 0 4410523 14133010432 320169 33554432000 4194304 4196468 140725945658752 140005159987912 140005622653138 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 17444864 140725945660604 140725945660780 140725945660780 140725945663439 0
[pid=10815/tid=12098] ppid=10814 vsize=13801768 CPUtime=81.54 cores=0-3,8-11
/proc/10815/task/12098/stat : 12098 (java) R 10814 10814 18810 0 -1 4202560 1168 0 0 0 8153 1 0 0 20 0 28 0 4410523 14133010432 320169 33554432000 4194304 4196468 140725945658752 140005157883784 140005622715679 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 17444864 140725945660604 140725945660780 140725945660780 140725945663439 0
[pid=10815/tid=12099] ppid=10814 vsize=13801768 CPUtime=81.9 cores=0-3,8-11
/proc/10815/task/12099/stat : 12099 (java) R 10814 10814 18810 0 -1 4202560 1427 0 0 0 8189 1 0 0 20 0 28 0 4410523 14133010432 320169 33554432000 4194304 4196468 140725945658752 140005163147208 140005624223396 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17444864 140725945660604 140725945660780 140725945660780 140725945663439 0
[pid=10815/tid=12100] ppid=10814 vsize=13801768 CPUtime=81.59 cores=0-3,8-11
/proc/10815/task/12100/stat : 12100 (java) R 10814 10814 18810 0 -1 4202560 1446 0 0 0 8158 1 0 0 20 0 28 0 4410523 14133010432 320169 33554432000 4194304 4196468 140725945658752 140005156831368 140005624297205 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17444864 140725945660604 140725945660780 140725945660780 140725945663439 0
[pid=10815/tid=12101] ppid=10814 vsize=13801768 CPUtime=81.64 cores=0-3,8-11
/proc/10815/task/12101/stat : 12101 (java) R 10814 10814 18810 0 -1 4202560 1010 0 0 0 8163 1 0 0 20 0 28 0 4410523 14133010432 320169 33554432000 4194304 4196468 140725945658752 140005155781168 140005624297205 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 17444864 140725945660604 140725945660780 140725945660780 140725945663439 0
[pid=10815/tid=12102] ppid=10814 vsize=13801768 CPUtime=81.95 cores=0-3,8-11
/proc/10815/task/12102/stat : 12102 (java) R 10814 10814 18810 0 -1 4202560 875 0 0 0 8194 1 0 0 20 0 28 0 4410523 14133010432 320169 33554432000 4194304 4196468 140725945658752 140005162094752 140005623509980 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 17444864 140725945660604 140725945660780 140725945660780 140725945663439 0
[pid=10815/tid=12103] ppid=10814 vsize=13801768 CPUtime=81.81 cores=0-3,8-11
/proc/10815/task/12103/stat : 12103 (java) R 10814 10814 18810 0 -1 4202560 1293 0 0 0 8180 1 0 0 20 0 28 0 4410523 14133010432 320169 33554432000 4194304 4196468 140725945658752 140005161041288 140005623511718 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17444864 140725945660604 140725945660780 140725945660780 140725945663439 0
[pid=10815/tid=12104] ppid=10814 vsize=13801768 CPUtime=81.56 cores=0-3,8-11
/proc/10815/task/12104/stat : 12104 (java) R 10814 10814 18810 0 -1 4202560 1518 0 0 0 8155 1 0 0 20 0 28 0 4410523 14133010432 320169 33554432000 4194304 4196468 140725945658752 140005158936024 140005622715734 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17444864 140725945660604 140725945660780 140725945660780 140725945663439 0
Current children cumulated CPU time (s) 2400.16
Current children cumulated vsize (KiB) 13811280
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 10815 sig 9
??? kill 10814 sig 9
??? kill -10814 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 10814 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=786
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=2359
# CPU time returned by wait4() is 0.003145
# while last known CPU time is 2400.16
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 308.032
CPU time (s): 2400.16
CPU user time (s): 2396.72
CPU system time (s): 3.44
CPU usage (%): 779.193
Max. virtual memory (cumulated for all children) (KiB): 13811280
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.000786
system time used= 0.002359
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= 2
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.92486 second user time and 4.23512 second system time
The end