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-4245907-1500686719/watcher-4245907-1500686719 -o /tmp/evaluation-result-4245907-1500686719/solver-4245907-1500686719 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node131-1500682620-7801 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 1835092534 HOME/instance-4245907-1500686719.xml
pid=17964
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: 5.61 9.91 11.90 3/262 17967
/proc/meminfo: memFree=24309420/32770624 swapFree=5860/270688
[pid=17967] ppid=17964 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17967/stat : 17967 (xcsp3-exec) S 17964 17967 7411 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3939373 9740288 346 33554432000 4194304 5098028 140723845973744 140723845971848 139711139459708 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 20361216 140723845981326 140723845981536 140723845981536 140723845984235 0
/proc/17967/statm: 2378 346 289 221 0 87 0
[startup+0.10014 s]
/proc/loadavg: 5.61 9.91 11.90 3/262 17967
/proc/meminfo: memFree=24309420/32770624 swapFree=5860/270688
[pid=17967] ppid=17964 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17967/stat : 17967 (xcsp3-exec) S 17964 17967 7411 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3939373 9740288 346 33554432000 4194304 5098028 140723845973744 140723845971848 139711139459708 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 20361216 140723845981326 140723845981536 140723845981536 140723845984235 0
/proc/17967/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200361 s]
/proc/loadavg: 5.61 9.91 11.90 3/262 17967
/proc/meminfo: memFree=24309420/32770624 swapFree=5860/270688
[pid=17967] ppid=17964 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17967/stat : 17967 (xcsp3-exec) S 17964 17967 7411 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3939373 9740288 346 33554432000 4194304 5098028 140723845973744 140723845971848 139711139459708 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 20361216 140723845981326 140723845981536 140723845981536 140723845984235 0
/proc/17967/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300229 s]
/proc/loadavg: 5.61 9.91 11.90 3/262 17967
/proc/meminfo: memFree=24309420/32770624 swapFree=5860/270688
[pid=17967] ppid=17964 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17967/stat : 17967 (xcsp3-exec) S 17964 17967 7411 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3939373 9740288 346 33554432000 4194304 5098028 140723845973744 140723845971848 139711139459708 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 20361216 140723845981326 140723845981536 140723845981536 140723845984235 0
/proc/17967/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700206 s]
/proc/loadavg: 5.61 9.91 11.90 3/262 17967
/proc/meminfo: memFree=24309420/32770624 swapFree=5860/270688
[pid=17967] ppid=17964 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17967/stat : 17967 (xcsp3-exec) S 17964 17967 7411 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3939373 9740288 346 33554432000 4194304 5098028 140723845973744 140723845971848 139711139459708 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 20361216 140723845981326 140723845981536 140723845981536 140723845984235 0
/proc/17967/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50164 s]
/proc/loadavg: 5.61 9.91 11.90 13/283 17988
/proc/meminfo: memFree=24021332/32770624 swapFree=5860/270716
[pid=17967] ppid=17964 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17967/stat : 17967 (xcsp3-exec) S 17964 17967 7411 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3939373 9740288 346 33554432000 4194304 5098028 140723845973744 140723845971848 139711139459708 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 20361216 140723845981326 140723845981536 140723845981536 140723845984235 0
/proc/17967/statm: 2378 346 289 221 0 87 0
[pid=17968] ppid=17967 vsize=13269256 CPUtime=5.53 cores=0,2,4,6,8,10,12,14
/proc/17968/stat : 17968 (java) S 17967 17967 7411 0 -1 1077944320 24768 0 0 0 522 31 0 0 20 0 20 0 3939373 13587718144 62843 33554432000 4194304 4196468 140728382814112 140728382796656 140596853047031 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 27054080 140728382817468 140728382817644 140728382817644 140728382820303 0
/proc/17968/statm: 3317314 62843 3247 1 0 3304547 0
[pid=17968/tid=17969] ppid=17967 vsize=13269256 CPUtime=1.41 cores=0,2,4,6,8,10,12,14
/proc/17968/task/17969/stat : 17969 (java) R 17967 17967 7411 0 -1 4202560 7033 0 0 0 137 4 0 0 20 0 20 0 3939373 13587718144 62843 33554432000 4194304 4196468 140728382814112 140596857284136 140596448223257 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27054080 140728382817468 140728382817644 140728382817644 140728382820303 0
[pid=17968/tid=17971] ppid=17967 vsize=13269256 CPUtime=0.05 cores=0,2,4,6,8,10,12,14
/proc/17968/task/17971/stat : 17971 (java) S 17967 17967 7411 0 -1 1077944384 430 0 0 0 2 3 0 0 20 0 20 0 3939374 13587718144 62843 33554432000 4194304 4196468 140728382814112 140596771527824 140596853057237 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27054080 140728382817468 140728382817644 140728382817644 140728382820303 0
[pid=17968/tid=17972] ppid=17967 vsize=13269256 CPUtime=0.05 cores=0,2,4,6,8,10,12,14
/proc/17968/task/17972/stat : 17972 (java) S 17967 17967 7411 0 -1 1077944384 97 0 0 0 2 3 0 0 20 0 20 0 3939374 13587718144 62843 33554432000 4194304 4196468 140728382814112 140596770475024 140596853057237 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 27054080 140728382817468 140728382817644 140728382817644 140728382820303 0
[pid=17968/tid=17973] ppid=17967 vsize=13269256 CPUtime=0.05 cores=0,2,4,6,8,10,12,14
/proc/17968/task/17973/stat : 17973 (java) S 17967 17967 7411 0 -1 1077944384 236 0 0 0 3 2 0 0 20 0 20 0 3939374 13587718144 62843 33554432000 4194304 4196468 140728382814112 140596769422224 140596853057237 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 27054080 140728382817468 140728382817644 140728382817644 140728382820303 0
[pid=17968/tid=17974] ppid=17967 vsize=13269256 CPUtime=0.04 cores=0,2,4,6,8,10,12,14
/proc/17968/task/17974/stat : 17974 (java) S 17967 17967 7411 0 -1 1077944384 92 0 0 0 2 2 0 0 20 0 20 0 3939374 13587718144 62843 33554432000 4194304 4196468 140728382814112 140596768369424 140596853057237 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 27054080 140728382817468 140728382817644 140728382817644 140728382820303 0
[pid=17968/tid=17975] ppid=17967 vsize=13269256 CPUtime=0.04 cores=0,2,4,6,8,10,12,14
/proc/17968/task/17975/stat : 17975 (java) S 17967 17967 7411 0 -1 1077944384 69 0 0 0 2 2 0 0 20 0 20 0 3939374 13587718144 62843 33554432000 4194304 4196468 140728382814112 140596767316624 140596853057237 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27054080 140728382817468 140728382817644 140728382817644 140728382820303 0
[pid=17968/tid=17976] ppid=17967 vsize=13269256 CPUtime=0.03 cores=0,2,4,6,8,10,12,14
/proc/17968/task/17976/stat : 17976 (java) S 17967 17967 7411 0 -1 1077944384 83 0 0 0 1 2 0 0 20 0 20 0 3939374 13587718144 62843 33554432000 4194304 4196468 140728382814112 140596766263824 140596853057237 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27054080 140728382817468 140728382817644 140728382817644 140728382820303 0
[pid=17968/tid=17977] ppid=17967 vsize=13269256 CPUtime=0.04 cores=0,2,4,6,8,10,12,14
/proc/17968/task/17977/stat : 17977 (java) S 17967 17967 7411 0 -1 1077944384 56 0 0 0 2 2 0 0 20 0 20 0 3939374 13587718144 62843 33554432000 4194304 4196468 140728382814112 140596765211024 140596853057237 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 27054080 140728382817468 140728382817644 140728382817644 140728382820303 0
[pid=17968/tid=17978] ppid=17967 vsize=13269256 CPUtime=0.05 cores=0,2,4,6,8,10,12,14
/proc/17968/task/17978/stat : 17978 (java) S 17967 17967 7411 0 -1 1077944384 74 0 0 0 2 3 0 0 20 0 20 0 3939374 13587718144 62843 33554432000 4194304 4196468 140728382814112 140596764158224 140596853057237 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27054080 140728382817468 140728382817644 140728382817644 140728382820303 0
[pid=17968/tid=17979] ppid=17967 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17968/task/17979/stat : 17979 (java) S 17967 17967 7411 0 -1 1077944384 232 0 0 0 0 0 0 0 20 0 20 0 3939377 13587718144 62843 33554432000 4194304 4196468 140728382814112 140596315417456 140596853058178 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27054080 140728382817468 140728382817644 140728382817644 140728382820303 0
[pid=17968/tid=17980] ppid=17967 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17968/task/17980/stat : 17980 (java) S 17967 17967 7411 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 20 0 3939377 13587718144 62843 33554432000 4194304 4196468 140728382814112 140596314363488 140596853057237 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27054080 140728382817468 140728382817644 140728382817644 140728382820303 0
[pid=17968/tid=17981] ppid=17967 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17968/task/17981/stat : 17981 (java) S 17967 17967 7411 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 20 0 3939378 13587718144 62843 33554432000 4194304 4196468 140728382814112 140596313310592 140596853057237 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 27054080 140728382817468 140728382817644 140728382817644 140728382820303 0
[pid=17968/tid=17982] ppid=17967 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17968/task/17982/stat : 17982 (java) S 17967 17967 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3939381 13587718144 62843 33554432000 4194304 4196468 140728382814112 140596312258896 140596853065627 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 27054080 140728382817468 140728382817644 140728382817644 140728382820303 0
[pid=17968/tid=17983] ppid=17967 vsize=13269256 CPUtime=1.01 cores=0,2,4,6,8,10,12,14
/proc/17968/task/17983/stat : 17983 (java) R 17967 17967 7411 0 -1 4202560 4369 0 0 0 101 0 0 0 20 0 20 0 3939381 13587718144 62843 33554432000 4194304 4196468 140728382814112 140596311193296 140596837862255 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 27054080 140728382817468 140728382817644 140728382817644 140728382820303 0
[pid=17968/tid=17984] ppid=17967 vsize=13269256 CPUtime=1.02 cores=0,2,4,6,8,10,12,14
/proc/17968/task/17984/stat : 17984 (java) S 17967 17967 7411 0 -1 1077944384 3629 0 0 0 101 1 0 0 20 0 20 0 3939381 13587718144 62843 33554432000 4194304 4196468 140728382814112 140596310153456 140596853058178 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27054080 140728382817468 140728382817644 140728382817644 140728382820303 0
[pid=17968/tid=17985] ppid=17967 vsize=13269256 CPUtime=1.01 cores=0,2,4,6,8,10,12,14
/proc/17968/task/17985/stat : 17985 (java) R 17967 17967 7411 0 -1 4202560 4064 0 0 0 100 1 0 0 20 0 20 0 3939381 13587718144 62843 33554432000 4194304 4196468 140728382814112 140596309086832 140596836260396 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27054080 140728382817468 140728382817644 140728382817644 140728382820303 0
[pid=17968/tid=17986] ppid=17967 vsize=13269256 CPUtime=0.6 cores=0,2,4,6,8,10,12,14
/proc/17968/task/17986/stat : 17986 (java) S 17967 17967 7411 0 -1 1077944384 2950 0 0 0 60 0 0 0 20 0 20 0 3939381 13587718144 62843 33554432000 4194304 4196468 140728382814112 140596308047856 140596853058178 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 27054080 140728382817468 140728382817644 140728382817644 140728382820303 0
[pid=17968/tid=17987] ppid=17967 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17968/task/17987/stat : 17987 (java) S 17967 17967 7411 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3939382 13587718144 62843 33554432000 4194304 4196468 140728382814112 140596306996320 140596853057237 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 27054080 140728382817468 140728382817644 140728382817644 140728382820303 0
[pid=17968/tid=17988] ppid=17967 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17968/task/17988/stat : 17988 (java) S 17967 17967 7411 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 20 0 3939382 13587718144 62843 33554432000 4194304 4196468 140728382814112 140596305943600 140596853058178 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 27054080 140728382817468 140728382817644 140728382817644 140728382820303 0
Current children cumulated CPU time (s) 5.53
Current children cumulated vsize (KiB) 13278768
[startup+3.10113 s]
/proc/loadavg: 5.61 9.91 11.90 17/283 17988
/proc/meminfo: memFree=23179136/32770624 swapFree=5860/270720
[pid=17967] ppid=17964 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17967/stat : 17967 (xcsp3-exec) S 17964 17967 7411 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3939373 9740288 346 33554432000 4194304 5098028 140723845973744 140723845971848 139711139459708 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 20361216 140723845981326 140723845981536 140723845981536 140723845984235 0
/proc/17967/statm: 2378 346 289 221 0 87 0
[pid=17968] ppid=17967 vsize=13801768 CPUtime=12.24 cores=0,2,4,6,8,10,12,14
/proc/17968/stat : 17968 (java) S 17967 17967 7411 0 -1 1077944320 28269 0 0 0 1135 89 0 0 20 0 28 0 3939373 14133010432 147654 33554432000 4194304 4196468 140728382814112 140728382796656 140596853047031 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 27054080 140728382817468 140728382817644 140728382817644 140728382820303 0
/proc/17968/statm: 3450442 147654 3250 1 0 3437675 0
[pid=17968/tid=17969] ppid=17967 vsize=13801768 CPUtime=2.4 cores=0,2,4,6,8,10,12,14
/proc/17968/task/17969/stat : 17969 (java) S 17967 17967 7411 0 -1 1077944384 7918 0 0 0 232 8 0 0 20 0 28 0 3939373 14133010432 147654 33554432000 4194304 4196468 140728382814112 140596857287808 140596853057237 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 27054080 140728382817468 140728382817644 140728382817644 140728382820303 0
[pid=17968/tid=17971] ppid=17967 vsize=13801768 CPUtime=0.19 cores=0,2,4,6,8,10,12,14
/proc/17968/task/17971/stat : 17971 (java) S 17967 17967 7411 0 -1 1077944384 498 0 0 0 10 9 0 0 20 0 28 0 3939374 14133010432 147654 33554432000 4194304 4196468 140728382814112 140596771527824 140596853057237 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 27054080 140728382817468 140728382817644 140728382817644 140728382820303 0
[pid=17968/tid=17972] ppid=17967 vsize=13801768 CPUtime=0.19 cores=0,2,4,6,8,10,12,14
/proc/17968/task/17972/stat : 17972 (java) S 17967 17967 7411 0 -1 1077944384 149 0 0 0 10 9 0 0 20 0 28 0 3939374 14133010432 147654 33554432000 4194304 4196468 140728382814112 140596770475024 140596853057237 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 27054080 140728382817468 140728382817644 140728382817644 140728382820303 0
[pid=17968/tid=17973] ppid=17967 vsize=13801768 CPUtime=0.2 cores=0,2,4,6,8,10,12,14
/proc/17968/task/17973/stat : 17973 (java) S 17967 17967 7411 0 -1 1077944384 308 0 0 0 12 8 0 0 20 0 28 0 3939374 14133010432 147654 33554432000 4194304 4196468 140728382814112 140596769422224 140596853057237 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 27054080 140728382817468 140728382817644 140728382817644 140728382820303 0
[pid=17968/tid=17974] ppid=17967 vsize=13801768 CPUtime=0.17 cores=0,2,4,6,8,10,12,14
/proc/17968/task/17974/stat : 17974 (java) S 17967 17967 7411 0 -1 1077944384 175 0 0 0 9 8 0 0 20 0 28 0 3939374 14133010432 147654 33554432000 4194304 4196468 140728382814112 140596768369424 140596853057237 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27054080 140728382817468 140728382817644 140728382817644 140728382820303 0
[pid=17968/tid=17975] ppid=17967 vsize=13801768 CPUtime=0.2 cores=0,2,4,6,8,10,12,14
/proc/17968/task/17975/stat : 17975 (java) S 17967 17967 7411 0 -1 1077944384 149 0 0 0 10 10 0 0 20 0 28 0 3939374 14133010432 147654 33554432000 4194304 4196468 140728382814112 140596767316624 140596853057237 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27054080 140728382817468 140728382817644 140728382817644 140728382820303 0
[pid=17968/tid=17976] ppid=17967 vsize=13801768 CPUtime=0.16 cores=0,2,4,6,8,10,12,14
/proc/17968/task/17976/stat : 17976 (java) S 17967 17967 7411 0 -1 1077944384 143 0 0 0 9 7 0 0 20 0 28 0 3939374 14133010432 147654 33554432000 4194304 4196468 140728382814112 140596766263824 140596853057237 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27054080 140728382817468 140728382817644 140728382817644 140728382820303 0
[pid=17968/tid=17977] ppid=17967 vsize=13801768 CPUtime=0.21 cores=0,2,4,6,8,10,12,14
/proc/17968/task/17977/stat : 17977 (java) S 17967 17967 7411 0 -1 1077944384 137 0 0 0 11 10 0 0 20 0 28 0 3939374 14133010432 147654 33554432000 4194304 4196468 140728382814112 140596765211024 140596853057237 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 27054080 140728382817468 140728382817644 140728382817644 140728382820303 0
[pid=17968/tid=17978] ppid=17967 vsize=13801768 CPUtime=0.21 cores=0,2,4,6,8,10,12,14
/proc/17968/task/17978/stat : 17978 (java) S 17967 17967 7411 0 -1 1077944384 183 0 0 0 13 8 0 0 20 0 28 0 3939374 14133010432 147654 33554432000 4194304 4196468 140728382814112 140596764158224 140596853057237 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27054080 140728382817468 140728382817644 140728382817644 140728382820303 0
[pid=17968/tid=17979] ppid=17967 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17968/task/17979/stat : 17979 (java) S 17967 17967 7411 0 -1 1077944384 371 0 0 0 0 0 0 0 20 0 28 0 3939377 14133010432 147654 33554432000 4194304 4196468 140728382814112 140596315417456 140596853058178 0 0 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 27054080 140728382817468 140728382817644 140728382817644 140728382820303 0
[pid=17968/tid=17980] ppid=17967 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17968/task/17980/stat : 17980 (java) S 17967 17967 7411 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 28 0 3939377 14133010432 147654 33554432000 4194304 4196468 140728382814112 140596314363488 140596853057237 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27054080 140728382817468 140728382817644 140728382817644 140728382820303 0
[pid=17968/tid=17981] ppid=17967 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17968/task/17981/stat : 17981 (java) S 17967 17967 7411 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 28 0 3939378 14133010432 147654 33554432000 4194304 4196468 140728382814112 140596313310592 140596853057237 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 27054080 140728382817468 140728382817644 140728382817644 140728382820303 0
[pid=17968/tid=17982] ppid=17967 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17968/task/17982/stat : 17982 (java) S 17967 17967 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3939381 14133010432 147654 33554432000 4194304 4196468 140728382814112 140596312258896 140596853065627 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 27054080 140728382817468 140728382817644 140728382817644 140728382820303 0
[pid=17968/tid=17983] ppid=17967 vsize=13801768 CPUtime=1.83 cores=0,2,4,6,8,10,12,14
/proc/17968/task/17983/stat : 17983 (java) R 17967 17967 7411 0 -1 4202560 4585 0 0 0 183 0 0 0 20 0 28 0 3939381 14133010432 147654 33554432000 4194304 4196468 140728382814112 140596311197712 140596837933823 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 27054080 140728382817468 140728382817644 140728382817644 140728382820303 0
[pid=17968/tid=17984] ppid=17967 vsize=13801768 CPUtime=1.65 cores=0,2,4,6,8,10,12,14
/proc/17968/task/17984/stat : 17984 (java) R 17967 17967 7411 0 -1 4202560 3998 0 0 0 164 1 0 0 20 0 28 0 3939381 14133010432 147654 33554432000 4194304 4196468 140728382814112 140596310139680 140596832292874 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 27054080 140728382817468 140728382817644 140728382817644 140728382820303 0
[pid=17968/tid=17985] ppid=17967 vsize=13801768 CPUtime=1.66 cores=0,2,4,6,8,10,12,14
/proc/17968/task/17985/stat : 17985 (java) R 17967 17967 7411 0 -1 4202560 4501 0 0 0 165 1 0 0 20 0 28 0 3939381 14133010432 147654 33554432000 4194304 4196468 140728382814112 140596309086536 140596834567883 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 27054080 140728382817468 140728382817644 140728382817644 140728382820303 0
[pid=17968/tid=17986] ppid=17967 vsize=13801768 CPUtime=0.83 cores=0,2,4,6,8,10,12,14
/proc/17968/task/17986/stat : 17986 (java) S 17967 17967 7411 0 -1 1077944384 3384 0 0 0 82 1 0 0 20 0 28 0 3939381 14133010432 147654 33554432000 4194304 4196468 140728382814112 140596308047856 140596853058178 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27054080 140728382817468 140728382817644 140728382817644 140728382820303 0
[pid=17968/tid=17987] ppid=17967 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17968/task/17987/stat : 17987 (java) S 17967 17967 7411 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3939382 14133010432 147654 33554432000 4194304 4196468 140728382814112 140596306996320 140596853057237 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 27054080 140728382817468 140728382817644 140728382817644 140728382820303 0
[pid=17968/tid=17988] ppid=17967 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17968/task/17988/stat : 17988 (java) S 17967 17967 7411 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 28 0 3939382 14133010432 147654 33554432000 4194304 4196468 140728382814112 140596305943600 140596853058178 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 27054080 140728382817468 140728382817644 140728382817644 140728382820303 0
Current children cumulated CPU time (s) 12.24
Current children cumulated vsize (KiB) 13811280
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 17968 sig 9
??? kill 17967 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3.20148 s]
/proc/loadavg: 5.61 9.91 11.90 17/283 17988
/proc/meminfo: memFree=23179136/32770624 swapFree=5860/270720
[pid=17967] ppid=17964 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17967/stat : 17967 (xcsp3-exec) S 17964 17967 7411 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3939373 9740288 346 33554432000 4194304 5098028 140723845973744 140723845971848 139711139459708 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 20361216 140723845981326 140723845981536 140723845981536 140723845984235 0
/proc/17967/statm: 2378 346 289 221 0 87 0
[pid=17968] ppid=17967 vsize=13801768 CPUtime=13.04 cores=0,2,4,6,8,10,12,14
/proc/17968/stat : 17968 (java) S 17967 17967 7411 0 -1 1077944320 28451 0 0 0 1215 89 0 0 20 0 28 0 3939373 14133010432 147829 33554432000 4194304 4196468 140728382814112 140728382796656 140596853047031 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 27054080 140728382817468 140728382817644 140728382817644 140728382820303 0
/proc/17968/statm: 3450442 147829 3268 1 0 3437675 0
[pid=17968/tid=17969] ppid=17967 vsize=13801768 CPUtime=2.4 cores=0,2,4,6,8,10,12,14
/proc/17968/task/17969/stat : 17969 (java) S 17967 17967 7411 0 -1 1077944384 7918 0 0 0 232 8 0 0 20 0 28 0 3939373 14133010432 147829 33554432000 4194304 4196468 140728382814112 140596857287808 140596853057237 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 27054080 140728382817468 140728382817644 140728382817644 140728382820303 0
[pid=17968/tid=17971] ppid=17967 vsize=13801768 CPUtime=0.19 cores=0,2,4,6,8,10,12,14
/proc/17968/task/17971/stat : 17971 (java) S 17967 17967 7411 0 -1 1077944384 498 0 0 0 10 9 0 0 20 0 28 0 3939374 14133010432 147829 33554432000 4194304 4196468 140728382814112 140596771527824 140596853057237 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 27054080 140728382817468 140728382817644 140728382817644 140728382820303 0
[pid=17968/tid=17972] ppid=17967 vsize=13801768 CPUtime=0.19 cores=0,2,4,6,8,10,12,14
/proc/17968/task/17972/stat : 17972 (java) S 17967 17967 7411 0 -1 1077944384 149 0 0 0 10 9 0 0 20 0 28 0 3939374 14133010432 147829 33554432000 4194304 4196468 140728382814112 140596770475024 140596853057237 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 27054080 140728382817468 140728382817644 140728382817644 140728382820303 0
[pid=17968/tid=17973] ppid=17967 vsize=13801768 CPUtime=0.2 cores=0,2,4,6,8,10,12,14
/proc/17968/task/17973/stat : 17973 (java) S 17967 17967 7411 0 -1 1077944384 308 0 0 0 12 8 0 0 20 0 28 0 3939374 14133010432 147829 33554432000 4194304 4196468 140728382814112 140596769422224 140596853057237 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 27054080 140728382817468 140728382817644 140728382817644 140728382820303 0
[pid=17968/tid=17974] ppid=17967 vsize=13801768 CPUtime=0.17 cores=0,2,4,6,8,10,12,14
/proc/17968/task/17974/stat : 17974 (java) S 17967 17967 7411 0 -1 1077944384 175 0 0 0 9 8 0 0 20 0 28 0 3939374 14133010432 147829 33554432000 4194304 4196468 140728382814112 140596768369424 140596853057237 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27054080 140728382817468 140728382817644 140728382817644 140728382820303 0
[pid=17968/tid=17975] ppid=17967 vsize=13801768 CPUtime=0.2 cores=0,2,4,6,8,10,12,14
/proc/17968/task/17975/stat : 17975 (java) S 17967 17967 7411 0 -1 1077944384 149 0 0 0 10 10 0 0 20 0 28 0 3939374 14133010432 147829 33554432000 4194304 4196468 140728382814112 140596767316624 140596853057237 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27054080 140728382817468 140728382817644 140728382817644 140728382820303 0
[pid=17968/tid=17976] ppid=17967 vsize=13801768 CPUtime=0.16 cores=0,2,4,6,8,10,12,14
/proc/17968/task/17976/stat : 17976 (java) S 17967 17967 7411 0 -1 1077944384 143 0 0 0 9 7 0 0 20 0 28 0 3939374 14133010432 147829 33554432000 4194304 4196468 140728382814112 140596766263824 140596853057237 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27054080 140728382817468 140728382817644 140728382817644 140728382820303 0
[pid=17968/tid=17977] ppid=17967 vsize=13801768 CPUtime=0.21 cores=0,2,4,6,8,10,12,14
/proc/17968/task/17977/stat : 17977 (java) S 17967 17967 7411 0 -1 1077944384 137 0 0 0 11 10 0 0 20 0 28 0 3939374 14133010432 147829 33554432000 4194304 4196468 140728382814112 140596765211024 140596853057237 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 27054080 140728382817468 140728382817644 140728382817644 140728382820303 0
[pid=17968/tid=17978] ppid=17967 vsize=13801768 CPUtime=0.21 cores=0,2,4,6,8,10,12,14
/proc/17968/task/17978/stat : 17978 (java) S 17967 17967 7411 0 -1 1077944384 183 0 0 0 13 8 0 0 20 0 28 0 3939374 14133010432 147829 33554432000 4194304 4196468 140728382814112 140596764158224 140596853057237 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27054080 140728382817468 140728382817644 140728382817644 140728382820303 0
################
# More data... #
################
/proc/17968/task/17971/stat : 17971 (java) S 17967 17967 7411 0 -1 1077944384 498 0 0 0 10 9 0 0 20 0 28 0 3939374 14133010432 154257 33554432000 4194304 4196468 140728382814112 140596771527824 140596853057237 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 27054080 140728382817468 140728382817644 140728382817644 140728382820303 0
[pid=17968/tid=17972] ppid=17967 vsize=13801768 CPUtime=0.19 cores=0,2,4,6,8,10,12,14
/proc/17968/task/17972/stat : 17972 (java) S 17967 17967 7411 0 -1 1077944384 149 0 0 0 10 9 0 0 20 0 28 0 3939374 14133010432 154257 33554432000 4194304 4196468 140728382814112 140596770475024 140596853057237 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 27054080 140728382817468 140728382817644 140728382817644 140728382820303 0
[pid=17968/tid=17973] ppid=17967 vsize=13801768 CPUtime=0.2 cores=0,2,4,6,8,10,12,14
/proc/17968/task/17973/stat : 17973 (java) S 17967 17967 7411 0 -1 1077944384 308 0 0 0 12 8 0 0 20 0 28 0 3939374 14133010432 154257 33554432000 4194304 4196468 140728382814112 140596769422224 140596853057237 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 27054080 140728382817468 140728382817644 140728382817644 140728382820303 0
[pid=17968/tid=17974] ppid=17967 vsize=13801768 CPUtime=0.17 cores=0,2,4,6,8,10,12,14
/proc/17968/task/17974/stat : 17974 (java) S 17967 17967 7411 0 -1 1077944384 175 0 0 0 9 8 0 0 20 0 28 0 3939374 14133010432 154257 33554432000 4194304 4196468 140728382814112 140596768369424 140596853057237 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27054080 140728382817468 140728382817644 140728382817644 140728382820303 0
[pid=17968/tid=17975] ppid=17967 vsize=13801768 CPUtime=0.2 cores=0,2,4,6,8,10,12,14
/proc/17968/task/17975/stat : 17975 (java) S 17967 17967 7411 0 -1 1077944384 149 0 0 0 10 10 0 0 20 0 28 0 3939374 14133010432 154257 33554432000 4194304 4196468 140728382814112 140596767316624 140596853057237 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27054080 140728382817468 140728382817644 140728382817644 140728382820303 0
[pid=17968/tid=17976] ppid=17967 vsize=13801768 CPUtime=0.16 cores=0,2,4,6,8,10,12,14
/proc/17968/task/17976/stat : 17976 (java) S 17967 17967 7411 0 -1 1077944384 143 0 0 0 9 7 0 0 20 0 28 0 3939374 14133010432 154257 33554432000 4194304 4196468 140728382814112 140596766263824 140596853057237 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27054080 140728382817468 140728382817644 140728382817644 140728382820303 0
[pid=17968/tid=17977] ppid=17967 vsize=13801768 CPUtime=0.21 cores=0,2,4,6,8,10,12,14
/proc/17968/task/17977/stat : 17977 (java) S 17967 17967 7411 0 -1 1077944384 137 0 0 0 11 10 0 0 20 0 28 0 3939374 14133010432 154257 33554432000 4194304 4196468 140728382814112 140596765211024 140596853057237 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 27054080 140728382817468 140728382817644 140728382817644 140728382820303 0
[pid=17968/tid=17978] ppid=17967 vsize=13801768 CPUtime=0.21 cores=0,2,4,6,8,10,12,14
/proc/17968/task/17978/stat : 17978 (java) S 17967 17967 7411 0 -1 1077944384 183 0 0 0 13 8 0 0 20 0 28 0 3939374 14133010432 154257 33554432000 4194304 4196468 140728382814112 140596764158224 140596853057237 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27054080 140728382817468 140728382817644 140728382817644 140728382820303 0
[pid=17968/tid=17979] ppid=17967 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17968/task/17979/stat : 17979 (java) S 17967 17967 7411 0 -1 1077944384 372 0 0 0 0 0 0 0 20 0 28 0 3939377 14133010432 154257 33554432000 4194304 4196468 140728382814112 140596315417456 140596853058178 0 0 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 27054080 140728382817468 140728382817644 140728382817644 140728382820303 0
[pid=17968/tid=17980] ppid=17967 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17968/task/17980/stat : 17980 (java) S 17967 17967 7411 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 28 0 3939377 14133010432 154257 33554432000 4194304 4196468 140728382814112 140596314363488 140596853057237 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27054080 140728382817468 140728382817644 140728382817644 140728382820303 0
[pid=17968/tid=17981] ppid=17967 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17968/task/17981/stat : 17981 (java) S 17967 17967 7411 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 28 0 3939378 14133010432 154257 33554432000 4194304 4196468 140728382814112 140596313310592 140596853057237 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 27054080 140728382817468 140728382817644 140728382817644 140728382820303 0
[pid=17968/tid=17982] ppid=17967 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17968/task/17982/stat : 17982 (java) S 17967 17967 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3939381 14133010432 154257 33554432000 4194304 4196468 140728382814112 140596312258896 140596853065627 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 27054080 140728382817468 140728382817644 140728382817644 140728382820303 0
[pid=17968/tid=17983] ppid=17967 vsize=13801768 CPUtime=2.06 cores=0,2,4,6,8,10,12,14
/proc/17968/task/17983/stat : 17983 (java) S 17967 17967 7411 0 -1 1077944384 4663 0 0 0 206 0 0 0 20 0 28 0 3939381 14133010432 154257 33554432000 4194304 4196468 140728382814112 140596311206256 140596853058178 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27054080 140728382817468 140728382817644 140728382817644 140728382820303 0
[pid=17968/tid=17984] ppid=17967 vsize=13801768 CPUtime=1.87 cores=0,2,4,6,8,10,12,14
/proc/17968/task/17984/stat : 17984 (java) S 17967 17967 7411 0 -1 1077944384 4118 0 0 0 186 1 0 0 20 0 28 0 3939381 14133010432 154257 33554432000 4194304 4196468 140728382814112 140596310153456 140596853058178 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 5 0 0 6293624 6294260 27054080 140728382817468 140728382817644 140728382817644 140728382820303 0
[pid=17968/tid=17985] ppid=17967 vsize=13801768 CPUtime=1.9 cores=0,2,4,6,8,10,12,14
/proc/17968/task/17985/stat : 17985 (java) S 17967 17967 7411 0 -1 1077944384 4573 0 0 0 189 1 0 0 20 0 28 0 3939381 14133010432 154257 33554432000 4194304 4196468 140728382814112 140596309100656 140596853058178 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 7 0 0 6293624 6294260 27054080 140728382817468 140728382817644 140728382817644 140728382820303 0
[pid=17968/tid=17986] ppid=17967 vsize=13801768 CPUtime=0.94 cores=0,2,4,6,8,10,12,14
/proc/17968/task/17986/stat : 17986 (java) S 17967 17967 7411 0 -1 1077944384 3494 0 0 0 93 1 0 0 20 0 28 0 3939381 14133010432 154257 33554432000 4194304 4196468 140728382814112 140596308047856 140596853058178 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 5 0 0 6293624 6294260 27054080 140728382817468 140728382817644 140728382817644 140728382820303 0
[pid=17968/tid=17987] ppid=17967 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17968/task/17987/stat : 17987 (java) S 17967 17967 7411 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3939382 14133010432 154257 33554432000 4194304 4196468 140728382814112 140596306996320 140596853057237 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 27054080 140728382817468 140728382817644 140728382817644 140728382820303 0
[pid=17968/tid=17988] ppid=17967 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17968/task/17988/stat : 17988 (java) S 17967 17967 7411 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 28 0 3939382 14133010432 154257 33554432000 4194304 4196468 140728382814112 140596305943600 140596853058178 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 8 0 0 6293624 6294260 27054080 140728382817468 140728382817644 140728382817644 140728382820303 0
[pid=17968/tid=17989] ppid=17967 vsize=13801768 CPUtime=1.87 cores=0,2,4,6,8,10,12,14
/proc/17968/task/17989/stat : 17989 (java) R 17967 17967 7411 0 -1 4202560 103 0 0 0 187 0 0 0 20 0 28 0 3939639 14133010432 154257 33554432000 4194304 4196468 140728382814112 140596297930088 140596449645030 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27054080 140728382817468 140728382817644 140728382817644 140728382820303 0
[pid=17968/tid=17990] ppid=17967 vsize=13801768 CPUtime=1.9 cores=0,2,4,6,8,10,12,14
/proc/17968/task/17990/stat : 17990 (java) R 17967 17967 7411 0 -1 4202560 60 0 0 0 190 0 0 0 20 0 28 0 3939639 14133010432 154257 33554432000 4194304 4196468 140728382814112 140596296876232 140596449692040 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 27054080 140728382817468 140728382817644 140728382817644 140728382820303 0
[pid=17968/tid=17991] ppid=17967 vsize=13801768 CPUtime=1.81 cores=0,2,4,6,8,10,12,14
/proc/17968/task/17991/stat : 17991 (java) R 17967 17967 7411 0 -1 4202560 64 0 0 0 181 0 0 0 20 0 28 0 3939639 14133010432 154257 33554432000 4194304 4196468 140728382814112 140596295825248 140596449692182 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 27054080 140728382817468 140728382817644 140728382817644 140728382820303 0
[pid=17968/tid=17992] ppid=17967 vsize=13801768 CPUtime=1.93 cores=0,2,4,6,8,10,12,14
/proc/17968/task/17992/stat : 17992 (java) R 17967 17967 7411 0 -1 4202560 129 0 0 0 192 1 0 0 20 0 28 0 3939639 14133010432 154257 33554432000 4194304 4196468 140728382814112 140596294770248 140596450194600 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 27054080 140728382817468 140728382817644 140728382817644 140728382820303 0
[pid=17968/tid=17993] ppid=17967 vsize=13801768 CPUtime=1.94 cores=0,2,4,6,8,10,12,14
/proc/17968/task/17993/stat : 17993 (java) R 17967 17967 7411 0 -1 4202560 60 0 0 0 194 0 0 0 20 0 28 0 3939639 14133010432 154257 33554432000 4194304 4196468 140728382814112 140596293719848 140596449644839 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27054080 140728382817468 140728382817644 140728382817644 140728382820303 0
[pid=17968/tid=17994] ppid=17967 vsize=13801768 CPUtime=1.84 cores=0,2,4,6,8,10,12,14
/proc/17968/task/17994/stat : 17994 (java) R 17967 17967 7411 0 -1 4202560 70 0 0 0 184 0 0 0 20 0 28 0 3939639 14133010432 154257 33554432000 4194304 4196468 140728382814112 140596292665688 140596449875385 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27054080 140728382817468 140728382817644 140728382817644 140728382820303 0
[pid=17968/tid=17995] ppid=17967 vsize=13801768 CPUtime=1.74 cores=0,2,4,6,8,10,12,14
/proc/17968/task/17995/stat : 17995 (java) R 17967 17967 7411 0 -1 4202560 69 0 0 0 174 0 0 0 20 0 28 0 3939639 14133010432 154257 33554432000 4194304 4196468 140728382814112 140596224184728 140596449644839 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 27054080 140728382817468 140728382817644 140728382817644 140728382820303 0
[pid=17968/tid=17996] ppid=17967 vsize=13801768 CPUtime=1.78 cores=0,2,4,6,8,10,12,14
/proc/17968/task/17996/stat : 17996 (java) R 17967 17967 7411 0 -1 4202560 40 0 0 0 178 0 0 0 20 0 28 0 3939639 14133010432 154257 33554432000 4194304 4196468 140728382814112 140596223131928 140596449671298 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 27054080 140728382817468 140728382817644 140728382817644 140728382820303 0
Current children cumulated CPU time (s) 25.72
Current children cumulated vsize (KiB) 13811280
[startup+5.20147 s]
/proc/loadavg: 6.20 9.96 11.91 17/291 17996
/proc/meminfo: memFree=22619076/32770624 swapFree=5860/270720
[pid=17967] ppid=17964 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17967/stat : 17967 (xcsp3-exec) S 17964 17967 7411 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3939373 9740288 346 33554432000 4194304 5098028 140723845973744 140723845971848 139711139459708 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 20361216 140723845981326 140723845981536 140723845981536 140723845984235 0
/proc/17967/statm: 2378 346 289 221 0 87 0
[pid=17968] ppid=17967 vsize=13801768 CPUtime=28.91 cores=0,2,4,6,8,10,12,14
/proc/17968/stat : 17968 (java) S 17967 17967 7411 0 -1 1077944320 33807 0 0 0 2798 93 0 0 20 0 28 0 3939373 14133010432 154569 33554432000 4194304 4196468 140728382814112 140728382796656 140596853047031 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 27054080 140728382817468 140728382817644 140728382817644 140728382820303 0
/proc/17968/statm: 3450442 154569 3278 1 0 3437675 0
[pid=17968/tid=17969] ppid=17967 vsize=13801768 CPUtime=2.4 cores=0,2,4,6,8,10,12,14
/proc/17968/task/17969/stat : 17969 (java) S 17967 17967 7411 0 -1 1077944384 7918 0 0 0 232 8 0 0 20 0 28 0 3939373 14133010432 154569 33554432000 4194304 4196468 140728382814112 140596857287808 140596853057237 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 27054080 140728382817468 140728382817644 140728382817644 140728382820303 0
[pid=17968/tid=17971] ppid=17967 vsize=13801768 CPUtime=0.19 cores=0,2,4,6,8,10,12,14
/proc/17968/task/17971/stat : 17971 (java) S 17967 17967 7411 0 -1 1077944384 498 0 0 0 10 9 0 0 20 0 28 0 3939374 14133010432 154569 33554432000 4194304 4196468 140728382814112 140596771527824 140596853057237 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 27054080 140728382817468 140728382817644 140728382817644 140728382820303 0
[pid=17968/tid=17972] ppid=17967 vsize=13801768 CPUtime=0.19 cores=0,2,4,6,8,10,12,14
/proc/17968/task/17972/stat : 17972 (java) S 17967 17967 7411 0 -1 1077944384 149 0 0 0 10 9 0 0 20 0 28 0 3939374 14133010432 154569 33554432000 4194304 4196468 140728382814112 140596770475024 140596853057237 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 27054080 140728382817468 140728382817644 140728382817644 140728382820303 0
[pid=17968/tid=17973] ppid=17967 vsize=13801768 CPUtime=0.2 cores=0,2,4,6,8,10,12,14
/proc/17968/task/17973/stat : 17973 (java) S 17967 17967 7411 0 -1 1077944384 308 0 0 0 12 8 0 0 20 0 28 0 3939374 14133010432 154569 33554432000 4194304 4196468 140728382814112 140596769422224 140596853057237 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 27054080 140728382817468 140728382817644 140728382817644 140728382820303 0
[pid=17968/tid=17974] ppid=17967 vsize=13801768 CPUtime=0.17 cores=0,2,4,6,8,10,12,14
/proc/17968/task/17974/stat : 17974 (java) S 17967 17967 7411 0 -1 1077944384 175 0 0 0 9 8 0 0 20 0 28 0 3939374 14133010432 154569 33554432000 4194304 4196468 140728382814112 140596768369424 140596853057237 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27054080 140728382817468 140728382817644 140728382817644 140728382820303 0
[pid=17968/tid=17975] ppid=17967 vsize=13801768 CPUtime=0.2 cores=0,2,4,6,8,10,12,14
/proc/17968/task/17975/stat : 17975 (java) S 17967 17967 7411 0 -1 1077944384 149 0 0 0 10 10 0 0 20 0 28 0 3939374 14133010432 154569 33554432000 4194304 4196468 140728382814112 140596767316624 140596853057237 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27054080 140728382817468 140728382817644 140728382817644 140728382820303 0
[pid=17968/tid=17976] ppid=17967 vsize=13801768 CPUtime=0.16 cores=0,2,4,6,8,10,12,14
/proc/17968/task/17976/stat : 17976 (java) S 17967 17967 7411 0 -1 1077944384 143 0 0 0 9 7 0 0 20 0 28 0 3939374 14133010432 154569 33554432000 4194304 4196468 140728382814112 140596766263824 140596853057237 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27054080 140728382817468 140728382817644 140728382817644 140728382820303 0
[pid=17968/tid=17977] ppid=17967 vsize=13801768 CPUtime=0.21 cores=0,2,4,6,8,10,12,14
/proc/17968/task/17977/stat : 17977 (java) S 17967 17967 7411 0 -1 1077944384 137 0 0 0 11 10 0 0 20 0 28 0 3939374 14133010432 154569 33554432000 4194304 4196468 140728382814112 140596765211024 140596853057237 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 27054080 140728382817468 140728382817644 140728382817644 140728382820303 0
[pid=17968/tid=17978] ppid=17967 vsize=13801768 CPUtime=0.21 cores=0,2,4,6,8,10,12,14
/proc/17968/task/17978/stat : 17978 (java) S 17967 17967 7411 0 -1 1077944384 183 0 0 0 13 8 0 0 20 0 28 0 3939374 14133010432 154569 33554432000 4194304 4196468 140728382814112 140596764158224 140596853057237 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27054080 140728382817468 140728382817644 140728382817644 140728382820303 0
[pid=17968/tid=17979] ppid=17967 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17968/task/17979/stat : 17979 (java) S 17967 17967 7411 0 -1 1077944384 506 0 0 0 0 0 0 0 20 0 28 0 3939377 14133010432 154569 33554432000 4194304 4196468 140728382814112 140596315417456 140596853058178 0 0 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 27054080 140728382817468 140728382817644 140728382817644 140728382820303 0
[pid=17968/tid=17980] ppid=17967 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17968/task/17980/stat : 17980 (java) S 17967 17967 7411 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 28 0 3939377 14133010432 154569 33554432000 4194304 4196468 140728382814112 140596314363488 140596853057237 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27054080 140728382817468 140728382817644 140728382817644 140728382820303 0
[pid=17968/tid=17981] ppid=17967 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17968/task/17981/stat : 17981 (java) S 17967 17967 7411 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 28 0 3939378 14133010432 154569 33554432000 4194304 4196468 140728382814112 140596313310592 140596853057237 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 27054080 140728382817468 140728382817644 140728382817644 140728382820303 0
[pid=17968/tid=17982] ppid=17967 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17968/task/17982/stat : 17982 (java) S 17967 17967 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3939381 14133010432 154569 33554432000 4194304 4196468 140728382814112 140596312258896 140596853065627 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 27054080 140728382817468 140728382817644 140728382817644 140728382820303 0
[pid=17968/tid=17983] ppid=17967 vsize=13801768 CPUtime=2.12 cores=0,2,4,6,8,10,12,14
/proc/17968/task/17983/stat : 17983 (java) S 17967 17967 7411 0 -1 1077944384 5515 0 0 0 212 0 0 0 20 0 28 0 3939381 14133010432 154569 33554432000 4194304 4196468 140728382814112 140596311206256 140596853058178 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27054080 140728382817468 140728382817644 140728382817644 140728382820303 0
[pid=17968/tid=17984] ppid=17967 vsize=13801768 CPUtime=1.93 cores=0,2,4,6,8,10,12,14
/proc/17968/task/17984/stat : 17984 (java) S 17967 17967 7411 0 -1 1077944384 5741 0 0 0 192 1 0 0 20 0 28 0 3939381 14133010432 154569 33554432000 4194304 4196468 140728382814112 140596310153456 140596853058178 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 5 0 0 6293624 6294260 27054080 140728382817468 140728382817644 140728382817644 140728382820303 0
[pid=17968/tid=17985] ppid=17967 vsize=13801768 CPUtime=2 cores=0,2,4,6,8,10,12,14
/proc/17968/task/17985/stat : 17985 (java) S 17967 17967 7411 0 -1 1077944384 5699 0 0 0 199 1 0 0 20 0 28 0 3939381 14133010432 154569 33554432000 4194304 4196468 140728382814112 140596309100656 140596853058178 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 7 0 0 6293624 6294260 27054080 140728382817468 140728382817644 140728382817644 140728382820303 0
[pid=17968/tid=17986] ppid=17967 vsize=13801768 CPUtime=0.95 cores=0,2,4,6,8,10,12,14
/proc/17968/task/17986/stat : 17986 (java) S 17967 17967 7411 0 -1 1077944384 3555 0 0 0 94 1 0 0 20 0 28 0 3939381 14133010432 154569 33554432000 4194304 4196468 140728382814112 140596308047856 140596853058178 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 5 0 0 6293624 6294260 27054080 140728382817468 140728382817644 140728382817644 140728382820303 0
[pid=17968/tid=17987] ppid=17967 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17968/task/17987/stat : 17987 (java) S 17967 17967 7411 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3939382 14133010432 154569 33554432000 4194304 4196468 140728382814112 140596306996320 140596853057237 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 27054080 140728382817468 140728382817644 140728382817644 140728382820303 0
[pid=17968/tid=17988] ppid=17967 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17968/task/17988/stat : 17988 (java) S 17967 17967 7411 0 -1 1077944384 449 0 0 0 0 0 0 0 20 0 28 0 3939382 14133010432 154569 33554432000 4194304 4196468 140728382814112 140596305943600 140596853058178 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 8 0 0 6293624 6294260 27054080 140728382817468 140728382817644 140728382817644 140728382820303 0
[pid=17968/tid=17989] ppid=17967 vsize=13801768 CPUtime=2.25 cores=0,2,4,6,8,10,12,14
/proc/17968/task/17989/stat : 17989 (java) R 17967 17967 7411 0 -1 4202560 144 0 0 0 225 0 0 0 20 0 28 0 3939639 14133010432 154569 33554432000 4194304 4196468 140728382814112 140596297928024 140596449875558 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27054080 140728382817468 140728382817644 140728382817644 140728382820303 0
[pid=17968/tid=17990] ppid=17967 vsize=13801768 CPUtime=2.23 cores=0,2,4,6,8,10,12,14
/proc/17968/task/17990/stat : 17990 (java) R 17967 17967 7411 0 -1 4202560 134 0 0 0 223 0 0 0 20 0 28 0 3939639 14133010432 154569 33554432000 4194304 4196468 140728382814112 140596296876232 140596449645035 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 27054080 140728382817468 140728382817644 140728382817644 140728382820303 0
[pid=17968/tid=17991] ppid=17967 vsize=13801768 CPUtime=2.12 cores=0,2,4,6,8,10,12,14
/proc/17968/task/17991/stat : 17991 (java) R 17967 17967 7411 0 -1 4202560 104 0 0 0 212 0 0 0 20 0 28 0 3939639 14133010432 154569 33554432000 4194304 4196468 140728382814112 140596295823256 140596450152098 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 27054080 140728382817468 140728382817644 140728382817644 140728382820303 0
[pid=17968/tid=17992] ppid=17967 vsize=13801768 CPUtime=2.32 cores=0,2,4,6,8,10,12,14
/proc/17968/task/17992/stat : 17992 (java) R 17967 17967 7411 0 -1 4202560 399 0 0 0 231 1 0 0 20 0 28 0 3939639 14133010432 154569 33554432000 4194304 4196468 140728382814112 140596294770456 140596449645063 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 27054080 140728382817468 140728382817644 140728382817644 140728382820303 0
[pid=17968/tid=17993] ppid=17967 vsize=13801768 CPUtime=2.28 cores=0,2,4,6,8,10,12,14
/proc/17968/task/17993/stat : 17993 (java) R 17967 17967 7411 0 -1 4202560 200 0 0 0 228 0 0 0 20 0 28 0 3939639 14133010432 154569 33554432000 4194304 4196468 140728382814112 140596293717832 140596449644839 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 27054080 140728382817468 140728382817644 140728382817644 140728382820303 0
[pid=17968/tid=17994] ppid=17967 vsize=13801768 CPUtime=2.24 cores=0,2,4,6,8,10,12,14
/proc/17968/task/17994/stat : 17994 (java) R 17967 17967 7411 0 -1 4202560 175 0 0 0 224 0 0 0 20 0 28 0 3939639 14133010432 154569 33554432000 4194304 4196468 140728382814112 140596292665544 140596450152163 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27054080 140728382817468 140728382817644 140728382817644 140728382820303 0
[pid=17968/tid=17995] ppid=17967 vsize=13801768 CPUtime=2.12 cores=0,2,4,6,8,10,12,14
/proc/17968/task/17995/stat : 17995 (java) R 17967 17967 7411 0 -1 4202560 94 0 0 0 212 0 0 0 20 0 28 0 3939639 14133010432 154569 33554432000 4194304 4196468 140728382814112 140596224184872 140596449692078 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27054080 140728382817468 140728382817644 140728382817644 140728382820303 0
[pid=17968/tid=17996] ppid=17967 vsize=13801768 CPUtime=2.17 cores=0,2,4,6,8,10,12,14
/proc/17968/task/17996/stat : 17996 (java) R 17967 17967 7411 0 -1 4202560 86 0 0 0 217 0 0 0 20 0 28 0 3939639 14133010432 154569 33554432000 4194304 4196468 140728382814112 140596223131824 140596449692182 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 27054080 140728382817468 140728382817644 140728382817644 140728382820303 0
Current children cumulated CPU time (s) 28.91
Current children cumulated vsize (KiB) 13811280
[startup+5.40145 s]
/proc/loadavg: 6.20 9.96 11.91 17/291 17996
/proc/meminfo: memFree=22619076/32770624 swapFree=5860/270720
[pid=17967] ppid=17964 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17967/stat : 17967 (xcsp3-exec) S 17964 17967 7411 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3939373 9740288 346 33554432000 4194304 5098028 140723845973744 140723845971848 139711139459708 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 20361216 140723845981326 140723845981536 140723845981536 140723845984235 0
/proc/17967/statm: 2378 346 289 221 0 87 0
[pid=17968] ppid=17967 vsize=13801768 CPUtime=30.44 cores=0,2,4,6,8,10,12,14
/proc/17968/stat : 17968 (java) S 17967 17967 7411 0 -1 1077944320 36536 0 0 0 2950 94 0 0 20 0 19 0 3939373 14133010432 156505 33554432000 4194304 4196468 140728382814112 140728382796656 140596853047031 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 27054080 140728382817468 140728382817644 140728382817644 140728382820303 0
/proc/17968/statm: 3450442 156505 3280 1 0 3437675 0
[pid=17968/tid=17969] ppid=17967 vsize=13801768 CPUtime=2.41 cores=0,2,4,6,8,10,12,14
/proc/17968/task/17969/stat : 17969 (java) S 17967 17967 7411 0 -1 1077944384 8189 0 0 0 233 8 0 0 20 0 19 0 3939373 14133010432 156505 33554432000 4194304 4196468 140728382814112 140596857289872 140596853057237 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 27054080 140728382817468 140728382817644 140728382817644 140728382820303 0
[pid=17968/tid=17971] ppid=17967 vsize=13801768 CPUtime=0.19 cores=0,2,4,6,8,10,12,14
/proc/17968/task/17971/stat : 17971 (java) S 17967 17967 7411 0 -1 1077944384 498 0 0 0 10 9 0 0 20 0 19 0 3939374 14133010432 156505 33554432000 4194304 4196468 140728382814112 140596771527824 140596853057237 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 27054080 140728382817468 140728382817644 140728382817644 140728382820303 0
[pid=17968/tid=17972] ppid=17967 vsize=13801768 CPUtime=0.19 cores=0,2,4,6,8,10,12,14
/proc/17968/task/17972/stat : 17972 (java) S 17967 17967 7411 0 -1 1077944384 149 0 0 0 10 9 0 0 20 0 19 0 3939374 14133010432 156505 33554432000 4194304 4196468 140728382814112 140596770475024 140596853057237 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 27054080 140728382817468 140728382817644 140728382817644 140728382820303 0
[pid=17968/tid=17973] ppid=17967 vsize=13801768 CPUtime=0.2 cores=0,2,4,6,8,10,12,14
/proc/17968/task/17973/stat : 17973 (java) S 17967 17967 7411 0 -1 1077944384 308 0 0 0 12 8 0 0 20 0 19 0 3939374 14133010432 156505 33554432000 4194304 4196468 140728382814112 140596769422224 140596853057237 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 27054080 140728382817468 140728382817644 140728382817644 140728382820303 0
[pid=17968/tid=17974] ppid=17967 vsize=13801768 CPUtime=0.17 cores=0,2,4,6,8,10,12,14
/proc/17968/task/17974/stat : 17974 (java) S 17967 17967 7411 0 -1 1077944384 175 0 0 0 9 8 0 0 20 0 19 0 3939374 14133010432 156505 33554432000 4194304 4196468 140728382814112 140596768369424 140596853057237 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27054080 140728382817468 140728382817644 140728382817644 140728382820303 0
[pid=17968/tid=17975] ppid=17967 vsize=13801768 CPUtime=0.2 cores=0,2,4,6,8,10,12,14
/proc/17968/task/17975/stat : 17975 (java) S 17967 17967 7411 0 -1 1077944384 149 0 0 0 10 10 0 0 20 0 19 0 3939374 14133010432 156505 33554432000 4194304 4196468 140728382814112 140596767316624 140596853057237 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27054080 140728382817468 140728382817644 140728382817644 140728382820303 0
[pid=17968/tid=17976] ppid=17967 vsize=13801768 CPUtime=0.16 cores=0,2,4,6,8,10,12,14
/proc/17968/task/17976/stat : 17976 (java) S 17967 17967 7411 0 -1 1077944384 143 0 0 0 9 7 0 0 20 0 19 0 3939374 14133010432 156505 33554432000 4194304 4196468 140728382814112 140596766263824 140596853057237 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27054080 140728382817468 140728382817644 140728382817644 140728382820303 0
[pid=17968/tid=17977] ppid=17967 vsize=13801768 CPUtime=0.21 cores=0,2,4,6,8,10,12,14
/proc/17968/task/17977/stat : 17977 (java) S 17967 17967 7411 0 -1 1077944384 137 0 0 0 11 10 0 0 20 0 19 0 3939374 14133010432 156505 33554432000 4194304 4196468 140728382814112 140596765211024 140596853057237 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 27054080 140728382817468 140728382817644 140728382817644 140728382820303 0
[pid=17968/tid=17978] ppid=17967 vsize=13801768 CPUtime=0.21 cores=0,2,4,6,8,10,12,14
/proc/17968/task/17978/stat : 17978 (java) S 17967 17967 7411 0 -1 1077944384 183 0 0 0 13 8 0 0 20 0 19 0 3939374 14133010432 156505 33554432000 4194304 4196468 140728382814112 140596764158224 140596853057237 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27054080 140728382817468 140728382817644 140728382817644 140728382820303 0
[pid=17968/tid=17979] ppid=17967 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17968/task/17979/stat : 17979 (java) S 17967 17967 7411 0 -1 1077944384 506 0 0 0 0 0 0 0 20 0 19 0 3939377 14133010432 156505 33554432000 4194304 4196468 140728382814112 140596315417664 140596853058178 0 0 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 27054080 140728382817468 140728382817644 140728382817644 140728382820303 0
[pid=17968/tid=17980] ppid=17967 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17968/task/17980/stat : 17980 (java) S 17967 17967 7411 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 19 0 3939377 14133010432 156505 33554432000 4194304 4196468 140728382814112 140596314363488 140596853057237 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27054080 140728382817468 140728382817644 140728382817644 140728382820303 0
[pid=17968/tid=17981] ppid=17967 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17968/task/17981/stat : 17981 (java) S 17967 17967 7411 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 19 0 3939378 14133010432 156505 33554432000 4194304 4196468 140728382814112 140596313310592 140596853057237 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 27054080 140728382817468 140728382817644 140728382817644 140728382820303 0
[pid=17968/tid=17982] ppid=17967 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17968/task/17982/stat : 17982 (java) S 17967 17967 7411 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 19 0 3939381 14133010432 156505 33554432000 4194304 4196468 140728382814112 140596312257664 140596853057237 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 27054080 140728382817468 140728382817644 140728382817644 140728382820303 0
[pid=17968/tid=17983] ppid=17967 vsize=13801768 CPUtime=2.16 cores=0,2,4,6,8,10,12,14
/proc/17968/task/17983/stat : 17983 (java) S 17967 17967 7411 0 -1 1077944384 5995 0 0 0 215 1 0 0 20 0 19 0 3939381 14133010432 156505 33554432000 4194304 4196468 140728382814112 140596311185040 140596853057237 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27054080 140728382817468 140728382817644 140728382817644 140728382820303 0
[pid=17968/tid=17984] ppid=17967 vsize=13801768 CPUtime=1.97 cores=0,2,4,6,8,10,12,14
/proc/17968/task/17984/stat : 17984 (java) S 17967 17967 7411 0 -1 1077944384 6282 0 0 0 196 1 0 0 20 0 19 0 3939381 14133010432 156505 33554432000 4194304 4196468 140728382814112 140596310132896 140596853057237 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 5 0 0 6293624 6294260 27054080 140728382817468 140728382817644 140728382817644 140728382820303 0
[pid=17968/tid=17985] ppid=17967 vsize=13801768 CPUtime=2.04 cores=0,2,4,6,8,10,12,14
/proc/17968/task/17985/stat : 17985 (java) S 17967 17967 7411 0 -1 1077944384 6046 0 0 0 203 1 0 0 20 0 19 0 3939381 14133010432 156505 33554432000 4194304 4196468 140728382814112 140596309085168 140596853057237 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 7 0 0 6293624 6294260 27054080 140728382817468 140728382817644 140728382817644 140728382820303 0
[pid=17968/tid=17986] ppid=17967 vsize=13801768 CPUtime=0.96 cores=0,2,4,6,8,10,12,14
/proc/17968/task/17986/stat : 17986 (java) S 17967 17967 7411 0 -1 1077944384 4399 0 0 0 95 1 0 0 20 0 19 0 3939381 14133010432 156505 33554432000 4194304 4196468 140728382814112 140596308047856 140596853058178 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 5 0 0 6293624 6294260 27054080 140728382817468 140728382817644 140728382817644 140728382820303 0
[pid=17968/tid=17987] ppid=17967 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17968/task/17987/stat : 17987 (java) S 17967 17967 7411 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 3939382 14133010432 156505 33554432000 4194304 4196468 140728382814112 140596306996320 140596853057237 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 27054080 140728382817468 140728382817644 140728382817644 140728382820303 0
Current children cumulated CPU time (s) 30.44
Current children cumulated vsize (KiB) 13811280
Child status: 0
Real time (s): 5.41777
CPU time (s): 30.4545
CPU user time (s): 29.5069
CPU system time (s): 0.947628
CPU usage (%): 562.123
Max. virtual memory (cumulated for all children) (KiB): 13811280
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 29.5069
system time used= 0.947628
maximum resident set size= 626568
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 37112
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= 4205
involuntary context switches= 3094
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.064784 second user time and 0.073592 second system time
The end