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 (15076 MiB free)
memory of node 1: 16384 MiB (15167 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4270198-1502622302/watcher-4270198-1502622302 -o /tmp/evaluation-result-4270198-1502622302/solver-4270198-1502622302 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node135-1502620465-28447 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 2041793827 HOME/instance-4270198-1502622302.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=29560, runsolver pid=29557
[startup+0.10006 s]*
/proc/loadavg: 2.28 2.06 2.05 3/211 29567
/proc/meminfo: memFree=30965188/32770624 swapFree=67108860/67108860
[pid=29560] ppid=29557 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/29560/stat : 29560 (xcsp3-exec) S 29557 29560 12395 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 104141541 9740288 345 18446744073709551615 4194304 5098028 140722697803712 140722697801816 140415171924604 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 8 0 0 7196144 7232144 8945664 140722697806206 140722697806410 140722697806410 140722697809899 0
/proc/29560/statm: 2378 345 289 221 0 87 0
[pid=29562] ppid=29560 vsize=13358712 memory=14628 CPUtime=0.01 cores=0,2,4,6
/proc/29562/stat : 29562 (java) S 29560 29560 12395 0 -1 1077944320 3447 0 0 0 1 0 0 0 20 0 6 0 104141550 13679321088 3657 18446744073709551615 4194304 4196468 140721410785792 140721410768336 140482952597239 0 0 1 16784584 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 28532736 140721410793911 140721410794086 140721410794086 140721410797519 0
/proc/29562/statm: 3339678 3657 1904 1 0 3329175 0
[pid=29562/tid=29563] ppid=29560 vsize=13358712 memory=-6297548971677159783 CPUtime=0 cores=0,2,4,6
/proc/29562/task/29563/stat : 29563 (java) R 29560 29560 12395 0 -1 4202560 2212 0 0 0 0 0 0 0 20 0 6 0 104141550 13679321088 3657 18446744073709551615 4194304 4196468 140721410785792 140482956833360 140482952619165 0 4 1 16784584 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28532736 140721410793911 140721410794086 140721410794086 140721410797519 0
[pid=29562/tid=29564] ppid=29560 vsize=13358712 memory=5767616305815243145 CPUtime=0 cores=0,2,4,6
/proc/29562/task/29564/stat : 29564 (java) S 29560 29560 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 6 0 104141551 13679321088 3657 18446744073709551615 4194304 4196468 140721410785792 140482887031696 140482952607445 0 4 1 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28532736 140721410793911 140721410794086 140721410794086 140721410797519 0
[pid=29562/tid=29565] ppid=29560 vsize=13358712 memory=139915516712576 CPUtime=0 cores=0,2,4,6
/proc/29562/task/29565/stat : 29565 (java) S 29560 29560 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 104141551 13679321088 3657 18446744073709551615 4194304 4196468 140721410785792 140482885978896 140482952607445 0 4 1 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28532736 140721410793911 140721410794086 140721410794086 140721410797519 0
[pid=29562/tid=29566] ppid=29560 vsize=13358712 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29562/task/29566/stat : 29566 (java) S 29560 29560 12395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 104141551 13679321088 3657 18446744073709551615 4194304 4196468 140721410785792 140482884926608 140482952607445 0 4 1 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28532736 140721410793911 140721410794086 140721410794086 140721410797519 0
[pid=29562/tid=29567] ppid=29560 vsize=13358712 memory=-1807685287725067907 CPUtime=0 cores=0,2,4,6
/proc/29562/task/29567/stat : 29567 (java) S 29560 29560 12395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 104141551 13679321088 3657 18446744073709551615 4194304 4196468 140721410785792 140482883873808 140482952607445 0 4 1 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28532736 140721410793911 140721410794086 140721410794086 140721410797519 0
Current children cumulated CPU time: 0.01 s
Current children cumulated vsize: 13368224 KiB
Current children cumulated memory: 16008 KiB
[startup+0.210669 s]*
/proc/loadavg: 2.28 2.06 2.05 2/219 29575
/proc/meminfo: memFree=30958624/32770624 swapFree=67108860/67108860
[pid=29560] ppid=29557 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/29560/stat : 29560 (xcsp3-exec) S 29557 29560 12395 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 104141541 9740288 345 18446744073709551615 4194304 5098028 140722697803712 140722697801816 140415171924604 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 8 0 0 7196144 7232144 8945664 140722697806206 140722697806410 140722697806410 140722697809899 0
/proc/29560/statm: 2378 345 289 221 0 87 0
[pid=29562] ppid=29560 vsize=13907304 memory=22140 CPUtime=0.06 cores=0,2,4,6
/proc/29562/stat : 29562 (java) S 29560 29560 12395 0 -1 1077944320 4933 0 0 0 5 1 0 0 20 0 14 0 104141550 14241079296 5535 18446744073709551615 4194304 4196468 140721410785792 140721410768336 140482952597239 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 28532736 140721410793911 140721410794086 140721410794086 140721410797519 0
/proc/29562/statm: 3476826 5535 2570 1 0 3466323 0
[pid=29562/tid=29563] ppid=29560 vsize=13907304 memory=8042755417181166493 CPUtime=0.04 cores=0,2,4,6
/proc/29562/task/29563/stat : 29563 (java) D 29560 29560 12395 0 -1 4202560 3109 0 0 0 4 0 0 0 20 0 14 0 104141550 14241079296 5535 18446744073709551615 4194304 4196468 140721410785792 140482956834720 140482952619261 0 4 1 16800974 18446744071580418449 0 0 -1 4 0 0 0 0 0 6293624 6294260 28532736 140721410793911 140721410794086 140721410794086 140721410797519 0
[pid=29562/tid=29564] ppid=29560 vsize=13907304 memory=5767616305815243145 CPUtime=0 cores=0,2,4,6
/proc/29562/task/29564/stat : 29564 (java) S 29560 29560 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 104141551 14241079296 5535 18446744073709551615 4194304 4196468 140721410785792 140482887031696 140482952607445 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28532736 140721410793911 140721410794086 140721410794086 140721410797519 0
[pid=29562/tid=29565] ppid=29560 vsize=13907304 memory=139915516712576 CPUtime=0 cores=0,2,4,6
/proc/29562/task/29565/stat : 29565 (java) S 29560 29560 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 104141551 14241079296 5535 18446744073709551615 4194304 4196468 140721410785792 140482885978896 140482952607445 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28532736 140721410793911 140721410794086 140721410794086 140721410797519 0
[pid=29562/tid=29566] ppid=29560 vsize=13907304 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29562/task/29566/stat : 29566 (java) S 29560 29560 12395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 104141551 14241079296 5535 18446744073709551615 4194304 4196468 140721410785792 140482884926608 140482952607445 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28532736 140721410793911 140721410794086 140721410794086 140721410797519 0
[pid=29562/tid=29567] ppid=29560 vsize=13907304 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29562/task/29567/stat : 29567 (java) S 29560 29560 12395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 104141551 14241079296 5535 18446744073709551615 4194304 4196468 140721410785792 140482883873808 140482952607445 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28532736 140721410793911 140721410794086 140721410794086 140721410797519 0
[pid=29562/tid=29568] ppid=29560 vsize=13907304 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29562/task/29568/stat : 29568 (java) S 29560 29560 12395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 104141552 14241079296 5535 18446744073709551615 4194304 4196468 140721410785792 140482431117424 140482952608386 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28532736 140721410793911 140721410794086 140721410794086 140721410797519 0
[pid=29562/tid=29569] ppid=29560 vsize=13907304 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29562/task/29569/stat : 29569 (java) S 29560 29560 12395 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 14 0 104141553 14241079296 5535 18446744073709551615 4194304 4196468 140721410785792 140482430063392 140482952607445 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28532736 140721410793911 140721410794086 140721410794086 140721410797519 0
[pid=29562/tid=29570] ppid=29560 vsize=13907304 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29562/task/29570/stat : 29570 (java) S 29560 29560 12395 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 14 0 104141553 14241079296 5535 18446744073709551615 4194304 4196468 140721410785792 140482429011056 140482952607445 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28532736 140721410793911 140721410794086 140721410794086 140721410797519 0
[pid=29562/tid=29571] ppid=29560 vsize=13907304 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29562/task/29571/stat : 29571 (java) S 29560 29560 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 104141555 14241079296 5535 18446744073709551615 4194304 4196468 140721410785792 140482427959376 140482952615835 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28532736 140721410793911 140721410794086 140721410794086 140721410797519 0
[pid=29562/tid=29572] ppid=29560 vsize=13907304 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29562/task/29572/stat : 29572 (java) S 29560 29560 12395 0 -1 1077944384 307 0 0 0 0 0 0 0 20 0 14 0 104141555 14241079296 5535 18446744073709551615 4194304 4196468 140721410785792 140482426907248 140482952608386 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28532736 140721410793911 140721410794086 140721410794086 140721410797519 0
[pid=29562/tid=29573] ppid=29560 vsize=13907304 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29562/task/29573/stat : 29573 (java) S 29560 29560 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 104141555 14241079296 5535 18446744073709551615 4194304 4196468 140721410785792 140482425854448 140482952608386 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28532736 140721410793911 140721410794086 140721410794086 140721410797519 0
[pid=29562/tid=29574] ppid=29560 vsize=13907304 memory=139915516712576 CPUtime=0 cores=0,2,4,6
/proc/29562/task/29574/stat : 29574 (java) S 29560 29560 12395 0 -1 1077944384 208 0 0 0 0 0 0 0 20 0 14 0 104141555 14241079296 5535 18446744073709551615 4194304 4196468 140721410785792 140482424802160 140482952608386 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28532736 140721410793911 140721410794086 140721410794086 140721410797519 0
[pid=29562/tid=29575] ppid=29560 vsize=13907304 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29562/task/29575/stat : 29575 (java) S 29560 29560 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 104141555 14241079296 5535 18446744073709551615 4194304 4196468 140721410785792 140482423749600 140482952607445 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28532736 140721410793911 140721410794086 140721410794086 140721410797519 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 13916816 KiB
Current children cumulated memory: 23520 KiB
[startup+0.310608 s]*
/proc/loadavg: 2.28 2.06 2.05 5/220 29576
/proc/meminfo: memFree=30950608/32770624 swapFree=67108860/67108860
[pid=29560] ppid=29557 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/29560/stat : 29560 (xcsp3-exec) S 29557 29560 12395 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 104141541 9740288 345 18446744073709551615 4194304 5098028 140722697803712 140722697801816 140415171924604 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 8 0 0 7196144 7232144 8945664 140722697806206 140722697806410 140722697806410 140722697809899 0
/proc/29560/statm: 2378 345 289 221 0 87 0
[pid=29562] ppid=29560 vsize=13974352 memory=31084 CPUtime=0.18 cores=0,2,4,6
/proc/29562/stat : 29562 (java) S 29560 29560 12395 0 -1 1077944320 6207 0 0 0 17 1 0 0 20 0 15 0 104141550 14309736448 7771 18446744073709551615 4194304 4196468 140721410785792 140721410768336 140482952597239 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 28532736 140721410793911 140721410794086 140721410794086 140721410797519 0
/proc/29562/statm: 3493588 7771 2918 1 0 3482964 0
[pid=29562/tid=29563] ppid=29560 vsize=13974352 memory=-8774313645642428999 CPUtime=0.11 cores=0,2,4,6
/proc/29562/task/29563/stat : 29563 (java) R 29560 29560 12395 0 -1 4202560 3560 0 0 0 11 0 0 0 20 0 15 0 104141550 14309736448 7771 18446744073709551615 4194304 4196468 140721410785792 140482956830992 140482952619165 0 4 1 16800974 0 0 0 -1 2 0 0 9 0 0 6293624 6294260 28532736 140721410793911 140721410794086 140721410794086 140721410797519 0
[pid=29562/tid=29564] ppid=29560 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29562/task/29564/stat : 29564 (java) S 29560 29560 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 104141551 14309736448 7771 18446744073709551615 4194304 4196468 140721410785792 140482887031696 140482952607445 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28532736 140721410793911 140721410794086 140721410794086 140721410797519 0
[pid=29562/tid=29565] ppid=29560 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29562/task/29565/stat : 29565 (java) S 29560 29560 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 104141551 14309736448 7771 18446744073709551615 4194304 4196468 140721410785792 140482885978896 140482952607445 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28532736 140721410793911 140721410794086 140721410794086 140721410797519 0
[pid=29562/tid=29566] ppid=29560 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29562/task/29566/stat : 29566 (java) S 29560 29560 12395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 104141551 14309736448 7771 18446744073709551615 4194304 4196468 140721410785792 140482884926608 140482952607445 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28532736 140721410793911 140721410794086 140721410794086 140721410797519 0
[pid=29562/tid=29567] ppid=29560 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29562/task/29567/stat : 29567 (java) S 29560 29560 12395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 104141551 14309736448 7771 18446744073709551615 4194304 4196468 140721410785792 140482883873808 140482952607445 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28532736 140721410793911 140721410794086 140721410794086 140721410797519 0
[pid=29562/tid=29568] ppid=29560 vsize=13974352 memory=139915405057216 CPUtime=0 cores=0,2,4,6
/proc/29562/task/29568/stat : 29568 (java) S 29560 29560 12395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 104141552 14309736448 7771 18446744073709551615 4194304 4196468 140721410785792 140482431117424 140482952608386 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28532736 140721410793911 140721410794086 140721410794086 140721410797519 0
[pid=29562/tid=29569] ppid=29560 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29562/task/29569/stat : 29569 (java) S 29560 29560 12395 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 104141553 14309736448 7771 18446744073709551615 4194304 4196468 140721410785792 140482430063392 140482952607445 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28532736 140721410793911 140721410794086 140721410794086 140721410797519 0
[pid=29562/tid=29570] ppid=29560 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29562/task/29570/stat : 29570 (java) S 29560 29560 12395 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 104141553 14309736448 7771 18446744073709551615 4194304 4196468 140721410785792 140482429011056 140482952607445 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28532736 140721410793911 140721410794086 140721410794086 140721410797519 0
[pid=29562/tid=29571] ppid=29560 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29562/task/29571/stat : 29571 (java) S 29560 29560 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 104141555 14309736448 7771 18446744073709551615 4194304 4196468 140721410785792 140482427959376 140482952615835 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28532736 140721410793911 140721410794086 140721410794086 140721410797519 0
[pid=29562/tid=29572] ppid=29560 vsize=13974352 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/29562/task/29572/stat : 29572 (java) S 29560 29560 12395 0 -1 1077944384 612 0 0 0 1 0 0 0 20 0 15 0 104141555 14309736448 7771 18446744073709551615 4194304 4196468 140721410785792 140482426907248 140482952608386 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28532736 140721410793911 140721410794086 140721410794086 140721410797519 0
[pid=29562/tid=29573] ppid=29560 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29562/task/29573/stat : 29573 (java) S 29560 29560 12395 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 15 0 104141555 14309736448 7771 18446744073709551615 4194304 4196468 140721410785792 140482425854448 140482952608386 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28532736 140721410793911 140721410794086 140721410794086 140721410797519 0
[pid=29562/tid=29574] ppid=29560 vsize=13974352 memory=139915516712576 CPUtime=0.03 cores=0,2,4,6
/proc/29562/task/29574/stat : 29574 (java) R 29560 29560 12395 0 -1 4202560 675 0 0 0 3 0 0 0 20 0 15 0 104141555 14309736448 7771 18446744073709551615 4194304 4196468 140721410785792 140482424802160 140482931146290 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28532736 140721410793911 140721410794086 140721410794086 140721410797519 0
[pid=29562/tid=29575] ppid=29560 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29562/task/29575/stat : 29575 (java) S 29560 29560 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 104141555 14309736448 7771 18446744073709551615 4194304 4196468 140721410785792 140482423749600 140482952607445 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28532736 140721410793911 140721410794086 140721410794086 140721410797519 0
[pid=29562/tid=29576] ppid=29560 vsize=13974352 memory=139915516712576 CPUtime=0 cores=0,2,4,6
/proc/29562/task/29576/stat : 29576 (java) S 29560 29560 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 104141565 14309736448 7771 18446744073709551615 4194304 4196468 140721410785792 140482422696368 140482952608386 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28532736 140721410793911 140721410794086 140721410794086 140721410797519 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 32464 KiB
[startup+0.700744 s]
/proc/loadavg: 2.28 2.06 2.05 3/220 29576
/proc/meminfo: memFree=30934184/32770624 swapFree=67108860/67108860
[pid=29560] ppid=29557 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/29560/stat : 29560 (xcsp3-exec) S 29557 29560 12395 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 104141541 9740288 345 18446744073709551615 4194304 5098028 140722697803712 140722697801816 140415171924604 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 8 0 0 7196144 7232144 8945664 140722697806206 140722697806410 140722697806410 140722697809899 0
/proc/29560/statm: 2378 345 289 221 0 87 0
[pid=29562] ppid=29560 vsize=13980732 memory=66724 CPUtime=1.05 cores=0,2,4,6
/proc/29562/stat : 29562 (java) S 29560 29560 12395 0 -1 1077944320 14283 0 0 0 100 5 0 0 20 0 15 0 104141550 14316269568 16681 18446744073709551615 4194304 4196468 140721410785792 140721410768336 140482952597239 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 28532736 140721410793911 140721410794086 140721410794086 140721410797519 0
/proc/29562/statm: 3495183 16681 3170 1 0 3483476 0
[pid=29562/tid=29563] ppid=29560 vsize=13980732 memory=0 CPUtime=0.49 cores=0,2,4,6
/proc/29562/task/29563/stat : 29563 (java) R 29560 29560 12395 0 -1 4202560 8419 0 0 0 46 3 0 0 20 0 15 0 104141550 14316269568 16681 18446744073709551615 4194304 4196468 140721410785792 140482956829304 140482561460150 0 4 1 16800974 0 0 0 -1 0 0 0 9 0 0 6293624 6294260 28532736 140721410793911 140721410794086 140721410794086 140721410797519 0
[pid=29562/tid=29564] ppid=29560 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29562/task/29564/stat : 29564 (java) S 29560 29560 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 104141551 14316269568 16681 18446744073709551615 4194304 4196468 140721410785792 140482887031696 140482952607445 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28532736 140721410793911 140721410794086 140721410794086 140721410797519 0
[pid=29562/tid=29565] ppid=29560 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29562/task/29565/stat : 29565 (java) S 29560 29560 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 104141551 14316269568 16681 18446744073709551615 4194304 4196468 140721410785792 140482885978896 140482952607445 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28532736 140721410793911 140721410794086 140721410794086 140721410797519 0
[pid=29562/tid=29566] ppid=29560 vsize=13980732 memory=12132 CPUtime=0 cores=0,2,4,6
/proc/29562/task/29566/stat : 29566 (java) S 29560 29560 12395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 104141551 14316269568 16681 18446744073709551615 4194304 4196468 140721410785792 140482884926608 140482952607445 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28532736 140721410793911 140721410794086 140721410794086 140721410797519 0
[pid=29562/tid=29567] ppid=29560 vsize=13980732 memory=796 CPUtime=0 cores=0,2,4,6
/proc/29562/task/29567/stat : 29567 (java) S 29560 29560 12395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 104141551 14316269568 16681 18446744073709551615 4194304 4196468 140721410785792 140482883873808 140482952607445 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28532736 140721410793911 140721410794086 140721410794086 140721410797519 0
[pid=29562/tid=29568] ppid=29560 vsize=13980732 memory=5784 CPUtime=0 cores=0,2,4,6
/proc/29562/task/29568/stat : 29568 (java) S 29560 29560 12395 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 104141552 14316269568 16681 18446744073709551615 4194304 4196468 140721410785792 140482431117424 140482952608386 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28532736 140721410793911 140721410794086 140721410794086 140721410797519 0
[pid=29562/tid=29569] ppid=29560 vsize=13980732 memory=4612 CPUtime=0 cores=0,2,4,6
/proc/29562/task/29569/stat : 29569 (java) S 29560 29560 12395 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 104141553 14316269568 16681 18446744073709551615 4194304 4196468 140721410785792 140482430063392 140482952607445 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28532736 140721410793911 140721410794086 140721410794086 140721410797519 0
[pid=29562/tid=29570] ppid=29560 vsize=13980732 memory=1716 CPUtime=0 cores=0,2,4,6
/proc/29562/task/29570/stat : 29570 (java) S 29560 29560 12395 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 104141553 14316269568 16681 18446744073709551615 4194304 4196468 140721410785792 140482429011056 140482952607445 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28532736 140721410793911 140721410794086 140721410794086 140721410797519 0
[pid=29562/tid=29571] ppid=29560 vsize=13980732 memory=9024 CPUtime=0 cores=0,2,4,6
/proc/29562/task/29571/stat : 29571 (java) S 29560 29560 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 104141555 14316269568 16681 18446744073709551615 4194304 4196468 140721410785792 140482427959376 140482952615835 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28532736 140721410793911 140721410794086 140721410794086 140721410797519 0
[pid=29562/tid=29572] ppid=29560 vsize=13980732 memory=1436 CPUtime=0.16 cores=0,2,4,6
/proc/29562/task/29572/stat : 29572 (java) R 29560 29560 12395 0 -1 4202560 1599 0 0 0 16 0 0 0 20 0 15 0 104141555 14316269568 16681 18446744073709551615 4194304 4196468 140721410785792 140482426907376 140482930989109 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28532736 140721410793911 140721410794086 140721410794086 140721410797519 0
[pid=29562/tid=29573] ppid=29560 vsize=13980732 memory=1196 CPUtime=0.14 cores=0,2,4,6
/proc/29562/task/29573/stat : 29573 (java) R 29560 29560 12395 0 -1 4202560 1329 0 0 0 14 0 0 0 20 0 15 0 104141555 14316269568 16681 18446744073709551615 4194304 4196468 140721410785792 140482425835464 140482936091724 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28532736 140721410793911 140721410794086 140721410794086 140721410797519 0
[pid=29562/tid=29574] ppid=29560 vsize=13980732 memory=15880 CPUtime=0.22 cores=0,2,4,6
/proc/29562/task/29574/stat : 29574 (java) R 29560 29560 12395 0 -1 4202560 1626 0 0 0 22 0 0 0 20 0 15 0 104141555 14316269568 16681 18446744073709551615 4194304 4196468 140721410785792 140482424797088 140482929821392 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 28532736 140721410793911 140721410794086 140721410794086 140721410797519 0
[pid=29562/tid=29575] ppid=29560 vsize=13980732 memory=33 CPUtime=0 cores=0,2,4,6
/proc/29562/task/29575/stat : 29575 (java) S 29560 29560 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 104141555 14316269568 16681 18446744073709551615 4194304 4196468 140721410785792 140482423749600 140482952607445 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28532736 140721410793911 140721410794086 140721410794086 140721410797519 0
[pid=29562/tid=29576] ppid=29560 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29562/task/29576/stat : 29576 (java) R 29560 29560 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 104141565 14316269568 16681 18446744073709551615 4194304 4196468 140721410785792 140482422696368 140482952608386 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 28532736 140721410793911 140721410794086 140721410794086 140721410797519 0
Current children cumulated CPU time: 1.05 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 68104 KiB
[startup+1.5008 s]
/proc/loadavg: 2.28 2.06 2.05 5/220 29576
/proc/meminfo: memFree=30872168/32770624 swapFree=67108860/67108860
[pid=29560] ppid=29557 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/29560/stat : 29560 (xcsp3-exec) S 29557 29560 12395 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 104141541 9740288 345 18446744073709551615 4194304 5098028 140722697803712 140722697801816 140415171924604 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 8 0 0 7196144 7232144 8945664 140722697806206 140722697806410 140722697806410 140722697809899 0
/proc/29560/statm: 2378 345 289 221 0 87 0
[pid=29562] ppid=29560 vsize=13980732 memory=110324 CPUtime=3.64 cores=0,2,4,6
/proc/29562/stat : 29562 (java) S 29560 29560 12395 0 -1 1077944320 30517 0 0 0 356 8 0 0 20 0 15 0 104141550 14316269568 27581 18446744073709551615 4194304 4196468 140721410785792 140721410768336 140482952597239 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 28532736 140721410793911 140721410794086 140721410794086 140721410797519 0
/proc/29562/statm: 3495183 27581 3185 1 0 3483476 0
[pid=29562/tid=29563] ppid=29560 vsize=13980732 memory=6944656592455097440 CPUtime=1.29 cores=0,2,4,6
/proc/29562/task/29563/stat : 29563 (java) R 29560 29560 12395 0 -1 4202560 9133 0 0 0 125 4 0 0 20 0 15 0 104141550 14316269568 27581 18446744073709551615 4194304 4196468 140721410785792 140482956836360 140482562986880 0 4 1 16800974 0 0 0 -1 0 0 0 9 0 0 6293624 6294260 28532736 140721410793911 140721410794086 140721410794086 140721410797519 0
[pid=29562/tid=29564] ppid=29560 vsize=13980732 memory=1470 CPUtime=0 cores=0,2,4,6
/proc/29562/task/29564/stat : 29564 (java) S 29560 29560 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 104141551 14316269568 27581 18446744073709551615 4194304 4196468 140721410785792 140482887031696 140482952607445 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28532736 140721410793911 140721410794086 140721410794086 140721410797519 0
[pid=29562/tid=29565] ppid=29560 vsize=13980732 memory=2110266012183236 CPUtime=0 cores=0,2,4,6
/proc/29562/task/29565/stat : 29565 (java) S 29560 29560 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 104141551 14316269568 27581 18446744073709551615 4194304 4196468 140721410785792 140482885978896 140482952607445 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28532736 140721410793911 140721410794086 140721410794086 140721410797519 0
[pid=29562/tid=29566] ppid=29560 vsize=13980732 memory=304 CPUtime=0 cores=0,2,4,6
/proc/29562/task/29566/stat : 29566 (java) S 29560 29560 12395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 104141551 14316269568 27581 18446744073709551615 4194304 4196468 140721410785792 140482884926608 140482952607445 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28532736 140721410793911 140721410794086 140721410794086 140721410797519 0
[pid=29562/tid=29567] ppid=29560 vsize=13980732 memory=110 CPUtime=0 cores=0,2,4,6
/proc/29562/task/29567/stat : 29567 (java) S 29560 29560 12395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 104141551 14316269568 27581 18446744073709551615 4194304 4196468 140721410785792 140482883873808 140482952607445 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28532736 140721410793911 140721410794086 140721410794086 140721410797519 0
[pid=29562/tid=29568] ppid=29560 vsize=13980732 memory=12132 CPUtime=0 cores=0,2,4,6
/proc/29562/task/29568/stat : 29568 (java) S 29560 29560 12395 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 15 0 104141552 14316269568 27581 18446744073709551615 4194304 4196468 140721410785792 140482431117424 140482952608386 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28532736 140721410793911 140721410794086 140721410794086 140721410797519 0
[pid=29562/tid=29569] ppid=29560 vsize=13980732 memory=796 CPUtime=0 cores=0,2,4,6
/proc/29562/task/29569/stat : 29569 (java) S 29560 29560 12395 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 104141553 14316269568 27581 18446744073709551615 4194304 4196468 140721410785792 140482430063392 140482952607445 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28532736 140721410793911 140721410794086 140721410794086 140721410797519 0
[pid=29562/tid=29570] ppid=29560 vsize=13980732 memory=5784 CPUtime=0 cores=0,2,4,6
/proc/29562/task/29570/stat : 29570 (java) S 29560 29560 12395 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 104141553 14316269568 27581 18446744073709551615 4194304 4196468 140721410785792 140482429011056 140482952607445 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28532736 140721410793911 140721410794086 140721410794086 140721410797519 0
[pid=29562/tid=29571] ppid=29560 vsize=13980732 memory=4612 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
/proc/29560/stat : 29560 (xcsp3-exec) S 29557 29560 12395 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 104141541 9740288 345 18446744073709551615 4194304 5098028 140722697803712 140722697801816 140415171924604 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 8 0 0 7196144 7232144 8945664 140722697806206 140722697806410 140722697806410 140722697809899 0
/proc/29560/statm: 2378 345 289 221 0 87 0
[pid=29562] ppid=29560 vsize=13980732 memory=232132 CPUtime=76.58 cores=0,2,4,6
/proc/29562/stat : 29562 (java) S 29560 29560 12395 0 -1 1077944320 56687 0 0 0 7644 14 0 0 20 0 15 0 104141550 14316269568 58033 18446744073709551615 4194304 4196468 140721410785792 140721410768336 140482952597239 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 28532736 140721410793911 140721410794086 140721410794086 140721410797519 0
/proc/29562/statm: 3495183 58033 3237 1 0 3483476 0
[pid=29562/tid=29563] ppid=29560 vsize=13980732 memory=4048 CPUtime=71.77 cores=0,2,4,6
/proc/29562/task/29563/stat : 29563 (java) R 29560 29560 12395 0 -1 4202560 13242 0 0 0 7172 5 0 0 20 0 15 0 104141550 14316269568 58033 18446744073709551615 4194304 4196468 140721410785792 140482956836232 140482563312230 0 4 1 16800974 0 0 0 -1 0 0 0 9 0 0 6293624 6294260 28532736 140721410793911 140721410794086 140721410794086 140721410797519 0
[pid=29562/tid=29564] ppid=29560 vsize=13980732 memory=-7003737579269690708 CPUtime=0 cores=0,2,4,6
/proc/29562/task/29564/stat : 29564 (java) S 29560 29560 12395 0 -1 1077944384 961 0 0 0 0 0 0 0 20 0 15 0 104141551 14316269568 58033 18446744073709551615 4194304 4196468 140721410785792 140482887031696 140482952607445 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28532736 140721410793911 140721410794086 140721410794086 140721410797519 0
[pid=29562/tid=29565] ppid=29560 vsize=13980732 memory=51164 CPUtime=0 cores=0,2,4,6
/proc/29562/task/29565/stat : 29565 (java) S 29560 29560 12395 0 -1 1077944384 628 0 0 0 0 0 0 0 20 0 15 0 104141551 14316269568 58033 18446744073709551615 4194304 4196468 140721410785792 140482885978896 140482952607445 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28532736 140721410793911 140721410794086 140721410794086 140721410797519 0
[pid=29562/tid=29566] ppid=29560 vsize=13980732 memory=1296 CPUtime=0 cores=0,2,4,6
/proc/29562/task/29566/stat : 29566 (java) S 29560 29560 12395 0 -1 1077944384 104 0 0 0 0 0 0 0 20 0 15 0 104141551 14316269568 58033 18446744073709551615 4194304 4196468 140721410785792 140482884926608 140482952607445 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28532736 140721410793911 140721410794086 140721410794086 140721410797519 0
[pid=29562/tid=29567] ppid=29560 vsize=13980732 memory=2460 CPUtime=0 cores=0,2,4,6
/proc/29562/task/29567/stat : 29567 (java) S 29560 29560 12395 0 -1 1077944384 234 0 0 0 0 0 0 0 20 0 15 0 104141551 14316269568 58033 18446744073709551615 4194304 4196468 140721410785792 140482883873808 140482952607445 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28532736 140721410793911 140721410794086 140721410794086 140721410797519 0
[pid=29562/tid=29568] ppid=29560 vsize=13980732 memory=1728 CPUtime=0 cores=0,2,4,6
/proc/29562/task/29568/stat : 29568 (java) S 29560 29560 12395 0 -1 1077944384 808 0 0 0 0 0 0 0 20 0 15 0 104141552 14316269568 58033 18446744073709551615 4194304 4196468 140721410785792 140482431117424 140482952608386 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28532736 140721410793911 140721410794086 140721410794086 140721410797519 0
[pid=29562/tid=29569] ppid=29560 vsize=13980732 memory=1012 CPUtime=0 cores=0,2,4,6
/proc/29562/task/29569/stat : 29569 (java) S 29560 29560 12395 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 15 0 104141553 14316269568 58033 18446744073709551615 4194304 4196468 140721410785792 140482430063392 140482952607445 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28532736 140721410793911 140721410794086 140721410794086 140721410797519 0
[pid=29562/tid=29570] ppid=29560 vsize=13980732 memory=1228 CPUtime=0 cores=0,2,4,6
/proc/29562/task/29570/stat : 29570 (java) S 29560 29560 12395 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 104141553 14316269568 58033 18446744073709551615 4194304 4196468 140721410785792 140482429011056 140482952607445 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28532736 140721410793911 140721410794086 140721410794086 140721410797519 0
[pid=29562/tid=29571] ppid=29560 vsize=13980732 memory=1992 CPUtime=0 cores=0,2,4,6
/proc/29562/task/29571/stat : 29571 (java) S 29560 29560 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 104141555 14316269568 58033 18446744073709551615 4194304 4196468 140721410785792 140482427959376 140482952615835 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28532736 140721410793911 140721410794086 140721410794086 140721410797519 0
[pid=29562/tid=29572] ppid=29560 vsize=13980732 memory=12132 CPUtime=2.05 cores=0,2,4,6
/proc/29562/task/29572/stat : 29572 (java) S 29560 29560 12395 0 -1 1077944384 16764 0 0 0 203 2 0 0 20 0 15 0 104141555 14316269568 58033 18446744073709551615 4194304 4196468 140721410785792 140482426907248 140482952608386 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28532736 140721410793911 140721410794086 140721410794086 140721410797519 0
[pid=29562/tid=29573] ppid=29560 vsize=13980732 memory=796 CPUtime=2.09 cores=0,2,4,6
/proc/29562/task/29573/stat : 29573 (java) S 29560 29560 12395 0 -1 1077944384 13295 0 0 0 208 1 0 0 20 0 15 0 104141555 14316269568 58033 18446744073709551615 4194304 4196468 140721410785792 140482425854448 140482952608386 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28532736 140721410793911 140721410794086 140721410794086 140721410797519 0
[pid=29562/tid=29574] ppid=29560 vsize=13980732 memory=5784 CPUtime=0.57 cores=0,2,4,6
/proc/29562/task/29574/stat : 29574 (java) S 29560 29560 12395 0 -1 1077944384 7907 0 0 0 56 1 0 0 20 0 15 0 104141555 14316269568 58033 18446744073709551615 4194304 4196468 140721410785792 140482424802160 140482952608386 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28532736 140721410793911 140721410794086 140721410794086 140721410797519 0
[pid=29562/tid=29575] ppid=29560 vsize=13980732 memory=4612 CPUtime=0 cores=0,2,4,6
/proc/29562/task/29575/stat : 29575 (java) S 29560 29560 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 104141555 14316269568 58033 18446744073709551615 4194304 4196468 140721410785792 140482423749600 140482952607445 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28532736 140721410793911 140721410794086 140721410794086 140721410797519 0
[pid=29562/tid=29576] ppid=29560 vsize=13980732 memory=1716 CPUtime=0 cores=0,2,4,6
/proc/29562/task/29576/stat : 29576 (java) S 29560 29560 12395 0 -1 1077944384 1370 0 0 0 0 0 0 0 20 0 15 0 104141565 14316269568 58033 18446744073709551615 4194304 4196468 140721410785792 140482422696368 140482952608386 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28532736 140721410793911 140721410794086 140721410794086 140721410797519 0
Current children cumulated CPU time: 76.58 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 233512 KiB
[startup+72.4006 s]
/proc/loadavg: 2.09 2.04 2.05 3/216 29578
/proc/meminfo: memFree=30727740/32770624 swapFree=67108860/67108860
[pid=29560] ppid=29557 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/29560/stat : 29560 (xcsp3-exec) S 29557 29560 12395 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 104141541 9740288 345 18446744073709551615 4194304 5098028 140722697803712 140722697801816 140415171924604 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 8 0 0 7196144 7232144 8945664 140722697806206 140722697806410 140722697806410 140722697809899 0
/proc/29560/statm: 2378 345 289 221 0 87 0
[pid=29562] ppid=29560 vsize=13980732 memory=232132 CPUtime=76.97 cores=0,2,4,6
/proc/29562/stat : 29562 (java) S 29560 29560 12395 0 -1 1077944320 56688 0 0 0 7683 14 0 0 20 0 15 0 104141550 14316269568 58033 18446744073709551615 4194304 4196468 140721410785792 140721410768336 140482952597239 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 28532736 140721410793911 140721410794086 140721410794086 140721410797519 0
/proc/29562/statm: 3495183 58033 3237 1 0 3483476 0
[pid=29562/tid=29563] ppid=29560 vsize=13980732 memory=840 CPUtime=72.16 cores=0,2,4,6
/proc/29562/task/29563/stat : 29563 (java) R 29560 29560 12395 0 -1 4202560 13243 0 0 0 7211 5 0 0 20 0 15 0 104141550 14316269568 58033 18446744073709551615 4194304 4196468 140721410785792 140482956834392 140482562641614 0 4 1 16800974 0 0 0 -1 0 0 0 9 0 0 6293624 6294260 28532736 140721410793911 140721410794086 140721410794086 140721410797519 0
[pid=29562/tid=29564] ppid=29560 vsize=13980732 memory=3904 CPUtime=0 cores=0,2,4,6
/proc/29562/task/29564/stat : 29564 (java) S 29560 29560 12395 0 -1 1077944384 961 0 0 0 0 0 0 0 20 0 15 0 104141551 14316269568 58033 18446744073709551615 4194304 4196468 140721410785792 140482887031696 140482952607445 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28532736 140721410793911 140721410794086 140721410794086 140721410797519 0
[pid=29562/tid=29565] ppid=29560 vsize=13980732 memory=2752 CPUtime=0 cores=0,2,4,6
/proc/29562/task/29565/stat : 29565 (java) S 29560 29560 12395 0 -1 1077944384 628 0 0 0 0 0 0 0 20 0 15 0 104141551 14316269568 58033 18446744073709551615 4194304 4196468 140721410785792 140482885978896 140482952607445 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28532736 140721410793911 140721410794086 140721410794086 140721410797519 0
[pid=29562/tid=29566] ppid=29560 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/29562/task/29566/stat : 29566 (java) S 29560 29560 12395 0 -1 1077944384 104 0 0 0 0 0 0 0 20 0 15 0 104141551 14316269568 58033 18446744073709551615 4194304 4196468 140721410785792 140482884926608 140482952607445 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28532736 140721410793911 140721410794086 140721410794086 140721410797519 0
[pid=29562/tid=29567] ppid=29560 vsize=13980732 memory=232132 CPUtime=0 cores=0,2,4,6
/proc/29562/task/29567/stat : 29567 (java) S 29560 29560 12395 0 -1 1077944384 234 0 0 0 0 0 0 0 20 0 15 0 104141551 14316269568 58033 18446744073709551615 4194304 4196468 140721410785792 140482883873808 140482952607445 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28532736 140721410793911 140721410794086 140721410794086 140721410797519 0
[pid=29562/tid=29568] ppid=29560 vsize=13980732 memory=29640 CPUtime=0 cores=0,2,4,6
/proc/29562/task/29568/stat : 29568 (java) S 29560 29560 12395 0 -1 1077944384 808 0 0 0 0 0 0 0 20 0 15 0 104141552 14316269568 58033 18446744073709551615 4194304 4196468 140721410785792 140482431117424 140482952608386 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28532736 140721410793911 140721410794086 140721410794086 140721410797519 0
[pid=29562/tid=29569] ppid=29560 vsize=13980732 memory=18468 CPUtime=0 cores=0,2,4,6
/proc/29562/task/29569/stat : 29569 (java) S 29560 29560 12395 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 15 0 104141553 14316269568 58033 18446744073709551615 4194304 4196468 140721410785792 140482430063392 140482952607445 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28532736 140721410793911 140721410794086 140721410794086 140721410797519 0
[pid=29562/tid=29570] ppid=29560 vsize=13980732 memory=1788 CPUtime=0 cores=0,2,4,6
/proc/29562/task/29570/stat : 29570 (java) S 29560 29560 12395 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 104141553 14316269568 58033 18446744073709551615 4194304 4196468 140721410785792 140482429011056 140482952607445 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28532736 140721410793911 140721410794086 140721410794086 140721410797519 0
[pid=29562/tid=29571] ppid=29560 vsize=13980732 memory=644 CPUtime=0 cores=0,2,4,6
/proc/29562/task/29571/stat : 29571 (java) S 29560 29560 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 104141555 14316269568 58033 18446744073709551615 4194304 4196468 140721410785792 140482427959376 140482952615835 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28532736 140721410793911 140721410794086 140721410794086 140721410797519 0
[pid=29562/tid=29572] ppid=29560 vsize=13980732 memory=956 CPUtime=2.05 cores=0,2,4,6
/proc/29562/task/29572/stat : 29572 (java) S 29560 29560 12395 0 -1 1077944384 16764 0 0 0 203 2 0 0 20 0 15 0 104141555 14316269568 58033 18446744073709551615 4194304 4196468 140721410785792 140482426907248 140482952608386 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28532736 140721410793911 140721410794086 140721410794086 140721410797519 0
[pid=29562/tid=29573] ppid=29560 vsize=13980732 memory=1236 CPUtime=2.09 cores=0,2,4,6
/proc/29562/task/29573/stat : 29573 (java) S 29560 29560 12395 0 -1 1077944384 13295 0 0 0 208 1 0 0 20 0 15 0 104141555 14316269568 58033 18446744073709551615 4194304 4196468 140721410785792 140482425854448 140482952608386 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28532736 140721410793911 140721410794086 140721410794086 140721410797519 0
[pid=29562/tid=29574] ppid=29560 vsize=13980732 memory=0 CPUtime=0.57 cores=0,2,4,6
/proc/29562/task/29574/stat : 29574 (java) S 29560 29560 12395 0 -1 1077944384 7907 0 0 0 56 1 0 0 20 0 15 0 104141555 14316269568 58033 18446744073709551615 4194304 4196468 140721410785792 140482424802160 140482952608386 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28532736 140721410793911 140721410794086 140721410794086 140721410797519 0
[pid=29562/tid=29575] ppid=29560 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29562/task/29575/stat : 29575 (java) S 29560 29560 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 104141555 14316269568 58033 18446744073709551615 4194304 4196468 140721410785792 140482423749600 140482952607445 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28532736 140721410793911 140721410794086 140721410794086 140721410797519 0
[pid=29562/tid=29576] ppid=29560 vsize=13980732 memory=139915404805152 CPUtime=0 cores=0,2,4,6
/proc/29562/task/29576/stat : 29576 (java) S 29560 29560 12395 0 -1 1077944384 1370 0 0 0 0 0 0 0 20 0 15 0 104141565 14316269568 58033 18446744073709551615 4194304 4196468 140721410785792 140482422696368 140482952608386 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28532736 140721410793911 140721410794086 140721410794086 140721410797519 0
Current children cumulated CPU time: 76.97 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 233512 KiB
[startup+72.8006 s]
/proc/loadavg: 2.09 2.04 2.05 3/216 29578
/proc/meminfo: memFree=30727740/32770624 swapFree=67108860/67108860
[pid=29560] ppid=29557 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/29560/stat : 29560 (xcsp3-exec) S 29557 29560 12395 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 104141541 9740288 345 18446744073709551615 4194304 5098028 140722697803712 140722697801816 140415171924604 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 8 0 0 7196144 7232144 8945664 140722697806206 140722697806410 140722697806410 140722697809899 0
/proc/29560/statm: 2378 345 289 221 0 87 0
[pid=29562] ppid=29560 vsize=13980732 memory=232132 CPUtime=77.37 cores=0,2,4,6
/proc/29562/stat : 29562 (java) S 29560 29560 12395 0 -1 1077944320 56690 0 0 0 7723 14 0 0 20 0 15 0 104141550 14316269568 58033 18446744073709551615 4194304 4196468 140721410785792 140721410768336 140482952597239 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 28532736 140721410793911 140721410794086 140721410794086 140721410797519 0
/proc/29562/statm: 3495183 58033 3237 1 0 3483476 0
[pid=29562/tid=29563] ppid=29560 vsize=13980732 memory=232132 CPUtime=72.56 cores=0,2,4,6
/proc/29562/task/29563/stat : 29563 (java) R 29560 29560 12395 0 -1 4202560 13245 0 0 0 7251 5 0 0 20 0 15 0 104141550 14316269568 58033 18446744073709551615 4194304 4196468 140721410785792 140482956834392 140482562641543 0 4 1 16800974 0 0 0 -1 0 0 0 9 0 0 6293624 6294260 28532736 140721410793911 140721410794086 140721410794086 140721410797519 0
[pid=29562/tid=29564] ppid=29560 vsize=13980732 memory=2460 CPUtime=0 cores=0,2,4,6
/proc/29562/task/29564/stat : 29564 (java) S 29560 29560 12395 0 -1 1077944384 961 0 0 0 0 0 0 0 20 0 15 0 104141551 14316269568 58033 18446744073709551615 4194304 4196468 140721410785792 140482887031696 140482952607445 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28532736 140721410793911 140721410794086 140721410794086 140721410797519 0
[pid=29562/tid=29565] ppid=29560 vsize=13980732 memory=1728 CPUtime=0 cores=0,2,4,6
/proc/29562/task/29565/stat : 29565 (java) S 29560 29560 12395 0 -1 1077944384 628 0 0 0 0 0 0 0 20 0 15 0 104141551 14316269568 58033 18446744073709551615 4194304 4196468 140721410785792 140482885978896 140482952607445 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28532736 140721410793911 140721410794086 140721410794086 140721410797519 0
[pid=29562/tid=29566] ppid=29560 vsize=13980732 memory=1012 CPUtime=0 cores=0,2,4,6
/proc/29562/task/29566/stat : 29566 (java) S 29560 29560 12395 0 -1 1077944384 104 0 0 0 0 0 0 0 20 0 15 0 104141551 14316269568 58033 18446744073709551615 4194304 4196468 140721410785792 140482884926608 140482952607445 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28532736 140721410793911 140721410794086 140721410794086 140721410797519 0
[pid=29562/tid=29567] ppid=29560 vsize=13980732 memory=1228 CPUtime=0 cores=0,2,4,6
/proc/29562/task/29567/stat : 29567 (java) S 29560 29560 12395 0 -1 1077944384 234 0 0 0 0 0 0 0 20 0 15 0 104141551 14316269568 58033 18446744073709551615 4194304 4196468 140721410785792 140482883873808 140482952607445 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28532736 140721410793911 140721410794086 140721410794086 140721410797519 0
[pid=29562/tid=29568] ppid=29560 vsize=13980732 memory=1992 CPUtime=0 cores=0,2,4,6
/proc/29562/task/29568/stat : 29568 (java) S 29560 29560 12395 0 -1 1077944384 808 0 0 0 0 0 0 0 20 0 15 0 104141552 14316269568 58033 18446744073709551615 4194304 4196468 140721410785792 140482431117424 140482952608386 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28532736 140721410793911 140721410794086 140721410794086 140721410797519 0
[pid=29562/tid=29569] ppid=29560 vsize=13980732 memory=12132 CPUtime=0 cores=0,2,4,6
/proc/29562/task/29569/stat : 29569 (java) S 29560 29560 12395 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 15 0 104141553 14316269568 58033 18446744073709551615 4194304 4196468 140721410785792 140482430063392 140482952607445 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28532736 140721410793911 140721410794086 140721410794086 140721410797519 0
[pid=29562/tid=29570] ppid=29560 vsize=13980732 memory=796 CPUtime=0 cores=0,2,4,6
/proc/29562/task/29570/stat : 29570 (java) S 29560 29560 12395 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 104141553 14316269568 58033 18446744073709551615 4194304 4196468 140721410785792 140482429011056 140482952607445 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28532736 140721410793911 140721410794086 140721410794086 140721410797519 0
[pid=29562/tid=29571] ppid=29560 vsize=13980732 memory=5784 CPUtime=0 cores=0,2,4,6
/proc/29562/task/29571/stat : 29571 (java) S 29560 29560 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 104141555 14316269568 58033 18446744073709551615 4194304 4196468 140721410785792 140482427959376 140482952615835 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28532736 140721410793911 140721410794086 140721410794086 140721410797519 0
[pid=29562/tid=29572] ppid=29560 vsize=13980732 memory=4612 CPUtime=2.05 cores=0,2,4,6
/proc/29562/task/29572/stat : 29572 (java) S 29560 29560 12395 0 -1 1077944384 16764 0 0 0 203 2 0 0 20 0 15 0 104141555 14316269568 58033 18446744073709551615 4194304 4196468 140721410785792 140482426907248 140482952608386 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28532736 140721410793911 140721410794086 140721410794086 140721410797519 0
[pid=29562/tid=29573] ppid=29560 vsize=13980732 memory=1716 CPUtime=2.09 cores=0,2,4,6
/proc/29562/task/29573/stat : 29573 (java) S 29560 29560 12395 0 -1 1077944384 13295 0 0 0 208 1 0 0 20 0 15 0 104141555 14316269568 58033 18446744073709551615 4194304 4196468 140721410785792 140482425854448 140482952608386 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28532736 140721410793911 140721410794086 140721410794086 140721410797519 0
[pid=29562/tid=29574] ppid=29560 vsize=13980732 memory=9024 CPUtime=0.57 cores=0,2,4,6
/proc/29562/task/29574/stat : 29574 (java) S 29560 29560 12395 0 -1 1077944384 7907 0 0 0 56 1 0 0 20 0 15 0 104141555 14316269568 58033 18446744073709551615 4194304 4196468 140721410785792 140482424802160 140482952608386 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28532736 140721410793911 140721410794086 140721410794086 140721410797519 0
[pid=29562/tid=29575] ppid=29560 vsize=13980732 memory=1436 CPUtime=0 cores=0,2,4,6
/proc/29562/task/29575/stat : 29575 (java) S 29560 29560 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 104141555 14316269568 58033 18446744073709551615 4194304 4196468 140721410785792 140482423749600 140482952607445 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28532736 140721410793911 140721410794086 140721410794086 140721410797519 0
[pid=29562/tid=29576] ppid=29560 vsize=13980732 memory=1196 CPUtime=0 cores=0,2,4,6
/proc/29562/task/29576/stat : 29576 (java) S 29560 29560 12395 0 -1 1077944384 1370 0 0 0 0 0 0 0 20 0 15 0 104141565 14316269568 58033 18446744073709551615 4194304 4196468 140721410785792 140482422696368 140482952608386 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28532736 140721410793911 140721410794086 140721410794086 140721410797519 0
Current children cumulated CPU time: 77.37 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 233512 KiB
[startup+72.9006 s]
/proc/loadavg: 2.09 2.04 2.05 3/216 29578
/proc/meminfo: memFree=30727740/32770624 swapFree=67108860/67108860
[pid=29560] ppid=29557 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/29560/stat : 29560 (xcsp3-exec) S 29557 29560 12395 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 104141541 9740288 345 18446744073709551615 4194304 5098028 140722697803712 140722697801816 140415171924604 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 8 0 0 7196144 7232144 8945664 140722697806206 140722697806410 140722697806410 140722697809899 0
/proc/29560/statm: 2378 345 289 221 0 87 0
[pid=29562] ppid=29560 vsize=13980732 memory=232132 CPUtime=77.47 cores=0,2,4,6
/proc/29562/stat : 29562 (java) S 29560 29560 12395 0 -1 1077944320 56690 0 0 0 7733 14 0 0 20 0 15 0 104141550 14316269568 58033 18446744073709551615 4194304 4196468 140721410785792 140721410768336 140482952597239 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 28532736 140721410793911 140721410794086 140721410794086 140721410797519 0
/proc/29562/statm: 3495183 58033 3237 1 0 3483476 0
[pid=29562/tid=29563] ppid=29560 vsize=13980732 memory=232132 CPUtime=72.66 cores=0,2,4,6
/proc/29562/task/29563/stat : 29563 (java) R 29560 29560 12395 0 -1 4202560 13245 0 0 0 7261 5 0 0 20 0 15 0 104141550 14316269568 58033 18446744073709551615 4194304 4196468 140721410785792 140482956834392 140482563422111 0 4 1 16800974 0 0 0 -1 0 0 0 9 0 0 6293624 6294260 28532736 140721410793911 140721410794086 140721410794086 140721410797519 0
[pid=29562/tid=29564] ppid=29560 vsize=13980732 memory=232132 CPUtime=0 cores=0,2,4,6
/proc/29562/task/29564/stat : 29564 (java) S 29560 29560 12395 0 -1 1077944384 961 0 0 0 0 0 0 0 20 0 15 0 104141551 14316269568 58033 18446744073709551615 4194304 4196468 140721410785792 140482887031696 140482952607445 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28532736 140721410793911 140721410794086 140721410794086 140721410797519 0
[pid=29562/tid=29565] ppid=29560 vsize=13980732 memory=232132 CPUtime=0 cores=0,2,4,6
/proc/29562/task/29565/stat : 29565 (java) S 29560 29560 12395 0 -1 1077944384 628 0 0 0 0 0 0 0 20 0 15 0 104141551 14316269568 58033 18446744073709551615 4194304 4196468 140721410785792 140482885978896 140482952607445 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28532736 140721410793911 140721410794086 140721410794086 140721410797519 0
[pid=29562/tid=29566] ppid=29560 vsize=13980732 memory=232132 CPUtime=0 cores=0,2,4,6
/proc/29562/task/29566/stat : 29566 (java) S 29560 29560 12395 0 -1 1077944384 104 0 0 0 0 0 0 0 20 0 15 0 104141551 14316269568 58033 18446744073709551615 4194304 4196468 140721410785792 140482884926608 140482952607445 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28532736 140721410793911 140721410794086 140721410794086 140721410797519 0
[pid=29562/tid=29567] ppid=29560 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/29562/task/29567/stat : 29567 (java) S 29560 29560 12395 0 -1 1077944384 234 0 0 0 0 0 0 0 20 0 15 0 104141551 14316269568 58033 18446744073709551615 4194304 4196468 140721410785792 140482883873808 140482952607445 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28532736 140721410793911 140721410794086 140721410794086 140721410797519 0
[pid=29562/tid=29568] ppid=29560 vsize=13980732 memory=1228 CPUtime=0 cores=0,2,4,6
/proc/29562/task/29568/stat : 29568 (java) S 29560 29560 12395 0 -1 1077944384 808 0 0 0 0 0 0 0 20 0 15 0 104141552 14316269568 58033 18446744073709551615 4194304 4196468 140721410785792 140482431117424 140482952608386 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28532736 140721410793911 140721410794086 140721410794086 140721410797519 0
[pid=29562/tid=29569] ppid=29560 vsize=13980732 memory=1992 CPUtime=0 cores=0,2,4,6
/proc/29562/task/29569/stat : 29569 (java) S 29560 29560 12395 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 15 0 104141553 14316269568 58033 18446744073709551615 4194304 4196468 140721410785792 140482430063392 140482952607445 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28532736 140721410793911 140721410794086 140721410794086 140721410797519 0
[pid=29562/tid=29570] ppid=29560 vsize=13980732 memory=232132 CPUtime=0 cores=0,2,4,6
/proc/29562/task/29570/stat : 29570 (java) S 29560 29560 12395 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 104141553 14316269568 58033 18446744073709551615 4194304 4196468 140721410785792 140482429011056 140482952607445 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28532736 140721410793911 140721410794086 140721410794086 140721410797519 0
[pid=29562/tid=29571] ppid=29560 vsize=13980732 memory=232132 CPUtime=0 cores=0,2,4,6
/proc/29562/task/29571/stat : 29571 (java) S 29560 29560 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 104141555 14316269568 58033 18446744073709551615 4194304 4196468 140721410785792 140482427959376 140482952615835 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28532736 140721410793911 140721410794086 140721410794086 140721410797519 0
[pid=29562/tid=29572] ppid=29560 vsize=13980732 memory=1380 CPUtime=2.05 cores=0,2,4,6
/proc/29562/task/29572/stat : 29572 (java) S 29560 29560 12395 0 -1 1077944384 16764 0 0 0 203 2 0 0 20 0 15 0 104141555 14316269568 58033 18446744073709551615 4194304 4196468 140721410785792 140482426907248 140482952608386 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28532736 140721410793911 140721410794086 140721410794086 140721410797519 0
[pid=29562/tid=29573] ppid=29560 vsize=13980732 memory=1380 CPUtime=2.09 cores=0,2,4,6
/proc/29562/task/29573/stat : 29573 (java) S 29560 29560 12395 0 -1 1077944384 13295 0 0 0 208 1 0 0 20 0 15 0 104141555 14316269568 58033 18446744073709551615 4194304 4196468 140721410785792 140482425854448 140482952608386 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28532736 140721410793911 140721410794086 140721410794086 140721410797519 0
[pid=29562/tid=29574] ppid=29560 vsize=13980732 memory=9024 CPUtime=0.57 cores=0,2,4,6
/proc/29562/task/29574/stat : 29574 (java) S 29560 29560 12395 0 -1 1077944384 7907 0 0 0 56 1 0 0 20 0 15 0 104141555 14316269568 58033 18446744073709551615 4194304 4196468 140721410785792 140482424802160 140482952608386 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28532736 140721410793911 140721410794086 140721410794086 140721410797519 0
[pid=29562/tid=29575] ppid=29560 vsize=13980732 memory=1436 CPUtime=0 cores=0,2,4,6
/proc/29562/task/29575/stat : 29575 (java) S 29560 29560 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 104141555 14316269568 58033 18446744073709551615 4194304 4196468 140721410785792 140482423749600 140482952607445 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28532736 140721410793911 140721410794086 140721410794086 140721410797519 0
[pid=29562/tid=29576] ppid=29560 vsize=13980732 memory=-8774313645642428999 CPUtime=0 cores=0,2,4,6
/proc/29562/task/29576/stat : 29576 (java) S 29560 29560 12395 0 -1 1077944384 1370 0 0 0 0 0 0 0 20 0 15 0 104141565 14316269568 58033 18446744073709551615 4194304 4196468 140721410785792 140482422696368 140482952608386 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28532736 140721410793911 140721410794086 140721410794086 140721410797519 0
Current children cumulated CPU time: 77.47 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 233512 KiB
Child status: 0
Real time (s): 72.9637
CPU time (s): 77.5421
CPU user time (s): 77.393
CPU system time (s): 0.149154
CPU usage (%): 106.275
Max. virtual memory (cumulated for all children) (KiB): 13992760
Max. memory (cumulated for all children) (KiB): 233512
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 77.393
system time used= 0.149154
maximum resident set size= 232392
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 57887
page faults= 0
swaps= 0
block input operations= 0
block output operations= 184
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4216
involuntary context switches= 140
# summary of solver processes directly reported to runsolver:
# pid: 29560
# total CPU time (s): 77.5421
# total CPU user time (s): 77.393
# total CPU system time (s): 0.149154
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.425259 second user time and 0.720487 second system time
The end