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-4248022-1502088999/watcher-4248022-1502088999 -o /tmp/evaluation-result-4248022-1502088999/solver-4248022-1502088999 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node132-1502078046-15622 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 10000 -tdir HOME -seed 1316051389 HOME/instance-4248022-1502088999.xml
pid=18257
running on 4 cores: 1,3,5,7
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: 3.92 2.59 2.39 3/202 18260
/proc/meminfo: memFree=24296828/32770624 swapFree=0/370920
[pid=18260] ppid=18257 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/18260/stat : 18260 (runsolver) D 18257 18260 2911 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 108553038 24240128 107 18446744073709551615 4194304 4338465 140728604668704 140728604666344 140706072576727 0 0 1 24578 18446744071580418449 0 0 17 5 0 0 0 0 0 6438912 6441760 9752576 140728604672086 140728604672585 140728604672585 140728604676042 0
/proc/18260/statm: 5918 107 54 36 0 2156 0
[startup+0.108563 s]
/proc/loadavg: 3.92 2.59 2.39 3/202 18260
/proc/meminfo: memFree=24296828/32770624 swapFree=0/370920
[pid=18260] ppid=18257 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/18260/stat : 18260 (xcsp3-exec) S 18257 18260 2911 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 108553038 9740288 345 18446744073709551615 4194304 5098028 140720874430656 140720874428760 140350805770876 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 8 0 0 7196144 7232144 29941760 140720874434968 140720874435178 140720874435178 140720874438635 0
/proc/18260/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200208 s]
/proc/loadavg: 3.92 2.59 2.39 3/202 18260
/proc/meminfo: memFree=24296828/32770624 swapFree=0/370920
[pid=18260] ppid=18257 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/18260/stat : 18260 (xcsp3-exec) S 18257 18260 2911 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 108553038 9740288 345 18446744073709551615 4194304 5098028 140720874430656 140720874428760 140350805770876 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 8 0 0 7196144 7232144 29941760 140720874434968 140720874435178 140720874435178 140720874438635 0
/proc/18260/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.307242 s]
/proc/loadavg: 3.92 2.59 2.39 3/202 18260
/proc/meminfo: memFree=24296828/32770624 swapFree=0/370920
[pid=18260] ppid=18257 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/18260/stat : 18260 (xcsp3-exec) S 18257 18260 2911 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 108553038 9740288 345 18446744073709551615 4194304 5098028 140720874430656 140720874428760 140350805770876 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 8 0 0 7196144 7232144 29941760 140720874434968 140720874435178 140720874435178 140720874438635 0
/proc/18260/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700604 s]
/proc/loadavg: 3.92 2.59 2.39 3/202 18260
/proc/meminfo: memFree=24296828/32770624 swapFree=0/370920
[pid=18260] ppid=18257 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/18260/stat : 18260 (xcsp3-exec) S 18257 18260 2911 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 108553038 9740288 345 18446744073709551615 4194304 5098028 140720874430656 140720874428760 140350805770876 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 8 0 0 7196144 7232144 29941760 140720874434968 140720874435178 140720874435178 140720874438635 0
/proc/18260/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50293 s]
/proc/loadavg: 3.92 2.59 2.39 5/218 18276
/proc/meminfo: memFree=24176348/32770624 swapFree=0/370968
[pid=18260] ppid=18257 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/18260/stat : 18260 (xcsp3-exec) S 18257 18260 2911 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 108553038 9740288 345 18446744073709551615 4194304 5098028 140720874430656 140720874428760 140350805770876 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 8 0 0 7196144 7232144 29941760 140720874434968 140720874435178 140720874435178 140720874438635 0
/proc/18260/statm: 2378 345 289 221 0 87 0
[pid=18262] ppid=18260 vsize=13185584 CPUtime=3.84 cores=1,3,5,7
/proc/18262/stat : 18262 (java) S 18260 18260 2911 0 -1 1077944320 23540 0 0 0 375 9 0 0 20 0 19 0 108553047 13502038016 52059 18446744073709551615 4194304 4196468 140736964019456 140736964002000 140121886899959 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 29655040 140736964026838 140736964027014 140736964027014 140736964030415 0
/proc/18262/statm: 3296396 52059 3223 1 0 3284688 0
[pid=18262/tid=18263] ppid=18260 vsize=13185584 CPUtime=1.26 cores=1,3,5,7
/proc/18262/task/18263/stat : 18263 (java) S 18260 18260 2911 0 -1 1077944384 10596 0 0 0 121 5 0 0 20 0 19 0 108553047 13502038016 52059 18446744073709551615 4194304 4196468 140736964019456 140121891140736 140121886910165 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 3 0 0 6293624 6294260 29655040 140736964026838 140736964027014 140736964027014 140736964030415 0
[pid=18262/tid=18264] ppid=18260 vsize=13185584 CPUtime=0.01 cores=1,3,5,7
/proc/18262/task/18264/stat : 18264 (java) S 18260 18260 2911 0 -1 1077944384 66 0 0 0 1 0 0 0 20 0 19 0 108553048 13502038016 52059 18446744073709551615 4194304 4196468 140736964019456 140121843866000 140121886910165 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29655040 140736964026838 140736964027014 140736964027014 140736964030415 0
[pid=18262/tid=18265] ppid=18260 vsize=13185584 CPUtime=0 cores=1,3,5,7
/proc/18262/task/18265/stat : 18265 (java) S 18260 18260 2911 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 19 0 108553048 13502038016 52059 18446744073709551615 4194304 4196468 140736964019456 140121842813200 140121886910165 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29655040 140736964026838 140736964027014 140736964027014 140736964030415 0
[pid=18262/tid=18266] ppid=18260 vsize=13185584 CPUtime=0.01 cores=1,3,5,7
/proc/18262/task/18266/stat : 18266 (java) S 18260 18260 2911 0 -1 1077944384 203 0 0 0 1 0 0 0 20 0 19 0 108553048 13502038016 52059 18446744073709551615 4194304 4196468 140736964019456 140121841760912 140121886910165 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29655040 140736964026838 140736964027014 140736964027014 140736964030415 0
[pid=18262/tid=18267] ppid=18260 vsize=13185584 CPUtime=0 cores=1,3,5,7
/proc/18262/task/18267/stat : 18267 (java) S 18260 18260 2911 0 -1 1077944384 205 0 0 0 0 0 0 0 20 0 19 0 108553048 13502038016 52059 18446744073709551615 4194304 4196468 140736964019456 140121840708112 140121886910165 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29655040 140736964026838 140736964027014 140736964027014 140736964030415 0
[pid=18262/tid=18268] ppid=18260 vsize=13185584 CPUtime=0 cores=1,3,5,7
/proc/18262/task/18268/stat : 18268 (java) S 18260 18260 2911 0 -1 1077944384 217 0 0 0 0 0 0 0 20 0 19 0 108553049 13502038016 52059 18446744073709551615 4194304 4196468 140736964019456 140121110325872 140121886911106 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29655040 140736964026838 140736964027014 140736964027014 140736964030415 0
[pid=18262/tid=18269] ppid=18260 vsize=13185584 CPUtime=0 cores=1,3,5,7
/proc/18262/task/18269/stat : 18269 (java) S 18260 18260 2911 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 19 0 108553050 13502038016 52059 18446744073709551615 4194304 4196468 140736964019456 140121109271840 140121886910165 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29655040 140736964026838 140736964027014 140736964027014 140736964030415 0
[pid=18262/tid=18270] ppid=18260 vsize=13185584 CPUtime=0 cores=1,3,5,7
/proc/18262/task/18270/stat : 18270 (java) S 18260 18260 2911 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 19 0 108553050 13502038016 52059 18446744073709551615 4194304 4196468 140736964019456 140121108219504 140121886910165 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29655040 140736964026838 140736964027014 140736964027014 140736964030415 0
[pid=18262/tid=18271] ppid=18260 vsize=13185584 CPUtime=0 cores=1,3,5,7
/proc/18262/task/18271/stat : 18271 (java) S 18260 18260 2911 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 108553052 13502038016 52059 18446744073709551615 4194304 4196468 140736964019456 140121107167824 140121886918555 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29655040 140736964026838 140736964027014 140736964027014 140736964030415 0
[pid=18262/tid=18272] ppid=18260 vsize=13185584 CPUtime=0.89 cores=1,3,5,7
/proc/18262/task/18272/stat : 18272 (java) R 18260 18260 2911 0 -1 1077944384 3499 0 0 0 89 0 0 0 20 0 19 0 108553052 13502038016 52059 18446744073709551615 4194304 4196468 140736964019456 140121106106000 140121886910165 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 29655040 140736964026838 140736964027014 140736964027014 140736964030415 0
[pid=18262/tid=18273] ppid=18260 vsize=13185584 CPUtime=0.83 cores=1,3,5,7
/proc/18262/task/18273/stat : 18273 (java) R 18260 18260 2911 0 -1 4202560 2538 0 0 0 83 0 0 0 20 0 19 0 108553052 13502038016 52059 18446744073709551615 4194304 4196468 140736964019456 140121105061008 140121866086526 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29655040 140736964026838 140736964027014 140736964027014 140736964030415 0
[pid=18262/tid=18274] ppid=18260 vsize=13185584 CPUtime=0.58 cores=1,3,5,7
/proc/18262/task/18274/stat : 18274 (java) R 18260 18260 2911 0 -1 4202560 4666 0 0 0 58 0 0 0 20 0 19 0 108553052 13502038016 52059 18446744073709551615 4194304 4196468 140736964019456 140121104009584 140121886911894 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29655040 140736964026838 140736964027014 140736964027014 140736964030415 0
[pid=18262/tid=18275] ppid=18260 vsize=13185584 CPUtime=0 cores=1,3,5,7
/proc/18262/task/18275/stat : 18275 (java) S 18260 18260 2911 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 108553052 13502038016 52059 18446744073709551615 4194304 4196468 140736964019456 140121102957024 140121886910165 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29655040 140736964026838 140736964027014 140736964027014 140736964030415 0
[pid=18262/tid=18276] ppid=18260 vsize=13185584 CPUtime=0 cores=1,3,5,7
/proc/18262/task/18276/stat : 18276 (java) S 18260 18260 2911 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 108553057 13502038016 52059 18446744073709551615 4194304 4196468 140736964019456 140121101904816 140121886911106 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29655040 140736964026838 140736964027014 140736964027014 140736964030415 0
Current children cumulated CPU time (s) 3.84
Current children cumulated vsize (KiB) 13195096
[startup+3.10957 s]
/proc/loadavg: 4.25 2.68 2.42 8/222 18280
/proc/meminfo: memFree=24091836/32770624 swapFree=0/370968
[pid=18260] ppid=18257 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/18260/stat : 18260 (xcsp3-exec) S 18257 18260 2911 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 108553038 9740288 345 18446744073709551615 4194304 5098028 140720874430656 140720874428760 140350805770876 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 8 0 0 7196144 7232144 29941760 140720874434968 140720874435178 140720874435178 140720874438635 0
/proc/18260/statm: 2378 345 289 221 0 87 0
[pid=18262] ppid=18260 vsize=13185584 CPUtime=10.22 cores=1,3,5,7
/proc/18262/stat : 18262 (java) S 18260 18260 2911 0 -1 1077944320 26594 0 0 0 1012 10 0 0 20 0 19 0 108553047 13502038016 54811 18446744073709551615 4194304 4196468 140736964019456 140736964002000 140121886899959 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 29655040 140736964026838 140736964027014 140736964027014 140736964030415 0
/proc/18262/statm: 3296396 54811 3250 1 0 3284688 0
[pid=18262/tid=18263] ppid=18260 vsize=13185584 CPUtime=1.26 cores=1,3,5,7
/proc/18262/task/18263/stat : 18263 (java) S 18260 18260 2911 0 -1 1077944384 10596 0 0 0 121 5 0 0 20 0 19 0 108553047 13502038016 54811 18446744073709551615 4194304 4196468 140736964019456 140121891140736 140121886910165 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 3 0 0 6293624 6294260 29655040 140736964026838 140736964027014 140736964027014 140736964030415 0
[pid=18262/tid=18264] ppid=18260 vsize=13185584 CPUtime=0.01 cores=1,3,5,7
/proc/18262/task/18264/stat : 18264 (java) S 18260 18260 2911 0 -1 1077944384 66 0 0 0 1 0 0 0 20 0 19 0 108553048 13502038016 54811 18446744073709551615 4194304 4196468 140736964019456 140121843866000 140121886910165 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29655040 140736964026838 140736964027014 140736964027014 140736964030415 0
[pid=18262/tid=18265] ppid=18260 vsize=13185584 CPUtime=0 cores=1,3,5,7
/proc/18262/task/18265/stat : 18265 (java) S 18260 18260 2911 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 19 0 108553048 13502038016 54811 18446744073709551615 4194304 4196468 140736964019456 140121842813200 140121886910165 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29655040 140736964026838 140736964027014 140736964027014 140736964030415 0
[pid=18262/tid=18266] ppid=18260 vsize=13185584 CPUtime=0.01 cores=1,3,5,7
/proc/18262/task/18266/stat : 18266 (java) S 18260 18260 2911 0 -1 1077944384 203 0 0 0 1 0 0 0 20 0 19 0 108553048 13502038016 54811 18446744073709551615 4194304 4196468 140736964019456 140121841760912 140121886910165 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29655040 140736964026838 140736964027014 140736964027014 140736964030415 0
[pid=18262/tid=18267] ppid=18260 vsize=13185584 CPUtime=0 cores=1,3,5,7
/proc/18262/task/18267/stat : 18267 (java) S 18260 18260 2911 0 -1 1077944384 205 0 0 0 0 0 0 0 20 0 19 0 108553048 13502038016 54811 18446744073709551615 4194304 4196468 140736964019456 140121840708112 140121886910165 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29655040 140736964026838 140736964027014 140736964027014 140736964030415 0
[pid=18262/tid=18268] ppid=18260 vsize=13185584 CPUtime=0 cores=1,3,5,7
/proc/18262/task/18268/stat : 18268 (java) S 18260 18260 2911 0 -1 1077944384 217 0 0 0 0 0 0 0 20 0 19 0 108553049 13502038016 54811 18446744073709551615 4194304 4196468 140736964019456 140121110325872 140121886911106 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29655040 140736964026838 140736964027014 140736964027014 140736964030415 0
[pid=18262/tid=18269] ppid=18260 vsize=13185584 CPUtime=0 cores=1,3,5,7
/proc/18262/task/18269/stat : 18269 (java) S 18260 18260 2911 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 19 0 108553050 13502038016 54811 18446744073709551615 4194304 4196468 140736964019456 140121109271840 140121886910165 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29655040 140736964026838 140736964027014 140736964027014 140736964030415 0
[pid=18262/tid=18270] ppid=18260 vsize=13185584 CPUtime=0 cores=1,3,5,7
/proc/18262/task/18270/stat : 18270 (java) S 18260 18260 2911 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 19 0 108553050 13502038016 54811 18446744073709551615 4194304 4196468 140736964019456 140121108219504 140121886910165 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29655040 140736964026838 140736964027014 140736964027014 140736964030415 0
[pid=18262/tid=18271] ppid=18260 vsize=13185584 CPUtime=0 cores=1,3,5,7
/proc/18262/task/18271/stat : 18271 (java) S 18260 18260 2911 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 108553052 13502038016 54811 18446744073709551615 4194304 4196468 140736964019456 140121107167824 140121886918555 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29655040 140736964026838 140736964027014 140736964027014 140736964030415 0
[pid=18262/tid=18272] ppid=18260 vsize=13185584 CPUtime=1.89 cores=1,3,5,7
/proc/18262/task/18272/stat : 18272 (java) S 18260 18260 2911 0 -1 1077944384 4137 0 0 0 189 0 0 0 20 0 19 0 108553052 13502038016 54811 18446744073709551615 4194304 4196468 140736964019456 140121106114672 140121886911106 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29655040 140736964026838 140736964027014 140736964027014 140736964030415 0
[pid=18262/tid=18273] ppid=18260 vsize=13185584 CPUtime=1.74 cores=1,3,5,7
/proc/18262/task/18273/stat : 18273 (java) S 18260 18260 2911 0 -1 1077944384 4093 0 0 0 174 0 0 0 20 0 19 0 108553052 13502038016 54811 18446744073709551615 4194304 4196468 140736964019456 140121105061872 140121886911106 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29655040 140736964026838 140736964027014 140736964027014 140736964030415 0
[pid=18262/tid=18274] ppid=18260 vsize=13185584 CPUtime=0.76 cores=1,3,5,7
/proc/18262/task/18274/stat : 18274 (java) S 18260 18260 2911 0 -1 1077944384 5397 0 0 0 75 1 0 0 20 0 19 0 108553052 13502038016 54811 18446744073709551615 4194304 4196468 140736964019456 140121104009584 140121886911106 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29655040 140736964026838 140736964027014 140736964027014 140736964030415 0
[pid=18262/tid=18275] ppid=18260 vsize=13185584 CPUtime=0 cores=1,3,5,7
/proc/18262/task/18275/stat : 18275 (java) S 18260 18260 2911 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 108553052 13502038016 54811 18446744073709551615 4194304 4196468 140736964019456 140121102957024 140121886910165 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29655040 140736964026838 140736964027014 140736964027014 140736964030415 0
[pid=18262/tid=18276] ppid=18260 vsize=13185584 CPUtime=0 cores=1,3,5,7
/proc/18262/task/18276/stat : 18276 (java) S 18260 18260 2911 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 19 0 108553057 13502038016 54811 18446744073709551615 4194304 4196468 140736964019456 140121101904816 140121886911106 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29655040 140736964026838 140736964027014 140736964027014 140736964030415 0
[pid=18262/tid=18277] ppid=18260 vsize=13185584 CPUtime=1.12 cores=1,3,5,7
/proc/18262/task/18277/stat : 18277 (java) R 18260 18260 2911 0 -1 4202560 85 0 0 0 112 0 0 0 20 0 19 0 108553182 13502038016 54811 18446744073709551615 4194304 4196468 140736964019456 140120288120296 140121520338749 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29655040 140736964026838 140736964027014 140736964027014 140736964030415 0
[pid=18262/tid=18278] ppid=18260 vsize=13185584 CPUtime=1.12 cores=1,3,5,7
/proc/18262/task/18278/stat : 18278 (java) R 18260 18260 2911 0 -1 4202560 94 0 0 0 112 0 0 0 20 0 19 0 108553182 13502038016 54811 18446744073709551615 4194304 4196468 140736964019456 140120287068120 140121519821212 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29655040 140736964026838 140736964027014 140736964027014 140736964030415 0
[pid=18262/tid=18279] ppid=18260 vsize=13185584 CPUtime=0.99 cores=1,3,5,7
/proc/18262/task/18279/stat : 18279 (java) R 18260 18260 2911 0 -1 4202560 67 0 0 0 99 0 0 0 20 0 19 0 108553182 13502038016 54811 18446744073709551615 4194304 4196468 140736964019456 140120286016232 140121519782717 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29655040 140736964026838 140736964027014 140736964027014 140736964030415 0
[pid=18262/tid=18280] ppid=18260 vsize=13185584 CPUtime=1.2 cores=1,3,5,7
/proc/18262/task/18280/stat : 18280 (java) R 18260 18260 2911 0 -1 4202560 66 0 0 0 120 0 0 0 20 0 19 0 108553182 13502038016 54811 18446744073709551615 4194304 4196468 140736964019456 140120284962856 140121519599236 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 29655040 140736964026838 140736964027014 140736964027014 140736964030415 0
Current children cumulated CPU time (s) 10.22
Current children cumulated vsize (KiB) 13195096
[startup+6.30557 s]
/proc/loadavg: 4.25 2.68 2.42 6/222 18280
/proc/meminfo: memFree=24057376/32770624 swapFree=0/370968
[pid=18260] ppid=18257 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/18260/stat : 18260 (xcsp3-exec) S 18257 18260 2911 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 108553038 9740288 345 18446744073709551615 4194304 5098028 140720874430656 140720874428760 140350805770876 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 8 0 0 7196144 7232144 29941760 140720874434968 140720874435178 140720874435178 140720874438635 0
/proc/18260/statm: 2378 345 289 221 0 87 0
[pid=18262] ppid=18260 vsize=13185584 CPUtime=22.94 cores=1,3,5,7
/proc/18262/stat : 18262 (java) S 18260 18260 2911 0 -1 1077944320 28646 0 0 0 2281 13 0 0 20 0 19 0 108553047 13502038016 62839 18446744073709551615 4194304 4196468 140736964019456 140736964002000 140121886899959 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 29655040 140736964026838 140736964027014 140736964027014 140736964030415 0
/proc/18262/statm: 3296396 62839 3256 1 0 3284688 0
[pid=18262/tid=18263] ppid=18260 vsize=13185584 CPUtime=1.26 cores=1,3,5,7
/proc/18262/task/18263/stat : 18263 (java) S 18260 18260 2911 0 -1 1077944384 10596 0 0 0 121 5 0 0 20 0 19 0 108553047 13502038016 62839 18446744073709551615 4194304 4196468 140736964019456 140121891140736 140121886910165 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 3 0 0 6293624 6294260 29655040 140736964026838 140736964027014 140736964027014 140736964030415 0
[pid=18262/tid=18264] ppid=18260 vsize=13185584 CPUtime=0.04 cores=1,3,5,7
/proc/18262/task/18264/stat : 18264 (java) S 18260 18260 2911 0 -1 1077944384 84 0 0 0 3 1 0 0 20 0 19 0 108553048 13502038016 62839 18446744073709551615 4194304 4196468 140736964019456 140121843866000 140121886910165 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29655040 140736964026838 140736964027014 140736964027014 140736964030415 0
[pid=18262/tid=18265] ppid=18260 vsize=13185584 CPUtime=0.01 cores=1,3,5,7
/proc/18262/task/18265/stat : 18265 (java) S 18260 18260 2911 0 -1 1077944384 39 0 0 0 1 0 0 0 20 0 19 0 108553048 13502038016 62839 18446744073709551615 4194304 4196468 140736964019456 140121842813200 140121886910165 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29655040 140736964026838 140736964027014 140736964027014 140736964030415 0
[pid=18262/tid=18266] ppid=18260 vsize=13185584 CPUtime=0.04 cores=1,3,5,7
/proc/18262/task/18266/stat : 18266 (java) S 18260 18260 2911 0 -1 1077944384 221 0 0 0 3 1 0 0 20 0 19 0 108553048 13502038016 62839 18446744073709551615 4194304 4196468 140736964019456 140121841760912 140121886910165 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29655040 140736964026838 140736964027014 140736964027014 140736964030415 0
[pid=18262/tid=18267] ppid=18260 vsize=13185584 CPUtime=0.02 cores=1,3,5,7
/proc/18262/task/18267/stat : 18267 (java) S 18260 18260 2911 0 -1 1077944384 227 0 0 0 2 0 0 0 20 0 19 0 108553048 13502038016 62839 18446744073709551615 4194304 4196468 140736964019456 140121840708112 140121886910165 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29655040 140736964026838 140736964027014 140736964027014 140736964030415 0
[pid=18262/tid=18268] ppid=18260 vsize=13185584 CPUtime=0 cores=1,3,5,7
/proc/18262/task/18268/stat : 18268 (java) S 18260 18260 2911 0 -1 1077944384 275 0 0 0 0 0 0 0 20 0 19 0 108553049 13502038016 62839 18446744073709551615 4194304 4196468 140736964019456 140121110325872 140121886911106 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29655040 140736964026838 140736964027014 140736964027014 140736964030415 0
[pid=18262/tid=18269] ppid=18260 vsize=13185584 CPUtime=0 cores=1,3,5,7
/proc/18262/task/18269/stat : 18269 (java) S 18260 18260 2911 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 19 0 108553050 13502038016 62839 18446744073709551615 4194304 4196468 140736964019456 140121109271904 140121886910165 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29655040 140736964026838 140736964027014 140736964027014 140736964030415 0
[pid=18262/tid=18270] ppid=18260 vsize=13185584 CPUtime=0 cores=1,3,5,7
/proc/18262/task/18270/stat : 18270 (java) S 18260 18260 2911 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 19 0 108553050 13502038016 62839 18446744073709551615 4194304 4196468 140736964019456 140121108219504 140121886910165 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29655040 140736964026838 140736964027014 140736964027014 140736964030415 0
[pid=18262/tid=18271] ppid=18260 vsize=13185584 CPUtime=0 cores=1,3,5,7
/proc/18262/task/18271/stat : 18271 (java) S 18260 18260 2911 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 108553052 13502038016 62839 18446744073709551615 4194304 4196468 140736964019456 140121107167824 140121886918555 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29655040 140736964026838 140736964027014 140736964027014 140736964030415 0
[pid=18262/tid=18272] ppid=18260 vsize=13185584 CPUtime=2.32 cores=1,3,5,7
/proc/18262/task/18272/stat : 18272 (java) S 18260 18260 2911 0 -1 1077944384 4408 0 0 0 232 0 0 0 20 0 19 0 108553052 13502038016 62839 18446744073709551615 4194304 4196468 140736964019456 140121106114672 140121886911106 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 9 0 0 6293624 6294260 29655040 140736964026838 140736964027014 140736964027014 140736964030415 0
[pid=18262/tid=18273] ppid=18260 vsize=13185584 CPUtime=2.31 cores=1,3,5,7
/proc/18262/task/18273/stat : 18273 (java) S 18260 18260 2911 0 -1 1077944384 4370 0 0 0 231 0 0 0 20 0 19 0 108553052 13502038016 62839 18446744073709551615 4194304 4196468 140736964019456 140121105061872 140121886911106 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 7 0 0 6293624 6294260 29655040 140736964026838 140736964027014 140736964027014 140736964030415 0
[pid=18262/tid=18274] ppid=18260 vsize=13185584 CPUtime=0.82 cores=1,3,5,7
/proc/18262/task/18274/stat : 18274 (java) S 18260 18260 2911 0 -1 1077944384 6023 0 0 0 81 1 0 0 20 0 19 0 108553052 13502038016 62839 18446744073709551615 4194304 4196468 140736964019456 140121104009584 140121886911106 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 9 0 0 6293624 6294260 29655040 140736964026838 140736964027014 140736964027014 140736964030415 0
[pid=18262/tid=18275] ppid=18260 vsize=13185584 CPUtime=0 cores=1,3,5,7
/proc/18262/task/18275/stat : 18275 (java) S 18260 18260 2911 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 108553052 13502038016 62839 18446744073709551615 4194304 4196468 140736964019456 140121102957024 140121886910165 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29655040 140736964026838 140736964027014 140736964027014 140736964030415 0
[pid=18262/tid=18276] ppid=18260 vsize=13185584 CPUtime=0 cores=1,3,5,7
/proc/18262/task/18276/stat : 18276 (java) R 18260 18260 2911 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 19 0 108553057 13502038016 62839 18446744073709551615 4194304 4196468 140736964019456 140121101904816 140121886911106 0 4 1 16800974 0 0 0 -1 7 0 0 14 0 0 6293624 6294260 29655040 140736964026838 140736964027014 140736964027014 140736964030415 0
[pid=18262/tid=18277] ppid=18260 vsize=13185584 CPUtime=3.96 cores=1,3,5,7
/proc/18262/task/18277/stat : 18277 (java) R 18260 18260 2911 0 -1 4202560 199 0 0 0 396 0 0 0 20 0 19 0 108553182 13502038016 62839 18446744073709551615 4194304 4196468 140736964019456 140120288119696 140121519982598 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29655040 140736964026838 140736964027014 140736964027014 140736964030415 0
[pid=18262/tid=18278] ppid=18260 vsize=13185584 CPUtime=4.13 cores=1,3,5,7
/proc/18262/task/18278/stat : 18278 (java) R 18260 18260 2911 0 -1 4202560 285 0 0 0 413 0 0 0 20 0 19 0 108553182 13502038016 62839 18446744073709551615 4194304 4196468 140736964019456 140120287068712 140121519782803 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 29655040 140736964026838 140736964027014 140736964027014 140736964030415 0
[pid=18262/tid=18279] ppid=18260 vsize=13185584 CPUtime=3.77 cores=1,3,5,7
/proc/18262/task/18279/stat : 18279 (java) R 18260 18260 2911 0 -1 4202560 177 0 0 0 377 0 0 0 20 0 19 0 108553182 13502038016 62839 18446744073709551615 4194304 4196468 140736964019456 140120286015792 140121519782516 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29655040 140736964026838 140736964027014 140736964027014 140736964030415 0
[pid=18262/tid=18280] ppid=18260 vsize=13185584 CPUtime=4.14 cores=1,3,5,7
/proc/18262/task/18280/stat : 18280 (java) R 18260 18260 2911 0 -1 4202560 362 0 0 0 414 0 0 0 20 0 19 0 108553182 13502038016 62839 18446744073709551615 4194304 4196468 140736964019456 140120284964720 140121520611693 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29655040 140736964026838 140736964027014 140736964027014 140736964030415 0
Current children cumulated CPU time (s) 22.94
Current children cumulated vsize (KiB) 13195096
################
# More data... #
################
/proc/18262/task/18270/stat : 18270 (java) S 18260 18260 2911 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 19 0 108553050 13502038016 77729 18446744073709551615 4194304 4196468 140736964019456 140121108219504 140121886910165 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29655040 140736964026838 140736964027014 140736964027014 140736964030415 0
[pid=18262/tid=18271] ppid=18260 vsize=13185584 CPUtime=0 cores=1,3,5,7
/proc/18262/task/18271/stat : 18271 (java) S 18260 18260 2911 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 108553052 13502038016 77729 18446744073709551615 4194304 4196468 140736964019456 140121107167824 140121886918555 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29655040 140736964026838 140736964027014 140736964027014 140736964030415 0
[pid=18262/tid=18272] ppid=18260 vsize=13185584 CPUtime=2.44 cores=1,3,5,7
/proc/18262/task/18272/stat : 18272 (java) S 18260 18260 2911 0 -1 1077944384 6503 0 0 0 244 0 0 0 20 0 19 0 108553052 13502038016 77729 18446744073709551615 4194304 4196468 140736964019456 140121106114672 140121886911106 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 9 0 0 6293624 6294260 29655040 140736964026838 140736964027014 140736964027014 140736964030415 0
[pid=18262/tid=18273] ppid=18260 vsize=13185584 CPUtime=2.4 cores=1,3,5,7
/proc/18262/task/18273/stat : 18273 (java) S 18260 18260 2911 0 -1 1077944384 6625 0 0 0 240 0 0 0 20 0 19 0 108553052 13502038016 77729 18446744073709551615 4194304 4196468 140736964019456 140121105061872 140121886911106 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 7 0 0 6293624 6294260 29655040 140736964026838 140736964027014 140736964027014 140736964030415 0
[pid=18262/tid=18274] ppid=18260 vsize=13185584 CPUtime=0.83 cores=1,3,5,7
/proc/18262/task/18274/stat : 18274 (java) S 18260 18260 2911 0 -1 1077944384 7808 0 0 0 82 1 0 0 20 0 19 0 108553052 13502038016 77729 18446744073709551615 4194304 4196468 140736964019456 140121104009584 140121886911106 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 9 0 0 6293624 6294260 29655040 140736964026838 140736964027014 140736964027014 140736964030415 0
[pid=18262/tid=18275] ppid=18260 vsize=13185584 CPUtime=0 cores=1,3,5,7
/proc/18262/task/18275/stat : 18275 (java) S 18260 18260 2911 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 108553052 13502038016 77729 18446744073709551615 4194304 4196468 140736964019456 140121102957024 140121886910165 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29655040 140736964026838 140736964027014 140736964027014 140736964030415 0
[pid=18262/tid=18276] ppid=18260 vsize=13185584 CPUtime=0.02 cores=1,3,5,7
/proc/18262/task/18276/stat : 18276 (java) S 18260 18260 2911 0 -1 1077944384 153 0 0 0 0 2 0 0 20 0 19 0 108553057 13502038016 77729 18446744073709551615 4194304 4196468 140736964019456 140121101904816 140121886911106 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 14 0 0 6293624 6294260 29655040 140736964026838 140736964027014 140736964027014 140736964030415 0
[pid=18262/tid=18277] ppid=18260 vsize=13185584 CPUtime=23.98 cores=1,3,5,7
/proc/18262/task/18277/stat : 18277 (java) R 18260 18260 2911 0 -1 4202560 623 0 0 0 2398 0 0 0 20 0 19 0 108553182 13502038016 77729 18446744073709551615 4194304 4196468 140736964019456 140120288120104 140121519820760 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29655040 140736964026838 140736964027014 140736964027014 140736964030415 0
[pid=18262/tid=18278] ppid=18260 vsize=13185584 CPUtime=23.96 cores=1,3,5,7
/proc/18262/task/18278/stat : 18278 (java) R 18260 18260 2911 0 -1 4202560 825 0 0 0 2395 1 0 0 20 0 19 0 108553182 13502038016 77729 18446744073709551615 4194304 4196468 140736964019456 140120287068808 140121520611594 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 29655040 140736964026838 140736964027014 140736964027014 140736964030415 0
[pid=18262/tid=18279] ppid=18260 vsize=13185584 CPUtime=23.71 cores=1,3,5,7
/proc/18262/task/18279/stat : 18279 (java) R 18260 18260 2911 0 -1 4202560 345 0 0 0 2371 0 0 0 20 0 19 0 108553182 13502038016 77729 18446744073709551615 4194304 4196468 140736964019456 140120286015872 140121521026784 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29655040 140736964026838 140736964027014 140736964027014 140736964030415 0
[pid=18262/tid=18280] ppid=18260 vsize=13185584 CPUtime=24.2 cores=1,3,5,7
/proc/18262/task/18280/stat : 18280 (java) R 18260 18260 2911 0 -1 4202560 825 0 0 0 2420 0 0 0 20 0 19 0 108553182 13502038016 77729 18446744073709551615 4194304 4196468 140736964019456 140120284962776 140121519599630 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29655040 140736964026838 140736964027014 140736964027014 140736964030415 0
Current children cumulated CPU time (s) 103.05
Current children cumulated vsize (KiB) 13195096
[startup+27.2016 s]
/proc/loadavg: 4.46 2.83 2.47 6/223 18282
/proc/meminfo: memFree=23996852/32770624 swapFree=0/370988
[pid=18260] ppid=18257 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/18260/stat : 18260 (xcsp3-exec) S 18257 18260 2911 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 108553038 9740288 345 18446744073709551615 4194304 5098028 140720874430656 140720874428760 140350805770876 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 8 0 0 7196144 7232144 29941760 140720874434968 140720874435178 140720874435178 140720874438635 0
/proc/18260/statm: 2378 345 289 221 0 87 0
[pid=18262] ppid=18260 vsize=13185584 CPUtime=106.22 cores=1,3,5,7
/proc/18262/stat : 18262 (java) S 18260 18260 2911 0 -1 1077944320 37100 0 0 0 10607 15 0 0 20 0 19 0 108553047 13502038016 78754 18446744073709551615 4194304 4196468 140736964019456 140736964002000 140121886899959 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 29655040 140736964026838 140736964027014 140736964027014 140736964030415 0
/proc/18262/statm: 3296396 78754 3257 1 0 3284688 0
[pid=18262/tid=18263] ppid=18260 vsize=13185584 CPUtime=1.26 cores=1,3,5,7
/proc/18262/task/18263/stat : 18263 (java) S 18260 18260 2911 0 -1 1077944384 10596 0 0 0 121 5 0 0 20 0 19 0 108553047 13502038016 78754 18446744073709551615 4194304 4196468 140736964019456 140121891140736 140121886910165 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 3 0 0 6293624 6294260 29655040 140736964026838 140736964027014 140736964027014 140736964030415 0
[pid=18262/tid=18264] ppid=18260 vsize=13185584 CPUtime=0.04 cores=1,3,5,7
/proc/18262/task/18264/stat : 18264 (java) S 18260 18260 2911 0 -1 1077944384 84 0 0 0 3 1 0 0 20 0 19 0 108553048 13502038016 78754 18446744073709551615 4194304 4196468 140736964019456 140121843866000 140121886910165 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29655040 140736964026838 140736964027014 140736964027014 140736964030415 0
[pid=18262/tid=18265] ppid=18260 vsize=13185584 CPUtime=0.01 cores=1,3,5,7
/proc/18262/task/18265/stat : 18265 (java) S 18260 18260 2911 0 -1 1077944384 39 0 0 0 1 0 0 0 20 0 19 0 108553048 13502038016 78754 18446744073709551615 4194304 4196468 140736964019456 140121842813200 140121886910165 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29655040 140736964026838 140736964027014 140736964027014 140736964030415 0
[pid=18262/tid=18266] ppid=18260 vsize=13185584 CPUtime=0.04 cores=1,3,5,7
/proc/18262/task/18266/stat : 18266 (java) S 18260 18260 2911 0 -1 1077944384 221 0 0 0 3 1 0 0 20 0 19 0 108553048 13502038016 78754 18446744073709551615 4194304 4196468 140736964019456 140121841760912 140121886910165 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29655040 140736964026838 140736964027014 140736964027014 140736964030415 0
[pid=18262/tid=18267] ppid=18260 vsize=13185584 CPUtime=0.02 cores=1,3,5,7
/proc/18262/task/18267/stat : 18267 (java) S 18260 18260 2911 0 -1 1077944384 227 0 0 0 2 0 0 0 20 0 19 0 108553048 13502038016 78754 18446744073709551615 4194304 4196468 140736964019456 140121840708112 140121886910165 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29655040 140736964026838 140736964027014 140736964027014 140736964030415 0
[pid=18262/tid=18268] ppid=18260 vsize=13185584 CPUtime=0 cores=1,3,5,7
/proc/18262/task/18268/stat : 18268 (java) S 18260 18260 2911 0 -1 1077944384 401 0 0 0 0 0 0 0 20 0 19 0 108553049 13502038016 78754 18446744073709551615 4194304 4196468 140736964019456 140121110325872 140121886911106 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29655040 140736964026838 140736964027014 140736964027014 140736964030415 0
[pid=18262/tid=18269] ppid=18260 vsize=13185584 CPUtime=0 cores=1,3,5,7
/proc/18262/task/18269/stat : 18269 (java) S 18260 18260 2911 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 19 0 108553050 13502038016 78754 18446744073709551615 4194304 4196468 140736964019456 140121109271904 140121886910165 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29655040 140736964026838 140736964027014 140736964027014 140736964030415 0
[pid=18262/tid=18270] ppid=18260 vsize=13185584 CPUtime=0 cores=1,3,5,7
/proc/18262/task/18270/stat : 18270 (java) S 18260 18260 2911 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 19 0 108553050 13502038016 78754 18446744073709551615 4194304 4196468 140736964019456 140121108219504 140121886910165 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29655040 140736964026838 140736964027014 140736964027014 140736964030415 0
[pid=18262/tid=18271] ppid=18260 vsize=13185584 CPUtime=0 cores=1,3,5,7
/proc/18262/task/18271/stat : 18271 (java) S 18260 18260 2911 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 108553052 13502038016 78754 18446744073709551615 4194304 4196468 140736964019456 140121107167824 140121886918555 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29655040 140736964026838 140736964027014 140736964027014 140736964030415 0
[pid=18262/tid=18272] ppid=18260 vsize=13185584 CPUtime=2.44 cores=1,3,5,7
/proc/18262/task/18272/stat : 18272 (java) S 18260 18260 2911 0 -1 1077944384 6597 0 0 0 244 0 0 0 20 0 19 0 108553052 13502038016 78754 18446744073709551615 4194304 4196468 140736964019456 140121106114672 140121886911106 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 9 0 0 6293624 6294260 29655040 140736964026838 140736964027014 140736964027014 140736964030415 0
[pid=18262/tid=18273] ppid=18260 vsize=13185584 CPUtime=2.4 cores=1,3,5,7
/proc/18262/task/18273/stat : 18273 (java) S 18260 18260 2911 0 -1 1077944384 6625 0 0 0 240 0 0 0 20 0 19 0 108553052 13502038016 78754 18446744073709551615 4194304 4196468 140736964019456 140121105061872 140121886911106 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 7 0 0 6293624 6294260 29655040 140736964026838 140736964027014 140736964027014 140736964030415 0
[pid=18262/tid=18274] ppid=18260 vsize=13185584 CPUtime=0.83 cores=1,3,5,7
/proc/18262/task/18274/stat : 18274 (java) S 18260 18260 2911 0 -1 1077944384 8099 0 0 0 82 1 0 0 20 0 19 0 108553052 13502038016 78754 18446744073709551615 4194304 4196468 140736964019456 140121104009584 140121886911106 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 9 0 0 6293624 6294260 29655040 140736964026838 140736964027014 140736964027014 140736964030415 0
[pid=18262/tid=18275] ppid=18260 vsize=13185584 CPUtime=0 cores=1,3,5,7
/proc/18262/task/18275/stat : 18275 (java) S 18260 18260 2911 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 108553052 13502038016 78754 18446744073709551615 4194304 4196468 140736964019456 140121102957024 140121886910165 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29655040 140736964026838 140736964027014 140736964027014 140736964030415 0
[pid=18262/tid=18276] ppid=18260 vsize=13185584 CPUtime=0.02 cores=1,3,5,7
/proc/18262/task/18276/stat : 18276 (java) S 18260 18260 2911 0 -1 1077944384 153 0 0 0 0 2 0 0 20 0 19 0 108553057 13502038016 78754 18446744073709551615 4194304 4196468 140736964019456 140121101904816 140121886911106 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 14 0 0 6293624 6294260 29655040 140736964026838 140736964027014 140736964027014 140736964030415 0
[pid=18262/tid=18277] ppid=18260 vsize=13185584 CPUtime=24.78 cores=1,3,5,7
/proc/18262/task/18277/stat : 18277 (java) R 18260 18260 2911 0 -1 4202560 633 0 0 0 2478 0 0 0 20 0 19 0 108553182 13502038016 78754 18446744073709551615 4194304 4196468 140736964019456 140120288120104 140121519782048 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29655040 140736964026838 140736964027014 140736964027014 140736964030415 0
[pid=18262/tid=18278] ppid=18260 vsize=13185584 CPUtime=24.75 cores=1,3,5,7
/proc/18262/task/18278/stat : 18278 (java) R 18260 18260 2911 0 -1 4202560 880 0 0 0 2474 1 0 0 20 0 19 0 108553182 13502038016 78754 18446744073709551615 4194304 4196468 140736964019456 140120287071240 140121519599369 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 29655040 140736964026838 140736964027014 140736964027014 140736964030415 0
[pid=18262/tid=18279] ppid=18260 vsize=13185584 CPUtime=24.5 cores=1,3,5,7
/proc/18262/task/18279/stat : 18279 (java) R 18260 18260 2911 0 -1 4202560 350 0 0 0 2450 0 0 0 20 0 19 0 108553182 13502038016 78754 18446744073709551615 4194304 4196468 140736964019456 140120286016424 140121519599793 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29655040 140736964026838 140736964027014 140736964027014 140736964030415 0
[pid=18262/tid=18280] ppid=18260 vsize=13185584 CPUtime=24.99 cores=1,3,5,7
/proc/18262/task/18280/stat : 18280 (java) R 18260 18260 2911 0 -1 4202560 852 0 0 0 2499 0 0 0 20 0 19 0 108553182 13502038016 78754 18446744073709551615 4194304 4196468 140736964019456 140120284965208 140121519599310 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29655040 140736964026838 140736964027014 140736964027014 140736964030415 0
Current children cumulated CPU time (s) 106.22
Current children cumulated vsize (KiB) 13195096
[startup+27.4016 s]
/proc/loadavg: 4.46 2.83 2.47 6/223 18282
/proc/meminfo: memFree=23996852/32770624 swapFree=0/370988
[pid=18260] ppid=18257 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/18260/stat : 18260 (xcsp3-exec) S 18257 18260 2911 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 108553038 9740288 345 18446744073709551615 4194304 5098028 140720874430656 140720874428760 140350805770876 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 8 0 0 7196144 7232144 29941760 140720874434968 140720874435178 140720874435178 140720874438635 0
/proc/18260/statm: 2378 345 289 221 0 87 0
[pid=18262] ppid=18260 vsize=13185584 CPUtime=107.02 cores=1,3,5,7
/proc/18262/stat : 18262 (java) S 18260 18260 2911 0 -1 1077944320 37108 0 0 0 10687 15 0 0 20 0 19 0 108553047 13502038016 79266 18446744073709551615 4194304 4196468 140736964019456 140736964002000 140121886899959 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 29655040 140736964026838 140736964027014 140736964027014 140736964030415 0
/proc/18262/statm: 3296396 79266 3257 1 0 3284688 0
[pid=18262/tid=18263] ppid=18260 vsize=13185584 CPUtime=1.26 cores=1,3,5,7
/proc/18262/task/18263/stat : 18263 (java) S 18260 18260 2911 0 -1 1077944384 10596 0 0 0 121 5 0 0 20 0 19 0 108553047 13502038016 79266 18446744073709551615 4194304 4196468 140736964019456 140121891140736 140121886910165 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 3 0 0 6293624 6294260 29655040 140736964026838 140736964027014 140736964027014 140736964030415 0
[pid=18262/tid=18264] ppid=18260 vsize=13185584 CPUtime=0.04 cores=1,3,5,7
/proc/18262/task/18264/stat : 18264 (java) S 18260 18260 2911 0 -1 1077944384 84 0 0 0 3 1 0 0 20 0 19 0 108553048 13502038016 79266 18446744073709551615 4194304 4196468 140736964019456 140121843866000 140121886910165 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29655040 140736964026838 140736964027014 140736964027014 140736964030415 0
[pid=18262/tid=18265] ppid=18260 vsize=13185584 CPUtime=0.01 cores=1,3,5,7
/proc/18262/task/18265/stat : 18265 (java) S 18260 18260 2911 0 -1 1077944384 39 0 0 0 1 0 0 0 20 0 19 0 108553048 13502038016 79266 18446744073709551615 4194304 4196468 140736964019456 140121842813200 140121886910165 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29655040 140736964026838 140736964027014 140736964027014 140736964030415 0
[pid=18262/tid=18266] ppid=18260 vsize=13185584 CPUtime=0.04 cores=1,3,5,7
/proc/18262/task/18266/stat : 18266 (java) S 18260 18260 2911 0 -1 1077944384 221 0 0 0 3 1 0 0 20 0 19 0 108553048 13502038016 79266 18446744073709551615 4194304 4196468 140736964019456 140121841760912 140121886910165 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29655040 140736964026838 140736964027014 140736964027014 140736964030415 0
[pid=18262/tid=18267] ppid=18260 vsize=13185584 CPUtime=0.02 cores=1,3,5,7
/proc/18262/task/18267/stat : 18267 (java) S 18260 18260 2911 0 -1 1077944384 227 0 0 0 2 0 0 0 20 0 19 0 108553048 13502038016 79266 18446744073709551615 4194304 4196468 140736964019456 140121840708112 140121886910165 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29655040 140736964026838 140736964027014 140736964027014 140736964030415 0
[pid=18262/tid=18268] ppid=18260 vsize=13185584 CPUtime=0 cores=1,3,5,7
/proc/18262/task/18268/stat : 18268 (java) S 18260 18260 2911 0 -1 1077944384 404 0 0 0 0 0 0 0 20 0 19 0 108553049 13502038016 79266 18446744073709551615 4194304 4196468 140736964019456 140121110325872 140121886911106 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29655040 140736964026838 140736964027014 140736964027014 140736964030415 0
[pid=18262/tid=18269] ppid=18260 vsize=13185584 CPUtime=0 cores=1,3,5,7
/proc/18262/task/18269/stat : 18269 (java) S 18260 18260 2911 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 19 0 108553050 13502038016 79266 18446744073709551615 4194304 4196468 140736964019456 140121109271904 140121886910165 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29655040 140736964026838 140736964027014 140736964027014 140736964030415 0
[pid=18262/tid=18270] ppid=18260 vsize=13185584 CPUtime=0 cores=1,3,5,7
/proc/18262/task/18270/stat : 18270 (java) S 18260 18260 2911 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 19 0 108553050 13502038016 79266 18446744073709551615 4194304 4196468 140736964019456 140121108219504 140121886910165 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29655040 140736964026838 140736964027014 140736964027014 140736964030415 0
[pid=18262/tid=18271] ppid=18260 vsize=13185584 CPUtime=0 cores=1,3,5,7
/proc/18262/task/18271/stat : 18271 (java) S 18260 18260 2911 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 108553052 13502038016 79266 18446744073709551615 4194304 4196468 140736964019456 140121107167824 140121886918555 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29655040 140736964026838 140736964027014 140736964027014 140736964030415 0
[pid=18262/tid=18272] ppid=18260 vsize=13185584 CPUtime=2.44 cores=1,3,5,7
/proc/18262/task/18272/stat : 18272 (java) S 18260 18260 2911 0 -1 1077944384 6597 0 0 0 244 0 0 0 20 0 19 0 108553052 13502038016 79266 18446744073709551615 4194304 4196468 140736964019456 140121106114672 140121886911106 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 9 0 0 6293624 6294260 29655040 140736964026838 140736964027014 140736964027014 140736964030415 0
[pid=18262/tid=18273] ppid=18260 vsize=13185584 CPUtime=2.4 cores=1,3,5,7
/proc/18262/task/18273/stat : 18273 (java) S 18260 18260 2911 0 -1 1077944384 6625 0 0 0 240 0 0 0 20 0 19 0 108553052 13502038016 79266 18446744073709551615 4194304 4196468 140736964019456 140121105061872 140121886911106 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 7 0 0 6293624 6294260 29655040 140736964026838 140736964027014 140736964027014 140736964030415 0
[pid=18262/tid=18274] ppid=18260 vsize=13185584 CPUtime=0.83 cores=1,3,5,7
/proc/18262/task/18274/stat : 18274 (java) S 18260 18260 2911 0 -1 1077944384 8099 0 0 0 82 1 0 0 20 0 19 0 108553052 13502038016 79266 18446744073709551615 4194304 4196468 140736964019456 140121104009584 140121886911106 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 9 0 0 6293624 6294260 29655040 140736964026838 140736964027014 140736964027014 140736964030415 0
[pid=18262/tid=18275] ppid=18260 vsize=13185584 CPUtime=0 cores=1,3,5,7
/proc/18262/task/18275/stat : 18275 (java) S 18260 18260 2911 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 108553052 13502038016 79266 18446744073709551615 4194304 4196468 140736964019456 140121102957024 140121886910165 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29655040 140736964026838 140736964027014 140736964027014 140736964030415 0
[pid=18262/tid=18276] ppid=18260 vsize=13185584 CPUtime=0.02 cores=1,3,5,7
/proc/18262/task/18276/stat : 18276 (java) S 18260 18260 2911 0 -1 1077944384 153 0 0 0 0 2 0 0 20 0 19 0 108553057 13502038016 79266 18446744073709551615 4194304 4196468 140736964019456 140121101904816 140121886911106 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 14 0 0 6293624 6294260 29655040 140736964026838 140736964027014 140736964027014 140736964030415 0
[pid=18262/tid=18277] ppid=18260 vsize=13185584 CPUtime=24.98 cores=1,3,5,7
/proc/18262/task/18277/stat : 18277 (java) R 18260 18260 2911 0 -1 4202560 634 0 0 0 2498 0 0 0 20 0 19 0 108553182 13502038016 79266 18446744073709551615 4194304 4196468 140736964019456 140120288120056 140121520521648 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29655040 140736964026838 140736964027014 140736964027014 140736964030415 0
[pid=18262/tid=18278] ppid=18260 vsize=13185584 CPUtime=24.94 cores=1,3,5,7
/proc/18262/task/18278/stat : 18278 (java) R 18260 18260 2911 0 -1 4202560 883 0 0 0 2493 1 0 0 20 0 19 0 108553182 13502038016 79266 18446744073709551615 4194304 4196468 140736964019456 140120287068808 140121519783192 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 29655040 140736964026838 140736964027014 140736964027014 140736964030415 0
[pid=18262/tid=18279] ppid=18260 vsize=13185584 CPUtime=24.7 cores=1,3,5,7
/proc/18262/task/18279/stat : 18279 (java) R 18260 18260 2911 0 -1 4202560 350 0 0 0 2470 0 0 0 20 0 19 0 108553182 13502038016 79266 18446744073709551615 4194304 4196468 140736964019456 140120286015776 140121519819548 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29655040 140736964026838 140736964027014 140736964027014 140736964030415 0
[pid=18262/tid=18280] ppid=18260 vsize=13185584 CPUtime=25.19 cores=1,3,5,7
/proc/18262/task/18280/stat : 18280 (java) R 18260 18260 2911 0 -1 4202560 853 0 0 0 2519 0 0 0 20 0 19 0 108553182 13502038016 79266 18446744073709551615 4194304 4196468 140736964019456 140120284962472 140121519599369 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29655040 140736964026838 140736964027014 140736964027014 140736964030415 0
Current children cumulated CPU time (s) 107.02
Current children cumulated vsize (KiB) 13195096
[startup+27.5016 s]
/proc/loadavg: 4.51 2.87 2.49 6/223 18282
/proc/meminfo: memFree=23988660/32770624 swapFree=0/370988
[pid=18260] ppid=18257 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/18260/stat : 18260 (xcsp3-exec) S 18257 18260 2911 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 108553038 9740288 345 18446744073709551615 4194304 5098028 140720874430656 140720874428760 140350805770876 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 8 0 0 7196144 7232144 29941760 140720874434968 140720874435178 140720874435178 140720874438635 0
/proc/18260/statm: 2378 345 289 221 0 87 0
[pid=18262] ppid=18260 vsize=13185584 CPUtime=107.44 cores=1,3,5,7
/proc/18262/stat : 18262 (java) S 18260 18260 2911 0 -1 1077944320 37123 0 0 0 10729 15 0 0 20 0 19 0 108553047 13502038016 79778 18446744073709551615 4194304 4196468 140736964019456 140736964002000 140121886899959 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 29655040 140736964026838 140736964027014 140736964027014 140736964030415 0
/proc/18262/statm: 3296396 79778 3257 1 0 3284688 0
[pid=18262/tid=18263] ppid=18260 vsize=13185584 CPUtime=1.26 cores=1,3,5,7
/proc/18262/task/18263/stat : 18263 (java) S 18260 18260 2911 0 -1 1077944384 10596 0 0 0 121 5 0 0 20 0 19 0 108553047 13502038016 79778 18446744073709551615 4194304 4196468 140736964019456 140121891140736 140121886910165 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 3 0 0 6293624 6294260 29655040 140736964026838 140736964027014 140736964027014 140736964030415 0
[pid=18262/tid=18264] ppid=18260 vsize=13185584 CPUtime=0.04 cores=1,3,5,7
/proc/18262/task/18264/stat : 18264 (java) S 18260 18260 2911 0 -1 1077944384 84 0 0 0 3 1 0 0 20 0 19 0 108553048 13502038016 79778 18446744073709551615 4194304 4196468 140736964019456 140121843866000 140121886910165 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29655040 140736964026838 140736964027014 140736964027014 140736964030415 0
[pid=18262/tid=18265] ppid=18260 vsize=13185584 CPUtime=0.01 cores=1,3,5,7
/proc/18262/task/18265/stat : 18265 (java) S 18260 18260 2911 0 -1 1077944384 39 0 0 0 1 0 0 0 20 0 19 0 108553048 13502038016 79778 18446744073709551615 4194304 4196468 140736964019456 140121842813200 140121886910165 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29655040 140736964026838 140736964027014 140736964027014 140736964030415 0
[pid=18262/tid=18266] ppid=18260 vsize=13185584 CPUtime=0.04 cores=1,3,5,7
/proc/18262/task/18266/stat : 18266 (java) S 18260 18260 2911 0 -1 1077944384 221 0 0 0 3 1 0 0 20 0 19 0 108553048 13502038016 79778 18446744073709551615 4194304 4196468 140736964019456 140121841760912 140121886910165 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29655040 140736964026838 140736964027014 140736964027014 140736964030415 0
[pid=18262/tid=18267] ppid=18260 vsize=13185584 CPUtime=0.02 cores=1,3,5,7
/proc/18262/task/18267/stat : 18267 (java) S 18260 18260 2911 0 -1 1077944384 227 0 0 0 2 0 0 0 20 0 19 0 108553048 13502038016 79778 18446744073709551615 4194304 4196468 140736964019456 140121840708112 140121886910165 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29655040 140736964026838 140736964027014 140736964027014 140736964030415 0
[pid=18262/tid=18268] ppid=18260 vsize=13185584 CPUtime=0 cores=1,3,5,7
/proc/18262/task/18268/stat : 18268 (java) S 18260 18260 2911 0 -1 1077944384 404 0 0 0 0 0 0 0 20 0 19 0 108553049 13502038016 79778 18446744073709551615 4194304 4196468 140736964019456 140121110325872 140121886911106 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29655040 140736964026838 140736964027014 140736964027014 140736964030415 0
[pid=18262/tid=18269] ppid=18260 vsize=13185584 CPUtime=0 cores=1,3,5,7
/proc/18262/task/18269/stat : 18269 (java) S 18260 18260 2911 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 19 0 108553050 13502038016 79778 18446744073709551615 4194304 4196468 140736964019456 140121109271904 140121886910165 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29655040 140736964026838 140736964027014 140736964027014 140736964030415 0
[pid=18262/tid=18270] ppid=18260 vsize=13185584 CPUtime=0 cores=1,3,5,7
/proc/18262/task/18270/stat : 18270 (java) S 18260 18260 2911 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 19 0 108553050 13502038016 79778 18446744073709551615 4194304 4196468 140736964019456 140121108219504 140121886910165 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29655040 140736964026838 140736964027014 140736964027014 140736964030415 0
[pid=18262/tid=18271] ppid=18260 vsize=13185584 CPUtime=0 cores=1,3,5,7
/proc/18262/task/18271/stat : 18271 (java) S 18260 18260 2911 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 108553052 13502038016 79778 18446744073709551615 4194304 4196468 140736964019456 140121107167824 140121886918555 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29655040 140736964026838 140736964027014 140736964027014 140736964030415 0
[pid=18262/tid=18272] ppid=18260 vsize=13185584 CPUtime=2.44 cores=1,3,5,7
/proc/18262/task/18272/stat : 18272 (java) S 18260 18260 2911 0 -1 1077944384 6597 0 0 0 244 0 0 0 20 0 19 0 108553052 13502038016 79778 18446744073709551615 4194304 4196468 140736964019456 140121106114672 140121886911106 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 9 0 0 6293624 6294260 29655040 140736964026838 140736964027014 140736964027014 140736964030415 0
[pid=18262/tid=18273] ppid=18260 vsize=13185584 CPUtime=2.4 cores=1,3,5,7
/proc/18262/task/18273/stat : 18273 (java) S 18260 18260 2911 0 -1 1077944384 6625 0 0 0 240 0 0 0 20 0 19 0 108553052 13502038016 79778 18446744073709551615 4194304 4196468 140736964019456 140121105061872 140121886911106 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 7 0 0 6293624 6294260 29655040 140736964026838 140736964027014 140736964027014 140736964030415 0
[pid=18262/tid=18274] ppid=18260 vsize=13185584 CPUtime=0.83 cores=1,3,5,7
/proc/18262/task/18274/stat : 18274 (java) S 18260 18260 2911 0 -1 1077944384 8099 0 0 0 82 1 0 0 20 0 19 0 108553052 13502038016 79778 18446744073709551615 4194304 4196468 140736964019456 140121104009584 140121886911106 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 9 0 0 6293624 6294260 29655040 140736964026838 140736964027014 140736964027014 140736964030415 0
[pid=18262/tid=18275] ppid=18260 vsize=13185584 CPUtime=0 cores=1,3,5,7
/proc/18262/task/18275/stat : 18275 (java) S 18260 18260 2911 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 108553052 13502038016 79778 18446744073709551615 4194304 4196468 140736964019456 140121102957024 140121886910165 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29655040 140736964026838 140736964027014 140736964027014 140736964030415 0
[pid=18262/tid=18276] ppid=18260 vsize=13185584 CPUtime=0.02 cores=1,3,5,7
/proc/18262/task/18276/stat : 18276 (java) S 18260 18260 2911 0 -1 1077944384 153 0 0 0 0 2 0 0 20 0 19 0 108553057 13502038016 79778 18446744073709551615 4194304 4196468 140736964019456 140121101904816 140121886911106 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 14 0 0 6293624 6294260 29655040 140736964026838 140736964027014 140736964027014 140736964030415 0
[pid=18262/tid=18277] ppid=18260 vsize=13185584 CPUtime=25.08 cores=1,3,5,7
/proc/18262/task/18277/stat : 18277 (java) R 18260 18260 2911 0 -1 4202560 634 0 0 0 2508 0 0 0 20 0 19 0 108553182 13502038016 79778 18446744073709551615 4194304 4196468 140736964019456 140120288120056 140121519599421 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29655040 140736964026838 140736964027014 140736964027014 140736964030415 0
[pid=18262/tid=18278] ppid=18260 vsize=13185584 CPUtime=25.04 cores=1,3,5,7
/proc/18262/task/18278/stat : 18278 (java) R 18260 18260 2911 0 -1 4202560 898 0 0 0 2503 1 0 0 20 0 19 0 108553182 13502038016 79778 18446744073709551615 4194304 4196468 140736964019456 140120287068808 140121521737628 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 29655040 140736964026838 140736964027014 140736964027014 140736964030415 0
[pid=18262/tid=18279] ppid=18260 vsize=13185584 CPUtime=24.81 cores=1,3,5,7
/proc/18262/task/18279/stat : 18279 (java) R 18260 18260 2911 0 -1 4202560 350 0 0 0 2481 0 0 0 20 0 19 0 108553182 13502038016 79778 18446744073709551615 4194304 4196468 140736964019456 140120286015776 140121519782301 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29655040 140736964026838 140736964027014 140736964027014 140736964030415 0
[pid=18262/tid=18280] ppid=18260 vsize=13185584 CPUtime=25.3 cores=1,3,5,7
/proc/18262/task/18280/stat : 18280 (java) R 18260 18260 2911 0 -1 4202560 853 0 0 0 2530 0 0 0 20 0 19 0 108553182 13502038016 79778 18446744073709551615 4194304 4196468 140736964019456 140120284962472 140121521600911 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29655040 140736964026838 140736964027014 140736964027014 140736964030415 0
Current children cumulated CPU time (s) 107.44
Current children cumulated vsize (KiB) 13195096
Child status: 0
Real time (s): 27.5837
CPU time (s): 107.685
CPU user time (s): 107.518
CPU system time (s): 0.167703
CPU usage (%): 390.394
Max. virtual memory (cumulated for all children) (KiB): 13195096
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 107.518
system time used= 0.167703
maximum resident set size= 327348
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 40278
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= 3194
involuntary context switches= 1649
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.145649 second user time and 0.216557 second system time
The end