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-4245911-1500686437/watcher-4245911-1500686437 -o /tmp/evaluation-result-4245911-1500686437/solver-4245911-1500686437 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node133-1500682387-16945 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 676334239 HOME/instance-4245911-1500686437.xml
pid=7184
running on 8 cores: 1,3,5,7,9,11,13,15
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 14.70 15.42 15.18 10/275 7187
/proc/meminfo: memFree=31187856/32770624 swapFree=5900/228540
[pid=7187] ppid=7184 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/7187/stat : 7187 (xcsp3-exec) S 7184 7187 16913 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3910697 9740288 346 33554432000 4194304 5098028 140721441866416 140721441864520 140395855151740 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 17719296 140721441875087 140721441875296 140721441875296 140721441877995 0
/proc/7187/statm: 2378 346 289 221 0 87 0
[startup+0.100111 s]
/proc/loadavg: 14.70 15.42 15.18 10/275 7187
/proc/meminfo: memFree=31187856/32770624 swapFree=5900/228540
[pid=7187] ppid=7184 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/7187/stat : 7187 (xcsp3-exec) S 7184 7187 16913 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3910697 9740288 346 33554432000 4194304 5098028 140721441866416 140721441864520 140395855151740 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 17719296 140721441875087 140721441875296 140721441875296 140721441877995 0
/proc/7187/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200317 s]
/proc/loadavg: 14.70 15.42 15.18 10/275 7187
/proc/meminfo: memFree=31187856/32770624 swapFree=5900/228540
[pid=7187] ppid=7184 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/7187/stat : 7187 (xcsp3-exec) S 7184 7187 16913 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3910697 9740288 346 33554432000 4194304 5098028 140721441866416 140721441864520 140395855151740 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 17719296 140721441875087 140721441875296 140721441875296 140721441877995 0
/proc/7187/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300318 s]
/proc/loadavg: 14.70 15.42 15.18 10/275 7187
/proc/meminfo: memFree=31187856/32770624 swapFree=5900/228540
[pid=7187] ppid=7184 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/7187/stat : 7187 (xcsp3-exec) S 7184 7187 16913 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3910697 9740288 346 33554432000 4194304 5098028 140721441866416 140721441864520 140395855151740 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 17719296 140721441875087 140721441875296 140721441875296 140721441877995 0
/proc/7187/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700238 s]
/proc/loadavg: 14.70 15.42 15.18 10/275 7187
/proc/meminfo: memFree=31187856/32770624 swapFree=5900/228540
[pid=7187] ppid=7184 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/7187/stat : 7187 (xcsp3-exec) S 7184 7187 16913 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3910697 9740288 346 33554432000 4194304 5098028 140721441866416 140721441864520 140395855151740 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 17719296 140721441875087 140721441875296 140721441875296 140721441877995 0
/proc/7187/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50119 s]
/proc/loadavg: 14.48 15.37 15.17 16/296 7208
/proc/meminfo: memFree=30999736/32770624 swapFree=5900/228924
[pid=7187] ppid=7184 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/7187/stat : 7187 (xcsp3-exec) S 7184 7187 16913 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3910697 9740288 346 33554432000 4194304 5098028 140721441866416 140721441864520 140395855151740 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 17719296 140721441875087 140721441875296 140721441875296 140721441877995 0
/proc/7187/statm: 2378 346 289 221 0 87 0
[pid=7188] ppid=7187 vsize=13269256 CPUtime=5.4 cores=1,3,5,7,9,11,13,15
/proc/7188/stat : 7188 (java) S 7187 7187 16913 0 -1 1077944320 24192 0 0 0 512 28 0 0 20 0 20 0 3910697 13587718144 61848 33554432000 4194304 4196468 140734568080448 140734568062992 140492744310519 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 29659136 140734568088764 140734568088940 140734568088940 140734568091599 0
/proc/7188/statm: 3317314 61848 3247 1 0 3304547 0
[pid=7188/tid=7189] ppid=7187 vsize=13269256 CPUtime=1.41 cores=1,3,5,7,9,11,13,15
/proc/7188/task/7189/stat : 7189 (java) R 7187 7187 16913 0 -1 4202560 7479 0 0 0 135 6 0 0 20 0 20 0 3910698 13587718144 61848 33554432000 4194304 4196468 140734568080448 140492748547000 140492361588593 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29659136 140734568088764 140734568088940 140734568088940 140734568091599 0
[pid=7188/tid=7191] ppid=7187 vsize=13269256 CPUtime=0.04 cores=1,3,5,7,9,11,13,15
/proc/7188/task/7191/stat : 7191 (java) S 7187 7187 16913 0 -1 1077944384 35 0 0 0 2 2 0 0 20 0 20 0 3910699 13587718144 61848 33554432000 4194304 4196468 140734568080448 140492676446864 140492744320725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29659136 140734568088764 140734568088940 140734568088940 140734568091599 0
[pid=7188/tid=7192] ppid=7187 vsize=13269256 CPUtime=0.04 cores=1,3,5,7,9,11,13,15
/proc/7188/task/7192/stat : 7192 (java) S 7187 7187 16913 0 -1 1077944384 94 0 0 0 2 2 0 0 20 0 20 0 3910699 13587718144 61848 33554432000 4194304 4196468 140734568080448 140492342790672 140492744320725 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 29659136 140734568088764 140734568088940 140734568088940 140734568091599 0
[pid=7188/tid=7193] ppid=7187 vsize=13269256 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/7188/task/7193/stat : 7193 (java) S 7187 7187 16913 0 -1 1077944384 29 0 0 0 1 1 0 0 20 0 20 0 3910699 13587718144 61848 33554432000 4194304 4196468 140734568080448 140492341737872 140492744320725 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 29659136 140734568088764 140734568088940 140734568088940 140734568091599 0
[pid=7188/tid=7194] ppid=7187 vsize=13269256 CPUtime=0.04 cores=1,3,5,7,9,11,13,15
/proc/7188/task/7194/stat : 7194 (java) S 7187 7187 16913 0 -1 1077944384 77 0 0 0 2 2 0 0 20 0 20 0 3910699 13587718144 61848 33554432000 4194304 4196468 140734568080448 140492340685072 140492744320725 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 29659136 140734568088764 140734568088940 140734568088940 140734568091599 0
[pid=7188/tid=7195] ppid=7187 vsize=13269256 CPUtime=0.05 cores=1,3,5,7,9,11,13,15
/proc/7188/task/7195/stat : 7195 (java) S 7187 7187 16913 0 -1 1077944384 87 0 0 0 3 2 0 0 20 0 20 0 3910699 13587718144 61848 33554432000 4194304 4196468 140734568080448 140492339633296 140492744320725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29659136 140734568088764 140734568088940 140734568088940 140734568091599 0
[pid=7188/tid=7196] ppid=7187 vsize=13269256 CPUtime=0.03 cores=1,3,5,7,9,11,13,15
/proc/7188/task/7196/stat : 7196 (java) S 7187 7187 16913 0 -1 1077944384 86 0 0 0 2 1 0 0 20 0 20 0 3910699 13587718144 61848 33554432000 4194304 4196468 140734568080448 140492338580496 140492744320725 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 29659136 140734568088764 140734568088940 140734568088940 140734568091599 0
[pid=7188/tid=7197] ppid=7187 vsize=13269256 CPUtime=0.04 cores=1,3,5,7,9,11,13,15
/proc/7188/task/7197/stat : 7197 (java) S 7187 7187 16913 0 -1 1077944384 44 0 0 0 2 2 0 0 20 0 20 0 3910699 13587718144 61848 33554432000 4194304 4196468 140734568080448 140492337527696 140492744320725 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29659136 140734568088764 140734568088940 140734568088940 140734568091599 0
[pid=7188/tid=7198] ppid=7187 vsize=13269256 CPUtime=0.04 cores=1,3,5,7,9,11,13,15
/proc/7188/task/7198/stat : 7198 (java) S 7187 7187 16913 0 -1 1077944384 180 0 0 0 2 2 0 0 20 0 20 0 3910699 13587718144 61848 33554432000 4194304 4196468 140734568080448 140492336474896 140492744320725 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29659136 140734568088764 140734568088940 140734568088940 140734568091599 0
[pid=7188/tid=7199] ppid=7187 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/7188/task/7199/stat : 7199 (java) S 7187 7187 16913 0 -1 1077944384 203 0 0 0 0 0 0 0 20 0 20 0 3910701 13587718144 61848 33554432000 4194304 4196468 140734568080448 140492273797488 140492744321666 0 0 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 29659136 140734568088764 140734568088940 140734568088940 140734568091599 0
[pid=7188/tid=7200] ppid=7187 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/7188/task/7200/stat : 7200 (java) S 7187 7187 16913 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 20 0 3910702 13587718144 61848 33554432000 4194304 4196468 140734568080448 140492004123744 140492744320725 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 29659136 140734568088764 140734568088940 140734568088940 140734568091599 0
[pid=7188/tid=7201] ppid=7187 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/7188/task/7201/stat : 7201 (java) S 7187 7187 16913 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 20 0 3910702 13587718144 61848 33554432000 4194304 4196468 140734568080448 140492003070848 140492744320725 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29659136 140734568088764 140734568088940 140734568088940 140734568091599 0
[pid=7188/tid=7202] ppid=7187 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/7188/task/7202/stat : 7202 (java) S 7187 7187 16913 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3910706 13587718144 61848 33554432000 4194304 4196468 140734568080448 140492002019152 140492744329115 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 29659136 140734568088764 140734568088940 140734568088940 140734568091599 0
[pid=7188/tid=7203] ppid=7187 vsize=13269256 CPUtime=0.98 cores=1,3,5,7,9,11,13,15
/proc/7188/task/7203/stat : 7203 (java) S 7187 7187 16913 0 -1 1077944384 3911 0 0 0 98 0 0 0 20 0 20 0 3910706 13587718144 61848 33554432000 4194304 4196468 140734568080448 140492000967536 140492744321666 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29659136 140734568088764 140734568088940 140734568088940 140734568091599 0
[pid=7188/tid=7204] ppid=7187 vsize=13269256 CPUtime=1.02 cores=1,3,5,7,9,11,13,15
/proc/7188/task/7204/stat : 7204 (java) R 7187 7187 16913 0 -1 4202560 3363 0 0 0 102 0 0 0 20 0 20 0 3910706 13587718144 61848 33554432000 4194304 4196468 140734568080448 140491999900896 140492725855104 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29659136 140734568088764 140734568088940 140734568088940 140734568091599 0
[pid=7188/tid=7205] ppid=7187 vsize=13269256 CPUtime=1.01 cores=1,3,5,7,9,11,13,15
/proc/7188/task/7205/stat : 7205 (java) R 7187 7187 16913 0 -1 4202560 3537 0 0 0 100 1 0 0 20 0 20 0 3910706 13587718144 61848 33554432000 4194304 4196468 140734568080448 140491998850336 140492727809057 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 29659136 140734568088764 140734568088940 140734568088940 140734568091599 0
[pid=7188/tid=7206] ppid=7187 vsize=13269256 CPUtime=0.55 cores=1,3,5,7,9,11,13,15
/proc/7188/task/7206/stat : 7206 (java) S 7187 7187 16913 0 -1 1077944384 3709 0 0 0 54 1 0 0 20 0 20 0 3910706 13587718144 61848 33554432000 4194304 4196468 140734568080448 140491997809136 140492744321666 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 29659136 140734568088764 140734568088940 140734568088940 140734568091599 0
[pid=7188/tid=7207] ppid=7187 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/7188/task/7207/stat : 7207 (java) S 7187 7187 16913 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3910706 13587718144 61848 33554432000 4194304 4196468 140734568080448 140491996756576 140492744320725 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 29659136 140734568088764 140734568088940 140734568088940 140734568091599 0
[pid=7188/tid=7208] ppid=7187 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/7188/task/7208/stat : 7208 (java) S 7187 7187 16913 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3910707 13587718144 61848 33554432000 4194304 4196468 140734568080448 140491995703856 140492744321666 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 29659136 140734568088764 140734568088940 140734568088940 140734568091599 0
Current children cumulated CPU time (s) 5.4
Current children cumulated vsize (KiB) 13278768
[startup+3.10129 s]
/proc/loadavg: 14.48 15.37 15.17 18/296 7208
/proc/meminfo: memFree=30760820/32770624 swapFree=5900/228924
[pid=7187] ppid=7184 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/7187/stat : 7187 (xcsp3-exec) S 7184 7187 16913 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3910697 9740288 346 33554432000 4194304 5098028 140721441866416 140721441864520 140395855151740 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 17719296 140721441875087 140721441875296 140721441875296 140721441877995 0
/proc/7187/statm: 2378 346 289 221 0 87 0
[pid=7188] ppid=7187 vsize=13801768 CPUtime=12.24 cores=1,3,5,7,9,11,13,15
/proc/7188/stat : 7188 (java) S 7187 7187 16913 0 -1 1077944320 28311 0 0 0 1133 91 0 0 20 0 28 0 3910697 14133010432 144408 33554432000 4194304 4196468 140734568080448 140734568062992 140492744310519 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 29659136 140734568088764 140734568088940 140734568088940 140734568091599 0
/proc/7188/statm: 3450442 144408 3252 1 0 3437675 0
[pid=7188/tid=7189] ppid=7187 vsize=13801768 CPUtime=2.4 cores=1,3,5,7,9,11,13,15
/proc/7188/task/7189/stat : 7189 (java) S 7187 7187 16913 0 -1 1077944384 8620 0 0 0 231 9 0 0 20 0 28 0 3910698 14133010432 144408 33554432000 4194304 4196468 140734568080448 140492748551296 140492744320725 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 29659136 140734568088764 140734568088940 140734568088940 140734568091599 0
[pid=7188/tid=7191] ppid=7187 vsize=13801768 CPUtime=0.19 cores=1,3,5,7,9,11,13,15
/proc/7188/task/7191/stat : 7191 (java) S 7187 7187 16913 0 -1 1077944384 100 0 0 0 10 9 0 0 20 0 28 0 3910699 14133010432 144408 33554432000 4194304 4196468 140734568080448 140492676446864 140492744320725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29659136 140734568088764 140734568088940 140734568088940 140734568091599 0
[pid=7188/tid=7192] ppid=7187 vsize=13801768 CPUtime=0.19 cores=1,3,5,7,9,11,13,15
/proc/7188/task/7192/stat : 7192 (java) S 7187 7187 16913 0 -1 1077944384 158 0 0 0 9 10 0 0 20 0 28 0 3910699 14133010432 144408 33554432000 4194304 4196468 140734568080448 140492342790672 140492744320725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29659136 140734568088764 140734568088940 140734568088940 140734568091599 0
[pid=7188/tid=7193] ppid=7187 vsize=13801768 CPUtime=0.15 cores=1,3,5,7,9,11,13,15
/proc/7188/task/7193/stat : 7193 (java) S 7187 7187 16913 0 -1 1077944384 131 0 0 0 7 8 0 0 20 0 28 0 3910699 14133010432 144408 33554432000 4194304 4196468 140734568080448 140492341737872 140492744320725 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 29659136 140734568088764 140734568088940 140734568088940 140734568091599 0
[pid=7188/tid=7194] ppid=7187 vsize=13801768 CPUtime=0.2 cores=1,3,5,7,9,11,13,15
/proc/7188/task/7194/stat : 7194 (java) S 7187 7187 16913 0 -1 1077944384 592 0 0 0 10 10 0 0 20 0 28 0 3910699 14133010432 144408 33554432000 4194304 4196468 140734568080448 140492340685072 140492744320725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29659136 140734568088764 140734568088940 140734568088940 140734568091599 0
[pid=7188/tid=7195] ppid=7187 vsize=13801768 CPUtime=0.2 cores=1,3,5,7,9,11,13,15
/proc/7188/task/7195/stat : 7195 (java) S 7187 7187 16913 0 -1 1077944384 239 0 0 0 10 10 0 0 20 0 28 0 3910699 14133010432 144408 33554432000 4194304 4196468 140734568080448 140492339633296 140492744320725 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 29659136 140734568088764 140734568088940 140734568088940 140734568091599 0
[pid=7188/tid=7196] ppid=7187 vsize=13801768 CPUtime=0.16 cores=1,3,5,7,9,11,13,15
/proc/7188/task/7196/stat : 7196 (java) S 7187 7187 16913 0 -1 1077944384 167 0 0 0 8 8 0 0 20 0 28 0 3910699 14133010432 144408 33554432000 4194304 4196468 140734568080448 140492338580496 140492744320725 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 29659136 140734568088764 140734568088940 140734568088940 140734568091599 0
[pid=7188/tid=7197] ppid=7187 vsize=13801768 CPUtime=0.18 cores=1,3,5,7,9,11,13,15
/proc/7188/task/7197/stat : 7197 (java) S 7187 7187 16913 0 -1 1077944384 135 0 0 0 9 9 0 0 20 0 28 0 3910699 14133010432 144408 33554432000 4194304 4196468 140734568080448 140492337527696 140492744320725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29659136 140734568088764 140734568088940 140734568088940 140734568091599 0
[pid=7188/tid=7198] ppid=7187 vsize=13801768 CPUtime=0.17 cores=1,3,5,7,9,11,13,15
/proc/7188/task/7198/stat : 7198 (java) S 7187 7187 16913 0 -1 1077944384 325 0 0 0 9 8 0 0 20 0 28 0 3910699 14133010432 144408 33554432000 4194304 4196468 140734568080448 140492336474896 140492744320725 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 29659136 140734568088764 140734568088940 140734568088940 140734568091599 0
[pid=7188/tid=7199] ppid=7187 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/7188/task/7199/stat : 7199 (java) S 7187 7187 16913 0 -1 1077944384 463 0 0 0 0 0 0 0 20 0 28 0 3910701 14133010432 144408 33554432000 4194304 4196468 140734568080448 140492273797488 140492744321666 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29659136 140734568088764 140734568088940 140734568088940 140734568091599 0
[pid=7188/tid=7200] ppid=7187 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/7188/task/7200/stat : 7200 (java) S 7187 7187 16913 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 28 0 3910702 14133010432 144408 33554432000 4194304 4196468 140734568080448 140492004123744 140492744320725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29659136 140734568088764 140734568088940 140734568088940 140734568091599 0
[pid=7188/tid=7201] ppid=7187 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/7188/task/7201/stat : 7201 (java) S 7187 7187 16913 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 28 0 3910702 14133010432 144408 33554432000 4194304 4196468 140734568080448 140492003070848 140492744320725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29659136 140734568088764 140734568088940 140734568088940 140734568091599 0
[pid=7188/tid=7202] ppid=7187 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/7188/task/7202/stat : 7202 (java) S 7187 7187 16913 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3910706 14133010432 144408 33554432000 4194304 4196468 140734568080448 140492002019152 140492744329115 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 29659136 140734568088764 140734568088940 140734568088940 140734568091599 0
[pid=7188/tid=7203] ppid=7187 vsize=13801768 CPUtime=1.64 cores=1,3,5,7,9,11,13,15
/proc/7188/task/7203/stat : 7203 (java) R 7187 7187 16913 0 -1 4202560 4117 0 0 0 164 0 0 0 20 0 28 0 3910706 14133010432 144408 33554432000 4194304 4196468 140734568080448 140492000953568 140492725720669 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 29659136 140734568088764 140734568088940 140734568088940 140734568091599 0
[pid=7188/tid=7204] ppid=7187 vsize=13801768 CPUtime=1.72 cores=1,3,5,7,9,11,13,15
/proc/7188/task/7204/stat : 7204 (java) R 7187 7187 16913 0 -1 4202560 3688 0 0 0 171 1 0 0 20 0 28 0 3910706 14133010432 144408 33554432000 4194304 4196468 140734568080448 140491999896336 140492727810717 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29659136 140734568088764 140734568088940 140734568088940 140734568091599 0
[pid=7188/tid=7205] ppid=7187 vsize=13801768 CPUtime=1.69 cores=1,3,5,7,9,11,13,15
/proc/7188/task/7205/stat : 7205 (java) R 7187 7187 16913 0 -1 4202560 3685 0 0 0 168 1 0 0 20 0 28 0 3910706 14133010432 144408 33554432000 4194304 4196468 140734568080448 140491998848480 140492728702771 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29659136 140734568088764 140734568088940 140734568088940 140734568091599 0
[pid=7188/tid=7206] ppid=7187 vsize=13801768 CPUtime=0.77 cores=1,3,5,7,9,11,13,15
/proc/7188/task/7206/stat : 7206 (java) S 7187 7187 16913 0 -1 1077944384 4128 0 0 0 76 1 0 0 20 0 28 0 3910706 14133010432 144408 33554432000 4194304 4196468 140734568080448 140491997809136 140492744321666 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 29659136 140734568088764 140734568088940 140734568088940 140734568091599 0
[pid=7188/tid=7207] ppid=7187 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/7188/task/7207/stat : 7207 (java) S 7187 7187 16913 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3910706 14133010432 144408 33554432000 4194304 4196468 140734568080448 140491996756576 140492744320725 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 29659136 140734568088764 140734568088940 140734568088940 140734568091599 0
[pid=7188/tid=7208] ppid=7187 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/7188/task/7208/stat : 7208 (java) S 7187 7187 16913 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 28 0 3910707 14133010432 144408 33554432000 4194304 4196468 140734568080448 140491995703856 140492744321666 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 29659136 140734568088764 140734568088940 140734568088940 140734568091599 0
Current children cumulated CPU time (s) 12.24
Current children cumulated vsize (KiB) 13811280
[startup+6.30161 s]
/proc/loadavg: 14.48 15.37 15.17 14/296 7216
/proc/meminfo: memFree=30581012/32770624 swapFree=5900/228924
[pid=7187] ppid=7184 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/7187/stat : 7187 (xcsp3-exec) S 7184 7187 16913 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3910697 9740288 346 33554432000 4194304 5098028 140721441866416 140721441864520 140395855151740 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 17719296 140721441875087 140721441875296 140721441875296 140721441877995 0
/proc/7187/statm: 2378 346 289 221 0 87 0
[pid=7188] ppid=7187 vsize=13801768 CPUtime=37.63 cores=1,3,5,7,9,11,13,15
/proc/7188/stat : 7188 (java) S 7187 7187 16913 0 -1 1077944320 36832 0 0 0 3668 95 0 0 20 0 28 0 3910697 14133010432 158113 33554432000 4194304 4196468 140734568080448 140734568062992 140492744310519 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 29659136 140734568088764 140734568088940 140734568088940 140734568091599 0
/proc/7188/statm: 3450442 158113 3284 1 0 3437675 0
[pid=7188/tid=7189] ppid=7187 vsize=13801768 CPUtime=2.4 cores=1,3,5,7,9,11,13,15
/proc/7188/task/7189/stat : 7189 (java) S 7187 7187 16913 0 -1 1077944384 8620 0 0 0 231 9 0 0 20 0 28 0 3910698 14133010432 158113 33554432000 4194304 4196468 140734568080448 140492748551296 140492744320725 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 29659136 140734568088764 140734568088940 140734568088940 140734568091599 0
[pid=7188/tid=7191] ppid=7187 vsize=13801768 CPUtime=0.19 cores=1,3,5,7,9,11,13,15
/proc/7188/task/7191/stat : 7191 (java) S 7187 7187 16913 0 -1 1077944384 100 0 0 0 10 9 0 0 20 0 28 0 3910699 14133010432 158113 33554432000 4194304 4196468 140734568080448 140492676446864 140492744320725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29659136 140734568088764 140734568088940 140734568088940 140734568091599 0
[pid=7188/tid=7192] ppid=7187 vsize=13801768 CPUtime=0.19 cores=1,3,5,7,9,11,13,15
/proc/7188/task/7192/stat : 7192 (java) S 7187 7187 16913 0 -1 1077944384 158 0 0 0 9 10 0 0 20 0 28 0 3910699 14133010432 158113 33554432000 4194304 4196468 140734568080448 140492342790672 140492744320725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29659136 140734568088764 140734568088940 140734568088940 140734568091599 0
[pid=7188/tid=7193] ppid=7187 vsize=13801768 CPUtime=0.15 cores=1,3,5,7,9,11,13,15
/proc/7188/task/7193/stat : 7193 (java) S 7187 7187 16913 0 -1 1077944384 131 0 0 0 7 8 0 0 20 0 28 0 3910699 14133010432 158113 33554432000 4194304 4196468 140734568080448 140492341737872 140492744320725 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 29659136 140734568088764 140734568088940 140734568088940 140734568091599 0
[pid=7188/tid=7194] ppid=7187 vsize=13801768 CPUtime=0.2 cores=1,3,5,7,9,11,13,15
/proc/7188/task/7194/stat : 7194 (java) S 7187 7187 16913 0 -1 1077944384 592 0 0 0 10 10 0 0 20 0 28 0 3910699 14133010432 158113 33554432000 4194304 4196468 140734568080448 140492340685072 140492744320725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29659136 140734568088764 140734568088940 140734568088940 140734568091599 0
[pid=7188/tid=7195] ppid=7187 vsize=13801768 CPUtime=0.2 cores=1,3,5,7,9,11,13,15
/proc/7188/task/7195/stat : 7195 (java) S 7187 7187 16913 0 -1 1077944384 239 0 0 0 10 10 0 0 20 0 28 0 3910699 14133010432 158113 33554432000 4194304 4196468 140734568080448 140492339633296 140492744320725 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 29659136 140734568088764 140734568088940 140734568088940 140734568091599 0
[pid=7188/tid=7196] ppid=7187 vsize=13801768 CPUtime=0.16 cores=1,3,5,7,9,11,13,15
/proc/7188/task/7196/stat : 7196 (java) S 7187 7187 16913 0 -1 1077944384 167 0 0 0 8 8 0 0 20 0 28 0 3910699 14133010432 158113 33554432000 4194304 4196468 140734568080448 140492338580496 140492744320725 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 29659136 140734568088764 140734568088940 140734568088940 140734568091599 0
[pid=7188/tid=7197] ppid=7187 vsize=13801768 CPUtime=0.18 cores=1,3,5,7,9,11,13,15
/proc/7188/task/7197/stat : 7197 (java) S 7187 7187 16913 0 -1 1077944384 135 0 0 0 9 9 0 0 20 0 28 0 3910699 14133010432 158113 33554432000 4194304 4196468 140734568080448 140492337527696 140492744320725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29659136 140734568088764 140734568088940 140734568088940 140734568091599 0
[pid=7188/tid=7198] ppid=7187 vsize=13801768 CPUtime=0.17 cores=1,3,5,7,9,11,13,15
/proc/7188/task/7198/stat : 7198 (java) S 7187 7187 16913 0 -1 1077944384 325 0 0 0 9 8 0 0 20 0 28 0 3910699 14133010432 158113 33554432000 4194304 4196468 140734568080448 140492336474896 140492744320725 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 29659136 140734568088764 140734568088940 140734568088940 140734568091599 0
[pid=7188/tid=7199] ppid=7187 vsize=13801768 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/7188/task/7199/stat : 7199 (java) S 7187 7187 16913 0 -1 1077944384 637 0 0 0 1 0 0 0 20 0 28 0 3910701 14133010432 158113 33554432000 4194304 4196468 140734568080448 140492273797488 140492744321666 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29659136 140734568088764 140734568088940 140734568088940 140734568091599 0
[pid=7188/tid=7200] ppid=7187 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/7188/task/7200/stat : 7200 (java) S 7187 7187 16913 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 28 0 3910702 14133010432 158113 33554432000 4194304 4196468 140734568080448 140492004123744 140492744320725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29659136 140734568088764 140734568088940 140734568088940 140734568091599 0
[pid=7188/tid=7201] ppid=7187 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/7188/task/7201/stat : 7201 (java) S 7187 7187 16913 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 28 0 3910702 14133010432 158113 33554432000 4194304 4196468 140734568080448 140492003070848 140492744320725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29659136 140734568088764 140734568088940 140734568088940 140734568091599 0
[pid=7188/tid=7202] ppid=7187 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/7188/task/7202/stat : 7202 (java) S 7187 7187 16913 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3910706 14133010432 158113 33554432000 4194304 4196468 140734568080448 140492002019152 140492744329115 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 29659136 140734568088764 140734568088940 140734568088940 140734568091599 0
################
# More data... #
################
[pid=7188/tid=7205] ppid=7187 vsize=13801768 CPUtime=2.35 cores=1,3,5,7,9,11,13,15
/proc/7188/task/7205/stat : 7205 (java) S 7187 7187 16913 0 -1 1077944384 6909 0 0 0 234 1 0 0 20 0 28 0 3910706 14133010432 192407 33554432000 4194304 4196468 140734568080448 140491998861936 140492744321666 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 29659136 140734568088764 140734568088940 140734568088940 140734568091599 0
[pid=7188/tid=7206] ppid=7187 vsize=13801768 CPUtime=0.94 cores=1,3,5,7,9,11,13,15
/proc/7188/task/7206/stat : 7206 (java) S 7187 7187 16913 0 -1 1077944384 5308 0 0 0 92 2 0 0 20 0 28 0 3910706 14133010432 192407 33554432000 4194304 4196468 140734568080448 140491997809136 140492744321666 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 29659136 140734568088764 140734568088940 140734568088940 140734568091599 0
[pid=7188/tid=7207] ppid=7187 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/7188/task/7207/stat : 7207 (java) S 7187 7187 16913 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3910706 14133010432 192407 33554432000 4194304 4196468 140734568080448 140491996756576 140492744320725 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 29659136 140734568088764 140734568088940 140734568088940 140734568091599 0
[pid=7188/tid=7208] ppid=7187 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/7188/task/7208/stat : 7208 (java) S 7187 7187 16913 0 -1 1077944384 806 0 0 0 0 0 0 0 20 0 28 0 3910707 14133010432 192407 33554432000 4194304 4196468 140734568080448 140491995703856 140492744321666 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 11 0 0 6293624 6294260 29659136 140734568088764 140734568088940 140734568088940 140734568091599 0
[pid=7188/tid=7209] ppid=7187 vsize=13801768 CPUtime=9.3 cores=1,3,5,7,9,11,13,15
/proc/7188/task/7209/stat : 7209 (java) R 7187 7187 16913 0 -1 4202560 400 0 0 0 930 0 0 0 20 0 28 0 3910962 14133010432 192407 33554432000 4194304 4196468 140734568080448 140491987688680 140492364101685 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29659136 140734568088764 140734568088940 140734568088940 140734568091599 0
[pid=7188/tid=7210] ppid=7187 vsize=13801768 CPUtime=9.43 cores=1,3,5,7,9,11,13,15
/proc/7188/task/7210/stat : 7210 (java) R 7187 7187 16913 0 -1 4202560 293 0 0 0 943 0 0 0 20 0 28 0 3910962 14133010432 192407 33554432000 4194304 4196468 140734568080448 140491986637640 140492364459081 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 29659136 140734568088764 140734568088940 140734568088940 140734568091599 0
[pid=7188/tid=7211] ppid=7187 vsize=13801768 CPUtime=9.27 cores=1,3,5,7,9,11,13,15
/proc/7188/task/7211/stat : 7211 (java) R 7187 7187 16913 0 -1 4202560 320 0 0 0 927 0 0 0 20 0 28 0 3910962 14133010432 192407 33554432000 4194304 4196468 140734568080448 140491985584552 140492364459661 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 29659136 140734568088764 140734568088940 140734568088940 140734568091599 0
[pid=7188/tid=7212] ppid=7187 vsize=13801768 CPUtime=9.3 cores=1,3,5,7,9,11,13,15
/proc/7188/task/7212/stat : 7212 (java) R 7187 7187 16913 0 -1 4202560 1160 0 0 0 928 2 0 0 20 0 28 0 3910962 14133010432 192407 33554432000 4194304 4196468 140734568080448 140491984533984 140492363789729 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29659136 140734568088764 140734568088940 140734568088940 140734568091599 0
[pid=7188/tid=7213] ppid=7187 vsize=13801768 CPUtime=9.5 cores=1,3,5,7,9,11,13,15
/proc/7188/task/7213/stat : 7213 (java) R 7187 7187 16913 0 -1 4202560 332 0 0 0 950 0 0 0 20 0 28 0 3910962 14133010432 192407 33554432000 4194304 4196468 140734568080448 140491983479192 140492364101740 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29659136 140734568088764 140734568088940 140734568088940 140734568091599 0
[pid=7188/tid=7214] ppid=7187 vsize=13801768 CPUtime=9.14 cores=1,3,5,7,9,11,13,15
/proc/7188/task/7214/stat : 7214 (java) R 7187 7187 16913 0 -1 4202560 364 0 0 0 914 0 0 0 20 0 28 0 3910962 14133010432 192407 33554432000 4194304 4196468 140734568080448 140491982426296 140492363823747 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 29659136 140734568088764 140734568088940 140734568088940 140734568091599 0
[pid=7188/tid=7215] ppid=7187 vsize=13801768 CPUtime=9.57 cores=1,3,5,7,9,11,13,15
/proc/7188/task/7215/stat : 7215 (java) R 7187 7187 16913 0 -1 4202560 374 0 0 0 957 0 0 0 20 0 28 0 3910963 14133010432 192407 33554432000 4194304 4196468 140734568080448 140491981375736 140492363789263 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 29659136 140734568088764 140734568088940 140734568088940 140734568091599 0
[pid=7188/tid=7216] ppid=7187 vsize=13801768 CPUtime=9.63 cores=1,3,5,7,9,11,13,15
/proc/7188/task/7216/stat : 7216 (java) R 7187 7187 16913 0 -1 4202560 181 0 0 0 963 0 0 0 20 0 28 0 3910963 14133010432 192407 33554432000 4194304 4196468 140734568080448 140491980320448 140492364009609 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 29659136 140734568088764 140734568088940 140734568088940 140734568091599 0
Current children cumulated CPU time (s) 88.5
Current children cumulated vsize (KiB) 13811280
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 7188 sig 9
??? kill 7187 sig 9
??? kill -7187 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+12.802 s]
/proc/loadavg: 13.25 15.07 15.08 11/296 7405
/proc/meminfo: memFree=30798976/32770624 swapFree=5900/228940
[pid=7187] ppid=7184 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/7187/stat : 7187 (xcsp3-exec) S 7184 7187 16913 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3910697 9740288 346 33554432000 4194304 5098028 140721441866416 140721441864520 140395855151740 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 17719296 140721441875087 140721441875296 140721441875296 140721441877995 0
/proc/7187/statm: 2378 346 289 221 0 87 0
[pid=7188] ppid=7187 vsize=13801768 CPUtime=89.3 cores=1,3,5,7,9,11,13,15
/proc/7188/stat : 7188 (java) S 7187 7187 16913 0 -1 1077944320 45750 0 0 0 8791 139 0 0 20 0 28 0 3910697 14133010432 192407 33554432000 4194304 4196468 140734568080448 140734568062992 140492744310519 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 29659136 140734568088764 140734568088940 140734568088940 140734568091599 0
/proc/7188/statm: 3450442 192407 3287 1 0 3437675 0
[pid=7188/tid=7189] ppid=7187 vsize=13801768 CPUtime=2.4 cores=1,3,5,7,9,11,13,15
/proc/7188/task/7189/stat : 7189 (java) S 7187 7187 16913 0 -1 1077944384 8620 0 0 0 231 9 0 0 20 0 28 0 3910698 14133010432 192407 33554432000 4194304 4196468 140734568080448 140492748551296 140492744320725 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 29659136 140734568088764 140734568088940 140734568088940 140734568091599 0
[pid=7188/tid=7191] ppid=7187 vsize=13801768 CPUtime=0.3 cores=1,3,5,7,9,11,13,15
/proc/7188/task/7191/stat : 7191 (java) S 7187 7187 16913 0 -1 1077944384 944 0 0 0 16 14 0 0 20 0 28 0 3910699 14133010432 192407 33554432000 4194304 4196468 140734568080448 140492676446864 140492744320725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29659136 140734568088764 140734568088940 140734568088940 140734568091599 0
[pid=7188/tid=7192] ppid=7187 vsize=13801768 CPUtime=0.31 cores=1,3,5,7,9,11,13,15
/proc/7188/task/7192/stat : 7192 (java) S 7187 7187 16913 0 -1 1077944384 252 0 0 0 16 15 0 0 20 0 28 0 3910699 14133010432 192407 33554432000 4194304 4196468 140734568080448 140492342790672 140492744320725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29659136 140734568088764 140734568088940 140734568088940 140734568091599 0
[pid=7188/tid=7193] ppid=7187 vsize=13801768 CPUtime=0.26 cores=1,3,5,7,9,11,13,15
/proc/7188/task/7193/stat : 7193 (java) S 7187 7187 16913 0 -1 1077944384 422 0 0 0 13 13 0 0 20 0 28 0 3910699 14133010432 192407 33554432000 4194304 4196468 140734568080448 140492341737872 140492744320725 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 29659136 140734568088764 140734568088940 140734568088940 140734568091599 0
[pid=7188/tid=7194] ppid=7187 vsize=13801768 CPUtime=0.32 cores=1,3,5,7,9,11,13,15
/proc/7188/task/7194/stat : 7194 (java) S 7187 7187 16913 0 -1 1077944384 669 0 0 0 17 15 0 0 20 0 28 0 3910699 14133010432 192407 33554432000 4194304 4196468 140734568080448 140492340685072 140492744320725 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29659136 140734568088764 140734568088940 140734568088940 140734568091599 0
[pid=7188/tid=7195] ppid=7187 vsize=13801768 CPUtime=0.31 cores=1,3,5,7,9,11,13,15
/proc/7188/task/7195/stat : 7195 (java) S 7187 7187 16913 0 -1 1077944384 452 0 0 0 17 14 0 0 20 0 28 0 3910699 14133010432 192407 33554432000 4194304 4196468 140734568080448 140492339633296 140492744320725 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 29659136 140734568088764 140734568088940 140734568088940 140734568091599 0
[pid=7188/tid=7196] ppid=7187 vsize=13801768 CPUtime=0.25 cores=1,3,5,7,9,11,13,15
/proc/7188/task/7196/stat : 7196 (java) S 7187 7187 16913 0 -1 1077944384 259 0 0 0 12 13 0 0 20 0 28 0 3910699 14133010432 192407 33554432000 4194304 4196468 140734568080448 140492338580496 140492744320725 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 29659136 140734568088764 140734568088940 140734568088940 140734568091599 0
[pid=7188/tid=7197] ppid=7187 vsize=13801768 CPUtime=0.29 cores=1,3,5,7,9,11,13,15
/proc/7188/task/7197/stat : 7197 (java) S 7187 7187 16913 0 -1 1077944384 258 0 0 0 15 14 0 0 20 0 28 0 3910699 14133010432 192407 33554432000 4194304 4196468 140734568080448 140492337527696 140492744320725 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29659136 140734568088764 140734568088940 140734568088940 140734568091599 0
[pid=7188/tid=7198] ppid=7187 vsize=13801768 CPUtime=0.28 cores=1,3,5,7,9,11,13,15
/proc/7188/task/7198/stat : 7198 (java) S 7187 7187 16913 0 -1 1077944384 426 0 0 0 15 13 0 0 20 0 28 0 3910699 14133010432 192407 33554432000 4194304 4196468 140734568080448 140492336474896 140492744320725 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 29659136 140734568088764 140734568088940 140734568088940 140734568091599 0
[pid=7188/tid=7199] ppid=7187 vsize=13801768 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/7188/task/7199/stat : 7199 (java) S 7187 7187 16913 0 -1 1077944384 1201 0 0 0 1 1 0 0 20 0 28 0 3910701 14133010432 192407 33554432000 4194304 4196468 140734568080448 140492273797488 140492744321666 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29659136 140734568088764 140734568088940 140734568088940 140734568091599 0
[pid=7188/tid=7200] ppid=7187 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/7188/task/7200/stat : 7200 (java) S 7187 7187 16913 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 28 0 3910702 14133010432 192407 33554432000 4194304 4196468 140734568080448 140492004123744 140492744320725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29659136 140734568088764 140734568088940 140734568088940 140734568091599 0
[pid=7188/tid=7201] ppid=7187 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/7188/task/7201/stat : 7201 (java) S 7187 7187 16913 0 -1 1077944384 89 0 0 0 0 0 0 0 20 0 28 0 3910702 14133010432 192407 33554432000 4194304 4196468 140734568080448 140492003070848 140492744320725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29659136 140734568088764 140734568088940 140734568088940 140734568091599 0
[pid=7188/tid=7202] ppid=7187 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/7188/task/7202/stat : 7202 (java) S 7187 7187 16913 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3910706 14133010432 192407 33554432000 4194304 4196468 140734568080448 140492002019152 140492744329115 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 29659136 140734568088764 140734568088940 140734568088940 140734568091599 0
[pid=7188/tid=7203] ppid=7187 vsize=13801768 CPUtime=2.5 cores=1,3,5,7,9,11,13,15
/proc/7188/task/7203/stat : 7203 (java) S 7187 7187 16913 0 -1 1077944384 7185 0 0 0 249 1 0 0 20 0 28 0 3910706 14133010432 192407 33554432000 4194304 4196468 140734568080448 140492000967536 140492744321666 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29659136 140734568088764 140734568088940 140734568088940 140734568091599 0
[pid=7188/tid=7204] ppid=7187 vsize=13801768 CPUtime=2.62 cores=1,3,5,7,9,11,13,15
/proc/7188/task/7204/stat : 7204 (java) S 7187 7187 16913 0 -1 1077944384 7213 0 0 0 260 2 0 0 20 0 28 0 3910706 14133010432 192407 33554432000 4194304 4196468 140734568080448 140491999914736 140492744321666 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 11 0 0 6293624 6294260 29659136 140734568088764 140734568088940 140734568088940 140734568091599 0
[pid=7188/tid=7205] ppid=7187 vsize=13801768 CPUtime=2.35 cores=1,3,5,7,9,11,13,15
/proc/7188/task/7205/stat : 7205 (java) S 7187 7187 16913 0 -1 1077944384 6909 0 0 0 234 1 0 0 20 0 28 0 3910706 14133010432 192407 33554432000 4194304 4196468 140734568080448 140491998861936 140492744321666 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 29659136 140734568088764 140734568088940 140734568088940 140734568091599 0
[pid=7188/tid=7206] ppid=7187 vsize=13801768 CPUtime=0.94 cores=1,3,5,7,9,11,13,15
/proc/7188/task/7206/stat : 7206 (java) S 7187 7187 16913 0 -1 1077944384 5308 0 0 0 92 2 0 0 20 0 28 0 3910706 14133010432 192407 33554432000 4194304 4196468 140734568080448 140491997809136 140492744321666 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 29659136 140734568088764 140734568088940 140734568088940 140734568091599 0
[pid=7188/tid=7207] ppid=7187 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/7188/task/7207/stat : 7207 (java) S 7187 7187 16913 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3910706 14133010432 192407 33554432000 4194304 4196468 140734568080448 140491996756576 140492744320725 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 29659136 140734568088764 140734568088940 140734568088940 140734568091599 0
[pid=7188/tid=7208] ppid=7187 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/7188/task/7208/stat : 7208 (java) S 7187 7187 16913 0 -1 1077944384 806 0 0 0 0 0 0 0 20 0 28 0 3910707 14133010432 192407 33554432000 4194304 4196468 140734568080448 140491995703856 140492744321666 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 11 0 0 6293624 6294260 29659136 140734568088764 140734568088940 140734568088940 140734568091599 0
[pid=7188/tid=7209] ppid=7187 vsize=13801768 CPUtime=9.4 cores=1,3,5,7,9,11,13,15
/proc/7188/task/7209/stat : 7209 (java) R 7187 7187 16913 0 -1 4202560 400 0 0 0 940 0 0 0 20 0 28 0 3910962 14133010432 192407 33554432000 4194304 4196468 140734568080448 140491987688680 140492364459456 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29659136 140734568088764 140734568088940 140734568088940 140734568091599 0
[pid=7188/tid=7210] ppid=7187 vsize=13801768 CPUtime=9.53 cores=1,3,5,7,9,11,13,15
/proc/7188/task/7210/stat : 7210 (java) R 7187 7187 16913 0 -1 4202560 293 0 0 0 953 0 0 0 20 0 28 0 3910962 14133010432 192407 33554432000 4194304 4196468 140734568080448 140491986637640 140492363789948 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 29659136 140734568088764 140734568088940 140734568088940 140734568091599 0
[pid=7188/tid=7211] ppid=7187 vsize=13801768 CPUtime=9.37 cores=1,3,5,7,9,11,13,15
/proc/7188/task/7211/stat : 7211 (java) R 7187 7187 16913 0 -1 4202560 320 0 0 0 937 0 0 0 20 0 28 0 3910962 14133010432 192407 33554432000 4194304 4196468 140734568080448 140491985584552 140492363790310 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 29659136 140734568088764 140734568088940 140734568088940 140734568091599 0
[pid=7188/tid=7212] ppid=7187 vsize=13801768 CPUtime=9.4 cores=1,3,5,7,9,11,13,15
/proc/7188/task/7212/stat : 7212 (java) R 7187 7187 16913 0 -1 4202560 1167 0 0 0 938 2 0 0 20 0 28 0 3910962 14133010432 192407 33554432000 4194304 4196468 140734568080448 140491984533984 140492364619927 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29659136 140734568088764 140734568088940 140734568088940 140734568091599 0
[pid=7188/tid=7213] ppid=7187 vsize=13801768 CPUtime=9.6 cores=1,3,5,7,9,11,13,15
/proc/7188/task/7213/stat : 7213 (java) R 7187 7187 16913 0 -1 4202560 332 0 0 0 960 0 0 0 20 0 28 0 3910962 14133010432 192407 33554432000 4194304 4196468 140734568080448 140491983479192 140492364101307 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29659136 140734568088764 140734568088940 140734568088940 140734568091599 0
[pid=7188/tid=7214] ppid=7187 vsize=13801768 CPUtime=9.24 cores=1,3,5,7,9,11,13,15
/proc/7188/task/7214/stat : 7214 (java) R 7187 7187 16913 0 -1 4202560 364 0 0 0 924 0 0 0 20 0 28 0 3910962 14133010432 192407 33554432000 4194304 4196468 140734568080448 140491982426296 140492363823529 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 29659136 140734568088764 140734568088940 140734568088940 140734568091599 0
[pid=7188/tid=7215] ppid=7187 vsize=13801768 CPUtime=9.67 cores=1,3,5,7,9,11,13,15
/proc/7188/task/7215/stat : 7215 (java) R 7187 7187 16913 0 -1 4202560 374 0 0 0 967 0 0 0 20 0 28 0 3910963 14133010432 192407 33554432000 4194304 4196468 140734568080448 140491981375736 140492363887969 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 29659136 140734568088764 140734568088940 140734568088940 140734568091599 0
[pid=7188/tid=7216] ppid=7187 vsize=13801768 CPUtime=9.73 cores=1,3,5,7,9,11,13,15
/proc/7188/task/7216/stat : 7216 (java) R 7187 7187 16913 0 -1 4202560 181 0 0 0 973 0 0 0 20 0 28 0 3910963 14133010432 192407 33554432000 4194304 4196468 140734568080448 140491980320448 140492364459656 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 29659136 140734568088764 140734568088940 140734568088940 140734568091599 0
Current children cumulated CPU time (s) 89.3
Current children cumulated vsize (KiB) 13811280
[startup+13.2015 s]
/proc/loadavg: 13.25 15.07 15.08 10/296 7405
/proc/meminfo: memFree=30535224/32770624 swapFree=5900/228940
[pid=7187] ppid=7184 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/7187/stat : 7187 (xcsp3-exec) S 7184 7187 16913 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3910697 9740288 346 33554432000 4194304 5098028 140721441866416 140721441864520 140395855151740 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 17719296 140721441875087 140721441875296 140721441875296 140721441877995 0
/proc/7187/statm: 2378 346 289 221 0 87 0
[pid=7188] ppid=7187 vsize=13801768 CPUtime=92.55 cores=1,3,5,7,9,11,13,15
/proc/7188/stat : 7188 (java) S 7187 7187 16913 0 -1 1077944320 46266 0 0 0 9116 139 0 0 20 0 28 0 3910697 14133010432 192410 33554432000 4194304 4196468 140734568080448 140734568062992 140492744310519 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 29659136 140734568088764 140734568088940 140734568088940 140734568091599 0
/proc/7188/statm: 3450442 192410 3287 1 0 3437675 0
[pid=7188/tid=7189] ppid=7187 vsize=13801768 CPUtime=2.4 cores=1,3,5,7,9,11,13,15
/proc/7188/task/7189/stat : 7189 (java) S 7187 7187 16913 0 -1 1077944384 8620 0 0 0 231 9 0 0 20 0 28 0 3910698 14133010432 192410 33554432000 4194304 4196468 140734568080448 140492748551296 140492744320725 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 29659136 140734568088764 140734568088940 140734568088940 140734568091599 0
[pid=7188/tid=7191] ppid=7187 vsize=13801768 CPUtime=0.3 cores=1,3,5,7,9,11,13,15
/proc/7188/task/7191/stat : 7191 (java) S 7187 7187 16913 0 -1 1077944384 944 0 0 0 16 14 0 0 20 0 28 0 3910699 14133010432 192410 33554432000 4194304 4196468 140734568080448 140492676446864 140492744320725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29659136 140734568088764 140734568088940 140734568088940 140734568091599 0
[pid=7188/tid=7192] ppid=7187 vsize=13801768 CPUtime=0.31 cores=1,3,5,7,9,11,13,15
/proc/7188/task/7192/stat : 7192 (java) S 7187 7187 16913 0 -1 1077944384 252 0 0 0 16 15 0 0 20 0 28 0 3910699 14133010432 192410 33554432000 4194304 4196468 140734568080448 140492342790672 140492744320725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29659136 140734568088764 140734568088940 140734568088940 140734568091599 0
[pid=7188/tid=7193] ppid=7187 vsize=13801768 CPUtime=0.26 cores=1,3,5,7,9,11,13,15
/proc/7188/task/7193/stat : 7193 (java) S 7187 7187 16913 0 -1 1077944384 422 0 0 0 13 13 0 0 20 0 28 0 3910699 14133010432 192410 33554432000 4194304 4196468 140734568080448 140492341737872 140492744320725 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 29659136 140734568088764 140734568088940 140734568088940 140734568091599 0
[pid=7188/tid=7194] ppid=7187 vsize=13801768 CPUtime=0.32 cores=1,3,5,7,9,11,13,15
/proc/7188/task/7194/stat : 7194 (java) S 7187 7187 16913 0 -1 1077944384 669 0 0 0 17 15 0 0 20 0 28 0 3910699 14133010432 192410 33554432000 4194304 4196468 140734568080448 140492340685072 140492744320725 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29659136 140734568088764 140734568088940 140734568088940 140734568091599 0
[pid=7188/tid=7195] ppid=7187 vsize=13801768 CPUtime=0.31 cores=1,3,5,7,9,11,13,15
/proc/7188/task/7195/stat : 7195 (java) S 7187 7187 16913 0 -1 1077944384 452 0 0 0 17 14 0 0 20 0 28 0 3910699 14133010432 192410 33554432000 4194304 4196468 140734568080448 140492339633296 140492744320725 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 29659136 140734568088764 140734568088940 140734568088940 140734568091599 0
[pid=7188/tid=7196] ppid=7187 vsize=13801768 CPUtime=0.25 cores=1,3,5,7,9,11,13,15
/proc/7188/task/7196/stat : 7196 (java) S 7187 7187 16913 0 -1 1077944384 259 0 0 0 12 13 0 0 20 0 28 0 3910699 14133010432 192410 33554432000 4194304 4196468 140734568080448 140492338580496 140492744320725 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 29659136 140734568088764 140734568088940 140734568088940 140734568091599 0
[pid=7188/tid=7197] ppid=7187 vsize=13801768 CPUtime=0.29 cores=1,3,5,7,9,11,13,15
/proc/7188/task/7197/stat : 7197 (java) S 7187 7187 16913 0 -1 1077944384 258 0 0 0 15 14 0 0 20 0 28 0 3910699 14133010432 192410 33554432000 4194304 4196468 140734568080448 140492337527696 140492744320725 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29659136 140734568088764 140734568088940 140734568088940 140734568091599 0
[pid=7188/tid=7198] ppid=7187 vsize=13801768 CPUtime=0.28 cores=1,3,5,7,9,11,13,15
/proc/7188/task/7198/stat : 7198 (java) S 7187 7187 16913 0 -1 1077944384 426 0 0 0 15 13 0 0 20 0 28 0 3910699 14133010432 192410 33554432000 4194304 4196468 140734568080448 140492336474896 140492744320725 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 29659136 140734568088764 140734568088940 140734568088940 140734568091599 0
[pid=7188/tid=7199] ppid=7187 vsize=13801768 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/7188/task/7199/stat : 7199 (java) S 7187 7187 16913 0 -1 1077944384 1265 0 0 0 1 1 0 0 20 0 28 0 3910701 14133010432 192410 33554432000 4194304 4196468 140734568080448 140492273797488 140492744321666 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29659136 140734568088764 140734568088940 140734568088940 140734568091599 0
[pid=7188/tid=7200] ppid=7187 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/7188/task/7200/stat : 7200 (java) S 7187 7187 16913 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 28 0 3910702 14133010432 192410 33554432000 4194304 4196468 140734568080448 140492004123744 140492744320725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29659136 140734568088764 140734568088940 140734568088940 140734568091599 0
[pid=7188/tid=7201] ppid=7187 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/7188/task/7201/stat : 7201 (java) S 7187 7187 16913 0 -1 1077944384 89 0 0 0 0 0 0 0 20 0 28 0 3910702 14133010432 192410 33554432000 4194304 4196468 140734568080448 140492003070848 140492744320725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29659136 140734568088764 140734568088940 140734568088940 140734568091599 0
[pid=7188/tid=7202] ppid=7187 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/7188/task/7202/stat : 7202 (java) S 7187 7187 16913 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3910706 14133010432 192410 33554432000 4194304 4196468 140734568080448 140492002019152 140492744329115 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 29659136 140734568088764 140734568088940 140734568088940 140734568091599 0
[pid=7188/tid=7203] ppid=7187 vsize=13801768 CPUtime=2.5 cores=1,3,5,7,9,11,13,15
/proc/7188/task/7203/stat : 7203 (java) S 7187 7187 16913 0 -1 1077944384 7364 0 0 0 249 1 0 0 20 0 28 0 3910706 14133010432 192410 33554432000 4194304 4196468 140734568080448 140492000967536 140492744321666 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29659136 140734568088764 140734568088940 140734568088940 140734568091599 0
[pid=7188/tid=7204] ppid=7187 vsize=13801768 CPUtime=2.64 cores=1,3,5,7,9,11,13,15
/proc/7188/task/7204/stat : 7204 (java) S 7187 7187 16913 0 -1 1077944384 7451 0 0 0 262 2 0 0 20 0 28 0 3910706 14133010432 192410 33554432000 4194304 4196468 140734568080448 140491999914736 140492744321666 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 11 0 0 6293624 6294260 29659136 140734568088764 140734568088940 140734568088940 140734568091599 0
[pid=7188/tid=7205] ppid=7187 vsize=13801768 CPUtime=2.35 cores=1,3,5,7,9,11,13,15
/proc/7188/task/7205/stat : 7205 (java) S 7187 7187 16913 0 -1 1077944384 6909 0 0 0 234 1 0 0 20 0 28 0 3910706 14133010432 192410 33554432000 4194304 4196468 140734568080448 140491998861936 140492744321666 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 29659136 140734568088764 140734568088940 140734568088940 140734568091599 0
[pid=7188/tid=7206] ppid=7187 vsize=13801768 CPUtime=0.94 cores=1,3,5,7,9,11,13,15
/proc/7188/task/7206/stat : 7206 (java) S 7187 7187 16913 0 -1 1077944384 5308 0 0 0 92 2 0 0 20 0 28 0 3910706 14133010432 192410 33554432000 4194304 4196468 140734568080448 140491997809136 140492744321666 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 29659136 140734568088764 140734568088940 140734568088940 140734568091599 0
[pid=7188/tid=7207] ppid=7187 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/7188/task/7207/stat : 7207 (java) S 7187 7187 16913 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3910706 14133010432 192410 33554432000 4194304 4196468 140734568080448 140491996756576 140492744320725 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 29659136 140734568088764 140734568088940 140734568088940 140734568091599 0
[pid=7188/tid=7208] ppid=7187 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/7188/task/7208/stat : 7208 (java) S 7187 7187 16913 0 -1 1077944384 806 0 0 0 0 0 0 0 20 0 28 0 3910707 14133010432 192410 33554432000 4194304 4196468 140734568080448 140491995703856 140492744321666 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 11 0 0 6293624 6294260 29659136 140734568088764 140734568088940 140734568088940 140734568091599 0
[pid=7188/tid=7209] ppid=7187 vsize=13801768 CPUtime=9.81 cores=1,3,5,7,9,11,13,15
/proc/7188/task/7209/stat : 7209 (java) R 7187 7187 16913 0 -1 4202560 401 0 0 0 981 0 0 0 20 0 28 0 3910962 14133010432 192410 33554432000 4194304 4196468 140734568080448 140491987688360 140492363789729 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29659136 140734568088764 140734568088940 140734568088940 140734568091599 0
[pid=7188/tid=7210] ppid=7187 vsize=13801768 CPUtime=9.92 cores=1,3,5,7,9,11,13,15
/proc/7188/task/7210/stat : 7210 (java) R 7187 7187 16913 0 -1 4202560 293 0 0 0 992 0 0 0 20 0 28 0 3910962 14133010432 192410 33554432000 4194304 4196468 140734568080448 140491986636568 140492363789490 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 29659136 140734568088764 140734568088940 140734568088940 140734568091599 0
[pid=7188/tid=7211] ppid=7187 vsize=13801768 CPUtime=9.78 cores=1,3,5,7,9,11,13,15
/proc/7188/task/7211/stat : 7211 (java) R 7187 7187 16913 0 -1 4202560 331 0 0 0 978 0 0 0 20 0 28 0 3910962 14133010432 192410 33554432000 4194304 4196468 140734568080448 140491985584200 140492364459195 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 29659136 140734568088764 140734568088940 140734568088940 140734568091599 0
[pid=7188/tid=7212] ppid=7187 vsize=13801768 CPUtime=9.79 cores=1,3,5,7,9,11,13,15
/proc/7188/task/7212/stat : 7212 (java) R 7187 7187 16913 0 -1 4202560 1185 0 0 0 977 2 0 0 20 0 28 0 3910962 14133010432 192410 33554432000 4194304 4196468 140734568080448 140491984532368 140492363887726 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29659136 140734568088764 140734568088940 140734568088940 140734568091599 0
[pid=7188/tid=7213] ppid=7187 vsize=13801768 CPUtime=10.01 cores=1,3,5,7,9,11,13,15
/proc/7188/task/7213/stat : 7213 (java) R 7187 7187 16913 0 -1 4202560 334 0 0 0 1001 0 0 0 20 0 28 0 3910962 14133010432 192410 33554432000 4194304 4196468 140734568080448 140491983479192 140492363888793 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29659136 140734568088764 140734568088940 140734568088940 140734568091599 0
[pid=7188/tid=7214] ppid=7187 vsize=13801768 CPUtime=9.65 cores=1,3,5,7,9,11,13,15
/proc/7188/task/7214/stat : 7214 (java) R 7187 7187 16913 0 -1 4202560 364 0 0 0 965 0 0 0 20 0 28 0 3910962 14133010432 192410 33554432000 4194304 4196468 140734568080448 140491982426392 140492364459661 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 29659136 140734568088764 140734568088940 140734568088940 140734568091599 0
[pid=7188/tid=7215] ppid=7187 vsize=13801768 CPUtime=10.08 cores=1,3,5,7,9,11,13,15
/proc/7188/task/7215/stat : 7215 (java) R 7187 7187 16913 0 -1 4202560 375 0 0 0 1008 0 0 0 20 0 28 0 3910963 14133010432 192410 33554432000 4194304 4196468 140734568080448 140491981373496 140492363790070 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 29659136 140734568088764 140734568088940 140734568088940 140734568091599 0
[pid=7188/tid=7216] ppid=7187 vsize=13801768 CPUtime=10.14 cores=1,3,5,7,9,11,13,15
/proc/7188/task/7216/stat : 7216 (java) R 7187 7187 16913 0 -1 4202560 183 0 0 0 1014 0 0 0 20 0 28 0 3910963 14133010432 192410 33554432000 4194304 4196468 140734568080448 140491980320544 140492364101284 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 29659136 140734568088764 140734568088940 140734568088940 140734568091599 0
Current children cumulated CPU time (s) 92.55
Current children cumulated vsize (KiB) 13811280
Child status: 0
Real time (s): 13.2745
CPU time (s): 92.8452
CPU user time (s): 91.4429
CPU system time (s): 1.40232
CPU usage (%): 699.427
Max. virtual memory (cumulated for all children) (KiB): 13811280
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 91.4429
system time used= 1.40232
maximum resident set size= 769756
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 49092
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= 4918
involuntary context switches= 7597
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.146362 second user time and 0.206361 second system time
The end