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-4247693-1500690556/watcher-4247693-1500690556 -o /tmp/evaluation-result-4247693-1500690556/solver-4247693-1500690556 -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 228501637 HOME/instance-4247693-1500690556.xml
pid=9696
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.04 14.87 12.48 10/275 9699
/proc/meminfo: memFree=30983028/32770624 swapFree=5944/261148
[pid=9699] ppid=9696 vsize=9512 CPUtime=0 cores=0-3,8-11
/proc/9699/stat : 9699 (xcsp3-exec) S 9696 9699 18810 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 4322716 9740288 345 33554432000 4194304 5098028 140723789896560 140723789894664 139734398124668 0 65536 4100 65538 18446744071579417331 0 0 17 10 0 0 0 0 0 7196144 7232144 24854528 140723789902991 140723789903200 140723789903200 140723789905899 0
/proc/9699/statm: 2378 345 289 221 0 87 0
[startup+0.100101 s]
/proc/loadavg: 16.04 14.87 12.48 10/275 9699
/proc/meminfo: memFree=30983028/32770624 swapFree=5944/261148
[pid=9699] ppid=9696 vsize=9512 CPUtime=0 cores=0-3,8-11
/proc/9699/stat : 9699 (xcsp3-exec) S 9696 9699 18810 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 4322716 9740288 345 33554432000 4194304 5098028 140723789896560 140723789894664 139734398124668 0 65536 4100 65538 18446744071579417331 0 0 17 10 0 0 0 0 0 7196144 7232144 24854528 140723789902991 140723789903200 140723789903200 140723789905899 0
/proc/9699/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200283 s]
/proc/loadavg: 16.04 14.87 12.48 10/275 9699
/proc/meminfo: memFree=30983028/32770624 swapFree=5944/261148
[pid=9699] ppid=9696 vsize=9512 CPUtime=0 cores=0-3,8-11
/proc/9699/stat : 9699 (xcsp3-exec) S 9696 9699 18810 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 4322716 9740288 345 33554432000 4194304 5098028 140723789896560 140723789894664 139734398124668 0 65536 4100 65538 18446744071579417331 0 0 17 10 0 0 0 0 0 7196144 7232144 24854528 140723789902991 140723789903200 140723789903200 140723789905899 0
/proc/9699/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300336 s]
/proc/loadavg: 16.04 14.87 12.48 10/275 9699
/proc/meminfo: memFree=30983028/32770624 swapFree=5944/261148
[pid=9699] ppid=9696 vsize=9512 CPUtime=0 cores=0-3,8-11
/proc/9699/stat : 9699 (xcsp3-exec) S 9696 9699 18810 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 4322716 9740288 345 33554432000 4194304 5098028 140723789896560 140723789894664 139734398124668 0 65536 4100 65538 18446744071579417331 0 0 17 10 0 0 0 0 0 7196144 7232144 24854528 140723789902991 140723789903200 140723789903200 140723789905899 0
/proc/9699/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700176 s]
/proc/loadavg: 16.04 14.87 12.48 10/275 9699
/proc/meminfo: memFree=30983028/32770624 swapFree=5944/261148
[pid=9699] ppid=9696 vsize=9512 CPUtime=0 cores=0-3,8-11
/proc/9699/stat : 9699 (xcsp3-exec) S 9696 9699 18810 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 4322716 9740288 345 33554432000 4194304 5098028 140723789896560 140723789894664 139734398124668 0 65536 4100 65538 18446744071579417331 0 0 17 10 0 0 0 0 0 7196144 7232144 24854528 140723789902991 140723789903200 140723789903200 140723789905899 0
/proc/9699/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50117 s]
/proc/loadavg: 16.04 14.87 12.48 13/296 9720
/proc/meminfo: memFree=30817516/32770624 swapFree=5944/261220
[pid=9699] ppid=9696 vsize=9512 CPUtime=0 cores=0-3,8-11
/proc/9699/stat : 9699 (xcsp3-exec) S 9696 9699 18810 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 4322716 9740288 345 33554432000 4194304 5098028 140723789896560 140723789894664 139734398124668 0 65536 4100 65538 18446744071579417331 0 0 17 10 0 0 0 0 0 7196144 7232144 24854528 140723789902991 140723789903200 140723789903200 140723789905899 0
/proc/9699/statm: 2378 345 289 221 0 87 0
[pid=9700] ppid=9699 vsize=13801768 CPUtime=5.89 cores=0-3,8-11
/proc/9700/stat : 9700 (java) S 9699 9699 18810 0 -1 1077944320 27037 0 0 0 572 17 0 0 20 0 28 0 4322717 14133010432 57444 33554432000 4194304 4196468 140735051510112 140735051492656 140500346916599 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 22016000 140735051515068 140735051515244 140735051515244 140735051517903 0
/proc/9700/statm: 3450442 57444 3260 1 0 3437675 0
[pid=9700/tid=9701] ppid=9699 vsize=13801768 CPUtime=1.31 cores=0-3,8-11
/proc/9700/task/9701/stat : 9701 (java) S 9699 9699 18810 0 -1 1077944384 7335 0 0 0 126 5 0 0 20 0 28 0 4322717 14133010432 57444 33554432000 4194304 4196468 140735051510112 140500351157376 140500346926805 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 22016000 140735051515068 140735051515244 140735051515244 140735051517903 0
[pid=9700/tid=9703] ppid=9699 vsize=13801768 CPUtime=0.02 cores=0-3,8-11
/proc/9700/task/9703/stat : 9703 (java) S 9699 9699 18810 0 -1 1077944384 100 0 0 0 1 1 0 0 20 0 28 0 4322718 14133010432 57444 33554432000 4194304 4196468 140735051510112 140500265396880 140500346926805 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 22016000 140735051515068 140735051515244 140735051515244 140735051517903 0
[pid=9700/tid=9704] ppid=9699 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/9700/task/9704/stat : 9704 (java) S 9699 9699 18810 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 28 0 4322718 14133010432 57444 33554432000 4194304 4196468 140735051510112 140500264344080 140500346926805 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 22016000 140735051515068 140735051515244 140735051515244 140735051517903 0
[pid=9700/tid=9705] ppid=9699 vsize=13801768 CPUtime=0.02 cores=0-3,8-11
/proc/9700/task/9705/stat : 9705 (java) S 9699 9699 18810 0 -1 1077944384 110 0 0 0 1 1 0 0 20 0 28 0 4322718 14133010432 57444 33554432000 4194304 4196468 140735051510112 140500263291280 140500346926805 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 22016000 140735051515068 140735051515244 140735051515244 140735051517903 0
[pid=9700/tid=9706] ppid=9699 vsize=13801768 CPUtime=0.02 cores=0-3,8-11
/proc/9700/task/9706/stat : 9706 (java) S 9699 9699 18810 0 -1 1077944384 74 0 0 0 1 1 0 0 20 0 28 0 4322718 14133010432 57444 33554432000 4194304 4196468 140735051510112 140500262238480 140500346926805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22016000 140735051515068 140735051515244 140735051515244 140735051517903 0
[pid=9700/tid=9707] ppid=9699 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/9700/task/9707/stat : 9707 (java) S 9699 9699 18810 0 -1 1077944384 32 0 0 0 0 0 0 0 20 0 28 0 4322718 14133010432 57444 33554432000 4194304 4196468 140735051510112 140500261186704 140500346926805 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22016000 140735051515068 140735051515244 140735051515244 140735051517903 0
[pid=9700/tid=9708] ppid=9699 vsize=13801768 CPUtime=0.02 cores=0-3,8-11
/proc/9700/task/9708/stat : 9708 (java) S 9699 9699 18810 0 -1 1077944384 76 0 0 0 1 1 0 0 20 0 28 0 4322718 14133010432 57444 33554432000 4194304 4196468 140735051510112 140500260133904 140500346926805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22016000 140735051515068 140735051515244 140735051515244 140735051517903 0
[pid=9700/tid=9709] ppid=9699 vsize=13801768 CPUtime=0.01 cores=0-3,8-11
/proc/9700/task/9709/stat : 9709 (java) S 9699 9699 18810 0 -1 1077944384 128 0 0 0 0 1 0 0 20 0 28 0 4322718 14133010432 57444 33554432000 4194304 4196468 140735051510112 140499939748752 140500346926805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22016000 140735051515068 140735051515244 140735051515244 140735051517903 0
[pid=9700/tid=9710] ppid=9699 vsize=13801768 CPUtime=0.01 cores=0-3,8-11
/proc/9700/task/9710/stat : 9710 (java) S 9699 9699 18810 0 -1 1077944384 111 0 0 0 1 0 0 0 20 0 28 0 4322718 14133010432 57444 33554432000 4194304 4196468 140735051510112 140499938695952 140500346926805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22016000 140735051515068 140735051515244 140735051515244 140735051517903 0
[pid=9700/tid=9711] ppid=9699 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/9700/task/9711/stat : 9711 (java) S 9699 9699 18810 0 -1 1077944384 116 0 0 0 0 0 0 0 20 0 28 0 4322721 14133010432 57444 33554432000 4194304 4196468 140735051510112 140499674954096 140500346927746 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22016000 140735051515068 140735051515244 140735051515244 140735051517903 0
[pid=9700/tid=9712] ppid=9699 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/9700/task/9712/stat : 9712 (java) S 9699 9699 18810 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 28 0 4322722 14133010432 57444 33554432000 4194304 4196468 140735051510112 140499673900128 140500346926805 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22016000 140735051515068 140735051515244 140735051515244 140735051517903 0
[pid=9700/tid=9713] ppid=9699 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/9700/task/9713/stat : 9713 (java) S 9699 9699 18810 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 28 0 4322722 14133010432 57444 33554432000 4194304 4196468 140735051510112 140499672847216 140500346926805 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22016000 140735051515068 140735051515244 140735051515244 140735051517903 0
[pid=9700/tid=9714] ppid=9699 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/9700/task/9714/stat : 9714 (java) S 9699 9699 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4322726 14133010432 57444 33554432000 4194304 4196468 140735051510112 140499671795536 140500346935195 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 22016000 140735051515068 140735051515244 140735051515244 140735051517903 0
[pid=9700/tid=9715] ppid=9699 vsize=13801768 CPUtime=1.02 cores=0-3,8-11
/proc/9700/task/9715/stat : 9715 (java) R 9699 9699 18810 0 -1 4202560 5470 0 0 0 102 0 0 0 20 0 28 0 4322726 14133010432 57444 33554432000 4194304 4196468 140735051510112 140499670730144 140500332041721 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 22016000 140735051515068 140735051515244 140735051515244 140735051517903 0
[pid=9700/tid=9716] ppid=9699 vsize=13801768 CPUtime=1.04 cores=0-3,8-11
/proc/9700/task/9716/stat : 9716 (java) R 9699 9699 18810 0 -1 4202560 4189 0 0 0 104 0 0 0 20 0 28 0 4322726 14133010432 57444 33554432000 4194304 4196468 140735051510112 140499669679440 140500330822432 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22016000 140735051515068 140735051515244 140735051515244 140735051517903 0
[pid=9700/tid=9717] ppid=9699 vsize=13801768 CPUtime=0.97 cores=0-3,8-11
/proc/9700/task/9717/stat : 9717 (java) R 9699 9699 18810 0 -1 4202560 3639 0 0 0 97 0 0 0 20 0 28 0 4322726 14133010432 57444 33554432000 4194304 4196468 140735051510112 140499668626160 140500346930463 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 22016000 140735051515068 140735051515244 140735051515244 140735051517903 0
[pid=9700/tid=9718] ppid=9699 vsize=13801768 CPUtime=0.75 cores=0-3,8-11
/proc/9700/task/9718/stat : 9718 (java) R 9699 9699 18810 0 -1 1077944384 3973 0 0 0 74 1 0 0 20 0 28 0 4322726 14133010432 57444 33554432000 4194304 4196468 140735051510112 140499667579840 140500346926805 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 22016000 140735051515068 140735051515244 140735051515244 140735051517903 0
[pid=9700/tid=9719] ppid=9699 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/9700/task/9719/stat : 9719 (java) S 9699 9699 18810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4322726 14133010432 57444 33554432000 4194304 4196468 140735051510112 140499666532960 140500346926805 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 22016000 140735051515068 140735051515244 140735051515244 140735051517903 0
[pid=9700/tid=9720] ppid=9699 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/9700/task/9720/stat : 9720 (java) S 9699 9699 18810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4322726 14133010432 57444 33554432000 4194304 4196468 140735051510112 140499665480240 140500346927746 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22016000 140735051515068 140735051515244 140735051515244 140735051517903 0
Current children cumulated CPU time (s) 5.89
Current children cumulated vsize (KiB) 13811280
[startup+3.10153 s]
/proc/loadavg: 16.36 14.96 12.52 21/304 9728
/proc/meminfo: memFree=30762776/32770624 swapFree=5944/261220
[pid=9699] ppid=9696 vsize=9512 CPUtime=0 cores=0-3,8-11
/proc/9699/stat : 9699 (xcsp3-exec) S 9696 9699 18810 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 4322716 9740288 345 33554432000 4194304 5098028 140723789896560 140723789894664 139734398124668 0 65536 4100 65538 18446744071579417331 0 0 17 10 0 0 0 0 0 7196144 7232144 24854528 140723789902991 140723789903200 140723789903200 140723789905899 0
/proc/9699/statm: 2378 345 289 221 0 87 0
[pid=9700] ppid=9699 vsize=13801768 CPUtime=18.54 cores=0-3,8-11
/proc/9700/stat : 9700 (java) S 9699 9699 18810 0 -1 1077944320 31596 0 0 0 1834 20 0 0 20 0 28 0 4322717 14133010432 59059 33554432000 4194304 4196468 140735051510112 140735051492656 140500346916599 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 22016000 140735051515068 140735051515244 140735051515244 140735051517903 0
/proc/9700/statm: 3450442 59059 3281 1 0 3437675 0
[pid=9700/tid=9701] ppid=9699 vsize=13801768 CPUtime=1.31 cores=0-3,8-11
/proc/9700/task/9701/stat : 9701 (java) S 9699 9699 18810 0 -1 1077944384 7335 0 0 0 126 5 0 0 20 0 28 0 4322717 14133010432 59059 33554432000 4194304 4196468 140735051510112 140500351157376 140500346926805 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 22016000 140735051515068 140735051515244 140735051515244 140735051517903 0
[pid=9700/tid=9703] ppid=9699 vsize=13801768 CPUtime=0.02 cores=0-3,8-11
/proc/9700/task/9703/stat : 9703 (java) S 9699 9699 18810 0 -1 1077944384 100 0 0 0 1 1 0 0 20 0 28 0 4322718 14133010432 59059 33554432000 4194304 4196468 140735051510112 140500265396880 140500346926805 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 22016000 140735051515068 140735051515244 140735051515244 140735051517903 0
[pid=9700/tid=9704] ppid=9699 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/9700/task/9704/stat : 9704 (java) S 9699 9699 18810 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 28 0 4322718 14133010432 59059 33554432000 4194304 4196468 140735051510112 140500264344080 140500346926805 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 22016000 140735051515068 140735051515244 140735051515244 140735051517903 0
[pid=9700/tid=9705] ppid=9699 vsize=13801768 CPUtime=0.02 cores=0-3,8-11
/proc/9700/task/9705/stat : 9705 (java) S 9699 9699 18810 0 -1 1077944384 110 0 0 0 1 1 0 0 20 0 28 0 4322718 14133010432 59059 33554432000 4194304 4196468 140735051510112 140500263291280 140500346926805 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 22016000 140735051515068 140735051515244 140735051515244 140735051517903 0
[pid=9700/tid=9706] ppid=9699 vsize=13801768 CPUtime=0.02 cores=0-3,8-11
/proc/9700/task/9706/stat : 9706 (java) S 9699 9699 18810 0 -1 1077944384 74 0 0 0 1 1 0 0 20 0 28 0 4322718 14133010432 59059 33554432000 4194304 4196468 140735051510112 140500262238480 140500346926805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22016000 140735051515068 140735051515244 140735051515244 140735051517903 0
[pid=9700/tid=9707] ppid=9699 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/9700/task/9707/stat : 9707 (java) S 9699 9699 18810 0 -1 1077944384 32 0 0 0 0 0 0 0 20 0 28 0 4322718 14133010432 59059 33554432000 4194304 4196468 140735051510112 140500261186704 140500346926805 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22016000 140735051515068 140735051515244 140735051515244 140735051517903 0
[pid=9700/tid=9708] ppid=9699 vsize=13801768 CPUtime=0.02 cores=0-3,8-11
/proc/9700/task/9708/stat : 9708 (java) S 9699 9699 18810 0 -1 1077944384 76 0 0 0 1 1 0 0 20 0 28 0 4322718 14133010432 59059 33554432000 4194304 4196468 140735051510112 140500260133904 140500346926805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22016000 140735051515068 140735051515244 140735051515244 140735051517903 0
[pid=9700/tid=9709] ppid=9699 vsize=13801768 CPUtime=0.01 cores=0-3,8-11
/proc/9700/task/9709/stat : 9709 (java) S 9699 9699 18810 0 -1 1077944384 128 0 0 0 0 1 0 0 20 0 28 0 4322718 14133010432 59059 33554432000 4194304 4196468 140735051510112 140499939748752 140500346926805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22016000 140735051515068 140735051515244 140735051515244 140735051517903 0
[pid=9700/tid=9710] ppid=9699 vsize=13801768 CPUtime=0.01 cores=0-3,8-11
/proc/9700/task/9710/stat : 9710 (java) S 9699 9699 18810 0 -1 1077944384 111 0 0 0 1 0 0 0 20 0 28 0 4322718 14133010432 59059 33554432000 4194304 4196468 140735051510112 140499938695952 140500346926805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22016000 140735051515068 140735051515244 140735051515244 140735051517903 0
[pid=9700/tid=9711] ppid=9699 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/9700/task/9711/stat : 9711 (java) S 9699 9699 18810 0 -1 1077944384 147 0 0 0 0 0 0 0 20 0 28 0 4322721 14133010432 59059 33554432000 4194304 4196468 140735051510112 140499674954096 140500346927746 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22016000 140735051515068 140735051515244 140735051515244 140735051517903 0
[pid=9700/tid=9712] ppid=9699 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/9700/task/9712/stat : 9712 (java) S 9699 9699 18810 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 28 0 4322722 14133010432 59059 33554432000 4194304 4196468 140735051510112 140499673900128 140500346926805 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22016000 140735051515068 140735051515244 140735051515244 140735051517903 0
[pid=9700/tid=9713] ppid=9699 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/9700/task/9713/stat : 9713 (java) S 9699 9699 18810 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 28 0 4322722 14133010432 59059 33554432000 4194304 4196468 140735051510112 140499672847216 140500346926805 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22016000 140735051515068 140735051515244 140735051515244 140735051517903 0
[pid=9700/tid=9714] ppid=9699 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/9700/task/9714/stat : 9714 (java) S 9699 9699 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4322726 14133010432 59059 33554432000 4194304 4196468 140735051510112 140499671795536 140500346935195 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 22016000 140735051515068 140735051515244 140735051515244 140735051517903 0
[pid=9700/tid=9715] ppid=9699 vsize=13801768 CPUtime=1.95 cores=0-3,8-11
/proc/9700/task/9715/stat : 9715 (java) S 9699 9699 18810 0 -1 1077944384 5894 0 0 0 195 0 0 0 20 0 28 0 4322726 14133010432 59059 33554432000 4194304 4196468 140735051510112 140499670743920 140500346927746 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22016000 140735051515068 140735051515244 140735051515244 140735051517903 0
[pid=9700/tid=9716] ppid=9699 vsize=13801768 CPUtime=2.14 cores=0-3,8-11
/proc/9700/task/9716/stat : 9716 (java) S 9699 9699 18810 0 -1 1077944384 4879 0 0 0 214 0 0 0 20 0 28 0 4322726 14133010432 59059 33554432000 4194304 4196468 140735051510112 140499669691120 140500346927746 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 22016000 140735051515068 140735051515244 140735051515244 140735051517903 0
[pid=9700/tid=9717] ppid=9699 vsize=13801768 CPUtime=1.81 cores=0-3,8-11
/proc/9700/task/9717/stat : 9717 (java) S 9699 9699 18810 0 -1 1077944384 5174 0 0 0 180 1 0 0 20 0 28 0 4322726 14133010432 59059 33554432000 4194304 4196468 140735051510112 140499668638320 140500346927746 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 22016000 140735051515068 140735051515244 140735051515244 140735051517903 0
[pid=9700/tid=9718] ppid=9699 vsize=13801768 CPUtime=1.09 cores=0-3,8-11
/proc/9700/task/9718/stat : 9718 (java) S 9699 9699 18810 0 -1 1077944384 5290 0 0 0 107 2 0 0 20 0 28 0 4322726 14133010432 59059 33554432000 4194304 4196468 140735051510112 140499667585520 140500346927746 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22016000 140735051515068 140735051515244 140735051515244 140735051517903 0
[pid=9700/tid=9719] ppid=9699 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/9700/task/9719/stat : 9719 (java) S 9699 9699 18810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4322726 14133010432 59059 33554432000 4194304 4196468 140735051510112 140499666532960 140500346926805 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 22016000 140735051515068 140735051515244 140735051515244 140735051517903 0
[pid=9700/tid=9720] ppid=9699 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/9700/task/9720/stat : 9720 (java) S 9699 9699 18810 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 28 0 4322726 14133010432 59059 33554432000 4194304 4196468 140735051510112 140499665480240 140500346927746 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22016000 140735051515068 140735051515244 140735051515244 140735051517903 0
[pid=9700/tid=9721] ppid=9699 vsize=13801768 CPUtime=1.12 cores=0-3,8-11
/proc/9700/task/9721/stat : 9721 (java) R 9699 9699 18810 0 -1 4202560 87 0 0 0 112 0 0 0 20 0 28 0 4322854 14133010432 59059 33554432000 4194304 4196468 140735051510112 140499657464872 140499948060632 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 22016000 140735051515068 140735051515244 140735051515244 140735051517903 0
[pid=9700/tid=9722] ppid=9699 vsize=13801768 CPUtime=1.14 cores=0-3,8-11
/proc/9700/task/9722/stat : 9722 (java) R 9699 9699 18810 0 -1 4202560 91 0 0 0 114 0 0 0 20 0 28 0 4322854 14133010432 59059 33554432000 4194304 4196468 140735051510112 140499656412920 140499948060512 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 22016000 140735051515068 140735051515244 140735051515244 140735051517903 0
[pid=9700/tid=9723] ppid=9699 vsize=13801768 CPUtime=1.35 cores=0-3,8-11
/proc/9700/task/9723/stat : 9723 (java) R 9699 9699 18810 0 -1 4202560 194 0 0 0 135 0 0 0 20 0 28 0 4322854 14133010432 59059 33554432000 4194304 4196468 140735051510112 140499453203112 140499947279948 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22016000 140735051515068 140735051515244 140735051515244 140735051517903 0
[pid=9700/tid=9724] ppid=9699 vsize=13801768 CPUtime=1.31 cores=0-3,8-11
/proc/9700/task/9724/stat : 9724 (java) R 9699 9699 18810 0 -1 4202560 131 0 0 0 131 0 0 0 20 0 28 0 4322854 14133010432 59059 33554432000 4194304 4196468 140735051510112 140499452151736 140499947559410 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22016000 140735051515068 140735051515244 140735051515244 140735051517903 0
[pid=9700/tid=9725] ppid=9699 vsize=13801768 CPUtime=1.15 cores=0-3,8-11
/proc/9700/task/9725/stat : 9725 (java) R 9699 9699 18810 0 -1 4202560 109 0 0 0 115 0 0 0 20 0 28 0 4322854 14133010432 59059 33554432000 4194304 4196468 140735051510112 140499451097552 140499947534501 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22016000 140735051515068 140735051515244 140735051515244 140735051517903 0
[pid=9700/tid=9726] ppid=9699 vsize=13801768 CPUtime=1.44 cores=0-3,8-11
/proc/9700/task/9726/stat : 9726 (java) R 9699 9699 18810 0 -1 4202560 71 0 0 0 144 0 0 0 20 0 28 0 4322854 14133010432 59059 33554432000 4194304 4196468 140735051510112 140499450047176 140499948815802 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 22016000 140735051515068 140735051515244 140735051515244 140735051517903 0
[pid=9700/tid=9727] ppid=9699 vsize=13801768 CPUtime=1.19 cores=0-3,8-11
/proc/9700/task/9727/stat : 9727 (java) R 9699 9699 18810 0 -1 4202560 125 0 0 0 119 0 0 0 20 0 28 0 4322854 14133010432 59059 33554432000 4194304 4196468 140735051510112 140499448992512 140499948060604 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22016000 140735051515068 140735051515244 140735051515244 140735051517903 0
[pid=9700/tid=9728] ppid=9699 vsize=13801768 CPUtime=1.25 cores=0-3,8-11
/proc/9700/task/9728/stat : 9728 (java) R 9699 9699 18810 0 -1 4202560 51 0 0 0 125 0 0 0 20 0 28 0 4322854 14133010432 59059 33554432000 4194304 4196468 140735051510112 140499447941112 140499948332323 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 22016000 140735051515068 140735051515244 140735051515244 140735051517903 0
Current children cumulated CPU time (s) 18.54
Current children cumulated vsize (KiB) 13811280
[startup+6.3016 s]
/proc/loadavg: 16.36 14.96 12.52 17/304 9728
/proc/meminfo: memFree=30719528/32770624 swapFree=5944/261220
[pid=9699] ppid=9696 vsize=9512 CPUtime=0 cores=0-3,8-11
/proc/9699/stat : 9699 (xcsp3-exec) S 9696 9699 18810 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 4322716 9740288 345 33554432000 4194304 5098028 140723789896560 140723789894664 139734398124668 0 65536 4100 65538 18446744071579417331 0 0 17 10 0 0 0 0 0 7196144 7232144 24854528 140723789902991 140723789903200 140723789903200 140723789905899 0
/proc/9699/statm: 2378 345 289 221 0 87 0
[pid=9700] ppid=9699 vsize=13801768 CPUtime=43.89 cores=0-3,8-11
/proc/9700/stat : 9700 (java) S 9699 9699 18810 0 -1 1077944320 38818 0 0 0 4348 41 0 0 20 0 28 0 4322717 14133010432 80189 33554432000 4194304 4196468 140735051510112 140735051492656 140500346916599 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 22016000 140735051515068 140735051515244 140735051515244 140735051517903 0
/proc/9700/statm: 3450442 80189 3284 1 0 3437675 0
[pid=9700/tid=9701] ppid=9699 vsize=13801768 CPUtime=1.31 cores=0-3,8-11
/proc/9700/task/9701/stat : 9701 (java) S 9699 9699 18810 0 -1 1077944384 7335 0 0 0 126 5 0 0 20 0 28 0 4322717 14133010432 80189 33554432000 4194304 4196468 140735051510112 140500351157376 140500346926805 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 22016000 140735051515068 140735051515244 140735051515244 140735051517903 0
[pid=9700/tid=9703] ppid=9699 vsize=13801768 CPUtime=0.07 cores=0-3,8-11
/proc/9700/task/9703/stat : 9703 (java) S 9699 9699 18810 0 -1 1077944384 172 0 0 0 4 3 0 0 20 0 28 0 4322718 14133010432 80189 33554432000 4194304 4196468 140735051510112 140500265396880 140500346926805 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 22016000 140735051515068 140735051515244 140735051515244 140735051517903 0
[pid=9700/tid=9704] ppid=9699 vsize=13801768 CPUtime=0.02 cores=0-3,8-11
/proc/9700/task/9704/stat : 9704 (java) S 9699 9699 18810 0 -1 1077944384 96 0 0 0 1 1 0 0 20 0 28 0 4322718 14133010432 80189 33554432000 4194304 4196468 140735051510112 140500264344080 140500346926805 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 22016000 140735051515068 140735051515244 140735051515244 140735051517903 0
[pid=9700/tid=9705] ppid=9699 vsize=13801768 CPUtime=0.06 cores=0-3,8-11
/proc/9700/task/9705/stat : 9705 (java) S 9699 9699 18810 0 -1 1077944384 152 0 0 0 3 3 0 0 20 0 28 0 4322718 14133010432 80189 33554432000 4194304 4196468 140735051510112 140500263291280 140500346926805 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22016000 140735051515068 140735051515244 140735051515244 140735051517903 0
[pid=9700/tid=9706] ppid=9699 vsize=13801768 CPUtime=0.07 cores=0-3,8-11
/proc/9700/task/9706/stat : 9706 (java) S 9699 9699 18810 0 -1 1077944384 867 0 0 0 5 2 0 0 20 0 28 0 4322718 14133010432 80189 33554432000 4194304 4196468 140735051510112 140500262238480 140500346926805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22016000 140735051515068 140735051515244 140735051515244 140735051517903 0
################
# More data... #
################
[pid=9700/tid=9727] ppid=9699 vsize=13801768 CPUtime=218.14 cores=0-3,8-11
/proc/9700/task/9727/stat : 9727 (java) R 9699 9699 18810 0 -1 4202560 810 0 0 0 21814 0 0 0 20 0 28 0 4322854 14133010432 237213 33554432000 4194304 4196468 140735051510112 140499448994528 140499946809178 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 22016000 140735051515068 140735051515244 140735051515244 140735051517903 0
[pid=9700/tid=9728] ppid=9699 vsize=13801768 CPUtime=218.31 cores=0-3,8-11
/proc/9700/task/9728/stat : 9728 (java) R 9699 9699 18810 0 -1 4202560 923 0 0 0 21829 2 0 0 20 0 28 0 4322854 14133010432 237213 33554432000 4194304 4196468 140735051510112 140499447939080 140499947535102 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 22016000 140735051515068 140735051515244 140735051515244 140735051517903 0
Current children cumulated CPU time (s) 1763.89
Current children cumulated vsize (KiB) 13811280
[startup+282.302 s]
/proc/loadavg: 16.08 15.70 13.47 17/302 10186
/proc/meminfo: memFree=30698068/32770624 swapFree=5944/261604
[pid=9699] ppid=9696 vsize=9512 CPUtime=0 cores=0-3,8-11
/proc/9699/stat : 9699 (xcsp3-exec) S 9696 9699 18810 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 4322716 9740288 345 33554432000 4194304 5098028 140723789896560 140723789894664 139734398124668 0 65536 4100 65538 18446744071579417331 0 0 17 10 0 0 0 0 0 7196144 7232144 24854528 140723789902991 140723789903200 140723789903200 140723789905899 0
/proc/9699/statm: 2378 345 289 221 0 87 0
[pid=9700] ppid=9699 vsize=13801768 CPUtime=2241.72 cores=0-3,8-11
/proc/9700/stat : 9700 (java) S 9699 9699 18810 0 -1 1077944320 85002 0 0 0 224044 128 0 0 20 0 28 0 4322717 14133010432 230931 33554432000 4194304 4196468 140735051510112 140735051492656 140500346916599 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 22016000 140735051515068 140735051515244 140735051515244 140735051517903 0
/proc/9700/statm: 3450442 230931 3284 1 0 3437675 0
[pid=9700/tid=9701] ppid=9699 vsize=13801768 CPUtime=1.31 cores=0-3,8-11
/proc/9700/task/9701/stat : 9701 (java) S 9699 9699 18810 0 -1 1077944384 7335 0 0 0 126 5 0 0 20 0 28 0 4322717 14133010432 230931 33554432000 4194304 4196468 140735051510112 140500351157376 140500346926805 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 22016000 140735051515068 140735051515244 140735051515244 140735051517903 0
[pid=9700/tid=9703] ppid=9699 vsize=13801768 CPUtime=0.25 cores=0-3,8-11
/proc/9700/task/9703/stat : 9703 (java) S 9699 9699 18810 0 -1 1077944384 629 0 0 0 16 9 0 0 20 0 28 0 4322718 14133010432 230931 33554432000 4194304 4196468 140735051510112 140500265396880 140500346926805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22016000 140735051515068 140735051515244 140735051515244 140735051517903 0
[pid=9700/tid=9704] ppid=9699 vsize=13801768 CPUtime=0.21 cores=0-3,8-11
/proc/9700/task/9704/stat : 9704 (java) S 9699 9699 18810 0 -1 1077944384 2179 0 0 0 13 8 0 0 20 0 28 0 4322718 14133010432 230931 33554432000 4194304 4196468 140735051510112 140500264344080 140500346926805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22016000 140735051515068 140735051515244 140735051515244 140735051517903 0
[pid=9700/tid=9705] ppid=9699 vsize=13801768 CPUtime=0.23 cores=0-3,8-11
/proc/9700/task/9705/stat : 9705 (java) S 9699 9699 18810 0 -1 1077944384 1527 0 0 0 15 8 0 0 20 0 28 0 4322718 14133010432 230931 33554432000 4194304 4196468 140735051510112 140500263291280 140500346926805 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 22016000 140735051515068 140735051515244 140735051515244 140735051517903 0
[pid=9700/tid=9706] ppid=9699 vsize=13801768 CPUtime=0.25 cores=0-3,8-11
/proc/9700/task/9706/stat : 9706 (java) S 9699 9699 18810 0 -1 1077944384 1354 0 0 0 16 9 0 0 20 0 28 0 4322718 14133010432 230931 33554432000 4194304 4196468 140735051510112 140500262238480 140500346926805 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22016000 140735051515068 140735051515244 140735051515244 140735051517903 0
[pid=9700/tid=9707] ppid=9699 vsize=13801768 CPUtime=0.24 cores=0-3,8-11
/proc/9700/task/9707/stat : 9707 (java) S 9699 9699 18810 0 -1 1077944384 1033 0 0 0 14 10 0 0 20 0 28 0 4322718 14133010432 230931 33554432000 4194304 4196468 140735051510112 140500261186704 140500346926805 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 22016000 140735051515068 140735051515244 140735051515244 140735051517903 0
[pid=9700/tid=9708] ppid=9699 vsize=13801768 CPUtime=0.26 cores=0-3,8-11
/proc/9700/task/9708/stat : 9708 (java) S 9699 9699 18810 0 -1 1077944384 1856 0 0 0 15 11 0 0 20 0 28 0 4322718 14133010432 230931 33554432000 4194304 4196468 140735051510112 140500260133904 140500346926805 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 22016000 140735051515068 140735051515244 140735051515244 140735051517903 0
[pid=9700/tid=9709] ppid=9699 vsize=13801768 CPUtime=0.23 cores=0-3,8-11
/proc/9700/task/9709/stat : 9709 (java) S 9699 9699 18810 0 -1 1077944384 1930 0 0 0 12 11 0 0 20 0 28 0 4322718 14133010432 230931 33554432000 4194304 4196468 140735051510112 140499939748752 140500346926805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22016000 140735051515068 140735051515244 140735051515244 140735051517903 0
[pid=9700/tid=9710] ppid=9699 vsize=13801768 CPUtime=0.22 cores=0-3,8-11
/proc/9700/task/9710/stat : 9710 (java) S 9699 9699 18810 0 -1 1077944384 876 0 0 0 13 9 0 0 20 0 28 0 4322718 14133010432 230931 33554432000 4194304 4196468 140735051510112 140499938695952 140500346926805 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 22016000 140735051515068 140735051515244 140735051515244 140735051517903 0
[pid=9700/tid=9711] ppid=9699 vsize=13801768 CPUtime=0.11 cores=0-3,8-11
/proc/9700/task/9711/stat : 9711 (java) S 9699 9699 18810 0 -1 1077944384 2735 0 0 0 6 5 0 0 20 0 28 0 4322721 14133010432 230931 33554432000 4194304 4196468 140735051510112 140499674954096 140500346927746 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22016000 140735051515068 140735051515244 140735051515244 140735051517903 0
[pid=9700/tid=9712] ppid=9699 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/9700/task/9712/stat : 9712 (java) S 9699 9699 18810 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 28 0 4322722 14133010432 230931 33554432000 4194304 4196468 140735051510112 140499673900128 140500346926805 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22016000 140735051515068 140735051515244 140735051515244 140735051517903 0
[pid=9700/tid=9713] ppid=9699 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/9700/task/9713/stat : 9713 (java) S 9699 9699 18810 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 28 0 4322722 14133010432 230931 33554432000 4194304 4196468 140735051510112 140499672847232 140500346926805 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22016000 140735051515068 140735051515244 140735051515244 140735051517903 0
[pid=9700/tid=9714] ppid=9699 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/9700/task/9714/stat : 9714 (java) S 9699 9699 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4322726 14133010432 230931 33554432000 4194304 4196468 140735051510112 140499671795536 140500346935195 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 22016000 140735051515068 140735051515244 140735051515244 140735051517903 0
[pid=9700/tid=9715] ppid=9699 vsize=13801768 CPUtime=3.5 cores=0-3,8-11
/proc/9700/task/9715/stat : 9715 (java) S 9699 9699 18810 0 -1 1077944384 14474 0 0 0 349 1 0 0 20 0 28 0 4322726 14133010432 230931 33554432000 4194304 4196468 140735051510112 140499670743920 140500346927746 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 22016000 140735051515068 140735051515244 140735051515244 140735051517903 0
[pid=9700/tid=9716] ppid=9699 vsize=13801768 CPUtime=3.55 cores=0-3,8-11
/proc/9700/task/9716/stat : 9716 (java) S 9699 9699 18810 0 -1 1077944384 11473 0 0 0 354 1 0 0 20 0 28 0 4322726 14133010432 230931 33554432000 4194304 4196468 140735051510112 140499669691120 140500346927746 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22016000 140735051515068 140735051515244 140735051515244 140735051517903 0
[pid=9700/tid=9717] ppid=9699 vsize=13801768 CPUtime=3.55 cores=0-3,8-11
/proc/9700/task/9717/stat : 9717 (java) S 9699 9699 18810 0 -1 1077944384 13598 0 0 0 353 2 0 0 20 0 28 0 4322726 14133010432 230931 33554432000 4194304 4196468 140735051510112 140499668638320 140500346927746 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22016000 140735051515068 140735051515244 140735051515244 140735051517903 0
[pid=9700/tid=9718] ppid=9699 vsize=13801768 CPUtime=1.27 cores=0-3,8-11
/proc/9700/task/9718/stat : 9718 (java) S 9699 9699 18810 0 -1 1077944384 7801 0 0 0 124 3 0 0 20 0 28 0 4322726 14133010432 230931 33554432000 4194304 4196468 140735051510112 140499667585520 140500346927746 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 22016000 140735051515068 140735051515244 140735051515244 140735051517903 0
[pid=9700/tid=9719] ppid=9699 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/9700/task/9719/stat : 9719 (java) S 9699 9699 18810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4322726 14133010432 230931 33554432000 4194304 4196468 140735051510112 140499666532960 140500346926805 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 22016000 140735051515068 140735051515244 140735051515244 140735051517903 0
[pid=9700/tid=9720] ppid=9699 vsize=13801768 CPUtime=0.12 cores=0-3,8-11
/proc/9700/task/9720/stat : 9720 (java) S 9699 9699 18810 0 -1 1077944384 923 0 0 0 7 5 0 0 20 0 28 0 4322726 14133010432 230931 33554432000 4194304 4196468 140735051510112 140499665480240 140500346927746 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22016000 140735051515068 140735051515244 140735051515244 140735051517903 0
[pid=9700/tid=9721] ppid=9699 vsize=13801768 CPUtime=278.4 cores=0-3,8-11
/proc/9700/task/9721/stat : 9721 (java) R 9699 9699 18810 0 -1 4202560 1159 0 0 0 27840 0 0 0 20 0 28 0 4322854 14133010432 230931 33554432000 4194304 4196468 140735051510112 140499657464568 140499948707214 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22016000 140735051515068 140735051515244 140735051515244 140735051517903 0
[pid=9700/tid=9722] ppid=9699 vsize=13801768 CPUtime=277.96 cores=0-3,8-11
/proc/9700/task/9722/stat : 9722 (java) R 9699 9699 18810 0 -1 4202560 1007 0 0 0 27795 1 0 0 20 0 28 0 4322854 14133010432 230931 33554432000 4194304 4196468 140735051510112 140499656412680 140499947559664 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22016000 140735051515068 140735051515244 140735051515244 140735051517903 0
[pid=9700/tid=9723] ppid=9699 vsize=13801768 CPUtime=278.15 cores=0-3,8-11
/proc/9700/task/9723/stat : 9723 (java) R 9699 9699 18810 0 -1 4202560 3447 0 0 0 27810 5 0 0 20 0 28 0 4322854 14133010432 230931 33554432000 4194304 4196468 140735051510112 140499453202688 140499949777288 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 22016000 140735051515068 140735051515244 140735051515244 140735051517903 0
[pid=9700/tid=9724] ppid=9699 vsize=13801768 CPUtime=277.88 cores=0-3,8-11
/proc/9700/task/9724/stat : 9724 (java) R 9699 9699 18810 0 -1 4202560 4569 0 0 0 27775 13 0 0 20 0 28 0 4322854 14133010432 230931 33554432000 4194304 4196468 140735051510112 140499452153008 140499948537457 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 22016000 140735051515068 140735051515244 140735051515244 140735051517903 0
[pid=9700/tid=9725] ppid=9699 vsize=13801768 CPUtime=278.93 cores=0-3,8-11
/proc/9700/task/9725/stat : 9725 (java) R 9699 9699 18810 0 -1 4202560 1028 0 0 0 27892 1 0 0 20 0 28 0 4322854 14133010432 230931 33554432000 4194304 4196468 140735051510112 140499451097544 140499947278894 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 22016000 140735051515068 140735051515244 140735051515244 140735051517903 0
[pid=9700/tid=9726] ppid=9699 vsize=13801768 CPUtime=279.01 cores=0-3,8-11
/proc/9700/task/9726/stat : 9726 (java) R 9699 9699 18810 0 -1 4202560 745 0 0 0 27899 2 0 0 20 0 28 0 4322854 14133010432 230931 33554432000 4194304 4196468 140735051510112 140499450044744 140499947167531 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22016000 140735051515068 140735051515244 140735051515244 140735051517903 0
[pid=9700/tid=9727] ppid=9699 vsize=13801768 CPUtime=278.05 cores=0-3,8-11
/proc/9700/task/9727/stat : 9727 (java) R 9699 9699 18810 0 -1 4202560 930 0 0 0 27805 0 0 0 20 0 28 0 4322854 14133010432 230931 33554432000 4194304 4196468 140735051510112 140499448991720 140499947192655 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 22016000 140735051515068 140735051515244 140735051515244 140735051517903 0
[pid=9700/tid=9728] ppid=9699 vsize=13801768 CPUtime=277.81 cores=0-3,8-11
/proc/9700/task/9728/stat : 9728 (java) R 9699 9699 18810 0 -1 4202560 1052 0 0 0 27779 2 0 0 20 0 28 0 4322854 14133010432 230931 33554432000 4194304 4196468 140735051510112 140499447939080 140499947192853 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22016000 140735051515068 140735051515244 140735051515244 140735051517903 0
Current children cumulated CPU time (s) 2241.72
Current children cumulated vsize (KiB) 13811280
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+302.201 s]
/proc/loadavg: 16.21 15.75 13.52 17/302 10187
/proc/meminfo: memFree=30706764/32770624 swapFree=5944/261664
[pid=9699] ppid=9696 vsize=9512 CPUtime=0 cores=0-3,8-11
/proc/9699/stat : 9699 (xcsp3-exec) S 9696 9699 18810 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 4322716 9740288 345 33554432000 4194304 5098028 140723789896560 140723789894664 139734398124668 0 65536 4100 65538 18446744071579417331 0 0 17 10 0 0 0 0 0 7196144 7232144 24854528 140723789902991 140723789903200 140723789903200 140723789905899 0
/proc/9699/statm: 2378 345 289 221 0 87 0
[pid=9700] ppid=9699 vsize=13801768 CPUtime=2400.22 cores=0-3,8-11
/proc/9700/stat : 9700 (java) S 9699 9699 18810 0 -1 1077944320 86005 0 0 0 239893 129 0 0 20 0 28 0 4322717 14133010432 230162 33554432000 4194304 4196468 140735051510112 140735051492656 140500346916599 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 22016000 140735051515068 140735051515244 140735051515244 140735051517903 0
/proc/9700/statm: 3450442 230162 3284 1 0 3437675 0
[pid=9700/tid=9701] ppid=9699 vsize=13801768 CPUtime=1.31 cores=0-3,8-11
/proc/9700/task/9701/stat : 9701 (java) S 9699 9699 18810 0 -1 1077944384 7335 0 0 0 126 5 0 0 20 0 28 0 4322717 14133010432 230162 33554432000 4194304 4196468 140735051510112 140500351157376 140500346926805 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 22016000 140735051515068 140735051515244 140735051515244 140735051517903 0
[pid=9700/tid=9703] ppid=9699 vsize=13801768 CPUtime=0.25 cores=0-3,8-11
/proc/9700/task/9703/stat : 9703 (java) S 9699 9699 18810 0 -1 1077944384 631 0 0 0 16 9 0 0 20 0 28 0 4322718 14133010432 230162 33554432000 4194304 4196468 140735051510112 140500265396880 140500346926805 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22016000 140735051515068 140735051515244 140735051515244 140735051517903 0
[pid=9700/tid=9704] ppid=9699 vsize=13801768 CPUtime=0.21 cores=0-3,8-11
/proc/9700/task/9704/stat : 9704 (java) S 9699 9699 18810 0 -1 1077944384 2181 0 0 0 13 8 0 0 20 0 28 0 4322718 14133010432 230162 33554432000 4194304 4196468 140735051510112 140500264344080 140500346926805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22016000 140735051515068 140735051515244 140735051515244 140735051517903 0
[pid=9700/tid=9705] ppid=9699 vsize=13801768 CPUtime=0.23 cores=0-3,8-11
/proc/9700/task/9705/stat : 9705 (java) S 9699 9699 18810 0 -1 1077944384 1531 0 0 0 15 8 0 0 20 0 28 0 4322718 14133010432 230162 33554432000 4194304 4196468 140735051510112 140500263291280 140500346926805 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 22016000 140735051515068 140735051515244 140735051515244 140735051517903 0
[pid=9700/tid=9706] ppid=9699 vsize=13801768 CPUtime=0.25 cores=0-3,8-11
/proc/9700/task/9706/stat : 9706 (java) S 9699 9699 18810 0 -1 1077944384 1354 0 0 0 16 9 0 0 20 0 28 0 4322718 14133010432 230162 33554432000 4194304 4196468 140735051510112 140500262238480 140500346926805 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 22016000 140735051515068 140735051515244 140735051515244 140735051517903 0
[pid=9700/tid=9707] ppid=9699 vsize=13801768 CPUtime=0.24 cores=0-3,8-11
/proc/9700/task/9707/stat : 9707 (java) S 9699 9699 18810 0 -1 1077944384 1034 0 0 0 14 10 0 0 20 0 28 0 4322718 14133010432 230162 33554432000 4194304 4196468 140735051510112 140500261186704 140500346926805 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 22016000 140735051515068 140735051515244 140735051515244 140735051517903 0
[pid=9700/tid=9708] ppid=9699 vsize=13801768 CPUtime=0.26 cores=0-3,8-11
/proc/9700/task/9708/stat : 9708 (java) S 9699 9699 18810 0 -1 1077944384 1864 0 0 0 15 11 0 0 20 0 28 0 4322718 14133010432 230162 33554432000 4194304 4196468 140735051510112 140500260133904 140500346926805 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 22016000 140735051515068 140735051515244 140735051515244 140735051517903 0
[pid=9700/tid=9709] ppid=9699 vsize=13801768 CPUtime=0.24 cores=0-3,8-11
/proc/9700/task/9709/stat : 9709 (java) S 9699 9699 18810 0 -1 1077944384 1935 0 0 0 13 11 0 0 20 0 28 0 4322718 14133010432 230162 33554432000 4194304 4196468 140735051510112 140499939748752 140500346926805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22016000 140735051515068 140735051515244 140735051515244 140735051517903 0
[pid=9700/tid=9710] ppid=9699 vsize=13801768 CPUtime=0.22 cores=0-3,8-11
/proc/9700/task/9710/stat : 9710 (java) S 9699 9699 18810 0 -1 1077944384 877 0 0 0 13 9 0 0 20 0 28 0 4322718 14133010432 230162 33554432000 4194304 4196468 140735051510112 140499938695952 140500346926805 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22016000 140735051515068 140735051515244 140735051515244 140735051517903 0
[pid=9700/tid=9711] ppid=9699 vsize=13801768 CPUtime=0.11 cores=0-3,8-11
/proc/9700/task/9711/stat : 9711 (java) S 9699 9699 18810 0 -1 1077944384 2739 0 0 0 6 5 0 0 20 0 28 0 4322721 14133010432 230162 33554432000 4194304 4196468 140735051510112 140499674954096 140500346927746 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22016000 140735051515068 140735051515244 140735051515244 140735051517903 0
[pid=9700/tid=9712] ppid=9699 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/9700/task/9712/stat : 9712 (java) S 9699 9699 18810 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 28 0 4322722 14133010432 230162 33554432000 4194304 4196468 140735051510112 140499673900128 140500346926805 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22016000 140735051515068 140735051515244 140735051515244 140735051517903 0
[pid=9700/tid=9713] ppid=9699 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/9700/task/9713/stat : 9713 (java) S 9699 9699 18810 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 28 0 4322722 14133010432 230162 33554432000 4194304 4196468 140735051510112 140499672847232 140500346926805 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22016000 140735051515068 140735051515244 140735051515244 140735051517903 0
[pid=9700/tid=9714] ppid=9699 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/9700/task/9714/stat : 9714 (java) S 9699 9699 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4322726 14133010432 230162 33554432000 4194304 4196468 140735051510112 140499671795536 140500346935195 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 22016000 140735051515068 140735051515244 140735051515244 140735051517903 0
[pid=9700/tid=9715] ppid=9699 vsize=13801768 CPUtime=3.5 cores=0-3,8-11
/proc/9700/task/9715/stat : 9715 (java) S 9699 9699 18810 0 -1 1077944384 14474 0 0 0 349 1 0 0 20 0 28 0 4322726 14133010432 230162 33554432000 4194304 4196468 140735051510112 140499670743920 140500346927746 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 22016000 140735051515068 140735051515244 140735051515244 140735051517903 0
[pid=9700/tid=9716] ppid=9699 vsize=13801768 CPUtime=3.55 cores=0-3,8-11
/proc/9700/task/9716/stat : 9716 (java) S 9699 9699 18810 0 -1 1077944384 11473 0 0 0 354 1 0 0 20 0 28 0 4322726 14133010432 230162 33554432000 4194304 4196468 140735051510112 140499669691120 140500346927746 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22016000 140735051515068 140735051515244 140735051515244 140735051517903 0
[pid=9700/tid=9717] ppid=9699 vsize=13801768 CPUtime=3.55 cores=0-3,8-11
/proc/9700/task/9717/stat : 9717 (java) S 9699 9699 18810 0 -1 1077944384 13598 0 0 0 353 2 0 0 20 0 28 0 4322726 14133010432 230162 33554432000 4194304 4196468 140735051510112 140499668638320 140500346927746 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22016000 140735051515068 140735051515244 140735051515244 140735051517903 0
[pid=9700/tid=9718] ppid=9699 vsize=13801768 CPUtime=1.27 cores=0-3,8-11
/proc/9700/task/9718/stat : 9718 (java) S 9699 9699 18810 0 -1 1077944384 8301 0 0 0 124 3 0 0 20 0 28 0 4322726 14133010432 230162 33554432000 4194304 4196468 140735051510112 140499667585520 140500346927746 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 22016000 140735051515068 140735051515244 140735051515244 140735051517903 0
[pid=9700/tid=9719] ppid=9699 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/9700/task/9719/stat : 9719 (java) S 9699 9699 18810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4322726 14133010432 230162 33554432000 4194304 4196468 140735051510112 140499666532960 140500346926805 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 22016000 140735051515068 140735051515244 140735051515244 140735051517903 0
[pid=9700/tid=9720] ppid=9699 vsize=13801768 CPUtime=0.14 cores=0-3,8-11
/proc/9700/task/9720/stat : 9720 (java) S 9699 9699 18810 0 -1 1077944384 925 0 0 0 8 6 0 0 20 0 28 0 4322726 14133010432 230162 33554432000 4194304 4196468 140735051510112 140499665480240 140500346927746 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 22016000 140735051515068 140735051515244 140735051515244 140735051517903 0
[pid=9700/tid=9721] ppid=9699 vsize=13801768 CPUtime=298.27 cores=0-3,8-11
/proc/9700/task/9721/stat : 9721 (java) R 9699 9699 18810 0 -1 4202560 1189 0 0 0 29826 1 0 0 20 0 28 0 4322854 14133010432 230162 33554432000 4194304 4196468 140735051510112 140499657464792 140499948060547 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22016000 140735051515068 140735051515244 140735051515244 140735051517903 0
[pid=9700/tid=9722] ppid=9699 vsize=13801768 CPUtime=297.82 cores=0-3,8-11
/proc/9700/task/9722/stat : 9722 (java) R 9699 9699 18810 0 -1 4202560 1117 0 0 0 29781 1 0 0 20 0 28 0 4322854 14133010432 230162 33554432000 4194304 4196468 140735051510112 140499656415776 140499950074760 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22016000 140735051515068 140735051515244 140735051515244 140735051517903 0
[pid=9700/tid=9723] ppid=9699 vsize=13801768 CPUtime=297.52 cores=0-3,8-11
/proc/9700/task/9723/stat : 9723 (java) R 9699 9699 18810 0 -1 4202560 3485 0 0 0 29747 5 0 0 20 0 28 0 4322854 14133010432 230162 33554432000 4194304 4196468 140735051510112 140499453202920 140499949777396 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 22016000 140735051515068 140735051515244 140735051515244 140735051517903 0
[pid=9700/tid=9724] ppid=9699 vsize=13801768 CPUtime=297.72 cores=0-3,8-11
/proc/9700/task/9724/stat : 9724 (java) R 9699 9699 18810 0 -1 4202560 4798 0 0 0 29759 13 0 0 20 0 28 0 4322854 14133010432 230162 33554432000 4194304 4196468 140735051510112 140499452150264 140499947192853 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 22016000 140735051515068 140735051515244 140735051515244 140735051517903 0
[pid=9700/tid=9725] ppid=9699 vsize=13801768 CPUtime=298.81 cores=0-3,8-11
/proc/9700/task/9725/stat : 9725 (java) R 9699 9699 18810 0 -1 4202560 1055 0 0 0 29880 1 0 0 20 0 28 0 4322854 14133010432 230162 33554432000 4194304 4196468 140735051510112 140499451097544 140499948537287 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 22016000 140735051515068 140735051515244 140735051515244 140735051517903 0
[pid=9700/tid=9726] ppid=9699 vsize=13801768 CPUtime=298.89 cores=0-3,8-11
/proc/9700/task/9726/stat : 9726 (java) R 9699 9699 18810 0 -1 4202560 754 0 0 0 29887 2 0 0 20 0 28 0 4322854 14133010432 230162 33554432000 4194304 4196468 140735051510112 140499450044792 140499950074760 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22016000 140735051515068 140735051515244 140735051515244 140735051517903 0
[pid=9700/tid=9727] ppid=9699 vsize=13801768 CPUtime=297.93 cores=0-3,8-11
/proc/9700/task/9727/stat : 9727 (java) R 9699 9699 18810 0 -1 4202560 946 0 0 0 29793 0 0 0 20 0 28 0 4322854 14133010432 230162 33554432000 4194304 4196468 140735051510112 140499448991720 140499947279504 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 22016000 140735051515068 140735051515244 140735051515244 140735051517903 0
[pid=9700/tid=9728] ppid=9699 vsize=13801768 CPUtime=297.7 cores=0-3,8-11
/proc/9700/task/9728/stat : 9728 (java) R 9699 9699 18810 0 -1 4202560 1067 0 0 0 29768 2 0 0 20 0 28 0 4322854 14133010432 230162 33554432000 4194304 4196468 140735051510112 140499447939080 140499950074590 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22016000 140735051515068 140735051515244 140735051515244 140735051517903 0
Current children cumulated CPU time (s) 2400.22
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 9700 sig 9
??? kill 9699 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 9699 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=1068
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=2136
# CPU time returned by wait4() is 0.003204
# while last known CPU time is 2400.22
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 302.212
CPU time (s): 2400.22
CPU user time (s): 2398.93
CPU system time (s): 1.29
CPU usage (%): 794.217
Max. virtual memory (cumulated for all children) (KiB): 13811280
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.001068
system time used= 0.002136
maximum resident set size= 1384
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 516
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.5741 second user time and 4.19203 second system time
The end