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 (15024 MiB free)
memory of node 1: 16384 MiB (15510 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4400419-1568692074/watcher-4400419-1568692074 -o /tmp/evaluation-result-4400419-1568692074/solver-4400419-1568692074 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node103-1568691240-24304 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 12000 -tdir HOME -seed 1993923634 HOME/instance-4400419-1568692074.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=27570, runsolver pid=27567
[startup+0.100111 s]*
/proc/loadavg: 8.23 8.05 7.92 4/233 27586
/proc/meminfo: memFree=31250236/32770624 swapFree=66997372/67108860
[pid=27570] ppid=27567 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/27570/stat : 27570 (xcsp3-exec) S 27567 27570 24272 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445460471 115843072 362 33554432000 4194304 5098028 140732135515072 140732135513176 140587718062716 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 14737408 140732135519098 140732135519341 140732135519341 140732135522250 0
/proc/27570/statm: 28282 362 304 221 0 87 0
[pid=27572] ppid=27570 vsize=15144776 memory=30356 CPUtime=0.13 cores=1,3,5,7
/proc/27572/stat : 27572 (java) S 27570 27570 24272 0 -1 1077944320 5515 0 0 0 12 1 0 0 20 0 15 0 445460471 15508250624 7589 33554432000 4194304 4196468 140725677351760 140725677334304 140389099556599 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 19202048 140725677356015 140725677356186 140725677356186 140725677359055 0
/proc/27572/statm: 3786194 7589 3153 1 0 3748377 0
[pid=27572/tid=27573] ppid=27570 vsize=15144776 memory=7100839870104831090 CPUtime=0.09 cores=1,3,5,7
/proc/27572/task/27573/stat : 27573 (java) R 27570 27570 24272 0 -1 4202560 3399 0 0 0 8 1 0 0 20 0 15 0 445460472 15508250624 7589 33554432000 4194304 4196468 140725677351760 140389103792544 140388736091908 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19202048 140725677356015 140725677356186 140725677356186 140725677359055 0
[pid=27572/tid=27574] ppid=27570 vsize=15144776 memory=-3689451258167578675 CPUtime=0 cores=1,3,5,7
/proc/27572/task/27574/stat : 27574 (java) S 27570 27570 24272 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445460472 15508250624 7589 33554432000 4194304 4196468 140725677351760 140389060516496 140389099566805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19202048 140725677356015 140725677356186 140725677356186 140725677359055 0
[pid=27572/tid=27575] ppid=27570 vsize=15144776 memory=139711143085696 CPUtime=0 cores=1,3,5,7
/proc/27572/task/27575/stat : 27575 (java) S 27570 27570 24272 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445460472 15508250624 7589 33554432000 4194304 4196468 140725677351760 140388691057168 140389099566805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19202048 140725677356015 140725677356186 140725677356186 140725677359055 0
[pid=27572/tid=27576] ppid=27570 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27572/task/27576/stat : 27576 (java) S 27570 27570 24272 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445460472 15508250624 7589 33554432000 4194304 4196468 140725677351760 140388690004368 140389099566805 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19202048 140725677356015 140725677356186 140725677356186 140725677359055 0
[pid=27572/tid=27577] ppid=27570 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27572/task/27577/stat : 27577 (java) S 27570 27570 24272 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445460472 15508250624 7589 33554432000 4194304 4196468 140725677351760 140388688951568 140389099566805 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19202048 140725677356015 140725677356186 140725677356186 140725677359055 0
[pid=27572/tid=27578] ppid=27570 vsize=15144776 memory=139711143085696 CPUtime=0 cores=1,3,5,7
/proc/27572/task/27578/stat : 27578 (java) S 27570 27570 24272 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445460474 15508250624 7589 33554432000 4194304 4196468 140725677351760 140388568210288 140389099567746 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19202048 140725677356015 140725677356186 140725677356186 140725677359055 0
[pid=27572/tid=27579] ppid=27570 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27572/task/27579/stat : 27579 (java) S 27570 27570 24272 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445460474 15508250624 7589 33554432000 4194304 4196468 140725677351760 140388567156256 140389099566805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19202048 140725677356015 140725677356186 140725677356186 140725677359055 0
[pid=27572/tid=27580] ppid=27570 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27572/task/27580/stat : 27580 (java) S 27570 27570 24272 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445460474 15508250624 7589 33554432000 4194304 4196468 140725677351760 140388566103408 140389099566805 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19202048 140725677356015 140725677356186 140725677356186 140725677359055 0
[pid=27572/tid=27581] ppid=27570 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27572/task/27581/stat : 27581 (java) S 27570 27570 24272 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445460477 15508250624 7589 33554432000 4194304 4196468 140725677351760 140388565051728 140389099575195 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19202048 140725677356015 140725677356186 140725677356186 140725677359055 0
[pid=27572/tid=27582] ppid=27570 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27572/task/27582/stat : 27582 (java) R 27570 27570 24272 0 -1 4202560 454 0 0 0 0 0 0 0 20 0 15 0 445460477 15508250624 7589 33554432000 4194304 4196468 140725677351760 140388563999088 140389076801344 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19202048 140725677356015 140725677356186 140725677356186 140725677359055 0
[pid=27572/tid=27583] ppid=27570 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27572/task/27583/stat : 27583 (java) R 27570 27570 24272 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445460477 15508250624 7589 33554432000 4194304 4196468 140725677351760 140388562946288 140389099567746 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19202048 140725677356015 140725677356186 140725677356186 140725677359055 0
[pid=27572/tid=27584] ppid=27570 vsize=15144776 memory=139711143085696 CPUtime=0.02 cores=1,3,5,7
/proc/27572/task/27584/stat : 27584 (java) R 27570 27570 24272 0 -1 4202560 364 0 0 0 2 0 0 0 20 0 15 0 445460477 15508250624 7589 33554432000 4194304 4196468 140725677351760 140388561893488 140389078225400 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19202048 140725677356015 140725677356186 140725677356186 140725677359055 0
[pid=27572/tid=27585] ppid=27570 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27572/task/27585/stat : 27585 (java) S 27570 27570 24272 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445460477 15508250624 7589 33554432000 4194304 4196468 140725677351760 140388560840928 140389099566805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19202048 140725677356015 140725677356186 140725677356186 140725677359055 0
[pid=27572/tid=27586] ppid=27570 vsize=15144776 memory=139711143085696 CPUtime=0 cores=1,3,5,7
/proc/27572/task/27586/stat : 27586 (java) S 27570 27570 24272 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445460477 15508250624 7589 33554432000 4194304 4196468 140725677351760 140388559789232 140389099567746 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19202048 140725677356015 140725677356186 140725677356186 140725677359055 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 31804 KiB
[startup+0.210706 s]*
/proc/loadavg: 8.23 8.05 7.92 7/233 27586
/proc/meminfo: memFree=31238000/32770624 swapFree=66997372/67108860
[pid=27570] ppid=27567 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/27570/stat : 27570 (xcsp3-exec) S 27567 27570 24272 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445460471 115843072 362 33554432000 4194304 5098028 140732135515072 140732135513176 140587718062716 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 14737408 140732135519098 140732135519341 140732135519341 140732135522250 0
/proc/27570/statm: 28282 362 304 221 0 87 0
[pid=27572] ppid=27570 vsize=15144776 memory=40736 CPUtime=0.34 cores=1,3,5,7
/proc/27572/stat : 27572 (java) S 27570 27570 24272 0 -1 1077944320 8904 0 0 0 31 3 0 0 20 0 15 0 445460471 15508250624 10184 33554432000 4194304 4196468 140725677351760 140725677334304 140389099556599 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 19202048 140725677356015 140725677356186 140725677356186 140725677359055 0
/proc/27572/statm: 3786194 10184 3297 1 0 3748377 0
[pid=27572/tid=27573] ppid=27570 vsize=15144776 memory=7883960649037381690 CPUtime=0.19 cores=1,3,5,7
/proc/27572/task/27573/stat : 27573 (java) R 27570 27570 24272 0 -1 4202560 6200 0 0 0 17 2 0 0 20 0 15 0 445460472 15508250624 10184 33554432000 4194304 4196468 140725677351760 140389103790304 140389083637086 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19202048 140725677356015 140725677356186 140725677356186 140725677359055 0
[pid=27572/tid=27574] ppid=27570 vsize=15144776 memory=9100 CPUtime=0 cores=1,3,5,7
/proc/27572/task/27574/stat : 27574 (java) S 27570 27570 24272 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445460472 15508250624 10184 33554432000 4194304 4196468 140725677351760 140389060516496 140389099566805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19202048 140725677356015 140725677356186 140725677356186 140725677359055 0
[pid=27572/tid=27575] ppid=27570 vsize=15144776 memory=288370087294797440 CPUtime=0 cores=1,3,5,7
/proc/27572/task/27575/stat : 27575 (java) S 27570 27570 24272 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445460472 15508250624 10184 33554432000 4194304 4196468 140725677351760 140388691057168 140389099566805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19202048 140725677356015 140725677356186 140725677356186 140725677359055 0
[pid=27572/tid=27576] ppid=27570 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27572/task/27576/stat : 27576 (java) S 27570 27570 24272 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445460472 15508250624 10184 33554432000 4194304 4196468 140725677351760 140388690004368 140389099566805 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19202048 140725677356015 140725677356186 140725677356186 140725677359055 0
[pid=27572/tid=27577] ppid=27570 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27572/task/27577/stat : 27577 (java) S 27570 27570 24272 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445460472 15508250624 10184 33554432000 4194304 4196468 140725677351760 140388688951568 140389099566805 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19202048 140725677356015 140725677356186 140725677356186 140725677359055 0
[pid=27572/tid=27578] ppid=27570 vsize=15144776 memory=139711143085696 CPUtime=0 cores=1,3,5,7
/proc/27572/task/27578/stat : 27578 (java) S 27570 27570 24272 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 445460474 15508250624 10184 33554432000 4194304 4196468 140725677351760 140388568210288 140389099567746 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19202048 140725677356015 140725677356186 140725677356186 140725677359055 0
[pid=27572/tid=27579] ppid=27570 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27572/task/27579/stat : 27579 (java) S 27570 27570 24272 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445460474 15508250624 10184 33554432000 4194304 4196468 140725677351760 140388567156256 140389099566805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19202048 140725677356015 140725677356186 140725677356186 140725677359055 0
[pid=27572/tid=27580] ppid=27570 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27572/task/27580/stat : 27580 (java) S 27570 27570 24272 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445460474 15508250624 10184 33554432000 4194304 4196468 140725677351760 140388566103408 140389099566805 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19202048 140725677356015 140725677356186 140725677356186 140725677359055 0
[pid=27572/tid=27581] ppid=27570 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27572/task/27581/stat : 27581 (java) S 27570 27570 24272 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445460477 15508250624 10184 33554432000 4194304 4196468 140725677351760 140388565051728 140389099575195 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19202048 140725677356015 140725677356186 140725677356186 140725677359055 0
[pid=27572/tid=27582] ppid=27570 vsize=15144776 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/27572/task/27582/stat : 27582 (java) S 27570 27570 24272 0 -1 1077944384 514 0 0 0 2 0 0 0 20 0 15 0 445460477 15508250624 10184 33554432000 4194304 4196468 140725677351760 140388563999088 140389099567746 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19202048 140725677356015 140725677356186 140725677356186 140725677359055 0
[pid=27572/tid=27583] ppid=27570 vsize=15144776 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/27572/task/27583/stat : 27583 (java) S 27570 27570 24272 0 -1 1077944384 116 0 0 0 2 0 0 0 20 0 15 0 445460477 15508250624 10184 33554432000 4194304 4196468 140725677351760 140388562946288 140389099567746 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19202048 140725677356015 140725677356186 140725677356186 140725677359055 0
[pid=27572/tid=27584] ppid=27570 vsize=15144776 memory=139711143085696 CPUtime=0.08 cores=1,3,5,7
/proc/27572/task/27584/stat : 27584 (java) R 27570 27570 24272 0 -1 4202560 769 0 0 0 8 0 0 0 20 0 15 0 445460477 15508250624 10184 33554432000 4194304 4196468 140725677351760 140388561893488 140389099577946 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19202048 140725677356015 140725677356186 140725677356186 140725677359055 0
[pid=27572/tid=27585] ppid=27570 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27572/task/27585/stat : 27585 (java) S 27570 27570 24272 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445460477 15508250624 10184 33554432000 4194304 4196468 140725677351760 140388560840928 140389099566805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19202048 140725677356015 140725677356186 140725677356186 140725677359055 0
[pid=27572/tid=27586] ppid=27570 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27572/task/27586/stat : 27586 (java) S 27570 27570 24272 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445460477 15508250624 10184 33554432000 4194304 4196468 140725677351760 140388559789232 140389099567746 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19202048 140725677356015 140725677356186 140725677356186 140725677359055 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42184 KiB
[startup+0.31489 s]*
/proc/loadavg: 8.23 8.05 7.92 7/233 27586
/proc/meminfo: memFree=31231324/32770624 swapFree=66997372/67108860
[pid=27570] ppid=27567 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/27570/stat : 27570 (xcsp3-exec) S 27567 27570 24272 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445460471 115843072 362 33554432000 4194304 5098028 140732135515072 140732135513176 140587718062716 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 14737408 140732135519098 140732135519341 140732135519341 140732135522250 0
/proc/27570/statm: 28282 362 304 221 0 87 0
[pid=27572] ppid=27570 vsize=15149032 memory=50448 CPUtime=0.54 cores=1,3,5,7
/proc/27572/stat : 27572 (java) S 27570 27570 24272 0 -1 1077944320 10434 0 0 0 50 4 0 0 20 0 15 0 445460471 15512608768 12612 33554432000 4194304 4196468 140725677351760 140725677334304 140389099556599 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 19202048 140725677356015 140725677356186 140725677356186 140725677359055 0
/proc/27572/statm: 3787258 12612 3370 1 0 3748377 0
[pid=27572/tid=27573] ppid=27570 vsize=15149032 memory=7883960649037381690 CPUtime=0.3 cores=1,3,5,7
/proc/27572/task/27573/stat : 27573 (java) R 27570 27570 24272 0 -1 4202560 7406 0 0 0 27 3 0 0 20 0 15 0 445460472 15512608768 12612 33554432000 4194304 4196468 140725677351760 140389103794592 140389083637086 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19202048 140725677356015 140725677356186 140725677356186 140725677359055 0
[pid=27572/tid=27574] ppid=27570 vsize=15149032 memory=9461 CPUtime=0 cores=1,3,5,7
/proc/27572/task/27574/stat : 27574 (java) S 27570 27570 24272 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445460472 15512608768 12612 33554432000 4194304 4196468 140725677351760 140389060516496 140389099566805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19202048 140725677356015 140725677356186 140725677356186 140725677359055 0
[pid=27572/tid=27575] ppid=27570 vsize=15149032 memory=288230376155267454 CPUtime=0 cores=1,3,5,7
/proc/27572/task/27575/stat : 27575 (java) S 27570 27570 24272 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445460472 15512608768 12612 33554432000 4194304 4196468 140725677351760 140388691057168 140389099566805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19202048 140725677356015 140725677356186 140725677356186 140725677359055 0
[pid=27572/tid=27576] ppid=27570 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27572/task/27576/stat : 27576 (java) S 27570 27570 24272 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445460472 15512608768 12612 33554432000 4194304 4196468 140725677351760 140388690004368 140389099566805 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19202048 140725677356015 140725677356186 140725677356186 140725677359055 0
[pid=27572/tid=27577] ppid=27570 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27572/task/27577/stat : 27577 (java) S 27570 27570 24272 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445460472 15512608768 12612 33554432000 4194304 4196468 140725677351760 140388688951568 140389099566805 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19202048 140725677356015 140725677356186 140725677356186 140725677359055 0
[pid=27572/tid=27578] ppid=27570 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27572/task/27578/stat : 27578 (java) S 27570 27570 24272 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 445460474 15512608768 12612 33554432000 4194304 4196468 140725677351760 140388568210288 140389099567746 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19202048 140725677356015 140725677356186 140725677356186 140725677359055 0
[pid=27572/tid=27579] ppid=27570 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27572/task/27579/stat : 27579 (java) S 27570 27570 24272 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445460474 15512608768 12612 33554432000 4194304 4196468 140725677351760 140388567156256 140389099566805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19202048 140725677356015 140725677356186 140725677356186 140725677359055 0
[pid=27572/tid=27580] ppid=27570 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27572/task/27580/stat : 27580 (java) S 27570 27570 24272 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445460474 15512608768 12612 33554432000 4194304 4196468 140725677351760 140388566103408 140389099566805 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19202048 140725677356015 140725677356186 140725677356186 140725677359055 0
[pid=27572/tid=27581] ppid=27570 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27572/task/27581/stat : 27581 (java) S 27570 27570 24272 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445460477 15512608768 12612 33554432000 4194304 4196468 140725677351760 140388565051728 140389099575195 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19202048 140725677356015 140725677356186 140725677356186 140725677359055 0
[pid=27572/tid=27582] ppid=27570 vsize=15149032 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/27572/task/27582/stat : 27582 (java) S 27570 27570 24272 0 -1 1077944384 545 0 0 0 3 0 0 0 20 0 15 0 445460477 15512608768 12612 33554432000 4194304 4196468 140725677351760 140388563999088 140389099567746 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19202048 140725677356015 140725677356186 140725677356186 140725677359055 0
[pid=27572/tid=27583] ppid=27570 vsize=15149032 memory=0 CPUtime=0.06 cores=1,3,5,7
/proc/27572/task/27583/stat : 27583 (java) S 27570 27570 24272 0 -1 1077944384 266 0 0 0 6 0 0 0 20 0 15 0 445460477 15512608768 12612 33554432000 4194304 4196468 140725677351760 140388562946288 140389099567746 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19202048 140725677356015 140725677356186 140725677356186 140725677359055 0
[pid=27572/tid=27584] ppid=27570 vsize=15149032 memory=0 CPUtime=0.13 cores=1,3,5,7
/proc/27572/task/27584/stat : 27584 (java) S 27570 27570 24272 0 -1 1077944384 915 0 0 0 13 0 0 0 20 0 15 0 445460477 15512608768 12612 33554432000 4194304 4196468 140725677351760 140388561893488 140389099567746 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19202048 140725677356015 140725677356186 140725677356186 140725677359055 0
[pid=27572/tid=27585] ppid=27570 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27572/task/27585/stat : 27585 (java) S 27570 27570 24272 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445460477 15512608768 12612 33554432000 4194304 4196468 140725677351760 140388560840928 140389099566805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19202048 140725677356015 140725677356186 140725677356186 140725677359055 0
[pid=27572/tid=27586] ppid=27570 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27572/task/27586/stat : 27586 (java) S 27570 27570 24272 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445460477 15512608768 12612 33554432000 4194304 4196468 140725677351760 140388559789232 140389099567746 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19202048 140725677356015 140725677356186 140725677356186 140725677359055 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51896 KiB
[startup+0.704016 s]
/proc/loadavg: 8.23 8.05 7.92 8/233 27586
/proc/meminfo: memFree=31211592/32770624 swapFree=66997372/67108860
[pid=27570] ppid=27567 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/27570/stat : 27570 (xcsp3-exec) S 27567 27570 24272 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445460471 115843072 362 33554432000 4194304 5098028 140732135515072 140732135513176 140587718062716 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 14737408 140732135519098 140732135519341 140732135519341 140732135522250 0
/proc/27570/statm: 28282 362 304 221 0 87 0
[pid=27572] ppid=27570 vsize=15151156 memory=85400 CPUtime=1.69 cores=1,3,5,7
/proc/27572/stat : 27572 (java) S 27570 27570 24272 0 -1 1077944320 14516 0 0 0 163 6 0 0 20 0 15 0 445460471 15514783744 21350 33554432000 4194304 4196468 140725677351760 140725677334304 140389099556599 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 19202048 140725677356015 140725677356186 140725677356186 140725677359055 0
/proc/27572/statm: 3787789 21350 3455 1 0 3748889 0
[pid=27572/tid=27573] ppid=27570 vsize=15151156 memory=0 CPUtime=0.68 cores=1,3,5,7
/proc/27572/task/27573/stat : 27573 (java) R 27570 27570 24272 0 -1 4202560 8660 0 0 0 64 4 0 0 20 0 15 0 445460472 15514783744 21350 33554432000 4194304 4196468 140725677351760 140389103792096 140389099568534 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19202048 140725677356015 140725677356186 140725677356186 140725677359055 0
[pid=27572/tid=27574] ppid=27570 vsize=15151156 memory=500 CPUtime=0 cores=1,3,5,7
/proc/27572/task/27574/stat : 27574 (java) S 27570 27570 24272 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445460472 15514783744 21350 33554432000 4194304 4196468 140725677351760 140389060516496 140389099566805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19202048 140725677356015 140725677356186 140725677356186 140725677359055 0
[pid=27572/tid=27575] ppid=27570 vsize=15151156 memory=1560 CPUtime=0 cores=1,3,5,7
/proc/27572/task/27575/stat : 27575 (java) S 27570 27570 24272 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445460472 15514783744 21350 33554432000 4194304 4196468 140725677351760 140388691057168 140389099566805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19202048 140725677356015 140725677356186 140725677356186 140725677359055 0
[pid=27572/tid=27576] ppid=27570 vsize=15151156 memory=932 CPUtime=0 cores=1,3,5,7
/proc/27572/task/27576/stat : 27576 (java) S 27570 27570 24272 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445460472 15514783744 21350 33554432000 4194304 4196468 140725677351760 140388690004368 140389099566805 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19202048 140725677356015 140725677356186 140725677356186 140725677359055 0
[pid=27572/tid=27577] ppid=27570 vsize=15151156 memory=3768 CPUtime=0 cores=1,3,5,7
/proc/27572/task/27577/stat : 27577 (java) S 27570 27570 24272 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445460472 15514783744 21350 33554432000 4194304 4196468 140725677351760 140388688951568 140389099566805 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19202048 140725677356015 140725677356186 140725677356186 140725677359055 0
[pid=27572/tid=27578] ppid=27570 vsize=15151156 memory=1980 CPUtime=0 cores=1,3,5,7
/proc/27572/task/27578/stat : 27578 (java) S 27570 27570 24272 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 445460474 15514783744 21350 33554432000 4194304 4196468 140725677351760 140388568210288 140389099567746 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19202048 140725677356015 140725677356186 140725677356186 140725677359055 0
[pid=27572/tid=27579] ppid=27570 vsize=15151156 memory=2512 CPUtime=0 cores=1,3,5,7
/proc/27572/task/27579/stat : 27579 (java) S 27570 27570 24272 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445460474 15514783744 21350 33554432000 4194304 4196468 140725677351760 140388567156256 140389099566805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19202048 140725677356015 140725677356186 140725677356186 140725677359055 0
[pid=27572/tid=27580] ppid=27570 vsize=15151156 memory=1436 CPUtime=0 cores=1,3,5,7
/proc/27572/task/27580/stat : 27580 (java) S 27570 27570 24272 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445460474 15514783744 21350 33554432000 4194304 4196468 140725677351760 140388566103408 140389099566805 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19202048 140725677356015 140725677356186 140725677356186 140725677359055 0
[pid=27572/tid=27581] ppid=27570 vsize=15151156 memory=812 CPUtime=0 cores=1,3,5,7
/proc/27572/task/27581/stat : 27581 (java) S 27570 27570 24272 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445460477 15514783744 21350 33554432000 4194304 4196468 140725677351760 140388565051728 140389099575195 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19202048 140725677356015 140725677356186 140725677356186 140725677359055 0
[pid=27572/tid=27582] ppid=27570 vsize=15151156 memory=1764 CPUtime=0.27 cores=1,3,5,7
/proc/27572/task/27582/stat : 27582 (java) R 27570 27570 24272 0 -1 4202560 1377 0 0 0 27 0 0 0 20 0 15 0 445460477 15514783744 21350 33554432000 4194304 4196468 140725677351760 140388563990416 140389099568534 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19202048 140725677356015 140725677356186 140725677356186 140725677359055 0
[pid=27572/tid=27583] ppid=27570 vsize=15151156 memory=111628 CPUtime=0.3 cores=1,3,5,7
/proc/27572/task/27583/stat : 27583 (java) R 27570 27570 24272 0 -1 4202560 1062 0 0 0 30 0 0 0 20 0 15 0 445460477 15514783744 21350 33554432000 4194304 4196468 140725677351760 140388562937616 140389083948580 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19202048 140725677356015 140725677356186 140725677356186 140725677359055 0
[pid=27572/tid=27584] ppid=27570 vsize=15151156 memory=796 CPUtime=0.41 cores=1,3,5,7
/proc/27572/task/27584/stat : 27584 (java) R 27570 27570 24272 0 -1 1077944384 2111 0 0 0 41 0 0 0 20 0 15 0 445460477 15514783744 21350 33554432000 4194304 4196468 140725677351760 140388561893488 140389099567746 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19202048 140725677356015 140725677356186 140725677356186 140725677359055 0
[pid=27572/tid=27585] ppid=27570 vsize=15151156 memory=4100 CPUtime=0 cores=1,3,5,7
/proc/27572/task/27585/stat : 27585 (java) S 27570 27570 24272 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445460477 15514783744 21350 33554432000 4194304 4196468 140725677351760 140388560840928 140389099566805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19202048 140725677356015 140725677356186 140725677356186 140725677359055 0
[pid=27572/tid=27586] ppid=27570 vsize=15151156 memory=1804 CPUtime=0 cores=1,3,5,7
/proc/27572/task/27586/stat : 27586 (java) S 27570 27570 24272 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445460477 15514783744 21350 33554432000 4194304 4196468 140725677351760 140388559789232 140389099567746 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19202048 140725677356015 140725677356186 140725677356186 140725677359055 0
Current children cumulated CPU time: 1.69 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 86848 KiB
[startup+1.50689 s]
/proc/loadavg: 8.23 8.05 7.92 8/233 27586
/proc/meminfo: memFree=31108056/32770624 swapFree=66997372/67108860
[pid=27570] ppid=27567 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/27570/stat : 27570 (xcsp3-exec) S 27567 27570 24272 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445460471 115843072 362 33554432000 4194304 5098028 140732135515072 140732135513176 140587718062716 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 14737408 140732135519098 140732135519341 140732135519341 140732135522250 0
/proc/27570/statm: 28282 362 304 221 0 87 0
################
# More data... #
################
/proc/27572/task/27582/stat : 27582 (java) S 27570 27570 24272 0 -1 1077944384 4188 0 0 0 167 0 0 0 20 0 19 0 445460477 15926902784 134484 33554432000 4194304 4196468 140725677351760 140388563999088 140389099567746 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19202048 140725677356015 140725677356186 140725677356186 140725677359055 0
[pid=27572/tid=27583] ppid=27570 vsize=15553616 memory=2124 CPUtime=1.64 cores=1,3,5,7
/proc/27572/task/27583/stat : 27583 (java) S 27570 27570 24272 0 -1 1077944384 3716 0 0 0 163 1 0 0 20 0 19 0 445460477 15926902784 134484 33554432000 4194304 4196468 140725677351760 140388562946288 140389099567746 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 42 0 0 6293624 6294260 19202048 140725677356015 140725677356186 140725677356186 140725677359055 0
[pid=27572/tid=27584] ppid=27570 vsize=15553616 memory=26164 CPUtime=0.79 cores=1,3,5,7
/proc/27572/task/27584/stat : 27584 (java) S 27570 27570 24272 0 -1 1077944384 5339 0 0 0 78 1 0 0 20 0 19 0 445460477 15926902784 134484 33554432000 4194304 4196468 140725677351760 140388561893488 140389099567746 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19202048 140725677356015 140725677356186 140725677356186 140725677359055 0
[pid=27572/tid=27585] ppid=27570 vsize=15553616 memory=12024 CPUtime=0 cores=1,3,5,7
/proc/27572/task/27585/stat : 27585 (java) S 27570 27570 24272 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445460477 15926902784 134484 33554432000 4194304 4196468 140725677351760 140388560840928 140389099566805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19202048 140725677356015 140725677356186 140725677356186 140725677359055 0
[pid=27572/tid=27586] ppid=27570 vsize=15553616 memory=500 CPUtime=0 cores=1,3,5,7
/proc/27572/task/27586/stat : 27586 (java) S 27570 27570 24272 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 19 0 445460477 15926902784 134484 33554432000 4194304 4196468 140725677351760 140388559789232 140389099567746 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 41 0 0 6293624 6294260 19202048 140725677356015 140725677356186 140725677356186 140725677359055 0
Current children cumulated CPU time: 7.57 s
Current children cumulated vsize: 15666744 KiB
Current children cumulated memory: 539384 KiB
[startup+4.43613 s]
# the end of solver process 27570 was just reported to runsolver
# cumulated CPU time of all completed processes: user=11.8792 s, system=0.463784 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3.201 s]
/proc/loadavg: 8.05 8.01 7.91 8/237 27718
/proc/meminfo: memFree=30741004/32770624 swapFree=66997372/67108860
[pid=27570] ppid=27567 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/27570/stat : 27570 (xcsp3-exec) S 27567 27570 24272 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445460471 115843072 362 33554432000 4194304 5098028 140732135515072 140732135513176 140587718062716 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 14737408 140732135519098 140732135519341 140732135519341 140732135522250 0
/proc/27570/statm: 28282 362 304 221 0 87 0
[pid=27572] ppid=27570 vsize=15553616 memory=583140 CPUtime=7.74 cores=1,3,5,7
/proc/27572/stat : 27572 (java) S 27570 27570 24272 0 -1 1077944320 31143 0 0 0 734 40 0 0 20 0 19 0 445460471 15926902784 145785 33554432000 4194304 4196468 140725677351760 140725677334304 140389099556599 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 19202048 140725677356015 140725677356186 140725677356186 140725677359055 0
/proc/27572/statm: 3888404 145785 3529 1 0 3849504 0
[pid=27572/tid=27573] ppid=27570 vsize=15553616 memory=6791534058613427641 CPUtime=1.8 cores=1,3,5,7
/proc/27572/task/27573/stat : 27573 (java) S 27570 27570 24272 0 -1 1077944384 10484 0 0 0 173 7 0 0 20 0 19 0 445460472 15926902784 145785 33554432000 4194304 4196468 140725677351760 140389103797376 140389099566805 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 42 0 0 6293624 6294260 19202048 140725677356015 140725677356186 140725677356186 140725677359055 0
[pid=27572/tid=27574] ppid=27570 vsize=15553616 memory=0 CPUtime=0.18 cores=1,3,5,7
/proc/27572/task/27574/stat : 27574 (java) S 27570 27570 24272 0 -1 1077944384 544 0 0 0 12 6 0 0 20 0 19 0 445460472 15926902784 145785 33554432000 4194304 4196468 140725677351760 140389060516496 140389099566805 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19202048 140725677356015 140725677356186 140725677356186 140725677359055 0
[pid=27572/tid=27575] ppid=27570 vsize=15553616 memory=0 CPUtime=0.16 cores=1,3,5,7
/proc/27572/task/27575/stat : 27575 (java) S 27570 27570 24272 0 -1 1077944384 204 0 0 0 10 6 0 0 20 0 19 0 445460472 15926902784 145785 33554432000 4194304 4196468 140725677351760 140388691057168 140389099566805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19202048 140725677356015 140725677356186 140725677356186 140725677359055 0
[pid=27572/tid=27576] ppid=27570 vsize=15553616 memory=0 CPUtime=0.19 cores=1,3,5,7
/proc/27572/task/27576/stat : 27576 (java) S 27570 27570 24272 0 -1 1077944384 380 0 0 0 13 6 0 0 20 0 19 0 445460472 15926902784 145785 33554432000 4194304 4196468 140725677351760 140388690004368 140389099566805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19202048 140725677356015 140725677356186 140725677356186 140725677359055 0
[pid=27572/tid=27577] ppid=27570 vsize=15553616 memory=6944656592455097440 CPUtime=0.17 cores=1,3,5,7
/proc/27572/task/27577/stat : 27577 (java) S 27570 27570 24272 0 -1 1077944384 630 0 0 0 11 6 0 0 20 0 19 0 445460472 15926902784 145785 33554432000 4194304 4196468 140725677351760 140388688951568 140389099566805 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19202048 140725677356015 140725677356186 140725677356186 140725677359055 0
[pid=27572/tid=27578] ppid=27570 vsize=15553616 memory=6656426216303648864 CPUtime=0.01 cores=1,3,5,7
/proc/27572/task/27578/stat : 27578 (java) S 27570 27570 24272 0 -1 1077944384 449 0 0 0 1 0 0 0 20 0 19 0 445460474 15926902784 145785 33554432000 4194304 4196468 140725677351760 140388568210288 140389099567746 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19202048 140725677356015 140725677356186 140725677356186 140725677359055 0
[pid=27572/tid=27579] ppid=27570 vsize=15553616 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27572/task/27579/stat : 27579 (java) S 27570 27570 24272 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 19 0 445460474 15926902784 145785 33554432000 4194304 4196468 140725677351760 140388567156320 140389099566805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19202048 140725677356015 140725677356186 140725677356186 140725677359055 0
[pid=27572/tid=27580] ppid=27570 vsize=15553616 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27572/task/27580/stat : 27580 (java) S 27570 27570 24272 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 19 0 445460474 15926902784 145785 33554432000 4194304 4196468 140725677351760 140388566103424 140389099566805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19202048 140725677356015 140725677356186 140725677356186 140725677359055 0
[pid=27572/tid=27581] ppid=27570 vsize=15553616 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27572/task/27581/stat : 27581 (java) S 27570 27570 24272 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445460477 15926902784 145785 33554432000 4194304 4196468 140725677351760 140388565051728 140389099575195 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19202048 140725677356015 140725677356186 140725677356186 140725677359055 0
[pid=27572/tid=27582] ppid=27570 vsize=15553616 memory=0 CPUtime=1.68 cores=1,3,5,7
/proc/27572/task/27582/stat : 27582 (java) S 27570 27570 24272 0 -1 1077944384 4190 0 0 0 168 0 0 0 20 0 19 0 445460477 15926902784 145785 33554432000 4194304 4196468 140725677351760 140388563999088 140389099567746 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19202048 140725677356015 140725677356186 140725677356186 140725677359055 0
[pid=27572/tid=27583] ppid=27570 vsize=15553616 memory=0 CPUtime=1.67 cores=1,3,5,7
/proc/27572/task/27583/stat : 27583 (java) R 27570 27570 24272 0 -1 4202560 3721 0 0 0 166 1 0 0 20 0 19 0 445460477 15926902784 145785 33554432000 4194304 4196468 140725677351760 140388562946584 140389077445216 0 4 0 16800975 0 0 0 -1 3 0 0 42 0 0 6293624 6294260 19202048 140725677356015 140725677356186 140725677356186 140725677359055 0
[pid=27572/tid=27584] ppid=27570 vsize=15553616 memory=0 CPUtime=0.81 cores=1,3,5,7
/proc/27572/task/27584/stat : 27584 (java) S 27570 27570 24272 0 -1 1077944384 5376 0 0 0 80 1 0 0 20 0 19 0 445460477 15926902784 145785 33554432000 4194304 4196468 140725677351760 140388561893488 140389099567746 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19202048 140725677356015 140725677356186 140725677356186 140725677359055 0
[pid=27572/tid=27585] ppid=27570 vsize=15553616 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27572/task/27585/stat : 27585 (java) S 27570 27570 24272 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445460477 15926902784 145785 33554432000 4194304 4196468 140725677351760 140388560840928 140389099566805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19202048 140725677356015 140725677356186 140725677356186 140725677359055 0
[pid=27572/tid=27586] ppid=27570 vsize=15553616 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27572/task/27586/stat : 27586 (java) S 27570 27570 24272 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 19 0 445460477 15926902784 145785 33554432000 4194304 4196468 140725677351760 140388559789232 140389099567746 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 41 0 0 6293624 6294260 19202048 140725677356015 140725677356186 140725677356186 140725677359055 0
Current children cumulated CPU time: 7.74 s
Current children cumulated vsize: 15666744 KiB
Current children cumulated memory: 584588 KiB
[startup+4.0009 s]*
/proc/loadavg: 8.05 8.01 7.91 11/237 27894
/proc/meminfo: memFree=30629348/32770624 swapFree=66997372/67108860
[pid=27570] ppid=27567 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/27570/stat : 27570 (xcsp3-exec) S 27567 27570 24272 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445460471 115843072 362 33554432000 4194304 5098028 140732135515072 140732135513176 140587718062716 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 14737408 140732135519098 140732135519341 140732135519341 140732135522250 0
/proc/27570/statm: 28282 362 304 221 0 87 0
[pid=27572] ppid=27570 vsize=15620180 memory=649596 CPUtime=10.77 cores=1,3,5,7
/proc/27572/stat : 27572 (java) S 27570 27570 24272 0 -1 1077944320 33701 0 0 0 1032 45 0 0 20 0 19 0 445460471 15995064320 162399 33554432000 4194304 4196468 140725677351760 140725677334304 140389099556599 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 19202048 140725677356015 140725677356186 140725677356186 140725677359055 0
/proc/27572/statm: 3905045 162399 3530 1 0 3866145 0
[pid=27572/tid=27573] ppid=27570 vsize=15620180 memory=7100839870104831090 CPUtime=1.81 cores=1,3,5,7
/proc/27572/task/27573/stat : 27573 (java) S 27570 27570 24272 0 -1 1077944384 10485 0 0 0 174 7 0 0 20 0 19 0 445460472 15995064320 162399 33554432000 4194304 4196468 140725677351760 140389103797376 140389099566805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 42 0 0 6293624 6294260 19202048 140725677356015 140725677356186 140725677356186 140725677359055 0
[pid=27572/tid=27574] ppid=27570 vsize=15620180 memory=3472328128895609921 CPUtime=0.2 cores=1,3,5,7
/proc/27572/task/27574/stat : 27574 (java) S 27570 27570 24272 0 -1 1077944384 554 0 0 0 13 7 0 0 20 0 19 0 445460472 15995064320 162399 33554432000 4194304 4196468 140725677351760 140389060516496 140389099566805 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19202048 140725677356015 140725677356186 140725677356186 140725677359055 0
[pid=27572/tid=27575] ppid=27570 vsize=15620180 memory=3472468007370766000 CPUtime=0.17 cores=1,3,5,7
/proc/27572/task/27575/stat : 27575 (java) S 27570 27570 24272 0 -1 1077944384 214 0 0 0 11 6 0 0 20 0 19 0 445460472 15995064320 162399 33554432000 4194304 4196468 140725677351760 140388691057168 140389099566805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19202048 140725677356015 140725677356186 140725677356186 140725677359055 0
[pid=27572/tid=27576] ppid=27570 vsize=15620180 memory=-4695043397844020537 CPUtime=0.21 cores=1,3,5,7
/proc/27572/task/27576/stat : 27576 (java) S 27570 27570 24272 0 -1 1077944384 390 0 0 0 14 7 0 0 20 0 19 0 445460472 15995064320 162399 33554432000 4194304 4196468 140725677351760 140388690004368 140389099566805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19202048 140725677356015 140725677356186 140725677356186 140725677359055 0
[pid=27572/tid=27577] ppid=27570 vsize=15620180 memory=3472328296227679279 CPUtime=0.19 cores=1,3,5,7
/proc/27572/task/27577/stat : 27577 (java) S 27570 27570 24272 0 -1 1077944384 640 0 0 0 12 7 0 0 20 0 19 0 445460472 15995064320 162399 33554432000 4194304 4196468 140725677351760 140388688951568 140389099566805 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19202048 140725677356015 140725677356186 140725677356186 140725677359055 0
[pid=27572/tid=27578] ppid=27570 vsize=15620180 memory=3471342107463923376 CPUtime=0.01 cores=1,3,5,7
/proc/27572/task/27578/stat : 27578 (java) S 27570 27570 24272 0 -1 1077944384 791 0 0 0 1 0 0 0 20 0 19 0 445460474 15995064320 162399 33554432000 4194304 4196468 140725677351760 140388568210288 140389099567746 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19202048 140725677356015 140725677356186 140725677356186 140725677359055 0
[pid=27572/tid=27579] ppid=27570 vsize=15620180 memory=3472328296227418159 CPUtime=0 cores=1,3,5,7
/proc/27572/task/27579/stat : 27579 (java) S 27570 27570 24272 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 19 0 445460474 15995064320 162399 33554432000 4194304 4196468 140725677351760 140388567156320 140389099566805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19202048 140725677356015 140725677356186 140725677356186 140725677359055 0
[pid=27572/tid=27580] ppid=27570 vsize=15620180 memory=-2746958450906831424 CPUtime=0 cores=1,3,5,7
/proc/27572/task/27580/stat : 27580 (java) S 27570 27570 24272 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 19 0 445460474 15995064320 162399 33554432000 4194304 4196468 140725677351760 140388566103424 140389099566805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19202048 140725677356015 140725677356186 140725677356186 140725677359055 0
[pid=27572/tid=27581] ppid=27570 vsize=15620180 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27572/task/27581/stat : 27581 (java) S 27570 27570 24272 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445460477 15995064320 162399 33554432000 4194304 4196468 140725677351760 140388565051728 140389099575195 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19202048 140725677356015 140725677356186 140725677356186 140725677359055 0
[pid=27572/tid=27582] ppid=27570 vsize=15620180 memory=0 CPUtime=2.13 cores=1,3,5,7
/proc/27572/task/27582/stat : 27582 (java) R 27570 27570 24272 0 -1 4202560 4371 0 0 0 213 0 0 0 20 0 19 0 445460477 15995064320 162399 33554432000 4194304 4196468 140725677351760 140388563999384 140389083056982 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19202048 140725677356015 140725677356186 140725677356186 140725677359055 0
[pid=27572/tid=27583] ppid=27570 vsize=15620180 memory=-1 CPUtime=2.08 cores=1,3,5,7
/proc/27572/task/27583/stat : 27583 (java) S 27570 27570 24272 0 -1 1077944384 3872 0 0 0 207 1 0 0 20 0 19 0 445460477 15995064320 162399 33554432000 4194304 4196468 140725677351760 140388562946288 140389099567746 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 42 0 0 6293624 6294260 19202048 140725677356015 140725677356186 140725677356186 140725677359055 0
[pid=27572/tid=27584] ppid=27570 vsize=15620180 memory=1764 CPUtime=0.89 cores=1,3,5,7
/proc/27572/task/27584/stat : 27584 (java) S 27570 27570 24272 0 -1 1077944384 5530 0 0 0 88 1 0 0 20 0 19 0 445460477 15995064320 162399 33554432000 4194304 4196468 140725677351760 140388561893488 140389099567746 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19202048 140725677356015 140725677356186 140725677356186 140725677359055 0
[pid=27572/tid=27585] ppid=27570 vsize=15620180 memory=111628 CPUtime=0 cores=1,3,5,7
/proc/27572/task/27585/stat : 27585 (java) S 27570 27570 24272 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445460477 15995064320 162399 33554432000 4194304 4196468 140725677351760 140388560840928 140389099566805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19202048 140725677356015 140725677356186 140725677356186 140725677359055 0
[pid=27572/tid=27586] ppid=27570 vsize=15620180 memory=796 CPUtime=0 cores=1,3,5,7
/proc/27572/task/27586/stat : 27586 (java) S 27570 27570 24272 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 19 0 445460477 15995064320 162399 33554432000 4194304 4196468 140725677351760 140388559789232 140389099567746 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 41 0 0 6293624 6294260 19202048 140725677356015 140725677356186 140725677356186 140725677359055 0
[pid=27572/tid=27891] ppid=27570 vsize=15620180 memory=4100 CPUtime=0.41 cores=1,3,5,7
/proc/27572/task/27891/stat : 27891 (java) R 27570 27570 24272 0 -1 4202560 17 0 0 0 41 0 0 0 20 0 19 0 445460817 15995064320 162399 33554432000 4194304 4196468 140725677351760 140388546367352 140388739383687 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19202048 140725677356015 140725677356186 140725677356186 140725677359055 0
[pid=27572/tid=27892] ppid=27570 vsize=15620180 memory=1804 CPUtime=0.41 cores=1,3,5,7
/proc/27572/task/27892/stat : 27892 (java) R 27570 27570 24272 0 -1 4202560 18 0 0 0 41 0 0 0 20 0 19 0 445460817 15995064320 162399 33554432000 4194304 4196468 140725677351760 140388541104744 140388744159353 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19202048 140725677356015 140725677356186 140725677356186 140725677359055 0
[pid=27572/tid=27893] ppid=27570 vsize=15620180 memory=0 CPUtime=0.42 cores=1,3,5,7
/proc/27572/task/27893/stat : 27893 (java) R 27570 27570 24272 0 -1 4202560 18 0 0 0 42 0 0 0 20 0 19 0 445460817 15995064320 162399 33554432000 4194304 4196468 140725677351760 140388543209384 140388744157489 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19202048 140725677356015 140725677356186 140725677356186 140725677359055 0
[pid=27572/tid=27894] ppid=27570 vsize=15620180 memory=0 CPUtime=0.35 cores=1,3,5,7
/proc/27572/task/27894/stat : 27894 (java) R 27570 27570 24272 0 -1 4202560 17 0 0 0 35 0 0 0 20 0 19 0 445460817 15995064320 162399 33554432000 4194304 4196468 140725677351760 140388544264024 140388745424906 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 19202048 140725677356015 140725677356186 140725677356186 140725677359055 0
Current children cumulated CPU time: 10.77 s
Current children cumulated vsize: 15733308 KiB
Current children cumulated memory: 651044 KiB
[startup+4.40089 s]
/proc/loadavg: 8.05 8.01 7.91 11/237 27894
/proc/meminfo: memFree=30629348/32770624 swapFree=66997372/67108860
[pid=27570] ppid=27567 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/27570/stat : 27570 (xcsp3-exec) S 27567 27570 24272 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445460471 115843072 362 33554432000 4194304 5098028 140732135515072 140732135513176 140587718062716 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 14737408 140732135519098 140732135519341 140732135519341 140732135522250 0
/proc/27570/statm: 28282 362 304 221 0 87 0
[pid=27572] ppid=27570 vsize=15620180 memory=649936 CPUtime=12.3 cores=1,3,5,7
/proc/27572/stat : 27572 (java) S 27570 27570 24272 0 -1 1077944320 33818 0 0 0 1185 45 0 0 20 0 19 0 445460471 15995064320 162484 33554432000 4194304 4196468 140725677351760 140725677334304 140389099556599 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 19202048 140725677356015 140725677356186 140725677356186 140725677359055 0
/proc/27572/statm: 3905045 162484 3537 1 0 3866145 0
[pid=27572/tid=27573] ppid=27570 vsize=15620180 memory=500 CPUtime=1.81 cores=1,3,5,7
/proc/27572/task/27573/stat : 27573 (java) S 27570 27570 24272 0 -1 1077944384 10485 0 0 0 174 7 0 0 20 0 19 0 445460472 15995064320 162484 33554432000 4194304 4196468 140725677351760 140389103797376 140389099566805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 42 0 0 6293624 6294260 19202048 140725677356015 140725677356186 140725677356186 140725677359055 0
[pid=27572/tid=27574] ppid=27570 vsize=15620180 memory=6791534058613427641 CPUtime=0.2 cores=1,3,5,7
/proc/27572/task/27574/stat : 27574 (java) S 27570 27570 24272 0 -1 1077944384 554 0 0 0 13 7 0 0 20 0 19 0 445460472 15995064320 162484 33554432000 4194304 4196468 140725677351760 140389060516496 140389099566805 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19202048 140725677356015 140725677356186 140725677356186 140725677359055 0
[pid=27572/tid=27575] ppid=27570 vsize=15620180 memory=649552 CPUtime=0.17 cores=1,3,5,7
/proc/27572/task/27575/stat : 27575 (java) S 27570 27570 24272 0 -1 1077944384 214 0 0 0 11 6 0 0 20 0 19 0 445460472 15995064320 162484 33554432000 4194304 4196468 140725677351760 140388691057168 140389099566805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19202048 140725677356015 140725677356186 140725677356186 140725677359055 0
[pid=27572/tid=27576] ppid=27570 vsize=15620180 memory=288230376154969091 CPUtime=0.21 cores=1,3,5,7
/proc/27572/task/27576/stat : 27576 (java) S 27570 27570 24272 0 -1 1077944384 390 0 0 0 14 7 0 0 20 0 19 0 445460472 15995064320 162484 33554432000 4194304 4196468 140725677351760 140388690004368 140389099566805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19202048 140725677356015 140725677356186 140725677356186 140725677359055 0
[pid=27572/tid=27577] ppid=27570 vsize=15620180 memory=0 CPUtime=0.19 cores=1,3,5,7
/proc/27572/task/27577/stat : 27577 (java) S 27570 27570 24272 0 -1 1077944384 640 0 0 0 12 7 0 0 20 0 19 0 445460472 15995064320 162484 33554432000 4194304 4196468 140725677351760 140388688951568 140389099566805 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19202048 140725677356015 140725677356186 140725677356186 140725677359055 0
[pid=27572/tid=27578] ppid=27570 vsize=15620180 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/27572/task/27578/stat : 27578 (java) S 27570 27570 24272 0 -1 1077944384 791 0 0 0 1 0 0 0 20 0 19 0 445460474 15995064320 162484 33554432000 4194304 4196468 140725677351760 140388568210288 140389099567746 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19202048 140725677356015 140725677356186 140725677356186 140725677359055 0
[pid=27572/tid=27579] ppid=27570 vsize=15620180 memory=7091008208638074967 CPUtime=0 cores=1,3,5,7
/proc/27572/task/27579/stat : 27579 (java) S 27570 27570 24272 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 19 0 445460474 15995064320 162484 33554432000 4194304 4196468 140725677351760 140388567156320 140389099566805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19202048 140725677356015 140725677356186 140725677356186 140725677359055 0
[pid=27572/tid=27580] ppid=27570 vsize=15620180 memory=7451318173257262948 CPUtime=0 cores=1,3,5,7
/proc/27572/task/27580/stat : 27580 (java) S 27570 27570 24272 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 19 0 445460474 15995064320 162484 33554432000 4194304 4196468 140725677351760 140388566103424 140389099566805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19202048 140725677356015 140725677356186 140725677356186 140725677359055 0
[pid=27572/tid=27581] ppid=27570 vsize=15620180 memory=7379524492460712801 CPUtime=0 cores=1,3,5,7
/proc/27572/task/27581/stat : 27581 (java) S 27570 27570 24272 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445460477 15995064320 162484 33554432000 4194304 4196468 140725677351760 140388565051728 140389099575195 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19202048 140725677356015 140725677356186 140725677356186 140725677359055 0
[pid=27572/tid=27582] ppid=27570 vsize=15620180 memory=7306360690756447081 CPUtime=2.38 cores=1,3,5,7
/proc/27572/task/27582/stat : 27582 (java) R 27570 27570 24272 0 -1 4202560 4417 0 0 0 238 0 0 0 20 0 19 0 445460477 15995064320 162484 33554432000 4194304 4196468 140725677351760 140388563989984 140389083549990 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19202048 140725677356015 140725677356186 140725677356186 140725677359055 0
[pid=27572/tid=27583] ppid=27570 vsize=15620180 memory=6946071621122288742 CPUtime=2.21 cores=1,3,5,7
/proc/27572/task/27583/stat : 27583 (java) R 27570 27570 24272 0 -1 4202560 3897 0 0 0 220 1 0 0 20 0 19 0 445460477 15995064320 162484 33554432000 4194304 4196468 140725677351760 140388562946288 140389080257680 0 4 0 16800975 0 0 0 -1 5 0 0 42 0 0 6293624 6294260 19202048 140725677356015 140725677356186 140725677356186 140725677359055 0
[pid=27572/tid=27584] ppid=27570 vsize=15620180 memory=7234298767140022895 CPUtime=0.9 cores=1,3,5,7
/proc/27572/task/27584/stat : 27584 (java) S 27570 27570 24272 0 -1 1077944384 5544 0 0 0 89 1 0 0 20 0 19 0 445460477 15995064320 162484 33554432000 4194304 4196468 140725677351760 140388561893488 140389099567746 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19202048 140725677356015 140725677356186 140725677356186 140725677359055 0
[pid=27572/tid=27585] ppid=27570 vsize=15620180 memory=7882520258629233768 CPUtime=0 cores=1,3,5,7
/proc/27572/task/27585/stat : 27585 (java) S 27570 27570 24272 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445460477 15995064320 162484 33554432000 4194304 4196468 140725677351760 140388560840928 140389099566805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19202048 140725677356015 140725677356186 140725677356186 140725677359055 0
[pid=27572/tid=27586] ppid=27570 vsize=15620180 memory=7885919948414739286 CPUtime=0 cores=1,3,5,7
/proc/27572/task/27586/stat : 27586 (java) S 27570 27570 24272 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 19 0 445460477 15995064320 162484 33554432000 4194304 4196468 140725677351760 140388559789232 140389099567746 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 41 0 0 6293624 6294260 19202048 140725677356015 140725677356186 140725677356186 140725677359055 0
[pid=27572/tid=27891] ppid=27570 vsize=15620180 memory=0 CPUtime=0.7 cores=1,3,5,7
/proc/27572/task/27891/stat : 27891 (java) S 27570 27570 24272 0 -1 1077944384 17 0 0 0 70 0 0 0 20 0 19 0 445460817 15995064320 162484 33554432000 4194304 4196468 140725677351760 140388546371552 140389099566805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19202048 140725677356015 140725677356186 140725677356186 140725677359055 0
[pid=27572/tid=27892] ppid=27570 vsize=15620180 memory=6656426216303648864 CPUtime=0.66 cores=1,3,5,7
/proc/27572/task/27892/stat : 27892 (java) S 27570 27570 24272 0 -1 1077944384 50 0 0 0 66 0 0 0 20 0 19 0 445460817 15995064320 162484 33554432000 4194304 4196468 140725677351760 140388541109616 140389099566805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19202048 140725677356015 140725677356186 140725677356186 140725677359055 0
[pid=27572/tid=27893] ppid=27570 vsize=15620180 memory=6944656592455359580 CPUtime=0.66 cores=1,3,5,7
/proc/27572/task/27893/stat : 27893 (java) R 27570 27570 24272 0 -1 4202560 18 0 0 0 66 0 0 0 20 0 19 0 445460817 15995064320 162484 33554432000 4194304 4196468 140725677351760 140388543208136 140388744157707 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 19202048 140725677356015 140725677356186 140725677356186 140725677359055 0
[pid=27572/tid=27894] ppid=27570 vsize=15620180 memory=-7246141791723035334 CPUtime=0.7 cores=1,3,5,7
/proc/27572/task/27894/stat : 27894 (java) S 27570 27570 24272 0 -1 1077944384 17 0 0 0 70 0 0 0 20 0 19 0 445460817 15995064320 162484 33554432000 4194304 4196468 140725677351760 140388544267376 140389099566805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19202048 140725677356015 140725677356186 140725677356186 140725677359055 0
Current children cumulated CPU time: 12.3 s
Current children cumulated vsize: 15733308 KiB
Current children cumulated memory: 651384 KiB
Child status: 0
Real time (s): 4.43618
CPU time (s): 12.343
CPU user time (s): 11.8792
CPU system time (s): 0.463784
CPU usage (%): 278.235
Max. virtual memory (cumulated for all children) (KiB): 15733308
Max. memory (cumulated for all children) (KiB): 651384
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 11.8792
system time used= 0.463784
maximum resident set size= 650652
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 34427
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= 4760
involuntary context switches= 340
# summary of solver processes directly reported to runsolver:
# pid: 27570
# total CPU time (s): 12.343
# total CPU user time (s): 11.8792
# total CPU system time (s): 0.463784
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.045944 second user time and 0.098451 second system time
The end