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 (2390 MiB free)
memory of node 1: 16384 MiB (3029 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4403399-1568988593/watcher-4403399-1568988593 -o /var/tmp/evaluation-result-4403399-1568988593/solver-4403399-1568988593 -C 2520 -W 2520 -M 15500 --bin-var /var/tmp/runsolver-exch-node121-1568988421-6087 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 944441747 HOME/instance-4403399-1568988593.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=6494, runsolver pid=6491
Current StackSize limit: 8192 KiB
[startup+0.100057 s]*
/proc/loadavg: 7.24 3.35 1.82 7/233 6510
/proc/meminfo: memFree=5534324/32770624 swapFree=66988696/67108860
[pid=6494] ppid=6491 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/6494/stat : 6494 (xcsp3-exec) S 6491 6494 6055 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475121953 115843072 364 33554432000 4194304 5098028 140725830641168 140725830639272 140229592818300 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 23482368 140725830648663 140725830648921 140725830648921 140725830651846 0
/proc/6494/statm: 28282 364 305 221 0 87 0
[pid=6496] ppid=6494 vsize=15144776 memory=29076 CPUtime=0.13 cores=1,3,5,7
/proc/6496/stat : 6496 (java) S 6494 6494 6055 0 -1 1077944320 5701 0 0 0 12 1 0 0 20 0 15 0 475121953 15508250624 7269 33554432000 4194304 4196468 140721375034288 140721375016832 139827261062903 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 10924032 140721375040475 140721375040650 140721375040650 140721375043535 0
/proc/6496/statm: 3786194 7269 3185 1 0 3748377 0
[pid=6496/tid=6497] ppid=6494 vsize=15144776 memory=7820083430509914699 CPUtime=0.08 cores=1,3,5,7
/proc/6496/task/6497/stat : 6497 (java) R 6494 6494 6055 0 -1 4202560 3631 0 0 0 8 0 0 0 20 0 15 0 475121954 15508250624 7335 33554432000 4194304 4196468 140721375034288 139827265292240 139827245403047 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10924032 140721375040475 140721375040650 140721375040650 140721375043535 0
[pid=6496/tid=6498] ppid=6494 vsize=15144776 memory=-3689349214911541841 CPUtime=0 cores=1,3,5,7
/proc/6496/task/6498/stat : 6498 (java) S 6494 6494 6055 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475121954 15508250624 7335 33554432000 4194304 4196468 140721375034288 139826853502096 139827261073109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10924032 140721375040475 140721375040650 140721375040650 140721375043535 0
[pid=6496/tid=6499] ppid=6494 vsize=15144776 memory=139978766214784 CPUtime=0 cores=1,3,5,7
/proc/6496/task/6499/stat : 6499 (java) S 6494 6494 6055 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475121954 15508250624 7335 33554432000 4194304 4196468 140721375034288 139826852449296 139827261073109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10924032 140721375040475 140721375040650 140721375040650 140721375043535 0
[pid=6496/tid=6500] ppid=6494 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6496/task/6500/stat : 6500 (java) S 6494 6494 6055 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475121954 15508250624 7335 33554432000 4194304 4196468 140721375034288 139826851396496 139827261073109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10924032 140721375040475 140721375040650 140721375040650 140721375043535 0
[pid=6496/tid=6501] ppid=6494 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6496/task/6501/stat : 6501 (java) S 6494 6494 6055 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475121954 15508250624 7335 33554432000 4194304 4196468 140721375034288 139826850343696 139827261073109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10924032 140721375040475 140721375040650 140721375040650 140721375043535 0
[pid=6496/tid=6502] ppid=6494 vsize=15144776 memory=139978766214784 CPUtime=0 cores=1,3,5,7
/proc/6496/task/6502/stat : 6502 (java) S 6494 6494 6055 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475121956 15508250624 7335 33554432000 4194304 4196468 140721375034288 139826135099760 139827261074050 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10924032 140721375040475 140721375040650 140721375040650 140721375043535 0
[pid=6496/tid=6503] ppid=6494 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6496/task/6503/stat : 6503 (java) S 6494 6494 6055 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475121956 15508250624 7335 33554432000 4194304 4196468 140721375034288 139826134045728 139827261073109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10924032 140721375040475 140721375040650 140721375040650 140721375043535 0
[pid=6496/tid=6504] ppid=6494 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6496/task/6504/stat : 6504 (java) S 6494 6494 6055 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475121956 15508250624 7335 33554432000 4194304 4196468 140721375034288 139826132992880 139827261073109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10924032 140721375040475 140721375040650 140721375040650 140721375043535 0
[pid=6496/tid=6505] ppid=6494 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6496/task/6505/stat : 6505 (java) S 6494 6494 6055 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475121959 15508250624 7335 33554432000 4194304 4196468 140721375034288 139826131941200 139827261081499 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10924032 140721375040475 140721375040650 140721375040650 140721375043535 0
[pid=6496/tid=6506] ppid=6494 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6496/task/6506/stat : 6506 (java) R 6494 6494 6055 0 -1 1077944384 305 0 0 0 0 0 0 0 20 0 15 0 475121959 15508250624 7335 33554432000 4194304 4196468 140721375034288 139826130889584 139827261074050 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10924032 140721375040475 140721375040650 140721375040650 140721375043535 0
[pid=6496/tid=6507] ppid=6494 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6496/task/6507/stat : 6507 (java) R 6494 6494 6055 0 -1 4202560 176 0 0 0 0 0 0 0 20 0 15 0 475121959 15508250624 7335 33554432000 4194304 4196468 140721375034288 139826129822584 139827242606626 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10924032 140721375040475 140721375040650 140721375040650 140721375043535 0
[pid=6496/tid=6508] ppid=6494 vsize=15144776 memory=139978766214784 CPUtime=0.02 cores=1,3,5,7
/proc/6496/task/6508/stat : 6508 (java) R 6494 6494 6055 0 -1 4202560 332 0 0 0 2 0 0 0 20 0 15 0 475121959 15508250624 7335 33554432000 4194304 4196468 140721375034288 139826128781000 139827253300030 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10924032 140721375040475 140721375040650 140721375040650 140721375043535 0
[pid=6496/tid=6509] ppid=6494 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6496/task/6509/stat : 6509 (java) S 6494 6494 6055 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475121959 15508250624 7335 33554432000 4194304 4196468 140721375034288 139826127731424 139827261073109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10924032 140721375040475 140721375040650 140721375040650 140721375043535 0
[pid=6496/tid=6510] ppid=6494 vsize=15144776 memory=139978766214784 CPUtime=0 cores=1,3,5,7
/proc/6496/task/6510/stat : 6510 (java) S 6494 6494 6055 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475121959 15508250624 7335 33554432000 4194304 4196468 140721375034288 139826126678704 139827261074050 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10924032 140721375040475 140721375040650 140721375040650 140721375043535 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 30532 KiB
[startup+0.210617 s]*
/proc/loadavg: 7.24 3.35 1.82 7/233 6510
/proc/meminfo: memFree=5521052/32770624 swapFree=66988696/67108860
[pid=6494] ppid=6491 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/6494/stat : 6494 (xcsp3-exec) S 6491 6494 6055 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475121953 115843072 364 33554432000 4194304 5098028 140725830641168 140725830639272 140229592818300 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 23482368 140725830648663 140725830648921 140725830648921 140725830651846 0
/proc/6494/statm: 28282 364 305 221 0 87 0
[pid=6496] ppid=6494 vsize=15144776 memory=41108 CPUtime=0.35 cores=1,3,5,7
/proc/6496/stat : 6496 (java) S 6494 6494 6055 0 -1 1077944320 9480 0 0 0 32 3 0 0 20 0 15 0 475121953 15508250624 10277 33554432000 4194304 4196468 140721375034288 140721375016832 139827261062903 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 10924032 140721375040475 140721375040650 140721375040650 140721375043535 0
/proc/6496/statm: 3786194 10277 3313 1 0 3748377 0
[pid=6496/tid=6497] ppid=6494 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/6496/task/6497/stat : 6497 (java) R 6494 6494 6055 0 -1 4202560 6620 0 0 0 18 2 0 0 20 0 15 0 475121954 15508250624 10277 33554432000 4194304 4196468 140721375034288 139827265300640 139827261074838 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10924032 140721375040475 140721375040650 140721375040650 140721375043535 0
[pid=6496/tid=6498] ppid=6494 vsize=15144776 memory=2995869 CPUtime=0 cores=1,3,5,7
/proc/6496/task/6498/stat : 6498 (java) S 6494 6494 6055 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475121954 15508250624 10277 33554432000 4194304 4196468 140721375034288 139826853502096 139827261073109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10924032 140721375040475 140721375040650 140721375040650 140721375043535 0
[pid=6496/tid=6499] ppid=6494 vsize=15144776 memory=139978769944748 CPUtime=0 cores=1,3,5,7
/proc/6496/task/6499/stat : 6499 (java) S 6494 6494 6055 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475121954 15508250624 10277 33554432000 4194304 4196468 140721375034288 139826852449296 139827261073109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10924032 140721375040475 140721375040650 140721375040650 140721375043535 0
[pid=6496/tid=6500] ppid=6494 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6496/task/6500/stat : 6500 (java) S 6494 6494 6055 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475121954 15508250624 10277 33554432000 4194304 4196468 140721375034288 139826851396496 139827261073109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10924032 140721375040475 140721375040650 140721375040650 140721375043535 0
[pid=6496/tid=6501] ppid=6494 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6496/task/6501/stat : 6501 (java) S 6494 6494 6055 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475121954 15508250624 10277 33554432000 4194304 4196468 140721375034288 139826850343696 139827261073109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10924032 140721375040475 140721375040650 140721375040650 140721375043535 0
[pid=6496/tid=6502] ppid=6494 vsize=15144776 memory=139978766214784 CPUtime=0 cores=1,3,5,7
/proc/6496/task/6502/stat : 6502 (java) S 6494 6494 6055 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475121956 15508250624 10277 33554432000 4194304 4196468 140721375034288 139826135099760 139827261074050 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10924032 140721375040475 140721375040650 140721375040650 140721375043535 0
[pid=6496/tid=6503] ppid=6494 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6496/task/6503/stat : 6503 (java) S 6494 6494 6055 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475121956 15508250624 10277 33554432000 4194304 4196468 140721375034288 139826134045728 139827261073109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10924032 140721375040475 140721375040650 140721375040650 140721375043535 0
[pid=6496/tid=6504] ppid=6494 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6496/task/6504/stat : 6504 (java) S 6494 6494 6055 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475121956 15508250624 10277 33554432000 4194304 4196468 140721375034288 139826132992880 139827261073109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10924032 140721375040475 140721375040650 140721375040650 140721375043535 0
[pid=6496/tid=6505] ppid=6494 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6496/task/6505/stat : 6505 (java) S 6494 6494 6055 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475121959 15508250624 10277 33554432000 4194304 4196468 140721375034288 139826131941200 139827261081499 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10924032 140721375040475 140721375040650 140721375040650 140721375043535 0
[pid=6496/tid=6506] ppid=6494 vsize=15144776 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/6496/task/6506/stat : 6506 (java) S 6494 6494 6055 0 -1 1077944384 482 0 0 0 2 0 0 0 20 0 15 0 475121959 15508250624 10277 33554432000 4194304 4196468 140721375034288 139826130889584 139827261074050 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10924032 140721375040475 140721375040650 140721375040650 140721375043535 0
[pid=6496/tid=6507] ppid=6494 vsize=15144776 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/6496/task/6507/stat : 6507 (java) S 6494 6494 6055 0 -1 1077944384 307 0 0 0 2 0 0 0 20 0 15 0 475121959 15508250624 10277 33554432000 4194304 4196468 140721375034288 139826129836784 139827261074050 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10924032 140721375040475 140721375040650 140721375040650 140721375043535 0
[pid=6496/tid=6508] ppid=6494 vsize=15144776 memory=139978766214784 CPUtime=0.08 cores=1,3,5,7
/proc/6496/task/6508/stat : 6508 (java) R 6494 6494 6055 0 -1 4202560 763 0 0 0 8 0 0 0 20 0 15 0 475121959 15508250624 10277 33554432000 4194304 4196468 140721375034288 139826128783984 139827245143390 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10924032 140721375040475 140721375040650 140721375040650 140721375043535 0
[pid=6496/tid=6509] ppid=6494 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6496/task/6509/stat : 6509 (java) S 6494 6494 6055 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475121959 15508250624 10277 33554432000 4194304 4196468 140721375034288 139826127731424 139827261073109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10924032 140721375040475 140721375040650 140721375040650 140721375043535 0
[pid=6496/tid=6510] ppid=6494 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6496/task/6510/stat : 6510 (java) S 6494 6494 6055 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475121959 15508250624 10277 33554432000 4194304 4196468 140721375034288 139826126678704 139827261074050 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10924032 140721375040475 140721375040650 140721375040650 140721375043535 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42564 KiB
[startup+0.310437 s]*
/proc/loadavg: 7.24 3.35 1.82 6/233 6510
/proc/meminfo: memFree=5513668/32770624 swapFree=66988696/67108860
[pid=6494] ppid=6491 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/6494/stat : 6494 (xcsp3-exec) S 6491 6494 6055 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475121953 115843072 364 33554432000 4194304 5098028 140725830641168 140725830639272 140229592818300 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 23482368 140725830648663 140725830648921 140725830648921 140725830651846 0
/proc/6494/statm: 28282 364 305 221 0 87 0
[pid=6496] ppid=6494 vsize=15149032 memory=49544 CPUtime=0.52 cores=1,3,5,7
/proc/6496/stat : 6496 (java) S 6494 6494 6055 0 -1 1077944320 10698 0 0 0 49 3 0 0 20 0 15 0 475121953 15512608768 12386 33554432000 4194304 4196468 140721375034288 140721375016832 139827261062903 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 10924032 140721375040475 140721375040650 140721375040650 140721375043535 0
/proc/6496/statm: 3787258 12386 3348 1 0 3748377 0
[pid=6496/tid=6497] ppid=6494 vsize=15149032 memory=7883960649037381690 CPUtime=0.29 cores=1,3,5,7
/proc/6496/task/6497/stat : 6497 (java) R 6494 6494 6055 0 -1 4202560 7770 0 0 0 27 2 0 0 20 0 15 0 475121954 15512608768 12386 33554432000 4194304 4196468 140721375034288 139827265294016 139827245143390 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10924032 140721375040475 140721375040650 140721375040650 140721375043535 0
[pid=6496/tid=6498] ppid=6494 vsize=15149032 memory=2996211 CPUtime=0 cores=1,3,5,7
/proc/6496/task/6498/stat : 6498 (java) S 6494 6494 6055 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475121954 15512608768 12386 33554432000 4194304 4196468 140721375034288 139826853502096 139827261073109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10924032 140721375040475 140721375040650 140721375040650 140721375043535 0
[pid=6496/tid=6499] ppid=6494 vsize=15149032 memory=3732300 CPUtime=0 cores=1,3,5,7
/proc/6496/task/6499/stat : 6499 (java) S 6494 6494 6055 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475121954 15512608768 12386 33554432000 4194304 4196468 140721375034288 139826852449296 139827261073109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10924032 140721375040475 140721375040650 140721375040650 140721375043535 0
[pid=6496/tid=6500] ppid=6494 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6496/task/6500/stat : 6500 (java) S 6494 6494 6055 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475121954 15512608768 12386 33554432000 4194304 4196468 140721375034288 139826851396496 139827261073109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10924032 140721375040475 140721375040650 140721375040650 140721375043535 0
[pid=6496/tid=6501] ppid=6494 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6496/task/6501/stat : 6501 (java) S 6494 6494 6055 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475121954 15512608768 12386 33554432000 4194304 4196468 140721375034288 139826850343696 139827261073109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10924032 140721375040475 140721375040650 140721375040650 140721375043535 0
[pid=6496/tid=6502] ppid=6494 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6496/task/6502/stat : 6502 (java) S 6494 6494 6055 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475121956 15512608768 12386 33554432000 4194304 4196468 140721375034288 139826135099760 139827261074050 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10924032 140721375040475 140721375040650 140721375040650 140721375043535 0
[pid=6496/tid=6503] ppid=6494 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6496/task/6503/stat : 6503 (java) S 6494 6494 6055 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475121956 15512608768 12386 33554432000 4194304 4196468 140721375034288 139826134045728 139827261073109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10924032 140721375040475 140721375040650 140721375040650 140721375043535 0
[pid=6496/tid=6504] ppid=6494 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6496/task/6504/stat : 6504 (java) S 6494 6494 6055 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475121956 15512608768 12386 33554432000 4194304 4196468 140721375034288 139826132992880 139827261073109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10924032 140721375040475 140721375040650 140721375040650 140721375043535 0
[pid=6496/tid=6505] ppid=6494 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6496/task/6505/stat : 6505 (java) S 6494 6494 6055 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475121959 15512608768 12386 33554432000 4194304 4196468 140721375034288 139826131941200 139827261081499 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10924032 140721375040475 140721375040650 140721375040650 140721375043535 0
[pid=6496/tid=6506] ppid=6494 vsize=15149032 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/6496/task/6506/stat : 6506 (java) S 6494 6494 6055 0 -1 1077944384 496 0 0 0 4 0 0 0 20 0 15 0 475121959 15512608768 12386 33554432000 4194304 4196468 140721375034288 139826130889584 139827261074050 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10924032 140721375040475 140721375040650 140721375040650 140721375043535 0
[pid=6496/tid=6507] ppid=6494 vsize=15149032 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/6496/task/6507/stat : 6507 (java) S 6494 6494 6055 0 -1 1077944384 311 0 0 0 3 0 0 0 20 0 15 0 475121959 15512608768 12386 33554432000 4194304 4196468 140721375034288 139826129836784 139827261074050 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10924032 140721375040475 140721375040650 140721375040650 140721375043535 0
[pid=6496/tid=6508] ppid=6494 vsize=15149032 memory=0 CPUtime=0.13 cores=1,3,5,7
/proc/6496/task/6508/stat : 6508 (java) S 6494 6494 6055 0 -1 1077944384 821 0 0 0 13 0 0 0 20 0 15 0 475121959 15512608768 12386 33554432000 4194304 4196468 140721375034288 139826128783984 139827261074050 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10924032 140721375040475 140721375040650 140721375040650 140721375043535 0
[pid=6496/tid=6509] ppid=6494 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6496/task/6509/stat : 6509 (java) S 6494 6494 6055 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475121959 15512608768 12386 33554432000 4194304 4196468 140721375034288 139826127731424 139827261073109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10924032 140721375040475 140721375040650 140721375040650 140721375043535 0
[pid=6496/tid=6510] ppid=6494 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6496/task/6510/stat : 6510 (java) S 6494 6494 6055 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475121959 15512608768 12386 33554432000 4194304 4196468 140721375034288 139826126678704 139827261074050 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10924032 140721375040475 140721375040650 140721375040650 140721375043535 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51000 KiB
[startup+0.70276 s]
/proc/loadavg: 7.24 3.35 1.82 7/233 6510
/proc/meminfo: memFree=5496240/32770624 swapFree=66988696/67108860
[pid=6494] ppid=6491 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/6494/stat : 6494 (xcsp3-exec) S 6491 6494 6055 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475121953 115843072 364 33554432000 4194304 5098028 140725830641168 140725830639272 140229592818300 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 23482368 140725830648663 140725830648921 140725830648921 140725830651846 0
/proc/6494/statm: 28282 364 305 221 0 87 0
[pid=6496] ppid=6494 vsize=15417412 memory=84924 CPUtime=1.63 cores=1,3,5,7
/proc/6496/stat : 6496 (java) S 6494 6494 6055 0 -1 1077944320 15023 0 0 0 157 6 0 0 20 0 19 0 475121953 15787429888 21231 33554432000 4194304 4196468 140721375034288 140721375016832 139827261062903 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 10924032 140721375040475 140721375040650 140721375040650 140721375043535 0
/proc/6496/statm: 3854353 21231 3456 1 0 3815453 0
[pid=6496/tid=6497] ppid=6494 vsize=15417412 memory=1788048573697 CPUtime=0.6 cores=1,3,5,7
/proc/6496/task/6497/stat : 6497 (java) S 6494 6494 6055 0 -1 1077944384 9293 0 0 0 56 4 0 0 20 0 19 0 475121954 15787429888 21231 33554432000 4194304 4196468 140721375034288 139827265303680 139827261073109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10924032 140721375040475 140721375040650 140721375040650 140721375043535 0
[pid=6496/tid=6498] ppid=6494 vsize=15417412 memory=512 CPUtime=0 cores=1,3,5,7
/proc/6496/task/6498/stat : 6498 (java) S 6494 6494 6055 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 475121954 15787429888 21231 33554432000 4194304 4196468 140721375034288 139826853502096 139827261073109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10924032 140721375040475 140721375040650 140721375040650 140721375043535 0
[pid=6496/tid=6499] ppid=6494 vsize=15417412 memory=1564 CPUtime=0 cores=1,3,5,7
/proc/6496/task/6499/stat : 6499 (java) S 6494 6494 6055 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 475121954 15787429888 21231 33554432000 4194304 4196468 140721375034288 139826852449296 139827261073109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10924032 140721375040475 140721375040650 140721375040650 140721375043535 0
[pid=6496/tid=6500] ppid=6494 vsize=15417412 memory=928 CPUtime=0 cores=1,3,5,7
/proc/6496/task/6500/stat : 6500 (java) S 6494 6494 6055 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 475121954 15787429888 21231 33554432000 4194304 4196468 140721375034288 139826851396496 139827261073109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10924032 140721375040475 140721375040650 140721375040650 140721375043535 0
[pid=6496/tid=6501] ppid=6494 vsize=15417412 memory=3784 CPUtime=0 cores=1,3,5,7
/proc/6496/task/6501/stat : 6501 (java) S 6494 6494 6055 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 475121954 15787429888 21231 33554432000 4194304 4196468 140721375034288 139826850343696 139827261073109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10924032 140721375040475 140721375040650 140721375040650 140721375043535 0
[pid=6496/tid=6502] ppid=6494 vsize=15417412 memory=1440 CPUtime=0 cores=1,3,5,7
/proc/6496/task/6502/stat : 6502 (java) S 6494 6494 6055 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 475121956 15787429888 21231 33554432000 4194304 4196468 140721375034288 139826135099760 139827261074050 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10924032 140721375040475 140721375040650 140721375040650 140721375043535 0
[pid=6496/tid=6503] ppid=6494 vsize=15417412 memory=904 CPUtime=0 cores=1,3,5,7
/proc/6496/task/6503/stat : 6503 (java) S 6494 6494 6055 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 475121956 15787429888 21231 33554432000 4194304 4196468 140721375034288 139826134045728 139827261073109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10924032 140721375040475 140721375040650 140721375040650 140721375043535 0
[pid=6496/tid=6504] ppid=6494 vsize=15417412 memory=1984 CPUtime=0 cores=1,3,5,7
/proc/6496/task/6504/stat : 6504 (java) S 6494 6494 6055 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 475121956 15787429888 21231 33554432000 4194304 4196468 140721375034288 139826132992880 139827261073109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10924032 140721375040475 140721375040650 140721375040650 140721375043535 0
[pid=6496/tid=6505] ppid=6494 vsize=15417412 memory=2528 CPUtime=0 cores=1,3,5,7
/proc/6496/task/6505/stat : 6505 (java) S 6494 6494 6055 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475121959 15787429888 21231 33554432000 4194304 4196468 140721375034288 139826131941200 139827261081499 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10924032 140721375040475 140721375040650 140721375040650 140721375043535 0
[pid=6496/tid=6506] ppid=6494 vsize=15417412 memory=1764 CPUtime=0.25 cores=1,3,5,7
/proc/6496/task/6506/stat : 6506 (java) R 6494 6494 6055 0 -1 4202560 1253 0 0 0 25 0 0 0 20 0 19 0 475121959 15787429888 21231 33554432000 4194304 4196468 140721375034288 139826130877456 139827238657681 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10924032 140721375040475 140721375040650 140721375040650 140721375043535 0
[pid=6496/tid=6507] ppid=6494 vsize=15417412 memory=111632 CPUtime=0.2 cores=1,3,5,7
/proc/6496/task/6507/stat : 6507 (java) S 6494 6494 6055 0 -1 1077944384 975 0 0 0 20 0 0 0 20 0 19 0 475121959 15787429888 21231 33554432000 4194304 4196468 140721375034288 139826129836784 139827261074050 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10924032 140721375040475 140721375040650 140721375040650 140721375043535 0
[pid=6496/tid=6508] ppid=6494 vsize=15417412 memory=804 CPUtime=0.37 cores=1,3,5,7
/proc/6496/task/6508/stat : 6508 (java) R 6494 6494 6055 0 -1 1077944384 1995 0 0 0 37 0 0 0 20 0 19 0 475121959 15787429888 21231 33554432000 4194304 4196468 140721375034288 139826128783168 139827261073109 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10924032 140721375040475 140721375040650 140721375040650 140721375043535 0
[pid=6496/tid=6509] ppid=6494 vsize=15417412 memory=4096 CPUtime=0 cores=1,3,5,7
/proc/6496/task/6509/stat : 6509 (java) S 6494 6494 6055 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475121959 15787429888 21231 33554432000 4194304 4196468 140721375034288 139826127731424 139827261073109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10924032 140721375040475 140721375040650 140721375040650 140721375043535 0
[pid=6496/tid=6510] ppid=6494 vsize=15417412 memory=1808 CPUtime=0 cores=1,3,5,7
/proc/6496/task/6510/stat : 6510 (java) S 6494 6494 6055 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 475121959 15787429888 21231 33554432000 4194304 4196468 140721375034288 139826126678704 139827261074050 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10924032 140721375040475 140721375040650 140721375040650 140721375043535 0
Current children cumulated CPU time: 1.63 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 86380 KiB
[startup+1.50176 s]
/proc/loadavg: 7.31 3.43 1.86 10/237 6514
/proc/meminfo: memFree=5467020/32770624 swapFree=66988696/67108860
[pid=6494] ppid=6491 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/6494/stat : 6494 (xcsp3-exec) S 6491 6494 6055 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475121953 115843072 364 33554432000 4194304 5098028 140725830641168 140725830639272 140229592818300 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 23482368 140725830648663 140725830648921 140725830648921 140725830651846 0
/proc/6494/statm: 28282 364 305 221 0 87 0
################
# More data... #
################
[pid=6496/tid=6498] ppid=6494 vsize=15417412 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6496/task/6498/stat : 6498 (java) S 6494 6494 6055 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 475121954 15787429888 28154 33554432000 4194304 4196468 140721375034288 139826853502096 139827261073109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10924032 140721375040475 140721375040650 140721375040650 140721375043535 0
[pid=6496/tid=6499] ppid=6494 vsize=15417412 memory=-6380006475353828994 CPUtime=0 cores=1,3,5,7
/proc/6496/task/6499/stat : 6499 (java) S 6494 6494 6055 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 475121954 15787429888 28154 33554432000 4194304 4196468 140721375034288 139826852449296 139827261073109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10924032 140721375040475 140721375040650 140721375040650 140721375043535 0
[pid=6496/tid=6500] ppid=6494 vsize=15417412 memory=108664 CPUtime=0 cores=1,3,5,7
/proc/6496/task/6500/stat : 6500 (java) S 6494 6494 6055 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 475121954 15787429888 28154 33554432000 4194304 4196468 140721375034288 139826851396496 139827261073109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10924032 140721375040475 140721375040650 140721375040650 140721375043535 0
[pid=6496/tid=6501] ppid=6494 vsize=15417412 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6496/task/6501/stat : 6501 (java) S 6494 6494 6055 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 475121954 15787429888 28154 33554432000 4194304 4196468 140721375034288 139826850343696 139827261073109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10924032 140721375040475 140721375040650 140721375040650 140721375043535 0
[pid=6496/tid=6502] ppid=6494 vsize=15417412 memory=4096 CPUtime=0 cores=1,3,5,7
/proc/6496/task/6502/stat : 6502 (java) S 6494 6494 6055 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 475121956 15787429888 28154 33554432000 4194304 4196468 140721375034288 139826135099760 139827261074050 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10924032 140721375040475 140721375040650 140721375040650 140721375043535 0
[pid=6496/tid=6503] ppid=6494 vsize=15417412 memory=1808 CPUtime=0 cores=1,3,5,7
/proc/6496/task/6503/stat : 6503 (java) S 6494 6494 6055 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 475121956 15787429888 28154 33554432000 4194304 4196468 140721375034288 139826134045728 139827261073109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10924032 140721375040475 140721375040650 140721375040650 140721375043535 0
[pid=6496/tid=6504] ppid=6494 vsize=15417412 memory=924 CPUtime=0 cores=1,3,5,7
/proc/6496/task/6504/stat : 6504 (java) S 6494 6494 6055 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 475121956 15787429888 28154 33554432000 4194304 4196468 140721375034288 139826132992880 139827261073109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10924032 140721375040475 140721375040650 140721375040650 140721375043535 0
[pid=6496/tid=6505] ppid=6494 vsize=15417412 memory=3804 CPUtime=0 cores=1,3,5,7
/proc/6496/task/6505/stat : 6505 (java) S 6494 6494 6055 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475121959 15787429888 28154 33554432000 4194304 4196468 140721375034288 139826131941200 139827261081499 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10924032 140721375040475 140721375040650 140721375040650 140721375043535 0
[pid=6496/tid=6506] ppid=6494 vsize=15417412 memory=2592 CPUtime=0.72 cores=1,3,5,7
/proc/6496/task/6506/stat : 6506 (java) R 6494 6494 6055 0 -1 4202560 3372 0 0 0 71 1 0 0 20 0 19 0 475121959 15787429888 28154 33554432000 4194304 4196468 140721375034288 139826130875608 139827240307548 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10924032 140721375040475 140721375040650 140721375040650 140721375043535 0
[pid=6496/tid=6507] ppid=6494 vsize=15417412 memory=2592 CPUtime=0.56 cores=1,3,5,7
/proc/6496/task/6507/stat : 6507 (java) R 6494 6494 6055 0 -1 4202560 2966 0 0 0 56 0 0 0 20 0 19 0 475121959 15787429888 28154 33554432000 4194304 4196468 140721375034288 139826129829272 139827240288960 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 10924032 140721375040475 140721375040650 140721375040650 140721375043535 0
[pid=6496/tid=6508] ppid=6494 vsize=15417412 memory=1412 CPUtime=0.5 cores=1,3,5,7
/proc/6496/task/6508/stat : 6508 (java) R 6494 6494 6055 0 -1 1077944384 3294 0 0 0 50 0 0 0 20 0 19 0 475121959 15787429888 28154 33554432000 4194304 4196468 140721375034288 139826128783984 139827261074050 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10924032 140721375040475 140721375040650 140721375040650 140721375043535 0
[pid=6496/tid=6509] ppid=6494 vsize=15417412 memory=3068 CPUtime=0 cores=1,3,5,7
/proc/6496/task/6509/stat : 6509 (java) S 6494 6494 6055 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475121959 15787429888 28154 33554432000 4194304 4196468 140721375034288 139826127731424 139827261073109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10924032 140721375040475 140721375040650 140721375040650 140721375043535 0
[pid=6496/tid=6510] ppid=6494 vsize=15417412 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/6496/task/6510/stat : 6510 (java) S 6494 6494 6055 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 475121959 15787429888 28154 33554432000 4194304 4196468 140721375034288 139826126678704 139827261074050 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10924032 140721375040475 140721375040650 140721375040650 140721375043535 0
[pid=6496/tid=6511] ppid=6494 vsize=15417412 memory=193448 CPUtime=0.53 cores=1,3,5,7
/proc/6496/task/6511/stat : 6511 (java) R 6494 6494 6055 0 -1 4202560 55 0 0 0 53 0 0 0 20 0 19 0 475122015 15787429888 28154 33554432000 4194304 4196468 140721375034288 139826117458984 139826902697982 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10924032 140721375040475 140721375040650 140721375040650 140721375043535 0
[pid=6496/tid=6512] ppid=6494 vsize=15417412 memory=0 CPUtime=0.59 cores=1,3,5,7
/proc/6496/task/6512/stat : 6512 (java) R 6494 6494 6055 0 -1 4202560 71 0 0 0 59 0 0 0 20 0 19 0 475122015 15787429888 28154 33554432000 4194304 4196468 140721375034288 139826116408296 139826903103206 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10924032 140721375040475 140721375040650 140721375040650 140721375043535 0
[pid=6496/tid=6513] ppid=6494 vsize=15417412 memory=2276 CPUtime=0.59 cores=1,3,5,7
/proc/6496/task/6513/stat : 6513 (java) R 6494 6494 6055 0 -1 4202560 41 0 0 0 59 0 0 0 20 0 19 0 475122015 15787429888 28154 33554432000 4194304 4196468 140721375034288 139826115354568 139826902720089 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10924032 140721375040475 140721375040650 140721375040650 140721375043535 0
[pid=6496/tid=6514] ppid=6494 vsize=15417412 memory=2528 CPUtime=0.62 cores=1,3,5,7
/proc/6496/task/6514/stat : 6514 (java) R 6494 6494 6055 0 -1 4202560 45 0 0 0 62 0 0 0 20 0 19 0 475122015 15787429888 28154 33554432000 4194304 4196468 140721375034288 139826114302680 139826902718224 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10924032 140721375040475 140721375040650 140721375040650 140721375043535 0
Current children cumulated CPU time: 4.76 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 114072 KiB
[startup+3.11076 s]
/proc/loadavg: 7.31 3.43 1.86 11/237 6514
/proc/meminfo: memFree=5439756/32770624 swapFree=66988696/67108860
[pid=6494] ppid=6491 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/6494/stat : 6494 (xcsp3-exec) S 6491 6494 6055 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475121953 115843072 364 33554432000 4194304 5098028 140725830641168 140725830639272 140229592818300 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 23482368 140725830648663 140725830648921 140725830648921 140725830651846 0
/proc/6494/statm: 28282 364 305 221 0 87 0
[pid=6496] ppid=6494 vsize=15417412 memory=124744 CPUtime=11.17 cores=1,3,5,7
/proc/6496/stat : 6496 (java) S 6494 6494 6055 0 -1 1077944320 28981 0 0 0 1109 8 0 0 20 0 19 0 475121953 15787429888 31186 33554432000 4194304 4196468 140721375034288 140721375016832 139827261062903 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 10924032 140721375040475 140721375040650 140721375040650 140721375043535 0
/proc/6496/statm: 3854353 31186 3474 1 0 3815453 0
[pid=6496/tid=6497] ppid=6494 vsize=15417412 memory=-8253387840130273401 CPUtime=0.6 cores=1,3,5,7
/proc/6496/task/6497/stat : 6497 (java) S 6494 6494 6055 0 -1 1077944384 9293 0 0 0 56 4 0 0 20 0 19 0 475121954 15787429888 31186 33554432000 4194304 4196468 140721375034288 139827265303680 139827261073109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10924032 140721375040475 140721375040650 140721375040650 140721375043535 0
[pid=6496/tid=6498] ppid=6494 vsize=15417412 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/6496/task/6498/stat : 6498 (java) S 6494 6494 6055 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 475121954 15787429888 31186 33554432000 4194304 4196468 140721375034288 139826853502096 139827261073109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10924032 140721375040475 140721375040650 140721375040650 140721375043535 0
[pid=6496/tid=6499] ppid=6494 vsize=15417412 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6496/task/6499/stat : 6499 (java) S 6494 6494 6055 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 475121954 15787429888 31186 33554432000 4194304 4196468 140721375034288 139826852449296 139827261073109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10924032 140721375040475 140721375040650 140721375040650 140721375043535 0
[pid=6496/tid=6500] ppid=6494 vsize=15417412 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6496/task/6500/stat : 6500 (java) S 6494 6494 6055 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 475121954 15787429888 31186 33554432000 4194304 4196468 140721375034288 139826851396496 139827261073109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10924032 140721375040475 140721375040650 140721375040650 140721375043535 0
[pid=6496/tid=6501] ppid=6494 vsize=15417412 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6496/task/6501/stat : 6501 (java) S 6494 6494 6055 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 475121954 15787429888 31186 33554432000 4194304 4196468 140721375034288 139826850343696 139827261073109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10924032 140721375040475 140721375040650 140721375040650 140721375043535 0
[pid=6496/tid=6502] ppid=6494 vsize=15417412 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6496/task/6502/stat : 6502 (java) S 6494 6494 6055 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 19 0 475121956 15787429888 31186 33554432000 4194304 4196468 140721375034288 139826135099760 139827261074050 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10924032 140721375040475 140721375040650 140721375040650 140721375043535 0
[pid=6496/tid=6503] ppid=6494 vsize=15417412 memory=8562125494162282060 CPUtime=0 cores=1,3,5,7
/proc/6496/task/6503/stat : 6503 (java) S 6494 6494 6055 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 475121956 15787429888 31186 33554432000 4194304 4196468 140721375034288 139826134045728 139827261073109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10924032 140721375040475 140721375040650 140721375040650 140721375043535 0
[pid=6496/tid=6504] ppid=6494 vsize=15417412 memory=7976406965554101975 CPUtime=0 cores=1,3,5,7
/proc/6496/task/6504/stat : 6504 (java) S 6494 6494 6055 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 475121956 15787429888 31186 33554432000 4194304 4196468 140721375034288 139826132992880 139827261073109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10924032 140721375040475 140721375040650 140721375040650 140721375043535 0
[pid=6496/tid=6505] ppid=6494 vsize=15417412 memory=-2026666227646604569 CPUtime=0 cores=1,3,5,7
/proc/6496/task/6505/stat : 6505 (java) S 6494 6494 6055 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475121959 15787429888 31186 33554432000 4194304 4196468 140721375034288 139826131941200 139827261081499 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10924032 140721375040475 140721375040650 140721375040650 140721375043535 0
[pid=6496/tid=6506] ppid=6494 vsize=15417412 memory=-4695043397844020537 CPUtime=1.64 cores=1,3,5,7
/proc/6496/task/6506/stat : 6506 (java) R 6494 6494 6055 0 -1 4202560 8281 0 0 0 163 1 0 0 20 0 19 0 475121959 15787429888 31186 33554432000 4194304 4196468 140721375034288 139826130875808 139827244449680 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10924032 140721375040475 140721375040650 140721375040650 140721375043535 0
[pid=6496/tid=6507] ppid=6494 vsize=15417412 memory=-2605811476043407915 CPUtime=1.8 cores=1,3,5,7
/proc/6496/task/6507/stat : 6507 (java) R 6494 6494 6055 0 -1 4202560 5442 0 0 0 179 1 0 0 20 0 19 0 475121959 15787429888 31186 33554432000 4194304 4196468 140721375034288 139826129823024 139827240749508 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 10924032 140721375040475 140721375040650 140721375040650 140721375043535 0
[pid=6496/tid=6508] ppid=6494 vsize=15417412 memory=2004 CPUtime=0.55 cores=1,3,5,7
/proc/6496/task/6508/stat : 6508 (java) S 6494 6494 6055 0 -1 1077944384 3956 0 0 0 54 1 0 0 20 0 19 0 475121959 15787429888 31186 33554432000 4194304 4196468 140721375034288 139826128783984 139827261074050 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10924032 140721375040475 140721375040650 140721375040650 140721375043535 0
[pid=6496/tid=6509] ppid=6494 vsize=15417412 memory=984 CPUtime=0 cores=1,3,5,7
/proc/6496/task/6509/stat : 6509 (java) S 6494 6494 6055 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475121959 15787429888 31186 33554432000 4194304 4196468 140721375034288 139826127731424 139827261073109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10924032 140721375040475 140721375040650 140721375040650 140721375043535 0
[pid=6496/tid=6510] ppid=6494 vsize=15417412 memory=1324 CPUtime=0 cores=1,3,5,7
/proc/6496/task/6510/stat : 6510 (java) S 6494 6494 6055 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 475121959 15787429888 31186 33554432000 4194304 4196468 140721375034288 139826126678704 139827261074050 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10924032 140721375040475 140721375040650 140721375040650 140721375043535 0
[pid=6496/tid=6511] ppid=6494 vsize=15417412 memory=780 CPUtime=1.65 cores=1,3,5,7
/proc/6496/task/6511/stat : 6511 (java) R 6494 6494 6055 0 -1 4202560 198 0 0 0 165 0 0 0 20 0 19 0 475122015 15787429888 31186 33554432000 4194304 4196468 140721375034288 139826117458872 139826903012383 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10924032 140721375040475 140721375040650 140721375040650 140721375043535 0
[pid=6496/tid=6512] ppid=6494 vsize=15417412 memory=3620 CPUtime=1.52 cores=1,3,5,7
/proc/6496/task/6512/stat : 6512 (java) R 6494 6494 6055 0 -1 4202560 178 0 0 0 152 0 0 0 20 0 19 0 475122015 15787429888 31186 33554432000 4194304 4196468 140721375034288 139826116409144 139826904404925 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10924032 140721375040475 140721375040650 140721375040650 140721375043535 0
[pid=6496/tid=6513] ppid=6494 vsize=15417412 memory=1576 CPUtime=1.61 cores=1,3,5,7
/proc/6496/task/6513/stat : 6513 (java) R 6494 6494 6055 0 -1 4202560 176 0 0 0 161 0 0 0 20 0 19 0 475122015 15787429888 31186 33554432000 4194304 4196468 140721375034288 139826115354120 139826902135046 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10924032 140721375040475 140721375040650 140721375040650 140721375043535 0
[pid=6496/tid=6514] ppid=6494 vsize=15417412 memory=279957242785088 CPUtime=1.76 cores=1,3,5,7
/proc/6496/task/6514/stat : 6514 (java) R 6494 6494 6055 0 -1 4202560 131 0 0 0 176 0 0 0 20 0 19 0 475122015 15787429888 31186 33554432000 4194304 4196468 140721375034288 139826114302520 139826904116487 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10924032 140721375040475 140721375040650 140721375040650 140721375043535 0
Current children cumulated CPU time: 11.17 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 126200 KiB
[startup+3.32401 s]
# the end of solver process 6494 was just reported to runsolver
# cumulated CPU time of all completed processes: user=11.8779 s, system=0.094788 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3.20104 s]
/proc/loadavg: 7.31 3.43 1.86 11/237 6514
/proc/meminfo: memFree=5439756/32770624 swapFree=66988696/67108860
[pid=6494] ppid=6491 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/6494/stat : 6494 (xcsp3-exec) S 6491 6494 6055 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475121953 115843072 364 33554432000 4194304 5098028 140725830641168 140725830639272 140229592818300 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 23482368 140725830648663 140725830648921 140725830648921 140725830651846 0
/proc/6494/statm: 28282 364 305 221 0 87 0
[pid=6496] ppid=6494 vsize=15417412 memory=124872 CPUtime=11.53 cores=1,3,5,7
/proc/6496/stat : 6496 (java) S 6494 6494 6055 0 -1 1077944320 29021 0 0 0 1145 8 0 0 20 0 19 0 475121953 15787429888 31218 33554432000 4194304 4196468 140721375034288 140721375016832 139827261062903 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 10924032 140721375040475 140721375040650 140721375040650 140721375043535 0
/proc/6496/statm: 3854353 31218 3474 1 0 3815453 0
[pid=6496/tid=6497] ppid=6494 vsize=15417412 memory=6944656575208382560 CPUtime=0.6 cores=1,3,5,7
/proc/6496/task/6497/stat : 6497 (java) S 6494 6494 6055 0 -1 1077944384 9293 0 0 0 56 4 0 0 20 0 19 0 475121954 15787429888 31218 33554432000 4194304 4196468 140721375034288 139827265303680 139827261073109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10924032 140721375040475 140721375040650 140721375040650 140721375043535 0
[pid=6496/tid=6498] ppid=6494 vsize=15417412 memory=5790591595484031584 CPUtime=0 cores=1,3,5,7
/proc/6496/task/6498/stat : 6498 (java) S 6494 6494 6055 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 475121954 15787429888 31218 33554432000 4194304 4196468 140721375034288 139826853502096 139827261073109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10924032 140721375040475 140721375040650 140721375040650 140721375043535 0
[pid=6496/tid=6499] ppid=6494 vsize=15417412 memory=7667752656720712804 CPUtime=0 cores=1,3,5,7
/proc/6496/task/6499/stat : 6499 (java) S 6494 6494 6055 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 475121954 15787429888 31218 33554432000 4194304 4196468 140721375034288 139826852449296 139827261073109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10924032 140721375040475 140721375040650 140721375040650 140721375043535 0
[pid=6496/tid=6500] ppid=6494 vsize=15417412 memory=279957243209280 CPUtime=0 cores=1,3,5,7
/proc/6496/task/6500/stat : 6500 (java) S 6494 6494 6055 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 475121954 15787429888 31218 33554432000 4194304 4196468 140721375034288 139826851396496 139827261073109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10924032 140721375040475 140721375040650 140721375040650 140721375043535 0
[pid=6496/tid=6501] ppid=6494 vsize=15417412 memory=167868796777163 CPUtime=0 cores=1,3,5,7
/proc/6496/task/6501/stat : 6501 (java) S 6494 6494 6055 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 475121954 15787429888 31218 33554432000 4194304 4196468 140721375034288 139826850343696 139827261073109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10924032 140721375040475 140721375040650 140721375040650 140721375043535 0
[pid=6496/tid=6502] ppid=6494 vsize=15417412 memory=167868796777164 CPUtime=0 cores=1,3,5,7
/proc/6496/task/6502/stat : 6502 (java) S 6494 6494 6055 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 19 0 475121956 15787429888 31218 33554432000 4194304 4196468 140721375034288 139826135099760 139827261074050 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10924032 140721375040475 140721375040650 140721375040650 140721375043535 0
[pid=6496/tid=6503] ppid=6494 vsize=15417412 memory=167868796777165 CPUtime=0 cores=1,3,5,7
/proc/6496/task/6503/stat : 6503 (java) S 6494 6494 6055 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 475121956 15787429888 31218 33554432000 4194304 4196468 140721375034288 139826134045728 139827261073109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10924032 140721375040475 140721375040650 140721375040650 140721375043535 0
[pid=6496/tid=6504] ppid=6494 vsize=15417412 memory=167868796777166 CPUtime=0 cores=1,3,5,7
/proc/6496/task/6504/stat : 6504 (java) S 6494 6494 6055 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 475121956 15787429888 31218 33554432000 4194304 4196468 140721375034288 139826132992880 139827261073109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10924032 140721375040475 140721375040650 140721375040650 140721375043535 0
[pid=6496/tid=6505] ppid=6494 vsize=15417412 memory=167868796777167 CPUtime=0 cores=1,3,5,7
/proc/6496/task/6505/stat : 6505 (java) S 6494 6494 6055 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475121959 15787429888 31218 33554432000 4194304 4196468 140721375034288 139826131941200 139827261081499 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10924032 140721375040475 140721375040650 140721375040650 140721375043535 0
[pid=6496/tid=6506] ppid=6494 vsize=15417412 memory=167868796777168 CPUtime=1.7 cores=1,3,5,7
/proc/6496/task/6506/stat : 6506 (java) R 6494 6494 6055 0 -1 4202560 8305 0 0 0 169 1 0 0 20 0 19 0 475121959 15787429888 31218 33554432000 4194304 4196468 140721375034288 139826130875680 139827244563248 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10924032 140721375040475 140721375040650 140721375040650 140721375043535 0
[pid=6496/tid=6507] ppid=6494 vsize=15417412 memory=1028 CPUtime=1.87 cores=1,3,5,7
/proc/6496/task/6507/stat : 6507 (java) R 6494 6494 6055 0 -1 4202560 5455 0 0 0 186 1 0 0 20 0 19 0 475121959 15787429888 31218 33554432000 4194304 4196468 140721375034288 139826129823328 139827246187640 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 10924032 140721375040475 140721375040650 140721375040650 140721375043535 0
[pid=6496/tid=6508] ppid=6494 vsize=15417412 memory=1060 CPUtime=0.55 cores=1,3,5,7
/proc/6496/task/6508/stat : 6508 (java) R 6494 6494 6055 0 -1 1077944384 3958 0 0 0 54 1 0 0 20 0 19 0 475121959 15787429888 31218 33554432000 4194304 4196468 140721375034288 139826128783984 139827261074050 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10924032 140721375040475 140721375040650 140721375040650 140721375043535 0
[pid=6496/tid=6509] ppid=6494 vsize=15417412 memory=2828 CPUtime=0 cores=1,3,5,7
/proc/6496/task/6509/stat : 6509 (java) S 6494 6494 6055 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475121959 15787429888 31218 33554432000 4194304 4196468 140721375034288 139826127731424 139827261073109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10924032 140721375040475 140721375040650 140721375040650 140721375043535 0
[pid=6496/tid=6510] ppid=6494 vsize=15417412 memory=756 CPUtime=0 cores=1,3,5,7
/proc/6496/task/6510/stat : 6510 (java) S 6494 6494 6055 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 475121959 15787429888 31218 33554432000 4194304 4196468 140721375034288 139826126678704 139827261074050 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10924032 140721375040475 140721375040650 140721375040650 140721375043535 0
[pid=6496/tid=6511] ppid=6494 vsize=15417412 memory=1548 CPUtime=1.74 cores=1,3,5,7
/proc/6496/task/6511/stat : 6511 (java) R 6494 6494 6055 0 -1 4202560 198 0 0 0 174 0 0 0 20 0 19 0 475122015 15787429888 31218 33554432000 4194304 4196468 140721375034288 139826117456112 139827261074838 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10924032 140721375040475 140721375040650 140721375040650 140721375043535 0
[pid=6496/tid=6512] ppid=6494 vsize=15417412 memory=8104 CPUtime=1.54 cores=1,3,5,7
/proc/6496/task/6512/stat : 6512 (java) S 6494 6494 6055 0 -1 1077944384 178 0 0 0 154 0 0 0 20 0 19 0 475122015 15787429888 31218 33554432000 4194304 4196468 140721375034288 139826116406016 139827261073109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10924032 140721375040475 140721375040650 140721375040650 140721375043535 0
[pid=6496/tid=6513] ppid=6494 vsize=15417412 memory=1164 CPUtime=1.67 cores=1,3,5,7
/proc/6496/task/6513/stat : 6513 (java) R 6494 6494 6055 0 -1 4202560 176 0 0 0 167 0 0 0 20 0 19 0 475122015 15787429888 31218 33554432000 4194304 4196468 140721375034288 139826115354696 139826903122607 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10924032 140721375040475 140721375040650 140721375040650 140721375043535 0
[pid=6496/tid=6514] ppid=6494 vsize=15417412 memory=9520 CPUtime=1.79 cores=1,3,5,7
/proc/6496/task/6514/stat : 6514 (java) R 6494 6494 6055 0 -1 1077944384 132 0 0 0 179 0 0 0 20 0 19 0 475122015 15787429888 31218 33554432000 4194304 4196468 140721375034288 139826114301440 139827261073109 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 10924032 140721375040475 140721375040650 140721375040650 140721375043535 0
Current children cumulated CPU time: 11.53 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 126328 KiB
[startup+3.40085 s]*
/proc/loadavg: 7.31 3.43 1.86 5/217 6516
/proc/meminfo: memFree=5540540/32770624 swapFree=66988696/67108860
Current cumulated CPU time of completed processes: 11.9726 s
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
[startup+3.50948 s]
/proc/loadavg: 7.31 3.43 1.86 5/217 6516
/proc/meminfo: memFree=5540540/32770624 swapFree=66988696/67108860
Current cumulated CPU time of completed processes: 11.9726 s
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 0
Real time (s): 3.5818
CPU time (s): 11.9726
CPU user time (s): 11.8779
CPU system time (s): 0.094788
CPU usage (%): 334.263
Max. virtual memory (cumulated for all children) (KiB): 15530540
Max. memory (cumulated for all children) (KiB): 128512
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 11.8779
system time used= 0.094788
maximum resident set size= 129208
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 29938
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= 2175
involuntary context switches= 578
# summary of solver processes directly reported to runsolver:
# pid: 6494
# total CPU time (s): 11.9726
# total CPU user time (s): 11.8779
# total CPU system time (s): 0.094788
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.054825 second user time and 0.070607 second system time
The end