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 (15433 MiB free)
memory of node 1: 16384 MiB (15283 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4269823-1502711161/watcher-4269823-1502711161 -o /tmp/evaluation-result-4269823-1502711161/solver-4269823-1502711161 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node134-1502649032-24470 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 837716596 HOME/instance-4269823-1502711161.xml
running on 4 cores: 0,2,4,6
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=1734, runsolver pid=1731
[startup+0.100176 s]*
/proc/loadavg: 1.80 1.72 1.72 3/208 1741
/proc/meminfo: memFree=31451640/32770624 swapFree=67108764/67108860
[pid=1734] ppid=1731 vsize=9512 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/1734/stat : 1734 (xcsp3-exec) S 1731 1734 4674 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 118622576 9740288 344 18446744073709551615 4194304 5098028 140729637530624 140729637528728 140456068305532 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 8 0 0 7196144 7232144 33308672 140729637532025 140729637532229 140729637532229 140729637535723 0
/proc/1734/statm: 2378 344 289 221 0 87 0
[pid=1736] ppid=1734 vsize=13358712 memory=14768 CPUtime=0.01 cores=0,2,4,6
/proc/1736/stat : 1736 (java) S 1734 1734 4674 0 -1 1077944320 3457 0 0 0 1 0 0 0 20 0 6 0 118622585 13679321088 3692 18446744073709551615 4194304 4196468 140723696224848 140723696207392 139999728938743 0 0 1 16784584 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 23662592 140723696226737 140723696226913 140723696226913 140723696230351 0
/proc/1736/statm: 3339678 3692 1905 1 0 3329175 0
[pid=1736/tid=1737] ppid=1734 vsize=13358712 memory=8508281356421924513 CPUtime=0.01 cores=0,2,4,6
/proc/1736/task/1737/stat : 1737 (java) R 1734 1734 4674 0 -1 4202560 2292 0 0 0 1 0 0 0 20 0 6 0 118622585 13679321088 3758 18446744073709551615 4194304 4196468 140723696224848 139999733174864 139999713019230 0 4 1 16784584 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23662592 140723696226737 140723696226913 140723696226913 140723696230351 0
[pid=1736/tid=1738] ppid=1734 vsize=13358712 memory=3691042058319900680 CPUtime=0 cores=0,2,4,6
/proc/1736/task/1738/stat : 1738 (java) S 1734 1734 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 118622586 13679321088 3758 18446744073709551615 4194304 4196468 140723696224848 139999328865424 139999728948949 0 4 1 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23662592 140723696226737 140723696226913 140723696226913 140723696230351 0
[pid=1736/tid=1739] ppid=1734 vsize=13358712 memory=140647495632512 CPUtime=0 cores=0,2,4,6
/proc/1736/task/1739/stat : 1739 (java) S 1734 1734 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 118622586 13679321088 3758 18446744073709551615 4194304 4196468 140723696224848 139999327812624 139999728948949 0 4 1 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23662592 140723696226737 140723696226913 140723696226913 140723696230351 0
[pid=1736/tid=1740] ppid=1734 vsize=13358712 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1736/task/1740/stat : 1740 (java) S 1734 1734 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 118622586 13679321088 3758 18446744073709551615 4194304 4196468 140723696224848 139999326759824 139999728948949 0 4 1 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23662592 140723696226737 140723696226913 140723696226913 140723696230351 0
[pid=1736/tid=1741] ppid=1734 vsize=13358712 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1736/task/1741/stat : 1741 (java) S 1734 1734 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 118622586 13679321088 3758 18446744073709551615 4194304 4196468 140723696224848 139999325707024 139999728948949 0 4 1 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23662592 140723696226737 140723696226913 140723696226913 140723696230351 0
Current children cumulated CPU time: 0.01 s
Current children cumulated vsize: 13368224 KiB
Current children cumulated memory: 16144 KiB
[startup+0.21014 s]*
/proc/loadavg: 1.80 1.72 1.72 4/217 1750
/proc/meminfo: memFree=31439104/32770624 swapFree=67108764/67108860
[pid=1734] ppid=1731 vsize=9512 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/1734/stat : 1734 (xcsp3-exec) S 1731 1734 4674 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 118622576 9740288 344 18446744073709551615 4194304 5098028 140729637530624 140729637528728 140456068305532 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 8 0 0 7196144 7232144 33308672 140729637532025 140729637532229 140729637532229 140729637535723 0
/proc/1734/statm: 2378 344 289 221 0 87 0
[pid=1736] ppid=1734 vsize=13974352 memory=27268 CPUtime=0.1 cores=0,2,4,6
/proc/1736/stat : 1736 (java) S 1734 1734 4674 0 -1 1077944320 5219 0 0 0 9 1 0 0 20 0 15 0 118622585 14309736448 6817 18446744073709551615 4194304 4196468 140723696224848 140723696207392 139999728938743 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 23662592 140723696226737 140723696226913 140723696226913 140723696230351 0
/proc/1736/statm: 3493588 6817 2753 1 0 3482964 0
[pid=1736/tid=1737] ppid=1734 vsize=13974352 memory=7022364594140610616 CPUtime=0.07 cores=0,2,4,6
/proc/1736/task/1737/stat : 1737 (java) R 1734 1734 4674 0 -1 4202560 3369 0 0 0 7 0 0 0 20 0 15 0 118622585 14309736448 6817 18446744073709551615 4194304 4196468 140723696224848 139999733169664 139999712332080 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 23662592 140723696226737 140723696226913 140723696226913 140723696230351 0
[pid=1736/tid=1738] ppid=1734 vsize=13974352 memory=4294979926 CPUtime=0 cores=0,2,4,6
/proc/1736/task/1738/stat : 1738 (java) S 1734 1734 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 118622586 14309736448 6817 18446744073709551615 4194304 4196468 140723696224848 139999328865424 139999728948949 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23662592 140723696226737 140723696226913 140723696226913 140723696230351 0
[pid=1736/tid=1739] ppid=1734 vsize=13974352 memory=3617991541056341664 CPUtime=0 cores=0,2,4,6
/proc/1736/task/1739/stat : 1739 (java) S 1734 1734 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 118622586 14309736448 6817 18446744073709551615 4194304 4196468 140723696224848 139999327812624 139999728948949 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23662592 140723696226737 140723696226913 140723696226913 140723696230351 0
[pid=1736/tid=1740] ppid=1734 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1736/task/1740/stat : 1740 (java) S 1734 1734 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 118622586 14309736448 6817 18446744073709551615 4194304 4196468 140723696224848 139999326759824 139999728948949 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23662592 140723696226737 140723696226913 140723696226913 140723696230351 0
[pid=1736/tid=1741] ppid=1734 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1736/task/1741/stat : 1741 (java) S 1734 1734 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 118622586 14309736448 6817 18446744073709551615 4194304 4196468 140723696224848 139999325707024 139999728948949 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23662592 140723696226737 140723696226913 140723696226913 140723696230351 0
[pid=1736/tid=1742] ppid=1734 vsize=13974352 memory=140647495632512 CPUtime=0 cores=0,2,4,6
/proc/1736/task/1742/stat : 1742 (java) S 1734 1734 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 118622587 14309736448 6817 18446744073709551615 4194304 4196468 140723696224848 139998914214256 139999728949890 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23662592 140723696226737 140723696226913 140723696226913 140723696230351 0
[pid=1736/tid=1743] ppid=1734 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1736/task/1743/stat : 1743 (java) S 1734 1734 4674 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 118622588 14309736448 6817 18446744073709551615 4194304 4196468 140723696224848 139998913160224 139999728948949 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23662592 140723696226737 140723696226913 140723696226913 140723696230351 0
[pid=1736/tid=1744] ppid=1734 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1736/task/1744/stat : 1744 (java) S 1734 1734 4674 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 118622588 14309736448 6817 18446744073709551615 4194304 4196468 140723696224848 139998912107376 139999728948949 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23662592 140723696226737 140723696226913 140723696226913 140723696230351 0
[pid=1736/tid=1745] ppid=1734 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1736/task/1745/stat : 1745 (java) S 1734 1734 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 118622590 14309736448 6817 18446744073709551615 4194304 4196468 140723696224848 139998911055696 139999728957339 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23662592 140723696226737 140723696226913 140723696226913 140723696230351 0
[pid=1736/tid=1746] ppid=1734 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1736/task/1746/stat : 1746 (java) S 1734 1734 4674 0 -1 1077944384 302 0 0 0 0 0 0 0 20 0 15 0 118622590 14309736448 6817 18446744073709551615 4194304 4196468 140723696224848 139998910004080 139999728949890 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23662592 140723696226737 140723696226913 140723696226913 140723696230351 0
[pid=1736/tid=1747] ppid=1734 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1736/task/1747/stat : 1747 (java) S 1734 1734 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 118622590 14309736448 6817 18446744073709551615 4194304 4196468 140723696224848 139998908951280 139999728949890 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23662592 140723696226737 140723696226913 140723696226913 140723696230351 0
[pid=1736/tid=1748] ppid=1734 vsize=13974352 memory=140647495632512 CPUtime=0.01 cores=0,2,4,6
/proc/1736/task/1748/stat : 1748 (java) S 1734 1734 4674 0 -1 1077944384 246 0 0 0 1 0 0 0 20 0 15 0 118622590 14309736448 6817 18446744073709551615 4194304 4196468 140723696224848 139998907898480 139999728949890 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23662592 140723696226737 140723696226913 140723696226913 140723696230351 0
[pid=1736/tid=1749] ppid=1734 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1736/task/1749/stat : 1749 (java) S 1734 1734 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 118622591 14309736448 6817 18446744073709551615 4194304 4196468 140723696224848 139998906845920 139999728948949 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23662592 140723696226737 140723696226913 140723696226913 140723696230351 0
[pid=1736/tid=1750] ppid=1734 vsize=13974352 memory=140647495632512 CPUtime=0 cores=0,2,4,6
/proc/1736/task/1750/stat : 1750 (java) S 1734 1734 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 118622595 14309736448 6817 18446744073709551615 4194304 4196468 140723696224848 139998905793200 139999728949890 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23662592 140723696226737 140723696226913 140723696226913 140723696230351 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 28644 KiB
[startup+0.310503 s]*
/proc/loadavg: 1.80 1.72 1.72 5/217 1750
/proc/meminfo: memFree=31428108/32770624 swapFree=67108764/67108860
[pid=1734] ppid=1731 vsize=9512 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/1734/stat : 1734 (xcsp3-exec) S 1731 1734 4674 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 118622576 9740288 344 18446744073709551615 4194304 5098028 140729637530624 140729637528728 140456068305532 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 8 0 0 7196144 7232144 33308672 140729637532025 140729637532229 140729637532229 140729637535723 0
/proc/1734/statm: 2378 344 289 221 0 87 0
[pid=1736] ppid=1734 vsize=13974352 memory=37508 CPUtime=0.28 cores=0,2,4,6
/proc/1736/stat : 1736 (java) S 1734 1734 4674 0 -1 1077944320 8935 0 0 0 26 2 0 0 20 0 15 0 118622585 14309736448 9377 18446744073709551615 4194304 4196468 140723696224848 140723696207392 139999728938743 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 23662592 140723696226737 140723696226913 140723696226913 140723696230351 0
/proc/1736/statm: 3493588 9377 2985 1 0 3482964 0
[pid=1736/tid=1737] ppid=1734 vsize=13974352 memory=4278483708103473607 CPUtime=0.17 cores=0,2,4,6
/proc/1736/task/1737/stat : 1737 (java) R 1734 1734 4674 0 -1 4202560 6127 0 0 0 16 1 0 0 20 0 15 0 118622585 14309736448 9377 18446744073709551615 4194304 4196468 140723696224848 139999733168480 139999728960669 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 23662592 140723696226737 140723696226913 140723696226913 140723696230351 0
[pid=1736/tid=1738] ppid=1734 vsize=13974352 memory=4126316290023845779 CPUtime=0 cores=0,2,4,6
/proc/1736/task/1738/stat : 1738 (java) S 1734 1734 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 118622586 14309736448 9377 18446744073709551615 4194304 4196468 140723696224848 139999328865424 139999728948949 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23662592 140723696226737 140723696226913 140723696226913 140723696230351 0
[pid=1736/tid=1739] ppid=1734 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1736/task/1739/stat : 1739 (java) S 1734 1734 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 118622586 14309736448 9377 18446744073709551615 4194304 4196468 140723696224848 139999327812624 139999728948949 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23662592 140723696226737 140723696226913 140723696226913 140723696230351 0
[pid=1736/tid=1740] ppid=1734 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1736/task/1740/stat : 1740 (java) S 1734 1734 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 118622586 14309736448 9377 18446744073709551615 4194304 4196468 140723696224848 139999326759824 139999728948949 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23662592 140723696226737 140723696226913 140723696226913 140723696230351 0
[pid=1736/tid=1741] ppid=1734 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1736/task/1741/stat : 1741 (java) S 1734 1734 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 118622586 14309736448 9377 18446744073709551615 4194304 4196468 140723696224848 139999325707024 139999728948949 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23662592 140723696226737 140723696226913 140723696226913 140723696230351 0
[pid=1736/tid=1742] ppid=1734 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1736/task/1742/stat : 1742 (java) S 1734 1734 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 118622587 14309736448 9377 18446744073709551615 4194304 4196468 140723696224848 139998914214256 139999728949890 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23662592 140723696226737 140723696226913 140723696226913 140723696230351 0
[pid=1736/tid=1743] ppid=1734 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1736/task/1743/stat : 1743 (java) S 1734 1734 4674 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 118622588 14309736448 9377 18446744073709551615 4194304 4196468 140723696224848 139998913160224 139999728948949 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23662592 140723696226737 140723696226913 140723696226913 140723696230351 0
[pid=1736/tid=1744] ppid=1734 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1736/task/1744/stat : 1744 (java) S 1734 1734 4674 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 118622588 14309736448 9377 18446744073709551615 4194304 4196468 140723696224848 139998912107376 139999728948949 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23662592 140723696226737 140723696226913 140723696226913 140723696230351 0
[pid=1736/tid=1745] ppid=1734 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1736/task/1745/stat : 1745 (java) S 1734 1734 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 118622590 14309736448 9377 18446744073709551615 4194304 4196468 140723696224848 139998911055696 139999728957339 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23662592 140723696226737 140723696226913 140723696226913 140723696230351 0
[pid=1736/tid=1746] ppid=1734 vsize=13974352 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/1736/task/1746/stat : 1746 (java) R 1734 1734 4674 0 -1 4202560 579 0 0 0 2 0 0 0 20 0 15 0 118622590 14309736448 9377 18446744073709551615 4194304 4196468 140723696224848 139998910004080 139999712462123 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23662592 140723696226737 140723696226913 140723696226913 140723696230351 0
[pid=1736/tid=1747] ppid=1734 vsize=13974352 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/1736/task/1747/stat : 1747 (java) R 1734 1734 4674 0 -1 1077944384 203 0 0 0 1 0 0 0 20 0 15 0 118622590 14309736448 9377 18446744073709551615 4194304 4196468 140723696224848 139998908951280 139999728949890 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23662592 140723696226737 140723696226913 140723696226913 140723696230351 0
[pid=1736/tid=1748] ppid=1734 vsize=13974352 memory=140647495632512 CPUtime=0.06 cores=0,2,4,6
/proc/1736/task/1748/stat : 1748 (java) R 1734 1734 4674 0 -1 4202560 742 0 0 0 6 0 0 0 20 0 15 0 118622590 14309736448 9377 18446744073709551615 4194304 4196468 140723696224848 139998907898480 139999708896947 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23662592 140723696226737 140723696226913 140723696226913 140723696230351 0
[pid=1736/tid=1749] ppid=1734 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1736/task/1749/stat : 1749 (java) S 1734 1734 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 118622591 14309736448 9377 18446744073709551615 4194304 4196468 140723696224848 139998906845920 139999728948949 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23662592 140723696226737 140723696226913 140723696226913 140723696230351 0
[pid=1736/tid=1750] ppid=1734 vsize=13974352 memory=140647495632512 CPUtime=0 cores=0,2,4,6
/proc/1736/task/1750/stat : 1750 (java) S 1734 1734 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 118622595 14309736448 9377 18446744073709551615 4194304 4196468 140723696224848 139998905793200 139999728949890 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23662592 140723696226737 140723696226913 140723696226913 140723696230351 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 38884 KiB
[startup+0.701792 s]
/proc/loadavg: 1.80 1.72 1.72 6/217 1750
/proc/meminfo: memFree=31416784/32770624 swapFree=67108764/67108860
[pid=1734] ppid=1731 vsize=9512 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/1734/stat : 1734 (xcsp3-exec) S 1731 1734 4674 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 118622576 9740288 344 18446744073709551615 4194304 5098028 140729637530624 140729637528728 140456068305532 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 8 0 0 7196144 7232144 33308672 140729637532025 140729637532229 140729637532229 140729637535723 0
/proc/1734/statm: 2378 344 289 221 0 87 0
[pid=1736] ppid=1734 vsize=13980732 memory=64860 CPUtime=1.15 cores=0,2,4,6
/proc/1736/stat : 1736 (java) S 1734 1734 4674 0 -1 1077944320 14001 0 0 0 110 5 0 0 20 0 15 0 118622585 14316269568 16215 18446744073709551615 4194304 4196468 140723696224848 140723696207392 139999728938743 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 23662592 140723696226737 140723696226913 140723696226913 140723696230351 0
/proc/1736/statm: 3495183 16215 3177 1 0 3483476 0
[pid=1736/tid=1737] ppid=1734 vsize=13980732 memory=7014751519633921361 CPUtime=0.56 cores=0,2,4,6
/proc/1736/task/1737/stat : 1737 (java) R 1734 1734 4674 0 -1 4202560 9351 0 0 0 52 4 0 0 20 0 15 0 118622585 14316269568 16215 18446744073709551615 4194304 4196468 140723696224848 139999733174912 139999728950678 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 23662592 140723696226737 140723696226913 140723696226913 140723696230351 0
[pid=1736/tid=1738] ppid=1734 vsize=13980732 memory=7811892012091205972 CPUtime=0 cores=0,2,4,6
/proc/1736/task/1738/stat : 1738 (java) S 1734 1734 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 118622586 14316269568 16215 18446744073709551615 4194304 4196468 140723696224848 139999328865424 139999728948949 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23662592 140723696226737 140723696226913 140723696226913 140723696230351 0
[pid=1736/tid=1739] ppid=1734 vsize=13980732 memory=5866309395013455959 CPUtime=0 cores=0,2,4,6
/proc/1736/task/1739/stat : 1739 (java) S 1734 1734 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 118622586 14316269568 16215 18446744073709551615 4194304 4196468 140723696224848 139999327812624 139999728948949 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23662592 140723696226737 140723696226913 140723696226913 140723696230351 0
[pid=1736/tid=1740] ppid=1734 vsize=13980732 memory=5450916479880885802 CPUtime=0 cores=0,2,4,6
/proc/1736/task/1740/stat : 1740 (java) S 1734 1734 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 118622586 14316269568 16215 18446744073709551615 4194304 4196468 140723696224848 139999326759824 139999728948949 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23662592 140723696226737 140723696226913 140723696226913 140723696230351 0
[pid=1736/tid=1741] ppid=1734 vsize=13980732 memory=-8033973737701895300 CPUtime=0 cores=0,2,4,6
/proc/1736/task/1741/stat : 1741 (java) S 1734 1734 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 118622586 14316269568 16215 18446744073709551615 4194304 4196468 140723696224848 139999325707024 139999728948949 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23662592 140723696226737 140723696226913 140723696226913 140723696230351 0
[pid=1736/tid=1742] ppid=1734 vsize=13980732 memory=6944656592455360569 CPUtime=0 cores=0,2,4,6
/proc/1736/task/1742/stat : 1742 (java) S 1734 1734 4674 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 118622587 14316269568 16215 18446744073709551615 4194304 4196468 140723696224848 139998914214256 139999728949890 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23662592 140723696226737 140723696226913 140723696226913 140723696230351 0
[pid=1736/tid=1743] ppid=1734 vsize=13980732 memory=8761640388318109335 CPUtime=0 cores=0,2,4,6
/proc/1736/task/1743/stat : 1743 (java) S 1734 1734 4674 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 118622588 14316269568 16215 18446744073709551615 4194304 4196468 140723696224848 139998913160224 139999728948949 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23662592 140723696226737 140723696226913 140723696226913 140723696230351 0
[pid=1736/tid=1744] ppid=1734 vsize=13980732 memory=4206468019014099040 CPUtime=0 cores=0,2,4,6
/proc/1736/task/1744/stat : 1744 (java) S 1734 1734 4674 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 118622588 14316269568 16215 18446744073709551615 4194304 4196468 140723696224848 139998912107376 139999728948949 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23662592 140723696226737 140723696226913 140723696226913 140723696230351 0
[pid=1736/tid=1745] ppid=1734 vsize=13980732 memory=6944656592455097440 CPUtime=0 cores=0,2,4,6
/proc/1736/task/1745/stat : 1745 (java) S 1734 1734 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 118622590 14316269568 16215 18446744073709551615 4194304 4196468 140723696224848 139998911055696 139999728957339 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23662592 140723696226737 140723696226913 140723696226913 140723696230351 0
[pid=1736/tid=1746] ppid=1734 vsize=13980732 memory=0 CPUtime=0.13 cores=0,2,4,6
/proc/1736/task/1746/stat : 1746 (java) R 1734 1734 4674 0 -1 4202560 1131 0 0 0 13 0 0 0 20 0 15 0 118622590 14316269568 16215 18446744073709551615 4194304 4196468 140723696224848 139998910004176 139999728960090 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23662592 140723696226737 140723696226913 140723696226913 140723696230351 0
[pid=1736/tid=1747] ppid=1734 vsize=13980732 memory=0 CPUtime=0.15 cores=0,2,4,6
/proc/1736/task/1747/stat : 1747 (java) R 1734 1734 4674 0 -1 1077944384 779 0 0 0 15 0 0 0 20 0 15 0 118622590 14316269568 16215 18446744073709551615 4194304 4196468 140723696224848 139998908951280 139999728949890 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23662592 140723696226737 140723696226913 140723696226913 140723696230351 0
[pid=1736/tid=1748] ppid=1734 vsize=13980732 memory=0 CPUtime=0.29 cores=0,2,4,6
/proc/1736/task/1748/stat : 1748 (java) R 1734 1734 4674 0 -1 4202560 1432 0 0 0 29 0 0 0 20 0 15 0 118622590 14316269568 16215 18446744073709551615 4194304 4196468 140723696224848 139998907898480 139999728950678 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23662592 140723696226737 140723696226913 140723696226913 140723696230351 0
[pid=1736/tid=1749] ppid=1734 vsize=13980732 memory=12874 CPUtime=0 cores=0,2,4,6
/proc/1736/task/1749/stat : 1749 (java) S 1734 1734 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 118622591 14316269568 16215 18446744073709551615 4194304 4196468 140723696224848 139998906845920 139999728948949 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23662592 140723696226737 140723696226913 140723696226913 140723696230351 0
[pid=1736/tid=1750] ppid=1734 vsize=13980732 memory=25825 CPUtime=0 cores=0,2,4,6
/proc/1736/task/1750/stat : 1750 (java) S 1734 1734 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 118622595 14316269568 16215 18446744073709551615 4194304 4196468 140723696224848 139998905793200 139999728949890 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23662592 140723696226737 140723696226913 140723696226913 140723696230351 0
Current children cumulated CPU time: 1.15 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 66236 KiB
[startup+1.5008 s]
/proc/loadavg: 1.80 1.72 1.72 5/217 1750
/proc/meminfo: memFree=31374748/32770624 swapFree=67108764/67108860
[pid=1734] ppid=1731 vsize=9512 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/1734/stat : 1734 (xcsp3-exec) S 1731 1734 4674 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 118622576 9740288 344 18446744073709551615 4194304 5098028 140729637530624 140729637528728 140456068305532 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 8 0 0 7196144 7232144 33308672 140729637532025 140729637532229 140729637532229 140729637535723 0
/proc/1734/statm: 2378 344 289 221 0 87 0
[pid=1736] ppid=1734 vsize=13980732 memory=123076 CPUtime=3.64 cores=0,2,4,6
/proc/1736/stat : 1736 (java) S 1734 1734 4674 0 -1 1077944320 44142 0 0 0 356 8 0 0 20 0 15 0 118622585 14316269568 30769 18446744073709551615 4194304 4196468 140723696224848 140723696207392 139999728938743 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 23662592 140723696226737 140723696226913 140723696226913 140723696230351 0
/proc/1736/statm: 3495183 30769 3191 1 0 3483476 0
[pid=1736/tid=1737] ppid=1734 vsize=13980732 memory=0 CPUtime=1.35 cores=0,2,4,6
/proc/1736/task/1737/stat : 1737 (java) R 1734 1734 4674 0 -1 4202560 9650 0 0 0 131 4 0 0 20 0 15 0 118622585 14316269568 30769 18446744073709551615 4194304 4196468 140723696224848 139999733175624 139999374191148 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 23662592 140723696226737 140723696226913 140723696226913 140723696230351 0
[pid=1736/tid=1738] ppid=1734 vsize=13980732 memory=14972255997340 CPUtime=0 cores=0,2,4,6
/proc/1736/task/1738/stat : 1738 (java) S 1734 1734 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 118622586 14316269568 30769 18446744073709551615 4194304 4196468 140723696224848 139999328865424 139999728948949 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23662592 140723696226737 140723696226913 140723696226913 140723696230351 0
[pid=1736/tid=1739] ppid=1734 vsize=13980732 memory=301741399194468649 CPUtime=0 cores=0,2,4,6
/proc/1736/task/1739/stat : 1739 (java) S 1734 1734 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 118622586 14316269568 30769 18446744073709551615 4194304 4196468 140723696224848 139999327812624 139999728948949 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23662592 140723696226737 140723696226913 140723696226913 140723696230351 0
[pid=1736/tid=1740] ppid=1734 vsize=13980732 memory=288291082176038114 CPUtime=0 cores=0,2,4,6
/proc/1736/task/1740/stat : 1740 (java) S 1734 1734 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 118622586 14316269568 30769 18446744073709551615 4194304 4196468 140723696224848 139999326759824 139999728948949 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23662592 140723696226737 140723696226913 140723696226913 140723696230351 0
[pid=1736/tid=1741] ppid=1734 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1736/task/1741/stat : 1741 (java) S 1734 1734 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 118622586 14316269568 30769 18446744073709551615 4194304 4196468 140723696224848 139999325707024 139999728948949 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23662592 140723696226737 140723696226913 140723696226913 140723696230351 0
[pid=1736/tid=1742] ppid=1734 vsize=13980732 memory=4798184714280120379 CPUtime=0 cores=0,2,4,6
/proc/1736/task/1742/stat : 1742 (java) S 1734 1734 4674 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 118622587 14316269568 30769 18446744073709551615 4194304 4196468 140723696224848 139998914214256 139999728949890 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23662592 140723696226737 140723696226913 140723696226913 140723696230351 0
[pid=1736/tid=1743] ppid=1734 vsize=13980732 memory=-9178176116497565088 CPUtime=0 cores=0,2,4,6
/proc/1736/task/1743/stat : 1743 (java) S 1734 1734 4674 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 118622588 14316269568 30769 18446744073709551615 4194304 4196468 140723696224848 139998913160224 139999728948949 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23662592 140723696226737 140723696226913 140723696226913 140723696230351 0
[pid=1736/tid=1744] ppid=1734 vsize=13980732 memory=4137287014106017850 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
/proc/1736/task/1744/stat : 1744 (java) S 1734 1734 4674 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 118622588 14316269568 188157 18446744073709551615 4194304 4196468 140723696224848 139998912107376 139999728948949 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23662592 140723696226737 140723696226913 140723696226913 140723696230351 0
[pid=1736/tid=1745] ppid=1734 vsize=13980732 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/1736/task/1745/stat : 1745 (java) S 1734 1734 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 118622590 14316269568 188157 18446744073709551615 4194304 4196468 140723696224848 139998911055696 139999728957339 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23662592 140723696226737 140723696226913 140723696226913 140723696230351 0
[pid=1736/tid=1746] ppid=1734 vsize=13980732 memory=752628 CPUtime=3.66 cores=0,2,4,6
/proc/1736/task/1746/stat : 1746 (java) S 1734 1734 4674 0 -1 1077944384 27447 0 0 0 364 2 0 0 20 0 15 0 118622590 14316269568 188157 18446744073709551615 4194304 4196468 140723696224848 139998910004080 139999728949890 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23662592 140723696226737 140723696226913 140723696226913 140723696230351 0
[pid=1736/tid=1747] ppid=1734 vsize=13980732 memory=1608 CPUtime=3.89 cores=0,2,4,6
/proc/1736/task/1747/stat : 1747 (java) S 1734 1734 4674 0 -1 1077944384 25605 0 0 0 386 3 0 0 20 0 15 0 118622590 14316269568 188157 18446744073709551615 4194304 4196468 140723696224848 139998908951280 139999728949890 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 10 0 0 6293624 6294260 23662592 140723696226737 140723696226913 140723696226913 140723696230351 0
[pid=1736/tid=1748] ppid=1734 vsize=13980732 memory=1376 CPUtime=0.62 cores=0,2,4,6
/proc/1736/task/1748/stat : 1748 (java) S 1734 1734 4674 0 -1 1077944384 10286 0 0 0 61 1 0 0 20 0 15 0 118622590 14316269568 188157 18446744073709551615 4194304 4196468 140723696224848 139998907898480 139999728949890 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 6 0 0 6293624 6294260 23662592 140723696226737 140723696226913 140723696226913 140723696230351 0
[pid=1736/tid=1749] ppid=1734 vsize=13980732 memory=1728 CPUtime=0 cores=0,2,4,6
/proc/1736/task/1749/stat : 1749 (java) S 1734 1734 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 118622591 14316269568 188157 18446744073709551615 4194304 4196468 140723696224848 139998906845920 139999728948949 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23662592 140723696226737 140723696226913 140723696226913 140723696230351 0
[pid=1736/tid=1750] ppid=1734 vsize=13980732 memory=4572 CPUtime=0.98 cores=0,2,4,6
/proc/1736/task/1750/stat : 1750 (java) S 1734 1734 4674 0 -1 1077944384 2113 0 0 0 48 50 0 0 20 0 15 0 118622595 14316269568 188157 18446744073709551615 4194304 4196468 140723696224848 139998905793200 139999728949890 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 7 0 0 6293624 6294260 23662592 140723696226737 140723696226913 140723696226913 140723696230351 0
Current children cumulated CPU time: 2403.97 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 754004 KiB
[startup+2442.3 s]
/proc/loadavg: 1.61 1.61 1.69 3/215 2002
/proc/meminfo: memFree=30881296/32770624 swapFree=67108764/67108860
[pid=1734] ppid=1731 vsize=9512 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/1734/stat : 1734 (xcsp3-exec) S 1731 1734 4674 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 118622576 9740288 344 18446744073709551615 4194304 5098028 140729637530624 140729637528728 140456068305532 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 8 0 0 7196144 7232144 33308672 140729637532025 140729637532229 140729637532229 140729637535723 0
/proc/1734/statm: 2378 344 289 221 0 87 0
[pid=1736] ppid=1734 vsize=13980732 memory=418568 CPUtime=2464.55 cores=0,2,4,6
/proc/1736/stat : 1736 (java) S 1734 1734 4674 0 -1 1077944320 150328 0 0 0 246215 240 0 0 20 0 15 0 118622585 14316269568 104642 18446744073709551615 4194304 4196468 140723696224848 140723696207392 139999728938743 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 23662592 140723696226737 140723696226913 140723696226913 140723696230351 0
/proc/1736/statm: 3495183 104642 3257 1 0 3483476 0
[pid=1736/tid=1737] ppid=1734 vsize=13980732 memory=1049748 CPUtime=2436.14 cores=0,2,4,6
/proc/1736/task/1737/stat : 1737 (java) R 1734 1734 4674 0 -1 4202560 43670 0 0 0 243500 114 0 0 20 0 15 0 118622585 14316269568 104642 18446744073709551615 4194304 4196468 140723696224848 139999733178408 139999376340452 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 23662592 140723696226737 140723696226913 140723696226913 140723696230351 0
[pid=1736/tid=1738] ppid=1734 vsize=13980732 memory=1076464 CPUtime=4.55 cores=0,2,4,6
/proc/1736/task/1738/stat : 1738 (java) S 1734 1734 4674 0 -1 1077944384 7629 0 0 0 437 18 0 0 20 0 15 0 118622586 14316269568 104642 18446744073709551615 4194304 4196468 140723696224848 139999328865424 139999728948949 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23662592 140723696226737 140723696226913 140723696226913 140723696230351 0
[pid=1736/tid=1739] ppid=1734 vsize=13980732 memory=1148428 CPUtime=4.55 cores=0,2,4,6
/proc/1736/task/1739/stat : 1739 (java) S 1734 1734 4674 0 -1 1077944384 6023 0 0 0 437 18 0 0 20 0 15 0 118622586 14316269568 104642 18446744073709551615 4194304 4196468 140723696224848 139999327812624 139999728948949 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23662592 140723696226737 140723696226913 140723696226913 140723696230351 0
[pid=1736/tid=1740] ppid=1734 vsize=13980732 memory=1376 CPUtime=4.56 cores=0,2,4,6
/proc/1736/task/1740/stat : 1740 (java) S 1734 1734 4674 0 -1 1077944384 5779 0 0 0 437 19 0 0 20 0 15 0 118622586 14316269568 104642 18446744073709551615 4194304 4196468 140723696224848 139999326759824 139999728948949 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23662592 140723696226737 140723696226913 140723696226913 140723696230351 0
[pid=1736/tid=1741] ppid=1734 vsize=13980732 memory=1376 CPUtime=4.57 cores=0,2,4,6
/proc/1736/task/1741/stat : 1741 (java) S 1734 1734 4674 0 -1 1077944384 5925 0 0 0 440 17 0 0 20 0 15 0 118622586 14316269568 104642 18446744073709551615 4194304 4196468 140723696224848 139999325707024 139999728948949 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23662592 140723696226737 140723696226913 140723696226913 140723696230351 0
[pid=1736/tid=1742] ppid=1734 vsize=13980732 memory=371272 CPUtime=0.88 cores=0,2,4,6
/proc/1736/task/1742/stat : 1742 (java) S 1734 1734 4674 0 -1 1077944384 14463 0 0 0 76 12 0 0 20 0 15 0 118622587 14316269568 104642 18446744073709551615 4194304 4196468 140723696224848 139998914214256 139999728949890 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23662592 140723696226737 140723696226913 140723696226913 140723696230351 0
[pid=1736/tid=1743] ppid=1734 vsize=13980732 memory=395944 CPUtime=0 cores=0,2,4,6
/proc/1736/task/1743/stat : 1743 (java) S 1734 1734 4674 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 118622588 14316269568 104642 18446744073709551615 4194304 4196468 140723696224848 139998913160224 139999728948949 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23662592 140723696226737 140723696226913 140723696226913 140723696230351 0
[pid=1736/tid=1744] ppid=1734 vsize=13980732 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/1736/task/1744/stat : 1744 (java) S 1734 1734 4674 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 118622588 14316269568 104642 18446744073709551615 4194304 4196468 140723696224848 139998912107376 139999728948949 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23662592 140723696226737 140723696226913 140723696226913 140723696230351 0
[pid=1736/tid=1745] ppid=1734 vsize=13980732 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/1736/task/1745/stat : 1745 (java) S 1734 1734 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 118622590 14316269568 104642 18446744073709551615 4194304 4196468 140723696224848 139998911055696 139999728957339 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23662592 140723696226737 140723696226913 140723696226913 140723696230351 0
[pid=1736/tid=1746] ppid=1734 vsize=13980732 memory=2768 CPUtime=3.66 cores=0,2,4,6
/proc/1736/task/1746/stat : 1746 (java) S 1734 1734 4674 0 -1 1077944384 27447 0 0 0 364 2 0 0 20 0 15 0 118622590 14316269568 104642 18446744073709551615 4194304 4196468 140723696224848 139998910004080 139999728949890 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23662592 140723696226737 140723696226913 140723696226913 140723696230351 0
[pid=1736/tid=1747] ppid=1734 vsize=13980732 memory=1376 CPUtime=3.89 cores=0,2,4,6
/proc/1736/task/1747/stat : 1747 (java) S 1734 1734 4674 0 -1 1077944384 25605 0 0 0 386 3 0 0 20 0 15 0 118622590 14316269568 104642 18446744073709551615 4194304 4196468 140723696224848 139998908951280 139999728949890 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 10 0 0 6293624 6294260 23662592 140723696226737 140723696226913 140723696226913 140723696230351 0
[pid=1736/tid=1748] ppid=1734 vsize=13980732 memory=0 CPUtime=0.62 cores=0,2,4,6
/proc/1736/task/1748/stat : 1748 (java) S 1734 1734 4674 0 -1 1077944384 10287 0 0 0 61 1 0 0 20 0 15 0 118622590 14316269568 104642 18446744073709551615 4194304 4196468 140723696224848 139998907898480 139999728949890 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 6 0 0 6293624 6294260 23662592 140723696226737 140723696226913 140723696226913 140723696230351 0
[pid=1736/tid=1749] ppid=1734 vsize=13980732 memory=1220392 CPUtime=0 cores=0,2,4,6
/proc/1736/task/1749/stat : 1749 (java) S 1734 1734 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 118622591 14316269568 104642 18446744073709551615 4194304 4196468 140723696224848 139998906845920 139999728948949 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23662592 140723696226737 140723696226913 140723696226913 140723696230351 0
[pid=1736/tid=1750] ppid=1734 vsize=13980732 memory=1195720 CPUtime=1.02 cores=0,2,4,6
/proc/1736/task/1750/stat : 1750 (java) S 1734 1734 4674 0 -1 1077944384 2140 0 0 0 49 53 0 0 20 0 15 0 118622595 14316269568 104642 18446744073709551615 4194304 4196468 140723696224848 139998905793200 139999728949890 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 7 0 0 6293624 6294260 23662592 140723696226737 140723696226913 140723696226913 140723696230351 0
Current children cumulated CPU time: 2464.55 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 419944 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2497.3 s]
/proc/loadavg: 1.60 1.60 1.68 3/215 2004
/proc/meminfo: memFree=30971996/32770624 swapFree=67108764/67108860
[pid=1734] ppid=1731 vsize=9512 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/1734/stat : 1734 (xcsp3-exec) S 1731 1734 4674 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 118622576 9740288 344 18446744073709551615 4194304 5098028 140729637530624 140729637528728 140456068305532 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 8 0 0 7196144 7232144 33308672 140729637532025 140729637532229 140729637532229 140729637535723 0
/proc/1734/statm: 2378 344 289 221 0 87 0
[pid=1736] ppid=1734 vsize=13980732 memory=325032 CPUtime=2520.02 cores=0,2,4,6
/proc/1736/stat : 1736 (java) S 1734 1734 4674 0 -1 1077944320 152639 0 0 0 251753 249 0 0 20 0 15 0 118622585 14316269568 81258 18446744073709551615 4194304 4196468 140723696224848 140723696207392 139999728938743 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 23662592 140723696226737 140723696226913 140723696226913 140723696230351 0
/proc/1736/statm: 3495183 81258 3257 1 0 3483476 0
[pid=1736/tid=1737] ppid=1734 vsize=13980732 memory=325032 CPUtime=2490.94 cores=0,2,4,6
/proc/1736/task/1737/stat : 1737 (java) R 1734 1734 4674 0 -1 4202560 44760 0 0 0 248973 121 0 0 20 0 15 0 118622585 14316269568 81258 18446744073709551615 4194304 4196468 140723696224848 139999733178576 139999376340574 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 23662592 140723696226737 140723696226913 140723696226913 140723696230351 0
[pid=1736/tid=1738] ppid=1734 vsize=13980732 memory=325032 CPUtime=4.71 cores=0,2,4,6
/proc/1736/task/1738/stat : 1738 (java) S 1734 1734 4674 0 -1 1077944384 7649 0 0 0 452 19 0 0 20 0 15 0 118622586 14316269568 81258 18446744073709551615 4194304 4196468 140723696224848 139999328865424 139999728948949 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23662592 140723696226737 140723696226913 140723696226913 140723696230351 0
[pid=1736/tid=1739] ppid=1734 vsize=13980732 memory=1376 CPUtime=4.71 cores=0,2,4,6
/proc/1736/task/1739/stat : 1739 (java) S 1734 1734 4674 0 -1 1077944384 6060 0 0 0 453 18 0 0 20 0 15 0 118622586 14316269568 81258 18446744073709551615 4194304 4196468 140723696224848 139999327812624 139999728948949 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23662592 140723696226737 140723696226913 140723696226913 140723696230351 0
[pid=1736/tid=1740] ppid=1734 vsize=13980732 memory=809192 CPUtime=4.72 cores=0,2,4,6
/proc/1736/task/1740/stat : 1740 (java) S 1734 1734 4674 0 -1 1077944384 6109 0 0 0 453 19 0 0 20 0 15 0 118622586 14316269568 81258 18446744073709551615 4194304 4196468 140723696224848 139999326759824 139999728948949 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23662592 140723696226737 140723696226913 140723696226913 140723696230351 0
[pid=1736/tid=1741] ppid=1734 vsize=13980732 memory=325032 CPUtime=4.71 cores=0,2,4,6
/proc/1736/task/1741/stat : 1741 (java) S 1734 1734 4674 0 -1 1077944384 5984 0 0 0 454 17 0 0 20 0 15 0 118622586 14316269568 81258 18446744073709551615 4194304 4196468 140723696224848 139999325707024 139999728948949 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23662592 140723696226737 140723696226913 140723696226913 140723696230351 0
[pid=1736/tid=1742] ppid=1734 vsize=13980732 memory=325032 CPUtime=0.91 cores=0,2,4,6
/proc/1736/task/1742/stat : 1742 (java) S 1734 1734 4674 0 -1 1077944384 15212 0 0 0 79 12 0 0 20 0 15 0 118622587 14316269568 81258 18446744073709551615 4194304 4196468 140723696224848 139998914214256 139999728949890 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23662592 140723696226737 140723696226913 140723696226913 140723696230351 0
[pid=1736/tid=1743] ppid=1734 vsize=13980732 memory=325032 CPUtime=0 cores=0,2,4,6
/proc/1736/task/1743/stat : 1743 (java) S 1734 1734 4674 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 118622588 14316269568 81258 18446744073709551615 4194304 4196468 140723696224848 139998913160224 139999728948949 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23662592 140723696226737 140723696226913 140723696226913 140723696230351 0
[pid=1736/tid=1744] ppid=1734 vsize=13980732 memory=325032 CPUtime=0 cores=0,2,4,6
/proc/1736/task/1744/stat : 1744 (java) S 1734 1734 4674 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 118622588 14316269568 81258 18446744073709551615 4194304 4196468 140723696224848 139998912107376 139999728948949 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23662592 140723696226737 140723696226913 140723696226913 140723696230351 0
[pid=1736/tid=1745] ppid=1734 vsize=13980732 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/1736/task/1745/stat : 1745 (java) S 1734 1734 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 118622590 14316269568 81258 18446744073709551615 4194304 4196468 140723696224848 139998911055696 139999728957339 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23662592 140723696226737 140723696226913 140723696226913 140723696230351 0
[pid=1736/tid=1746] ppid=1734 vsize=13980732 memory=1376 CPUtime=3.67 cores=0,2,4,6
/proc/1736/task/1746/stat : 1746 (java) S 1734 1734 4674 0 -1 1077944384 27450 0 0 0 365 2 0 0 20 0 15 0 118622590 14316269568 81258 18446744073709551615 4194304 4196468 140723696224848 139998910004080 139999728949890 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23662592 140723696226737 140723696226913 140723696226913 140723696230351 0
[pid=1736/tid=1747] ppid=1734 vsize=13980732 memory=1376 CPUtime=3.89 cores=0,2,4,6
/proc/1736/task/1747/stat : 1747 (java) S 1734 1734 4674 0 -1 1077944384 25607 0 0 0 386 3 0 0 20 0 15 0 118622590 14316269568 81258 18446744073709551615 4194304 4196468 140723696224848 139998908951280 139999728949890 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 10 0 0 6293624 6294260 23662592 140723696226737 140723696226913 140723696226913 140723696230351 0
[pid=1736/tid=1748] ppid=1734 vsize=13980732 memory=326056 CPUtime=0.62 cores=0,2,4,6
/proc/1736/task/1748/stat : 1748 (java) S 1734 1734 4674 0 -1 1077944384 10289 0 0 0 61 1 0 0 20 0 15 0 118622590 14316269568 81258 18446744073709551615 4194304 4196468 140723696224848 139998907898480 139999728949890 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 6 0 0 6293624 6294260 23662592 140723696226737 140723696226913 140723696226913 140723696230351 0
[pid=1736/tid=1749] ppid=1734 vsize=13980732 memory=2244 CPUtime=0 cores=0,2,4,6
/proc/1736/task/1749/stat : 1749 (java) S 1734 1734 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 118622591 14316269568 81258 18446744073709551615 4194304 4196468 140723696224848 139998906845920 139999728948949 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23662592 140723696226737 140723696226913 140723696226913 140723696230351 0
[pid=1736/tid=1750] ppid=1734 vsize=13980732 memory=4288 CPUtime=1.04 cores=0,2,4,6
/proc/1736/task/1750/stat : 1750 (java) S 1734 1734 4674 0 -1 1077944384 2159 0 0 0 50 54 0 0 20 0 15 0 118622595 14316269568 81258 18446744073709551615 4194304 4196468 140723696224848 139998905793200 139999728949890 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 7 0 0 6293624 6294260 23662592 140723696226737 140723696226913 140723696226913 140723696230351 0
Current children cumulated CPU time: 2520.02 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 326408 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2497.31 s]
# the end of solver process 1734 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.000916 s, system=0.000916 s
[startup+2497.32 s]
# the end of solver process 1736 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2517.56 s, system=2.5088 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2497.3 s]
/proc/loadavg: 1.60 1.60 1.68 3/215 2004
/proc/meminfo: memFree=30971996/32770624 swapFree=67108764/67108860
[pid=1734] ppid=1731 vsize=9512 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/1734/stat : 1734 (xcsp3-exec) S 1731 1734 4674 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 118622576 9740288 344 18446744073709551615 4194304 5098028 140729637530624 140729637528728 140456068305532 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 8 0 0 7196144 7232144 33308672 140729637532025 140729637532229 140729637532229 140729637535723 0
/proc/1734/statm: 2378 344 289 221 0 87 0
[pid=1736] ppid=1734 vsize=13980732 memory=325032 CPUtime=2520.02 cores=0,2,4,6
/proc/1736/stat : 1736 (java) S 1734 1734 4674 0 -1 1077944320 152639 0 0 0 251753 249 0 0 20 0 15 0 118622585 14316269568 81258 18446744073709551615 4194304 4196468 140723696224848 140723696207392 139999728938743 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 23662592 140723696226737 140723696226913 140723696226913 140723696230351 0
/proc/1736/statm: 3495183 81258 3257 1 0 3483476 0
[pid=1736/tid=1737] ppid=1734 vsize=13980732 memory=325032 CPUtime=2490.94 cores=0,2,4,6
/proc/1736/task/1737/stat : 1737 (java) R 1734 1734 4674 0 -1 4202560 44760 0 0 0 248973 121 0 0 20 0 15 0 118622585 14316269568 81258 18446744073709551615 4194304 4196468 140723696224848 139999733178576 139999376340574 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 23662592 140723696226737 140723696226913 140723696226913 140723696230351 0
[pid=1736/tid=1738] ppid=1734 vsize=13980732 memory=325032 CPUtime=4.71 cores=0,2,4,6
/proc/1736/task/1738/stat : 1738 (java) S 1734 1734 4674 0 -1 1077944384 7649 0 0 0 452 19 0 0 20 0 15 0 118622586 14316269568 81258 18446744073709551615 4194304 4196468 140723696224848 139999328865424 139999728948949 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23662592 140723696226737 140723696226913 140723696226913 140723696230351 0
[pid=1736/tid=1739] ppid=1734 vsize=13980732 memory=1376 CPUtime=4.71 cores=0,2,4,6
/proc/1736/task/1739/stat : 1739 (java) S 1734 1734 4674 0 -1 1077944384 6060 0 0 0 453 18 0 0 20 0 15 0 118622586 14316269568 81258 18446744073709551615 4194304 4196468 140723696224848 139999327812624 139999728948949 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23662592 140723696226737 140723696226913 140723696226913 140723696230351 0
[pid=1736/tid=1740] ppid=1734 vsize=13980732 memory=809192 CPUtime=4.72 cores=0,2,4,6
/proc/1736/task/1740/stat : 1740 (java) S 1734 1734 4674 0 -1 1077944384 6109 0 0 0 453 19 0 0 20 0 15 0 118622586 14316269568 81258 18446744073709551615 4194304 4196468 140723696224848 139999326759824 139999728948949 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23662592 140723696226737 140723696226913 140723696226913 140723696230351 0
[pid=1736/tid=1741] ppid=1734 vsize=13980732 memory=325032 CPUtime=4.71 cores=0,2,4,6
/proc/1736/task/1741/stat : 1741 (java) S 1734 1734 4674 0 -1 1077944384 5984 0 0 0 454 17 0 0 20 0 15 0 118622586 14316269568 81258 18446744073709551615 4194304 4196468 140723696224848 139999325707024 139999728948949 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23662592 140723696226737 140723696226913 140723696226913 140723696230351 0
[pid=1736/tid=1742] ppid=1734 vsize=13980732 memory=325032 CPUtime=0.91 cores=0,2,4,6
/proc/1736/task/1742/stat : 1742 (java) S 1734 1734 4674 0 -1 1077944384 15212 0 0 0 79 12 0 0 20 0 15 0 118622587 14316269568 81258 18446744073709551615 4194304 4196468 140723696224848 139998914214256 139999728949890 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23662592 140723696226737 140723696226913 140723696226913 140723696230351 0
[pid=1736/tid=1743] ppid=1734 vsize=13980732 memory=325032 CPUtime=0 cores=0,2,4,6
/proc/1736/task/1743/stat : 1743 (java) S 1734 1734 4674 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 118622588 14316269568 81258 18446744073709551615 4194304 4196468 140723696224848 139998913160224 139999728948949 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23662592 140723696226737 140723696226913 140723696226913 140723696230351 0
[pid=1736/tid=1744] ppid=1734 vsize=13980732 memory=325032 CPUtime=0 cores=0,2,4,6
/proc/1736/task/1744/stat : 1744 (java) S 1734 1734 4674 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 118622588 14316269568 81258 18446744073709551615 4194304 4196468 140723696224848 139998912107376 139999728948949 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23662592 140723696226737 140723696226913 140723696226913 140723696230351 0
[pid=1736/tid=1745] ppid=1734 vsize=13980732 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/1736/task/1745/stat : 1745 (java) S 1734 1734 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 118622590 14316269568 81258 18446744073709551615 4194304 4196468 140723696224848 139998911055696 139999728957339 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23662592 140723696226737 140723696226913 140723696226913 140723696230351 0
[pid=1736/tid=1746] ppid=1734 vsize=13980732 memory=1376 CPUtime=3.67 cores=0,2,4,6
/proc/1736/task/1746/stat : 1746 (java) S 1734 1734 4674 0 -1 1077944384 27450 0 0 0 365 2 0 0 20 0 15 0 118622590 14316269568 81258 18446744073709551615 4194304 4196468 140723696224848 139998910004080 139999728949890 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23662592 140723696226737 140723696226913 140723696226913 140723696230351 0
[pid=1736/tid=1747] ppid=1734 vsize=13980732 memory=1376 CPUtime=3.89 cores=0,2,4,6
/proc/1736/task/1747/stat : 1747 (java) S 1734 1734 4674 0 -1 1077944384 25607 0 0 0 386 3 0 0 20 0 15 0 118622590 14316269568 81258 18446744073709551615 4194304 4196468 140723696224848 139998908951280 139999728949890 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 10 0 0 6293624 6294260 23662592 140723696226737 140723696226913 140723696226913 140723696230351 0
[pid=1736/tid=1748] ppid=1734 vsize=13980732 memory=326056 CPUtime=0.62 cores=0,2,4,6
/proc/1736/task/1748/stat : 1748 (java) S 1734 1734 4674 0 -1 1077944384 10289 0 0 0 61 1 0 0 20 0 15 0 118622590 14316269568 81258 18446744073709551615 4194304 4196468 140723696224848 139998907898480 139999728949890 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 6 0 0 6293624 6294260 23662592 140723696226737 140723696226913 140723696226913 140723696230351 0
[pid=1736/tid=1749] ppid=1734 vsize=13980732 memory=2244 CPUtime=0 cores=0,2,4,6
/proc/1736/task/1749/stat : 1749 (java) S 1734 1734 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 118622591 14316269568 81258 18446744073709551615 4194304 4196468 140723696224848 139998906845920 139999728948949 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23662592 140723696226737 140723696226913 140723696226913 140723696230351 0
[pid=1736/tid=1750] ppid=1734 vsize=13980732 memory=4288 CPUtime=1.04 cores=0,2,4,6
/proc/1736/task/1750/stat : 1750 (java) S 1734 1734 4674 0 -1 1077944384 2159 0 0 0 50 54 0 0 20 0 15 0 118622595 14316269568 81258 18446744073709551615 4194304 4196468 140723696224848 139998905793200 139999728949890 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 7 0 0 6293624 6294260 23662592 140723696226737 140723696226913 140723696226913 140723696230351 0
Current children cumulated CPU time: 2520.02 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 326408 KiB
Child status: 143
Real time (s): 2497.32
CPU time (s): 2520.07
CPU user time (s): 2517.56
CPU system time (s): 2.5088
CPU usage (%): 100.911
Max. virtual memory (cumulated for all children) (KiB): 13994904
Max. memory (cumulated for all children) (KiB): 2478932
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2517.56
system time used= 2.5088
maximum resident set size= 2479604
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 153396
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2856
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 72919
involuntary context switches= 5567
# summary of solver processes directly reported to runsolver:
# pid: 1734,1736
# total CPU time (s): 2520.07
# total CPU user time (s): 2517.56
# total CPU system time (s): 2.5088
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.1775 second user time and 23.2869 second system time
The end