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-4246938-1500689042/watcher-4246938-1500689042 -o /tmp/evaluation-result-4246938-1500689042/solver-4246938-1500689042 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node105-1500682495-14657 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 1374849912 HOME/instance-4246938-1500689042.xml
pid=4654
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: 9.49 10.81 12.89 3/263 4657
/proc/meminfo: memFree=21255964/32770624 swapFree=5972/258872
[pid=4657] ppid=4654 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/4657/stat : 4657 (xcsp3-exec) S 4654 4657 14626 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4173700 9740288 346 33554432000 4194304 5098028 140727122518384 140727122516488 139805056316028 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 34070528 140727122523278 140727122523488 140727122523488 140727122526187 0
/proc/4657/statm: 2378 346 289 221 0 87 0
[startup+0.100069 s]
/proc/loadavg: 9.49 10.81 12.89 3/263 4657
/proc/meminfo: memFree=21255964/32770624 swapFree=5972/258872
[pid=4657] ppid=4654 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/4657/stat : 4657 (xcsp3-exec) S 4654 4657 14626 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4173700 9740288 346 33554432000 4194304 5098028 140727122518384 140727122516488 139805056316028 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 34070528 140727122523278 140727122523488 140727122523488 140727122526187 0
/proc/4657/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.2003 s]
/proc/loadavg: 9.49 10.81 12.89 3/263 4657
/proc/meminfo: memFree=21255964/32770624 swapFree=5972/258872
[pid=4657] ppid=4654 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/4657/stat : 4657 (xcsp3-exec) S 4654 4657 14626 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4173700 9740288 346 33554432000 4194304 5098028 140727122518384 140727122516488 139805056316028 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 34070528 140727122523278 140727122523488 140727122523488 140727122526187 0
/proc/4657/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300298 s]
/proc/loadavg: 9.49 10.81 12.89 3/263 4657
/proc/meminfo: memFree=21255964/32770624 swapFree=5972/258872
[pid=4657] ppid=4654 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/4657/stat : 4657 (xcsp3-exec) S 4654 4657 14626 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4173700 9740288 346 33554432000 4194304 5098028 140727122518384 140727122516488 139805056316028 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 34070528 140727122523278 140727122523488 140727122523488 140727122526187 0
/proc/4657/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700163 s]
/proc/loadavg: 9.49 10.81 12.89 3/263 4657
/proc/meminfo: memFree=21255964/32770624 swapFree=5972/258872
[pid=4657] ppid=4654 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/4657/stat : 4657 (xcsp3-exec) S 4654 4657 14626 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4173700 9740288 346 33554432000 4194304 5098028 140727122518384 140727122516488 139805056316028 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 34070528 140727122523278 140727122523488 140727122523488 140727122526187 0
/proc/4657/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50074 s]
/proc/loadavg: 9.49 10.81 12.89 6/284 4678
/proc/meminfo: memFree=21129840/32770624 swapFree=5972/258932
[pid=4657] ppid=4654 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/4657/stat : 4657 (xcsp3-exec) S 4654 4657 14626 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4173700 9740288 346 33554432000 4194304 5098028 140727122518384 140727122516488 139805056316028 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 34070528 140727122523278 140727122523488 140727122523488 140727122526187 0
/proc/4657/statm: 2378 346 289 221 0 87 0
[pid=4658] ppid=4657 vsize=13269256 CPUtime=5.01 cores=0,2,4,6,8,10,12,14
/proc/4658/stat : 4658 (java) S 4657 4657 14626 0 -1 1077944320 22171 0 0 0 490 11 0 0 20 0 20 0 4173700 13587718144 51217 33554432000 4194304 4196468 140723409676816 140723409659360 140616774106871 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 24305664 140723409683644 140723409683820 140723409683820 140723409686479 0
/proc/4658/statm: 3317314 51217 3246 1 0 3304547 0
[pid=4658/tid=4659] ppid=4657 vsize=13269256 CPUtime=1.45 cores=0,2,4,6,8,10,12,14
/proc/4658/task/4659/stat : 4659 (java) R 4657 4657 14626 0 -1 4202560 7808 0 0 0 140 5 0 0 20 0 20 0 4173701 13587718144 51217 33554432000 4194304 4196468 140723409676816 140616778342344 140616379041159 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 24305664 140723409683644 140723409683820 140723409683820 140723409686479 0
[pid=4658/tid=4661] ppid=4657 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/4658/task/4661/stat : 4661 (java) S 4657 4657 14626 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 20 0 4173701 13587718144 51217 33554432000 4194304 4196468 140723409676816 140616373627792 140616774117077 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 24305664 140723409683644 140723409683820 140723409683820 140723409686479 0
[pid=4658/tid=4662] ppid=4657 vsize=13269256 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/4658/task/4662/stat : 4662 (java) S 4657 4657 14626 0 -1 1077944384 10 0 0 0 1 0 0 0 20 0 20 0 4173702 13587718144 51217 33554432000 4194304 4196468 140723409676816 140616372574992 140616774117077 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 24305664 140723409683644 140723409683820 140723409683820 140723409686479 0
[pid=4658/tid=4663] ppid=4657 vsize=13269256 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/4658/task/4663/stat : 4663 (java) S 4657 4657 14626 0 -1 1077944384 105 0 0 0 1 0 0 0 20 0 20 0 4173702 13587718144 51217 33554432000 4194304 4196468 140723409676816 140616371522704 140616774117077 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24305664 140723409683644 140723409683820 140723409683820 140723409686479 0
[pid=4658/tid=4664] ppid=4657 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/4658/task/4664/stat : 4664 (java) S 4657 4657 14626 0 -1 1077944384 98 0 0 0 0 0 0 0 20 0 20 0 4173702 13587718144 51217 33554432000 4194304 4196468 140723409676816 140616370469904 140616774117077 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 24305664 140723409683644 140723409683820 140723409683820 140723409686479 0
[pid=4658/tid=4665] ppid=4657 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/4658/task/4665/stat : 4665 (java) S 4657 4657 14626 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 4173702 13587718144 51217 33554432000 4194304 4196468 140723409676816 140616369416592 140616774117077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24305664 140723409683644 140723409683820 140723409683820 140723409686479 0
[pid=4658/tid=4666] ppid=4657 vsize=13269256 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/4658/task/4666/stat : 4666 (java) S 4657 4657 14626 0 -1 1077944384 192 0 0 0 1 0 0 0 20 0 20 0 4173702 13587718144 51217 33554432000 4194304 4196468 140723409676816 140616368363792 140616774117077 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 24305664 140723409683644 140723409683820 140723409683820 140723409686479 0
[pid=4658/tid=4667] ppid=4657 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/4658/task/4667/stat : 4667 (java) S 4657 4657 14626 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 4173702 13587718144 51217 33554432000 4194304 4196468 140723409676816 140616367311504 140616774117077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24305664 140723409683644 140723409683820 140723409683820 140723409686479 0
[pid=4658/tid=4668] ppid=4657 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/4658/task/4668/stat : 4668 (java) S 4657 4657 14626 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 4173702 13587718144 51217 33554432000 4194304 4196468 140723409676816 140616366258704 140616774117077 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 24305664 140723409683644 140723409683820 140723409683820 140723409686479 0
[pid=4658/tid=4669] ppid=4657 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/4658/task/4669/stat : 4669 (java) S 4657 4657 14626 0 -1 1077944384 152 0 0 0 0 0 0 0 20 0 20 0 4173704 13587718144 51217 33554432000 4194304 4196468 140723409676816 140616035064432 140616774118018 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24305664 140723409683644 140723409683820 140723409683820 140723409686479 0
[pid=4658/tid=4670] ppid=4657 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/4658/task/4670/stat : 4670 (java) S 4657 4657 14626 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 20 0 4173705 13587718144 51217 33554432000 4194304 4196468 140723409676816 140616034010400 140616774117077 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 24305664 140723409683644 140723409683820 140723409683820 140723409686479 0
[pid=4658/tid=4671] ppid=4657 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/4658/task/4671/stat : 4671 (java) S 4657 4657 14626 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 20 0 4173705 13587718144 51217 33554432000 4194304 4196468 140723409676816 140616032958064 140616774117077 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24305664 140723409683644 140723409683820 140723409683820 140723409686479 0
[pid=4658/tid=4672] ppid=4657 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/4658/task/4672/stat : 4672 (java) S 4657 4657 14626 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4173709 13587718144 51217 33554432000 4194304 4196468 140723409676816 140616031906384 140616774125467 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 24305664 140723409683644 140723409683820 140723409683820 140723409686479 0
[pid=4658/tid=4673] ppid=4657 vsize=13269256 CPUtime=0.98 cores=0,2,4,6,8,10,12,14
/proc/4658/task/4673/stat : 4673 (java) R 4657 4657 14626 0 -1 4202560 3444 0 0 0 97 1 0 0 20 0 20 0 4173709 13587718144 51217 33554432000 4194304 4196468 140723409676816 140616030839112 140616759221926 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24305664 140723409683644 140723409683820 140723409683820 140723409686479 0
[pid=4658/tid=4674] ppid=4657 vsize=13269256 CPUtime=0.94 cores=0,2,4,6,8,10,12,14
/proc/4658/task/4674/stat : 4674 (java) R 4657 4657 14626 0 -1 4202560 2940 0 0 0 94 0 0 0 20 0 20 0 4173709 13587718144 51217 33554432000 4194304 4196468 140723409676816 140616029786976 140616753353657 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24305664 140723409683644 140723409683820 140723409683820 140723409686479 0
[pid=4658/tid=4675] ppid=4657 vsize=13269256 CPUtime=0.87 cores=0,2,4,6,8,10,12,14
/proc/4658/task/4675/stat : 4675 (java) R 4657 4657 14626 0 -1 4202560 2379 0 0 0 87 0 0 0 20 0 20 0 4173709 13587718144 51217 33554432000 4194304 4196468 140723409676816 140616028734024 140616752273196 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24305664 140723409683644 140723409683820 140723409683820 140723409686479 0
[pid=4658/tid=4676] ppid=4657 vsize=13269256 CPUtime=0.64 cores=0,2,4,6,8,10,12,14
/proc/4658/task/4676/stat : 4676 (java) S 4657 4657 14626 0 -1 1077944384 3656 0 0 0 63 1 0 0 20 0 20 0 4173709 13587718144 51217 33554432000 4194304 4196468 140723409676816 140616027695344 140616774118018 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 24305664 140723409683644 140723409683820 140723409683820 140723409686479 0
[pid=4658/tid=4677] ppid=4657 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/4658/task/4677/stat : 4677 (java) S 4657 4657 14626 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4173709 13587718144 51217 33554432000 4194304 4196468 140723409676816 140616026643296 140616774117077 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 24305664 140723409683644 140723409683820 140723409683820 140723409686479 0
[pid=4658/tid=4678] ppid=4657 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/4658/task/4678/stat : 4678 (java) S 4657 4657 14626 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4173710 13587718144 51217 33554432000 4194304 4196468 140723409676816 140616025590576 140616774118018 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 24305664 140723409683644 140723409683820 140723409683820 140723409686479 0
Current children cumulated CPU time (s) 5.01
Current children cumulated vsize (KiB) 13278768
[startup+3.10118 s]
/proc/loadavg: 9.13 10.71 12.85 3/284 4678
/proc/meminfo: memFree=20865868/32770624 swapFree=5972/258932
[pid=4657] ppid=4654 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/4657/stat : 4657 (xcsp3-exec) S 4654 4657 14626 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4173700 9740288 346 33554432000 4194304 5098028 140727122518384 140727122516488 139805056316028 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 34070528 140727122523278 140727122523488 140727122523488 140727122526187 0
/proc/4657/statm: 2378 346 289 221 0 87 0
[pid=4658] ppid=4657 vsize=13801768 CPUtime=12.08 cores=0,2,4,6,8,10,12,14
/proc/4658/stat : 4658 (java) S 4657 4657 14626 0 -1 1077944320 32815 0 0 0 1152 56 0 0 20 0 28 0 4173700 14133010432 128272 33554432000 4194304 4196468 140723409676816 140723409659360 140616774106871 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 24305664 140723409683644 140723409683820 140723409683820 140723409686479 0
/proc/4658/statm: 3450442 128272 3271 1 0 3437675 0
[pid=4658/tid=4659] ppid=4657 vsize=13801768 CPUtime=2.53 cores=0,2,4,6,8,10,12,14
/proc/4658/task/4659/stat : 4659 (java) S 4657 4657 14626 0 -1 1077944384 8912 0 0 0 245 8 0 0 20 0 28 0 4173701 14133010432 128784 33554432000 4194304 4196468 140723409676816 140616778347648 140616774117077 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24305664 140723409683644 140723409683820 140723409683820 140723409686479 0
[pid=4658/tid=4661] ppid=4657 vsize=13801768 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/4658/task/4661/stat : 4661 (java) S 4657 4657 14626 0 -1 1077944384 75 0 0 0 6 5 0 0 20 0 28 0 4173701 14133010432 128784 33554432000 4194304 4196468 140723409676816 140616373627792 140616774117077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24305664 140723409683644 140723409683820 140723409683820 140723409686479 0
[pid=4658/tid=4662] ppid=4657 vsize=13801768 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/4658/task/4662/stat : 4662 (java) S 4657 4657 14626 0 -1 1077944384 483 0 0 0 6 4 0 0 20 0 28 0 4173702 14133010432 128784 33554432000 4194304 4196468 140723409676816 140616372574992 140616774117077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24305664 140723409683644 140723409683820 140723409683820 140723409686479 0
[pid=4658/tid=4663] ppid=4657 vsize=13801768 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/4658/task/4663/stat : 4663 (java) S 4657 4657 14626 0 -1 1077944384 182 0 0 0 8 5 0 0 20 0 28 0 4173702 14133010432 128784 33554432000 4194304 4196468 140723409676816 140616371522704 140616774117077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24305664 140723409683644 140723409683820 140723409683820 140723409686479 0
[pid=4658/tid=4664] ppid=4657 vsize=13801768 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/4658/task/4664/stat : 4664 (java) S 4657 4657 14626 0 -1 1077944384 167 0 0 0 5 5 0 0 20 0 28 0 4173702 14133010432 128784 33554432000 4194304 4196468 140723409676816 140616370469904 140616774117077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24305664 140723409683644 140723409683820 140723409683820 140723409686479 0
[pid=4658/tid=4665] ppid=4657 vsize=13801768 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/4658/task/4665/stat : 4665 (java) S 4657 4657 14626 0 -1 1077944384 67 0 0 0 6 4 0 0 20 0 28 0 4173702 14133010432 128784 33554432000 4194304 4196468 140723409676816 140616369416592 140616774117077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24305664 140723409683644 140723409683820 140723409683820 140723409686479 0
[pid=4658/tid=4666] ppid=4657 vsize=13801768 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/4658/task/4666/stat : 4666 (java) S 4657 4657 14626 0 -1 1077944384 282 0 0 0 6 4 0 0 20 0 28 0 4173702 14133010432 128784 33554432000 4194304 4196468 140723409676816 140616368363792 140616774117077 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 24305664 140723409683644 140723409683820 140723409683820 140723409686479 0
[pid=4658/tid=4667] ppid=4657 vsize=13801768 CPUtime=0.07 cores=0,2,4,6,8,10,12,14
/proc/4658/task/4667/stat : 4667 (java) S 4657 4657 14626 0 -1 1077944384 73 0 0 0 4 3 0 0 20 0 28 0 4173702 14133010432 128784 33554432000 4194304 4196468 140723409676816 140616367311504 140616774117077 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 24305664 140723409683644 140723409683820 140723409683820 140723409686479 0
[pid=4658/tid=4668] ppid=4657 vsize=13801768 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/4658/task/4668/stat : 4668 (java) S 4657 4657 14626 0 -1 1077944384 116 0 0 0 7 6 0 0 20 0 28 0 4173702 14133010432 128784 33554432000 4194304 4196468 140723409676816 140616366258704 140616774117077 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 24305664 140723409683644 140723409683820 140723409683820 140723409686479 0
[pid=4658/tid=4669] ppid=4657 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/4658/task/4669/stat : 4669 (java) S 4657 4657 14626 0 -1 1077944384 319 0 0 0 0 0 0 0 20 0 28 0 4173704 14133010432 128784 33554432000 4194304 4196468 140723409676816 140616035064432 140616774118018 0 0 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 24305664 140723409683644 140723409683820 140723409683820 140723409686479 0
[pid=4658/tid=4670] ppid=4657 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/4658/task/4670/stat : 4670 (java) S 4657 4657 14626 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 28 0 4173705 14133010432 128784 33554432000 4194304 4196468 140723409676816 140616034010464 140616774117077 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 24305664 140723409683644 140723409683820 140723409683820 140723409686479 0
[pid=4658/tid=4671] ppid=4657 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/4658/task/4671/stat : 4671 (java) S 4657 4657 14626 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 28 0 4173705 14133010432 128784 33554432000 4194304 4196468 140723409676816 140616032958080 140616774117077 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 24305664 140723409683644 140723409683820 140723409683820 140723409686479 0
[pid=4658/tid=4672] ppid=4657 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/4658/task/4672/stat : 4672 (java) S 4657 4657 14626 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4173709 14133010432 128784 33554432000 4194304 4196468 140723409676816 140616031906384 140616774125467 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 24305664 140723409683644 140723409683820 140723409683820 140723409686479 0
[pid=4658/tid=4673] ppid=4657 vsize=13801768 CPUtime=1.91 cores=0,2,4,6,8,10,12,14
/proc/4658/task/4673/stat : 4673 (java) R 4657 4657 14626 0 -1 4202560 6663 0 0 0 190 1 0 0 20 0 28 0 4173709 14133010432 128784 33554432000 4194304 4196468 140723409676816 140616030839800 140616755292637 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 24305664 140723409683644 140723409683820 140723409683820 140723409686479 0
[pid=4658/tid=4674] ppid=4657 vsize=13801768 CPUtime=2.03 cores=0,2,4,6,8,10,12,14
/proc/4658/task/4674/stat : 4674 (java) R 4657 4657 14626 0 -1 4202560 4825 0 0 0 202 1 0 0 20 0 28 0 4173709 14133010432 128784 33554432000 4194304 4196468 140723409676816 140616029786656 140616755651105 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 24305664 140723409683644 140723409683820 140723409683820 140723409686479 0
[pid=4658/tid=4675] ppid=4657 vsize=13801768 CPUtime=1.84 cores=0,2,4,6,8,10,12,14
/proc/4658/task/4675/stat : 4675 (java) R 4657 4657 14626 0 -1 4202560 4526 0 0 0 183 1 0 0 20 0 28 0 4173709 14133010432 128784 33554432000 4194304 4196468 140723409676816 140616028739984 140616758501770 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24305664 140723409683644 140723409683820 140723409683820 140723409686479 0
[pid=4658/tid=4676] ppid=4657 vsize=13801768 CPUtime=0.84 cores=0,2,4,6,8,10,12,14
/proc/4658/task/4676/stat : 4676 (java) S 4657 4657 14626 0 -1 1077944384 4345 0 0 0 83 1 0 0 20 0 28 0 4173709 14133010432 128784 33554432000 4194304 4196468 140723409676816 140616027695344 140616774118018 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24305664 140723409683644 140723409683820 140723409683820 140723409686479 0
[pid=4658/tid=4677] ppid=4657 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/4658/task/4677/stat : 4677 (java) S 4657 4657 14626 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4173709 14133010432 128784 33554432000 4194304 4196468 140723409676816 140616026643296 140616774117077 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 24305664 140723409683644 140723409683820 140723409683820 140723409686479 0
[pid=4658/tid=4678] ppid=4657 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/4658/task/4678/stat : 4678 (java) S 4657 4657 14626 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 28 0 4173710 14133010432 128784 33554432000 4194304 4196468 140723409676816 140616025590576 140616774118018 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24305664 140723409683644 140723409683820 140723409683820 140723409686479 0
Current children cumulated CPU time (s) 12.08
Current children cumulated vsize (KiB) 13811280
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 4658 sig 9
??? kill 4657 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3.20159 s]
/proc/loadavg: 9.13 10.71 12.85 3/284 4678
/proc/meminfo: memFree=20865868/32770624 swapFree=5972/258932
[pid=4657] ppid=4654 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/4657/stat : 4657 (xcsp3-exec) S 4654 4657 14626 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4173700 9740288 346 33554432000 4194304 5098028 140727122518384 140727122516488 139805056316028 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 34070528 140727122523278 140727122523488 140727122523488 140727122526187 0
/proc/4657/statm: 2378 346 289 221 0 87 0
[pid=4658] ppid=4657 vsize=13801768 CPUtime=12.89 cores=0,2,4,6,8,10,12,14
/proc/4658/stat : 4658 (java) S 4657 4657 14626 0 -1 1077944320 32896 0 0 0 1232 57 0 0 20 0 28 0 4173700 14133010432 130877 33554432000 4194304 4196468 140723409676816 140723409659360 140616774106871 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 24305664 140723409683644 140723409683820 140723409683820 140723409686479 0
/proc/4658/statm: 3450442 130877 3273 1 0 3437675 0
[pid=4658/tid=4659] ppid=4657 vsize=13801768 CPUtime=2.53 cores=0,2,4,6,8,10,12,14
/proc/4658/task/4659/stat : 4659 (java) S 4657 4657 14626 0 -1 1077944384 8912 0 0 0 245 8 0 0 20 0 28 0 4173701 14133010432 130877 33554432000 4194304 4196468 140723409676816 140616778347648 140616774117077 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24305664 140723409683644 140723409683820 140723409683820 140723409686479 0
[pid=4658/tid=4661] ppid=4657 vsize=13801768 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/4658/task/4661/stat : 4661 (java) S 4657 4657 14626 0 -1 1077944384 75 0 0 0 6 5 0 0 20 0 28 0 4173701 14133010432 130877 33554432000 4194304 4196468 140723409676816 140616373627792 140616774117077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24305664 140723409683644 140723409683820 140723409683820 140723409686479 0
[pid=4658/tid=4662] ppid=4657 vsize=13801768 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/4658/task/4662/stat : 4662 (java) S 4657 4657 14626 0 -1 1077944384 483 0 0 0 6 4 0 0 20 0 28 0 4173702 14133010432 130877 33554432000 4194304 4196468 140723409676816 140616372574992 140616774117077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24305664 140723409683644 140723409683820 140723409683820 140723409686479 0
[pid=4658/tid=4663] ppid=4657 vsize=13801768 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/4658/task/4663/stat : 4663 (java) S 4657 4657 14626 0 -1 1077944384 182 0 0 0 8 5 0 0 20 0 28 0 4173702 14133010432 130877 33554432000 4194304 4196468 140723409676816 140616371522704 140616774117077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24305664 140723409683644 140723409683820 140723409683820 140723409686479 0
[pid=4658/tid=4664] ppid=4657 vsize=13801768 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/4658/task/4664/stat : 4664 (java) S 4657 4657 14626 0 -1 1077944384 167 0 0 0 5 5 0 0 20 0 28 0 4173702 14133010432 130877 33554432000 4194304 4196468 140723409676816 140616370469904 140616774117077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24305664 140723409683644 140723409683820 140723409683820 140723409686479 0
[pid=4658/tid=4665] ppid=4657 vsize=13801768 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/4658/task/4665/stat : 4665 (java) S 4657 4657 14626 0 -1 1077944384 67 0 0 0 6 4 0 0 20 0 28 0 4173702 14133010432 130877 33554432000 4194304 4196468 140723409676816 140616369416592 140616774117077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24305664 140723409683644 140723409683820 140723409683820 140723409686479 0
[pid=4658/tid=4666] ppid=4657 vsize=13801768 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/4658/task/4666/stat : 4666 (java) S 4657 4657 14626 0 -1 1077944384 282 0 0 0 6 4 0 0 20 0 28 0 4173702 14133010432 130877 33554432000 4194304 4196468 140723409676816 140616368363792 140616774117077 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 24305664 140723409683644 140723409683820 140723409683820 140723409686479 0
[pid=4658/tid=4667] ppid=4657 vsize=13801768 CPUtime=0.07 cores=0,2,4,6,8,10,12,14
/proc/4658/task/4667/stat : 4667 (java) S 4657 4657 14626 0 -1 1077944384 73 0 0 0 4 3 0 0 20 0 28 0 4173702 14133010432 130877 33554432000 4194304 4196468 140723409676816 140616367311504 140616774117077 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 24305664 140723409683644 140723409683820 140723409683820 140723409686479 0
[pid=4658/tid=4668] ppid=4657 vsize=13801768 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/4658/task/4668/stat : 4668 (java) S 4657 4657 14626 0 -1 1077944384 116 0 0 0 7 6 0 0 20 0 28 0 4173702 14133010432 130877 33554432000 4194304 4196468 140723409676816 140616366258704 140616774117077 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 24305664 140723409683644 140723409683820 140723409683820 140723409686479 0
################
# More data... #
################
/proc/4658/task/4662/stat : 4662 (java) S 4657 4657 14626 0 -1 1077944384 515 0 0 0 10 8 0 0 20 0 28 0 4173702 14133010432 178719 33554432000 4194304 4196468 140723409676816 140616372574992 140616774117077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24305664 140723409683644 140723409683820 140723409683820 140723409686479 0
[pid=4658/tid=4663] ppid=4657 vsize=13801768 CPUtime=0.17 cores=0,2,4,6,8,10,12,14
/proc/4658/task/4663/stat : 4663 (java) S 4657 4657 14626 0 -1 1077944384 197 0 0 0 10 7 0 0 20 0 28 0 4173702 14133010432 178719 33554432000 4194304 4196468 140723409676816 140616371522704 140616774117077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24305664 140723409683644 140723409683820 140723409683820 140723409686479 0
[pid=4658/tid=4664] ppid=4657 vsize=13801768 CPUtime=0.18 cores=0,2,4,6,8,10,12,14
/proc/4658/task/4664/stat : 4664 (java) S 4657 4657 14626 0 -1 1077944384 191 0 0 0 10 8 0 0 20 0 28 0 4173702 14133010432 178719 33554432000 4194304 4196468 140723409676816 140616370469904 140616774117077 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 24305664 140723409683644 140723409683820 140723409683820 140723409686479 0
[pid=4658/tid=4665] ppid=4657 vsize=13801768 CPUtime=0.17 cores=0,2,4,6,8,10,12,14
/proc/4658/task/4665/stat : 4665 (java) S 4657 4657 14626 0 -1 1077944384 126 0 0 0 10 7 0 0 20 0 28 0 4173702 14133010432 178719 33554432000 4194304 4196468 140723409676816 140616369416592 140616774117077 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 24305664 140723409683644 140723409683820 140723409683820 140723409686479 0
[pid=4658/tid=4666] ppid=4657 vsize=13801768 CPUtime=0.15 cores=0,2,4,6,8,10,12,14
/proc/4658/task/4666/stat : 4666 (java) S 4657 4657 14626 0 -1 1077944384 294 0 0 0 9 6 0 0 20 0 28 0 4173702 14133010432 178719 33554432000 4194304 4196468 140723409676816 140616368363792 140616774117077 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 24305664 140723409683644 140723409683820 140723409683820 140723409686479 0
[pid=4658/tid=4667] ppid=4657 vsize=13801768 CPUtime=0.15 cores=0,2,4,6,8,10,12,14
/proc/4658/task/4667/stat : 4667 (java) S 4657 4657 14626 0 -1 1077944384 126 0 0 0 8 7 0 0 20 0 28 0 4173702 14133010432 178719 33554432000 4194304 4196468 140723409676816 140616367311504 140616774117077 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 24305664 140723409683644 140723409683820 140723409683820 140723409686479 0
[pid=4658/tid=4668] ppid=4657 vsize=13801768 CPUtime=0.19 cores=0,2,4,6,8,10,12,14
/proc/4658/task/4668/stat : 4668 (java) S 4657 4657 14626 0 -1 1077944384 176 0 0 0 12 7 0 0 20 0 28 0 4173702 14133010432 178719 33554432000 4194304 4196468 140723409676816 140616366258704 140616774117077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24305664 140723409683644 140723409683820 140723409683820 140723409686479 0
[pid=4658/tid=4669] ppid=4657 vsize=13801768 CPUtime=0.03 cores=0,2,4,6,8,10,12,14
/proc/4658/task/4669/stat : 4669 (java) S 4657 4657 14626 0 -1 1077944384 613 0 0 0 1 2 0 0 20 0 28 0 4173704 14133010432 178719 33554432000 4194304 4196468 140723409676816 140616035064432 140616774118018 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24305664 140723409683644 140723409683820 140723409683820 140723409686479 0
[pid=4658/tid=4670] ppid=4657 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/4658/task/4670/stat : 4670 (java) S 4657 4657 14626 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 28 0 4173705 14133010432 178719 33554432000 4194304 4196468 140723409676816 140616034010464 140616774117077 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 24305664 140723409683644 140723409683820 140723409683820 140723409686479 0
[pid=4658/tid=4671] ppid=4657 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/4658/task/4671/stat : 4671 (java) S 4657 4657 14626 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 28 0 4173705 14133010432 178719 33554432000 4194304 4196468 140723409676816 140616032958080 140616774117077 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24305664 140723409683644 140723409683820 140723409683820 140723409686479 0
[pid=4658/tid=4672] ppid=4657 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/4658/task/4672/stat : 4672 (java) S 4657 4657 14626 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4173709 14133010432 178719 33554432000 4194304 4196468 140723409676816 140616031906384 140616774125467 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 24305664 140723409683644 140723409683820 140723409683820 140723409686479 0
[pid=4658/tid=4673] ppid=4657 vsize=13801768 CPUtime=2.66 cores=0,2,4,6,8,10,12,14
/proc/4658/task/4673/stat : 4673 (java) R 4657 4657 14626 0 -1 4202560 6820 0 0 0 265 1 0 0 20 0 28 0 4173709 14133010432 178719 33554432000 4194304 4196468 140723409676816 140616030853528 140616759230896 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 24305664 140723409683644 140723409683820 140723409683820 140723409686479 0
[pid=4658/tid=4674] ppid=4657 vsize=13801768 CPUtime=3.03 cores=0,2,4,6,8,10,12,14
/proc/4658/task/4674/stat : 4674 (java) S 4657 4657 14626 0 -1 1077944384 5379 0 0 0 302 1 0 0 20 0 28 0 4173709 14133010432 178719 33554432000 4194304 4196468 140723409676816 140616029800432 140616774118018 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 24305664 140723409683644 140723409683820 140723409683820 140723409686479 0
[pid=4658/tid=4675] ppid=4657 vsize=13801768 CPUtime=2.61 cores=0,2,4,6,8,10,12,14
/proc/4658/task/4675/stat : 4675 (java) S 4657 4657 14626 0 -1 1077944384 4659 0 0 0 260 1 0 0 20 0 28 0 4173709 14133010432 178719 33554432000 4194304 4196468 140723409676816 140616028748144 140616774118018 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 24305664 140723409683644 140723409683820 140723409683820 140723409686479 0
[pid=4658/tid=4676] ppid=4657 vsize=13801768 CPUtime=0.98 cores=0,2,4,6,8,10,12,14
/proc/4658/task/4676/stat : 4676 (java) S 4657 4657 14626 0 -1 1077944384 4494 0 0 0 97 1 0 0 20 0 28 0 4173709 14133010432 178719 33554432000 4194304 4196468 140723409676816 140616027695344 140616774118018 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24305664 140723409683644 140723409683820 140723409683820 140723409686479 0
[pid=4658/tid=4677] ppid=4657 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/4658/task/4677/stat : 4677 (java) S 4657 4657 14626 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4173709 14133010432 178719 33554432000 4194304 4196468 140723409676816 140616026643296 140616774117077 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 24305664 140723409683644 140723409683820 140723409683820 140723409686479 0
[pid=4658/tid=4678] ppid=4657 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/4658/task/4678/stat : 4678 (java) S 4657 4657 14626 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 28 0 4173710 14133010432 178719 33554432000 4194304 4196468 140723409676816 140616025590576 140616774118018 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24305664 140723409683644 140723409683820 140723409683820 140723409686479 0
[pid=4658/tid=4679] ppid=4657 vsize=13801768 CPUtime=1.51 cores=0,2,4,6,8,10,12,14
/proc/4658/task/4679/stat : 4679 (java) R 4657 4657 14626 0 -1 4202560 103 0 0 0 151 0 0 0 20 0 28 0 4173971 14133010432 178719 33554432000 4194304 4196468 140723409676816 140615949901592 140616382739398 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 24305664 140723409683644 140723409683820 140723409683820 140723409686479 0
[pid=4658/tid=4680] ppid=4657 vsize=13801768 CPUtime=1.42 cores=0,2,4,6,8,10,12,14
/proc/4658/task/4680/stat : 4680 (java) R 4657 4657 14626 0 -1 4202560 56 0 0 0 142 0 0 0 20 0 28 0 4173972 14133010432 178719 33554432000 4194304 4196468 140723409676816 140615948852264 140616383081612 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24305664 140723409683644 140723409683820 140723409683820 140723409686479 0
[pid=4658/tid=4681] ppid=4657 vsize=13801768 CPUtime=1.45 cores=0,2,4,6,8,10,12,14
/proc/4658/task/4681/stat : 4681 (java) R 4657 4657 14626 0 -1 4202560 289 0 0 0 145 0 0 0 20 0 28 0 4173972 14133010432 178719 33554432000 4194304 4196468 140723409676816 140615947796808 140616382031024 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24305664 140723409683644 140723409683820 140723409683820 140723409686479 0
[pid=4658/tid=4682] ppid=4657 vsize=13801768 CPUtime=1.44 cores=0,2,4,6,8,10,12,14
/proc/4658/task/4682/stat : 4682 (java) R 4657 4657 14626 0 -1 4202560 199 0 0 0 142 2 0 0 20 0 28 0 4173972 14133010432 178719 33554432000 4194304 4196468 140723409676816 140615946743336 140616382321502 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 24305664 140723409683644 140723409683820 140723409683820 140723409686479 0
[pid=4658/tid=4683] ppid=4657 vsize=13801768 CPUtime=1.62 cores=0,2,4,6,8,10,12,14
/proc/4658/task/4683/stat : 4683 (java) R 4657 4657 14626 0 -1 4202560 66 0 0 0 162 0 0 0 20 0 28 0 4173972 14133010432 178719 33554432000 4194304 4196468 140723409676816 140615945691704 140616381850347 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 24305664 140723409683644 140723409683820 140723409683820 140723409686479 0
[pid=4658/tid=4684] ppid=4657 vsize=13801768 CPUtime=1.59 cores=0,2,4,6,8,10,12,14
/proc/4658/task/4684/stat : 4684 (java) R 4657 4657 14626 0 -1 4202560 34 0 0 0 159 0 0 0 20 0 28 0 4173972 14133010432 178719 33554432000 4194304 4196468 140723409676816 140615944639032 140616382029734 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 24305664 140723409683644 140723409683820 140723409683820 140723409686479 0
[pid=4658/tid=4685] ppid=4657 vsize=13801768 CPUtime=1.5 cores=0,2,4,6,8,10,12,14
/proc/4658/task/4685/stat : 4685 (java) R 4657 4657 14626 0 -1 4202560 39 0 0 0 150 0 0 0 20 0 28 0 4173972 14133010432 178719 33554432000 4194304 4196468 140723409676816 140615943586448 140616382030257 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 24305664 140723409683644 140723409683820 140723409683820 140723409686479 0
[pid=4658/tid=4686] ppid=4657 vsize=13801768 CPUtime=1.53 cores=0,2,4,6,8,10,12,14
/proc/4658/task/4686/stat : 4686 (java) R 4657 4657 14626 0 -1 4202560 66 0 0 0 153 0 0 0 20 0 28 0 4173972 14133010432 178719 33554432000 4194304 4196468 140723409676816 140615942534008 140616374768448 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24305664 140723409683644 140723409683820 140723409683820 140723409686479 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 13811280
[startup+5.61738 s]
/proc/loadavg: 9.13 10.71 12.85 11/292 4686
/proc/meminfo: memFree=20555836/32770624 swapFree=5972/258940
[pid=4657] ppid=4654 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/4657/stat : 4657 (xcsp3-exec) S 4654 4657 14626 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4173700 9740288 346 33554432000 4194304 5098028 140727122518384 140727122516488 139805056316028 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 34070528 140727122523278 140727122523488 140727122523488 140727122526187 0
/proc/4657/statm: 2378 346 289 221 0 87 0
[pid=4658] ppid=4657 vsize=13801768 CPUtime=31.94 cores=0,2,4,6,8,10,12,14
/proc/4658/stat : 4658 (java) S 4657 4657 14626 0 -1 1077944320 37195 0 0 0 3110 84 0 0 20 0 28 0 4173700 14133010432 177710 33554432000 4194304 4196468 140723409676816 140723409659360 140616774106871 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 24305664 140723409683644 140723409683820 140723409683820 140723409686479 0
/proc/4658/statm: 3450442 177710 3276 1 0 3437675 0
[pid=4658/tid=4659] ppid=4657 vsize=13801768 CPUtime=2.53 cores=0,2,4,6,8,10,12,14
/proc/4658/task/4659/stat : 4659 (java) S 4657 4657 14626 0 -1 1077944384 8912 0 0 0 245 8 0 0 20 0 28 0 4173701 14133010432 177710 33554432000 4194304 4196468 140723409676816 140616778347648 140616774117077 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24305664 140723409683644 140723409683820 140723409683820 140723409686479 0
[pid=4658/tid=4661] ppid=4657 vsize=13801768 CPUtime=0.18 cores=0,2,4,6,8,10,12,14
/proc/4658/task/4661/stat : 4661 (java) S 4657 4657 14626 0 -1 1077944384 111 0 0 0 10 8 0 0 20 0 28 0 4173701 14133010432 177710 33554432000 4194304 4196468 140723409676816 140616373627792 140616774117077 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 24305664 140723409683644 140723409683820 140723409683820 140723409686479 0
[pid=4658/tid=4662] ppid=4657 vsize=13801768 CPUtime=0.18 cores=0,2,4,6,8,10,12,14
/proc/4658/task/4662/stat : 4662 (java) S 4657 4657 14626 0 -1 1077944384 515 0 0 0 10 8 0 0 20 0 28 0 4173702 14133010432 177710 33554432000 4194304 4196468 140723409676816 140616372574992 140616774117077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24305664 140723409683644 140723409683820 140723409683820 140723409686479 0
[pid=4658/tid=4663] ppid=4657 vsize=13801768 CPUtime=0.17 cores=0,2,4,6,8,10,12,14
/proc/4658/task/4663/stat : 4663 (java) S 4657 4657 14626 0 -1 1077944384 197 0 0 0 10 7 0 0 20 0 28 0 4173702 14133010432 177710 33554432000 4194304 4196468 140723409676816 140616371522704 140616774117077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24305664 140723409683644 140723409683820 140723409683820 140723409686479 0
[pid=4658/tid=4664] ppid=4657 vsize=13801768 CPUtime=0.18 cores=0,2,4,6,8,10,12,14
/proc/4658/task/4664/stat : 4664 (java) S 4657 4657 14626 0 -1 1077944384 191 0 0 0 10 8 0 0 20 0 28 0 4173702 14133010432 177710 33554432000 4194304 4196468 140723409676816 140616370469904 140616774117077 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 24305664 140723409683644 140723409683820 140723409683820 140723409686479 0
[pid=4658/tid=4665] ppid=4657 vsize=13801768 CPUtime=0.17 cores=0,2,4,6,8,10,12,14
/proc/4658/task/4665/stat : 4665 (java) S 4657 4657 14626 0 -1 1077944384 126 0 0 0 10 7 0 0 20 0 28 0 4173702 14133010432 177710 33554432000 4194304 4196468 140723409676816 140616369416592 140616774117077 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 24305664 140723409683644 140723409683820 140723409683820 140723409686479 0
[pid=4658/tid=4666] ppid=4657 vsize=13801768 CPUtime=0.15 cores=0,2,4,6,8,10,12,14
/proc/4658/task/4666/stat : 4666 (java) S 4657 4657 14626 0 -1 1077944384 294 0 0 0 9 6 0 0 20 0 28 0 4173702 14133010432 177710 33554432000 4194304 4196468 140723409676816 140616368363792 140616774117077 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 24305664 140723409683644 140723409683820 140723409683820 140723409686479 0
[pid=4658/tid=4667] ppid=4657 vsize=13801768 CPUtime=0.15 cores=0,2,4,6,8,10,12,14
/proc/4658/task/4667/stat : 4667 (java) S 4657 4657 14626 0 -1 1077944384 126 0 0 0 8 7 0 0 20 0 28 0 4173702 14133010432 177710 33554432000 4194304 4196468 140723409676816 140616367311504 140616774117077 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 24305664 140723409683644 140723409683820 140723409683820 140723409686479 0
[pid=4658/tid=4668] ppid=4657 vsize=13801768 CPUtime=0.19 cores=0,2,4,6,8,10,12,14
/proc/4658/task/4668/stat : 4668 (java) S 4657 4657 14626 0 -1 1077944384 176 0 0 0 12 7 0 0 20 0 28 0 4173702 14133010432 177710 33554432000 4194304 4196468 140723409676816 140616366258704 140616774117077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24305664 140723409683644 140723409683820 140723409683820 140723409686479 0
[pid=4658/tid=4669] ppid=4657 vsize=13801768 CPUtime=0.03 cores=0,2,4,6,8,10,12,14
/proc/4658/task/4669/stat : 4669 (java) S 4657 4657 14626 0 -1 1077944384 613 0 0 0 1 2 0 0 20 0 28 0 4173704 14133010432 177710 33554432000 4194304 4196468 140723409676816 140616035064432 140616774118018 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24305664 140723409683644 140723409683820 140723409683820 140723409686479 0
[pid=4658/tid=4670] ppid=4657 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/4658/task/4670/stat : 4670 (java) S 4657 4657 14626 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 28 0 4173705 14133010432 177710 33554432000 4194304 4196468 140723409676816 140616034010464 140616774117077 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 24305664 140723409683644 140723409683820 140723409683820 140723409686479 0
[pid=4658/tid=4671] ppid=4657 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/4658/task/4671/stat : 4671 (java) S 4657 4657 14626 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 28 0 4173705 14133010432 177710 33554432000 4194304 4196468 140723409676816 140616032958080 140616774117077 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24305664 140723409683644 140723409683820 140723409683820 140723409686479 0
[pid=4658/tid=4672] ppid=4657 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/4658/task/4672/stat : 4672 (java) S 4657 4657 14626 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4173709 14133010432 177710 33554432000 4194304 4196468 140723409676816 140616031906384 140616774125467 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 24305664 140723409683644 140723409683820 140723409683820 140723409686479 0
[pid=4658/tid=4673] ppid=4657 vsize=13801768 CPUtime=2.72 cores=0,2,4,6,8,10,12,14
/proc/4658/task/4673/stat : 4673 (java) S 4657 4657 14626 0 -1 1077944384 7066 0 0 0 271 1 0 0 20 0 28 0 4173709 14133010432 177710 33554432000 4194304 4196468 140723409676816 140616030853232 140616774118018 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 24305664 140723409683644 140723409683820 140723409683820 140723409686479 0
[pid=4658/tid=4674] ppid=4657 vsize=13801768 CPUtime=3.09 cores=0,2,4,6,8,10,12,14
/proc/4658/task/4674/stat : 4674 (java) S 4657 4657 14626 0 -1 1077944384 6307 0 0 0 308 1 0 0 20 0 28 0 4173709 14133010432 177710 33554432000 4194304 4196468 140723409676816 140616029800432 140616774118018 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 24305664 140723409683644 140723409683820 140723409683820 140723409686479 0
[pid=4658/tid=4675] ppid=4657 vsize=13801768 CPUtime=2.62 cores=0,2,4,6,8,10,12,14
/proc/4658/task/4675/stat : 4675 (java) S 4657 4657 14626 0 -1 1077944384 4664 0 0 0 261 1 0 0 20 0 28 0 4173709 14133010432 177710 33554432000 4194304 4196468 140723409676816 140616028748144 140616774118018 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 24305664 140723409683644 140723409683820 140723409683820 140723409686479 0
[pid=4658/tid=4676] ppid=4657 vsize=13801768 CPUtime=0.99 cores=0,2,4,6,8,10,12,14
/proc/4658/task/4676/stat : 4676 (java) S 4657 4657 14626 0 -1 1077944384 4827 0 0 0 98 1 0 0 20 0 28 0 4173709 14133010432 177710 33554432000 4194304 4196468 140723409676816 140616027695344 140616774118018 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24305664 140723409683644 140723409683820 140723409683820 140723409686479 0
[pid=4658/tid=4677] ppid=4657 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/4658/task/4677/stat : 4677 (java) S 4657 4657 14626 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4173709 14133010432 177710 33554432000 4194304 4196468 140723409676816 140616026643296 140616774117077 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 24305664 140723409683644 140723409683820 140723409683820 140723409686479 0
[pid=4658/tid=4678] ppid=4657 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/4658/task/4678/stat : 4678 (java) S 4657 4657 14626 0 -1 1077944384 31 0 0 0 0 0 0 0 20 0 28 0 4173710 14133010432 177710 33554432000 4194304 4196468 140723409676816 140616025590576 140616774118018 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24305664 140723409683644 140723409683820 140723409683820 140723409686479 0
[pid=4658/tid=4679] ppid=4657 vsize=13801768 CPUtime=2.22 cores=0,2,4,6,8,10,12,14
/proc/4658/task/4679/stat : 4679 (java) R 4657 4657 14626 0 -1 4202560 249 0 0 0 222 0 0 0 20 0 28 0 4173971 14133010432 177710 33554432000 4194304 4196468 140723409676816 140615949901608 140616382739276 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 24305664 140723409683644 140723409683820 140723409683820 140723409686479 0
[pid=4658/tid=4680] ppid=4657 vsize=13801768 CPUtime=2.23 cores=0,2,4,6,8,10,12,14
/proc/4658/task/4680/stat : 4680 (java) R 4657 4657 14626 0 -1 4202560 85 0 0 0 223 0 0 0 20 0 28 0 4173972 14133010432 177710 33554432000 4194304 4196468 140723409676816 140615948851656 140616382029874 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24305664 140723409683644 140723409683820 140723409683820 140723409686479 0
[pid=4658/tid=4681] ppid=4657 vsize=13801768 CPUtime=2.26 cores=0,2,4,6,8,10,12,14
/proc/4658/task/4681/stat : 4681 (java) R 4657 4657 14626 0 -1 4202560 431 0 0 0 226 0 0 0 20 0 28 0 4173972 14133010432 177710 33554432000 4194304 4196468 140723409676816 140615947798552 140616383081388 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24305664 140723409683644 140723409683820 140723409683820 140723409686479 0
[pid=4658/tid=4682] ppid=4657 vsize=13801768 CPUtime=2.22 cores=0,2,4,6,8,10,12,14
/proc/4658/task/4682/stat : 4682 (java) R 4657 4657 14626 0 -1 4202560 405 0 0 0 219 3 0 0 20 0 28 0 4173972 14133010432 177710 33554432000 4194304 4196468 140723409676816 140615946745992 140616383081038 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 24305664 140723409683644 140723409683820 140723409683820 140723409686479 0
[pid=4658/tid=4683] ppid=4657 vsize=13801768 CPUtime=2.43 cores=0,2,4,6,8,10,12,14
/proc/4658/task/4683/stat : 4683 (java) R 4657 4657 14626 0 -1 4202560 189 0 0 0 243 0 0 0 20 0 28 0 4173972 14133010432 177710 33554432000 4194304 4196468 140723409676816 140615945690632 140616382031024 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 24305664 140723409683644 140723409683820 140723409683820 140723409686479 0
[pid=4658/tid=4684] ppid=4657 vsize=13801768 CPUtime=2.4 cores=0,2,4,6,8,10,12,14
/proc/4658/task/4684/stat : 4684 (java) R 4657 4657 14626 0 -1 4202560 76 0 0 0 240 0 0 0 20 0 28 0 4173972 14133010432 177710 33554432000 4194304 4196468 140723409676816 140615944638616 140616382029874 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 24305664 140723409683644 140723409683820 140723409683820 140723409686479 0
[pid=4658/tid=4685] ppid=4657 vsize=13801768 CPUtime=2.3 cores=0,2,4,6,8,10,12,14
/proc/4658/task/4685/stat : 4685 (java) R 4657 4657 14626 0 -1 4202560 102 0 0 0 230 0 0 0 20 0 28 0 4173972 14133010432 177710 33554432000 4194304 4196468 140723409676816 140615943586136 140616383081388 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 24305664 140723409683644 140723409683820 140723409683820 140723409686479 0
[pid=4658/tid=4686] ppid=4657 vsize=13801768 CPUtime=2.33 cores=0,2,4,6,8,10,12,14
/proc/4658/task/4686/stat : 4686 (java) R 4657 4657 14626 0 -1 4202560 147 0 0 0 233 0 0 0 20 0 28 0 4173972 14133010432 177710 33554432000 4194304 4196468 140723409676816 140615942533896 140616382048721 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24305664 140723409683644 140723409683820 140723409683820 140723409686479 0
Current children cumulated CPU time (s) 31.94
Current children cumulated vsize (KiB) 13811280
[startup+5.80654 s]
/proc/loadavg: 9.13 10.71 12.85 11/292 4686
/proc/meminfo: memFree=20555836/32770624 swapFree=5972/258940
[pid=4657] ppid=4654 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/4657/stat : 4657 (xcsp3-exec) S 4654 4657 14626 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4173700 9740288 346 33554432000 4194304 5098028 140727122518384 140727122516488 139805056316028 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 34070528 140727122523278 140727122523488 140727122523488 140727122526187 0
/proc/4657/statm: 2378 346 289 221 0 87 0
[pid=4658] ppid=4657 vsize=13801768 CPUtime=33.42 cores=0,2,4,6,8,10,12,14
/proc/4658/stat : 4658 (java) S 4657 4657 14626 0 -1 1077944320 38587 0 0 0 3258 84 0 0 20 0 20 0 4173700 14133010432 177602 33554432000 4194304 4196468 140723409676816 140723409659360 140616774106871 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 24305664 140723409683644 140723409683820 140723409683820 140723409686479 0
/proc/4658/statm: 3450442 177602 3278 1 0 3437675 0
[pid=4658/tid=4659] ppid=4657 vsize=13801768 CPUtime=2.53 cores=0,2,4,6,8,10,12,14
/proc/4658/task/4659/stat : 4659 (java) R 4657 4657 14626 0 -1 4202560 9423 0 0 0 245 8 0 0 20 0 20 0 4173701 14133010432 177602 33554432000 4194304 4196468 140723409676816 140616778343752 140616774128701 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24305664 140723409683644 140723409683820 140723409683820 140723409686479 0
[pid=4658/tid=4661] ppid=4657 vsize=13801768 CPUtime=0.18 cores=0,2,4,6,8,10,12,14
/proc/4658/task/4661/stat : 4661 (java) S 4657 4657 14626 0 -1 1077944384 111 0 0 0 10 8 0 0 20 0 20 0 4173701 14133010432 177602 33554432000 4194304 4196468 140723409676816 140616373627792 140616774117077 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 24305664 140723409683644 140723409683820 140723409683820 140723409686479 0
[pid=4658/tid=4662] ppid=4657 vsize=13801768 CPUtime=0.18 cores=0,2,4,6,8,10,12,14
/proc/4658/task/4662/stat : 4662 (java) S 4657 4657 14626 0 -1 1077944384 515 0 0 0 10 8 0 0 20 0 20 0 4173702 14133010432 177606 33554432000 4194304 4196468 140723409676816 140616372574992 140616774117077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24305664 140723409683644 140723409683820 140723409683820 140723409686479 0
[pid=4658/tid=4663] ppid=4657 vsize=13801768 CPUtime=0.17 cores=0,2,4,6,8,10,12,14
/proc/4658/task/4663/stat : 4663 (java) S 4657 4657 14626 0 -1 1077944384 197 0 0 0 10 7 0 0 20 0 20 0 4173702 14133010432 177606 33554432000 4194304 4196468 140723409676816 140616371522704 140616774117077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24305664 140723409683644 140723409683820 140723409683820 140723409686479 0
[pid=4658/tid=4664] ppid=4657 vsize=13801768 CPUtime=0.18 cores=0,2,4,6,8,10,12,14
/proc/4658/task/4664/stat : 4664 (java) S 4657 4657 14626 0 -1 1077944384 191 0 0 0 10 8 0 0 20 0 20 0 4173702 14133010432 177606 33554432000 4194304 4196468 140723409676816 140616370469904 140616774117077 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 24305664 140723409683644 140723409683820 140723409683820 140723409686479 0
[pid=4658/tid=4665] ppid=4657 vsize=13801768 CPUtime=0.17 cores=0,2,4,6,8,10,12,14
/proc/4658/task/4665/stat : 4665 (java) S 4657 4657 14626 0 -1 1077944384 126 0 0 0 10 7 0 0 20 0 20 0 4173702 14133010432 177606 33554432000 4194304 4196468 140723409676816 140616369416592 140616774117077 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 24305664 140723409683644 140723409683820 140723409683820 140723409686479 0
[pid=4658/tid=4666] ppid=4657 vsize=13801768 CPUtime=0.15 cores=0,2,4,6,8,10,12,14
/proc/4658/task/4666/stat : 4666 (java) S 4657 4657 14626 0 -1 1077944384 294 0 0 0 9 6 0 0 20 0 20 0 4173702 14133010432 177606 33554432000 4194304 4196468 140723409676816 140616368363792 140616774117077 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 24305664 140723409683644 140723409683820 140723409683820 140723409686479 0
[pid=4658/tid=4667] ppid=4657 vsize=13801768 CPUtime=0.15 cores=0,2,4,6,8,10,12,14
/proc/4658/task/4667/stat : 4667 (java) S 4657 4657 14626 0 -1 1077944384 126 0 0 0 8 7 0 0 20 0 20 0 4173702 14133010432 177606 33554432000 4194304 4196468 140723409676816 140616367311504 140616774117077 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 24305664 140723409683644 140723409683820 140723409683820 140723409686479 0
[pid=4658/tid=4668] ppid=4657 vsize=13801768 CPUtime=0.19 cores=0,2,4,6,8,10,12,14
/proc/4658/task/4668/stat : 4668 (java) S 4657 4657 14626 0 -1 1077944384 176 0 0 0 12 7 0 0 20 0 20 0 4173702 14133010432 177609 33554432000 4194304 4196468 140723409676816 140616366258704 140616774117077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24305664 140723409683644 140723409683820 140723409683820 140723409686479 0
[pid=4658/tid=4669] ppid=4657 vsize=13801768 CPUtime=0.03 cores=0,2,4,6,8,10,12,14
/proc/4658/task/4669/stat : 4669 (java) S 4657 4657 14626 0 -1 1077944384 613 0 0 0 1 2 0 0 20 0 20 0 4173704 14133010432 177609 33554432000 4194304 4196468 140723409676816 140616035064432 140616774118018 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24305664 140723409683644 140723409683820 140723409683820 140723409686479 0
[pid=4658/tid=4670] ppid=4657 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/4658/task/4670/stat : 4670 (java) S 4657 4657 14626 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 20 0 4173705 14133010432 177609 33554432000 4194304 4196468 140723409676816 140616034010464 140616774117077 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 24305664 140723409683644 140723409683820 140723409683820 140723409686479 0
[pid=4658/tid=4671] ppid=4657 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/4658/task/4671/stat : 4671 (java) S 4657 4657 14626 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 20 0 4173705 14133010432 177609 33554432000 4194304 4196468 140723409676816 140616032958080 140616774117077 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24305664 140723409683644 140723409683820 140723409683820 140723409686479 0
[pid=4658/tid=4672] ppid=4657 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/4658/task/4672/stat : 4672 (java) S 4657 4657 14626 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4173709 14133010432 177609 33554432000 4194304 4196468 140723409676816 140616031906384 140616774125467 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 24305664 140723409683644 140723409683820 140723409683820 140723409686479 0
[pid=4658/tid=4673] ppid=4657 vsize=13801768 CPUtime=2.73 cores=0,2,4,6,8,10,12,14
/proc/4658/task/4673/stat : 4673 (java) R 4657 4657 14626 0 -1 4202560 7163 0 0 0 272 1 0 0 20 0 20 0 4173709 14133010432 177610 33554432000 4194304 4196468 140723409676816 140616030853528 140616758017670 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 24305664 140723409683644 140723409683820 140723409683820 140723409686479 0
[pid=4658/tid=4674] ppid=4657 vsize=13801768 CPUtime=3.1 cores=0,2,4,6,8,10,12,14
/proc/4658/task/4674/stat : 4674 (java) R 4657 4657 14626 0 -1 4202560 6351 0 0 0 309 1 0 0 20 0 20 0 4173709 14133010432 177610 33554432000 4194304 4196468 140723409676816 140616029800432 140616758500628 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 24305664 140723409683644 140723409683820 140723409683820 140723409686479 0
[pid=4658/tid=4675] ppid=4657 vsize=13801768 CPUtime=2.63 cores=0,2,4,6,8,10,12,14
/proc/4658/task/4675/stat : 4675 (java) R 4657 4657 14626 0 -1 4202560 4774 0 0 0 262 1 0 0 20 0 20 0 4173709 14133010432 177610 33554432000 4194304 4196468 140723409676816 140616028748440 140616766396253 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 24305664 140723409683644 140723409683820 140723409683820 140723409686479 0
[pid=4658/tid=4676] ppid=4657 vsize=13801768 CPUtime=1 cores=0,2,4,6,8,10,12,14
/proc/4658/task/4676/stat : 4676 (java) S 4657 4657 14626 0 -1 1077944384 5093 0 0 0 99 1 0 0 20 0 20 0 4173709 14133010432 177610 33554432000 4194304 4196468 140723409676816 140616027695344 140616774118018 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 24305664 140723409683644 140723409683820 140723409683820 140723409686479 0
[pid=4658/tid=4677] ppid=4657 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/4658/task/4677/stat : 4677 (java) S 4657 4657 14626 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4173709 14133010432 177611 33554432000 4194304 4196468 140723409676816 140616026643296 140616774117077 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 24305664 140723409683644 140723409683820 140723409683820 140723409686479 0
[pid=4658/tid=4678] ppid=4657 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/4658/task/4678/stat : 4678 (java) S 4657 4657 14626 0 -1 1077944384 31 0 0 0 0 0 0 0 20 0 20 0 4173710 14133010432 177611 33554432000 4194304 4196468 140723409676816 140616025590576 140616774118018 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24305664 140723409683644 140723409683820 140723409683820 140723409686479 0
Current children cumulated CPU time (s) 33.42
Current children cumulated vsize (KiB) 13811280
Child status: 0
Real time (s): 5.82641
CPU time (s): 33.456
CPU user time (s): 32.5969
CPU system time (s): 0.859161
CPU usage (%): 574.214
Max. virtual memory (cumulated for all children) (KiB): 13811280
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 32.5969
system time used= 0.859161
maximum resident set size= 715072
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 39454
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= 4462
involuntary context switches= 2663
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.065548 second user time and 0.086404 second system time
The end