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 (10331 MiB free)
memory of node 1: 16384 MiB (9384 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4283220-1503221196/watcher-4283220-1503221196 -o /tmp/evaluation-result-4283220-1503221196/solver-4283220-1503221196 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node114-1503215427-26008 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 204101026 HOME/instance-4283220-1503221196.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=26484, runsolver pid=26481
Current StackSize limit: 8192 KiB
[startup+0.109989 s]*
/proc/loadavg: 1.76 1.66 1.62 4/219 26500
/proc/meminfo: memFree=20170860/32770624 swapFree=67108860/67108860
[pid=26484] ppid=26481 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/26484/stat : 26484 (xcsp3-exec) S 26481 26484 19988 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 155207201 9740288 345 33554432000 4194304 5098028 140727284280384 140727284278488 139918362124924 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 12541952 140727284282479 140727284282683 140727284282683 140727284285419 0
/proc/26484/statm: 2378 345 289 221 0 87 0
[pid=26486] ppid=26484 vsize=13978596 memory=29600 CPUtime=0.14 cores=1,3,5,7
/proc/26486/stat : 26486 (java) S 26484 26484 19988 0 -1 1077944320 5166 0 0 0 13 1 0 0 20 0 15 0 155207201 14314082304 7400 33554432000 4194304 4196468 140726484012928 140726483995472 139859260104439 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 17166336 140726484014231 140726484014407 140726484014407 140726484017103 0
/proc/26486/statm: 3494649 7400 2907 1 0 3482966 0
[pid=26486/tid=26487] ppid=26484 vsize=13978596 memory=-6962121287837372198 CPUtime=0.1 cores=1,3,5,7
/proc/26486/task/26487/stat : 26487 (java) S 26484 26484 19988 0 -1 1077944384 3074 0 0 0 9 1 0 0 20 0 15 0 155207201 14314082304 7466 33554432000 4194304 4196468 140726484012928 139859264333344 139859260114645 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17166336 140726484014231 140726484014407 140726484014407 140726484017103 0
[pid=26486/tid=26488] ppid=26484 vsize=13978596 memory=-3689451258167578675 CPUtime=0 cores=1,3,5,7
/proc/26486/task/26488/stat : 26488 (java) S 26484 26484 19988 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 155207202 14314082304 7466 33554432000 4194304 4196468 140726484012928 139859175172496 139859260114645 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17166336 140726484014231 140726484014407 140726484014407 140726484017103 0
[pid=26486/tid=26489] ppid=26484 vsize=13978596 memory=140448930735744 CPUtime=0 cores=1,3,5,7
/proc/26486/task/26489/stat : 26489 (java) S 26484 26484 19988 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 155207202 14314082304 7466 33554432000 4194304 4196468 140726484012928 139859174119696 139859260114645 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17166336 140726484014231 140726484014407 140726484014407 140726484017103 0
[pid=26486/tid=26490] ppid=26484 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26486/task/26490/stat : 26490 (java) S 26484 26484 19988 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 155207202 14314082304 7466 33554432000 4194304 4196468 140726484012928 139859173067408 139859260114645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17166336 140726484014231 140726484014407 140726484014407 140726484017103 0
[pid=26486/tid=26491] ppid=26484 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26486/task/26491/stat : 26491 (java) S 26484 26484 19988 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 155207202 14314082304 7466 33554432000 4194304 4196468 140726484012928 139859172014608 139859260114645 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17166336 140726484014231 140726484014407 140726484014407 140726484017103 0
[pid=26486/tid=26492] ppid=26484 vsize=13978596 memory=140448930735744 CPUtime=0 cores=1,3,5,7
/proc/26486/task/26492/stat : 26492 (java) S 26484 26484 19988 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 155207203 14314082304 7466 33554432000 4194304 4196468 140726484012928 139858172160624 139859260115586 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17166336 140726484014231 140726484014407 140726484014407 140726484017103 0
[pid=26486/tid=26493] ppid=26484 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26486/task/26493/stat : 26493 (java) S 26484 26484 19988 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 155207204 14314082304 7466 33554432000 4194304 4196468 140726484012928 139858171106592 139859260114645 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17166336 140726484014231 140726484014407 140726484014407 140726484017103 0
[pid=26486/tid=26494] ppid=26484 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26486/task/26494/stat : 26494 (java) S 26484 26484 19988 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 155207204 14314082304 7466 33554432000 4194304 4196468 140726484012928 139858170054256 139859260114645 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17166336 140726484014231 140726484014407 140726484014407 140726484017103 0
[pid=26486/tid=26495] ppid=26484 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26486/task/26495/stat : 26495 (java) S 26484 26484 19988 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 155207206 14314082304 7466 33554432000 4194304 4196468 140726484012928 139858169002576 139859260123035 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17166336 140726484014231 140726484014407 140726484014407 140726484017103 0
[pid=26486/tid=26496] ppid=26484 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26486/task/26496/stat : 26496 (java) R 26484 26484 19988 0 -1 4202560 466 0 0 0 0 0 0 0 20 0 15 0 155207206 14314082304 7466 33554432000 4194304 4196468 140726484012928 139858167949424 139859244497744 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17166336 140726484014231 140726484014407 140726484014407 140726484017103 0
[pid=26486/tid=26497] ppid=26484 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26486/task/26497/stat : 26497 (java) R 26484 26484 19988 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 155207206 14314082304 7466 33554432000 4194304 4196468 140726484012928 139858166896624 139859260115586 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17166336 140726484014231 140726484014407 140726484014407 140726484017103 0
[pid=26486/tid=26498] ppid=26484 vsize=13978596 memory=140448930735744 CPUtime=0.02 cores=1,3,5,7
/proc/26486/task/26498/stat : 26498 (java) R 26484 26484 19988 0 -1 4202560 338 0 0 0 2 0 0 0 20 0 15 0 155207206 14314082304 7466 33554432000 4194304 4196468 140726484012928 139858165844336 139859260116374 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17166336 140726484014231 140726484014407 140726484014407 140726484017103 0
[pid=26486/tid=26499] ppid=26484 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26486/task/26499/stat : 26499 (java) S 26484 26484 19988 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 155207206 14314082304 7466 33554432000 4194304 4196468 140726484012928 139858164791776 139859260114645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17166336 140726484014231 140726484014407 140726484014407 140726484017103 0
[pid=26486/tid=26500] ppid=26484 vsize=13978596 memory=140448930735744 CPUtime=0 cores=1,3,5,7
/proc/26486/task/26500/stat : 26500 (java) S 26484 26484 19988 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 155207207 14314082304 7466 33554432000 4194304 4196468 140726484012928 139858163739568 139859260115586 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17166336 140726484014231 140726484014407 140726484014407 140726484017103 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 13988108 KiB
Current children cumulated memory: 30980 KiB
[startup+0.215017 s]*
/proc/loadavg: 1.76 1.66 1.62 4/219 26500
/proc/meminfo: memFree=20160556/32770624 swapFree=67108860/67108860
[pid=26484] ppid=26481 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/26484/stat : 26484 (xcsp3-exec) S 26481 26484 19988 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 155207201 9740288 345 33554432000 4194304 5098028 140727284280384 140727284278488 139918362124924 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 12541952 140727284282479 140727284282683 140727284282683 140727284285419 0
/proc/26484/statm: 2378 345 289 221 0 87 0
[pid=26486] ppid=26484 vsize=13982852 memory=40264 CPUtime=0.33 cores=1,3,5,7
/proc/26486/stat : 26486 (java) S 26484 26484 19988 0 -1 1077944320 7686 0 0 0 31 2 0 0 20 0 15 0 155207201 14318440448 10066 33554432000 4194304 4196468 140726484012928 140726483995472 139859260104439 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 17166336 140726484014231 140726484014407 140726484014407 140726484017103 0
/proc/26486/statm: 3495713 10066 3084 1 0 3482966 0
[pid=26486/tid=26487] ppid=26484 vsize=13982852 memory=7883960649037381690 CPUtime=0.19 cores=1,3,5,7
/proc/26486/task/26487/stat : 26487 (java) R 26484 26484 19988 0 -1 4202560 4906 0 0 0 18 1 0 0 20 0 15 0 155207201 14318440448 10066 33554432000 4194304 4196468 140726484012928 139859264315344 139859244184926 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17166336 140726484014231 140726484014407 140726484014407 140726484017103 0
[pid=26486/tid=26488] ppid=26484 vsize=13982852 memory=9107 CPUtime=0 cores=1,3,5,7
/proc/26486/task/26488/stat : 26488 (java) S 26484 26484 19988 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 155207202 14318440448 10066 33554432000 4194304 4196468 140726484012928 139859175172496 139859260114645 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17166336 140726484014231 140726484014407 140726484014407 140726484017103 0
[pid=26486/tid=26489] ppid=26484 vsize=13982852 memory=140448930761800 CPUtime=0 cores=1,3,5,7
/proc/26486/task/26489/stat : 26489 (java) S 26484 26484 19988 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 155207202 14318440448 10066 33554432000 4194304 4196468 140726484012928 139859174119696 139859260114645 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17166336 140726484014231 140726484014407 140726484014407 140726484017103 0
[pid=26486/tid=26490] ppid=26484 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26486/task/26490/stat : 26490 (java) S 26484 26484 19988 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 155207202 14318440448 10066 33554432000 4194304 4196468 140726484012928 139859173067408 139859260114645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17166336 140726484014231 140726484014407 140726484014407 140726484017103 0
[pid=26486/tid=26491] ppid=26484 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26486/task/26491/stat : 26491 (java) S 26484 26484 19988 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 155207202 14318440448 10066 33554432000 4194304 4196468 140726484012928 139859172014608 139859260114645 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17166336 140726484014231 140726484014407 140726484014407 140726484017103 0
[pid=26486/tid=26492] ppid=26484 vsize=13982852 memory=140448930735744 CPUtime=0 cores=1,3,5,7
/proc/26486/task/26492/stat : 26492 (java) S 26484 26484 19988 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 155207203 14318440448 10066 33554432000 4194304 4196468 140726484012928 139858172160624 139859260115586 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17166336 140726484014231 140726484014407 140726484014407 140726484017103 0
[pid=26486/tid=26493] ppid=26484 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26486/task/26493/stat : 26493 (java) S 26484 26484 19988 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 155207204 14318440448 10066 33554432000 4194304 4196468 140726484012928 139858171106592 139859260114645 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17166336 140726484014231 140726484014407 140726484014407 140726484017103 0
[pid=26486/tid=26494] ppid=26484 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26486/task/26494/stat : 26494 (java) S 26484 26484 19988 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 155207204 14318440448 10066 33554432000 4194304 4196468 140726484012928 139858170054256 139859260114645 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17166336 140726484014231 140726484014407 140726484014407 140726484017103 0
[pid=26486/tid=26495] ppid=26484 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26486/task/26495/stat : 26495 (java) S 26484 26484 19988 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 155207206 14318440448 10066 33554432000 4194304 4196468 140726484012928 139858169002576 139859260123035 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17166336 140726484014231 140726484014407 140726484014407 140726484017103 0
[pid=26486/tid=26496] ppid=26484 vsize=13982852 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/26486/task/26496/stat : 26496 (java) S 26484 26484 19988 0 -1 1077944384 594 0 0 0 3 0 0 0 20 0 15 0 155207206 14318440448 10066 33554432000 4194304 4196468 140726484012928 139858167949424 139859260115586 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17166336 140726484014231 140726484014407 140726484014407 140726484017103 0
[pid=26486/tid=26497] ppid=26484 vsize=13982852 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/26486/task/26497/stat : 26497 (java) S 26484 26484 19988 0 -1 1077944384 187 0 0 0 1 0 0 0 20 0 15 0 155207206 14318440448 10066 33554432000 4194304 4196468 140726484012928 139858166896624 139859260115586 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17166336 140726484014231 140726484014407 140726484014407 140726484017103 0
[pid=26486/tid=26498] ppid=26484 vsize=13982852 memory=140448930735744 CPUtime=0.07 cores=1,3,5,7
/proc/26486/task/26498/stat : 26498 (java) R 26484 26484 19988 0 -1 4202560 704 0 0 0 7 0 0 0 20 0 15 0 155207206 14318440448 10066 33554432000 4194304 4196468 140726484012928 139858165844336 139859260125786 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17166336 140726484014231 140726484014407 140726484014407 140726484017103 0
[pid=26486/tid=26499] ppid=26484 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26486/task/26499/stat : 26499 (java) S 26484 26484 19988 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 155207206 14318440448 10066 33554432000 4194304 4196468 140726484012928 139858164791776 139859260114645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17166336 140726484014231 140726484014407 140726484014407 140726484017103 0
[pid=26486/tid=26500] ppid=26484 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26486/task/26500/stat : 26500 (java) S 26484 26484 19988 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 155207207 14318440448 10066 33554432000 4194304 4196468 140726484012928 139858163739568 139859260115586 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17166336 140726484014231 140726484014407 140726484014407 140726484017103 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 41644 KiB
[startup+0.310734 s]*
/proc/loadavg: 1.76 1.66 1.62 4/219 26500
/proc/meminfo: memFree=20153980/32770624 swapFree=67108860/67108860
[pid=26484] ppid=26481 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/26484/stat : 26484 (xcsp3-exec) S 26481 26484 19988 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 155207201 9740288 345 33554432000 4194304 5098028 140727284280384 140727284278488 139918362124924 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 12541952 140727284282479 140727284282683 140727284282683 140727284285419 0
/proc/26484/statm: 2378 345 289 221 0 87 0
[pid=26486] ppid=26484 vsize=13982928 memory=47440 CPUtime=0.49 cores=1,3,5,7
/proc/26486/stat : 26486 (java) S 26484 26484 19988 0 -1 1077944320 8532 0 0 0 46 3 0 0 20 0 15 0 155207201 14318518272 11860 33554432000 4194304 4196468 140726484012928 140726483995472 139859260104439 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 17166336 140726484014231 140726484014407 140726484014407 140726484017103 0
/proc/26486/statm: 3495732 11860 3126 1 0 3482966 0
[pid=26486/tid=26487] ppid=26484 vsize=13982928 memory=7883960649037381690 CPUtime=0.29 cores=1,3,5,7
/proc/26486/task/26487/stat : 26487 (java) S 26484 26484 19988 0 -1 1077944384 5546 0 0 0 27 2 0 0 20 0 15 0 155207201 14318518272 11860 33554432000 4194304 4196468 140726484012928 139859264338176 139859260114645 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17166336 140726484014231 140726484014407 140726484014407 140726484017103 0
[pid=26486/tid=26488] ppid=26484 vsize=13982928 memory=9469 CPUtime=0 cores=1,3,5,7
/proc/26486/task/26488/stat : 26488 (java) S 26484 26484 19988 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 155207202 14318518272 11860 33554432000 4194304 4196468 140726484012928 139859175172496 139859260114645 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17166336 140726484014231 140726484014407 140726484014407 140726484017103 0
[pid=26486/tid=26489] ppid=26484 vsize=13982928 memory=3832897741424709467 CPUtime=0 cores=1,3,5,7
/proc/26486/task/26489/stat : 26489 (java) S 26484 26484 19988 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 155207202 14318518272 11860 33554432000 4194304 4196468 140726484012928 139859174119696 139859260114645 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17166336 140726484014231 140726484014407 140726484014407 140726484017103 0
[pid=26486/tid=26490] ppid=26484 vsize=13982928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26486/task/26490/stat : 26490 (java) S 26484 26484 19988 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 155207202 14318518272 11860 33554432000 4194304 4196468 140726484012928 139859173067408 139859260114645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17166336 140726484014231 140726484014407 140726484014407 140726484017103 0
[pid=26486/tid=26491] ppid=26484 vsize=13982928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26486/task/26491/stat : 26491 (java) S 26484 26484 19988 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 155207202 14318518272 11860 33554432000 4194304 4196468 140726484012928 139859172014608 139859260114645 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17166336 140726484014231 140726484014407 140726484014407 140726484017103 0
[pid=26486/tid=26492] ppid=26484 vsize=13982928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26486/task/26492/stat : 26492 (java) S 26484 26484 19988 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 155207203 14318518272 11860 33554432000 4194304 4196468 140726484012928 139858172160624 139859260115586 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17166336 140726484014231 140726484014407 140726484014407 140726484017103 0
[pid=26486/tid=26493] ppid=26484 vsize=13982928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26486/task/26493/stat : 26493 (java) S 26484 26484 19988 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 155207204 14318518272 11860 33554432000 4194304 4196468 140726484012928 139858171106592 139859260114645 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17166336 140726484014231 140726484014407 140726484014407 140726484017103 0
[pid=26486/tid=26494] ppid=26484 vsize=13982928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26486/task/26494/stat : 26494 (java) S 26484 26484 19988 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 155207204 14318518272 11860 33554432000 4194304 4196468 140726484012928 139858170054256 139859260114645 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17166336 140726484014231 140726484014407 140726484014407 140726484017103 0
[pid=26486/tid=26495] ppid=26484 vsize=13982928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26486/task/26495/stat : 26495 (java) S 26484 26484 19988 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 155207206 14318518272 11860 33554432000 4194304 4196468 140726484012928 139858169002576 139859260123035 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17166336 140726484014231 140726484014407 140726484014407 140726484017103 0
[pid=26486/tid=26496] ppid=26484 vsize=13982928 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/26486/task/26496/stat : 26496 (java) S 26484 26484 19988 0 -1 1077944384 700 0 0 0 4 0 0 0 20 0 15 0 155207206 14318518272 11860 33554432000 4194304 4196468 140726484012928 139858167949424 139859260115586 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17166336 140726484014231 140726484014407 140726484014407 140726484017103 0
[pid=26486/tid=26497] ppid=26484 vsize=13982928 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/26486/task/26497/stat : 26497 (java) S 26484 26484 19988 0 -1 1077944384 201 0 0 0 2 0 0 0 20 0 15 0 155207206 14318518272 11860 33554432000 4194304 4196468 140726484012928 139858166896624 139859260115586 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17166336 140726484014231 140726484014407 140726484014407 140726484017103 0
[pid=26486/tid=26498] ppid=26484 vsize=13982928 memory=0 CPUtime=0.11 cores=1,3,5,7
/proc/26486/task/26498/stat : 26498 (java) S 26484 26484 19988 0 -1 1077944384 784 0 0 0 11 0 0 0 20 0 15 0 155207206 14318518272 11860 33554432000 4194304 4196468 140726484012928 139858165844336 139859260115586 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17166336 140726484014231 140726484014407 140726484014407 140726484017103 0
[pid=26486/tid=26499] ppid=26484 vsize=13982928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26486/task/26499/stat : 26499 (java) S 26484 26484 19988 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 155207206 14318518272 11860 33554432000 4194304 4196468 140726484012928 139858164791776 139859260114645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17166336 140726484014231 140726484014407 140726484014407 140726484017103 0
[pid=26486/tid=26500] ppid=26484 vsize=13982928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26486/task/26500/stat : 26500 (java) S 26484 26484 19988 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 155207207 14318518272 11860 33554432000 4194304 4196468 140726484012928 139858163739568 139859260115586 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17166336 140726484014231 140726484014407 140726484014407 140726484017103 0
Current children cumulated CPU time: 0.49 s
Current children cumulated vsize: 13992440 KiB
Current children cumulated memory: 48820 KiB
[startup+0.701009 s]
/proc/loadavg: 1.76 1.66 1.62 7/219 26500
/proc/meminfo: memFree=20137604/32770624 swapFree=67108860/67108860
[pid=26484] ppid=26481 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/26484/stat : 26484 (xcsp3-exec) S 26481 26484 19988 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 155207201 9740288 345 33554432000 4194304 5098028 140727284280384 140727284278488 139918362124924 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 12541952 140727284282479 140727284282683 140727284282683 140727284285419 0
/proc/26484/statm: 2378 345 289 221 0 87 0
[pid=26486] ppid=26484 vsize=13984976 memory=73136 CPUtime=1.59 cores=1,3,5,7
/proc/26486/stat : 26486 (java) S 26484 26484 19988 0 -1 1077944320 12983 0 0 0 154 5 0 0 20 0 15 0 155207201 14320615424 18284 33554432000 4194304 4196468 140726484012928 140726483995472 139859260104439 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 17166336 140726484014231 140726484014407 140726484014407 140726484017103 0
/proc/26486/statm: 3496244 18284 3204 1 0 3483478 0
[pid=26486/tid=26487] ppid=26484 vsize=13984976 memory=23728 CPUtime=0.67 cores=1,3,5,7
/proc/26486/task/26487/stat : 26487 (java) R 26484 26484 19988 0 -1 4202560 6159 0 0 0 65 2 0 0 20 0 15 0 155207201 14320615424 18284 33554432000 4194304 4196468 140726484012928 139859264338176 139858851914885 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17166336 140726484014231 140726484014407 140726484014407 140726484017103 0
[pid=26486/tid=26488] ppid=26484 vsize=13984976 memory=1232 CPUtime=0 cores=1,3,5,7
/proc/26486/task/26488/stat : 26488 (java) S 26484 26484 19988 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 155207202 14320615424 18284 33554432000 4194304 4196468 140726484012928 139859175172496 139859260114645 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17166336 140726484014231 140726484014407 140726484014407 140726484017103 0
[pid=26486/tid=26489] ppid=26484 vsize=13984976 memory=1792 CPUtime=0 cores=1,3,5,7
/proc/26486/task/26489/stat : 26489 (java) S 26484 26484 19988 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 155207202 14320615424 18284 33554432000 4194304 4196468 140726484012928 139859174119696 139859260114645 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17166336 140726484014231 140726484014407 140726484014407 140726484017103 0
[pid=26486/tid=26490] ppid=26484 vsize=13984976 memory=640 CPUtime=0 cores=1,3,5,7
/proc/26486/task/26490/stat : 26490 (java) S 26484 26484 19988 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 155207202 14320615424 18284 33554432000 4194304 4196468 140726484012928 139859173067408 139859260114645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17166336 140726484014231 140726484014407 140726484014407 140726484017103 0
[pid=26486/tid=26491] ppid=26484 vsize=13984976 memory=956 CPUtime=0 cores=1,3,5,7
/proc/26486/task/26491/stat : 26491 (java) S 26484 26484 19988 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 155207202 14320615424 18284 33554432000 4194304 4196468 140726484012928 139859172014608 139859260114645 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17166336 140726484014231 140726484014407 140726484014407 140726484017103 0
[pid=26486/tid=26492] ppid=26484 vsize=13984976 memory=2468 CPUtime=0 cores=1,3,5,7
/proc/26486/task/26492/stat : 26492 (java) S 26484 26484 19988 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 155207203 14320615424 18284 33554432000 4194304 4196468 140726484012928 139858172160624 139859260115586 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17166336 140726484014231 140726484014407 140726484014407 140726484017103 0
[pid=26486/tid=26493] ppid=26484 vsize=13984976 memory=1576 CPUtime=0 cores=1,3,5,7
/proc/26486/task/26493/stat : 26493 (java) S 26484 26484 19988 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 155207204 14320615424 18284 33554432000 4194304 4196468 140726484012928 139858171106592 139859260114645 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17166336 140726484014231 140726484014407 140726484014407 140726484017103 0
[pid=26486/tid=26494] ppid=26484 vsize=13984976 memory=932 CPUtime=0 cores=1,3,5,7
/proc/26486/task/26494/stat : 26494 (java) S 26484 26484 19988 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 155207204 14320615424 18284 33554432000 4194304 4196468 140726484012928 139858170054256 139859260114645 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17166336 140726484014231 140726484014407 140726484014407 140726484017103 0
[pid=26486/tid=26495] ppid=26484 vsize=13984976 memory=2236 CPUtime=0 cores=1,3,5,7
/proc/26486/task/26495/stat : 26495 (java) S 26484 26484 19988 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 155207206 14320615424 18284 33554432000 4194304 4196468 140726484012928 139858169002576 139859260123035 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17166336 140726484014231 140726484014407 140726484014407 140726484017103 0
[pid=26486/tid=26496] ppid=26484 vsize=13984976 memory=4124 CPUtime=0.32 cores=1,3,5,7
/proc/26486/task/26496/stat : 26496 (java) R 26484 26484 19988 0 -1 4202560 2619 0 0 0 32 0 0 0 20 0 15 0 155207206 14320615424 18284 33554432000 4194304 4196468 140726484012928 139858167935304 139859241625830 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 17166336 140726484014231 140726484014407 140726484014407 140726484017103 0
[pid=26486/tid=26497] ppid=26484 vsize=13984976 memory=2200 CPUtime=0.31 cores=1,3,5,7
/proc/26486/task/26497/stat : 26497 (java) R 26484 26484 19988 0 -1 4202560 1432 0 0 0 31 0 0 0 20 0 15 0 155207206 14320615424 18284 33554432000 4194304 4196468 140726484012928 139858166877640 139859240804736 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17166336 140726484014231 140726484014407 140726484014407 140726484017103 0
[pid=26486/tid=26498] ppid=26484 vsize=13984976 memory=7528 CPUtime=0.26 cores=1,3,5,7
/proc/26486/task/26498/stat : 26498 (java) S 26484 26484 19988 0 -1 1077944384 1479 0 0 0 26 0 0 0 20 0 15 0 155207206 14320615424 18284 33554432000 4194304 4196468 140726484012928 139858165844336 139859260115586 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17166336 140726484014231 140726484014407 140726484014407 140726484017103 0
[pid=26486/tid=26499] ppid=26484 vsize=13984976 memory=840 CPUtime=0 cores=1,3,5,7
/proc/26486/task/26499/stat : 26499 (java) S 26484 26484 19988 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 155207206 14320615424 18284 33554432000 4194304 4196468 140726484012928 139858164791776 139859260114645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17166336 140726484014231 140726484014407 140726484014407 140726484017103 0
[pid=26486/tid=26500] ppid=26484 vsize=13984976 memory=1696 CPUtime=0 cores=1,3,5,7
/proc/26486/task/26500/stat : 26500 (java) S 26484 26484 19988 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 155207207 14320615424 18284 33554432000 4194304 4196468 140726484012928 139858163739568 139859260115586 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17166336 140726484014231 140726484014407 140726484014407 140726484017103 0
Current children cumulated CPU time: 1.59 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 74516 KiB
[startup+1.50084 s]
/proc/loadavg: 1.76 1.66 1.62 5/219 26500
/proc/meminfo: memFree=20115748/32770624 swapFree=67108860/67108860
[pid=26484] ppid=26481 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/26484/stat : 26484 (xcsp3-exec) S 26481 26484 19988 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 155207201 9740288 345 33554432000 4194304 5098028 140727284280384 140727284278488 139918362124924 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 12541952 140727284282479 140727284282683 140727284282683 140727284285419 0
/proc/26484/statm: 2378 345 289 221 0 87 0
################
# More data... #
################
/proc/26486/task/26494/stat : 26494 (java) S 26484 26484 19988 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 15 0 155207204 14320615424 125375 33554432000 4194304 4196468 140726484012928 139858170054272 139859260114645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17166336 140726484014231 140726484014407 140726484014407 140726484017103 0
[pid=26486/tid=26495] ppid=26484 vsize=13984976 memory=43084 CPUtime=0 cores=1,3,5,7
/proc/26486/task/26495/stat : 26495 (java) S 26484 26484 19988 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 155207206 14320615424 125375 33554432000 4194304 4196468 140726484012928 139858169002576 139859260123035 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17166336 140726484014231 140726484014407 140726484014407 140726484017103 0
[pid=26486/tid=26496] ppid=26484 vsize=13984976 memory=1792 CPUtime=3.32 cores=1,3,5,7
/proc/26486/task/26496/stat : 26496 (java) S 26484 26484 19988 0 -1 1077944384 16557 0 0 0 331 1 0 0 20 0 15 0 155207206 14320615424 125375 33554432000 4194304 4196468 140726484012928 139858167949424 139859260115586 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17166336 140726484014231 140726484014407 140726484014407 140726484017103 0
[pid=26486/tid=26497] ppid=26484 vsize=13984976 memory=640 CPUtime=4.02 cores=1,3,5,7
/proc/26486/task/26497/stat : 26497 (java) S 26484 26484 19988 0 -1 1077944384 22595 0 0 0 399 3 0 0 20 0 15 0 155207206 14320615424 125375 33554432000 4194304 4196468 140726484012928 139858166896624 139859260115586 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17166336 140726484014231 140726484014407 140726484014407 140726484017103 0
[pid=26486/tid=26498] ppid=26484 vsize=13984976 memory=1380 CPUtime=0.7 cores=1,3,5,7
/proc/26486/task/26498/stat : 26498 (java) S 26484 26484 19988 0 -1 1077944384 8736 0 0 0 67 3 0 0 20 0 15 0 155207206 14320615424 125375 33554432000 4194304 4196468 140726484012928 139858165844336 139859260115586 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17166336 140726484014231 140726484014407 140726484014407 140726484017103 0
[pid=26486/tid=26499] ppid=26484 vsize=13984976 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/26486/task/26499/stat : 26499 (java) S 26484 26484 19988 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 155207206 14320615424 125375 33554432000 4194304 4196468 140726484012928 139858164791776 139859260114645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17166336 140726484014231 140726484014407 140726484014407 140726484017103 0
[pid=26486/tid=26500] ppid=26484 vsize=13984976 memory=15876 CPUtime=1.25 cores=1,3,5,7
/proc/26486/task/26500/stat : 26500 (java) S 26484 26484 19988 0 -1 1077944384 1212 0 0 0 58 67 0 0 20 0 15 0 155207207 14320615424 125375 33554432000 4194304 4196468 140726484012928 139858163739568 139859260115586 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17166336 140726484014231 140726484014407 140726484014407 140726484017103 0
Current children cumulated CPU time: 2441.93 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 502880 KiB
[startup+2442.3 s]
/proc/loadavg: 1.53 1.59 1.64 3/218 26653
/proc/meminfo: memFree=20279656/32770624 swapFree=67108860/67108860
[pid=26484] ppid=26481 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/26484/stat : 26484 (xcsp3-exec) S 26481 26484 19988 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 155207201 9740288 345 33554432000 4194304 5098028 140727284280384 140727284278488 139918362124924 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 12541952 140727284282479 140727284282683 140727284282683 140727284285419 0
/proc/26484/statm: 2378 345 289 221 0 87 0
[pid=26486] ppid=26484 vsize=13984976 memory=501356 CPUtime=2503.21 cores=1,3,5,7
/proc/26486/stat : 26486 (java) S 26484 26484 19988 0 -1 1077944320 291775 0 0 0 249837 484 0 0 20 0 15 0 155207201 14320615424 125339 33554432000 4194304 4196468 140726484012928 140726483995472 139859260104439 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 17166336 140726484014231 140726484014407 140726484014407 140726484017103 0
/proc/26486/statm: 3496244 125339 3282 1 0 3483478 0
[pid=26486/tid=26487] ppid=26484 vsize=13984976 memory=1380 CPUtime=2419.11 cores=1,3,5,7
/proc/26486/task/26487/stat : 26487 (java) R 26484 26484 19988 0 -1 4202560 128666 0 0 0 241876 35 0 0 20 0 15 0 155207201 14320615424 125339 33554432000 4194304 4196468 140726484012928 139859264343712 139858856058489 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17166336 140726484014231 140726484014407 140726484014407 140726484017103 0
[pid=26486/tid=26488] ppid=26484 vsize=13984976 memory=501868 CPUtime=17.72 cores=1,3,5,7
/proc/26486/task/26488/stat : 26488 (java) S 26484 26484 19988 0 -1 1077944384 22395 0 0 0 1683 89 0 0 20 0 15 0 155207202 14320615424 125339 33554432000 4194304 4196468 140726484012928 139859175172496 139859260114645 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17166336 140726484014231 140726484014407 140726484014407 140726484017103 0
[pid=26486/tid=26489] ppid=26484 vsize=13984976 memory=506856 CPUtime=17.76 cores=1,3,5,7
/proc/26486/task/26489/stat : 26489 (java) S 26484 26484 19988 0 -1 1077944384 22072 0 0 0 1687 89 0 0 20 0 15 0 155207202 14320615424 125339 33554432000 4194304 4196468 140726484012928 139859174119696 139859260114645 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17166336 140726484014231 140726484014407 140726484014407 140726484017103 0
[pid=26486/tid=26490] ppid=26484 vsize=13984976 memory=507368 CPUtime=17.71 cores=1,3,5,7
/proc/26486/task/26490/stat : 26490 (java) S 26484 26484 19988 0 -1 1077944384 22175 0 0 0 1684 87 0 0 20 0 15 0 155207202 14320615424 125339 33554432000 4194304 4196468 140726484012928 139859173067408 139859260114645 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17166336 140726484014231 140726484014407 140726484014407 140726484017103 0
[pid=26486/tid=26491] ppid=26484 vsize=13984976 memory=512500 CPUtime=17.73 cores=1,3,5,7
/proc/26486/task/26491/stat : 26491 (java) S 26484 26484 19988 0 -1 1077944384 23342 0 0 0 1684 89 0 0 20 0 15 0 155207202 14320615424 125339 33554432000 4194304 4196468 140726484012928 139859172014608 139859260114645 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17166336 140726484014231 140726484014407 140726484014407 140726484017103 0
[pid=26486/tid=26492] ppid=26484 vsize=13984976 memory=507880 CPUtime=3.74 cores=1,3,5,7
/proc/26486/task/26492/stat : 26492 (java) S 26484 26484 19988 0 -1 1077944384 22445 0 0 0 319 55 0 0 20 0 15 0 155207203 14320615424 125339 33554432000 4194304 4196468 140726484012928 139858172160624 139859260115586 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17166336 140726484014231 140726484014407 140726484014407 140726484017103 0
[pid=26486/tid=26493] ppid=26484 vsize=13984976 memory=504804 CPUtime=0 cores=1,3,5,7
/proc/26486/task/26493/stat : 26493 (java) S 26484 26484 19988 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 155207204 14320615424 125339 33554432000 4194304 4196468 140726484012928 139858171106656 139859260114645 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17166336 140726484014231 140726484014407 140726484014407 140726484017103 0
[pid=26486/tid=26494] ppid=26484 vsize=13984976 memory=501868 CPUtime=0 cores=1,3,5,7
/proc/26486/task/26494/stat : 26494 (java) S 26484 26484 19988 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 15 0 155207204 14320615424 125339 33554432000 4194304 4196468 140726484012928 139858170054272 139859260114645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17166336 140726484014231 140726484014407 140726484014407 140726484017103 0
[pid=26486/tid=26495] ppid=26484 vsize=13984976 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/26486/task/26495/stat : 26495 (java) S 26484 26484 19988 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 155207206 14320615424 125339 33554432000 4194304 4196468 140726484012928 139858169002576 139859260123035 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17166336 140726484014231 140726484014407 140726484014407 140726484017103 0
[pid=26486/tid=26496] ppid=26484 vsize=13984976 memory=1380 CPUtime=3.32 cores=1,3,5,7
/proc/26486/task/26496/stat : 26496 (java) S 26484 26484 19988 0 -1 1077944384 16559 0 0 0 331 1 0 0 20 0 15 0 155207206 14320615424 125339 33554432000 4194304 4196468 140726484012928 139858167949424 139859260115586 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17166336 140726484014231 140726484014407 140726484014407 140726484017103 0
[pid=26486/tid=26497] ppid=26484 vsize=13984976 memory=1380 CPUtime=4.05 cores=1,3,5,7
/proc/26486/task/26497/stat : 26497 (java) S 26484 26484 19988 0 -1 1077944384 22788 0 0 0 402 3 0 0 20 0 15 0 155207206 14320615424 125339 33554432000 4194304 4196468 140726484012928 139858166896624 139859260115586 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17166336 140726484014231 140726484014407 140726484014407 140726484017103 0
[pid=26486/tid=26498] ppid=26484 vsize=13984976 memory=1380 CPUtime=0.7 cores=1,3,5,7
/proc/26486/task/26498/stat : 26498 (java) S 26484 26484 19988 0 -1 1077944384 8738 0 0 0 67 3 0 0 20 0 15 0 155207206 14320615424 125339 33554432000 4194304 4196468 140726484012928 139858165844336 139859260115586 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17166336 140726484014231 140726484014407 140726484014407 140726484017103 0
[pid=26486/tid=26499] ppid=26484 vsize=13984976 memory=504804 CPUtime=0 cores=1,3,5,7
/proc/26486/task/26499/stat : 26499 (java) S 26484 26484 19988 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 155207206 14320615424 125339 33554432000 4194304 4196468 140726484012928 139858164791776 139859260114645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17166336 140726484014231 140726484014407 140726484014407 140726484017103 0
[pid=26486/tid=26500] ppid=26484 vsize=13984976 memory=502896 CPUtime=1.28 cores=1,3,5,7
/proc/26486/task/26500/stat : 26500 (java) S 26484 26484 19988 0 -1 1077944384 1220 0 0 0 59 69 0 0 20 0 15 0 155207207 14320615424 125339 33554432000 4194304 4196468 140726484012928 139858163739568 139859260115586 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17166336 140726484014231 140726484014407 140726484014407 140726484017103 0
Current children cumulated CPU time: 2503.21 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 502736 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2458.9 s]
/proc/loadavg: 1.63 1.61 1.65 3/218 26653
/proc/meminfo: memFree=20265168/32770624 swapFree=67108860/67108860
[pid=26484] ppid=26481 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/26484/stat : 26484 (xcsp3-exec) S 26481 26484 19988 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 155207201 9740288 345 33554432000 4194304 5098028 140727284280384 140727284278488 139918362124924 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 12541952 140727284282479 140727284282683 140727284282683 140727284285419 0
/proc/26484/statm: 2378 345 289 221 0 87 0
[pid=26486] ppid=26484 vsize=13984976 memory=518196 CPUtime=2520.04 cores=1,3,5,7
/proc/26486/stat : 26486 (java) S 26484 26484 19988 0 -1 1077944320 293759 0 0 0 251517 487 0 0 20 0 15 0 155207201 14320615424 129549 33554432000 4194304 4196468 140726484012928 140726483995472 139859260104439 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 17166336 140726484014231 140726484014407 140726484014407 140726484017103 0
/proc/26486/statm: 3496244 129549 3282 1 0 3483478 0
[pid=26486/tid=26487] ppid=26484 vsize=13984976 memory=519220 CPUtime=2435.58 cores=1,3,5,7
/proc/26486/task/26487/stat : 26487 (java) R 26484 26484 19988 0 -1 4202560 130437 0 0 0 243522 36 0 0 20 0 15 0 155207201 14320615424 129549 33554432000 4194304 4196468 140726484012928 139859264343712 139858856058426 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17166336 140726484014231 140726484014407 140726484014407 140726484017103 0
[pid=26486/tid=26488] ppid=26484 vsize=13984976 memory=519732 CPUtime=17.81 cores=1,3,5,7
/proc/26486/task/26488/stat : 26488 (java) S 26484 26484 19988 0 -1 1077944384 22452 0 0 0 1691 90 0 0 20 0 15 0 155207202 14320615424 129549 33554432000 4194304 4196468 140726484012928 139859175172496 139859260114645 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17166336 140726484014231 140726484014407 140726484014407 140726484017103 0
[pid=26486/tid=26489] ppid=26484 vsize=13984976 memory=519732 CPUtime=17.83 cores=1,3,5,7
/proc/26486/task/26489/stat : 26489 (java) S 26484 26484 19988 0 -1 1077944384 22105 0 0 0 1694 89 0 0 20 0 15 0 155207202 14320615424 129549 33554432000 4194304 4196468 140726484012928 139859174119696 139859260114645 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17166336 140726484014231 140726484014407 140726484014407 140726484017103 0
[pid=26486/tid=26490] ppid=26484 vsize=13984976 memory=519732 CPUtime=17.79 cores=1,3,5,7
/proc/26486/task/26490/stat : 26490 (java) S 26484 26484 19988 0 -1 1077944384 22236 0 0 0 1692 87 0 0 20 0 15 0 155207202 14320615424 129549 33554432000 4194304 4196468 140726484012928 139859173067408 139859260114645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17166336 140726484014231 140726484014407 140726484014407 140726484017103 0
[pid=26486/tid=26491] ppid=26484 vsize=13984976 memory=519220 CPUtime=17.81 cores=1,3,5,7
/proc/26486/task/26491/stat : 26491 (java) S 26484 26484 19988 0 -1 1077944384 23383 0 0 0 1692 89 0 0 20 0 15 0 155207202 14320615424 129549 33554432000 4194304 4196468 140726484012928 139859172014608 139859260114645 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17166336 140726484014231 140726484014407 140726484014407 140726484017103 0
[pid=26486/tid=26492] ppid=26484 vsize=13984976 memory=1380 CPUtime=3.77 cores=1,3,5,7
/proc/26486/task/26492/stat : 26492 (java) S 26484 26484 19988 0 -1 1077944384 22464 0 0 0 322 55 0 0 20 0 15 0 155207203 14320615424 129549 33554432000 4194304 4196468 140726484012928 139858172160624 139859260115586 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17166336 140726484014231 140726484014407 140726484014407 140726484017103 0
[pid=26486/tid=26493] ppid=26484 vsize=13984976 memory=2273 CPUtime=0 cores=1,3,5,7
/proc/26486/task/26493/stat : 26493 (java) S 26484 26484 19988 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 155207204 14320615424 129549 33554432000 4194304 4196468 140726484012928 139858171106656 139859260114645 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17166336 140726484014231 140726484014407 140726484014407 140726484017103 0
[pid=26486/tid=26494] ppid=26484 vsize=13984976 memory=8836 CPUtime=0 cores=1,3,5,7
/proc/26486/task/26494/stat : 26494 (java) S 26484 26484 19988 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 15 0 155207204 14320615424 129549 33554432000 4194304 4196468 140726484012928 139858170054272 139859260114645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17166336 140726484014231 140726484014407 140726484014407 140726484017103 0
[pid=26486/tid=26495] ppid=26484 vsize=13984976 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/26486/task/26495/stat : 26495 (java) S 26484 26484 19988 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 155207206 14320615424 129549 33554432000 4194304 4196468 140726484012928 139858169002576 139859260123035 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17166336 140726484014231 140726484014407 140726484014407 140726484017103 0
[pid=26486/tid=26496] ppid=26484 vsize=13984976 memory=0 CPUtime=3.32 cores=1,3,5,7
/proc/26486/task/26496/stat : 26496 (java) S 26484 26484 19988 0 -1 1077944384 16559 0 0 0 331 1 0 0 20 0 15 0 155207206 14320615424 129549 33554432000 4194304 4196468 140726484012928 139858167949424 139859260115586 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17166336 140726484014231 140726484014407 140726484014407 140726484017103 0
[pid=26486/tid=26497] ppid=26484 vsize=13984976 memory=522608 CPUtime=4.05 cores=1,3,5,7
/proc/26486/task/26497/stat : 26497 (java) S 26484 26484 19988 0 -1 1077944384 22788 0 0 0 402 3 0 0 20 0 15 0 155207206 14320615424 129549 33554432000 4194304 4196468 140726484012928 139858166896624 139859260115586 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17166336 140726484014231 140726484014407 140726484014407 140726484017103 0
[pid=26486/tid=26498] ppid=26484 vsize=13984976 memory=301789554401345823 CPUtime=0.7 cores=1,3,5,7
/proc/26486/task/26498/stat : 26498 (java) S 26484 26484 19988 0 -1 1077944384 8738 0 0 0 67 3 0 0 20 0 15 0 155207206 14320615424 129549 33554432000 4194304 4196468 140726484012928 139858165844336 139859260115586 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17166336 140726484014231 140726484014407 140726484014407 140726484017103 0
[pid=26486/tid=26499] ppid=26484 vsize=13984976 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/26486/task/26499/stat : 26499 (java) S 26484 26484 19988 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 155207206 14320615424 129549 33554432000 4194304 4196468 140726484012928 139858164791776 139859260114645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17166336 140726484014231 140726484014407 140726484014407 140726484017103 0
[pid=26486/tid=26500] ppid=26484 vsize=13984976 memory=1380 CPUtime=1.3 cores=1,3,5,7
/proc/26486/task/26500/stat : 26500 (java) S 26484 26484 19988 0 -1 1077944384 1222 0 0 0 60 70 0 0 20 0 15 0 155207207 14320615424 129549 33554432000 4194304 4196468 140726484012928 139858163739568 139859260115586 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17166336 140726484014231 140726484014407 140726484014407 140726484017103 0
Current children cumulated CPU time: 2520.04 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 519576 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2458.91 s]
# the end of solver process 26484 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.00193 s, system=0 s
[startup+2458.91 s]
# the end of solver process 26486 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2515.18 s, system=4.87728 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2458.9 s]
/proc/loadavg: 1.63 1.61 1.65 3/218 26653
/proc/meminfo: memFree=20265168/32770624 swapFree=67108860/67108860
[pid=26484] ppid=26481 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/26484/stat : 26484 (xcsp3-exec) S 26481 26484 19988 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 155207201 9740288 345 33554432000 4194304 5098028 140727284280384 140727284278488 139918362124924 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 12541952 140727284282479 140727284282683 140727284282683 140727284285419 0
/proc/26484/statm: 2378 345 289 221 0 87 0
[pid=26486] ppid=26484 vsize=13984976 memory=518196 CPUtime=2520.04 cores=1,3,5,7
/proc/26486/stat : 26486 (java) S 26484 26484 19988 0 -1 1077944320 293759 0 0 0 251517 487 0 0 20 0 15 0 155207201 14320615424 129549 33554432000 4194304 4196468 140726484012928 140726483995472 139859260104439 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 17166336 140726484014231 140726484014407 140726484014407 140726484017103 0
/proc/26486/statm: 3496244 129549 3282 1 0 3483478 0
[pid=26486/tid=26487] ppid=26484 vsize=13984976 memory=519220 CPUtime=2435.58 cores=1,3,5,7
/proc/26486/task/26487/stat : 26487 (java) R 26484 26484 19988 0 -1 4202560 130437 0 0 0 243522 36 0 0 20 0 15 0 155207201 14320615424 129549 33554432000 4194304 4196468 140726484012928 139859264343712 139858856058426 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17166336 140726484014231 140726484014407 140726484014407 140726484017103 0
[pid=26486/tid=26488] ppid=26484 vsize=13984976 memory=519732 CPUtime=17.81 cores=1,3,5,7
/proc/26486/task/26488/stat : 26488 (java) S 26484 26484 19988 0 -1 1077944384 22452 0 0 0 1691 90 0 0 20 0 15 0 155207202 14320615424 129549 33554432000 4194304 4196468 140726484012928 139859175172496 139859260114645 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17166336 140726484014231 140726484014407 140726484014407 140726484017103 0
[pid=26486/tid=26489] ppid=26484 vsize=13984976 memory=519732 CPUtime=17.83 cores=1,3,5,7
/proc/26486/task/26489/stat : 26489 (java) S 26484 26484 19988 0 -1 1077944384 22105 0 0 0 1694 89 0 0 20 0 15 0 155207202 14320615424 129549 33554432000 4194304 4196468 140726484012928 139859174119696 139859260114645 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17166336 140726484014231 140726484014407 140726484014407 140726484017103 0
[pid=26486/tid=26490] ppid=26484 vsize=13984976 memory=519732 CPUtime=17.79 cores=1,3,5,7
/proc/26486/task/26490/stat : 26490 (java) S 26484 26484 19988 0 -1 1077944384 22236 0 0 0 1692 87 0 0 20 0 15 0 155207202 14320615424 129549 33554432000 4194304 4196468 140726484012928 139859173067408 139859260114645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17166336 140726484014231 140726484014407 140726484014407 140726484017103 0
[pid=26486/tid=26491] ppid=26484 vsize=13984976 memory=519220 CPUtime=17.81 cores=1,3,5,7
/proc/26486/task/26491/stat : 26491 (java) S 26484 26484 19988 0 -1 1077944384 23383 0 0 0 1692 89 0 0 20 0 15 0 155207202 14320615424 129549 33554432000 4194304 4196468 140726484012928 139859172014608 139859260114645 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17166336 140726484014231 140726484014407 140726484014407 140726484017103 0
[pid=26486/tid=26492] ppid=26484 vsize=13984976 memory=1380 CPUtime=3.77 cores=1,3,5,7
/proc/26486/task/26492/stat : 26492 (java) S 26484 26484 19988 0 -1 1077944384 22464 0 0 0 322 55 0 0 20 0 15 0 155207203 14320615424 129549 33554432000 4194304 4196468 140726484012928 139858172160624 139859260115586 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17166336 140726484014231 140726484014407 140726484014407 140726484017103 0
[pid=26486/tid=26493] ppid=26484 vsize=13984976 memory=2273 CPUtime=0 cores=1,3,5,7
/proc/26486/task/26493/stat : 26493 (java) S 26484 26484 19988 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 155207204 14320615424 129549 33554432000 4194304 4196468 140726484012928 139858171106656 139859260114645 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17166336 140726484014231 140726484014407 140726484014407 140726484017103 0
[pid=26486/tid=26494] ppid=26484 vsize=13984976 memory=8836 CPUtime=0 cores=1,3,5,7
/proc/26486/task/26494/stat : 26494 (java) S 26484 26484 19988 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 15 0 155207204 14320615424 129549 33554432000 4194304 4196468 140726484012928 139858170054272 139859260114645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17166336 140726484014231 140726484014407 140726484014407 140726484017103 0
[pid=26486/tid=26495] ppid=26484 vsize=13984976 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/26486/task/26495/stat : 26495 (java) S 26484 26484 19988 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 155207206 14320615424 129549 33554432000 4194304 4196468 140726484012928 139858169002576 139859260123035 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17166336 140726484014231 140726484014407 140726484014407 140726484017103 0
[pid=26486/tid=26496] ppid=26484 vsize=13984976 memory=0 CPUtime=3.32 cores=1,3,5,7
/proc/26486/task/26496/stat : 26496 (java) S 26484 26484 19988 0 -1 1077944384 16559 0 0 0 331 1 0 0 20 0 15 0 155207206 14320615424 129549 33554432000 4194304 4196468 140726484012928 139858167949424 139859260115586 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17166336 140726484014231 140726484014407 140726484014407 140726484017103 0
[pid=26486/tid=26497] ppid=26484 vsize=13984976 memory=522608 CPUtime=4.05 cores=1,3,5,7
/proc/26486/task/26497/stat : 26497 (java) S 26484 26484 19988 0 -1 1077944384 22788 0 0 0 402 3 0 0 20 0 15 0 155207206 14320615424 129549 33554432000 4194304 4196468 140726484012928 139858166896624 139859260115586 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17166336 140726484014231 140726484014407 140726484014407 140726484017103 0
[pid=26486/tid=26498] ppid=26484 vsize=13984976 memory=301789554401345823 CPUtime=0.7 cores=1,3,5,7
/proc/26486/task/26498/stat : 26498 (java) S 26484 26484 19988 0 -1 1077944384 8738 0 0 0 67 3 0 0 20 0 15 0 155207206 14320615424 129549 33554432000 4194304 4196468 140726484012928 139858165844336 139859260115586 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17166336 140726484014231 140726484014407 140726484014407 140726484017103 0
[pid=26486/tid=26499] ppid=26484 vsize=13984976 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/26486/task/26499/stat : 26499 (java) S 26484 26484 19988 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 155207206 14320615424 129549 33554432000 4194304 4196468 140726484012928 139858164791776 139859260114645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17166336 140726484014231 140726484014407 140726484014407 140726484017103 0
[pid=26486/tid=26500] ppid=26484 vsize=13984976 memory=1380 CPUtime=1.3 cores=1,3,5,7
/proc/26486/task/26500/stat : 26500 (java) S 26484 26484 19988 0 -1 1077944384 1222 0 0 0 60 70 0 0 20 0 15 0 155207207 14320615424 129549 33554432000 4194304 4196468 140726484012928 139858163739568 139859260115586 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17166336 140726484014231 140726484014407 140726484014407 140726484017103 0
Current children cumulated CPU time: 2520.04 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 519576 KiB
Child status: 143
Real time (s): 2458.91
CPU time (s): 2520.06
CPU user time (s): 2515.18
CPU system time (s): 4.87728
CPU usage (%): 102.487
Max. virtual memory (cumulated for all children) (KiB): 13994488
Max. memory (cumulated for all children) (KiB): 587432
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2515.18
system time used= 4.87728
maximum resident set size= 586572
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 294430
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3040
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 126303
involuntary context switches= 6044
# summary of solver processes directly reported to runsolver:
# pid: 26484,26486
# total CPU time (s): 2520.06
# total CPU user time (s): 2515.18
# total CPU system time (s): 4.87728
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.8614 second user time and 23.7889 second system time
The end