runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
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.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (14441 MiB free)
memory of node 1: 16384 MiB (15516 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4399163-1568684342/watcher-4399163-1568684342 -o /tmp/evaluation-result-4399163-1568684342/solver-4399163-1568684342 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node103-1568682260-15015 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 197534470 HOME/instance-4399163-1568684342.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=18245, runsolver pid=18242
Current StackSize limit: 8192 KiB
[startup+0.100077 s]*
/proc/loadavg: 8.60 8.78 8.65 7/234 18262
/proc/meminfo: memFree=30657080/32770624 swapFree=66997372/67108860
[pid=18245] ppid=18242 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/18245/stat : 18245 (xcsp3-exec) S 18242 18245 14983 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 444687286 115843072 363 33554432000 4194304 5098028 140721968489664 140721968487768 140481432183420 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 14024704 140721968497531 140721968497773 140721968497773 140721968500682 0
/proc/18245/statm: 28282 363 304 221 0 87 0
[pid=18247] ppid=18245 vsize=15144776 memory=28968 CPUtime=0.13 cores=1,3,5,7
/proc/18247/stat : 18247 (java) S 18245 18245 14983 0 -1 1077944320 5704 0 0 0 12 1 0 0 20 0 15 0 444687287 15508250624 7242 33554432000 4194304 4196468 140721330695808 140721330678352 140583062998775 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 6422528 140721330697199 140721330697370 140721330697370 140721330700239 0
/proc/18247/statm: 3786194 7242 3181 1 0 3748377 0
[pid=18247/tid=18248] ppid=18245 vsize=15144776 memory=7100839870104831090 CPUtime=0.09 cores=1,3,5,7
/proc/18247/task/18248/stat : 18248 (java) R 18245 18245 14983 0 -1 4202560 3586 0 0 0 9 0 0 0 20 0 15 0 444687287 15508250624 7242 33554432000 4194304 4196468 140721330695808 140583067230800 140583047042405 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 6422528 140721330697199 140721330697370 140721330697370 140721330700239 0
[pid=18247/tid=18249] ppid=18245 vsize=15144776 memory=-3689349214911541841 CPUtime=0 cores=1,3,5,7
/proc/18247/task/18249/stat : 18249 (java) S 18245 18245 14983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444687288 15508250624 7242 33554432000 4194304 4196468 140721330695808 140583015618832 140583063008981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6422528 140721330697199 140721330697370 140721330697370 140721330700239 0
[pid=18247/tid=18250] ppid=18245 vsize=15144776 memory=140241429456512 CPUtime=0 cores=1,3,5,7
/proc/18247/task/18250/stat : 18250 (java) S 18245 18245 14983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444687288 15508250624 7242 33554432000 4194304 4196468 140721330695808 140583014566288 140583063008981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6422528 140721330697199 140721330697370 140721330697370 140721330700239 0
[pid=18247/tid=18251] ppid=18245 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18247/task/18251/stat : 18251 (java) S 18245 18245 14983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444687288 15508250624 7242 33554432000 4194304 4196468 140721330695808 140583013513744 140583063008981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6422528 140721330697199 140721330697370 140721330697370 140721330700239 0
[pid=18247/tid=18252] ppid=18245 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18247/task/18252/stat : 18252 (java) S 18245 18245 14983 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 444687288 15508250624 7242 33554432000 4194304 4196468 140721330695808 140583012461200 140583063008981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6422528 140721330697199 140721330697370 140721330697370 140721330700239 0
[pid=18247/tid=18253] ppid=18245 vsize=15144776 memory=140241429456512 CPUtime=0 cores=1,3,5,7
/proc/18247/task/18253/stat : 18253 (java) S 18245 18245 14983 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 444687289 15508250624 7242 33554432000 4194304 4196468 140721330695808 140582530824688 140583063009922 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6422528 140721330697199 140721330697370 140721330697370 140721330700239 0
[pid=18247/tid=18254] ppid=18245 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18247/task/18254/stat : 18254 (java) S 18245 18245 14983 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 444687289 15508250624 7242 33554432000 4194304 4196468 140721330695808 140582529770912 140583063008981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6422528 140721330697199 140721330697370 140721330697370 140721330700239 0
[pid=18247/tid=18255] ppid=18245 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18247/task/18255/stat : 18255 (java) S 18245 18245 14983 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 444687290 15508250624 7242 33554432000 4194304 4196468 140721330695808 140582528718320 140583063008981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6422528 140721330697199 140721330697370 140721330697370 140721330700239 0
[pid=18247/tid=18256] ppid=18245 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18247/task/18256/stat : 18256 (java) S 18245 18245 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 444687292 15508250624 7242 33554432000 4194304 4196468 140721330695808 140582527666896 140583063017371 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6422528 140721330697199 140721330697370 140721330697370 140721330700239 0
[pid=18247/tid=18257] ppid=18245 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18247/task/18257/stat : 18257 (java) R 18245 18245 14983 0 -1 1077944384 295 0 0 0 0 0 0 0 20 0 15 0 444687292 15508250624 7242 33554432000 4194304 4196468 140721330695808 140582526613488 140583063009922 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 6422528 140721330697199 140721330697370 140721330697370 140721330700239 0
[pid=18247/tid=18258] ppid=18245 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18247/task/18258/stat : 18258 (java) S 18245 18245 14983 0 -1 1077944384 162 0 0 0 0 0 0 0 20 0 15 0 444687292 15508250624 7242 33554432000 4194304 4196468 140721330695808 140582525560944 140583063009922 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6422528 140721330697199 140721330697370 140721330697370 140721330700239 0
[pid=18247/tid=18259] ppid=18245 vsize=15144776 memory=140241429456512 CPUtime=0.02 cores=1,3,5,7
/proc/18247/task/18259/stat : 18259 (java) S 18245 18245 14983 0 -1 1077944384 362 0 0 0 2 0 0 0 20 0 15 0 444687292 15508250624 7242 33554432000 4194304 4196468 140721330695808 140582524508400 140583063009922 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6422528 140721330697199 140721330697370 140721330697370 140721330700239 0
[pid=18247/tid=18260] ppid=18245 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18247/task/18260/stat : 18260 (java) S 18245 18245 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 444687292 15508250624 7242 33554432000 4194304 4196468 140721330695808 140582523456096 140583063008981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6422528 140721330697199 140721330697370 140721330697370 140721330700239 0
[pid=18247/tid=18262] ppid=18245 vsize=15144776 memory=140241429456512 CPUtime=0 cores=1,3,5,7
/proc/18247/task/18262/stat : 18262 (java) S 18245 18245 14983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444687292 15508250624 7242 33554432000 4194304 4196468 140721330695808 140582522403632 140583063009922 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6422528 140721330697199 140721330697370 140721330697370 140721330700239 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 30420 KiB
[startup+0.211021 s]*
/proc/loadavg: 8.60 8.78 8.65 7/234 18262
/proc/meminfo: memFree=30644216/32770624 swapFree=66997372/67108860
[pid=18245] ppid=18242 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/18245/stat : 18245 (xcsp3-exec) S 18242 18245 14983 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 444687286 115843072 363 33554432000 4194304 5098028 140721968489664 140721968487768 140481432183420 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 14024704 140721968497531 140721968497773 140721968497773 140721968500682 0
/proc/18245/statm: 28282 363 304 221 0 87 0
[pid=18247] ppid=18245 vsize=15144776 memory=41160 CPUtime=0.34 cores=1,3,5,7
/proc/18247/stat : 18247 (java) S 18245 18245 14983 0 -1 1077944320 9461 0 0 0 32 2 0 0 20 0 15 0 444687287 15508250624 10290 33554432000 4194304 4196468 140721330695808 140721330678352 140583062998775 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 6422528 140721330697199 140721330697370 140721330697370 140721330700239 0
/proc/18247/statm: 3786194 10290 3323 1 0 3748377 0
[pid=18247/tid=18248] ppid=18245 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/18247/task/18248/stat : 18248 (java) R 18245 18245 14983 0 -1 4202560 6623 0 0 0 18 2 0 0 20 0 15 0 444687287 15508250624 10290 33554432000 4194304 4196468 140721330695808 140583067233760 140583043219454 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 6422528 140721330697199 140721330697370 140721330697370 140721330700239 0
[pid=18247/tid=18249] ppid=18245 vsize=15144776 memory=9100 CPUtime=0 cores=1,3,5,7
/proc/18247/task/18249/stat : 18249 (java) S 18245 18245 14983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444687288 15508250624 10290 33554432000 4194304 4196468 140721330695808 140583015618832 140583063008981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6422528 140721330697199 140721330697370 140721330697370 140721330700239 0
[pid=18247/tid=18250] ppid=18245 vsize=15144776 memory=140241432997886 CPUtime=0 cores=1,3,5,7
/proc/18247/task/18250/stat : 18250 (java) S 18245 18245 14983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444687288 15508250624 10290 33554432000 4194304 4196468 140721330695808 140583014566288 140583063008981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6422528 140721330697199 140721330697370 140721330697370 140721330700239 0
[pid=18247/tid=18251] ppid=18245 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18247/task/18251/stat : 18251 (java) S 18245 18245 14983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444687288 15508250624 10290 33554432000 4194304 4196468 140721330695808 140583013513744 140583063008981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6422528 140721330697199 140721330697370 140721330697370 140721330700239 0
[pid=18247/tid=18252] ppid=18245 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18247/task/18252/stat : 18252 (java) S 18245 18245 14983 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 444687288 15508250624 10290 33554432000 4194304 4196468 140721330695808 140583012461200 140583063008981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6422528 140721330697199 140721330697370 140721330697370 140721330700239 0
[pid=18247/tid=18253] ppid=18245 vsize=15144776 memory=140241429456512 CPUtime=0 cores=1,3,5,7
/proc/18247/task/18253/stat : 18253 (java) S 18245 18245 14983 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 444687289 15508250624 10290 33554432000 4194304 4196468 140721330695808 140582530824688 140583063009922 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6422528 140721330697199 140721330697370 140721330697370 140721330700239 0
[pid=18247/tid=18254] ppid=18245 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18247/task/18254/stat : 18254 (java) S 18245 18245 14983 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 444687289 15508250624 10290 33554432000 4194304 4196468 140721330695808 140582529770912 140583063008981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6422528 140721330697199 140721330697370 140721330697370 140721330700239 0
[pid=18247/tid=18255] ppid=18245 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18247/task/18255/stat : 18255 (java) S 18245 18245 14983 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 444687290 15508250624 10290 33554432000 4194304 4196468 140721330695808 140582528718320 140583063008981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6422528 140721330697199 140721330697370 140721330697370 140721330700239 0
[pid=18247/tid=18256] ppid=18245 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18247/task/18256/stat : 18256 (java) S 18245 18245 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 444687292 15508250624 10290 33554432000 4194304 4196468 140721330695808 140582527666896 140583063017371 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6422528 140721330697199 140721330697370 140721330697370 140721330700239 0
[pid=18247/tid=18257] ppid=18245 vsize=15144776 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/18247/task/18257/stat : 18257 (java) S 18245 18245 14983 0 -1 1077944384 351 0 0 0 2 0 0 0 20 0 15 0 444687292 15508250624 10290 33554432000 4194304 4196468 140721330695808 140582526613488 140583063009922 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6422528 140721330697199 140721330697370 140721330697370 140721330700239 0
[pid=18247/tid=18258] ppid=18245 vsize=15144776 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/18247/task/18258/stat : 18258 (java) S 18245 18245 14983 0 -1 1077944384 397 0 0 0 2 0 0 0 20 0 15 0 444687292 15508250624 10290 33554432000 4194304 4196468 140721330695808 140582525560944 140583063009922 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6422528 140721330697199 140721330697370 140721330697370 140721330700239 0
[pid=18247/tid=18259] ppid=18245 vsize=15144776 memory=140241429456512 CPUtime=0.08 cores=1,3,5,7
/proc/18247/task/18259/stat : 18259 (java) R 18245 18245 14983 0 -1 4202560 795 0 0 0 8 0 0 0 20 0 15 0 444687292 15508250624 10290 33554432000 4194304 4196468 140721330695808 140582524508400 140583063020122 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 6422528 140721330697199 140721330697370 140721330697370 140721330700239 0
[pid=18247/tid=18260] ppid=18245 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18247/task/18260/stat : 18260 (java) S 18245 18245 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 444687292 15508250624 10290 33554432000 4194304 4196468 140721330695808 140582523456096 140583063008981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6422528 140721330697199 140721330697370 140721330697370 140721330700239 0
[pid=18247/tid=18262] ppid=18245 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18247/task/18262/stat : 18262 (java) S 18245 18245 14983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444687292 15508250624 10290 33554432000 4194304 4196468 140721330695808 140582522403632 140583063009922 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6422528 140721330697199 140721330697370 140721330697370 140721330700239 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42612 KiB
[startup+0.319143 s]*
/proc/loadavg: 8.60 8.78 8.65 6/234 18262
/proc/meminfo: memFree=30636800/32770624 swapFree=66997372/67108860
[pid=18245] ppid=18242 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/18245/stat : 18245 (xcsp3-exec) S 18242 18245 14983 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 444687286 115843072 363 33554432000 4194304 5098028 140721968489664 140721968487768 140481432183420 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 14024704 140721968497531 140721968497773 140721968497773 140721968500682 0
/proc/18245/statm: 28282 363 304 221 0 87 0
[pid=18247] ppid=18245 vsize=15149032 memory=50748 CPUtime=0.54 cores=1,3,5,7
/proc/18247/stat : 18247 (java) S 18245 18245 14983 0 -1 1077944320 11026 0 0 0 51 3 0 0 20 0 15 0 444687287 15512608768 12687 33554432000 4194304 4196468 140721330695808 140721330678352 140583062998775 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 6422528 140721330697199 140721330697370 140721330697370 140721330700239 0
/proc/18247/statm: 3787258 12687 3363 1 0 3748377 0
[pid=18247/tid=18248] ppid=18245 vsize=15149032 memory=7883960649037381690 CPUtime=0.3 cores=1,3,5,7
/proc/18247/task/18248/stat : 18248 (java) R 18245 18245 14983 0 -1 4202560 7930 0 0 0 28 2 0 0 20 0 15 0 444687287 15512608768 12687 33554432000 4194304 4196468 140721330695808 140583067228736 140583048369681 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 6422528 140721330697199 140721330697370 140721330697370 140721330700239 0
[pid=18247/tid=18249] ppid=18245 vsize=15149032 memory=9461 CPUtime=0 cores=1,3,5,7
/proc/18247/task/18249/stat : 18249 (java) S 18245 18245 14983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444687288 15512608768 12687 33554432000 4194304 4196468 140721330695808 140583015618832 140583063008981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6422528 140721330697199 140721330697370 140721330697370 140721330700239 0
[pid=18247/tid=18250] ppid=18245 vsize=15149032 memory=3566841 CPUtime=0 cores=1,3,5,7
/proc/18247/task/18250/stat : 18250 (java) S 18245 18245 14983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444687288 15512608768 12687 33554432000 4194304 4196468 140721330695808 140583014566288 140583063008981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6422528 140721330697199 140721330697370 140721330697370 140721330700239 0
[pid=18247/tid=18251] ppid=18245 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18247/task/18251/stat : 18251 (java) S 18245 18245 14983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444687288 15512608768 12687 33554432000 4194304 4196468 140721330695808 140583013513744 140583063008981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6422528 140721330697199 140721330697370 140721330697370 140721330700239 0
[pid=18247/tid=18252] ppid=18245 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18247/task/18252/stat : 18252 (java) S 18245 18245 14983 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 444687288 15512608768 12687 33554432000 4194304 4196468 140721330695808 140583012461200 140583063008981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6422528 140721330697199 140721330697370 140721330697370 140721330700239 0
[pid=18247/tid=18253] ppid=18245 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18247/task/18253/stat : 18253 (java) S 18245 18245 14983 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 444687289 15512608768 12687 33554432000 4194304 4196468 140721330695808 140582530824688 140583063009922 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6422528 140721330697199 140721330697370 140721330697370 140721330700239 0
[pid=18247/tid=18254] ppid=18245 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18247/task/18254/stat : 18254 (java) S 18245 18245 14983 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 444687289 15512608768 12687 33554432000 4194304 4196468 140721330695808 140582529770912 140583063008981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6422528 140721330697199 140721330697370 140721330697370 140721330700239 0
[pid=18247/tid=18255] ppid=18245 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18247/task/18255/stat : 18255 (java) S 18245 18245 14983 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 444687290 15512608768 12687 33554432000 4194304 4196468 140721330695808 140582528718320 140583063008981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6422528 140721330697199 140721330697370 140721330697370 140721330700239 0
[pid=18247/tid=18256] ppid=18245 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18247/task/18256/stat : 18256 (java) S 18245 18245 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 444687292 15512608768 12687 33554432000 4194304 4196468 140721330695808 140582527666896 140583063017371 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6422528 140721330697199 140721330697370 140721330697370 140721330700239 0
[pid=18247/tid=18257] ppid=18245 vsize=15149032 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/18247/task/18257/stat : 18257 (java) R 18245 18245 14983 0 -1 4202560 486 0 0 0 5 0 0 0 20 0 15 0 444687292 15512608768 12687 33554432000 4194304 4196468 140721330695808 140582526613488 140583055336400 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 6422528 140721330697199 140721330697370 140721330697370 140721330700239 0
[pid=18247/tid=18258] ppid=18245 vsize=15149032 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/18247/task/18258/stat : 18258 (java) R 18245 18245 14983 0 -1 1077944384 410 0 0 0 4 0 0 0 20 0 15 0 444687292 15512608768 12687 33554432000 4194304 4196468 140721330695808 140582525560944 140583063009922 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 6422528 140721330697199 140721330697370 140721330697370 140721330700239 0
[pid=18247/tid=18259] ppid=18245 vsize=15149032 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/18247/task/18259/stat : 18259 (java) R 18245 18245 14983 0 -1 4202560 899 0 0 0 12 0 0 0 20 0 15 0 444687292 15512608768 12687 33554432000 4194304 4196468 140721330695808 140582524508400 140583063009922 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 6422528 140721330697199 140721330697370 140721330697370 140721330700239 0
[pid=18247/tid=18260] ppid=18245 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18247/task/18260/stat : 18260 (java) S 18245 18245 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 444687292 15512608768 12687 33554432000 4194304 4196468 140721330695808 140582523456096 140583063008981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6422528 140721330697199 140721330697370 140721330697370 140721330700239 0
[pid=18247/tid=18262] ppid=18245 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18247/task/18262/stat : 18262 (java) S 18245 18245 14983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444687292 15512608768 12687 33554432000 4194304 4196468 140721330695808 140582522403632 140583063009922 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6422528 140721330697199 140721330697370 140721330697370 140721330700239 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 52200 KiB
[startup+0.701099 s]
/proc/loadavg: 8.60 8.78 8.65 7/234 18262
/proc/meminfo: memFree=30621096/32770624 swapFree=66997372/67108860
[pid=18245] ppid=18242 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/18245/stat : 18245 (xcsp3-exec) S 18242 18245 14983 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 444687286 115843072 363 33554432000 4194304 5098028 140721968489664 140721968487768 140481432183420 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 14024704 140721968497531 140721968497773 140721968497773 140721968500682 0
/proc/18245/statm: 28282 363 304 221 0 87 0
[pid=18247] ppid=18245 vsize=15151156 memory=85492 CPUtime=1.63 cores=1,3,5,7
/proc/18247/stat : 18247 (java) S 18245 18245 14983 0 -1 1077944320 15036 0 0 0 159 4 0 0 20 0 15 0 444687287 15514783744 21373 33554432000 4194304 4196468 140721330695808 140721330678352 140583062998775 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 6422528 140721330697199 140721330697370 140721330697370 140721330700239 0
/proc/18247/statm: 3787789 21373 3449 1 0 3748889 0
[pid=18247/tid=18248] ppid=18245 vsize=15151156 memory=0 CPUtime=0.67 cores=1,3,5,7
/proc/18247/task/18248/stat : 18248 (java) R 18245 18245 14983 0 -1 4202560 9278 0 0 0 64 3 0 0 20 0 15 0 444687287 15514783744 21373 33554432000 4194304 4196468 140721330695808 140583067232416 140582685060852 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 6422528 140721330697199 140721330697370 140721330697370 140721330700239 0
[pid=18247/tid=18249] ppid=18245 vsize=15151156 memory=500 CPUtime=0 cores=1,3,5,7
/proc/18247/task/18249/stat : 18249 (java) S 18245 18245 14983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444687288 15514783744 21373 33554432000 4194304 4196468 140721330695808 140583015618832 140583063008981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6422528 140721330697199 140721330697370 140721330697370 140721330700239 0
[pid=18247/tid=18250] ppid=18245 vsize=15151156 memory=1560 CPUtime=0 cores=1,3,5,7
/proc/18247/task/18250/stat : 18250 (java) S 18245 18245 14983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444687288 15514783744 21373 33554432000 4194304 4196468 140721330695808 140583014566288 140583063008981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6422528 140721330697199 140721330697370 140721330697370 140721330700239 0
[pid=18247/tid=18251] ppid=18245 vsize=15151156 memory=932 CPUtime=0 cores=1,3,5,7
/proc/18247/task/18251/stat : 18251 (java) S 18245 18245 14983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444687288 15514783744 21373 33554432000 4194304 4196468 140721330695808 140583013513744 140583063008981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6422528 140721330697199 140721330697370 140721330697370 140721330700239 0
[pid=18247/tid=18252] ppid=18245 vsize=15151156 memory=3768 CPUtime=0 cores=1,3,5,7
/proc/18247/task/18252/stat : 18252 (java) S 18245 18245 14983 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 444687288 15514783744 21373 33554432000 4194304 4196468 140721330695808 140583012461200 140583063008981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6422528 140721330697199 140721330697370 140721330697370 140721330700239 0
[pid=18247/tid=18253] ppid=18245 vsize=15151156 memory=1980 CPUtime=0 cores=1,3,5,7
/proc/18247/task/18253/stat : 18253 (java) S 18245 18245 14983 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 444687289 15514783744 21373 33554432000 4194304 4196468 140721330695808 140582530824688 140583063009922 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6422528 140721330697199 140721330697370 140721330697370 140721330700239 0
[pid=18247/tid=18254] ppid=18245 vsize=15151156 memory=2512 CPUtime=0 cores=1,3,5,7
/proc/18247/task/18254/stat : 18254 (java) S 18245 18245 14983 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 444687289 15514783744 21373 33554432000 4194304 4196468 140721330695808 140582529770912 140583063008981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6422528 140721330697199 140721330697370 140721330697370 140721330700239 0
[pid=18247/tid=18255] ppid=18245 vsize=15151156 memory=1436 CPUtime=0 cores=1,3,5,7
/proc/18247/task/18255/stat : 18255 (java) S 18245 18245 14983 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 444687290 15514783744 21373 33554432000 4194304 4196468 140721330695808 140582528718320 140583063008981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6422528 140721330697199 140721330697370 140721330697370 140721330700239 0
[pid=18247/tid=18256] ppid=18245 vsize=15151156 memory=812 CPUtime=0 cores=1,3,5,7
/proc/18247/task/18256/stat : 18256 (java) S 18245 18245 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 444687292 15514783744 21373 33554432000 4194304 4196468 140721330695808 140582527666896 140583063017371 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6422528 140721330697199 140721330697370 140721330697370 140721330700239 0
[pid=18247/tid=18257] ppid=18245 vsize=15151156 memory=1764 CPUtime=0.26 cores=1,3,5,7
/proc/18247/task/18257/stat : 18257 (java) R 18245 18245 14983 0 -1 4202560 1195 0 0 0 26 0 0 0 20 0 15 0 444687292 15514783744 21373 33554432000 4194304 4196468 140721330695808 140582526597552 140583047398377 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 6422528 140721330697199 140721330697370 140721330697370 140721330700239 0
[pid=18247/tid=18258] ppid=18245 vsize=15151156 memory=111628 CPUtime=0.28 cores=1,3,5,7
/proc/18247/task/18258/stat : 18258 (java) R 18245 18245 14983 0 -1 4202560 1142 0 0 0 28 0 0 0 20 0 15 0 444687292 15514783744 21373 33554432000 4194304 4196468 140721330695808 140582525547760 140583046385997 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 6422528 140721330697199 140721330697370 140721330697370 140721330700239 0
[pid=18247/tid=18259] ppid=18245 vsize=15151156 memory=796 CPUtime=0.39 cores=1,3,5,7
/proc/18247/task/18259/stat : 18259 (java) S 18245 18245 14983 0 -1 1077944384 2115 0 0 0 39 0 0 0 20 0 15 0 444687292 15514783744 21373 33554432000 4194304 4196468 140721330695808 140582524508400 140583063009922 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6422528 140721330697199 140721330697370 140721330697370 140721330700239 0
[pid=18247/tid=18260] ppid=18245 vsize=15151156 memory=4096 CPUtime=0 cores=1,3,5,7
/proc/18247/task/18260/stat : 18260 (java) S 18245 18245 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 444687292 15514783744 21373 33554432000 4194304 4196468 140721330695808 140582523456096 140583063008981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6422528 140721330697199 140721330697370 140721330697370 140721330700239 0
[pid=18247/tid=18262] ppid=18245 vsize=15151156 memory=1808 CPUtime=0 cores=1,3,5,7
/proc/18247/task/18262/stat : 18262 (java) S 18245 18245 14983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444687292 15514783744 21373 33554432000 4194304 4196468 140721330695808 140582522403632 140583063009922 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6422528 140721330697199 140721330697370 140721330697370 140721330700239 0
Current children cumulated CPU time: 1.63 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 86944 KiB
[startup+1.5071 s]
/proc/loadavg: 8.60 8.78 8.65 12/238 18266
/proc/meminfo: memFree=30549116/32770624 swapFree=66997372/67108860
[pid=18245] ppid=18242 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/18245/stat : 18245 (xcsp3-exec) S 18242 18245 14983 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 444687286 115843072 363 33554432000 4194304 5098028 140721968489664 140721968487768 140481432183420 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 14024704 140721968497531 140721968497773 140721968497773 140721968500682 0
/proc/18245/statm: 28282 363 304 221 0 87 0
################
# More data... #
################
/proc/18247/task/18262/stat : 18262 (java) S 18245 18245 14983 0 -1 1077944384 697 0 0 0 0 0 0 0 20 0 19 0 444687292 15858741248 291066 33554432000 4194304 4196468 140721330695808 140582522403632 140583063009922 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6422528 140721330697199 140721330697370 140721330697370 140721330700239 0
[pid=18247/tid=18381] ppid=18245 vsize=15487052 memory=1388 CPUtime=7.12 cores=1,3,5,7
/proc/18247/task/18381/stat : 18381 (java) R 18245 18245 14983 0 -1 4202560 162 0 0 0 712 0 0 0 20 0 19 0 444689609 15858741248 291066 33554432000 4194304 4196468 140721330695808 140582507117576 140582692315547 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 6422528 140721330697199 140721330697370 140721330697370 140721330700239 0
[pid=18247/tid=18382] ppid=18245 vsize=15487052 memory=776 CPUtime=7.08 cores=1,3,5,7
/proc/18247/task/18382/stat : 18382 (java) R 18245 18245 14983 0 -1 4202560 1015 0 0 0 708 0 0 0 20 0 19 0 444689609 15858741248 291066 33554432000 4194304 4196468 140721330695808 140582509221496 140582691642439 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 6422528 140721330697199 140721330697370 140721330697370 140721330700239 0
[pid=18247/tid=18383] ppid=18245 vsize=15487052 memory=3992 CPUtime=7.07 cores=1,3,5,7
/proc/18247/task/18383/stat : 18383 (java) R 18245 18245 14983 0 -1 4202560 1350 0 0 0 707 0 0 0 20 0 19 0 444689609 15858741248 291066 33554432000 4194304 4196468 140721330695808 140582508171088 140582691687048 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 6422528 140721330697199 140721330697370 140721330697370 140721330700239 0
[pid=18247/tid=18384] ppid=18245 vsize=15487052 memory=2828 CPUtime=7.12 cores=1,3,5,7
/proc/18247/task/18384/stat : 18384 (java) R 18245 18245 14983 0 -1 4202560 868 0 0 0 712 0 0 0 20 0 19 0 444689609 15858741248 291066 33554432000 4194304 4196468 140721330695808 140582511325352 140582692248068 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 6422528 140721330697199 140721330697370 140721330697370 140721330700239 0
Current children cumulated CPU time: 119.49 s
Current children cumulated vsize: 15600180 KiB
Current children cumulated memory: 1165716 KiB
[startup+31.2011 s]
/proc/loadavg: 8.52 8.75 8.65 10/238 18384
/proc/meminfo: memFree=29521036/32770624 swapFree=66997372/67108860
[pid=18245] ppid=18242 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/18245/stat : 18245 (xcsp3-exec) S 18242 18245 14983 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 444687286 115843072 363 33554432000 4194304 5098028 140721968489664 140721968487768 140481432183420 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 14024704 140721968497531 140721968497773 140721968497773 140721968500682 0
/proc/18245/statm: 28282 363 304 221 0 87 0
[pid=18247] ppid=18245 vsize=15487052 memory=1164264 CPUtime=122.67 cores=1,3,5,7
/proc/18247/stat : 18247 (java) S 18245 18245 14983 0 -1 1077944320 49117 0 0 0 12225 42 0 0 20 0 19 0 444687287 15858741248 291066 33554432000 4194304 4196468 140721330695808 140721330678352 140583062998775 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 6422528 140721330697199 140721330697370 140721330697370 140721330700239 0
/proc/18247/statm: 3871763 291066 3531 1 0 3832863 0
[pid=18247/tid=18248] ppid=18245 vsize=15487052 memory=1164264 CPUtime=0.89 cores=1,3,5,7
/proc/18247/task/18248/stat : 18248 (java) S 18245 18245 14983 0 -1 1077944384 9626 0 0 0 85 4 0 0 20 0 19 0 444687287 15858741248 291066 33554432000 4194304 4196468 140721330695808 140583067239552 140583063008981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6422528 140721330697199 140721330697370 140721330697370 140721330700239 0
[pid=18247/tid=18249] ppid=18245 vsize=15487052 memory=1548 CPUtime=0.1 cores=1,3,5,7
/proc/18247/task/18249/stat : 18249 (java) S 18245 18245 14983 0 -1 1077944384 373 0 0 0 6 4 0 0 20 0 19 0 444687288 15858741248 291066 33554432000 4194304 4196468 140721330695808 140583015618832 140583063008981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6422528 140721330697199 140721330697370 140721330697370 140721330700239 0
[pid=18247/tid=18250] ppid=18245 vsize=15487052 memory=8560 CPUtime=0.09 cores=1,3,5,7
/proc/18247/task/18250/stat : 18250 (java) S 18245 18245 14983 0 -1 1077944384 1845 0 0 0 5 4 0 0 20 0 19 0 444687288 15858741248 291066 33554432000 4194304 4196468 140721330695808 140583014566288 140583063008981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6422528 140721330697199 140721330697370 140721330697370 140721330700239 0
[pid=18247/tid=18251] ppid=18245 vsize=15487052 memory=1668 CPUtime=0.1 cores=1,3,5,7
/proc/18247/task/18251/stat : 18251 (java) S 18245 18245 14983 0 -1 1077944384 791 0 0 0 6 4 0 0 20 0 19 0 444687288 15858741248 291066 33554432000 4194304 4196468 140721330695808 140583013513744 140583063008981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6422528 140721330697199 140721330697370 140721330697370 140721330700239 0
[pid=18247/tid=18252] ppid=18245 vsize=15487052 memory=1112 CPUtime=0.1 cores=1,3,5,7
/proc/18247/task/18252/stat : 18252 (java) S 18245 18245 14983 0 -1 1077944384 740 0 0 0 6 4 0 0 20 0 19 0 444687288 15858741248 291066 33554432000 4194304 4196468 140721330695808 140583012461200 140583063008981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6422528 140721330697199 140721330697370 140721330697370 140721330700239 0
[pid=18247/tid=18253] ppid=18245 vsize=15487052 memory=1004 CPUtime=0.03 cores=1,3,5,7
/proc/18247/task/18253/stat : 18253 (java) S 18245 18245 14983 0 -1 1077944384 1710 0 0 0 2 1 0 0 20 0 19 0 444687289 15858741248 291066 33554432000 4194304 4196468 140721330695808 140582530824688 140583063009922 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6422528 140721330697199 140721330697370 140721330697370 140721330700239 0
[pid=18247/tid=18254] ppid=18245 vsize=15487052 memory=6036 CPUtime=0 cores=1,3,5,7
/proc/18247/task/18254/stat : 18254 (java) S 18245 18245 14983 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 444687289 15858741248 291066 33554432000 4194304 4196468 140721330695808 140582529770976 140583063008981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6422528 140721330697199 140721330697370 140721330697370 140721330700239 0
[pid=18247/tid=18255] ppid=18245 vsize=15487052 memory=14008 CPUtime=0 cores=1,3,5,7
/proc/18247/task/18255/stat : 18255 (java) S 18245 18245 14983 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 444687290 15858741248 291066 33554432000 4194304 4196468 140721330695808 140582528718336 140583063008981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6422528 140721330697199 140721330697370 140721330697370 140721330700239 0
[pid=18247/tid=18256] ppid=18245 vsize=15487052 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/18247/task/18256/stat : 18256 (java) S 18245 18245 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 444687292 15858741248 291066 33554432000 4194304 4196468 140721330695808 140582527666896 140583063017371 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6422528 140721330697199 140721330697370 140721330697370 140721330700239 0
[pid=18247/tid=18257] ppid=18245 vsize=15487052 memory=1164264 CPUtime=2.66 cores=1,3,5,7
/proc/18247/task/18257/stat : 18257 (java) S 18245 18245 14983 0 -1 1077944384 8705 0 0 0 265 1 0 0 20 0 19 0 444687292 15858741248 291066 33554432000 4194304 4196468 140721330695808 140582526613488 140583063009922 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6422528 140721330697199 140721330697370 140721330697370 140721330700239 0
[pid=18247/tid=18258] ppid=18245 vsize=15487052 memory=0 CPUtime=2.85 cores=1,3,5,7
/proc/18247/task/18258/stat : 18258 (java) S 18245 18245 14983 0 -1 1077944384 5973 0 0 0 284 1 0 0 20 0 19 0 444687292 15858741248 291066 33554432000 4194304 4196468 140721330695808 140582525560944 140583063009922 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6422528 140721330697199 140721330697370 140721330697370 140721330700239 0
[pid=18247/tid=18259] ppid=18245 vsize=15487052 memory=218600950501006 CPUtime=0.94 cores=1,3,5,7
/proc/18247/task/18259/stat : 18259 (java) S 18245 18245 14983 0 -1 1077944384 4934 0 0 0 93 1 0 0 20 0 19 0 444687292 15858741248 291066 33554432000 4194304 4196468 140721330695808 140582524508400 140583063009922 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6422528 140721330697199 140721330697370 140721330697370 140721330700239 0
[pid=18247/tid=18260] ppid=18245 vsize=15487052 memory=280482571704096 CPUtime=0 cores=1,3,5,7
/proc/18247/task/18260/stat : 18260 (java) S 18245 18245 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 444687292 15858741248 291066 33554432000 4194304 4196468 140721330695808 140582523456096 140583063008981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6422528 140721330697199 140721330697370 140721330697370 140721330700239 0
[pid=18247/tid=18262] ppid=18245 vsize=15487052 memory=140241285891352 CPUtime=0.01 cores=1,3,5,7
/proc/18247/task/18262/stat : 18262 (java) S 18245 18245 14983 0 -1 1077944384 797 0 0 0 0 1 0 0 20 0 19 0 444687292 15858741248 291066 33554432000 4194304 4196468 140721330695808 140582522403632 140583063009922 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6422528 140721330697199 140721330697370 140721330697370 140721330700239 0
[pid=18247/tid=18381] ppid=18245 vsize=15487052 memory=4096 CPUtime=7.92 cores=1,3,5,7
/proc/18247/task/18381/stat : 18381 (java) R 18245 18245 14983 0 -1 4202560 173 0 0 0 792 0 0 0 20 0 19 0 444689609 15858741248 291066 33554432000 4194304 4196468 140721330695808 140582507117576 140582691639924 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 6422528 140721330697199 140721330697370 140721330697370 140721330700239 0
[pid=18247/tid=18382] ppid=18245 vsize=15487052 memory=1808 CPUtime=7.87 cores=1,3,5,7
/proc/18247/task/18382/stat : 18382 (java) R 18245 18245 14983 0 -1 4202560 1059 0 0 0 787 0 0 0 20 0 19 0 444689609 15858741248 291066 33554432000 4194304 4196468 140721330695808 140582509221496 140582691639748 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 6422528 140721330697199 140721330697370 140721330697370 140721330700239 0
[pid=18247/tid=18383] ppid=18245 vsize=15487052 memory=920 CPUtime=7.87 cores=1,3,5,7
/proc/18247/task/18383/stat : 18383 (java) R 18245 18245 14983 0 -1 4202560 1745 0 0 0 787 0 0 0 20 0 19 0 444689609 15858741248 291066 33554432000 4194304 4196468 140721330695808 140582508171088 140582692179185 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 6422528 140721330697199 140721330697370 140721330697370 140721330700239 0
[pid=18247/tid=18384] ppid=18245 vsize=15487052 memory=3504 CPUtime=7.92 cores=1,3,5,7
/proc/18247/task/18384/stat : 18384 (java) R 18245 18245 14983 0 -1 4202560 1105 0 0 0 792 0 0 0 20 0 19 0 444689609 15858741248 291066 33554432000 4194304 4196468 140721330695808 140582511325352 140582691897214 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 6422528 140721330697199 140721330697370 140721330697370 140721330700239 0
Current children cumulated CPU time: 122.67 s
Current children cumulated vsize: 15600180 KiB
Current children cumulated memory: 1165716 KiB
[startup+31.4011 s]
/proc/loadavg: 8.52 8.75 8.65 10/238 18384
/proc/meminfo: memFree=29521036/32770624 swapFree=66997372/67108860
[pid=18245] ppid=18242 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/18245/stat : 18245 (xcsp3-exec) S 18242 18245 14983 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 444687286 115843072 363 33554432000 4194304 5098028 140721968489664 140721968487768 140481432183420 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 14024704 140721968497531 140721968497773 140721968497773 140721968500682 0
/proc/18245/statm: 28282 363 304 221 0 87 0
[pid=18247] ppid=18245 vsize=15487052 memory=1164264 CPUtime=123.47 cores=1,3,5,7
/proc/18247/stat : 18247 (java) S 18245 18245 14983 0 -1 1077944320 49135 0 0 0 12305 42 0 0 20 0 19 0 444687287 15858741248 291066 33554432000 4194304 4196468 140721330695808 140721330678352 140583062998775 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 6422528 140721330697199 140721330697370 140721330697370 140721330700239 0
/proc/18247/statm: 3871763 291066 3531 1 0 3832863 0
[pid=18247/tid=18248] ppid=18245 vsize=15487052 memory=2012 CPUtime=0.89 cores=1,3,5,7
/proc/18247/task/18248/stat : 18248 (java) S 18245 18245 14983 0 -1 1077944384 9626 0 0 0 85 4 0 0 20 0 19 0 444687287 15858741248 291066 33554432000 4194304 4196468 140721330695808 140583067239552 140583063008981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6422528 140721330697199 140721330697370 140721330697370 140721330700239 0
[pid=18247/tid=18249] ppid=18245 vsize=15487052 memory=1388 CPUtime=0.1 cores=1,3,5,7
/proc/18247/task/18249/stat : 18249 (java) S 18245 18245 14983 0 -1 1077944384 373 0 0 0 6 4 0 0 20 0 19 0 444687288 15858741248 291066 33554432000 4194304 4196468 140721330695808 140583015618832 140583063008981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6422528 140721330697199 140721330697370 140721330697370 140721330700239 0
[pid=18247/tid=18250] ppid=18245 vsize=15487052 memory=776 CPUtime=0.09 cores=1,3,5,7
/proc/18247/task/18250/stat : 18250 (java) S 18245 18245 14983 0 -1 1077944384 1845 0 0 0 5 4 0 0 20 0 19 0 444687288 15858741248 291066 33554432000 4194304 4196468 140721330695808 140583014566288 140583063008981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6422528 140721330697199 140721330697370 140721330697370 140721330700239 0
[pid=18247/tid=18251] ppid=18245 vsize=15487052 memory=3992 CPUtime=0.1 cores=1,3,5,7
/proc/18247/task/18251/stat : 18251 (java) S 18245 18245 14983 0 -1 1077944384 791 0 0 0 6 4 0 0 20 0 19 0 444687288 15858741248 291066 33554432000 4194304 4196468 140721330695808 140583013513744 140583063008981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6422528 140721330697199 140721330697370 140721330697370 140721330700239 0
[pid=18247/tid=18252] ppid=18245 vsize=15487052 memory=2828 CPUtime=0.1 cores=1,3,5,7
/proc/18247/task/18252/stat : 18252 (java) S 18245 18245 14983 0 -1 1077944384 740 0 0 0 6 4 0 0 20 0 19 0 444687288 15858741248 291066 33554432000 4194304 4196468 140721330695808 140583012461200 140583063008981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6422528 140721330697199 140721330697370 140721330697370 140721330700239 0
[pid=18247/tid=18253] ppid=18245 vsize=15487052 memory=676 CPUtime=0.03 cores=1,3,5,7
/proc/18247/task/18253/stat : 18253 (java) S 18245 18245 14983 0 -1 1077944384 1710 0 0 0 2 1 0 0 20 0 19 0 444687289 15858741248 291066 33554432000 4194304 4196468 140721330695808 140582530824688 140583063009922 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6422528 140721330697199 140721330697370 140721330697370 140721330700239 0
[pid=18247/tid=18254] ppid=18245 vsize=15487052 memory=1060 CPUtime=0 cores=1,3,5,7
/proc/18247/task/18254/stat : 18254 (java) S 18245 18245 14983 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 444687289 15858741248 291066 33554432000 4194304 4196468 140721330695808 140582529770976 140583063008981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6422528 140721330697199 140721330697370 140721330697370 140721330700239 0
[pid=18247/tid=18255] ppid=18245 vsize=15487052 memory=1548 CPUtime=0 cores=1,3,5,7
/proc/18247/task/18255/stat : 18255 (java) S 18245 18245 14983 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 444687290 15858741248 291066 33554432000 4194304 4196468 140721330695808 140582528718336 140583063008981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6422528 140721330697199 140721330697370 140721330697370 140721330700239 0
[pid=18247/tid=18256] ppid=18245 vsize=15487052 memory=8560 CPUtime=0 cores=1,3,5,7
/proc/18247/task/18256/stat : 18256 (java) S 18245 18245 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 444687292 15858741248 291066 33554432000 4194304 4196468 140721330695808 140582527666896 140583063017371 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6422528 140721330697199 140721330697370 140721330697370 140721330700239 0
[pid=18247/tid=18257] ppid=18245 vsize=15487052 memory=1668 CPUtime=2.66 cores=1,3,5,7
/proc/18247/task/18257/stat : 18257 (java) S 18245 18245 14983 0 -1 1077944384 8705 0 0 0 265 1 0 0 20 0 19 0 444687292 15858741248 291066 33554432000 4194304 4196468 140721330695808 140582526613488 140583063009922 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6422528 140721330697199 140721330697370 140721330697370 140721330700239 0
[pid=18247/tid=18258] ppid=18245 vsize=15487052 memory=1112 CPUtime=2.85 cores=1,3,5,7
/proc/18247/task/18258/stat : 18258 (java) S 18245 18245 14983 0 -1 1077944384 5973 0 0 0 284 1 0 0 20 0 19 0 444687292 15858741248 291066 33554432000 4194304 4196468 140721330695808 140582525560944 140583063009922 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6422528 140721330697199 140721330697370 140721330697370 140721330700239 0
[pid=18247/tid=18259] ppid=18245 vsize=15487052 memory=1004 CPUtime=0.94 cores=1,3,5,7
/proc/18247/task/18259/stat : 18259 (java) S 18245 18245 14983 0 -1 1077944384 4934 0 0 0 93 1 0 0 20 0 19 0 444687292 15858741248 291066 33554432000 4194304 4196468 140721330695808 140582524508400 140583063009922 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6422528 140721330697199 140721330697370 140721330697370 140721330700239 0
[pid=18247/tid=18260] ppid=18245 vsize=15487052 memory=6036 CPUtime=0 cores=1,3,5,7
/proc/18247/task/18260/stat : 18260 (java) S 18245 18245 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 444687292 15858741248 291066 33554432000 4194304 4196468 140721330695808 140582523456096 140583063008981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6422528 140721330697199 140721330697370 140721330697370 140721330700239 0
[pid=18247/tid=18262] ppid=18245 vsize=15487052 memory=14008 CPUtime=0.01 cores=1,3,5,7
/proc/18247/task/18262/stat : 18262 (java) S 18245 18245 14983 0 -1 1077944384 797 0 0 0 0 1 0 0 20 0 19 0 444687292 15858741248 291066 33554432000 4194304 4196468 140721330695808 140582522403632 140583063009922 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6422528 140721330697199 140721330697370 140721330697370 140721330700239 0
[pid=18247/tid=18381] ppid=18245 vsize=15487052 memory=2124 CPUtime=8.12 cores=1,3,5,7
/proc/18247/task/18381/stat : 18381 (java) R 18245 18245 14983 0 -1 4202560 174 0 0 0 812 0 0 0 20 0 19 0 444689609 15858741248 291066 33554432000 4194304 4196468 140721330695808 140582507117576 140582692315561 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 6422528 140721330697199 140721330697370 140721330697370 140721330700239 0
[pid=18247/tid=18382] ppid=18245 vsize=15487052 memory=26056 CPUtime=8.07 cores=1,3,5,7
/proc/18247/task/18382/stat : 18382 (java) R 18245 18245 14983 0 -1 4202560 1066 0 0 0 807 0 0 0 20 0 19 0 444689609 15858741248 291066 33554432000 4194304 4196468 140721330695808 140582509221496 140582691299861 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 6422528 140721330697199 140721330697370 140721330697370 140721330700239 0
[pid=18247/tid=18383] ppid=18245 vsize=15487052 memory=12024 CPUtime=8.07 cores=1,3,5,7
/proc/18247/task/18383/stat : 18383 (java) R 18245 18245 14983 0 -1 4202560 1750 0 0 0 807 0 0 0 20 0 19 0 444689609 15858741248 291066 33554432000 4194304 4196468 140721330695808 140582508171088 140582694629449 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 6422528 140721330697199 140721330697370 140721330697370 140721330700239 0
[pid=18247/tid=18384] ppid=18245 vsize=15487052 memory=500 CPUtime=8.12 cores=1,3,5,7
/proc/18247/task/18384/stat : 18384 (java) R 18245 18245 14983 0 -1 4202560 1110 0 0 0 812 0 0 0 20 0 19 0 444689609 15858741248 291066 33554432000 4194304 4196468 140721330695808 140582511325352 140582693069371 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 6422528 140721330697199 140721330697370 140721330697370 140721330700239 0
Current children cumulated CPU time: 123.47 s
Current children cumulated vsize: 15600180 KiB
Current children cumulated memory: 1165716 KiB
[startup+31.5011 s]
/proc/loadavg: 8.52 8.75 8.65 10/238 18384
/proc/meminfo: memFree=29521036/32770624 swapFree=66997372/67108860
[pid=18245] ppid=18242 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/18245/stat : 18245 (xcsp3-exec) S 18242 18245 14983 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 444687286 115843072 363 33554432000 4194304 5098028 140721968489664 140721968487768 140481432183420 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 14024704 140721968497531 140721968497773 140721968497773 140721968500682 0
/proc/18245/statm: 28282 363 304 221 0 87 0
[pid=18247] ppid=18245 vsize=15487052 memory=1164264 CPUtime=123.87 cores=1,3,5,7
/proc/18247/stat : 18247 (java) S 18245 18245 14983 0 -1 1077944320 49147 0 0 0 12345 42 0 0 20 0 19 0 444687287 15858741248 291066 33554432000 4194304 4196468 140721330695808 140721330678352 140583062998775 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 6422528 140721330697199 140721330697370 140721330697370 140721330700239 0
/proc/18247/statm: 3871763 291066 3531 1 0 3832863 0
[pid=18247/tid=18248] ppid=18245 vsize=15487052 memory=1164264 CPUtime=0.89 cores=1,3,5,7
/proc/18247/task/18248/stat : 18248 (java) S 18245 18245 14983 0 -1 1077944384 9626 0 0 0 85 4 0 0 20 0 19 0 444687287 15858741248 291066 33554432000 4194304 4196468 140721330695808 140583067239552 140583063008981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6422528 140721330697199 140721330697370 140721330697370 140721330700239 0
[pid=18247/tid=18249] ppid=18245 vsize=15487052 memory=1548 CPUtime=0.1 cores=1,3,5,7
/proc/18247/task/18249/stat : 18249 (java) S 18245 18245 14983 0 -1 1077944384 373 0 0 0 6 4 0 0 20 0 19 0 444687288 15858741248 291066 33554432000 4194304 4196468 140721330695808 140583015618832 140583063008981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6422528 140721330697199 140721330697370 140721330697370 140721330700239 0
[pid=18247/tid=18250] ppid=18245 vsize=15487052 memory=8560 CPUtime=0.09 cores=1,3,5,7
/proc/18247/task/18250/stat : 18250 (java) S 18245 18245 14983 0 -1 1077944384 1845 0 0 0 5 4 0 0 20 0 19 0 444687288 15858741248 291066 33554432000 4194304 4196468 140721330695808 140583014566288 140583063008981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6422528 140721330697199 140721330697370 140721330697370 140721330700239 0
[pid=18247/tid=18251] ppid=18245 vsize=15487052 memory=89 CPUtime=0.1 cores=1,3,5,7
/proc/18247/task/18251/stat : 18251 (java) S 18245 18245 14983 0 -1 1077944384 791 0 0 0 6 4 0 0 20 0 19 0 444687288 15858741248 291066 33554432000 4194304 4196468 140721330695808 140583013513744 140583063008981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6422528 140721330697199 140721330697370 140721330697370 140721330700239 0
[pid=18247/tid=18252] ppid=18245 vsize=15487052 memory=10 CPUtime=0.1 cores=1,3,5,7
/proc/18247/task/18252/stat : 18252 (java) S 18245 18245 14983 0 -1 1077944384 740 0 0 0 6 4 0 0 20 0 19 0 444687288 15858741248 291066 33554432000 4194304 4196468 140721330695808 140583012461200 140583063008981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6422528 140721330697199 140721330697370 140721330697370 140721330700239 0
[pid=18247/tid=18253] ppid=18245 vsize=15487052 memory=12024 CPUtime=0.03 cores=1,3,5,7
/proc/18247/task/18253/stat : 18253 (java) S 18245 18245 14983 0 -1 1077944384 1710 0 0 0 2 1 0 0 20 0 19 0 444687289 15858741248 291066 33554432000 4194304 4196468 140721330695808 140582530824688 140583063009922 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6422528 140721330697199 140721330697370 140721330697370 140721330700239 0
[pid=18247/tid=18254] ppid=18245 vsize=15487052 memory=500 CPUtime=0 cores=1,3,5,7
/proc/18247/task/18254/stat : 18254 (java) S 18245 18245 14983 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 444687289 15858741248 291066 33554432000 4194304 4196468 140721330695808 140582529770976 140583063008981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6422528 140721330697199 140721330697370 140721330697370 140721330700239 0
[pid=18247/tid=18255] ppid=18245 vsize=15487052 memory=1155536 CPUtime=0 cores=1,3,5,7
/proc/18247/task/18255/stat : 18255 (java) S 18245 18245 14983 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 444687290 15858741248 291066 33554432000 4194304 4196468 140721330695808 140582528718336 140583063008981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6422528 140721330697199 140721330697370 140721330697370 140721330700239 0
[pid=18247/tid=18256] ppid=18245 vsize=15487052 memory=374228 CPUtime=0 cores=1,3,5,7
/proc/18247/task/18256/stat : 18256 (java) S 18245 18245 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 444687292 15858741248 291066 33554432000 4194304 4196468 140721330695808 140582527666896 140583063017371 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6422528 140721330697199 140721330697370 140721330697370 140721330700239 0
[pid=18247/tid=18257] ppid=18245 vsize=15487052 memory=1112 CPUtime=2.66 cores=1,3,5,7
/proc/18247/task/18257/stat : 18257 (java) S 18245 18245 14983 0 -1 1077944384 8705 0 0 0 265 1 0 0 20 0 19 0 444687292 15858741248 291066 33554432000 4194304 4196468 140721330695808 140582526613488 140583063009922 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6422528 140721330697199 140721330697370 140721330697370 140721330700239 0
[pid=18247/tid=18258] ppid=18245 vsize=15487052 memory=1004 CPUtime=2.85 cores=1,3,5,7
/proc/18247/task/18258/stat : 18258 (java) S 18245 18245 14983 0 -1 1077944384 5973 0 0 0 284 1 0 0 20 0 19 0 444687292 15858741248 291066 33554432000 4194304 4196468 140721330695808 140582525560944 140583063009922 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6422528 140721330697199 140721330697370 140721330697370 140721330700239 0
[pid=18247/tid=18259] ppid=18245 vsize=15487052 memory=1452 CPUtime=0.94 cores=1,3,5,7
/proc/18247/task/18259/stat : 18259 (java) S 18245 18245 14983 0 -1 1077944384 4934 0 0 0 93 1 0 0 20 0 19 0 444687292 15858741248 291066 33554432000 4194304 4196468 140721330695808 140582524508400 140583063009922 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6422528 140721330697199 140721330697370 140721330697370 140721330700239 0
[pid=18247/tid=18260] ppid=18245 vsize=15487052 memory=1161956 CPUtime=0 cores=1,3,5,7
/proc/18247/task/18260/stat : 18260 (java) S 18245 18245 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 444687292 15858741248 291066 33554432000 4194304 4196468 140721330695808 140582523456096 140583063008981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6422528 140721330697199 140721330697370 140721330697370 140721330700239 0
[pid=18247/tid=18262] ppid=18245 vsize=15487052 memory=1560 CPUtime=0.01 cores=1,3,5,7
/proc/18247/task/18262/stat : 18262 (java) S 18245 18245 14983 0 -1 1077944384 797 0 0 0 0 1 0 0 20 0 19 0 444687292 15858741248 291066 33554432000 4194304 4196468 140721330695808 140582522403632 140583063009922 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6422528 140721330697199 140721330697370 140721330697370 140721330700239 0
[pid=18247/tid=18381] ppid=18245 vsize=15487052 memory=932 CPUtime=8.22 cores=1,3,5,7
/proc/18247/task/18381/stat : 18381 (java) R 18245 18245 14983 0 -1 4202560 176 0 0 0 822 0 0 0 20 0 19 0 444689609 15858741248 291066 33554432000 4194304 4196468 140721330695808 140582507117576 140582692849760 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 6422528 140721330697199 140721330697370 140721330697370 140721330700239 0
[pid=18247/tid=18382] ppid=18245 vsize=15487052 memory=3504 CPUtime=8.16 cores=1,3,5,7
/proc/18247/task/18382/stat : 18382 (java) R 18245 18245 14983 0 -1 4202560 1071 0 0 0 816 0 0 0 20 0 19 0 444689609 15858741248 291066 33554432000 4194304 4196468 140721330695808 140582509221496 140582693075049 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 6422528 140721330697199 140721330697370 140721330697370 140721330700239 0
[pid=18247/tid=18383] ppid=18245 vsize=15487052 memory=48020 CPUtime=8.17 cores=1,3,5,7
/proc/18247/task/18383/stat : 18383 (java) R 18245 18245 14983 0 -1 4202560 1754 0 0 0 817 0 0 0 20 0 19 0 444689609 15858741248 291066 33554432000 4194304 4196468 140721330695808 140582508171088 140582691640211 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 6422528 140721330697199 140721330697370 140721330697370 140721330700239 0
[pid=18247/tid=18384] ppid=18245 vsize=15487052 memory=288230574492221466 CPUtime=8.22 cores=1,3,5,7
/proc/18247/task/18384/stat : 18384 (java) R 18245 18245 14983 0 -1 4202560 1111 0 0 0 822 0 0 0 20 0 19 0 444689609 15858741248 291066 33554432000 4194304 4196468 140721330695808 140582511325352 140582694328909 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 6422528 140721330697199 140721330697370 140721330697370 140721330700239 0
Current children cumulated CPU time: 123.87 s
Current children cumulated vsize: 15600180 KiB
Current children cumulated memory: 1165716 KiB
Child status: 0
Real time (s): 31.5654
CPU time (s): 124.107
CPU user time (s): 123.671
CPU system time (s): 0.436394
CPU usage (%): 393.174
Max. virtual memory (cumulated for all children) (KiB): 15600180
Max. memory (cumulated for all children) (KiB): 1165716
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 123.671
system time used= 0.436394
maximum resident set size= 1164300
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 51133
page faults= 0
swaps= 0
block input operations= 0
block output operations= 152
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4222
involuntary context switches= 2997
# summary of solver processes directly reported to runsolver:
# pid: 18245
# total CPU time (s): 124.107
# total CPU user time (s): 123.671
# total CPU system time (s): 0.436394
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.252485 second user time and 0.392921 second system time
The end