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 (15049 MiB free)
memory of node 1: 16384 MiB (15627 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4393318-1568345609/watcher-4393318-1568345609 -o /tmp/evaluation-result-4393318-1568345609/solver-4393318-1568345609 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node146-1568343521-17190 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 1765213157 HOME/instance-4393318-1568345609.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=19797, runsolver pid=19794
[startup+0.100109 s]*
/proc/loadavg: 8.23 8.48 7.68 7/234 19813
/proc/meminfo: memFree=31395992/32770624 swapFree=66999992/67108860
[pid=19797] ppid=19794 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/19797/stat : 19797 (xcsp3-exec) S 19794 19797 15420 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 410474887 115843072 363 33554432000 4194304 5098028 140721057183936 140721057182040 140469007897212 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 26480640 140721057190778 140721057191021 140721057191021 140721057193930 0
/proc/19797/statm: 28282 363 304 221 0 87 0
[pid=19799] ppid=19797 vsize=15144768 memory=30340 CPUtime=0.14 cores=1,3,5,7
/proc/19799/stat : 19799 (java) S 19797 19797 15420 0 -1 1077944320 5533 0 0 0 12 2 0 0 20 0 15 0 410474887 15508242432 7585 33554432000 4194304 4196468 140726224141216 140726224123760 140474192281335 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 8404992 140726224147439 140726224147610 140726224147610 140726224150479 0
/proc/19799/statm: 3786192 7585 3141 1 0 3748377 0
[pid=19799/tid=19800] ppid=19797 vsize=15144768 memory=7748307311448697419 CPUtime=0.09 cores=1,3,5,7
/proc/19799/task/19800/stat : 19800 (java) R 19797 19797 15420 0 -1 4202560 3401 0 0 0 8 1 0 0 20 0 15 0 410474887 15508242432 7585 33554432000 4194304 4196468 140726224141216 140474196513800 140474192293270 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8404992 140726224147439 140726224147610 140726224147610 140726224150479 0
[pid=19799/tid=19801] ppid=19797 vsize=15144768 memory=-3689349214911541841 CPUtime=0 cores=1,3,5,7
/proc/19799/task/19801/stat : 19801 (java) S 19797 19797 15420 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410474888 15508242432 7585 33554432000 4194304 4196468 140726224141216 140473785096464 140474192291541 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8404992 140726224147439 140726224147610 140726224147610 140726224150479 0
[pid=19799/tid=19802] ppid=19797 vsize=15144768 memory=139999760692864 CPUtime=0 cores=1,3,5,7
/proc/19799/task/19802/stat : 19802 (java) S 19797 19797 15420 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410474888 15508242432 7585 33554432000 4194304 4196468 140726224141216 140473784043920 140474192291541 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8404992 140726224147439 140726224147610 140726224147610 140726224150479 0
[pid=19799/tid=19803] ppid=19797 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19799/task/19803/stat : 19803 (java) S 19797 19797 15420 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410474888 15508242432 7585 33554432000 4194304 4196468 140726224141216 140473782991376 140474192291541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8404992 140726224147439 140726224147610 140726224147610 140726224150479 0
[pid=19799/tid=19804] ppid=19797 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/19799/task/19804/stat : 19804 (java) S 19797 19797 15420 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 410474888 15508242432 7585 33554432000 4194304 4196468 140726224141216 140473781938832 140474192291541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8404992 140726224147439 140726224147610 140726224147610 140726224150479 0
[pid=19799/tid=19805] ppid=19797 vsize=15144768 memory=139999760692864 CPUtime=0 cores=1,3,5,7
/proc/19799/task/19805/stat : 19805 (java) S 19797 19797 15420 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 410474889 15508242432 7585 33554432000 4194304 4196468 140726224141216 140473660926448 140474192292482 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8404992 140726224147439 140726224147610 140726224147610 140726224150479 0
[pid=19799/tid=19806] ppid=19797 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/19799/task/19806/stat : 19806 (java) S 19797 19797 15420 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 410474890 15508242432 7585 33554432000 4194304 4196468 140726224141216 140473659872672 140474192291541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8404992 140726224147439 140726224147610 140726224147610 140726224150479 0
[pid=19799/tid=19807] ppid=19797 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19799/task/19807/stat : 19807 (java) S 19797 19797 15420 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 410474890 15508242432 7585 33554432000 4194304 4196468 140726224141216 140473658820080 140474192291541 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8404992 140726224147439 140726224147610 140726224147610 140726224150479 0
[pid=19799/tid=19808] ppid=19797 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19799/task/19808/stat : 19808 (java) S 19797 19797 15420 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 410474892 15508242432 7585 33554432000 4194304 4196468 140726224141216 140473657768656 140474192299931 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8404992 140726224147439 140726224147610 140726224147610 140726224150479 0
[pid=19799/tid=19809] ppid=19797 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19799/task/19809/stat : 19809 (java) S 19797 19797 15420 0 -1 1077944384 427 0 0 0 0 0 0 0 20 0 15 0 410474892 15508242432 7585 33554432000 4194304 4196468 140726224141216 140473656715248 140474192292482 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8404992 140726224147439 140726224147610 140726224147610 140726224150479 0
[pid=19799/tid=19810] ppid=19797 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/19799/task/19810/stat : 19810 (java) S 19797 19797 15420 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 410474892 15508242432 7585 33554432000 4194304 4196468 140726224141216 140473655662704 140474192292482 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8404992 140726224147439 140726224147610 140726224147610 140726224150479 0
[pid=19799/tid=19811] ppid=19797 vsize=15144768 memory=139999760692864 CPUtime=0.02 cores=1,3,5,7
/proc/19799/task/19811/stat : 19811 (java) R 19797 19797 15420 0 -1 4202560 354 0 0 0 2 0 0 0 20 0 15 0 410474892 15508242432 7585 33554432000 4194304 4196468 140726224141216 140473654610160 140474192293270 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8404992 140726224147439 140726224147610 140726224147610 140726224150479 0
[pid=19799/tid=19812] ppid=19797 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/19799/task/19812/stat : 19812 (java) S 19797 19797 15420 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 410474893 15508242432 7585 33554432000 4194304 4196468 140726224141216 140473653557856 140474192291541 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8404992 140726224147439 140726224147610 140726224147610 140726224150479 0
[pid=19799/tid=19813] ppid=19797 vsize=15144768 memory=139999760692864 CPUtime=0 cores=1,3,5,7
/proc/19799/task/19813/stat : 19813 (java) S 19797 19797 15420 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410474893 15508242432 7585 33554432000 4194304 4196468 140726224141216 140473652505392 140474192292482 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8404992 140726224147439 140726224147610 140726224147610 140726224150479 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 31792 KiB
[startup+0.210746 s]*
/proc/loadavg: 8.23 8.48 7.68 6/234 19813
/proc/meminfo: memFree=31383496/32770624 swapFree=66999992/67108860
[pid=19797] ppid=19794 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/19797/stat : 19797 (xcsp3-exec) S 19794 19797 15420 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 410474887 115843072 363 33554432000 4194304 5098028 140721057183936 140721057182040 140469007897212 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 26480640 140721057190778 140721057191021 140721057191021 140721057193930 0
/proc/19797/statm: 28282 363 304 221 0 87 0
[pid=19799] ppid=19797 vsize=15144768 memory=40916 CPUtime=0.35 cores=1,3,5,7
/proc/19799/stat : 19799 (java) S 19797 19797 15420 0 -1 1077944320 8921 0 0 0 32 3 0 0 20 0 15 0 410474887 15508242432 10229 33554432000 4194304 4196468 140726224141216 140726224123760 140474192281335 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 8404992 140726224147439 140726224147610 140726224147610 140726224150479 0
/proc/19799/statm: 3786192 10229 3310 1 0 3748377 0
[pid=19799/tid=19800] ppid=19797 vsize=15144768 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/19799/task/19800/stat : 19800 (java) R 19797 19797 15420 0 -1 4202560 6204 0 0 0 18 2 0 0 20 0 15 0 410474887 15508242432 10229 33554432000 4194304 4196468 140726224141216 140474196518560 140474192303261 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8404992 140726224147439 140726224147610 140726224147610 140726224150479 0
[pid=19799/tid=19801] ppid=19797 vsize=15144768 memory=13675 CPUtime=0 cores=1,3,5,7
/proc/19799/task/19801/stat : 19801 (java) S 19797 19797 15420 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410474888 15508242432 10229 33554432000 4194304 4196468 140726224141216 140473785096464 140474192291541 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8404992 140726224147439 140726224147610 140726224147610 140726224150479 0
[pid=19799/tid=19802] ppid=19797 vsize=15144768 memory=139999763680743 CPUtime=0 cores=1,3,5,7
/proc/19799/task/19802/stat : 19802 (java) S 19797 19797 15420 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410474888 15508242432 10229 33554432000 4194304 4196468 140726224141216 140473784043920 140474192291541 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8404992 140726224147439 140726224147610 140726224147610 140726224150479 0
[pid=19799/tid=19803] ppid=19797 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19799/task/19803/stat : 19803 (java) S 19797 19797 15420 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410474888 15508242432 10229 33554432000 4194304 4196468 140726224141216 140473782991376 140474192291541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8404992 140726224147439 140726224147610 140726224147610 140726224150479 0
[pid=19799/tid=19804] ppid=19797 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/19799/task/19804/stat : 19804 (java) S 19797 19797 15420 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 410474888 15508242432 10229 33554432000 4194304 4196468 140726224141216 140473781938832 140474192291541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8404992 140726224147439 140726224147610 140726224147610 140726224150479 0
[pid=19799/tid=19805] ppid=19797 vsize=15144768 memory=139999760692864 CPUtime=0 cores=1,3,5,7
/proc/19799/task/19805/stat : 19805 (java) S 19797 19797 15420 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 410474889 15508242432 10229 33554432000 4194304 4196468 140726224141216 140473660926448 140474192292482 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8404992 140726224147439 140726224147610 140726224147610 140726224150479 0
[pid=19799/tid=19806] ppid=19797 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/19799/task/19806/stat : 19806 (java) S 19797 19797 15420 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 410474890 15508242432 10229 33554432000 4194304 4196468 140726224141216 140473659872672 140474192291541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8404992 140726224147439 140726224147610 140726224147610 140726224150479 0
[pid=19799/tid=19807] ppid=19797 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19799/task/19807/stat : 19807 (java) S 19797 19797 15420 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 410474890 15508242432 10229 33554432000 4194304 4196468 140726224141216 140473658820080 140474192291541 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8404992 140726224147439 140726224147610 140726224147610 140726224150479 0
[pid=19799/tid=19808] ppid=19797 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19799/task/19808/stat : 19808 (java) S 19797 19797 15420 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 410474892 15508242432 10229 33554432000 4194304 4196468 140726224141216 140473657768656 140474192299931 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8404992 140726224147439 140726224147610 140726224147610 140726224150479 0
[pid=19799/tid=19809] ppid=19797 vsize=15144768 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/19799/task/19809/stat : 19809 (java) S 19797 19797 15420 0 -1 1077944384 555 0 0 0 2 0 0 0 20 0 15 0 410474892 15508242432 10229 33554432000 4194304 4196468 140726224141216 140473656715248 140474192292482 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8404992 140726224147439 140726224147610 140726224147610 140726224150479 0
[pid=19799/tid=19810] ppid=19797 vsize=15144768 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/19799/task/19810/stat : 19810 (java) S 19797 19797 15420 0 -1 1077944384 92 0 0 0 2 0 0 0 20 0 15 0 410474892 15508242432 10229 33554432000 4194304 4196468 140726224141216 140473655662704 140474192292482 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8404992 140726224147439 140726224147610 140726224147610 140726224150479 0
[pid=19799/tid=19811] ppid=19797 vsize=15144768 memory=139999760692864 CPUtime=0.08 cores=1,3,5,7
/proc/19799/task/19811/stat : 19811 (java) S 19797 19797 15420 0 -1 1077944384 763 0 0 0 8 0 0 0 20 0 15 0 410474892 15508242432 10229 33554432000 4194304 4196468 140726224141216 140473654610160 140474192292482 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8404992 140726224147439 140726224147610 140726224147610 140726224150479 0
[pid=19799/tid=19812] ppid=19797 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/19799/task/19812/stat : 19812 (java) S 19797 19797 15420 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 410474893 15508242432 10229 33554432000 4194304 4196468 140726224141216 140473653557856 140474192291541 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8404992 140726224147439 140726224147610 140726224147610 140726224150479 0
[pid=19799/tid=19813] ppid=19797 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19799/task/19813/stat : 19813 (java) S 19797 19797 15420 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410474893 15508242432 10229 33554432000 4194304 4196468 140726224141216 140473652505392 140474192292482 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8404992 140726224147439 140726224147610 140726224147610 140726224150479 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 42368 KiB
[startup+0.310617 s]*
/proc/loadavg: 8.23 8.48 7.68 7/234 19813
/proc/meminfo: memFree=31376476/32770624 swapFree=66999992/67108860
[pid=19797] ppid=19794 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/19797/stat : 19797 (xcsp3-exec) S 19794 19797 15420 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 410474887 115843072 363 33554432000 4194304 5098028 140721057183936 140721057182040 140469007897212 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 26480640 140721057190778 140721057191021 140721057191021 140721057193930 0
/proc/19797/statm: 28282 363 304 221 0 87 0
[pid=19799] ppid=19797 vsize=15149024 memory=49824 CPUtime=0.54 cores=1,3,5,7
/proc/19799/stat : 19799 (java) S 19797 19797 15420 0 -1 1077944320 10393 0 0 0 50 4 0 0 20 0 15 0 410474887 15512600576 12456 33554432000 4194304 4196468 140726224141216 140726224123760 140474192281335 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 8404992 140726224147439 140726224147610 140726224147610 140726224150479 0
/proc/19799/statm: 3787256 12456 3358 1 0 3748377 0
[pid=19799/tid=19800] ppid=19797 vsize=15149024 memory=1398722017469774279 CPUtime=0.3 cores=1,3,5,7
/proc/19799/task/19800/stat : 19800 (java) R 19797 19797 15420 0 -1 4202560 7392 0 0 0 28 2 0 0 20 0 15 0 410474887 15512600576 12456 33554432000 4194304 4196468 140726224141216 140474196518160 140474192303261 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8404992 140726224147439 140726224147610 140726224147610 140726224150479 0
[pid=19799/tid=19801] ppid=19797 vsize=15149024 memory=4126316290023845779 CPUtime=0 cores=1,3,5,7
/proc/19799/task/19801/stat : 19801 (java) S 19797 19797 15420 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410474888 15512600576 12456 33554432000 4194304 4196468 140726224141216 140473785096464 140474192291541 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8404992 140726224147439 140726224147610 140726224147610 140726224150479 0
[pid=19799/tid=19802] ppid=19797 vsize=15149024 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7
/proc/19799/task/19802/stat : 19802 (java) S 19797 19797 15420 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410474888 15512600576 12456 33554432000 4194304 4196468 140726224141216 140473784043920 140474192291541 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8404992 140726224147439 140726224147610 140726224147610 140726224150479 0
[pid=19799/tid=19803] ppid=19797 vsize=15149024 memory=6944652177228980320 CPUtime=0 cores=1,3,5,7
/proc/19799/task/19803/stat : 19803 (java) S 19797 19797 15420 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410474888 15512600576 12456 33554432000 4194304 4196468 140726224141216 140473782991376 140474192291541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8404992 140726224147439 140726224147610 140726224147610 140726224150479 0
[pid=19799/tid=19804] ppid=19797 vsize=15149024 memory=-4190076264842474805 CPUtime=0 cores=1,3,5,7
/proc/19799/task/19804/stat : 19804 (java) S 19797 19797 15420 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 410474888 15512600576 12456 33554432000 4194304 4196468 140726224141216 140473781938832 140474192291541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8404992 140726224147439 140726224147610 140726224147610 140726224150479 0
[pid=19799/tid=19805] ppid=19797 vsize=15149024 memory=-7595490506177102494 CPUtime=0 cores=1,3,5,7
/proc/19799/task/19805/stat : 19805 (java) S 19797 19797 15420 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 410474889 15512600576 12456 33554432000 4194304 4196468 140726224141216 140473660926448 140474192292482 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8404992 140726224147439 140726224147610 140726224147610 140726224150479 0
[pid=19799/tid=19806] ppid=19797 vsize=15149024 memory=-7533229591079788448 CPUtime=0 cores=1,3,5,7
/proc/19799/task/19806/stat : 19806 (java) S 19797 19797 15420 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 410474890 15512600576 12456 33554432000 4194304 4196468 140726224141216 140473659872672 140474192291541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8404992 140726224147439 140726224147610 140726224147610 140726224150479 0
[pid=19799/tid=19807] ppid=19797 vsize=15149024 memory=7893295687695687954 CPUtime=0 cores=1,3,5,7
/proc/19799/task/19807/stat : 19807 (java) S 19797 19797 15420 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 410474890 15512600576 12456 33554432000 4194304 4196468 140726224141216 140473658820080 140474192291541 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8404992 140726224147439 140726224147610 140726224147610 140726224150479 0
[pid=19799/tid=19808] ppid=19797 vsize=15149024 memory=-8813974798734826869 CPUtime=0 cores=1,3,5,7
/proc/19799/task/19808/stat : 19808 (java) S 19797 19797 15420 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 410474892 15512600576 12456 33554432000 4194304 4196468 140726224141216 140473657768656 140474192299931 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8404992 140726224147439 140726224147610 140726224147610 140726224150479 0
[pid=19799/tid=19809] ppid=19797 vsize=15149024 memory=7827413994055111515 CPUtime=0.05 cores=1,3,5,7
/proc/19799/task/19809/stat : 19809 (java) S 19797 19797 15420 0 -1 1077944384 673 0 0 0 5 0 0 0 20 0 15 0 410474892 15512600576 12456 33554432000 4194304 4196468 140726224141216 140473656715248 140474192292482 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8404992 140726224147439 140726224147610 140726224147610 140726224150479 0
[pid=19799/tid=19810] ppid=19797 vsize=15149024 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/19799/task/19810/stat : 19810 (java) S 19797 19797 15420 0 -1 1077944384 130 0 0 0 4 0 0 0 20 0 15 0 410474892 15512600576 12456 33554432000 4194304 4196468 140726224141216 140473655662704 140474192292482 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8404992 140726224147439 140726224147610 140726224147610 140726224150479 0
[pid=19799/tid=19811] ppid=19797 vsize=15149024 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/19799/task/19811/stat : 19811 (java) S 19797 19797 15420 0 -1 1077944384 893 0 0 0 12 0 0 0 20 0 15 0 410474892 15512600576 12456 33554432000 4194304 4196468 140726224141216 140473654610160 140474192292482 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8404992 140726224147439 140726224147610 140726224147610 140726224150479 0
[pid=19799/tid=19812] ppid=19797 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19799/task/19812/stat : 19812 (java) S 19797 19797 15420 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 410474893 15512600576 12456 33554432000 4194304 4196468 140726224141216 140473653557856 140474192291541 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8404992 140726224147439 140726224147610 140726224147610 140726224150479 0
[pid=19799/tid=19813] ppid=19797 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19799/task/19813/stat : 19813 (java) S 19797 19797 15420 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410474893 15512600576 12456 33554432000 4194304 4196468 140726224141216 140473652505392 140474192292482 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8404992 140726224147439 140726224147610 140726224147610 140726224150479 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 15262152 KiB
Current children cumulated memory: 51276 KiB
[startup+0.704709 s]
/proc/loadavg: 8.23 8.48 7.68 9/234 19813
/proc/meminfo: memFree=31359704/32770624 swapFree=66999992/67108860
[pid=19797] ppid=19794 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/19797/stat : 19797 (xcsp3-exec) S 19794 19797 15420 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 410474887 115843072 363 33554432000 4194304 5098028 140721057183936 140721057182040 140469007897212 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 26480640 140721057190778 140721057191021 140721057191021 140721057193930 0
/proc/19797/statm: 28282 363 304 221 0 87 0
[pid=19799] ppid=19797 vsize=15483968 memory=149244 CPUtime=1.71 cores=1,3,5,7
/proc/19799/stat : 19799 (java) S 19797 19797 15420 0 -1 1077944320 14442 0 0 0 165 6 0 0 20 0 19 0 410474887 15855583232 37311 33554432000 4194304 4196468 140726224141216 140726224123760 140474192281335 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 8404992 140726224147439 140726224147610 140726224147610 140726224150479 0
/proc/19799/statm: 3870992 37311 3462 1 0 3832094 0
[pid=19799/tid=19800] ppid=19797 vsize=15483968 memory=0 CPUtime=0.51 cores=1,3,5,7
/proc/19799/task/19800/stat : 19800 (java) S 19797 19797 15420 0 -1 1077944384 8350 0 0 0 48 3 0 0 20 0 19 0 410474887 15855583232 37311 33554432000 4194304 4196468 140726224141216 140474196522112 140474192291541 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8404992 140726224147439 140726224147610 140726224147610 140726224150479 0
[pid=19799/tid=19801] ppid=19797 vsize=15483968 memory=33 CPUtime=0 cores=1,3,5,7
/proc/19799/task/19801/stat : 19801 (java) S 19797 19797 15420 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 410474888 15855583232 37311 33554432000 4194304 4196468 140726224141216 140473785096464 140474192291541 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8404992 140726224147439 140726224147610 140726224147610 140726224150479 0
[pid=19799/tid=19802] ppid=19797 vsize=15483968 memory=-7604262568725289114 CPUtime=0 cores=1,3,5,7
/proc/19799/task/19802/stat : 19802 (java) S 19797 19797 15420 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 410474888 15855583232 37311 33554432000 4194304 4196468 140726224141216 140473784043920 140474192291541 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8404992 140726224147439 140726224147610 140726224147610 140726224150479 0
[pid=19799/tid=19803] ppid=19797 vsize=15483968 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19799/task/19803/stat : 19803 (java) S 19797 19797 15420 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 410474888 15855583232 37311 33554432000 4194304 4196468 140726224141216 140473782991376 140474192291541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8404992 140726224147439 140726224147610 140726224147610 140726224150479 0
[pid=19799/tid=19804] ppid=19797 vsize=15483968 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19799/task/19804/stat : 19804 (java) S 19797 19797 15420 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 410474888 15855583232 37311 33554432000 4194304 4196468 140726224141216 140473781938832 140474192291541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8404992 140726224147439 140726224147610 140726224147610 140726224150479 0
[pid=19799/tid=19805] ppid=19797 vsize=15483968 memory=34392 CPUtime=0 cores=1,3,5,7
/proc/19799/task/19805/stat : 19805 (java) S 19797 19797 15420 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 410474889 15855583232 37311 33554432000 4194304 4196468 140726224141216 140473660926448 140474192292482 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8404992 140726224147439 140726224147610 140726224147610 140726224150479 0
[pid=19799/tid=19806] ppid=19797 vsize=15483968 memory=988 CPUtime=0 cores=1,3,5,7
/proc/19799/task/19806/stat : 19806 (java) S 19797 19797 15420 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 410474890 15855583232 37311 33554432000 4194304 4196468 140726224141216 140473659872672 140474192291541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8404992 140726224147439 140726224147610 140726224147610 140726224150479 0
[pid=19799/tid=19807] ppid=19797 vsize=15483968 memory=2012 CPUtime=0 cores=1,3,5,7
/proc/19799/task/19807/stat : 19807 (java) S 19797 19797 15420 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 410474890 15855583232 37311 33554432000 4194304 4196468 140726224141216 140473658820080 140474192291541 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8404992 140726224147439 140726224147610 140726224147610 140726224150479 0
[pid=19799/tid=19808] ppid=19797 vsize=15483968 memory=1240 CPUtime=0 cores=1,3,5,7
/proc/19799/task/19808/stat : 19808 (java) S 19797 19797 15420 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 410474892 15855583232 37311 33554432000 4194304 4196468 140726224141216 140473657768656 140474192299931 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8404992 140726224147439 140726224147610 140726224147610 140726224150479 0
[pid=19799/tid=19809] ppid=19797 vsize=15483968 memory=580 CPUtime=0.28 cores=1,3,5,7
/proc/19799/task/19809/stat : 19809 (java) R 19797 19797 15420 0 -1 4202560 1369 0 0 0 28 0 0 0 20 0 19 0 410474892 15855583232 37311 33554432000 4194304 4196468 140726224141216 140473656701272 140474184570784 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8404992 140726224147439 140726224147610 140726224147610 140726224150479 0
[pid=19799/tid=19810] ppid=19797 vsize=15483968 memory=1696 CPUtime=0.29 cores=1,3,5,7
/proc/19799/task/19810/stat : 19810 (java) R 19797 19797 15420 0 -1 4202560 867 0 0 0 29 0 0 0 20 0 19 0 410474892 15855583232 37311 33554432000 4194304 4196468 140726224141216 140473655649208 140474173460144 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 8404992 140726224147439 140726224147610 140726224147610 140726224150479 0
[pid=19799/tid=19811] ppid=19797 vsize=15483968 memory=3436 CPUtime=0.35 cores=1,3,5,7
/proc/19799/task/19811/stat : 19811 (java) R 19797 19797 15420 0 -1 4202560 1696 0 0 0 35 0 0 0 20 0 19 0 410474892 15855583232 37311 33554432000 4194304 4196468 140726224141216 140473654607096 140474185378171 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8404992 140726224147439 140726224147610 140726224147610 140726224150479 0
[pid=19799/tid=19812] ppid=19797 vsize=15483968 memory=7548 CPUtime=0 cores=1,3,5,7
/proc/19799/task/19812/stat : 19812 (java) S 19797 19797 15420 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 410474893 15855583232 37311 33554432000 4194304 4196468 140726224141216 140473653557856 140474192291541 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8404992 140726224147439 140726224147610 140726224147610 140726224150479 0
[pid=19799/tid=19813] ppid=19797 vsize=15483968 memory=2832 CPUtime=0 cores=1,3,5,7
/proc/19799/task/19813/stat : 19813 (java) S 19797 19797 15420 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 410474893 15855583232 37311 33554432000 4194304 4196468 140726224141216 140473652505392 140474192292482 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8404992 140726224147439 140726224147610 140726224147610 140726224150479 0
Current children cumulated CPU time: 1.71 s
Current children cumulated vsize: 15597096 KiB
Current children cumulated memory: 150696 KiB
[startup+1.5017 s]
/proc/loadavg: 8.23 8.48 7.68 12/238 19877
/proc/meminfo: memFree=31243844/32770624 swapFree=66999992/67108860
[pid=19797] ppid=19794 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/19797/stat : 19797 (xcsp3-exec) S 19794 19797 15420 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 410474887 115843072 363 33554432000 4194304 5098028 140721057183936 140721057182040 140469007897212 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 26480640 140721057190778 140721057191021 140721057191021 140721057193930 0
/proc/19797/statm: 28282 363 304 221 0 87 0
################
# More data... #
################
/proc/19799/task/19813/stat : 19813 (java) S 19797 19797 15420 0 -1 1077944384 839 0 0 0 6 12 0 0 20 0 19 0 410474893 15855583232 98237 33554432000 4194304 4196468 140726224141216 140473652505392 140474192292482 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 10 0 0 6293624 6294260 8404992 140726224147439 140726224147610 140726224147610 140726224150479 0
[pid=19799/tid=19887] ppid=19797 vsize=15483968 memory=392948 CPUtime=409.61 cores=1,3,5,7
/proc/19799/task/19887/stat : 19887 (java) S 19797 19797 15420 0 -1 1077944384 1079 0 0 0 40959 2 0 0 20 0 19 0 410475585 15855583232 98237 33554432000 4194304 4196468 140726224141216 140473642246080 140474192291541 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8404992 140726224147439 140726224147610 140726224147610 140726224150479 0
[pid=19799/tid=19888] ppid=19797 vsize=15483968 memory=34392 CPUtime=409.92 cores=1,3,5,7
/proc/19799/task/19888/stat : 19888 (java) S 19797 19797 15420 0 -1 1077944384 3460 0 0 0 40991 1 0 0 20 0 19 0 410475585 15855583232 98237 33554432000 4194304 4196468 140726224141216 140473641194960 140474192291541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8404992 140726224147439 140726224147610 140726224147610 140726224150479 0
[pid=19799/tid=19889] ppid=19797 vsize=15483968 memory=11852 CPUtime=410.35 cores=1,3,5,7
/proc/19799/task/19889/stat : 19889 (java) S 19797 19797 15420 0 -1 1077944384 3538 0 0 0 41034 1 0 0 20 0 19 0 410475585 15855583232 98237 33554432000 4194304 4196468 140726224141216 140473639089744 140474192291541 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8404992 140726224147439 140726224147610 140726224147610 140726224150479 0
[pid=19799/tid=19890] ppid=19797 vsize=15483968 memory=532 CPUtime=436.96 cores=1,3,5,7
/proc/19799/task/19890/stat : 19890 (java) R 19797 19797 15420 0 -1 4202560 1022 0 0 0 43696 0 0 0 20 0 19 0 410475585 15855583232 98237 33554432000 4194304 4196468 140726224141216 140473643294080 140473836326752 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8404992 140726224147439 140726224147610 140726224147610 140726224150479 0
Current children cumulated CPU time: 1697.94 s
Current children cumulated vsize: 15597096 KiB
Current children cumulated memory: 394400 KiB
[startup+448.801 s]
/proc/loadavg: 7.00 8.02 7.83 6/238 20117
/proc/meminfo: memFree=30696804/32770624 swapFree=66999992/67108860
[pid=19797] ppid=19794 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/19797/stat : 19797 (xcsp3-exec) S 19794 19797 15420 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 410474887 115843072 363 33554432000 4194304 5098028 140721057183936 140721057182040 140469007897212 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 26480640 140721057190778 140721057191021 140721057191021 140721057193930 0
/proc/19797/statm: 28282 363 304 221 0 87 0
[pid=19799] ppid=19797 vsize=15483968 memory=392948 CPUtime=1698.74 cores=1,3,5,7
/proc/19799/stat : 19799 (java) S 19797 19797 15420 0 -1 1077944320 71880 0 0 0 169782 92 0 0 20 0 19 0 410474887 15855583232 98237 33554432000 4194304 4196468 140726224141216 140726224123760 140474192281335 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 8404992 140726224147439 140726224147610 140726224147610 140726224150479 0
/proc/19799/statm: 3870992 98237 3516 1 0 3832094 0
[pid=19799/tid=19800] ppid=19797 vsize=15483968 memory=1056 CPUtime=0.52 cores=1,3,5,7
/proc/19799/task/19800/stat : 19800 (java) S 19797 19797 15420 0 -1 1077944384 8449 0 0 0 49 3 0 0 20 0 19 0 410474887 15855583232 98237 33554432000 4194304 4196468 140726224141216 140474196522112 140474192291541 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8404992 140726224147439 140726224147610 140726224147610 140726224150479 0
[pid=19799/tid=19801] ppid=19797 vsize=15483968 memory=964 CPUtime=1.1 cores=1,3,5,7
/proc/19799/task/19801/stat : 19801 (java) S 19797 19797 15420 0 -1 1077944384 3160 0 0 0 100 10 0 0 20 0 19 0 410474888 15855583232 98237 33554432000 4194304 4196468 140726224141216 140473785096464 140474192291541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8404992 140726224147439 140726224147610 140726224147610 140726224150479 0
[pid=19799/tid=19802] ppid=19797 vsize=15483968 memory=14008 CPUtime=1.09 cores=1,3,5,7
/proc/19799/task/19802/stat : 19802 (java) S 19797 19797 15420 0 -1 1077944384 3868 0 0 0 99 10 0 0 20 0 19 0 410474888 15855583232 98237 33554432000 4194304 4196468 140726224141216 140473784043920 140474192291541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8404992 140726224147439 140726224147610 140726224147610 140726224150479 0
[pid=19799/tid=19803] ppid=19797 vsize=15483968 memory=1452 CPUtime=1.09 cores=1,3,5,7
/proc/19799/task/19803/stat : 19803 (java) S 19797 19797 15420 0 -1 1077944384 4204 0 0 0 99 10 0 0 20 0 19 0 410474888 15855583232 98237 33554432000 4194304 4196468 140726224141216 140473782991376 140474192291541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8404992 140726224147439 140726224147610 140726224147610 140726224150479 0
[pid=19799/tid=19804] ppid=19797 vsize=15483968 memory=392948 CPUtime=1.07 cores=1,3,5,7
/proc/19799/task/19804/stat : 19804 (java) S 19797 19797 15420 0 -1 1077944384 3990 0 0 0 97 10 0 0 20 0 19 0 410474888 15855583232 98237 33554432000 4194304 4196468 140726224141216 140473781938832 140474192291541 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8404992 140726224147439 140726224147610 140726224147610 140726224150479 0
[pid=19799/tid=19805] ppid=19797 vsize=15483968 memory=1980 CPUtime=0.62 cores=1,3,5,7
/proc/19799/task/19805/stat : 19805 (java) S 19797 19797 15420 0 -1 1077944384 2879 0 0 0 24 38 0 0 20 0 19 0 410474889 15855583232 98237 33554432000 4194304 4196468 140726224141216 140473660926448 140474192292482 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8404992 140726224147439 140726224147610 140726224147610 140726224150479 0
[pid=19799/tid=19806] ppid=19797 vsize=15483968 memory=1332 CPUtime=0 cores=1,3,5,7
/proc/19799/task/19806/stat : 19806 (java) S 19797 19797 15420 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 19 0 410474890 15855583232 98237 33554432000 4194304 4196468 140726224141216 140473659872736 140474192291541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8404992 140726224147439 140726224147610 140726224147610 140726224150479 0
[pid=19799/tid=19807] ppid=19797 vsize=15483968 memory=111636 CPUtime=0 cores=1,3,5,7
/proc/19799/task/19807/stat : 19807 (java) S 19797 19797 15420 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 19 0 410474890 15855583232 98237 33554432000 4194304 4196468 140726224141216 140473658820096 140474192291541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8404992 140726224147439 140726224147610 140726224147610 140726224150479 0
[pid=19799/tid=19808] ppid=19797 vsize=15483968 memory=808 CPUtime=0 cores=1,3,5,7
/proc/19799/task/19808/stat : 19808 (java) S 19797 19797 15420 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 410474892 15855583232 98237 33554432000 4194304 4196468 140726224141216 140473657768656 140474192299931 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8404992 140726224147439 140726224147610 140726224147610 140726224150479 0
[pid=19799/tid=19809] ppid=19797 vsize=15483968 memory=1808 CPUtime=1.99 cores=1,3,5,7
/proc/19799/task/19809/stat : 19809 (java) S 19797 19797 15420 0 -1 1077944384 13399 0 0 0 198 1 0 0 20 0 19 0 410474892 15855583232 98237 33554432000 4194304 4196468 140726224141216 140473656715248 140474192292482 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 8404992 140726224147439 140726224147610 140726224147610 140726224150479 0
[pid=19799/tid=19810] ppid=19797 vsize=15483968 memory=924 CPUtime=2.23 cores=1,3,5,7
/proc/19799/task/19810/stat : 19810 (java) S 19797 19797 15420 0 -1 1077944384 11351 0 0 0 222 1 0 0 20 0 19 0 410474892 15855583232 98237 33554432000 4194304 4196468 140726224141216 140473655662704 140474192292482 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 6 0 0 6293624 6294260 8404992 140726224147439 140726224147610 140726224147610 140726224150479 0
[pid=19799/tid=19811] ppid=19797 vsize=15483968 memory=3848 CPUtime=0.57 cores=1,3,5,7
/proc/19799/task/19811/stat : 19811 (java) S 19797 19797 15420 0 -1 1077944384 6703 0 0 0 56 1 0 0 20 0 19 0 410474892 15855583232 98237 33554432000 4194304 4196468 140726224141216 140473654610160 140474192292482 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 10 0 0 6293624 6294260 8404992 140726224147439 140726224147610 140726224147610 140726224150479 0
[pid=19799/tid=19812] ppid=19797 vsize=15483968 memory=4108 CPUtime=0 cores=1,3,5,7
/proc/19799/task/19812/stat : 19812 (java) S 19797 19797 15420 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 410474893 15855583232 98237 33554432000 4194304 4196468 140726224141216 140473653557856 140474192291541 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8404992 140726224147439 140726224147610 140726224147610 140726224150479 0
[pid=19799/tid=19813] ppid=19797 vsize=15483968 memory=1556 CPUtime=0.18 cores=1,3,5,7
/proc/19799/task/19813/stat : 19813 (java) S 19797 19797 15420 0 -1 1077944384 839 0 0 0 6 12 0 0 20 0 19 0 410474893 15855583232 98237 33554432000 4194304 4196468 140726224141216 140473652505392 140474192292482 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 10 0 0 6293624 6294260 8404992 140726224147439 140726224147610 140726224147610 140726224150479 0
[pid=19799/tid=19887] ppid=19797 vsize=15483968 memory=1056 CPUtime=409.61 cores=1,3,5,7
/proc/19799/task/19887/stat : 19887 (java) S 19797 19797 15420 0 -1 1077944384 1079 0 0 0 40959 2 0 0 20 0 19 0 410475585 15855583232 98237 33554432000 4194304 4196468 140726224141216 140473642246080 140474192291541 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8404992 140726224147439 140726224147610 140726224147610 140726224150479 0
[pid=19799/tid=19888] ppid=19797 vsize=15483968 memory=6791534058613427641 CPUtime=409.92 cores=1,3,5,7
/proc/19799/task/19888/stat : 19888 (java) S 19797 19797 15420 0 -1 1077944384 3460 0 0 0 40991 1 0 0 20 0 19 0 410475585 15855583232 98237 33554432000 4194304 4196468 140726224141216 140473641194960 140474192291541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8404992 140726224147439 140726224147610 140726224147610 140726224150479 0
[pid=19799/tid=19889] ppid=19797 vsize=15483968 memory=14008 CPUtime=410.35 cores=1,3,5,7
/proc/19799/task/19889/stat : 19889 (java) S 19797 19797 15420 0 -1 1077944384 3538 0 0 0 41034 1 0 0 20 0 19 0 410475585 15855583232 98237 33554432000 4194304 4196468 140726224141216 140473639089744 140474192291541 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8404992 140726224147439 140726224147610 140726224147610 140726224150479 0
[pid=19799/tid=19890] ppid=19797 vsize=15483968 memory=2116 CPUtime=437.75 cores=1,3,5,7
/proc/19799/task/19890/stat : 19890 (java) R 19797 19797 15420 0 -1 4202560 1022 0 0 0 43775 0 0 0 20 0 19 0 410475585 15855583232 98237 33554432000 4194304 4196468 140726224141216 140473643294080 140473836326865 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8404992 140726224147439 140726224147610 140726224147610 140726224150479 0
Current children cumulated CPU time: 1698.74 s
Current children cumulated vsize: 15597096 KiB
Current children cumulated memory: 394400 KiB
[startup+449.601 s]
/proc/loadavg: 7.00 8.02 7.83 6/238 20117
/proc/meminfo: memFree=30696804/32770624 swapFree=66999992/67108860
[pid=19797] ppid=19794 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/19797/stat : 19797 (xcsp3-exec) S 19794 19797 15420 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 410474887 115843072 363 33554432000 4194304 5098028 140721057183936 140721057182040 140469007897212 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 26480640 140721057190778 140721057191021 140721057191021 140721057193930 0
/proc/19797/statm: 28282 363 304 221 0 87 0
[pid=19799] ppid=19797 vsize=15483968 memory=392948 CPUtime=1699.54 cores=1,3,5,7
/proc/19799/stat : 19799 (java) S 19797 19797 15420 0 -1 1077944320 71880 0 0 0 169862 92 0 0 20 0 19 0 410474887 15855583232 98237 33554432000 4194304 4196468 140726224141216 140726224123760 140474192281335 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 8404992 140726224147439 140726224147610 140726224147610 140726224150479 0
/proc/19799/statm: 3870992 98237 3516 1 0 3832094 0
[pid=19799/tid=19800] ppid=19797 vsize=15483968 memory=6791534058613427641 CPUtime=0.52 cores=1,3,5,7
/proc/19799/task/19800/stat : 19800 (java) S 19797 19797 15420 0 -1 1077944384 8449 0 0 0 49 3 0 0 20 0 19 0 410474887 15855583232 98237 33554432000 4194304 4196468 140726224141216 140474196522112 140474192291541 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8404992 140726224147439 140726224147610 140726224147610 140726224150479 0
[pid=19799/tid=19801] ppid=19797 vsize=15483968 memory=1564 CPUtime=1.1 cores=1,3,5,7
/proc/19799/task/19801/stat : 19801 (java) S 19797 19797 15420 0 -1 1077944384 3160 0 0 0 100 10 0 0 20 0 19 0 410474888 15855583232 98237 33554432000 4194304 4196468 140726224141216 140473785096464 140474192291541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8404992 140726224147439 140726224147610 140726224147610 140726224150479 0
[pid=19799/tid=19802] ppid=19797 vsize=15483968 memory=2012 CPUtime=1.09 cores=1,3,5,7
/proc/19799/task/19802/stat : 19802 (java) S 19797 19797 15420 0 -1 1077944384 3868 0 0 0 99 10 0 0 20 0 19 0 410474888 15855583232 98237 33554432000 4194304 4196468 140726224141216 140473784043920 140474192291541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8404992 140726224147439 140726224147610 140726224147610 140726224150479 0
[pid=19799/tid=19803] ppid=19797 vsize=15483968 memory=1240 CPUtime=1.09 cores=1,3,5,7
/proc/19799/task/19803/stat : 19803 (java) S 19797 19797 15420 0 -1 1077944384 4204 0 0 0 99 10 0 0 20 0 19 0 410474888 15855583232 98237 33554432000 4194304 4196468 140726224141216 140473782991376 140474192291541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8404992 140726224147439 140726224147610 140726224147610 140726224150479 0
[pid=19799/tid=19804] ppid=19797 vsize=15483968 memory=580 CPUtime=1.07 cores=1,3,5,7
/proc/19799/task/19804/stat : 19804 (java) S 19797 19797 15420 0 -1 1077944384 3990 0 0 0 97 10 0 0 20 0 19 0 410474888 15855583232 98237 33554432000 4194304 4196468 140726224141216 140473781938832 140474192291541 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8404992 140726224147439 140726224147610 140726224147610 140726224150479 0
[pid=19799/tid=19805] ppid=19797 vsize=15483968 memory=772 CPUtime=0.62 cores=1,3,5,7
/proc/19799/task/19805/stat : 19805 (java) S 19797 19797 15420 0 -1 1077944384 2879 0 0 0 24 38 0 0 20 0 19 0 410474889 15855583232 98237 33554432000 4194304 4196468 140726224141216 140473660926448 140474192292482 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8404992 140726224147439 140726224147610 140726224147610 140726224150479 0
[pid=19799/tid=19806] ppid=19797 vsize=15483968 memory=1556 CPUtime=0 cores=1,3,5,7
/proc/19799/task/19806/stat : 19806 (java) S 19797 19797 15420 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 19 0 410474890 15855583232 98237 33554432000 4194304 4196468 140726224141216 140473659872736 140474192291541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8404992 140726224147439 140726224147610 140726224147610 140726224150479 0
[pid=19799/tid=19807] ppid=19797 vsize=15483968 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/19799/task/19807/stat : 19807 (java) S 19797 19797 15420 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 19 0 410474890 15855583232 98237 33554432000 4194304 4196468 140726224141216 140473658820096 140474192291541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8404992 140726224147439 140726224147610 140726224147610 140726224150479 0
[pid=19799/tid=19808] ppid=19797 vsize=15483968 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/19799/task/19808/stat : 19808 (java) S 19797 19797 15420 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 410474892 15855583232 98237 33554432000 4194304 4196468 140726224141216 140473657768656 140474192299931 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8404992 140726224147439 140726224147610 140726224147610 140726224150479 0
[pid=19799/tid=19809] ppid=19797 vsize=15483968 memory=392948 CPUtime=1.99 cores=1,3,5,7
/proc/19799/task/19809/stat : 19809 (java) S 19797 19797 15420 0 -1 1077944384 13399 0 0 0 198 1 0 0 20 0 19 0 410474892 15855583232 98237 33554432000 4194304 4196468 140726224141216 140473656715248 140474192292482 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 8404992 140726224147439 140726224147610 140726224147610 140726224150479 0
[pid=19799/tid=19810] ppid=19797 vsize=15483968 memory=6791534058613427641 CPUtime=2.23 cores=1,3,5,7
/proc/19799/task/19810/stat : 19810 (java) S 19797 19797 15420 0 -1 1077944384 11351 0 0 0 222 1 0 0 20 0 19 0 410474892 15855583232 98237 33554432000 4194304 4196468 140726224141216 140473655662704 140474192292482 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 6 0 0 6293624 6294260 8404992 140726224147439 140726224147610 140726224147610 140726224150479 0
[pid=19799/tid=19811] ppid=19797 vsize=15483968 memory=2648 CPUtime=0.57 cores=1,3,5,7
/proc/19799/task/19811/stat : 19811 (java) S 19797 19797 15420 0 -1 1077944384 6703 0 0 0 56 1 0 0 20 0 19 0 410474892 15855583232 98237 33554432000 4194304 4196468 140726224141216 140473654610160 140474192292482 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 10 0 0 6293624 6294260 8404992 140726224147439 140726224147610 140726224147610 140726224150479 0
[pid=19799/tid=19812] ppid=19797 vsize=15483968 memory=912 CPUtime=0 cores=1,3,5,7
/proc/19799/task/19812/stat : 19812 (java) S 19797 19797 15420 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 410474893 15855583232 98237 33554432000 4194304 4196468 140726224141216 140473653557856 140474192291541 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8404992 140726224147439 140726224147610 140726224147610 140726224150479 0
[pid=19799/tid=19813] ppid=19797 vsize=15483968 memory=1440 CPUtime=0.18 cores=1,3,5,7
/proc/19799/task/19813/stat : 19813 (java) S 19797 19797 15420 0 -1 1077944384 839 0 0 0 6 12 0 0 20 0 19 0 410474893 15855583232 98237 33554432000 4194304 4196468 140726224141216 140473652505392 140474192292482 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 10 0 0 6293624 6294260 8404992 140726224147439 140726224147610 140726224147610 140726224150479 0
[pid=19799/tid=19887] ppid=19797 vsize=15483968 memory=1768 CPUtime=409.61 cores=1,3,5,7
/proc/19799/task/19887/stat : 19887 (java) S 19797 19797 15420 0 -1 1077944384 1079 0 0 0 40959 2 0 0 20 0 19 0 410475585 15855583232 98237 33554432000 4194304 4196468 140726224141216 140473642246080 140474192291541 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8404992 140726224147439 140726224147610 140726224147610 140726224150479 0
[pid=19799/tid=19888] ppid=19797 vsize=15483968 memory=3436 CPUtime=409.92 cores=1,3,5,7
/proc/19799/task/19888/stat : 19888 (java) S 19797 19797 15420 0 -1 1077944384 3460 0 0 0 40991 1 0 0 20 0 19 0 410475585 15855583232 98237 33554432000 4194304 4196468 140726224141216 140473641194960 140474192291541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8404992 140726224147439 140726224147610 140726224147610 140726224150479 0
[pid=19799/tid=19889] ppid=19797 vsize=15483968 memory=7548 CPUtime=410.35 cores=1,3,5,7
/proc/19799/task/19889/stat : 19889 (java) S 19797 19797 15420 0 -1 1077944384 3538 0 0 0 41034 1 0 0 20 0 19 0 410475585 15855583232 98237 33554432000 4194304 4196468 140726224141216 140473639089744 140474192291541 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8404992 140726224147439 140726224147610 140726224147610 140726224150479 0
[pid=19799/tid=19890] ppid=19797 vsize=15483968 memory=2832 CPUtime=438.55 cores=1,3,5,7
/proc/19799/task/19890/stat : 19890 (java) R 19797 19797 15420 0 -1 4202560 1022 0 0 0 43855 0 0 0 20 0 19 0 410475585 15855583232 98237 33554432000 4194304 4196468 140726224141216 140473643294080 140473836326860 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8404992 140726224147439 140726224147610 140726224147610 140726224150479 0
Current children cumulated CPU time: 1699.54 s
Current children cumulated vsize: 15597096 KiB
Current children cumulated memory: 394400 KiB
[startup+450.001 s]*
/proc/loadavg: 7.00 8.02 7.83 6/238 20117
/proc/meminfo: memFree=30694756/32770624 swapFree=66999992/67108860
[pid=19797] ppid=19794 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/19797/stat : 19797 (xcsp3-exec) S 19794 19797 15420 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 410474887 115843072 363 33554432000 4194304 5098028 140721057183936 140721057182040 140469007897212 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 26480640 140721057190778 140721057191021 140721057191021 140721057193930 0
/proc/19797/statm: 28282 363 304 221 0 87 0
[pid=19799] ppid=19797 vsize=15483968 memory=392948 CPUtime=1699.95 cores=1,3,5,7
/proc/19799/stat : 19799 (java) S 19797 19797 15420 0 -1 1077944320 71880 0 0 0 169903 92 0 0 20 0 19 0 410474887 15855583232 98237 33554432000 4194304 4196468 140726224141216 140726224123760 140474192281335 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 8404992 140726224147439 140726224147610 140726224147610 140726224150479 0
/proc/19799/statm: 3870992 98237 3516 1 0 3832094 0
[pid=19799/tid=19800] ppid=19797 vsize=15483968 memory=1398722017469774279 CPUtime=0.52 cores=1,3,5,7
/proc/19799/task/19800/stat : 19800 (java) S 19797 19797 15420 0 -1 1077944384 8449 0 0 0 49 3 0 0 20 0 19 0 410474887 15855583232 98237 33554432000 4194304 4196468 140726224141216 140474196522112 140474192291541 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8404992 140726224147439 140726224147610 140726224147610 140726224150479 0
[pid=19799/tid=19801] ppid=19797 vsize=15483968 memory=4126316290023845779 CPUtime=1.1 cores=1,3,5,7
/proc/19799/task/19801/stat : 19801 (java) S 19797 19797 15420 0 -1 1077944384 3160 0 0 0 100 10 0 0 20 0 19 0 410474888 15855583232 98237 33554432000 4194304 4196468 140726224141216 140473785096464 140474192291541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8404992 140726224147439 140726224147610 140726224147610 140726224150479 0
[pid=19799/tid=19802] ppid=19797 vsize=15483968 memory=1412 CPUtime=1.09 cores=1,3,5,7
/proc/19799/task/19802/stat : 19802 (java) S 19797 19797 15420 0 -1 1077944384 3868 0 0 0 99 10 0 0 20 0 19 0 410474888 15855583232 98237 33554432000 4194304 4196468 140726224141216 140473784043920 140474192291541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8404992 140726224147439 140726224147610 140726224147610 140726224150479 0
[pid=19799/tid=19803] ppid=19797 vsize=15483968 memory=3452 CPUtime=1.09 cores=1,3,5,7
/proc/19799/task/19803/stat : 19803 (java) S 19797 19797 15420 0 -1 1077944384 4204 0 0 0 99 10 0 0 20 0 19 0 410474888 15855583232 98237 33554432000 4194304 4196468 140726224141216 140473782991376 140474192291541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8404992 140726224147439 140726224147610 140726224147610 140726224150479 0
[pid=19799/tid=19804] ppid=19797 vsize=15483968 memory=1452 CPUtime=1.07 cores=1,3,5,7
/proc/19799/task/19804/stat : 19804 (java) S 19797 19797 15420 0 -1 1077944384 3990 0 0 0 97 10 0 0 20 0 19 0 410474888 15855583232 98237 33554432000 4194304 4196468 140726224141216 140473781938832 140474192291541 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8404992 140726224147439 140726224147610 140726224147610 140726224150479 0
[pid=19799/tid=19805] ppid=19797 vsize=15483968 memory=392948 CPUtime=0.62 cores=1,3,5,7
/proc/19799/task/19805/stat : 19805 (java) S 19797 19797 15420 0 -1 1077944384 2879 0 0 0 24 38 0 0 20 0 19 0 410474889 15855583232 98237 33554432000 4194304 4196468 140726224141216 140473660926448 140474192292482 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8404992 140726224147439 140726224147610 140726224147610 140726224150479 0
[pid=19799/tid=19806] ppid=19797 vsize=15483968 memory=1412 CPUtime=0 cores=1,3,5,7
/proc/19799/task/19806/stat : 19806 (java) S 19797 19797 15420 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 19 0 410474890 15855583232 98237 33554432000 4194304 4196468 140726224141216 140473659872736 140474192291541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8404992 140726224147439 140726224147610 140726224147610 140726224150479 0
[pid=19799/tid=19807] ppid=19797 vsize=15483968 memory=3332 CPUtime=0 cores=1,3,5,7
/proc/19799/task/19807/stat : 19807 (java) S 19797 19797 15420 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 19 0 410474890 15855583232 98237 33554432000 4194304 4196468 140726224141216 140473658820096 140474192291541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8404992 140726224147439 140726224147610 140726224147610 140726224150479 0
[pid=19799/tid=19808] ppid=19797 vsize=15483968 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/19799/task/19808/stat : 19808 (java) S 19797 19797 15420 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 410474892 15855583232 98237 33554432000 4194304 4196468 140726224141216 140473657768656 140474192299931 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8404992 140726224147439 140726224147610 140726224147610 140726224150479 0
[pid=19799/tid=19809] ppid=19797 vsize=15483968 memory=3452 CPUtime=1.99 cores=1,3,5,7
/proc/19799/task/19809/stat : 19809 (java) S 19797 19797 15420 0 -1 1077944384 13399 0 0 0 198 1 0 0 20 0 19 0 410474892 15855583232 98237 33554432000 4194304 4196468 140726224141216 140473656715248 140474192292482 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 8404992 140726224147439 140726224147610 140726224147610 140726224150479 0
[pid=19799/tid=19810] ppid=19797 vsize=15483968 memory=1452 CPUtime=2.23 cores=1,3,5,7
/proc/19799/task/19810/stat : 19810 (java) S 19797 19797 15420 0 -1 1077944384 11351 0 0 0 222 1 0 0 20 0 19 0 410474892 15855583232 98237 33554432000 4194304 4196468 140726224141216 140473655662704 140474192292482 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 6 0 0 6293624 6294260 8404992 140726224147439 140726224147610 140726224147610 140726224150479 0
[pid=19799/tid=19811] ppid=19797 vsize=15483968 memory=392948 CPUtime=0.57 cores=1,3,5,7
/proc/19799/task/19811/stat : 19811 (java) S 19797 19797 15420 0 -1 1077944384 6703 0 0 0 56 1 0 0 20 0 19 0 410474892 15855583232 98237 33554432000 4194304 4196468 140726224141216 140473654610160 140474192292482 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 10 0 0 6293624 6294260 8404992 140726224147439 140726224147610 140726224147610 140726224150479 0
[pid=19799/tid=19812] ppid=19797 vsize=15483968 memory=1412 CPUtime=0 cores=1,3,5,7
/proc/19799/task/19812/stat : 19812 (java) S 19797 19797 15420 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 410474893 15855583232 98237 33554432000 4194304 4196468 140726224141216 140473653557856 140474192291541 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8404992 140726224147439 140726224147610 140726224147610 140726224150479 0
[pid=19799/tid=19813] ppid=19797 vsize=15483968 memory=3320 CPUtime=0.18 cores=1,3,5,7
/proc/19799/task/19813/stat : 19813 (java) S 19797 19797 15420 0 -1 1077944384 839 0 0 0 6 12 0 0 20 0 19 0 410474893 15855583232 98237 33554432000 4194304 4196468 140726224141216 140473652505392 140474192292482 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 10 0 0 6293624 6294260 8404992 140726224147439 140726224147610 140726224147610 140726224150479 0
[pid=19799/tid=19887] ppid=19797 vsize=15483968 memory=1452 CPUtime=409.61 cores=1,3,5,7
/proc/19799/task/19887/stat : 19887 (java) S 19797 19797 15420 0 -1 1077944384 1079 0 0 0 40959 2 0 0 20 0 19 0 410475585 15855583232 98237 33554432000 4194304 4196468 140726224141216 140473642246080 140474192291541 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8404992 140726224147439 140726224147610 140726224147610 140726224150479 0
[pid=19799/tid=19888] ppid=19797 vsize=15483968 memory=513432 CPUtime=409.92 cores=1,3,5,7
/proc/19799/task/19888/stat : 19888 (java) S 19797 19797 15420 0 -1 1077944384 3460 0 0 0 40991 1 0 0 20 0 19 0 410475585 15855583232 98237 33554432000 4194304 4196468 140726224141216 140473641194960 140474192291541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8404992 140726224147439 140726224147610 140726224147610 140726224150479 0
[pid=19799/tid=19889] ppid=19797 vsize=15483968 memory=1720 CPUtime=410.35 cores=1,3,5,7
/proc/19799/task/19889/stat : 19889 (java) S 19797 19797 15420 0 -1 1077944384 3538 0 0 0 41034 1 0 0 20 0 19 0 410475585 15855583232 98237 33554432000 4194304 4196468 140726224141216 140473639089744 140474192291541 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8404992 140726224147439 140726224147610 140726224147610 140726224150479 0
[pid=19799/tid=19890] ppid=19797 vsize=15483968 memory=1398722017469774279 CPUtime=438.96 cores=1,3,5,7
/proc/19799/task/19890/stat : 19890 (java) R 19797 19797 15420 0 -1 4202560 1022 0 0 0 43896 0 0 0 20 0 19 0 410475585 15855583232 98237 33554432000 4194304 4196468 140726224141216 140473643294080 140473836326865 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8404992 140726224147439 140726224147610 140726224147610 140726224150479 0
Current children cumulated CPU time: 1699.95 s
Current children cumulated vsize: 15597096 KiB
Current children cumulated memory: 394400 KiB
Child status: 0
Real time (s): 450.081
CPU time (s): 1700.03
CPU user time (s): 1699.1
CPU system time (s): 0.927428
CPU usage (%): 377.715
Max. virtual memory (cumulated for all children) (KiB): 15597096
Max. memory (cumulated for all children) (KiB): 406152
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1699.1
system time used= 0.927428
maximum resident set size= 405720
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 72737
page faults= 0
swaps= 0
block input operations= 0
block output operations= 648
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 19234
involuntary context switches= 31424
# summary of solver processes directly reported to runsolver:
# pid: 19797
# total CPU time (s): 1700.03
# total CPU user time (s): 1699.1
# total CPU system time (s): 0.927428
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.06456 second user time and 5.06924 second system time
The end