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-4245479-1500685773/watcher-4245479-1500685773 -o /tmp/evaluation-result-4245479-1500685773/solver-4245479-1500685773 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node133-1500682387-16944 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 771683670 HOME/instance-4245479-1500685773.xml
pid=2160
running on 8 cores: 0,2,4,6,8,10,12,14
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: 14.21 14.79 14.77 10/276 2163
/proc/meminfo: memFree=31336856/32770624 swapFree=5900/227216
[pid=2163] ppid=2160 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/2163/stat : 2163 (xcsp3-exec) S 2160 2163 16913 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3844212 9740288 346 33554432000 4194304 5098028 140726187516704 140726187514808 139984295002748 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 38100992 140726187521167 140726187521376 140726187521376 140726187524075 0
/proc/2163/statm: 2378 346 289 221 0 87 0
[startup+0.100075 s]
/proc/loadavg: 14.21 14.79 14.77 10/276 2163
/proc/meminfo: memFree=31336856/32770624 swapFree=5900/227216
[pid=2163] ppid=2160 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/2163/stat : 2163 (xcsp3-exec) S 2160 2163 16913 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3844212 9740288 346 33554432000 4194304 5098028 140726187516704 140726187514808 139984295002748 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 38100992 140726187521167 140726187521376 140726187521376 140726187524075 0
/proc/2163/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200418 s]
/proc/loadavg: 14.21 14.79 14.77 10/276 2163
/proc/meminfo: memFree=31336856/32770624 swapFree=5900/227216
[pid=2163] ppid=2160 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/2163/stat : 2163 (xcsp3-exec) S 2160 2163 16913 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3844212 9740288 346 33554432000 4194304 5098028 140726187516704 140726187514808 139984295002748 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 38100992 140726187521167 140726187521376 140726187521376 140726187524075 0
/proc/2163/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300317 s]
/proc/loadavg: 14.21 14.79 14.77 10/276 2163
/proc/meminfo: memFree=31336856/32770624 swapFree=5900/227216
[pid=2163] ppid=2160 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/2163/stat : 2163 (xcsp3-exec) S 2160 2163 16913 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3844212 9740288 346 33554432000 4194304 5098028 140726187516704 140726187514808 139984295002748 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 38100992 140726187521167 140726187521376 140726187521376 140726187524075 0
/proc/2163/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700185 s]
/proc/loadavg: 14.21 14.79 14.77 10/276 2163
/proc/meminfo: memFree=31336856/32770624 swapFree=5900/227216
[pid=2163] ppid=2160 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/2163/stat : 2163 (xcsp3-exec) S 2160 2163 16913 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3844212 9740288 346 33554432000 4194304 5098028 140726187516704 140726187514808 139984295002748 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 38100992 140726187521167 140726187521376 140726187521376 140726187524075 0
/proc/2163/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50092 s]
/proc/loadavg: 13.95 14.73 14.75 10/297 2184
/proc/meminfo: memFree=31031812/32770624 swapFree=5900/227280
[pid=2163] ppid=2160 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/2163/stat : 2163 (xcsp3-exec) S 2160 2163 16913 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3844212 9740288 346 33554432000 4194304 5098028 140726187516704 140726187514808 139984295002748 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 38100992 140726187521167 140726187521376 140726187521376 140726187524075 0
/proc/2163/statm: 2378 346 289 221 0 87 0
[pid=2164] ppid=2163 vsize=13269256 CPUtime=2.86 cores=0,2,4,6,8,10,12,14
/proc/2164/stat : 2164 (java) S 2163 2163 16913 0 -1 1077944320 14534 0 0 0 259 27 0 0 20 0 20 0 3844212 13587718144 144254 33554432000 4194304 4196468 140721404616656 140721404599200 140147127783159 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 18169856 140721404617916 140721404618092 140721404618092 140721404620751 0
/proc/2164/statm: 3317314 144254 3228 1 0 3304547 0
[pid=2164/tid=2165] ppid=2163 vsize=13269256 CPUtime=1.42 cores=0,2,4,6,8,10,12,14
/proc/2164/task/2165/stat : 2165 (java) R 2163 2163 16913 0 -1 4202560 7041 0 0 0 132 10 0 0 20 0 20 0 3844212 13587718144 144254 33554432000 4194304 4196468 140721404616656 140147132021232 140146749265532 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18169856 140721404617916 140721404618092 140721404618092 140721404620751 0
[pid=2164/tid=2167] ppid=2163 vsize=13269256 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/2164/task/2167/stat : 2167 (java) S 2163 2163 16913 0 -1 1077944384 20 0 0 0 1 1 0 0 20 0 20 0 3844213 13587718144 144254 33554432000 4194304 4196468 140721404616656 140147066747536 140147127793365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18169856 140721404617916 140721404618092 140721404618092 140721404620751 0
[pid=2164/tid=2168] ppid=2163 vsize=13269256 CPUtime=0.03 cores=0,2,4,6,8,10,12,14
/proc/2164/task/2168/stat : 2168 (java) S 2163 2163 16913 0 -1 1077944384 18 0 0 0 1 2 0 0 20 0 20 0 3844213 13587718144 144254 33554432000 4194304 4196468 140721404616656 140147065694736 140147127793365 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18169856 140721404617916 140721404618092 140721404618092 140721404620751 0
[pid=2164/tid=2169] ppid=2163 vsize=13269256 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/2164/task/2169/stat : 2169 (java) S 2163 2163 16913 0 -1 1077944384 12 0 0 0 1 1 0 0 20 0 20 0 3844213 13587718144 144254 33554432000 4194304 4196468 140721404616656 140146725312912 140147127793365 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18169856 140721404617916 140721404618092 140721404618092 140721404620751 0
[pid=2164/tid=2170] ppid=2163 vsize=13269256 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/2164/task/2170/stat : 2170 (java) S 2163 2163 16913 0 -1 1077944384 25 0 0 0 1 1 0 0 20 0 20 0 3844213 13587718144 144254 33554432000 4194304 4196468 140721404616656 140146724260112 140147127793365 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18169856 140721404617916 140721404618092 140721404618092 140721404620751 0
[pid=2164/tid=2171] ppid=2163 vsize=13269256 CPUtime=0.03 cores=0,2,4,6,8,10,12,14
/proc/2164/task/2171/stat : 2171 (java) S 2163 2163 16913 0 -1 1077944384 23 0 0 0 2 1 0 0 20 0 20 0 3844213 13587718144 144254 33554432000 4194304 4196468 140721404616656 140146723208336 140147127793365 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 18169856 140721404617916 140721404618092 140721404618092 140721404620751 0
[pid=2164/tid=2172] ppid=2163 vsize=13269256 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/2164/task/2172/stat : 2172 (java) S 2163 2163 16913 0 -1 1077944384 35 0 0 0 1 1 0 0 20 0 20 0 3844213 13587718144 144254 33554432000 4194304 4196468 140721404616656 140146722155536 140147127793365 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 18169856 140721404617916 140721404618092 140721404618092 140721404620751 0
[pid=2164/tid=2173] ppid=2163 vsize=13269256 CPUtime=0.03 cores=0,2,4,6,8,10,12,14
/proc/2164/task/2173/stat : 2173 (java) S 2163 2163 16913 0 -1 1077944384 31 0 0 0 1 2 0 0 20 0 20 0 3844213 13587718144 144254 33554432000 4194304 4196468 140721404616656 140146721102736 140147127793365 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 18169856 140721404617916 140721404618092 140721404618092 140721404620751 0
[pid=2164/tid=2174] ppid=2163 vsize=13269256 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/2164/task/2174/stat : 2174 (java) S 2163 2163 16913 0 -1 1077944384 23 0 0 0 1 1 0 0 20 0 20 0 3844213 13587718144 144254 33554432000 4194304 4196468 140721404616656 140146720049936 140147127793365 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 18169856 140721404617916 140721404618092 140721404618092 140721404620751 0
[pid=2164/tid=2175] ppid=2163 vsize=13269256 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/2164/task/2175/stat : 2175 (java) S 2163 2163 16913 0 -1 1077944384 449 0 0 0 1 0 0 0 20 0 20 0 3844216 13587718144 144254 33554432000 4194304 4196468 140721404616656 140146589538672 140147127794306 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18169856 140721404617916 140721404618092 140721404618092 140721404620751 0
[pid=2164/tid=2176] ppid=2163 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/2164/task/2176/stat : 2176 (java) S 2163 2163 16913 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 20 0 3844217 13587718144 144254 33554432000 4194304 4196468 140721404616656 140146588484704 140147127793365 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18169856 140721404617916 140721404618092 140721404618092 140721404620751 0
[pid=2164/tid=2177] ppid=2163 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/2164/task/2177/stat : 2177 (java) S 2163 2163 16913 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 3844217 13587718144 144254 33554432000 4194304 4196468 140721404616656 140146587431808 140147127793365 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 18169856 140721404617916 140721404618092 140721404618092 140721404620751 0
[pid=2164/tid=2178] ppid=2163 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/2164/task/2178/stat : 2178 (java) S 2163 2163 16913 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3844221 13587718144 144254 33554432000 4194304 4196468 140721404616656 140146586380112 140147127801755 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 18169856 140721404617916 140721404618092 140721404618092 140721404620751 0
[pid=2164/tid=2179] ppid=2163 vsize=13269256 CPUtime=0.31 cores=0,2,4,6,8,10,12,14
/proc/2164/task/2179/stat : 2179 (java) R 2163 2163 16913 0 -1 4202560 2000 0 0 0 31 0 0 0 20 0 20 0 3844221 13587718144 144254 33554432000 4194304 4196468 140721404616656 140146585314520 140147109308772 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 18169856 140721404617916 140721404618092 140721404618092 140721404620751 0
[pid=2164/tid=2180] ppid=2163 vsize=13269256 CPUtime=0.18 cores=0,2,4,6,8,10,12,14
/proc/2164/task/2180/stat : 2180 (java) S 2163 2163 16913 0 -1 1077944384 524 0 0 0 18 0 0 0 20 0 20 0 3844221 13587718144 144254 33554432000 4194304 4196468 140721404616656 140146584275696 140147127794306 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18169856 140721404617916 140721404618092 140721404618092 140721404620751 0
[pid=2164/tid=2181] ppid=2163 vsize=13269256 CPUtime=0.32 cores=0,2,4,6,8,10,12,14
/proc/2164/task/2181/stat : 2181 (java) S 2163 2163 16913 0 -1 1077944384 1445 0 0 0 32 0 0 0 20 0 20 0 3844221 13587718144 144254 33554432000 4194304 4196468 140721404616656 140146583222896 140147127794306 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 18169856 140721404617916 140721404618092 140721404618092 140721404620751 0
[pid=2164/tid=2182] ppid=2163 vsize=13269256 CPUtime=0.3 cores=0,2,4,6,8,10,12,14
/proc/2164/task/2182/stat : 2182 (java) S 2163 2163 16913 0 -1 1077944384 1591 0 0 0 29 1 0 0 20 0 20 0 3844221 13587718144 144254 33554432000 4194304 4196468 140721404616656 140146582170096 140147127794306 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 18169856 140721404617916 140721404618092 140721404618092 140721404620751 0
[pid=2164/tid=2183] ppid=2163 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/2164/task/2183/stat : 2183 (java) S 2163 2163 16913 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3844221 13587718144 144254 33554432000 4194304 4196468 140721404616656 140146581117536 140147127793365 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 18169856 140721404617916 140721404618092 140721404618092 140721404620751 0
[pid=2164/tid=2184] ppid=2163 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/2164/task/2184/stat : 2184 (java) S 2163 2163 16913 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3844221 13587718144 144254 33554432000 4194304 4196468 140721404616656 140146580064816 140147127794306 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18169856 140721404617916 140721404618092 140721404618092 140721404620751 0
Current children cumulated CPU time (s) 2.86
Current children cumulated vsize (KiB) 13278768
[startup+3.10113 s]
/proc/loadavg: 13.95 14.73 14.75 13/297 2184
/proc/meminfo: memFree=30385072/32770624 swapFree=5900/227284
[pid=2163] ppid=2160 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/2163/stat : 2163 (xcsp3-exec) S 2160 2163 16913 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3844212 9740288 346 33554432000 4194304 5098028 140726187516704 140726187514808 139984295002748 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 38100992 140726187521167 140726187521376 140726187521376 140726187524075 0
/proc/2163/statm: 2378 346 289 221 0 87 0
[pid=2164] ppid=2163 vsize=13269256 CPUtime=4.89 cores=0,2,4,6,8,10,12,14
/proc/2164/stat : 2164 (java) S 2163 2163 16913 0 -1 1077944320 16363 0 0 0 442 47 0 0 20 0 20 0 3844212 13587718144 280052 33554432000 4194304 4196468 140721404616656 140721404599200 140147127783159 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 18169856 140721404617916 140721404618092 140721404618092 140721404620751 0
/proc/2164/statm: 3317314 280052 3237 1 0 3304547 0
[pid=2164/tid=2165] ppid=2163 vsize=13269256 CPUtime=2.98 cores=0,2,4,6,8,10,12,14
/proc/2164/task/2165/stat : 2165 (java) R 2163 2163 16913 0 -1 4202560 7905 0 0 0 281 17 0 0 20 0 20 0 3844212 13587718144 280052 33554432000 4194304 4196468 140721404616656 140147132020488 140146748696630 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 18169856 140721404617916 140721404618092 140721404618092 140721404620751 0
[pid=2164/tid=2167] ppid=2163 vsize=13269256 CPUtime=0.05 cores=0,2,4,6,8,10,12,14
/proc/2164/task/2167/stat : 2167 (java) S 2163 2163 16913 0 -1 1077944384 67 0 0 0 3 2 0 0 20 0 20 0 3844213 13587718144 280052 33554432000 4194304 4196468 140721404616656 140147066747536 140147127793365 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 18169856 140721404617916 140721404618092 140721404618092 140721404620751 0
[pid=2164/tid=2168] ppid=2163 vsize=13269256 CPUtime=0.06 cores=0,2,4,6,8,10,12,14
/proc/2164/task/2168/stat : 2168 (java) S 2163 2163 16913 0 -1 1077944384 66 0 0 0 3 3 0 0 20 0 20 0 3844213 13587718144 280052 33554432000 4194304 4196468 140721404616656 140147065694736 140147127793365 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18169856 140721404617916 140721404618092 140721404618092 140721404620751 0
[pid=2164/tid=2169] ppid=2163 vsize=13269256 CPUtime=0.04 cores=0,2,4,6,8,10,12,14
/proc/2164/task/2169/stat : 2169 (java) S 2163 2163 16913 0 -1 1077944384 72 0 0 0 2 2 0 0 20 0 20 0 3844213 13587718144 280052 33554432000 4194304 4196468 140721404616656 140146725312912 140147127793365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18169856 140721404617916 140721404618092 140721404618092 140721404620751 0
[pid=2164/tid=2170] ppid=2163 vsize=13269256 CPUtime=0.05 cores=0,2,4,6,8,10,12,14
/proc/2164/task/2170/stat : 2170 (java) S 2163 2163 16913 0 -1 1077944384 68 0 0 0 3 2 0 0 20 0 20 0 3844213 13587718144 280052 33554432000 4194304 4196468 140721404616656 140146724260112 140147127793365 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 18169856 140721404617916 140721404618092 140721404618092 140721404620751 0
[pid=2164/tid=2171] ppid=2163 vsize=13269256 CPUtime=0.06 cores=0,2,4,6,8,10,12,14
/proc/2164/task/2171/stat : 2171 (java) S 2163 2163 16913 0 -1 1077944384 77 0 0 0 4 2 0 0 20 0 20 0 3844213 13587718144 280052 33554432000 4194304 4196468 140721404616656 140146723208336 140147127793365 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18169856 140721404617916 140721404618092 140721404618092 140721404620751 0
[pid=2164/tid=2172] ppid=2163 vsize=13269256 CPUtime=0.06 cores=0,2,4,6,8,10,12,14
/proc/2164/task/2172/stat : 2172 (java) S 2163 2163 16913 0 -1 1077944384 79 0 0 0 3 3 0 0 20 0 20 0 3844213 13587718144 280052 33554432000 4194304 4196468 140721404616656 140146722155536 140147127793365 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 18169856 140721404617916 140721404618092 140721404618092 140721404620751 0
[pid=2164/tid=2173] ppid=2163 vsize=13269256 CPUtime=0.06 cores=0,2,4,6,8,10,12,14
/proc/2164/task/2173/stat : 2173 (java) S 2163 2163 16913 0 -1 1077944384 74 0 0 0 3 3 0 0 20 0 20 0 3844213 13587718144 280052 33554432000 4194304 4196468 140721404616656 140146721102736 140147127793365 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 18169856 140721404617916 140721404618092 140721404618092 140721404620751 0
[pid=2164/tid=2174] ppid=2163 vsize=13269256 CPUtime=0.05 cores=0,2,4,6,8,10,12,14
/proc/2164/task/2174/stat : 2174 (java) S 2163 2163 16913 0 -1 1077944384 72 0 0 0 2 3 0 0 20 0 20 0 3844213 13587718144 280052 33554432000 4194304 4196468 140721404616656 140146720049936 140147127793365 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18169856 140721404617916 140721404618092 140721404618092 140721404620751 0
[pid=2164/tid=2175] ppid=2163 vsize=13269256 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/2164/task/2175/stat : 2175 (java) S 2163 2163 16913 0 -1 1077944384 756 0 0 0 1 0 0 0 20 0 20 0 3844216 13587718144 280052 33554432000 4194304 4196468 140721404616656 140146589538672 140147127794306 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18169856 140721404617916 140721404618092 140721404618092 140721404620751 0
[pid=2164/tid=2176] ppid=2163 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/2164/task/2176/stat : 2176 (java) S 2163 2163 16913 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 20 0 3844217 13587718144 280052 33554432000 4194304 4196468 140721404616656 140146588484704 140147127793365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18169856 140721404617916 140721404618092 140721404618092 140721404620751 0
[pid=2164/tid=2177] ppid=2163 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/2164/task/2177/stat : 2177 (java) S 2163 2163 16913 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 3844217 13587718144 280052 33554432000 4194304 4196468 140721404616656 140146587431808 140147127793365 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18169856 140721404617916 140721404618092 140721404618092 140721404620751 0
[pid=2164/tid=2178] ppid=2163 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/2164/task/2178/stat : 2178 (java) S 2163 2163 16913 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3844221 13587718144 280052 33554432000 4194304 4196468 140721404616656 140146586380112 140147127801755 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 18169856 140721404617916 140721404618092 140721404618092 140721404620751 0
[pid=2164/tid=2179] ppid=2163 vsize=13269256 CPUtime=0.4 cores=0,2,4,6,8,10,12,14
/proc/2164/task/2179/stat : 2179 (java) S 2163 2163 16913 0 -1 1077944384 2024 0 0 0 39 1 0 0 20 0 20 0 3844221 13587718144 280052 33554432000 4194304 4196468 140721404616656 140146585328496 140147127794306 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 18169856 140721404617916 140721404618092 140721404618092 140721404620751 0
[pid=2164/tid=2180] ppid=2163 vsize=13269256 CPUtime=0.2 cores=0,2,4,6,8,10,12,14
/proc/2164/task/2180/stat : 2180 (java) S 2163 2163 16913 0 -1 1077944384 533 0 0 0 20 0 0 0 20 0 20 0 3844221 13587718144 280052 33554432000 4194304 4196468 140721404616656 140146584275696 140147127794306 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18169856 140721404617916 140721404618092 140721404618092 140721404620751 0
[pid=2164/tid=2181] ppid=2163 vsize=13269256 CPUtime=0.35 cores=0,2,4,6,8,10,12,14
/proc/2164/task/2181/stat : 2181 (java) S 2163 2163 16913 0 -1 1077944384 1460 0 0 0 35 0 0 0 20 0 20 0 3844221 13587718144 280052 33554432000 4194304 4196468 140721404616656 140146583222896 140147127794306 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 18169856 140721404617916 140721404618092 140721404618092 140721404620751 0
[pid=2164/tid=2182] ppid=2163 vsize=13269256 CPUtime=0.38 cores=0,2,4,6,8,10,12,14
/proc/2164/task/2182/stat : 2182 (java) S 2163 2163 16913 0 -1 1077944384 1811 0 0 0 37 1 0 0 20 0 20 0 3844221 13587718144 280052 33554432000 4194304 4196468 140721404616656 140146582170096 140147127794306 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 9 0 0 6293624 6294260 18169856 140721404617916 140721404618092 140721404618092 140721404620751 0
[pid=2164/tid=2183] ppid=2163 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/2164/task/2183/stat : 2183 (java) S 2163 2163 16913 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3844221 13587718144 280052 33554432000 4194304 4196468 140721404616656 140146581117536 140147127793365 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 18169856 140721404617916 140721404618092 140721404618092 140721404620751 0
[pid=2164/tid=2184] ppid=2163 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/2164/task/2184/stat : 2184 (java) S 2163 2163 16913 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3844221 13587718144 280052 33554432000 4194304 4196468 140721404616656 140146580064816 140147127794306 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 8 0 0 6293624 6294260 18169856 140721404617916 140721404618092 140721404618092 140721404620751 0
Current children cumulated CPU time (s) 4.89
Current children cumulated vsize (KiB) 13278768
[startup+6.30115 s]
/proc/loadavg: 13.95 14.73 14.75 10/297 2184
/proc/meminfo: memFree=29187972/32770624 swapFree=5900/227296
[pid=2163] ppid=2160 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/2163/stat : 2163 (xcsp3-exec) S 2160 2163 16913 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3844212 9740288 346 33554432000 4194304 5098028 140726187516704 140726187514808 139984295002748 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 38100992 140726187521167 140726187521376 140726187521376 140726187524075 0
/proc/2163/statm: 2378 346 289 221 0 87 0
[pid=2164] ppid=2163 vsize=13801768 CPUtime=9.62 cores=0,2,4,6,8,10,12,14
/proc/2164/stat : 2164 (java) S 2163 2163 16913 0 -1 1077944320 27148 0 0 0 872 90 0 0 20 0 28 0 3844212 14133010432 688263 33554432000 4194304 4196468 140721404616656 140721404599200 140147127783159 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 18169856 140721404617916 140721404618092 140721404618092 140721404620751 0
/proc/2164/statm: 3450442 688263 3238 1 0 3437675 0
[pid=2164/tid=2165] ppid=2163 vsize=13801768 CPUtime=5.97 cores=0,2,4,6,8,10,12,14
/proc/2164/task/2165/stat : 2165 (java) S 2163 2163 16913 0 -1 1077944384 13349 0 0 0 557 40 0 0 20 0 28 0 3844212 14133010432 688263 33554432000 4194304 4196468 140721404616656 140147132023936 140147127793365 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 18169856 140721404617916 140721404618092 140721404618092 140721404620751 0
[pid=2164/tid=2167] ppid=2163 vsize=13801768 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/2164/task/2167/stat : 2167 (java) S 2163 2163 16913 0 -1 1077944384 90 0 0 0 5 5 0 0 20 0 28 0 3844213 14133010432 688263 33554432000 4194304 4196468 140721404616656 140147066747536 140147127793365 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 18169856 140721404617916 140721404618092 140721404618092 140721404620751 0
[pid=2164/tid=2168] ppid=2163 vsize=13801768 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/2164/task/2168/stat : 2168 (java) S 2163 2163 16913 0 -1 1077944384 91 0 0 0 5 6 0 0 20 0 28 0 3844213 14133010432 688263 33554432000 4194304 4196468 140721404616656 140147065694736 140147127793365 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18169856 140721404617916 140721404618092 140721404618092 140721404620751 0
[pid=2164/tid=2169] ppid=2163 vsize=13801768 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/2164/task/2169/stat : 2169 (java) S 2163 2163 16913 0 -1 1077944384 133 0 0 0 5 5 0 0 20 0 28 0 3844213 14133010432 688263 33554432000 4194304 4196468 140721404616656 140146725312912 140147127793365 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18169856 140721404617916 140721404618092 140721404618092 140721404620751 0
[pid=2164/tid=2170] ppid=2163 vsize=13801768 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/2164/task/2170/stat : 2170 (java) S 2163 2163 16913 0 -1 1077944384 212 0 0 0 6 4 0 0 20 0 28 0 3844213 14133010432 688263 33554432000 4194304 4196468 140721404616656 140146724260112 140147127793365 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 18169856 140721404617916 140721404618092 140721404618092 140721404620751 0
[pid=2164/tid=2171] ppid=2163 vsize=13801768 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/2164/task/2171/stat : 2171 (java) S 2163 2163 16913 0 -1 1077944384 106 0 0 0 7 5 0 0 20 0 28 0 3844213 14133010432 688263 33554432000 4194304 4196468 140721404616656 140146723208336 140147127793365 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18169856 140721404617916 140721404618092 140721404618092 140721404620751 0
[pid=2164/tid=2172] ppid=2163 vsize=13801768 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/2164/task/2172/stat : 2172 (java) S 2163 2163 16913 0 -1 1077944384 108 0 0 0 6 5 0 0 20 0 28 0 3844213 14133010432 688263 33554432000 4194304 4196468 140721404616656 140146722155536 140147127793365 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 18169856 140721404617916 140721404618092 140721404618092 140721404620751 0
[pid=2164/tid=2173] ppid=2163 vsize=13801768 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/2164/task/2173/stat : 2173 (java) S 2163 2163 16913 0 -1 1077944384 120 0 0 0 5 6 0 0 20 0 28 0 3844213 14133010432 688263 33554432000 4194304 4196468 140721404616656 140146721102736 140147127793365 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 18169856 140721404617916 140721404618092 140721404618092 140721404620751 0
[pid=2164/tid=2174] ppid=2163 vsize=13801768 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/2164/task/2174/stat : 2174 (java) S 2163 2163 16913 0 -1 1077944384 98 0 0 0 4 5 0 0 20 0 28 0 3844213 14133010432 688263 33554432000 4194304 4196468 140721404616656 140146720049936 140147127793365 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18169856 140721404617916 140721404618092 140721404618092 140721404620751 0
[pid=2164/tid=2175] ppid=2163 vsize=13801768 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/2164/task/2175/stat : 2175 (java) S 2163 2163 16913 0 -1 1077944384 1776 0 0 0 1 0 0 0 20 0 28 0 3844216 14133010432 688263 33554432000 4194304 4196468 140721404616656 140146589538672 140147127794306 0 0 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 18169856 140721404617916 140721404618092 140721404618092 140721404620751 0
[pid=2164/tid=2176] ppid=2163 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/2164/task/2176/stat : 2176 (java) S 2163 2163 16913 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 28 0 3844217 14133010432 688263 33554432000 4194304 4196468 140721404616656 140146588484704 140147127793365 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18169856 140721404617916 140721404618092 140721404618092 140721404620751 0
[pid=2164/tid=2177] ppid=2163 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/2164/task/2177/stat : 2177 (java) S 2163 2163 16913 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 28 0 3844217 14133010432 688263 33554432000 4194304 4196468 140721404616656 140146587431808 140147127793365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18169856 140721404617916 140721404618092 140721404618092 140721404620751 0
[pid=2164/tid=2178] ppid=2163 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/2164/task/2178/stat : 2178 (java) S 2163 2163 16913 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3844221 14133010432 688263 33554432000 4194304 4196468 140721404616656 140146586380112 140147127801755 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 18169856 140721404617916 140721404618092 140721404618092 140721404620751 0
[pid=2164/tid=2179] ppid=2163 vsize=13801768 CPUtime=0.51 cores=0,2,4,6,8,10,12,14
/proc/2164/task/2179/stat : 2179 (java) S 2163 2163 16913 0 -1 1077944384 2604 0 0 0 50 1 0 0 20 0 28 0 3844221 14133010432 688263 33554432000 4194304 4196468 140721404616656 140146585328496 140147127794306 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18169856 140721404617916 140721404618092 140721404618092 140721404620751 0
[pid=2164/tid=2180] ppid=2163 vsize=13801768 CPUtime=0.3 cores=0,2,4,6,8,10,12,14
/proc/2164/task/2180/stat : 2180 (java) S 2163 2163 16913 0 -1 1077944384 1004 0 0 0 30 0 0 0 20 0 28 0 3844221 14133010432 688263 33554432000 4194304 4196468 140721404616656 140146584275696 140147127794306 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18169856 140721404617916 140721404618092 140721404618092 140721404620751 0
[pid=2164/tid=2181] ppid=2163 vsize=13801768 CPUtime=0.47 cores=0,2,4,6,8,10,12,14
/proc/2164/task/2181/stat : 2181 (java) R 2163 2163 16913 0 -1 4202560 2220 0 0 0 47 0 0 0 20 0 28 0 3844221 14133010432 688263 33554432000 4194304 4196468 140721404616656 140146583222896 140147112547162 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18169856 140721404617916 140721404618092 140721404618092 140721404620751 0
[pid=2164/tid=2182] ppid=2163 vsize=13801768 CPUtime=0.53 cores=0,2,4,6,8,10,12,14
/proc/2164/task/2182/stat : 2182 (java) S 2163 2163 16913 0 -1 1077944384 3120 0 0 0 52 1 0 0 20 0 28 0 3844221 14133010432 688263 33554432000 4194304 4196468 140721404616656 140146582170096 140147127794306 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 9 0 0 6293624 6294260 18169856 140721404617916 140721404618092 140721404618092 140721404620751 0
[pid=2164/tid=2183] ppid=2163 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/2164/task/2183/stat : 2183 (java) S 2163 2163 16913 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3844221 14133010432 688263 33554432000 4194304 4196468 140721404616656 140146581117536 140147127793365 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 18169856 140721404617916 140721404618092 140721404618092 140721404620751 0
[pid=2164/tid=2184] ppid=2163 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/2164/task/2184/stat : 2184 (java) S 2163 2163 16913 0 -1 1077944384 402 0 0 0 0 0 0 0 20 0 28 0 3844221 14133010432 688263 33554432000 4194304 4196468 140721404616656 140146580064816 140147127794306 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 8 0 0 6293624 6294260 18169856 140721404617916 140721404618092 140721404618092 140721404620751 0
Current children cumulated CPU time (s) 9.62
Current children cumulated vsize (KiB) 13811280
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 2164 sig 9
??? kill 2163 sig 9
??? kill -2163 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+6.40095 s]
/proc/loadavg: 13.95 14.73 14.75 10/297 2184
/proc/meminfo: memFree=29187972/32770624 swapFree=5900/227296
[pid=2163] ppid=2160 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/2163/stat : 2163 (xcsp3-exec) S 2160 2163 16913 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3844212 9740288 346 33554432000 4194304 5098028 140726187516704 140726187514808 139984295002748 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 38100992 140726187521167 140726187521376 140726187521376 140726187524075 0
/proc/2163/statm: 2378 346 289 221 0 87 0
[pid=2164] ppid=2163 vsize=13801768 CPUtime=10.41 cores=0,2,4,6,8,10,12,14
/proc/2164/stat : 2164 (java) S 2163 2163 16913 0 -1 1077944320 27250 0 0 0 951 90 0 0 20 0 28 0 3844212 14133010432 688328 33554432000 4194304 4196468 140721404616656 140721404599200 140147127783159 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 18169856 140721404617916 140721404618092 140721404618092 140721404620751 0
/proc/2164/statm: 3450442 688328 3238 1 0 3437675 0
[pid=2164/tid=2165] ppid=2163 vsize=13801768 CPUtime=5.97 cores=0,2,4,6,8,10,12,14
/proc/2164/task/2165/stat : 2165 (java) S 2163 2163 16913 0 -1 1077944384 13349 0 0 0 557 40 0 0 20 0 28 0 3844212 14133010432 688328 33554432000 4194304 4196468 140721404616656 140147132023936 140147127793365 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 18169856 140721404617916 140721404618092 140721404618092 140721404620751 0
[pid=2164/tid=2167] ppid=2163 vsize=13801768 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/2164/task/2167/stat : 2167 (java) S 2163 2163 16913 0 -1 1077944384 90 0 0 0 5 5 0 0 20 0 28 0 3844213 14133010432 688328 33554432000 4194304 4196468 140721404616656 140147066747536 140147127793365 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 18169856 140721404617916 140721404618092 140721404618092 140721404620751 0
[pid=2164/tid=2168] ppid=2163 vsize=13801768 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/2164/task/2168/stat : 2168 (java) S 2163 2163 16913 0 -1 1077944384 91 0 0 0 5 6 0 0 20 0 28 0 3844213 14133010432 688328 33554432000 4194304 4196468 140721404616656 140147065694736 140147127793365 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18169856 140721404617916 140721404618092 140721404618092 140721404620751 0
[pid=2164/tid=2169] ppid=2163 vsize=13801768 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/2164/task/2169/stat : 2169 (java) S 2163 2163 16913 0 -1 1077944384 133 0 0 0 5 5 0 0 20 0 28 0 3844213 14133010432 688328 33554432000 4194304 4196468 140721404616656 140146725312912 140147127793365 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18169856 140721404617916 140721404618092 140721404618092 140721404620751 0
[pid=2164/tid=2170] ppid=2163 vsize=13801768 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/2164/task/2170/stat : 2170 (java) S 2163 2163 16913 0 -1 1077944384 212 0 0 0 6 4 0 0 20 0 28 0 3844213 14133010432 688328 33554432000 4194304 4196468 140721404616656 140146724260112 140147127793365 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 18169856 140721404617916 140721404618092 140721404618092 140721404620751 0
[pid=2164/tid=2171] ppid=2163 vsize=13801768 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/2164/task/2171/stat : 2171 (java) S 2163 2163 16913 0 -1 1077944384 106 0 0 0 7 5 0 0 20 0 28 0 3844213 14133010432 688328 33554432000 4194304 4196468 140721404616656 140146723208336 140147127793365 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18169856 140721404617916 140721404618092 140721404618092 140721404620751 0
[pid=2164/tid=2172] ppid=2163 vsize=13801768 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/2164/task/2172/stat : 2172 (java) S 2163 2163 16913 0 -1 1077944384 108 0 0 0 6 5 0 0 20 0 28 0 3844213 14133010432 688328 33554432000 4194304 4196468 140721404616656 140146722155536 140147127793365 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 18169856 140721404617916 140721404618092 140721404618092 140721404620751 0
[pid=2164/tid=2173] ppid=2163 vsize=13801768 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/2164/task/2173/stat : 2173 (java) S 2163 2163 16913 0 -1 1077944384 120 0 0 0 5 6 0 0 20 0 28 0 3844213 14133010432 688328 33554432000 4194304 4196468 140721404616656 140146721102736 140147127793365 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 18169856 140721404617916 140721404618092 140721404618092 140721404620751 0
[pid=2164/tid=2174] ppid=2163 vsize=13801768 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/2164/task/2174/stat : 2174 (java) S 2163 2163 16913 0 -1 1077944384 98 0 0 0 4 5 0 0 20 0 28 0 3844213 14133010432 688328 33554432000 4194304 4196468 140721404616656 140146720049936 140147127793365 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18169856 140721404617916 140721404618092 140721404618092 140721404620751 0
[pid=2164/tid=2175] ppid=2163 vsize=13801768 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/2164/task/2175/stat : 2175 (java) S 2163 2163 16913 0 -1 1077944384 1776 0 0 0 1 0 0 0 20 0 28 0 3844216 14133010432 688328 33554432000 4194304 4196468 140721404616656 140146589538672 140147127794306 0 0 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 18169856 140721404617916 140721404618092 140721404618092 140721404620751 0
[pid=2164/tid=2176] ppid=2163 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/2164/task/2176/stat : 2176 (java) S 2163 2163 16913 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 28 0 3844217 14133010432 688328 33554432000 4194304 4196468 140721404616656 140146588484704 140147127793365 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18169856 140721404617916 140721404618092 140721404618092 140721404620751 0
[pid=2164/tid=2177] ppid=2163 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/2164/task/2177/stat : 2177 (java) S 2163 2163 16913 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 28 0 3844217 14133010432 688328 33554432000 4194304 4196468 140721404616656 140146587431808 140147127793365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18169856 140721404617916 140721404618092 140721404618092 140721404620751 0
[pid=2164/tid=2178] ppid=2163 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/2164/task/2178/stat : 2178 (java) S 2163 2163 16913 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3844221 14133010432 688328 33554432000 4194304 4196468 140721404616656 140146586380112 140147127801755 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 18169856 140721404617916 140721404618092 140721404618092 140721404620751 0
[pid=2164/tid=2179] ppid=2163 vsize=13801768 CPUtime=0.53 cores=0,2,4,6,8,10,12,14
/proc/2164/task/2179/stat : 2179 (java) S 2163 2163 16913 0 -1 1077944384 2607 0 0 0 52 1 0 0 20 0 28 0 3844221 14133010432 688328 33554432000 4194304 4196468 140721404616656 140146585328496 140147127794306 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18169856 140721404617916 140721404618092 140721404618092 140721404620751 0
[pid=2164/tid=2180] ppid=2163 vsize=13801768 CPUtime=0.33 cores=0,2,4,6,8,10,12,14
/proc/2164/task/2180/stat : 2180 (java) R 2163 2163 16913 0 -1 4202560 1090 0 0 0 33 0 0 0 20 0 28 0 3844221 14133010432 688328 33554432000 4194304 4196468 140721404616656 140146584256712 140147112909203 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 18169856 140721404617916 140721404618092 140721404618092 140721404620751 0
[pid=2164/tid=2181] ppid=2163 vsize=13801768 CPUtime=0.51 cores=0,2,4,6,8,10,12,14
/proc/2164/task/2181/stat : 2181 (java) S 2163 2163 16913 0 -1 1077944384 2225 0 0 0 51 0 0 0 20 0 28 0 3844221 14133010432 688328 33554432000 4194304 4196468 140721404616656 140146583222896 140147127794306 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18169856 140721404617916 140721404618092 140721404618092 140721404620751 0
[pid=2164/tid=2182] ppid=2163 vsize=13801768 CPUtime=0.53 cores=0,2,4,6,8,10,12,14
/proc/2164/task/2182/stat : 2182 (java) S 2163 2163 16913 0 -1 1077944384 3121 0 0 0 52 1 0 0 20 0 28 0 3844221 14133010432 688328 33554432000 4194304 4196468 140721404616656 140146582170096 140147127794306 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 9 0 0 6293624 6294260 18169856 140721404617916 140721404618092 140721404618092 140721404620751 0
[pid=2164/tid=2183] ppid=2163 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/2164/task/2183/stat : 2183 (java) S 2163 2163 16913 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3844221 14133010432 688328 33554432000 4194304 4196468 140721404616656 140146581117536 140147127793365 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 18169856 140721404617916 140721404618092 140721404618092 140721404620751 0
[pid=2164/tid=2184] ppid=2163 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/2164/task/2184/stat : 2184 (java) S 2163 2163 16913 0 -1 1077944384 402 0 0 0 0 0 0 0 20 0 28 0 3844221 14133010432 688328 33554432000 4194304 4196468 140721404616656 140146580064816 140147127794306 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 8 0 0 6293624 6294260 18169856 140721404617916 140721404618092 140721404618092 140721404620751 0
Current children cumulated CPU time (s) 10.41
Current children cumulated vsize (KiB) 13811280
[startup+6.60099 s]
/proc/loadavg: 13.71 14.67 14.73 22/305 2192
/proc/meminfo: memFree=28562528/32770624 swapFree=5900/227300
[pid=2163] ppid=2160 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/2163/stat : 2163 (xcsp3-exec) S 2160 2163 16913 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3844212 9740288 346 33554432000 4194304 5098028 140726187516704 140726187514808 139984295002748 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 38100992 140726187521167 140726187521376 140726187521376 140726187524075 0
/proc/2163/statm: 2378 346 289 221 0 87 0
[pid=2164] ppid=2163 vsize=13801768 CPUtime=12.08 cores=0,2,4,6,8,10,12,14
/proc/2164/stat : 2164 (java) S 2163 2163 16913 0 -1 1077944320 28612 0 0 0 1117 91 0 0 20 0 28 0 3844212 14133010432 688889 33554432000 4194304 4196468 140721404616656 140721404599200 140147127783159 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 18169856 140721404617916 140721404618092 140721404618092 140721404620751 0
/proc/2164/statm: 3450442 688889 3240 1 0 3437675 0
[pid=2164/tid=2165] ppid=2163 vsize=13801768 CPUtime=5.97 cores=0,2,4,6,8,10,12,14
/proc/2164/task/2165/stat : 2165 (java) S 2163 2163 16913 0 -1 1077944384 13349 0 0 0 557 40 0 0 20 0 28 0 3844212 14133010432 688889 33554432000 4194304 4196468 140721404616656 140147132023936 140147127793365 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 18169856 140721404617916 140721404618092 140721404618092 140721404620751 0
[pid=2164/tid=2167] ppid=2163 vsize=13801768 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/2164/task/2167/stat : 2167 (java) S 2163 2163 16913 0 -1 1077944384 90 0 0 0 5 5 0 0 20 0 28 0 3844213 14133010432 688889 33554432000 4194304 4196468 140721404616656 140147066747536 140147127793365 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 18169856 140721404617916 140721404618092 140721404618092 140721404620751 0
[pid=2164/tid=2168] ppid=2163 vsize=13801768 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/2164/task/2168/stat : 2168 (java) S 2163 2163 16913 0 -1 1077944384 91 0 0 0 5 6 0 0 20 0 28 0 3844213 14133010432 688889 33554432000 4194304 4196468 140721404616656 140147065694736 140147127793365 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18169856 140721404617916 140721404618092 140721404618092 140721404620751 0
[pid=2164/tid=2169] ppid=2163 vsize=13801768 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/2164/task/2169/stat : 2169 (java) S 2163 2163 16913 0 -1 1077944384 133 0 0 0 5 5 0 0 20 0 28 0 3844213 14133010432 688889 33554432000 4194304 4196468 140721404616656 140146725312912 140147127793365 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18169856 140721404617916 140721404618092 140721404618092 140721404620751 0
[pid=2164/tid=2170] ppid=2163 vsize=13801768 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/2164/task/2170/stat : 2170 (java) S 2163 2163 16913 0 -1 1077944384 212 0 0 0 6 4 0 0 20 0 28 0 3844213 14133010432 688889 33554432000 4194304 4196468 140721404616656 140146724260112 140147127793365 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 18169856 140721404617916 140721404618092 140721404618092 140721404620751 0
[pid=2164/tid=2171] ppid=2163 vsize=13801768 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/2164/task/2171/stat : 2171 (java) S 2163 2163 16913 0 -1 1077944384 106 0 0 0 7 5 0 0 20 0 28 0 3844213 14133010432 688889 33554432000 4194304 4196468 140721404616656 140146723208336 140147127793365 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18169856 140721404617916 140721404618092 140721404618092 140721404620751 0
[pid=2164/tid=2172] ppid=2163 vsize=13801768 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/2164/task/2172/stat : 2172 (java) S 2163 2163 16913 0 -1 1077944384 108 0 0 0 6 5 0 0 20 0 28 0 3844213 14133010432 688889 33554432000 4194304 4196468 140721404616656 140146722155536 140147127793365 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 18169856 140721404617916 140721404618092 140721404618092 140721404620751 0
[pid=2164/tid=2173] ppid=2163 vsize=13801768 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/2164/task/2173/stat : 2173 (java) S 2163 2163 16913 0 -1 1077944384 120 0 0 0 5 6 0 0 20 0 28 0 3844213 14133010432 688889 33554432000 4194304 4196468 140721404616656 140146721102736 140147127793365 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 18169856 140721404617916 140721404618092 140721404618092 140721404620751 0
[pid=2164/tid=2174] ppid=2163 vsize=13801768 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/2164/task/2174/stat : 2174 (java) S 2163 2163 16913 0 -1 1077944384 98 0 0 0 4 5 0 0 20 0 28 0 3844213 14133010432 688889 33554432000 4194304 4196468 140721404616656 140146720049936 140147127793365 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18169856 140721404617916 140721404618092 140721404618092 140721404620751 0
[pid=2164/tid=2175] ppid=2163 vsize=13801768 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/2164/task/2175/stat : 2175 (java) S 2163 2163 16913 0 -1 1077944384 1776 0 0 0 1 0 0 0 20 0 28 0 3844216 14133010432 688889 33554432000 4194304 4196468 140721404616656 140146589538672 140147127794306 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18169856 140721404617916 140721404618092 140721404618092 140721404620751 0
[pid=2164/tid=2176] ppid=2163 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/2164/task/2176/stat : 2176 (java) S 2163 2163 16913 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 28 0 3844217 14133010432 688889 33554432000 4194304 4196468 140721404616656 140146588484704 140147127793365 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18169856 140721404617916 140721404618092 140721404618092 140721404620751 0
[pid=2164/tid=2177] ppid=2163 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/2164/task/2177/stat : 2177 (java) S 2163 2163 16913 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 28 0 3844217 14133010432 688889 33554432000 4194304 4196468 140721404616656 140146587431808 140147127793365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18169856 140721404617916 140721404618092 140721404618092 140721404620751 0
[pid=2164/tid=2178] ppid=2163 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/2164/task/2178/stat : 2178 (java) S 2163 2163 16913 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3844221 14133010432 688889 33554432000 4194304 4196468 140721404616656 140146586380112 140147127801755 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 18169856 140721404617916 140721404618092 140721404618092 140721404620751 0
[pid=2164/tid=2179] ppid=2163 vsize=13801768 CPUtime=0.65 cores=0,2,4,6,8,10,12,14
/proc/2164/task/2179/stat : 2179 (java) R 2163 2163 16913 0 -1 4202560 3028 0 0 0 64 1 0 0 20 0 28 0 3844221 14133010432 688889 33554432000 4194304 4196468 140721404616656 140146585310064 140147111170016 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18169856 140721404617916 140721404618092 140721404618092 140721404620751 0
[pid=2164/tid=2180] ppid=2163 vsize=13801768 CPUtime=0.42 cores=0,2,4,6,8,10,12,14
/proc/2164/task/2180/stat : 2180 (java) R 2163 2163 16913 0 -1 4202560 1281 0 0 0 42 0 0 0 20 0 28 0 3844221 14133010432 688889 33554432000 4194304 4196468 140721404616656 140146584262240 140147109304559 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 18169856 140721404617916 140721404618092 140721404618092 140721404620751 0
[pid=2164/tid=2181] ppid=2163 vsize=13801768 CPUtime=0.62 cores=0,2,4,6,8,10,12,14
/proc/2164/task/2181/stat : 2181 (java) R 2163 2163 16913 0 -1 4202560 2689 0 0 0 62 0 0 0 20 0 28 0 3844221 14133010432 688889 33554432000 4194304 4196468 140721404616656 140146583208912 140147109327612 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 18169856 140721404617916 140721404618092 140721404618092 140721404620751 0
[pid=2164/tid=2182] ppid=2163 vsize=13801768 CPUtime=0.62 cores=0,2,4,6,8,10,12,14
/proc/2164/task/2182/stat : 2182 (java) R 2163 2163 16913 0 -1 4202560 3350 0 0 0 60 2 0 0 20 0 28 0 3844221 14133010432 688889 33554432000 4194304 4196468 140721404616656 140146582169200 140147107069779 0 4 0 16800975 0 0 0 -1 12 0 0 9 0 0 6293624 6294260 18169856 140721404617916 140721404618092 140721404618092 140721404620751 0
[pid=2164/tid=2183] ppid=2163 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/2164/task/2183/stat : 2183 (java) S 2163 2163 16913 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3844221 14133010432 688889 33554432000 4194304 4196468 140721404616656 140146581117536 140147127793365 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 18169856 140721404617916 140721404618092 140721404618092 140721404620751 0
[pid=2164/tid=2184] ppid=2163 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/2164/task/2184/stat : 2184 (java) S 2163 2163 16913 0 -1 1077944384 402 0 0 0 0 0 0 0 20 0 28 0 3844221 14133010432 688889 33554432000 4194304 4196468 140721404616656 140146580064816 140147127794306 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 8 0 0 6293624 6294260 18169856 140721404617916 140721404618092 140721404618092 140721404620751 0
[pid=2164/tid=2185] ppid=2163 vsize=13801768 CPUtime=0.35 cores=0,2,4,6,8,10,12,14
/proc/2164/task/2185/stat : 2185 (java) R 2163 2163 16913 0 -1 4202560 97 0 0 0 35 0 0 0 20 0 28 0 3844827 14133010432 688889 33554432000 4194304 4196468 140721404616656 140146572548152 140146751394842 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18169856 140721404617916 140721404618092 140721404618092 140721404620751 0
[pid=2164/tid=2186] ppid=2163 vsize=13801768 CPUtime=0.42 cores=0,2,4,6,8,10,12,14
/proc/2164/task/2186/stat : 2186 (java) R 2163 2163 16913 0 -1 4202560 73 0 0 0 42 0 0 0 20 0 28 0 3844827 14133010432 688889 33554432000 4194304 4196468 140721404616656 140146571496688 140146751367947 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 18169856 140721404617916 140721404618092 140721404618092 140721404620751 0
[pid=2164/tid=2187] ppid=2163 vsize=13801768 CPUtime=0.31 cores=0,2,4,6,8,10,12,14
/proc/2164/task/2187/stat : 2187 (java) R 2163 2163 16913 0 -1 4202560 45 0 0 0 31 0 0 0 20 0 28 0 3844827 14133010432 688889 33554432000 4194304 4196468 140721404616656 140146570446064 140146748800255 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 18169856 140721404617916 140721404618092 140721404618092 140721404620751 0
[pid=2164/tid=2188] ppid=2163 vsize=13801768 CPUtime=0.31 cores=0,2,4,6,8,10,12,14
/proc/2164/task/2188/stat : 2188 (java) R 2163 2163 16913 0 -1 4202560 43 0 0 0 31 0 0 0 20 0 28 0 3844827 14133010432 688889 33554432000 4194304 4196468 140721404616656 140146569387520 140146751416348 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 18169856 140721404617916 140721404618092 140721404618092 140721404620751 0
[pid=2164/tid=2189] ppid=2163 vsize=13801768 CPUtime=0.34 cores=0,2,4,6,8,10,12,14
/proc/2164/task/2189/stat : 2189 (java) R 2163 2163 16913 0 -1 4202560 41 0 0 0 34 0 0 0 20 0 28 0 3844827 14133010432 688889 33554432000 4194304 4196468 140721404616656 140146568338848 140146751152136 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18169856 140721404617916 140721404618092 140721404618092 140721404620751 0
[pid=2164/tid=2190] ppid=2163 vsize=13801768 CPUtime=0.37 cores=0,2,4,6,8,10,12,14
/proc/2164/task/2190/stat : 2190 (java) R 2163 2163 16913 0 -1 4202560 108 0 0 0 37 0 0 0 20 0 28 0 3844827 14133010432 688889 33554432000 4194304 4196468 140721404616656 140146567286032 140146751152247 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 18169856 140721404617916 140721404618092 140721404618092 140721404620751 0
[pid=2164/tid=2191] ppid=2163 vsize=13801768 CPUtime=0.32 cores=0,2,4,6,8,10,12,14
/proc/2164/task/2191/stat : 2191 (java) R 2163 2163 16913 0 -1 4202560 54 0 0 0 32 0 0 0 20 0 28 0 3844827 14133010432 688889 33554432000 4194304 4196468 140721404616656 140146566233512 140146745953284 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18169856 140721404617916 140721404618092 140721404618092 140721404620751 0
[pid=2164/tid=2192] ppid=2163 vsize=13801768 CPUtime=0.34 cores=0,2,4,6,8,10,12,14
/proc/2164/task/2192/stat : 2192 (java) R 2163 2163 16913 0 -1 4202560 35 0 0 0 34 0 0 0 20 0 28 0 3844827 14133010432 688889 33554432000 4194304 4196468 140721404616656 140146565182288 140146751612927 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 18169856 140721404617916 140721404618092 140721404618092 140721404620751 0
Current children cumulated CPU time (s) 12.08
Current children cumulated vsize (KiB) 13811280
Child status: 0
Real time (s): 6.71383
CPU time (s): 12.7087
CPU user time (s): 11.774
CPU system time (s): 0.934618
CPU usage (%): 189.291
Max. virtual memory (cumulated for all children) (KiB): 13811280
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 11.774
system time used= 0.934618
maximum resident set size= 2758796
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 29867
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4321
involuntary context switches= 1098
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.048455 second user time and 0.08454 second system time
The end