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 (14424 MiB free)
memory of node 1: 16384 MiB (15102 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4394183-1568351999/watcher-4394183-1568351999 -o /tmp/evaluation-result-4394183-1568351999/solver-4394183-1568351999 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node132-1568351942-22942 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 12000 -tdir HOME -seed 1581175894 HOME/instance-4394183-1568351999.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
solver pid=23282, runsolver pid=23279
Current StackSize limit: 8192 KiB
[startup+0.104589 s]*
/proc/loadavg: 1.28 1.09 1.13 7/239 23298
/proc/meminfo: memFree=30217936/32770624 swapFree=67009020/67108860
[pid=23282] ppid=23279 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/23282/stat : 23282 (xcsp3-exec) S 23279 23282 22910 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 411122647 115843072 362 33554432000 4194304 5098028 140722239566688 140722239564792 139691855733372 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 22872064 140722239574906 140722239575149 140722239575149 140722239578058 0
/proc/23282/statm: 28282 362 304 221 0 87 0
[pid=23284] ppid=23282 vsize=15144768 memory=29204 CPUtime=0.14 cores=1,3,5,7
/proc/23284/stat : 23284 (java) S 23282 23282 22910 0 -1 1077944320 5727 0 0 0 13 1 0 0 20 0 15 0 411122647 15508242432 7301 33554432000 4194304 4196468 140726501807904 140726501790448 140602454150903 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 32206848 140726501815279 140726501815450 140726501815450 140726501818319 0
/proc/23284/statm: 3786192 7301 3215 1 0 3748377 0
[pid=23284/tid=23285] ppid=23282 vsize=15144768 memory=-2915664431881770398 CPUtime=0.09 cores=1,3,5,7
/proc/23284/task/23285/stat : 23285 (java) R 23282 23282 22910 0 -1 4202560 3582 0 0 0 8 1 0 0 20 0 15 0 411122647 15508242432 7301 33554432000 4194304 4196468 140726501807904 140602458381904 140602454162838 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32206848 140726501815279 140726501815450 140726501815450 140726501818319 0
[pid=23284/tid=23286] ppid=23282 vsize=15144768 memory=4206468019014099040 CPUtime=0 cores=1,3,5,7
/proc/23284/task/23286/stat : 23286 (java) S 23282 23282 22910 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411122648 15508242432 7301 33554432000 4194304 4196468 140726501807904 140602406771344 140602454161109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32206848 140726501815279 140726501815450 140726501815450 140726501818319 0
[pid=23284/tid=23287] ppid=23282 vsize=15144768 memory=139966892254848 CPUtime=0 cores=1,3,5,7
/proc/23284/task/23287/stat : 23287 (java) S 23282 23282 22910 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411122648 15508242432 7301 33554432000 4194304 4196468 140726501807904 140602405718544 140602454161109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32206848 140726501815279 140726501815450 140726501815450 140726501818319 0
[pid=23284/tid=23288] ppid=23282 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23284/task/23288/stat : 23288 (java) S 23282 23282 22910 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411122648 15508242432 7301 33554432000 4194304 4196468 140726501807904 140602404665744 140602454161109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32206848 140726501815279 140726501815450 140726501815450 140726501818319 0
[pid=23284/tid=23289] ppid=23282 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23284/task/23289/stat : 23289 (java) S 23282 23282 22910 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 411122648 15508242432 7301 33554432000 4194304 4196468 140726501807904 140602403612944 140602454161109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32206848 140726501815279 140726501815450 140726501815450 140726501818319 0
[pid=23284/tid=23290] ppid=23282 vsize=15144768 memory=139966892254848 CPUtime=0 cores=1,3,5,7
/proc/23284/task/23290/stat : 23290 (java) S 23282 23282 22910 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 411122649 15508242432 7301 33554432000 4194304 4196468 140726501807904 140601922128752 140602454162050 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32206848 140726501815279 140726501815450 140726501815450 140726501818319 0
[pid=23284/tid=23291] ppid=23282 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23284/task/23291/stat : 23291 (java) S 23282 23282 22910 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 411122650 15508242432 7301 33554432000 4194304 4196468 140726501807904 140601921074720 140602454161109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32206848 140726501815279 140726501815450 140726501815450 140726501818319 0
[pid=23284/tid=23292] ppid=23282 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23284/task/23292/stat : 23292 (java) S 23282 23282 22910 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 411122650 15508242432 7301 33554432000 4194304 4196468 140726501807904 140601920021872 140602454161109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32206848 140726501815279 140726501815450 140726501815450 140726501818319 0
[pid=23284/tid=23293] ppid=23282 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23284/task/23293/stat : 23293 (java) S 23282 23282 22910 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411122653 15508242432 7301 33554432000 4194304 4196468 140726501807904 140601918970192 140602454169499 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32206848 140726501815279 140726501815450 140726501815450 140726501818319 0
[pid=23284/tid=23294] ppid=23282 vsize=15144768 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/23284/task/23294/stat : 23294 (java) S 23282 23282 22910 0 -1 1077944384 469 0 0 0 1 0 0 0 20 0 15 0 411122653 15508242432 7301 33554432000 4194304 4196468 140726501807904 140601917917552 140602454162050 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32206848 140726501815279 140726501815450 140726501815450 140726501818319 0
[pid=23284/tid=23295] ppid=23282 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23284/task/23295/stat : 23295 (java) S 23282 23282 22910 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411122653 15508242432 7301 33554432000 4194304 4196468 140726501807904 140601916864752 140602454162050 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32206848 140726501815279 140726501815450 140726501815450 140726501818319 0
[pid=23284/tid=23296] ppid=23282 vsize=15144768 memory=139966892254848 CPUtime=0.02 cores=1,3,5,7
/proc/23284/task/23296/stat : 23296 (java) R 23282 23282 22910 0 -1 4202560 374 0 0 0 2 0 0 0 20 0 15 0 411122653 15508242432 7301 33554432000 4194304 4196468 140726501807904 140601915811952 140602432643040 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32206848 140726501815279 140726501815450 140726501815450 140726501818319 0
[pid=23284/tid=23297] ppid=23282 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23284/task/23297/stat : 23297 (java) S 23282 23282 22910 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411122653 15508242432 7301 33554432000 4194304 4196468 140726501807904 140601914759392 140602454161109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32206848 140726501815279 140726501815450 140726501815450 140726501818319 0
[pid=23284/tid=23298] ppid=23282 vsize=15144768 memory=139966892254848 CPUtime=0 cores=1,3,5,7
/proc/23284/task/23298/stat : 23298 (java) S 23282 23282 22910 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411122653 15508242432 7301 33554432000 4194304 4196468 140726501807904 140601913707696 140602454162050 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32206848 140726501815279 140726501815450 140726501815450 140726501818319 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 30652 KiB
[startup+0.211056 s]*
/proc/loadavg: 1.28 1.09 1.13 6/239 23298
/proc/meminfo: memFree=30205196/32770624 swapFree=67009020/67108860
[pid=23282] ppid=23279 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/23282/stat : 23282 (xcsp3-exec) S 23279 23282 22910 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 411122647 115843072 362 33554432000 4194304 5098028 140722239566688 140722239564792 139691855733372 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 22872064 140722239574906 140722239575149 140722239575149 140722239578058 0
/proc/23282/statm: 28282 362 304 221 0 87 0
[pid=23284] ppid=23282 vsize=15144768 memory=40864 CPUtime=0.34 cores=1,3,5,7
/proc/23284/stat : 23284 (java) S 23282 23282 22910 0 -1 1077944320 9470 0 0 0 31 3 0 0 20 0 15 0 411122647 15508242432 10153 33554432000 4194304 4196468 140726501807904 140726501790448 140602454150903 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 32206848 140726501815279 140726501815450 140726501815450 140726501818319 0
/proc/23284/statm: 3786192 10216 3276 1 0 3748377 0
[pid=23284/tid=23285] ppid=23282 vsize=15144768 memory=7022364632946311227 CPUtime=0.2 cores=1,3,5,7
/proc/23284/task/23285/stat : 23285 (java) R 23282 23282 22910 0 -1 4202560 6638 0 0 0 18 2 0 0 20 0 15 0 411122647 15508242432 10216 33554432000 4194304 4196468 140726501807904 140602458387952 140602438231390 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32206848 140726501815279 140726501815450 140726501815450 140726501818319 0
[pid=23284/tid=23286] ppid=23282 vsize=15144768 memory=544 CPUtime=0 cores=1,3,5,7
/proc/23284/task/23286/stat : 23286 (java) S 23282 23282 22910 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411122648 15508242432 10216 33554432000 4194304 4196468 140726501807904 140602406771344 140602454161109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32206848 140726501815279 140726501815450 140726501815450 140726501818319 0
[pid=23284/tid=23287] ppid=23282 vsize=15144768 memory=139966892277962 CPUtime=0 cores=1,3,5,7
/proc/23284/task/23287/stat : 23287 (java) S 23282 23282 22910 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411122648 15508242432 10216 33554432000 4194304 4196468 140726501807904 140602405718544 140602454161109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32206848 140726501815279 140726501815450 140726501815450 140726501818319 0
[pid=23284/tid=23288] ppid=23282 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23284/task/23288/stat : 23288 (java) S 23282 23282 22910 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411122648 15508242432 10216 33554432000 4194304 4196468 140726501807904 140602404665744 140602454161109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32206848 140726501815279 140726501815450 140726501815450 140726501818319 0
[pid=23284/tid=23289] ppid=23282 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23284/task/23289/stat : 23289 (java) S 23282 23282 22910 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 411122648 15508242432 10216 33554432000 4194304 4196468 140726501807904 140602403612944 140602454161109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32206848 140726501815279 140726501815450 140726501815450 140726501818319 0
[pid=23284/tid=23290] ppid=23282 vsize=15144768 memory=139966892254848 CPUtime=0 cores=1,3,5,7
/proc/23284/task/23290/stat : 23290 (java) S 23282 23282 22910 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 411122649 15508242432 10216 33554432000 4194304 4196468 140726501807904 140601922128752 140602454162050 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32206848 140726501815279 140726501815450 140726501815450 140726501818319 0
[pid=23284/tid=23291] ppid=23282 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23284/task/23291/stat : 23291 (java) S 23282 23282 22910 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 411122650 15508242432 10216 33554432000 4194304 4196468 140726501807904 140601921074720 140602454161109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32206848 140726501815279 140726501815450 140726501815450 140726501818319 0
[pid=23284/tid=23292] ppid=23282 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23284/task/23292/stat : 23292 (java) S 23282 23282 22910 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 411122650 15508242432 10216 33554432000 4194304 4196468 140726501807904 140601920021872 140602454161109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32206848 140726501815279 140726501815450 140726501815450 140726501818319 0
[pid=23284/tid=23293] ppid=23282 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23284/task/23293/stat : 23293 (java) S 23282 23282 22910 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411122653 15508242432 10216 33554432000 4194304 4196468 140726501807904 140601918970192 140602454169499 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32206848 140726501815279 140726501815450 140726501815450 140726501818319 0
[pid=23284/tid=23294] ppid=23282 vsize=15144768 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/23284/task/23294/stat : 23294 (java) S 23282 23282 22910 0 -1 1077944384 652 0 0 0 2 0 0 0 20 0 15 0 411122653 15508242432 10216 33554432000 4194304 4196468 140726501807904 140601917917552 140602454162050 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32206848 140726501815279 140726501815450 140726501815450 140726501818319 0
[pid=23284/tid=23295] ppid=23282 vsize=15144768 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/23284/task/23295/stat : 23295 (java) S 23282 23282 22910 0 -1 1077944384 106 0 0 0 2 0 0 0 20 0 15 0 411122653 15508242432 10216 33554432000 4194304 4196468 140726501807904 140601916864752 140602454162050 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32206848 140726501815279 140726501815450 140726501815450 140726501818319 0
[pid=23284/tid=23296] ppid=23282 vsize=15144768 memory=139966892254848 CPUtime=0.08 cores=1,3,5,7
/proc/23284/task/23296/stat : 23296 (java) S 23282 23282 22910 0 -1 1077944384 784 0 0 0 8 0 0 0 20 0 15 0 411122653 15508242432 10216 33554432000 4194304 4196468 140726501807904 140601915811952 140602454162050 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32206848 140726501815279 140726501815450 140726501815450 140726501818319 0
[pid=23284/tid=23297] ppid=23282 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23284/task/23297/stat : 23297 (java) S 23282 23282 22910 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411122653 15508242432 10216 33554432000 4194304 4196468 140726501807904 140601914759392 140602454161109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32206848 140726501815279 140726501815450 140726501815450 140726501818319 0
[pid=23284/tid=23298] ppid=23282 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23284/task/23298/stat : 23298 (java) S 23282 23282 22910 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411122653 15508242432 10216 33554432000 4194304 4196468 140726501807904 140601913707696 140602454162050 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32206848 140726501815279 140726501815450 140726501815450 140726501818319 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 42312 KiB
[startup+0.310894 s]*
/proc/loadavg: 1.28 1.09 1.13 7/239 23298
/proc/meminfo: memFree=30184512/32770624 swapFree=67009020/67108860
[pid=23282] ppid=23279 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/23282/stat : 23282 (xcsp3-exec) S 23279 23282 22910 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 411122647 115843072 362 33554432000 4194304 5098028 140722239566688 140722239564792 139691855733372 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 22872064 140722239574906 140722239575149 140722239575149 140722239578058 0
/proc/23282/statm: 28282 362 304 221 0 87 0
[pid=23284] ppid=23282 vsize=15149024 memory=50120 CPUtime=0.53 cores=1,3,5,7
/proc/23284/stat : 23284 (java) S 23282 23282 22910 0 -1 1077944320 10898 0 0 0 50 3 0 0 20 0 15 0 411122647 15512600576 12530 33554432000 4194304 4196468 140726501807904 140726501790448 140602454150903 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 32206848 140726501815279 140726501815450 140726501815450 140726501818319 0
/proc/23284/statm: 3787256 12530 3369 1 0 3748377 0
[pid=23284/tid=23285] ppid=23282 vsize=15149024 memory=1398722017469774279 CPUtime=0.3 cores=1,3,5,7
/proc/23284/task/23285/stat : 23285 (java) R 23282 23282 22910 0 -1 4202560 7841 0 0 0 27 3 0 0 20 0 15 0 411122647 15512600576 12530 33554432000 4194304 4196468 140726501807904 140602458382016 140602438231390 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32206848 140726501815279 140726501815450 140726501815450 140726501818319 0
[pid=23284/tid=23286] ppid=23282 vsize=15149024 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/23284/task/23286/stat : 23286 (java) S 23282 23282 22910 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411122648 15512600576 12530 33554432000 4194304 4196468 140726501807904 140602406771344 140602454161109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32206848 140726501815279 140726501815450 140726501815450 140726501818319 0
[pid=23284/tid=23287] ppid=23282 vsize=15149024 memory=6944656592455360604 CPUtime=0 cores=1,3,5,7
/proc/23284/task/23287/stat : 23287 (java) S 23282 23282 22910 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411122648 15512600576 12530 33554432000 4194304 4196468 140726501807904 140602405718544 140602454161109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32206848 140726501815279 140726501815450 140726501815450 140726501818319 0
[pid=23284/tid=23288] ppid=23282 vsize=15149024 memory=-3040564339105353098 CPUtime=0 cores=1,3,5,7
/proc/23284/task/23288/stat : 23288 (java) S 23282 23282 22910 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411122648 15512600576 12530 33554432000 4194304 4196468 140726501807904 140602404665744 140602454161109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32206848 140726501815279 140726501815450 140726501815450 140726501818319 0
[pid=23284/tid=23289] ppid=23282 vsize=15149024 memory=7161331908245094050 CPUtime=0 cores=1,3,5,7
/proc/23284/task/23289/stat : 23289 (java) S 23282 23282 22910 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 411122648 15512600576 12530 33554432000 4194304 4196468 140726501807904 140602403612944 140602454161109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32206848 140726501815279 140726501815450 140726501815450 140726501818319 0
[pid=23284/tid=23290] ppid=23282 vsize=15149024 memory=6944656591801720471 CPUtime=0 cores=1,3,5,7
/proc/23284/task/23290/stat : 23290 (java) S 23282 23282 22910 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 411122649 15512600576 12530 33554432000 4194304 4196468 140726501807904 140601922128752 140602454162050 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32206848 140726501815279 140726501815450 140726501815450 140726501818319 0
[pid=23284/tid=23291] ppid=23282 vsize=15149024 memory=-8458152057954561420 CPUtime=0 cores=1,3,5,7
/proc/23284/task/23291/stat : 23291 (java) S 23282 23282 22910 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 411122650 15512600576 12530 33554432000 4194304 4196468 140726501807904 140601921074720 140602454161109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32206848 140726501815279 140726501815450 140726501815450 140726501818319 0
[pid=23284/tid=23292] ppid=23282 vsize=15149024 memory=-8813974798734826869 CPUtime=0 cores=1,3,5,7
/proc/23284/task/23292/stat : 23292 (java) S 23282 23282 22910 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 411122650 15512600576 12530 33554432000 4194304 4196468 140726501807904 140601920021872 140602454161109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32206848 140726501815279 140726501815450 140726501815450 140726501818319 0
[pid=23284/tid=23293] ppid=23282 vsize=15149024 memory=7031125463459224206 CPUtime=0 cores=1,3,5,7
/proc/23284/task/23293/stat : 23293 (java) S 23282 23282 22910 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411122653 15512600576 12530 33554432000 4194304 4196468 140726501807904 140601918970192 140602454169499 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32206848 140726501815279 140726501815450 140726501815450 140726501818319 0
[pid=23284/tid=23294] ppid=23282 vsize=15149024 memory=4426078206164241782 CPUtime=0.04 cores=1,3,5,7
/proc/23284/task/23294/stat : 23294 (java) S 23282 23282 22910 0 -1 1077944384 683 0 0 0 4 0 0 0 20 0 15 0 411122653 15512600576 12530 33554432000 4194304 4196468 140726501807904 140601917917552 140602454162050 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32206848 140726501815279 140726501815450 140726501815450 140726501818319 0
[pid=23284/tid=23295] ppid=23282 vsize=15149024 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/23284/task/23295/stat : 23295 (java) S 23282 23282 22910 0 -1 1077944384 191 0 0 0 5 0 0 0 20 0 15 0 411122653 15512600576 12530 33554432000 4194304 4196468 140726501807904 140601916864752 140602454162050 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32206848 140726501815279 140726501815450 140726501815450 140726501818319 0
[pid=23284/tid=23296] ppid=23282 vsize=15149024 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/23284/task/23296/stat : 23296 (java) S 23282 23282 22910 0 -1 1077944384 885 0 0 0 12 0 0 0 20 0 15 0 411122653 15512600576 12530 33554432000 4194304 4196468 140726501807904 140601915811952 140602454162050 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32206848 140726501815279 140726501815450 140726501815450 140726501818319 0
[pid=23284/tid=23297] ppid=23282 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23284/task/23297/stat : 23297 (java) S 23282 23282 22910 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411122653 15512600576 12530 33554432000 4194304 4196468 140726501807904 140601914759392 140602454161109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32206848 140726501815279 140726501815450 140726501815450 140726501818319 0
[pid=23284/tid=23298] ppid=23282 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23284/task/23298/stat : 23298 (java) S 23282 23282 22910 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411122653 15512600576 12530 33554432000 4194304 4196468 140726501807904 140601913707696 140602454162050 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32206848 140726501815279 140726501815450 140726501815450 140726501818319 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262152 KiB
Current children cumulated memory: 51568 KiB
[startup+0.714825 s]
/proc/loadavg: 1.58 1.15 1.15 5/227 23321
/proc/meminfo: memFree=30351872/32770624 swapFree=67009020/67108860
[pid=23282] ppid=23279 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/23282/stat : 23282 (xcsp3-exec) S 23279 23282 22910 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 411122647 115843072 362 33554432000 4194304 5098028 140722239566688 140722239564792 139691855733372 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 22872064 140722239574906 140722239575149 140722239575149 140722239578058 0
/proc/23282/statm: 28282 362 304 221 0 87 0
[pid=23284] ppid=23282 vsize=15151148 memory=95860 CPUtime=1.79 cores=1,3,5,7
/proc/23284/stat : 23284 (java) S 23282 23282 22910 0 -1 1077944320 15730 0 0 0 172 7 0 0 20 0 15 0 411122647 15514775552 23453 33554432000 4194304 4196468 140726501807904 140726501790448 140602454150903 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 32206848 140726501815279 140726501815450 140726501815450 140726501818319 0
/proc/23284/statm: 3787787 23453 3454 1 0 3748889 0
[pid=23284/tid=23285] ppid=23282 vsize=15151148 memory=3760568572292904851 CPUtime=0.69 cores=1,3,5,7
/proc/23284/task/23285/stat : 23285 (java) R 23282 23282 22910 0 -1 4202560 8657 0 0 0 65 4 0 0 20 0 15 0 411122647 15514775552 23965 33554432000 4194304 4196468 140726501807904 140602458386288 140602084259330 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32206848 140726501815279 140726501815450 140726501815450 140726501818319 0
[pid=23284/tid=23286] ppid=23282 vsize=15151148 memory=3047711553219693942 CPUtime=0 cores=1,3,5,7
/proc/23284/task/23286/stat : 23286 (java) S 23282 23282 22910 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411122648 15514775552 23965 33554432000 4194304 4196468 140726501807904 140602406771344 140602454161109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32206848 140726501815279 140726501815450 140726501815450 140726501818319 0
[pid=23284/tid=23287] ppid=23282 vsize=15151148 memory=4134606225630022328 CPUtime=0 cores=1,3,5,7
/proc/23284/task/23287/stat : 23287 (java) S 23282 23282 22910 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411122648 15514775552 23965 33554432000 4194304 4196468 140726501807904 140602405718544 140602454161109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32206848 140726501815279 140726501815450 140726501815450 140726501818319 0
[pid=23284/tid=23288] ppid=23282 vsize=15151148 memory=-7522837583129502606 CPUtime=0 cores=1,3,5,7
/proc/23284/task/23288/stat : 23288 (java) S 23282 23282 22910 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411122648 15514775552 23965 33554432000 4194304 4196468 140726501807904 140602404665744 140602454161109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32206848 140726501815279 140726501815450 140726501815450 140726501818319 0
[pid=23284/tid=23289] ppid=23282 vsize=15151148 memory=-6804530832991035292 CPUtime=0 cores=1,3,5,7
/proc/23284/task/23289/stat : 23289 (java) S 23282 23282 22910 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 411122648 15514775552 23965 33554432000 4194304 4196468 140726501807904 140602403612944 140602454161109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32206848 140726501815279 140726501815450 140726501815450 140726501818319 0
[pid=23284/tid=23290] ppid=23282 vsize=15151148 memory=7752549240514114323 CPUtime=0 cores=1,3,5,7
/proc/23284/task/23290/stat : 23290 (java) S 23282 23282 22910 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 411122649 15514775552 23965 33554432000 4194304 4196468 140726501807904 140601922128752 140602454162050 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32206848 140726501815279 140726501815450 140726501815450 140726501818319 0
[pid=23284/tid=23291] ppid=23282 vsize=15151148 memory=4206468019014099040 CPUtime=0 cores=1,3,5,7
/proc/23284/task/23291/stat : 23291 (java) S 23282 23282 22910 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 411122650 15514775552 23965 33554432000 4194304 4196468 140726501807904 140601921074720 140602454161109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32206848 140726501815279 140726501815450 140726501815450 140726501818319 0
[pid=23284/tid=23292] ppid=23282 vsize=15151148 memory=7976406965554101975 CPUtime=0 cores=1,3,5,7
/proc/23284/task/23292/stat : 23292 (java) S 23282 23282 22910 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 411122650 15514775552 23965 33554432000 4194304 4196468 140726501807904 140601920021872 140602454161109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32206848 140726501815279 140726501815450 140726501815450 140726501818319 0
[pid=23284/tid=23293] ppid=23282 vsize=15151148 memory=6944656592455360604 CPUtime=0 cores=1,3,5,7
/proc/23284/task/23293/stat : 23293 (java) S 23282 23282 22910 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411122653 15514775552 23965 33554432000 4194304 4196468 140726501807904 140601918970192 140602454169499 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32206848 140726501815279 140726501815450 140726501815450 140726501818319 0
[pid=23284/tid=23294] ppid=23282 vsize=15151148 memory=6944656592387989600 CPUtime=0.32 cores=1,3,5,7
/proc/23284/task/23294/stat : 23294 (java) D 23282 23282 22910 0 -1 4202560 1525 0 0 0 32 0 0 0 20 0 15 0 411122653 15514775552 23965 33554432000 4194304 4196468 140726501807904 140601917903480 140602446388030 0 4 0 16800975 18446744071582151416 0 0 -1 5 0 0 0 0 0 6293624 6294260 32206848 140726501815279 140726501815450 140726501815450 140726501818319 0
[pid=23284/tid=23295] ppid=23282 vsize=15151148 memory=6656426216303648864 CPUtime=0.3 cores=1,3,5,7
/proc/23284/task/23295/stat : 23295 (java) R 23282 23282 22910 0 -1 4202560 1541 0 0 0 30 0 0 0 20 0 15 0 411122653 15514775552 23965 33554432000 4194304 4196468 140726501807904 140601916845816 140602437651286 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32206848 140726501815279 140726501815450 140726501815450 140726501818319 0
[pid=23284/tid=23296] ppid=23282 vsize=15151148 memory=6944656592455097440 CPUtime=0.44 cores=1,3,5,7
/proc/23284/task/23296/stat : 23296 (java) R 23282 23282 22910 0 -1 4202560 2702 0 0 0 43 1 0 0 20 0 15 0 411122653 15514775552 23965 33554432000 4194304 4196468 140726501807904 140601915806488 140602446868055 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 32206848 140726501815279 140726501815450 140726501815450 140726501818319 0
[pid=23284/tid=23297] ppid=23282 vsize=15151148 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23284/task/23297/stat : 23297 (java) S 23282 23282 22910 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411122653 15514775552 23965 33554432000 4194304 4196468 140726501807904 140601914759392 140602454161109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32206848 140726501815279 140726501815450 140726501815450 140726501818319 0
[pid=23284/tid=23298] ppid=23282 vsize=15151148 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23284/task/23298/stat : 23298 (java) S 23282 23282 22910 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411122653 15514775552 23965 33554432000 4194304 4196468 140726501807904 140601913707696 140602454162050 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32206848 140726501815279 140726501815450 140726501815450 140726501818319 0
Current children cumulated CPU time: 1.79 s
Current children cumulated vsize: 15264276 KiB
Current children cumulated memory: 97308 KiB
[startup+1.50233 s]
/proc/loadavg: 1.58 1.15 1.15 5/215 23349
/proc/meminfo: memFree=30259192/32770624 swapFree=67009020/67108860
[pid=23282] ppid=23279 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/23282/stat : 23282 (xcsp3-exec) S 23279 23282 22910 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 411122647 115843072 362 33554432000 4194304 5098028 140722239566688 140722239564792 139691855733372 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 22872064 140722239574906 140722239575149 140722239575149 140722239578058 0
/proc/23282/statm: 28282 362 304 221 0 87 0
################
# More data... #
################
Current children cumulated vsize: 15599144 KiB
Current children cumulated memory: 220804 KiB
[startup+10.5013 s]
/proc/loadavg: 2.09 1.27 1.19 12/243 23514
/proc/meminfo: memFree=30070580/32770624 swapFree=67009020/67108860
[pid=23282] ppid=23279 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/23282/stat : 23282 (xcsp3-exec) S 23279 23282 22910 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 411122647 115843072 362 33554432000 4194304 5098028 140722239566688 140722239564792 139691855733372 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 22872064 140722239574906 140722239575149 140722239575149 140722239578058 0
/proc/23282/statm: 28282 362 304 221 0 87 0
[pid=23284] ppid=23282 vsize=15486016 memory=220420 CPUtime=40.03 cores=1,3,5,7
/proc/23284/stat : 23284 (java) S 23282 23282 22910 0 -1 1077944320 37939 0 0 0 3986 17 0 0 20 0 19 0 411122647 15857680384 55105 33554432000 4194304 4196468 140726501807904 140726501790448 140602454150903 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 32206848 140726501815279 140726501815450 140726501815450 140726501818319 0
/proc/23284/statm: 3871504 55105 3521 1 0 3832606 0
[pid=23284/tid=23285] ppid=23282 vsize=15486016 memory=7306916055891837008 CPUtime=1.13 cores=1,3,5,7
/proc/23284/task/23285/stat : 23285 (java) S 23282 23282 22910 0 -1 1077944384 10594 0 0 0 107 6 0 0 20 0 19 0 411122647 15857680384 55105 33554432000 4194304 4196468 140726501807904 140602458391680 140602454161109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32206848 140726501815279 140726501815450 140726501815450 140726501818319 0
[pid=23284/tid=23286] ppid=23282 vsize=15486016 memory=288284493629096806 CPUtime=0.03 cores=1,3,5,7
/proc/23284/task/23286/stat : 23286 (java) S 23282 23282 22910 0 -1 1077944384 82 0 0 0 2 1 0 0 20 0 19 0 411122648 15857680384 55105 33554432000 4194304 4196468 140726501807904 140602406771344 140602454161109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32206848 140726501815279 140726501815450 140726501815450 140726501818319 0
[pid=23284/tid=23287] ppid=23282 vsize=15486016 memory=3978987673858894299 CPUtime=0.04 cores=1,3,5,7
/proc/23284/task/23287/stat : 23287 (java) S 23282 23282 22910 0 -1 1077944384 711 0 0 0 3 1 0 0 20 0 19 0 411122648 15857680384 55105 33554432000 4194304 4196468 140726501807904 140602405718544 140602454161109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32206848 140726501815279 140726501815450 140726501815450 140726501818319 0
[pid=23284/tid=23288] ppid=23282 vsize=15486016 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/23284/task/23288/stat : 23288 (java) S 23282 23282 22910 0 -1 1077944384 253 0 0 0 3 1 0 0 20 0 19 0 411122648 15857680384 55105 33554432000 4194304 4196468 140726501807904 140602404665744 140602454161109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32206848 140726501815279 140726501815450 140726501815450 140726501818319 0
[pid=23284/tid=23289] ppid=23282 vsize=15486016 memory=1 CPUtime=0.04 cores=1,3,5,7
/proc/23284/task/23289/stat : 23289 (java) S 23282 23282 22910 0 -1 1077944384 1068 0 0 0 3 1 0 0 20 0 19 0 411122648 15857680384 55105 33554432000 4194304 4196468 140726501807904 140602403612944 140602454161109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32206848 140726501815279 140726501815450 140726501815450 140726501818319 0
[pid=23284/tid=23290] ppid=23282 vsize=15486016 memory=139966743732193 CPUtime=0.02 cores=1,3,5,7
/proc/23284/task/23290/stat : 23290 (java) S 23282 23282 22910 0 -1 1077944384 589 0 0 0 2 0 0 0 20 0 19 0 411122649 15857680384 55105 33554432000 4194304 4196468 140726501807904 140601922128752 140602454162050 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32206848 140726501815279 140726501815450 140726501815450 140726501818319 0
[pid=23284/tid=23291] ppid=23282 vsize=15486016 memory=2158 CPUtime=0 cores=1,3,5,7
/proc/23284/task/23291/stat : 23291 (java) S 23282 23282 22910 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 19 0 411122650 15857680384 55105 33554432000 4194304 4196468 140726501807904 140601921074784 140602454161109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32206848 140726501815279 140726501815450 140726501815450 140726501818319 0
[pid=23284/tid=23292] ppid=23282 vsize=15486016 memory=3 CPUtime=0 cores=1,3,5,7
/proc/23284/task/23292/stat : 23292 (java) S 23282 23282 22910 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 19 0 411122650 15857680384 55105 33554432000 4194304 4196468 140726501807904 140601920021888 140602454161109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32206848 140726501815279 140726501815450 140726501815450 140726501818319 0
[pid=23284/tid=23293] ppid=23282 vsize=15486016 memory=652 CPUtime=0 cores=1,3,5,7
/proc/23284/task/23293/stat : 23293 (java) S 23282 23282 22910 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 411122653 15857680384 55105 33554432000 4194304 4196468 140726501807904 140601918970192 140602454169499 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32206848 140726501815279 140726501815450 140726501815450 140726501818319 0
[pid=23284/tid=23294] ppid=23282 vsize=15486016 memory=0 CPUtime=1.86 cores=1,3,5,7
/proc/23284/task/23294/stat : 23294 (java) S 23282 23282 22910 0 -1 1077944384 6809 0 0 0 185 1 0 0 20 0 19 0 411122653 15857680384 55105 33554432000 4194304 4196468 140726501807904 140601917917552 140602454162050 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32206848 140726501815279 140726501815450 140726501815450 140726501818319 0
[pid=23284/tid=23295] ppid=23282 vsize=15486016 memory=0 CPUtime=1.91 cores=1,3,5,7
/proc/23284/task/23295/stat : 23295 (java) S 23282 23282 22910 0 -1 1077944384 8684 0 0 0 190 1 0 0 20 0 19 0 411122653 15857680384 55105 33554432000 4194304 4196468 140726501807904 140601916864752 140602454162050 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32206848 140726501815279 140726501815450 140726501815450 140726501818319 0
[pid=23284/tid=23296] ppid=23282 vsize=15486016 memory=139966743624180 CPUtime=0.77 cores=1,3,5,7
/proc/23284/task/23296/stat : 23296 (java) S 23282 23282 22910 0 -1 1077944384 5621 0 0 0 75 2 0 0 20 0 19 0 411122653 15857680384 55105 33554432000 4194304 4196468 140726501807904 140601915811952 140602454162050 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32206848 140726501815279 140726501815450 140726501815450 140726501818319 0
[pid=23284/tid=23297] ppid=23282 vsize=15486016 memory=239136 CPUtime=0 cores=1,3,5,7
/proc/23284/task/23297/stat : 23297 (java) S 23282 23282 22910 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 411122653 15857680384 55105 33554432000 4194304 4196468 140726501807904 140601914759392 140602454161109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32206848 140726501815279 140726501815450 140726501815450 140726501818319 0
[pid=23284/tid=23298] ppid=23282 vsize=15486016 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23284/task/23298/stat : 23298 (java) S 23282 23282 22910 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 19 0 411122653 15857680384 55105 33554432000 4194304 4196468 140726501807904 140601913707696 140602454162050 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32206848 140726501815279 140726501815450 140726501815450 140726501818319 0
[pid=23284/tid=23395] ppid=23282 vsize=15486016 memory=6655300316396806240 CPUtime=8.37 cores=1,3,5,7
/proc/23284/task/23395/stat : 23395 (java) R 23282 23282 22910 0 -1 4202560 176 0 0 0 837 0 0 0 20 0 19 0 411122785 15857680384 55105 33554432000 4194304 4196468 140726501807904 140601900525200 140602435557127 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32206848 140726501815279 140726501815450 140726501815450 140726501818319 0
[pid=23284/tid=23396] ppid=23282 vsize=15486016 memory=279933486104816 CPUtime=8.49 cores=1,3,5,7
/proc/23284/task/23396/stat : 23396 (java) R 23282 23282 22910 0 -1 4202560 478 0 0 0 849 0 0 0 20 0 19 0 411122785 15857680384 55105 33554432000 4194304 4196468 140726501807904 140601904734744 140602439360862 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 32206848 140726501815279 140726501815450 140726501815450 140726501818319 0
[pid=23284/tid=23397] ppid=23282 vsize=15486016 memory=0 CPUtime=8.4 cores=1,3,5,7
/proc/23284/task/23397/stat : 23397 (java) R 23282 23282 22910 0 -1 4202560 562 0 0 0 840 0 0 0 20 0 19 0 411122785 15857680384 55105 33554432000 4194304 4196468 140726501807904 140601902629136 140602086073660 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32206848 140726501815279 140726501815450 140726501815450 140726501818319 0
[pid=23284/tid=23398] ppid=23282 vsize=15486016 memory=-2127763401593990185 CPUtime=8.5 cores=1,3,5,7
/proc/23284/task/23398/stat : 23398 (java) R 23282 23282 22910 0 -1 4202560 292 0 0 0 850 0 0 0 20 0 19 0 411122787 15857680384 55105 33554432000 4194304 4196468 140726501807904 140601903682648 140602088146040 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32206848 140726501815279 140726501815450 140726501815450 140726501818319 0
Current children cumulated CPU time: 40.03 s
Current children cumulated vsize: 15599144 KiB
Current children cumulated memory: 221868 KiB
[startup+11.3013 s]
/proc/loadavg: 2.88 1.44 1.25 6/243 23518
/proc/meminfo: memFree=30030116/32770624 swapFree=67009020/67108860
[pid=23282] ppid=23279 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/23282/stat : 23282 (xcsp3-exec) S 23279 23282 22910 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 411122647 115843072 362 33554432000 4194304 5098028 140722239566688 140722239564792 139691855733372 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 22872064 140722239574906 140722239575149 140722239575149 140722239578058 0
/proc/23282/statm: 28282 362 304 221 0 87 0
[pid=23284] ppid=23282 vsize=15486016 memory=223992 CPUtime=43.21 cores=1,3,5,7
/proc/23284/stat : 23284 (java) S 23282 23282 22910 0 -1 1077944320 38100 0 0 0 4303 18 0 0 20 0 19 0 411122647 15857680384 55998 33554432000 4194304 4196468 140726501807904 140726501790448 140602454150903 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 32206848 140726501815279 140726501815450 140726501815450 140726501818319 0
/proc/23284/statm: 3871504 55998 3521 1 0 3832606 0
[pid=23284/tid=23285] ppid=23282 vsize=15486016 memory=129 CPUtime=1.13 cores=1,3,5,7
/proc/23284/task/23285/stat : 23285 (java) S 23282 23282 22910 0 -1 1077944384 10594 0 0 0 107 6 0 0 20 0 19 0 411122647 15857680384 55998 33554432000 4194304 4196468 140726501807904 140602458391680 140602454161109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32206848 140726501815279 140726501815450 140726501815450 140726501818319 0
[pid=23284/tid=23286] ppid=23282 vsize=15486016 memory=555 CPUtime=0.03 cores=1,3,5,7
/proc/23284/task/23286/stat : 23286 (java) S 23282 23282 22910 0 -1 1077944384 87 0 0 0 2 1 0 0 20 0 19 0 411122648 15857680384 55998 33554432000 4194304 4196468 140726501807904 140602406771344 140602454161109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32206848 140726501815279 140726501815450 140726501815450 140726501818319 0
[pid=23284/tid=23287] ppid=23282 vsize=15486016 memory=601 CPUtime=0.04 cores=1,3,5,7
/proc/23284/task/23287/stat : 23287 (java) S 23282 23282 22910 0 -1 1077944384 715 0 0 0 3 1 0 0 20 0 19 0 411122648 15857680384 55998 33554432000 4194304 4196468 140726501807904 140602405718544 140602454161109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32206848 140726501815279 140726501815450 140726501815450 140726501818319 0
[pid=23284/tid=23288] ppid=23282 vsize=15486016 memory=139966743210157 CPUtime=0.04 cores=1,3,5,7
/proc/23284/task/23288/stat : 23288 (java) S 23282 23282 22910 0 -1 1077944384 261 0 0 0 3 1 0 0 20 0 19 0 411122648 15857680384 55998 33554432000 4194304 4196468 140726501807904 140602404665744 140602454161109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32206848 140726501815279 140726501815450 140726501815450 140726501818319 0
[pid=23284/tid=23289] ppid=23282 vsize=15486016 memory=1448 CPUtime=0.05 cores=1,3,5,7
/proc/23284/task/23289/stat : 23289 (java) S 23282 23282 22910 0 -1 1077944384 1073 0 0 0 4 1 0 0 20 0 19 0 411122648 15857680384 55998 33554432000 4194304 4196468 140726501807904 140602403612944 140602454161109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32206848 140726501815279 140726501815450 140726501815450 140726501818319 0
[pid=23284/tid=23290] ppid=23282 vsize=15486016 memory=219896 CPUtime=0.02 cores=1,3,5,7
/proc/23284/task/23290/stat : 23290 (java) S 23282 23282 22910 0 -1 1077944384 590 0 0 0 2 0 0 0 20 0 19 0 411122649 15857680384 55998 33554432000 4194304 4196468 140726501807904 140601922128752 140602454162050 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32206848 140726501815279 140726501815450 140726501815450 140726501818319 0
[pid=23284/tid=23291] ppid=23282 vsize=15486016 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/23284/task/23291/stat : 23291 (java) S 23282 23282 22910 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 19 0 411122650 15857680384 55998 33554432000 4194304 4196468 140726501807904 140601921074784 140602454161109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32206848 140726501815279 140726501815450 140726501815450 140726501818319 0
[pid=23284/tid=23292] ppid=23282 vsize=15486016 memory=222936 CPUtime=0 cores=1,3,5,7
/proc/23284/task/23292/stat : 23292 (java) S 23282 23282 22910 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 19 0 411122650 15857680384 55998 33554432000 4194304 4196468 140726501807904 140601920021888 140602454161109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32206848 140726501815279 140726501815450 140726501815450 140726501818319 0
[pid=23284/tid=23293] ppid=23282 vsize=15486016 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23284/task/23293/stat : 23293 (java) S 23282 23282 22910 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 411122653 15857680384 55998 33554432000 4194304 4196468 140726501807904 140601918970192 140602454169499 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32206848 140726501815279 140726501815450 140726501815450 140726501818319 0
[pid=23284/tid=23294] ppid=23282 vsize=15486016 memory=11201429533541 CPUtime=1.87 cores=1,3,5,7
/proc/23284/task/23294/stat : 23294 (java) S 23282 23282 22910 0 -1 1077944384 6926 0 0 0 186 1 0 0 20 0 19 0 411122653 15857680384 55998 33554432000 4194304 4196468 140726501807904 140601917917552 140602454162050 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32206848 140726501815279 140726501815450 140726501815450 140726501818319 0
[pid=23284/tid=23295] ppid=23282 vsize=15486016 memory=1448 CPUtime=1.91 cores=1,3,5,7
/proc/23284/task/23295/stat : 23295 (java) S 23282 23282 22910 0 -1 1077944384 8684 0 0 0 190 1 0 0 20 0 19 0 411122653 15857680384 55998 33554432000 4194304 4196468 140726501807904 140601916864752 140602454162050 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32206848 140726501815279 140726501815450 140726501815450 140726501818319 0
[pid=23284/tid=23296] ppid=23282 vsize=15486016 memory=222468 CPUtime=0.77 cores=1,3,5,7
/proc/23284/task/23296/stat : 23296 (java) S 23282 23282 22910 0 -1 1077944384 5621 0 0 0 75 2 0 0 20 0 19 0 411122653 15857680384 55998 33554432000 4194304 4196468 140726501807904 140601915811952 140602454162050 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32206848 140726501815279 140726501815450 140726501815450 140726501818319 0
[pid=23284/tid=23297] ppid=23282 vsize=15486016 memory=6944656592455097440 CPUtime=0 cores=1,3,5,7
/proc/23284/task/23297/stat : 23297 (java) S 23282 23282 22910 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 411122653 15857680384 55998 33554432000 4194304 4196468 140726501807904 140601914759392 140602454161109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32206848 140726501815279 140726501815450 140726501815450 140726501818319 0
[pid=23284/tid=23298] ppid=23282 vsize=15486016 memory=-6654736624941163865 CPUtime=0 cores=1,3,5,7
/proc/23284/task/23298/stat : 23298 (java) S 23282 23282 22910 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 19 0 411122653 15857680384 55998 33554432000 4194304 4196468 140726501807904 140601913707696 140602454162050 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32206848 140726501815279 140726501815450 140726501815450 140726501818319 0
[pid=23284/tid=23395] ppid=23282 vsize=15486016 memory=7377828998151301168 CPUtime=9.16 cores=1,3,5,7
/proc/23284/task/23395/stat : 23395 (java) R 23282 23282 22910 0 -1 4202560 177 0 0 0 916 0 0 0 20 0 19 0 411122785 15857680384 55998 33554432000 4194304 4196468 140726501807904 140601900522736 140602080597006 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32206848 140726501815279 140726501815450 140726501815450 140726501818319 0
[pid=23284/tid=23396] ppid=23282 vsize=15486016 memory=5792861009247430700 CPUtime=9.26 cores=1,3,5,7
/proc/23284/task/23396/stat : 23396 (java) R 23282 23282 22910 0 -1 4202560 496 0 0 0 926 0 0 0 20 0 19 0 411122785 15857680384 55998 33554432000 4194304 4196468 140726501807904 140601904736800 140602086831078 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32206848 140726501815279 140726501815450 140726501815450 140726501818319 0
[pid=23284/tid=23397] ppid=23282 vsize=15486016 memory=3484 CPUtime=9.2 cores=1,3,5,7
/proc/23284/task/23397/stat : 23397 (java) R 23282 23282 22910 0 -1 4202560 563 0 0 0 920 0 0 0 20 0 19 0 411122785 15857680384 55998 33554432000 4194304 4196468 140726501807904 140601902629136 140602086193110 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32206848 140726501815279 140726501815450 140726501815450 140726501818319 0
[pid=23284/tid=23398] ppid=23282 vsize=15486016 memory=1448 CPUtime=9.29 cores=1,3,5,7
/proc/23284/task/23398/stat : 23398 (java) R 23282 23282 22910 0 -1 4202560 293 0 0 0 929 0 0 0 20 0 19 0 411122787 15857680384 55998 33554432000 4194304 4196468 140726501807904 140601903682696 140602440219028 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 32206848 140726501815279 140726501815450 140726501815450 140726501818319 0
Current children cumulated CPU time: 43.21 s
Current children cumulated vsize: 15599144 KiB
Current children cumulated memory: 225440 KiB
[startup+11.5013 s]
/proc/loadavg: 2.88 1.44 1.25 6/243 23518
/proc/meminfo: memFree=30030116/32770624 swapFree=67009020/67108860
[pid=23282] ppid=23279 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/23282/stat : 23282 (xcsp3-exec) S 23279 23282 22910 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 411122647 115843072 362 33554432000 4194304 5098028 140722239566688 140722239564792 139691855733372 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 22872064 140722239574906 140722239575149 140722239575149 140722239578058 0
/proc/23282/statm: 28282 362 304 221 0 87 0
[pid=23284] ppid=23282 vsize=15486016 memory=221932 CPUtime=44 cores=1,3,5,7
/proc/23284/stat : 23284 (java) S 23282 23282 22910 0 -1 1077944320 38107 0 0 0 4382 18 0 0 20 0 19 0 411122647 15857680384 55483 33554432000 4194304 4196468 140726501807904 140726501790448 140602454150903 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 32206848 140726501815279 140726501815450 140726501815450 140726501818319 0
/proc/23284/statm: 3871504 55483 3521 1 0 3832606 0
[pid=23284/tid=23285] ppid=23282 vsize=15486016 memory=1728 CPUtime=1.13 cores=1,3,5,7
/proc/23284/task/23285/stat : 23285 (java) S 23282 23282 22910 0 -1 1077944384 10594 0 0 0 107 6 0 0 20 0 19 0 411122647 15857680384 55483 33554432000 4194304 4196468 140726501807904 140602458391680 140602454161109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32206848 140726501815279 140726501815450 140726501815450 140726501818319 0
[pid=23284/tid=23286] ppid=23282 vsize=15486016 memory=1196 CPUtime=0.04 cores=1,3,5,7
/proc/23284/task/23286/stat : 23286 (java) S 23282 23282 22910 0 -1 1077944384 88 0 0 0 3 1 0 0 20 0 19 0 411122648 15857680384 55483 33554432000 4194304 4196468 140726501807904 140602406771344 140602454161109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32206848 140726501815279 140726501815450 140726501815450 140726501818319 0
[pid=23284/tid=23287] ppid=23282 vsize=15486016 memory=1096 CPUtime=0.04 cores=1,3,5,7
/proc/23284/task/23287/stat : 23287 (java) S 23282 23282 22910 0 -1 1077944384 717 0 0 0 3 1 0 0 20 0 19 0 411122648 15857680384 55483 33554432000 4194304 4196468 140726501807904 140602405718544 140602454161109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32206848 140726501815279 140726501815450 140726501815450 140726501818319 0
[pid=23284/tid=23288] ppid=23282 vsize=15486016 memory=7896 CPUtime=0.04 cores=1,3,5,7
/proc/23284/task/23288/stat : 23288 (java) S 23282 23282 22910 0 -1 1077944384 263 0 0 0 3 1 0 0 20 0 19 0 411122648 15857680384 55483 33554432000 4194304 4196468 140726501807904 140602404665744 140602454161109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32206848 140726501815279 140726501815450 140726501815450 140726501818319 0
[pid=23284/tid=23289] ppid=23282 vsize=15486016 memory=1584 CPUtime=0.05 cores=1,3,5,7
/proc/23284/task/23289/stat : 23289 (java) S 23282 23282 22910 0 -1 1077944384 1074 0 0 0 4 1 0 0 20 0 19 0 411122648 15857680384 55483 33554432000 4194304 4196468 140726501807904 140602403612944 140602454161109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32206848 140726501815279 140726501815450 140726501815450 140726501818319 0
[pid=23284/tid=23290] ppid=23282 vsize=15486016 memory=14008 CPUtime=0.03 cores=1,3,5,7
/proc/23284/task/23290/stat : 23290 (java) S 23282 23282 22910 0 -1 1077944384 590 0 0 0 2 1 0 0 20 0 19 0 411122649 15857680384 55483 33554432000 4194304 4196468 140726501807904 140601922128752 140602454162050 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32206848 140726501815279 140726501815450 140726501815450 140726501818319 0
[pid=23284/tid=23291] ppid=23282 vsize=15486016 memory=5224 CPUtime=0 cores=1,3,5,7
/proc/23284/task/23291/stat : 23291 (java) S 23282 23282 22910 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 19 0 411122650 15857680384 55483 33554432000 4194304 4196468 140726501807904 140601921074784 140602454161109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32206848 140726501815279 140726501815450 140726501815450 140726501818319 0
[pid=23284/tid=23292] ppid=23282 vsize=15486016 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/23284/task/23292/stat : 23292 (java) S 23282 23282 22910 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 19 0 411122650 15857680384 55483 33554432000 4194304 4196468 140726501807904 140601920021888 140602454161109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32206848 140726501815279 140726501815450 140726501815450 140726501818319 0
[pid=23284/tid=23293] ppid=23282 vsize=15486016 memory=2120 CPUtime=0 cores=1,3,5,7
/proc/23284/task/23293/stat : 23293 (java) S 23282 23282 22910 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 411122653 15857680384 55483 33554432000 4194304 4196468 140726501807904 140601918970192 140602454169499 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32206848 140726501815279 140726501815450 140726501815450 140726501818319 0
[pid=23284/tid=23294] ppid=23282 vsize=15486016 memory=520 CPUtime=1.87 cores=1,3,5,7
/proc/23284/task/23294/stat : 23294 (java) S 23282 23282 22910 0 -1 1077944384 6926 0 0 0 186 1 0 0 20 0 19 0 411122653 15857680384 55483 33554432000 4194304 4196468 140726501807904 140601917917552 140602454162050 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32206848 140726501815279 140726501815450 140726501815450 140726501818319 0
[pid=23284/tid=23295] ppid=23282 vsize=15486016 memory=1560 CPUtime=1.91 cores=1,3,5,7
/proc/23284/task/23295/stat : 23295 (java) S 23282 23282 22910 0 -1 1077944384 8684 0 0 0 190 1 0 0 20 0 19 0 411122653 15857680384 55483 33554432000 4194304 4196468 140726501807904 140601916864752 140602454162050 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32206848 140726501815279 140726501815450 140726501815450 140726501818319 0
[pid=23284/tid=23296] ppid=23282 vsize=15486016 memory=6791534058613427641 CPUtime=0.77 cores=1,3,5,7
/proc/23284/task/23296/stat : 23296 (java) S 23282 23282 22910 0 -1 1077944384 5621 0 0 0 75 2 0 0 20 0 19 0 411122653 15857680384 55483 33554432000 4194304 4196468 140726501807904 140601915811952 140602454162050 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32206848 140726501815279 140726501815450 140726501815450 140726501818319 0
[pid=23284/tid=23297] ppid=23282 vsize=15486016 memory=776 CPUtime=0 cores=1,3,5,7
/proc/23284/task/23297/stat : 23297 (java) S 23282 23282 22910 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 411122653 15857680384 55483 33554432000 4194304 4196468 140726501807904 140601914759392 140602454161109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32206848 140726501815279 140726501815450 140726501815450 140726501818319 0
[pid=23284/tid=23298] ppid=23282 vsize=15486016 memory=3940 CPUtime=0 cores=1,3,5,7
/proc/23284/task/23298/stat : 23298 (java) S 23282 23282 22910 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 19 0 411122653 15857680384 55483 33554432000 4194304 4196468 140726501807904 140601913707696 140602454162050 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32206848 140726501815279 140726501815450 140726501815450 140726501818319 0
[pid=23284/tid=23395] ppid=23282 vsize=15486016 memory=2832 CPUtime=9.36 cores=1,3,5,7
/proc/23284/task/23395/stat : 23395 (java) R 23282 23282 22910 0 -1 4202560 177 0 0 0 936 0 0 0 20 0 19 0 411122785 15857680384 55483 33554432000 4194304 4196468 140726501807904 140601900522848 140602086714776 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32206848 140726501815279 140726501815450 140726501815450 140726501818319 0
[pid=23284/tid=23396] ppid=23282 vsize=15486016 memory=1448 CPUtime=9.46 cores=1,3,5,7
/proc/23284/task/23396/stat : 23396 (java) R 23282 23282 22910 0 -1 4202560 496 0 0 0 946 0 0 0 20 0 19 0 411122785 15857680384 55483 33554432000 4194304 4196468 140726501807904 140601904734496 140602087538240 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32206848 140726501815279 140726501815450 140726501815450 140726501818319 0
[pid=23284/tid=23397] ppid=23282 vsize=15486016 memory=224984 CPUtime=9.39 cores=1,3,5,7
/proc/23284/task/23397/stat : 23397 (java) R 23282 23282 22910 0 -1 4202560 563 0 0 0 939 0 0 0 20 0 19 0 411122785 15857680384 55483 33554432000 4194304 4196468 140726501807904 140601902629272 140602438523201 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 32206848 140726501815279 140726501815450 140726501815450 140726501818319 0
[pid=23284/tid=23398] ppid=23282 vsize=15486016 memory=1196 CPUtime=9.49 cores=1,3,5,7
/proc/23284/task/23398/stat : 23398 (java) R 23282 23282 22910 0 -1 4202560 294 0 0 0 949 0 0 0 20 0 19 0 411122787 15857680384 55483 33554432000 4194304 4196468 140726501807904 140601903684832 140602086402839 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32206848 140726501815279 140726501815450 140726501815450 140726501818319 0
Current children cumulated CPU time: 44 s
Current children cumulated vsize: 15599144 KiB
Current children cumulated memory: 223380 KiB
[startup+11.6009 s]
/proc/loadavg: 2.88 1.44 1.25 6/243 23518
/proc/meminfo: memFree=30030116/32770624 swapFree=67009020/67108860
[pid=23282] ppid=23279 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/23282/stat : 23282 (xcsp3-exec) S 23279 23282 22910 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 411122647 115843072 362 33554432000 4194304 5098028 140722239566688 140722239564792 139691855733372 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 22872064 140722239574906 140722239575149 140722239575149 140722239578058 0
/proc/23282/statm: 28282 362 304 221 0 87 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 113128 KiB
Current children cumulated memory: 1448 KiB
Child status: 0
Real time (s): 11.6022
CPU time (s): 44.3972
CPU user time (s): 44.2082
CPU system time (s): 0.189002
CPU usage (%): 382.66
Max. virtual memory (cumulated for all children) (KiB): 15599144
Max. memory (cumulated for all children) (KiB): 230848
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 44.2082
system time used= 0.189002
maximum resident set size= 233556
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 40268
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3191
involuntary context switches= 1131
# summary of solver processes directly reported to runsolver:
# pid: 23282
# total CPU time (s): 44.3972
# total CPU user time (s): 44.2082
# total CPU system time (s): 0.189002
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.095076 second user time and 0.175055 second system time
The end