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 (6205 MiB free)
memory of node 1: 16384 MiB (9584 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4394256-1568331453/watcher-4394256-1568331453 -o /tmp/evaluation-result-4394256-1568331453/solver-4394256-1568331453 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node124-1568329129-18218 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 12000 -tdir HOME -seed 1041872347 HOME/instance-4394256-1568331453.xml
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
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=27487, runsolver pid=27484
[startup+0.104034 s]*
/proc/loadavg: 8.47 8.49 7.56 6/233 27503
/proc/meminfo: memFree=16149028/32770624 swapFree=66959212/67108860
[pid=27487] ppid=27484 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/27487/stat : 27487 (xcsp3-exec) S 27484 27487 18186 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 409085470 115843072 363 33554432000 4194304 5098028 140722538474544 140722538472648 140517145592444 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 32116736 140722538480506 140722538480749 140722538480749 140722538483658 0
/proc/27487/statm: 28282 363 304 221 0 87 0
[pid=27489] ppid=27487 vsize=15144768 memory=29420 CPUtime=0.12 cores=1,3,5,7
/proc/27489/stat : 27489 (java) S 27487 27487 18186 0 -1 1077944320 5825 0 0 0 11 1 0 0 20 0 15 0 409085471 15508242432 7355 33554432000 4194304 4196468 140724332289392 140724332271936 140412330303223 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 6615040 140724332291055 140724332291226 140724332291226 140724332294095 0
/proc/27489/statm: 3786192 7355 3118 1 0 3748377 0
[pid=27489/tid=27490] ppid=27487 vsize=15144768 memory=-6962121287837372198 CPUtime=0.09 cores=1,3,5,7
/proc/27489/task/27490/stat : 27490 (java) R 27487 27487 18186 0 -1 4202560 3751 0 0 0 8 1 0 0 20 0 15 0 409085471 15508242432 7355 33554432000 4194304 4196468 140724332289392 140412334537760 140412330315158 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 6615040 140724332291055 140724332291226 140724332291226 140724332294095 0
[pid=27489/tid=27491] ppid=27487 vsize=15144768 memory=-3689451258167578675 CPUtime=0 cores=1,3,5,7
/proc/27489/task/27491/stat : 27491 (java) S 27487 27487 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409085472 15508242432 7355 33554432000 4194304 4196468 140724332289392 140412282924048 140412330313429 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6615040 140724332291055 140724332291226 140724332291226 140724332294095 0
[pid=27489/tid=27492] ppid=27487 vsize=15144768 memory=140059048777344 CPUtime=0 cores=1,3,5,7
/proc/27489/task/27492/stat : 27492 (java) S 27487 27487 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409085472 15508242432 7355 33554432000 4194304 4196468 140724332289392 140412281871504 140412330313429 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6615040 140724332291055 140724332291226 140724332291226 140724332294095 0
[pid=27489/tid=27493] ppid=27487 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27489/task/27493/stat : 27493 (java) S 27487 27487 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409085472 15508242432 7355 33554432000 4194304 4196468 140724332289392 140412280818448 140412330313429 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6615040 140724332291055 140724332291226 140724332291226 140724332294095 0
[pid=27489/tid=27494] ppid=27487 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27489/task/27494/stat : 27494 (java) S 27487 27487 18186 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409085472 15508242432 7355 33554432000 4194304 4196468 140724332289392 140411919063952 140412330313429 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6615040 140724332291055 140724332291226 140724332291226 140724332294095 0
[pid=27489/tid=27495] ppid=27487 vsize=15144768 memory=140059048777344 CPUtime=0 cores=1,3,5,7
/proc/27489/task/27495/stat : 27495 (java) S 27487 27487 18186 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409085473 15508242432 7355 33554432000 4194304 4196468 140724332289392 140411203999984 140412330314370 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6615040 140724332291055 140724332291226 140724332291226 140724332294095 0
[pid=27489/tid=27496] ppid=27487 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27489/task/27496/stat : 27496 (java) S 27487 27487 18186 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 409085474 15508242432 7355 33554432000 4194304 4196468 140724332289392 140411202946208 140412330313429 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6615040 140724332291055 140724332291226 140724332291226 140724332294095 0
[pid=27489/tid=27497] ppid=27487 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27489/task/27497/stat : 27497 (java) S 27487 27487 18186 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 409085474 15508242432 7355 33554432000 4194304 4196468 140724332289392 140411201893104 140412330313429 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6615040 140724332291055 140724332291226 140724332291226 140724332294095 0
[pid=27489/tid=27498] ppid=27487 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27489/task/27498/stat : 27498 (java) S 27487 27487 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409085476 15508242432 7355 33554432000 4194304 4196468 140724332289392 140411200841680 140412330321819 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6615040 140724332291055 140724332291226 140724332291226 140724332294095 0
[pid=27489/tid=27499] ppid=27487 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27489/task/27499/stat : 27499 (java) S 27487 27487 18186 0 -1 1077944384 308 0 0 0 0 0 0 0 20 0 15 0 409085476 15508242432 7355 33554432000 4194304 4196468 140724332289392 140411199789808 140412330314370 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6615040 140724332291055 140724332291226 140724332291226 140724332294095 0
[pid=27489/tid=27500] ppid=27487 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27489/task/27500/stat : 27500 (java) S 27487 27487 18186 0 -1 1077944384 125 0 0 0 0 0 0 0 20 0 15 0 409085476 15508242432 7355 33554432000 4194304 4196468 140724332289392 140411198737264 140412330314370 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6615040 140724332291055 140724332291226 140724332291226 140724332294095 0
[pid=27489/tid=27501] ppid=27487 vsize=15144768 memory=140059048777344 CPUtime=0.02 cores=1,3,5,7
/proc/27489/task/27501/stat : 27501 (java) R 27487 27487 18186 0 -1 4202560 338 0 0 0 2 0 0 0 20 0 15 0 409085476 15508242432 7355 33554432000 4194304 4196468 140724332289392 140411197684208 140412309304720 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 6615040 140724332291055 140724332291226 140724332291226 140724332294095 0
[pid=27489/tid=27502] ppid=27487 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27489/task/27502/stat : 27502 (java) S 27487 27487 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409085477 15508242432 7355 33554432000 4194304 4196468 140724332289392 140411196631904 140412330313429 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6615040 140724332291055 140724332291226 140724332291226 140724332294095 0
[pid=27489/tid=27503] ppid=27487 vsize=15144768 memory=140059048777344 CPUtime=0 cores=1,3,5,7
/proc/27489/task/27503/stat : 27503 (java) S 27487 27487 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409085477 15508242432 7355 33554432000 4194304 4196468 140724332289392 140411195578928 140412330314370 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6615040 140724332291055 140724332291226 140724332291226 140724332294095 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 30872 KiB
[startup+0.210705 s]*
/proc/loadavg: 8.47 8.49 7.56 7/233 27503
/proc/meminfo: memFree=16137280/32770624 swapFree=66959212/67108860
[pid=27487] ppid=27484 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/27487/stat : 27487 (xcsp3-exec) S 27484 27487 18186 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 409085470 115843072 363 33554432000 4194304 5098028 140722538474544 140722538472648 140517145592444 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 32116736 140722538480506 140722538480749 140722538480749 140722538483658 0
/proc/27487/statm: 28282 363 304 221 0 87 0
[pid=27489] ppid=27487 vsize=15144768 memory=40052 CPUtime=0.33 cores=1,3,5,7
/proc/27489/stat : 27489 (java) S 27487 27487 18186 0 -1 1077944320 9274 0 0 0 30 3 0 0 20 0 15 0 409085471 15508242432 10013 33554432000 4194304 4196468 140724332289392 140724332271936 140412330303223 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 6615040 140724332291055 140724332291226 140724332291226 140724332294095 0
/proc/27489/statm: 3786192 10013 3254 1 0 3748377 0
[pid=27489/tid=27490] ppid=27487 vsize=15144768 memory=7883960649037381690 CPUtime=0.19 cores=1,3,5,7
/proc/27489/task/27490/stat : 27490 (java) R 27487 27487 18186 0 -1 4202560 6575 0 0 0 17 2 0 0 20 0 15 0 409085471 15508242432 10013 33554432000 4194304 4196468 140724332289392 140412334532944 140412330325149 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 6615040 140724332291055 140724332291226 140724332291226 140724332294095 0
[pid=27489/tid=27491] ppid=27487 vsize=15144768 memory=1965945 CPUtime=0 cores=1,3,5,7
/proc/27489/task/27491/stat : 27491 (java) S 27487 27487 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409085472 15508242432 10013 33554432000 4194304 4196468 140724332289392 140412282924048 140412330313429 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6615040 140724332291055 140724332291226 140724332291226 140724332294095 0
[pid=27489/tid=27492] ppid=27487 vsize=15144768 memory=4049212815953467040 CPUtime=0 cores=1,3,5,7
/proc/27489/task/27492/stat : 27492 (java) S 27487 27487 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409085472 15508242432 10013 33554432000 4194304 4196468 140724332289392 140412281871504 140412330313429 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6615040 140724332291055 140724332291226 140724332291226 140724332294095 0
[pid=27489/tid=27493] ppid=27487 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27489/task/27493/stat : 27493 (java) S 27487 27487 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409085472 15508242432 10013 33554432000 4194304 4196468 140724332289392 140412280818448 140412330313429 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6615040 140724332291055 140724332291226 140724332291226 140724332294095 0
[pid=27489/tid=27494] ppid=27487 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27489/task/27494/stat : 27494 (java) S 27487 27487 18186 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409085472 15508242432 10013 33554432000 4194304 4196468 140724332289392 140411919063952 140412330313429 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6615040 140724332291055 140724332291226 140724332291226 140724332294095 0
[pid=27489/tid=27495] ppid=27487 vsize=15144768 memory=140059048777344 CPUtime=0 cores=1,3,5,7
/proc/27489/task/27495/stat : 27495 (java) S 27487 27487 18186 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 409085473 15508242432 10013 33554432000 4194304 4196468 140724332289392 140411203999984 140412330314370 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6615040 140724332291055 140724332291226 140724332291226 140724332294095 0
[pid=27489/tid=27496] ppid=27487 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27489/task/27496/stat : 27496 (java) S 27487 27487 18186 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 409085474 15508242432 10013 33554432000 4194304 4196468 140724332289392 140411202946208 140412330313429 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6615040 140724332291055 140724332291226 140724332291226 140724332294095 0
[pid=27489/tid=27497] ppid=27487 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27489/task/27497/stat : 27497 (java) S 27487 27487 18186 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 409085474 15508242432 10013 33554432000 4194304 4196468 140724332289392 140411201893104 140412330313429 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6615040 140724332291055 140724332291226 140724332291226 140724332294095 0
[pid=27489/tid=27498] ppid=27487 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27489/task/27498/stat : 27498 (java) S 27487 27487 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409085476 15508242432 10013 33554432000 4194304 4196468 140724332289392 140411200841680 140412330321819 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6615040 140724332291055 140724332291226 140724332291226 140724332294095 0
[pid=27489/tid=27499] ppid=27487 vsize=15144768 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/27489/task/27499/stat : 27499 (java) S 27487 27487 18186 0 -1 1077944384 446 0 0 0 3 0 0 0 20 0 15 0 409085476 15508242432 10013 33554432000 4194304 4196468 140724332289392 140411199789808 140412330314370 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6615040 140724332291055 140724332291226 140724332291226 140724332294095 0
[pid=27489/tid=27500] ppid=27487 vsize=15144768 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/27489/task/27500/stat : 27500 (java) S 27487 27487 18186 0 -1 1077944384 184 0 0 0 1 0 0 0 20 0 15 0 409085476 15508242432 10013 33554432000 4194304 4196468 140724332289392 140411198737264 140412330314370 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6615040 140724332291055 140724332291226 140724332291226 140724332294095 0
[pid=27489/tid=27501] ppid=27487 vsize=15144768 memory=140059048777344 CPUtime=0.07 cores=1,3,5,7
/proc/27489/task/27501/stat : 27501 (java) S 27487 27487 18186 0 -1 1077944384 763 0 0 0 7 0 0 0 20 0 15 0 409085476 15508242432 10013 33554432000 4194304 4196468 140724332289392 140411197684208 140412330314370 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6615040 140724332291055 140724332291226 140724332291226 140724332294095 0
[pid=27489/tid=27502] ppid=27487 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27489/task/27502/stat : 27502 (java) S 27487 27487 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409085477 15508242432 10013 33554432000 4194304 4196468 140724332289392 140411196631904 140412330313429 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6615040 140724332291055 140724332291226 140724332291226 140724332294095 0
[pid=27489/tid=27503] ppid=27487 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27489/task/27503/stat : 27503 (java) S 27487 27487 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409085477 15508242432 10013 33554432000 4194304 4196468 140724332289392 140411195578928 140412330314370 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6615040 140724332291055 140724332291226 140724332291226 140724332294095 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 41504 KiB
[startup+0.310575 s]*
/proc/loadavg: 8.47 8.49 7.56 7/233 27503
/proc/meminfo: memFree=16130120/32770624 swapFree=66959212/67108860
[pid=27487] ppid=27484 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/27487/stat : 27487 (xcsp3-exec) S 27484 27487 18186 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 409085470 115843072 363 33554432000 4194304 5098028 140722538474544 140722538472648 140517145592444 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 32116736 140722538480506 140722538480749 140722538480749 140722538483658 0
/proc/27487/statm: 28282 363 304 221 0 87 0
[pid=27489] ppid=27487 vsize=15149024 memory=49448 CPUtime=0.51 cores=1,3,5,7
/proc/27489/stat : 27489 (java) S 27487 27487 18186 0 -1 1077944320 10691 0 0 0 47 4 0 0 20 0 15 0 409085471 15512600576 12362 33554432000 4194304 4196468 140724332289392 140724332271936 140412330303223 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 6615040 140724332291055 140724332291226 140724332291226 140724332294095 0
/proc/27489/statm: 3787256 12362 3368 1 0 3748377 0
[pid=27489/tid=27490] ppid=27487 vsize=15149024 memory=6791534058613427641 CPUtime=0.29 cores=1,3,5,7
/proc/27489/task/27490/stat : 27490 (java) R 27487 27487 18186 0 -1 4202560 7690 0 0 0 26 3 0 0 20 0 15 0 409085471 15512600576 12362 33554432000 4194304 4196468 140724332289392 140412334534336 140412314383710 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 6615040 140724332291055 140724332291226 140724332291226 140724332294095 0
[pid=27489/tid=27491] ppid=27487 vsize=15149024 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/27489/task/27491/stat : 27491 (java) S 27487 27487 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409085472 15512600576 12362 33554432000 4194304 4196468 140724332289392 140412282924048 140412330313429 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6615040 140724332291055 140724332291226 140724332291226 140724332294095 0
[pid=27489/tid=27492] ppid=27487 vsize=15149024 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/27489/task/27492/stat : 27492 (java) S 27487 27487 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409085472 15512600576 12362 33554432000 4194304 4196468 140724332289392 140412281871504 140412330313429 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6615040 140724332291055 140724332291226 140724332291226 140724332294095 0
[pid=27489/tid=27493] ppid=27487 vsize=15149024 memory=-3258418265892434876 CPUtime=0 cores=1,3,5,7
/proc/27489/task/27493/stat : 27493 (java) S 27487 27487 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409085472 15512600576 12362 33554432000 4194304 4196468 140724332289392 140412280818448 140412330313429 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6615040 140724332291055 140724332291226 140724332291226 140724332294095 0
[pid=27489/tid=27494] ppid=27487 vsize=15149024 memory=4572146057552828020 CPUtime=0 cores=1,3,5,7
/proc/27489/task/27494/stat : 27494 (java) S 27487 27487 18186 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409085472 15512600576 12362 33554432000 4194304 4196468 140724332289392 140411919063952 140412330313429 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6615040 140724332291055 140724332291226 140724332291226 140724332294095 0
[pid=27489/tid=27495] ppid=27487 vsize=15149024 memory=6944613755495348631 CPUtime=0 cores=1,3,5,7
/proc/27489/task/27495/stat : 27495 (java) S 27487 27487 18186 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 409085473 15512600576 12362 33554432000 4194304 4196468 140724332289392 140411203999984 140412330314370 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6615040 140724332291055 140724332291226 140724332291226 140724332294095 0
[pid=27489/tid=27496] ppid=27487 vsize=15149024 memory=7893295687695687954 CPUtime=0 cores=1,3,5,7
/proc/27489/task/27496/stat : 27496 (java) S 27487 27487 18186 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 409085474 15512600576 12362 33554432000 4194304 4196468 140724332289392 140411202946208 140412330313429 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6615040 140724332291055 140724332291226 140724332291226 140724332294095 0
[pid=27489/tid=27497] ppid=27487 vsize=15149024 memory=-8813974798734826869 CPUtime=0 cores=1,3,5,7
/proc/27489/task/27497/stat : 27497 (java) S 27487 27487 18186 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 409085474 15512600576 12362 33554432000 4194304 4196468 140724332289392 140411201893104 140412330313429 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6615040 140724332291055 140724332291226 140724332291226 140724332294095 0
[pid=27489/tid=27498] ppid=27487 vsize=15149024 memory=-6664436420846797971 CPUtime=0 cores=1,3,5,7
/proc/27489/task/27498/stat : 27498 (java) S 27487 27487 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409085476 15512600576 12362 33554432000 4194304 4196468 140724332289392 140411200841680 140412330321819 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6615040 140724332291055 140724332291226 140724332291226 140724332294095 0
[pid=27489/tid=27499] ppid=27487 vsize=15149024 memory=4426078206164241782 CPUtime=0.04 cores=1,3,5,7
/proc/27489/task/27499/stat : 27499 (java) S 27487 27487 18186 0 -1 1077944384 471 0 0 0 4 0 0 0 20 0 15 0 409085476 15512600576 12362 33554432000 4194304 4196468 140724332289392 140411199789808 140412330314370 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6615040 140724332291055 140724332291226 140724332291226 140724332294095 0
[pid=27489/tid=27500] ppid=27487 vsize=15149024 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/27489/task/27500/stat : 27500 (java) R 27487 27487 18186 0 -1 4202560 320 0 0 0 3 0 0 0 20 0 15 0 409085476 15512600576 12362 33554432000 4194304 4196468 140724332289392 140411198718280 140412315943369 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 6615040 140724332291055 140724332291226 140724332291226 140724332294095 0
[pid=27489/tid=27501] ppid=27487 vsize=15149024 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/27489/task/27501/stat : 27501 (java) S 27487 27487 18186 0 -1 1077944384 911 0 0 0 12 0 0 0 20 0 15 0 409085476 15512600576 12362 33554432000 4194304 4196468 140724332289392 140411197684208 140412330314370 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6615040 140724332291055 140724332291226 140724332291226 140724332294095 0
[pid=27489/tid=27502] ppid=27487 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27489/task/27502/stat : 27502 (java) S 27487 27487 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409085477 15512600576 12362 33554432000 4194304 4196468 140724332289392 140411196631904 140412330313429 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6615040 140724332291055 140724332291226 140724332291226 140724332294095 0
[pid=27489/tid=27503] ppid=27487 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27489/task/27503/stat : 27503 (java) S 27487 27487 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409085477 15512600576 12362 33554432000 4194304 4196468 140724332289392 140411195578928 140412330314370 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6615040 140724332291055 140724332291226 140724332291226 140724332294095 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 15262152 KiB
Current children cumulated memory: 50900 KiB
[startup+0.705748 s]
/proc/loadavg: 8.47 8.49 7.56 8/233 27503
/proc/meminfo: memFree=16095488/32770624 swapFree=66959212/67108860
[pid=27487] ppid=27484 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/27487/stat : 27487 (xcsp3-exec) S 27484 27487 18186 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 409085470 115843072 363 33554432000 4194304 5098028 140722538474544 140722538472648 140517145592444 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 32116736 140722538480506 140722538480749 140722538480749 140722538483658 0
/proc/27487/statm: 28282 363 304 221 0 87 0
[pid=27489] ppid=27487 vsize=15151148 memory=114588 CPUtime=1.73 cores=1,3,5,7
/proc/27489/stat : 27489 (java) S 27487 27487 18186 0 -1 1077944320 15139 0 0 0 166 7 0 0 20 0 15 0 409085471 15514775552 28647 33554432000 4194304 4196468 140724332289392 140724332271936 140412330303223 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 6615040 140724332291055 140724332291226 140724332291226 140724332294095 0
/proc/27489/statm: 3787787 28647 3445 1 0 3748889 0
[pid=27489/tid=27490] ppid=27487 vsize=15151148 memory=33 CPUtime=0.68 cores=1,3,5,7
/proc/27489/task/27490/stat : 27490 (java) R 27487 27487 18186 0 -1 1077944384 9127 0 0 0 63 5 0 0 20 0 15 0 409085471 15514775552 28647 33554432000 4194304 4196468 140724332289392 140412334538736 140412330313429 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 6615040 140724332291055 140724332291226 140724332291226 140724332294095 0
[pid=27489/tid=27491] ppid=27487 vsize=15151148 memory=-7816663703405220396 CPUtime=0 cores=1,3,5,7
/proc/27489/task/27491/stat : 27491 (java) S 27487 27487 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409085472 15514775552 28647 33554432000 4194304 4196468 140724332289392 140412282924048 140412330313429 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6615040 140724332291055 140724332291226 140724332291226 140724332294095 0
[pid=27489/tid=27492] ppid=27487 vsize=15151148 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27489/task/27492/stat : 27492 (java) S 27487 27487 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409085472 15514775552 28647 33554432000 4194304 4196468 140724332289392 140412281871504 140412330313429 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6615040 140724332291055 140724332291226 140724332291226 140724332294095 0
[pid=27489/tid=27493] ppid=27487 vsize=15151148 memory=1660 CPUtime=0 cores=1,3,5,7
/proc/27489/task/27493/stat : 27493 (java) S 27487 27487 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409085472 15514775552 28647 33554432000 4194304 4196468 140724332289392 140412280818448 140412330313429 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6615040 140724332291055 140724332291226 140724332291226 140724332294095 0
[pid=27489/tid=27494] ppid=27487 vsize=15151148 memory=38320 CPUtime=0 cores=1,3,5,7
/proc/27489/task/27494/stat : 27494 (java) S 27487 27487 18186 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409085472 15514775552 28647 33554432000 4194304 4196468 140724332289392 140411919063952 140412330313429 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6615040 140724332291055 140724332291226 140724332291226 140724332294095 0
[pid=27489/tid=27495] ppid=27487 vsize=15151148 memory=988 CPUtime=0 cores=1,3,5,7
/proc/27489/task/27495/stat : 27495 (java) S 27487 27487 18186 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 409085473 15514775552 28647 33554432000 4194304 4196468 140724332289392 140411203999984 140412330314370 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6615040 140724332291055 140724332291226 140724332291226 140724332294095 0
[pid=27489/tid=27496] ppid=27487 vsize=15151148 memory=2008 CPUtime=0 cores=1,3,5,7
/proc/27489/task/27496/stat : 27496 (java) S 27487 27487 18186 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 409085474 15514775552 28647 33554432000 4194304 4196468 140724332289392 140411202946208 140412330313429 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6615040 140724332291055 140724332291226 140724332291226 140724332294095 0
[pid=27489/tid=27497] ppid=27487 vsize=15151148 memory=1436 CPUtime=0 cores=1,3,5,7
/proc/27489/task/27497/stat : 27497 (java) S 27487 27487 18186 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 409085474 15514775552 28647 33554432000 4194304 4196468 140724332289392 140411201893104 140412330313429 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6615040 140724332291055 140724332291226 140724332291226 140724332294095 0
[pid=27489/tid=27498] ppid=27487 vsize=15151148 memory=580 CPUtime=0 cores=1,3,5,7
/proc/27489/task/27498/stat : 27498 (java) S 27487 27487 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409085476 15514775552 28647 33554432000 4194304 4196468 140724332289392 140411200841680 140412330321819 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6615040 140724332291055 140724332291226 140724332291226 140724332294095 0
[pid=27489/tid=27499] ppid=27487 vsize=15151148 memory=1720 CPUtime=0.34 cores=1,3,5,7
/proc/27489/task/27499/stat : 27499 (java) R 27487 27487 18186 0 -1 4202560 1575 0 0 0 34 0 0 0 20 0 15 0 409085476 15514775552 28647 33554432000 4194304 4196468 140724332289392 140411199772048 140412313831957 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 6615040 140724332291055 140724332291226 140724332291226 140724332294095 0
[pid=27489/tid=27500] ppid=27487 vsize=15151148 memory=10604 CPUtime=0.35 cores=1,3,5,7
/proc/27489/task/27500/stat : 27500 (java) R 27487 27487 18186 0 -1 4202560 1352 0 0 0 35 0 0 0 20 0 15 0 409085476 15514775552 28647 33554432000 4194304 4196468 140724332289392 140411198723136 140412311479235 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 6615040 140724332291055 140724332291226 140724332291226 140724332294095 0
[pid=27489/tid=27501] ppid=27487 vsize=15151148 memory=3360 CPUtime=0.33 cores=1,3,5,7
/proc/27489/task/27501/stat : 27501 (java) S 27487 27487 18186 0 -1 1077944384 1780 0 0 0 33 0 0 0 20 0 15 0 409085476 15514775552 28647 33554432000 4194304 4196468 140724332289392 140411197684208 140412330314370 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6615040 140724332291055 140724332291226 140724332291226 140724332294095 0
[pid=27489/tid=27502] ppid=27487 vsize=15151148 memory=776 CPUtime=0 cores=1,3,5,7
/proc/27489/task/27502/stat : 27502 (java) S 27487 27487 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409085477 15514775552 28647 33554432000 4194304 4196468 140724332289392 140411196631904 140412330313429 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6615040 140724332291055 140724332291226 140724332291226 140724332294095 0
[pid=27489/tid=27503] ppid=27487 vsize=15151148 memory=1564 CPUtime=0 cores=1,3,5,7
/proc/27489/task/27503/stat : 27503 (java) S 27487 27487 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409085477 15514775552 28647 33554432000 4194304 4196468 140724332289392 140411195578928 140412330314370 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6615040 140724332291055 140724332291226 140724332291226 140724332294095 0
Current children cumulated CPU time: 1.73 s
Current children cumulated vsize: 15264276 KiB
Current children cumulated memory: 116040 KiB
[startup+1.5024 s]
/proc/loadavg: 8.47 8.49 7.56 9/233 27503
/proc/meminfo: memFree=15985960/32770624 swapFree=66959212/67108860
[pid=27487] ppid=27484 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/27487/stat : 27487 (xcsp3-exec) S 27484 27487 18186 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 409085470 115843072 363 33554432000 4194304 5098028 140722538474544 140722538472648 140517145592444 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 32116736 140722538480506 140722538480749 140722538480749 140722538483658 0
/proc/27487/statm: 28282 363 304 221 0 87 0
################
# More data... #
################
/proc/27489/task/27503/stat : 27503 (java) S 27487 27487 18186 0 -1 1077944384 624 0 0 0 1 1 0 0 20 0 19 0 409085477 15857680384 90437 33554432000 4194304 4196468 140724332289392 140411195578928 140412330314370 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6615040 140724332291055 140724332291226 140724332291226 140724332294095 0
[pid=27489/tid=27562] ppid=27487 vsize=15486016 memory=359700 CPUtime=33.45 cores=1,3,5,7
/proc/27489/task/27562/stat : 27562 (java) S 27487 27487 18186 0 -1 1077944384 517 0 0 0 3345 0 0 0 20 0 19 0 409087834 15857680384 90437 33554432000 4194304 4196468 140724332289392 140411184512704 140412330313429 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6615040 140724332291055 140724332291226 140724332291226 140724332294095 0
[pid=27489/tid=27563] ppid=27487 vsize=15486016 memory=1556 CPUtime=33.83 cores=1,3,5,7
/proc/27489/task/27563/stat : 27563 (java) S 27487 27487 18186 0 -1 1077944384 2208 0 0 0 3383 0 0 0 20 0 19 0 409087834 15857680384 90437 33554432000 4194304 4196468 140724332289392 140411180303056 140412330313429 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6615040 140724332291055 140724332291226 140724332291226 140724332294095 0
[pid=27489/tid=27564] ppid=27487 vsize=15486016 memory=928 CPUtime=33.57 cores=1,3,5,7
/proc/27489/task/27564/stat : 27564 (java) S 27487 27487 18186 0 -1 1077944384 629 0 0 0 3357 0 0 0 20 0 19 0 409087834 15857680384 90437 33554432000 4194304 4196468 140724332289392 140411182408528 140412330313429 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6615040 140724332291055 140724332291226 140724332291226 140724332294095 0
[pid=27489/tid=27565] ppid=27487 vsize=15486016 memory=1760 CPUtime=41.06 cores=1,3,5,7
/proc/27489/task/27565/stat : 27565 (java) R 27487 27487 18186 0 -1 4202560 1191 0 0 0 4106 0 0 0 20 0 19 0 409087834 15857680384 90437 33554432000 4194304 4196468 140724332289392 140411183456368 140411969360196 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 6615040 140724332291055 140724332291226 140724332291226 140724332294095 0
Current children cumulated CPU time: 222.36 s
Current children cumulated vsize: 15599144 KiB
Current children cumulated memory: 363200 KiB
[startup+65.6009 s]
/proc/loadavg: 8.06 8.40 7.60 6/238 27569
/proc/meminfo: memFree=15368108/32770624 swapFree=66959212/67108860
[pid=27487] ppid=27484 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/27487/stat : 27487 (xcsp3-exec) S 27484 27487 18186 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 409085470 115843072 363 33554432000 4194304 5098028 140722538474544 140722538472648 140517145592444 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 32116736 140722538480506 140722538480749 140722538480749 140722538483658 0
/proc/27487/statm: 28282 363 304 221 0 87 0
[pid=27489] ppid=27487 vsize=15486016 memory=361748 CPUtime=223.16 cores=1,3,5,7
/proc/27489/stat : 27489 (java) S 27487 27487 18186 0 -1 1077944320 53413 0 0 0 22292 24 0 0 20 0 19 0 409085471 15857680384 90437 33554432000 4194304 4196468 140724332289392 140724332271936 140412330303223 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 6615040 140724332291055 140724332291226 140724332291226 140724332294095 0
/proc/27489/statm: 3871504 90437 3528 1 0 3832606 0
[pid=27489/tid=27490] ppid=27487 vsize=15486016 memory=38320 CPUtime=1.28 cores=1,3,5,7
/proc/27489/task/27490/stat : 27490 (java) S 27487 27487 18186 0 -1 1077944384 10037 0 0 0 122 6 0 0 20 0 19 0 409085471 15857680384 90437 33554432000 4194304 4196468 140724332289392 140412334544000 140412330313429 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6615040 140724332291055 140724332291226 140724332291226 140724332294095 0
[pid=27489/tid=27491] ppid=27487 vsize=15486016 memory=6791534058613427641 CPUtime=0.03 cores=1,3,5,7
/proc/27489/task/27491/stat : 27491 (java) S 27487 27487 18186 0 -1 1077944384 72 0 0 0 2 1 0 0 20 0 19 0 409085472 15857680384 90437 33554432000 4194304 4196468 140724332289392 140412282924048 140412330313429 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6615040 140724332291055 140724332291226 140724332291226 140724332294095 0
[pid=27489/tid=27492] ppid=27487 vsize=15486016 memory=8257237230052613020 CPUtime=0.03 cores=1,3,5,7
/proc/27489/task/27492/stat : 27492 (java) S 27487 27487 18186 0 -1 1077944384 119 0 0 0 2 1 0 0 20 0 19 0 409085472 15857680384 90437 33554432000 4194304 4196468 140724332289392 140412281871504 140412330313429 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6615040 140724332291055 140724332291226 140724332291226 140724332294095 0
[pid=27489/tid=27493] ppid=27487 vsize=15486016 memory=7681905605394137875 CPUtime=0.02 cores=1,3,5,7
/proc/27489/task/27493/stat : 27493 (java) S 27487 27487 18186 0 -1 1077944384 105 0 0 0 1 1 0 0 20 0 19 0 409085472 15857680384 90437 33554432000 4194304 4196468 140724332289392 140412280818448 140412330313429 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6615040 140724332291055 140724332291226 140724332291226 140724332294095 0
[pid=27489/tid=27494] ppid=27487 vsize=15486016 memory=-7173504570862900581 CPUtime=0.03 cores=1,3,5,7
/proc/27489/task/27494/stat : 27494 (java) S 27487 27487 18186 0 -1 1077944384 91 0 0 0 2 1 0 0 20 0 19 0 409085472 15857680384 90437 33554432000 4194304 4196468 140724332289392 140411919063952 140412330313429 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6615040 140724332291055 140724332291226 140724332291226 140724332294095 0
[pid=27489/tid=27495] ppid=27487 vsize=15486016 memory=6791534058613427641 CPUtime=0.01 cores=1,3,5,7
/proc/27489/task/27495/stat : 27495 (java) S 27487 27487 18186 0 -1 1077944384 734 0 0 0 1 0 0 0 20 0 19 0 409085473 15857680384 90437 33554432000 4194304 4196468 140724332289392 140411203999984 140412330314370 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6615040 140724332291055 140724332291226 140724332291226 140724332294095 0
[pid=27489/tid=27496] ppid=27487 vsize=15486016 memory=359700 CPUtime=0 cores=1,3,5,7
/proc/27489/task/27496/stat : 27496 (java) S 27487 27487 18186 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 409085474 15857680384 90437 33554432000 4194304 4196468 140724332289392 140411202946272 140412330313429 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6615040 140724332291055 140724332291226 140724332291226 140724332294095 0
[pid=27489/tid=27497] ppid=27487 vsize=15486016 memory=928 CPUtime=0 cores=1,3,5,7
/proc/27489/task/27497/stat : 27497 (java) S 27487 27487 18186 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 409085474 15857680384 90437 33554432000 4194304 4196468 140724332289392 140411201893120 140412330313429 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6615040 140724332291055 140724332291226 140724332291226 140724332294095 0
[pid=27489/tid=27498] ppid=27487 vsize=15486016 memory=1760 CPUtime=0 cores=1,3,5,7
/proc/27489/task/27498/stat : 27498 (java) S 27487 27487 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409085476 15857680384 90437 33554432000 4194304 4196468 140724332289392 140411200841680 140412330321819 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6615040 140724332291055 140724332291226 140724332291226 140724332294095 0
[pid=27489/tid=27499] ppid=27487 vsize=15486016 memory=988 CPUtime=2.55 cores=1,3,5,7
/proc/27489/task/27499/stat : 27499 (java) S 27487 27487 18186 0 -1 1077944384 11041 0 0 0 254 1 0 0 20 0 19 0 409085476 15857680384 90437 33554432000 4194304 4196468 140724332289392 140411199789808 140412330314370 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6615040 140724332291055 140724332291226 140724332291226 140724332294095 0
[pid=27489/tid=27500] ppid=27487 vsize=15486016 memory=2008 CPUtime=2.75 cores=1,3,5,7
/proc/27489/task/27500/stat : 27500 (java) S 27487 27487 18186 0 -1 1077944384 11463 0 0 0 273 2 0 0 20 0 19 0 409085476 15857680384 90437 33554432000 4194304 4196468 140724332289392 140411198737264 140412330314370 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6615040 140724332291055 140724332291226 140724332291226 140724332294095 0
[pid=27489/tid=27501] ppid=27487 vsize=15486016 memory=1436 CPUtime=0.83 cores=1,3,5,7
/proc/27489/task/27501/stat : 27501 (java) S 27487 27487 18186 0 -1 1077944384 7780 0 0 0 82 1 0 0 20 0 19 0 409085476 15857680384 90437 33554432000 4194304 4196468 140724332289392 140411197684208 140412330314370 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6615040 140724332291055 140724332291226 140724332291226 140724332294095 0
[pid=27489/tid=27502] ppid=27487 vsize=15486016 memory=580 CPUtime=0 cores=1,3,5,7
/proc/27489/task/27502/stat : 27502 (java) S 27487 27487 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409085477 15857680384 90437 33554432000 4194304 4196468 140724332289392 140411196631904 140412330313429 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6615040 140724332291055 140724332291226 140724332291226 140724332294095 0
[pid=27489/tid=27503] ppid=27487 vsize=15486016 memory=1720 CPUtime=0.02 cores=1,3,5,7
/proc/27489/task/27503/stat : 27503 (java) S 27487 27487 18186 0 -1 1077944384 624 0 0 0 1 1 0 0 20 0 19 0 409085477 15857680384 90437 33554432000 4194304 4196468 140724332289392 140411195578928 140412330314370 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6615040 140724332291055 140724332291226 140724332291226 140724332294095 0
[pid=27489/tid=27562] ppid=27487 vsize=15486016 memory=10604 CPUtime=33.45 cores=1,3,5,7
/proc/27489/task/27562/stat : 27562 (java) S 27487 27487 18186 0 -1 1077944384 517 0 0 0 3345 0 0 0 20 0 19 0 409087834 15857680384 90437 33554432000 4194304 4196468 140724332289392 140411184512704 140412330313429 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6615040 140724332291055 140724332291226 140724332291226 140724332294095 0
[pid=27489/tid=27563] ppid=27487 vsize=15486016 memory=3360 CPUtime=33.83 cores=1,3,5,7
/proc/27489/task/27563/stat : 27563 (java) S 27487 27487 18186 0 -1 1077944384 2208 0 0 0 3383 0 0 0 20 0 19 0 409087834 15857680384 90437 33554432000 4194304 4196468 140724332289392 140411180303056 140412330313429 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6615040 140724332291055 140724332291226 140724332291226 140724332294095 0
[pid=27489/tid=27564] ppid=27487 vsize=15486016 memory=824 CPUtime=33.57 cores=1,3,5,7
/proc/27489/task/27564/stat : 27564 (java) S 27487 27487 18186 0 -1 1077944384 629 0 0 0 3357 0 0 0 20 0 19 0 409087834 15857680384 90437 33554432000 4194304 4196468 140724332289392 140411182408528 140412330313429 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6615040 140724332291055 140724332291226 140724332291226 140724332294095 0
[pid=27489/tid=27565] ppid=27487 vsize=15486016 memory=1436 CPUtime=41.86 cores=1,3,5,7
/proc/27489/task/27565/stat : 27565 (java) R 27487 27487 18186 0 -1 4202560 1222 0 0 0 4186 0 0 0 20 0 19 0 409087834 15857680384 90437 33554432000 4194304 4196468 140724332289392 140411183456368 140411969360191 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 6615040 140724332291055 140724332291226 140724332291226 140724332294095 0
Current children cumulated CPU time: 223.16 s
Current children cumulated vsize: 15599144 KiB
Current children cumulated memory: 363200 KiB
[startup+65.8009 s]
/proc/loadavg: 8.06 8.40 7.60 6/238 27569
/proc/meminfo: memFree=15368108/32770624 swapFree=66959212/67108860
[pid=27487] ppid=27484 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/27487/stat : 27487 (xcsp3-exec) S 27484 27487 18186 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 409085470 115843072 363 33554432000 4194304 5098028 140722538474544 140722538472648 140517145592444 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 32116736 140722538480506 140722538480749 140722538480749 140722538483658 0
/proc/27487/statm: 28282 363 304 221 0 87 0
[pid=27489] ppid=27487 vsize=15486016 memory=361748 CPUtime=223.36 cores=1,3,5,7
/proc/27489/stat : 27489 (java) S 27487 27487 18186 0 -1 1077944320 53413 0 0 0 22312 24 0 0 20 0 19 0 409085471 15857680384 90437 33554432000 4194304 4196468 140724332289392 140724332271936 140412330303223 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 6615040 140724332291055 140724332291226 140724332291226 140724332294095 0
/proc/27489/statm: 3871504 90437 3528 1 0 3832606 0
[pid=27489/tid=27490] ppid=27487 vsize=15486016 memory=1760 CPUtime=1.28 cores=1,3,5,7
/proc/27489/task/27490/stat : 27490 (java) S 27487 27487 18186 0 -1 1077944384 10037 0 0 0 122 6 0 0 20 0 19 0 409085471 15857680384 90437 33554432000 4194304 4196468 140724332289392 140412334544000 140412330313429 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6615040 140724332291055 140724332291226 140724332291226 140724332294095 0
[pid=27489/tid=27491] ppid=27487 vsize=15486016 memory=111636 CPUtime=0.03 cores=1,3,5,7
/proc/27489/task/27491/stat : 27491 (java) S 27487 27487 18186 0 -1 1077944384 72 0 0 0 2 1 0 0 20 0 19 0 409085472 15857680384 90437 33554432000 4194304 4196468 140724332289392 140412282924048 140412330313429 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6615040 140724332291055 140724332291226 140724332291226 140724332294095 0
[pid=27489/tid=27492] ppid=27487 vsize=15486016 memory=800 CPUtime=0.03 cores=1,3,5,7
/proc/27489/task/27492/stat : 27492 (java) S 27487 27487 18186 0 -1 1077944384 119 0 0 0 2 1 0 0 20 0 19 0 409085472 15857680384 90437 33554432000 4194304 4196468 140724332289392 140412281871504 140412330313429 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6615040 140724332291055 140724332291226 140724332291226 140724332294095 0
[pid=27489/tid=27493] ppid=27487 vsize=15486016 memory=361748 CPUtime=0.02 cores=1,3,5,7
/proc/27489/task/27493/stat : 27493 (java) S 27487 27487 18186 0 -1 1077944384 105 0 0 0 1 1 0 0 20 0 19 0 409085472 15857680384 90437 33554432000 4194304 4196468 140724332289392 140412280818448 140412330313429 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6615040 140724332291055 140724332291226 140724332291226 140724332294095 0
[pid=27489/tid=27494] ppid=27487 vsize=15486016 memory=1216 CPUtime=0.03 cores=1,3,5,7
/proc/27489/task/27494/stat : 27494 (java) S 27487 27487 18186 0 -1 1077944384 91 0 0 0 2 1 0 0 20 0 19 0 409085472 15857680384 90437 33554432000 4194304 4196468 140724332289392 140411919063952 140412330313429 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6615040 140724332291055 140724332291226 140724332291226 140724332294095 0
[pid=27489/tid=27495] ppid=27487 vsize=15486016 memory=984 CPUtime=0.01 cores=1,3,5,7
/proc/27489/task/27495/stat : 27495 (java) S 27487 27487 18186 0 -1 1077944384 734 0 0 0 1 0 0 0 20 0 19 0 409085473 15857680384 90437 33554432000 4194304 4196468 140724332289392 140411203999984 140412330314370 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6615040 140724332291055 140724332291226 140724332291226 140724332294095 0
[pid=27489/tid=27496] ppid=27487 vsize=15486016 memory=14004 CPUtime=0 cores=1,3,5,7
/proc/27489/task/27496/stat : 27496 (java) S 27487 27487 18186 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 409085474 15857680384 90437 33554432000 4194304 4196468 140724332289392 140411202946272 140412330313429 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6615040 140724332291055 140724332291226 140724332291226 140724332294095 0
[pid=27489/tid=27497] ppid=27487 vsize=15486016 memory=20496 CPUtime=0 cores=1,3,5,7
/proc/27489/task/27497/stat : 27497 (java) S 27487 27487 18186 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 409085474 15857680384 90437 33554432000 4194304 4196468 140724332289392 140411201893120 140412330313429 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6615040 140724332291055 140724332291226 140724332291226 140724332294095 0
[pid=27489/tid=27498] ppid=27487 vsize=15486016 memory=14048 CPUtime=0 cores=1,3,5,7
/proc/27489/task/27498/stat : 27498 (java) S 27487 27487 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409085476 15857680384 90437 33554432000 4194304 4196468 140724332289392 140411200841680 140412330321819 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6615040 140724332291055 140724332291226 140724332291226 140724332294095 0
[pid=27489/tid=27499] ppid=27487 vsize=15486016 memory=2124 CPUtime=2.55 cores=1,3,5,7
/proc/27489/task/27499/stat : 27499 (java) S 27487 27487 18186 0 -1 1077944384 11041 0 0 0 254 1 0 0 20 0 19 0 409085476 15857680384 90437 33554432000 4194304 4196468 140724332289392 140411199789808 140412330314370 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6615040 140724332291055 140724332291226 140724332291226 140724332294095 0
[pid=27489/tid=27500] ppid=27487 vsize=15486016 memory=500 CPUtime=2.75 cores=1,3,5,7
/proc/27489/task/27500/stat : 27500 (java) S 27487 27487 18186 0 -1 1077944384 11463 0 0 0 273 2 0 0 20 0 19 0 409085476 15857680384 90437 33554432000 4194304 4196468 140724332289392 140411198737264 140412330314370 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6615040 140724332291055 140724332291226 140724332291226 140724332294095 0
[pid=27489/tid=27501] ppid=27487 vsize=15486016 memory=1452 CPUtime=0.83 cores=1,3,5,7
/proc/27489/task/27501/stat : 27501 (java) S 27487 27487 18186 0 -1 1077944384 7780 0 0 0 82 1 0 0 20 0 19 0 409085476 15857680384 90437 33554432000 4194304 4196468 140724332289392 140411197684208 140412330314370 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6615040 140724332291055 140724332291226 140724332291226 140724332294095 0
[pid=27489/tid=27502] ppid=27487 vsize=15486016 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/27489/task/27502/stat : 27502 (java) S 27487 27487 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409085477 15857680384 90437 33554432000 4194304 4196468 140724332289392 140411196631904 140412330313429 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6615040 140724332291055 140724332291226 140724332291226 140724332294095 0
[pid=27489/tid=27503] ppid=27487 vsize=15486016 memory=1760 CPUtime=0.02 cores=1,3,5,7
/proc/27489/task/27503/stat : 27503 (java) S 27487 27487 18186 0 -1 1077944384 624 0 0 0 1 1 0 0 20 0 19 0 409085477 15857680384 90437 33554432000 4194304 4196468 140724332289392 140411195578928 140412330314370 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6615040 140724332291055 140724332291226 140724332291226 140724332294095 0
[pid=27489/tid=27562] ppid=27487 vsize=15486016 memory=111636 CPUtime=33.45 cores=1,3,5,7
/proc/27489/task/27562/stat : 27562 (java) S 27487 27487 18186 0 -1 1077944384 517 0 0 0 3345 0 0 0 20 0 19 0 409087834 15857680384 90437 33554432000 4194304 4196468 140724332289392 140411184512704 140412330313429 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6615040 140724332291055 140724332291226 140724332291226 140724332294095 0
[pid=27489/tid=27563] ppid=27487 vsize=15486016 memory=800 CPUtime=33.83 cores=1,3,5,7
/proc/27489/task/27563/stat : 27563 (java) S 27487 27487 18186 0 -1 1077944384 2208 0 0 0 3383 0 0 0 20 0 19 0 409087834 15857680384 90437 33554432000 4194304 4196468 140724332289392 140411180303056 140412330313429 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6615040 140724332291055 140724332291226 140724332291226 140724332294095 0
[pid=27489/tid=27564] ppid=27487 vsize=15486016 memory=1808 CPUtime=33.57 cores=1,3,5,7
/proc/27489/task/27564/stat : 27564 (java) S 27487 27487 18186 0 -1 1077944384 629 0 0 0 3357 0 0 0 20 0 19 0 409087834 15857680384 90437 33554432000 4194304 4196468 140724332289392 140411182408528 140412330313429 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6615040 140724332291055 140724332291226 140724332291226 140724332294095 0
[pid=27489/tid=27565] ppid=27487 vsize=15486016 memory=1448 CPUtime=42.06 cores=1,3,5,7
/proc/27489/task/27565/stat : 27565 (java) R 27487 27487 18186 0 -1 4202560 1222 0 0 0 4206 0 0 0 20 0 19 0 409087834 15857680384 90437 33554432000 4194304 4196468 140724332289392 140411183456368 140411969359917 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 6615040 140724332291055 140724332291226 140724332291226 140724332294095 0
Current children cumulated CPU time: 223.36 s
Current children cumulated vsize: 15599144 KiB
Current children cumulated memory: 363200 KiB
[startup+65.9009 s]
/proc/loadavg: 8.06 8.40 7.60 6/238 27569
/proc/meminfo: memFree=15368108/32770624 swapFree=66959212/67108860
[pid=27487] ppid=27484 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/27487/stat : 27487 (xcsp3-exec) S 27484 27487 18186 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 409085470 115843072 363 33554432000 4194304 5098028 140722538474544 140722538472648 140517145592444 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 32116736 140722538480506 140722538480749 140722538480749 140722538483658 0
/proc/27487/statm: 28282 363 304 221 0 87 0
[pid=27489] ppid=27487 vsize=15486016 memory=361748 CPUtime=223.46 cores=1,3,5,7
/proc/27489/stat : 27489 (java) S 27487 27487 18186 0 -1 1077944320 53413 0 0 0 22322 24 0 0 20 0 19 0 409085471 15857680384 90437 33554432000 4194304 4196468 140724332289392 140724332271936 140412330303223 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 6615040 140724332291055 140724332291226 140724332291226 140724332294095 0
/proc/27489/statm: 3871504 90437 3528 1 0 3832606 0
[pid=27489/tid=27490] ppid=27487 vsize=15486016 memory=1452 CPUtime=1.28 cores=1,3,5,7
/proc/27489/task/27490/stat : 27490 (java) S 27487 27487 18186 0 -1 1077944384 10037 0 0 0 122 6 0 0 20 0 19 0 409085471 15857680384 90437 33554432000 4194304 4196468 140724332289392 140412334544000 140412330313429 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6615040 140724332291055 140724332291226 140724332291226 140724332294095 0
[pid=27489/tid=27491] ppid=27487 vsize=15486016 memory=1452 CPUtime=0.03 cores=1,3,5,7
/proc/27489/task/27491/stat : 27491 (java) S 27487 27487 18186 0 -1 1077944384 72 0 0 0 2 1 0 0 20 0 19 0 409085472 15857680384 90437 33554432000 4194304 4196468 140724332289392 140412282924048 140412330313429 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6615040 140724332291055 140724332291226 140724332291226 140724332294095 0
[pid=27489/tid=27492] ppid=27487 vsize=15486016 memory=1452 CPUtime=0.03 cores=1,3,5,7
/proc/27489/task/27492/stat : 27492 (java) S 27487 27487 18186 0 -1 1077944384 119 0 0 0 2 1 0 0 20 0 19 0 409085472 15857680384 90437 33554432000 4194304 4196468 140724332289392 140412281871504 140412330313429 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6615040 140724332291055 140724332291226 140724332291226 140724332294095 0
[pid=27489/tid=27493] ppid=27487 vsize=15486016 memory=3 CPUtime=0.02 cores=1,3,5,7
/proc/27489/task/27493/stat : 27493 (java) S 27487 27487 18186 0 -1 1077944384 105 0 0 0 1 1 0 0 20 0 19 0 409085472 15857680384 90437 33554432000 4194304 4196468 140724332289392 140412280818448 140412330313429 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6615040 140724332291055 140724332291226 140724332291226 140724332294095 0
[pid=27489/tid=27494] ppid=27487 vsize=15486016 memory=1452 CPUtime=0.03 cores=1,3,5,7
/proc/27489/task/27494/stat : 27494 (java) S 27487 27487 18186 0 -1 1077944384 91 0 0 0 2 1 0 0 20 0 19 0 409085472 15857680384 90437 33554432000 4194304 4196468 140724332289392 140411919063952 140412330313429 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6615040 140724332291055 140724332291226 140724332291226 140724332294095 0
[pid=27489/tid=27495] ppid=27487 vsize=15486016 memory=1452 CPUtime=0.01 cores=1,3,5,7
/proc/27489/task/27495/stat : 27495 (java) S 27487 27487 18186 0 -1 1077944384 734 0 0 0 1 0 0 0 20 0 19 0 409085473 15857680384 90437 33554432000 4194304 4196468 140724332289392 140411203999984 140412330314370 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6615040 140724332291055 140724332291226 140724332291226 140724332294095 0
[pid=27489/tid=27496] ppid=27487 vsize=15486016 memory=3620 CPUtime=0 cores=1,3,5,7
/proc/27489/task/27496/stat : 27496 (java) S 27487 27487 18186 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 409085474 15857680384 90437 33554432000 4194304 4196468 140724332289392 140411202946272 140412330313429 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6615040 140724332291055 140724332291226 140724332291226 140724332294095 0
[pid=27489/tid=27497] ppid=27487 vsize=15486016 memory=322800 CPUtime=0 cores=1,3,5,7
/proc/27489/task/27497/stat : 27497 (java) S 27487 27487 18186 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 409085474 15857680384 90437 33554432000 4194304 4196468 140724332289392 140411201893120 140412330313429 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6615040 140724332291055 140724332291226 140724332291226 140724332294095 0
[pid=27489/tid=27498] ppid=27487 vsize=15486016 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27489/task/27498/stat : 27498 (java) S 27487 27487 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409085476 15857680384 90437 33554432000 4194304 4196468 140724332289392 140411200841680 140412330321819 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6615040 140724332291055 140724332291226 140724332291226 140724332294095 0
[pid=27489/tid=27499] ppid=27487 vsize=15486016 memory=1436 CPUtime=2.55 cores=1,3,5,7
/proc/27489/task/27499/stat : 27499 (java) S 27487 27487 18186 0 -1 1077944384 11041 0 0 0 254 1 0 0 20 0 19 0 409085476 15857680384 90437 33554432000 4194304 4196468 140724332289392 140411199789808 140412330314370 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6615040 140724332291055 140724332291226 140724332291226 140724332294095 0
[pid=27489/tid=27500] ppid=27487 vsize=15486016 memory=580 CPUtime=2.75 cores=1,3,5,7
/proc/27489/task/27500/stat : 27500 (java) S 27487 27487 18186 0 -1 1077944384 11463 0 0 0 273 2 0 0 20 0 19 0 409085476 15857680384 90437 33554432000 4194304 4196468 140724332289392 140411198737264 140412330314370 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6615040 140724332291055 140724332291226 140724332291226 140724332294095 0
[pid=27489/tid=27501] ppid=27487 vsize=15486016 memory=1452 CPUtime=0.83 cores=1,3,5,7
/proc/27489/task/27501/stat : 27501 (java) S 27487 27487 18186 0 -1 1077944384 7780 0 0 0 82 1 0 0 20 0 19 0 409085476 15857680384 90437 33554432000 4194304 4196468 140724332289392 140411197684208 140412330314370 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6615040 140724332291055 140724332291226 140724332291226 140724332294095 0
[pid=27489/tid=27502] ppid=27487 vsize=15486016 memory=359700 CPUtime=0 cores=1,3,5,7
/proc/27489/task/27502/stat : 27502 (java) S 27487 27487 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409085477 15857680384 90437 33554432000 4194304 4196468 140724332289392 140411196631904 140412330313429 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6615040 140724332291055 140724332291226 140724332291226 140724332294095 0
[pid=27489/tid=27503] ppid=27487 vsize=15486016 memory=1452 CPUtime=0.02 cores=1,3,5,7
/proc/27489/task/27503/stat : 27503 (java) S 27487 27487 18186 0 -1 1077944384 624 0 0 0 1 1 0 0 20 0 19 0 409085477 15857680384 90437 33554432000 4194304 4196468 140724332289392 140411195578928 140412330314370 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6615040 140724332291055 140724332291226 140724332291226 140724332294095 0
[pid=27489/tid=27562] ppid=27487 vsize=15486016 memory=1452 CPUtime=33.45 cores=1,3,5,7
/proc/27489/task/27562/stat : 27562 (java) S 27487 27487 18186 0 -1 1077944384 517 0 0 0 3345 0 0 0 20 0 19 0 409087834 15857680384 90437 33554432000 4194304 4196468 140724332289392 140411184512704 140412330313429 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6615040 140724332291055 140724332291226 140724332291226 140724332294095 0
[pid=27489/tid=27563] ppid=27487 vsize=15486016 memory=1720 CPUtime=33.83 cores=1,3,5,7
/proc/27489/task/27563/stat : 27563 (java) S 27487 27487 18186 0 -1 1077944384 2208 0 0 0 3383 0 0 0 20 0 19 0 409087834 15857680384 90437 33554432000 4194304 4196468 140724332289392 140411180303056 140412330313429 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6615040 140724332291055 140724332291226 140724332291226 140724332294095 0
[pid=27489/tid=27564] ppid=27487 vsize=15486016 memory=5964 CPUtime=33.57 cores=1,3,5,7
/proc/27489/task/27564/stat : 27564 (java) S 27487 27487 18186 0 -1 1077944384 629 0 0 0 3357 0 0 0 20 0 19 0 409087834 15857680384 90437 33554432000 4194304 4196468 140724332289392 140411182408528 140412330313429 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6615040 140724332291055 140724332291226 140724332291226 140724332294095 0
[pid=27489/tid=27565] ppid=27487 vsize=15486016 memory=1060 CPUtime=42.16 cores=1,3,5,7
/proc/27489/task/27565/stat : 27565 (java) R 27487 27487 18186 0 -1 4202560 1222 0 0 0 4216 0 0 0 20 0 19 0 409087834 15857680384 90437 33554432000 4194304 4196468 140724332289392 140411183456368 140411969359917 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 6615040 140724332291055 140724332291226 140724332291226 140724332294095 0
Current children cumulated CPU time: 223.46 s
Current children cumulated vsize: 15599144 KiB
Current children cumulated memory: 363200 KiB
Child status: 0
Real time (s): 65.9998
CPU time (s): 223.576
CPU user time (s): 223.318
CPU system time (s): 0.257717
CPU usage (%): 338.752
Max. virtual memory (cumulated for all children) (KiB): 15599144
Max. memory (cumulated for all children) (KiB): 363200
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 223.318
system time used= 0.257717
maximum resident set size= 364180
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 55144
page faults= 0
swaps= 0
block input operations= 0
block output operations= 192
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4950
involuntary context switches= 4949
# summary of solver processes directly reported to runsolver:
# pid: 27487
# total CPU time (s): 223.576
# total CPU user time (s): 223.318
# total CPU system time (s): 0.257717
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.498174 second user time and 0.761334 second system time
The end