runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
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.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3481776-1307577039/watcher-3481776-1307577039 -o /tmp/evaluation-result-3481776-1307577039/solver-3481776-1307577039 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3481776-1307577039.opb -seed 787553708 -budget 1800
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 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
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.95 1.83 1.01 3/676 1757
/proc/meminfo: memFree=24764552/32951124 swapFree=53733252/67111528
[pid=1757] ppid=1755 vsize=15080 CPUtime=0 cores=1,3,5,7
/proc/1757/stat : 1757 (python) R 1755 1757 1117 0 -1 4202496 649 0 0 0 0 0 0 0 22 0 1 0 869304353 15441920 544 33554432000 4194304 5683644 140734853456608 18446744073709551615 253640857600 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/1757/statm: 3770 544 312 364 0 257 0
[startup+0.0446719 s]
/proc/loadavg: 1.95 1.83 1.01 3/676 1757
/proc/meminfo: memFree=24764552/32951124 swapFree=53733252/67111528
[pid=1757] ppid=1755 vsize=18884 CPUtime=0.02 cores=1,3,5,7
/proc/1757/stat : 1757 (python) R 1755 1757 1117 0 -1 4202496 1284 0 0 0 1 1 0 0 17 0 1 0 869304353 19337216 1136 33554432000 4194304 5683644 140734853456608 18446744073709551615 4510784 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/1757/statm: 4721 1136 421 364 0 690 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 18884
[startup+0.100665 s]
/proc/loadavg: 1.95 1.83 1.01 3/676 1757
/proc/meminfo: memFree=24764552/32951124 swapFree=53733252/67111528
[pid=1757] ppid=1755 vsize=85616 CPUtime=0.06 cores=1,3,5,7
/proc/1757/stat : 1757 (python) S 1755 1757 1117 0 -1 4202496 2663 0 0 0 4 2 0 0 17 0 1 0 869304353 87670784 2381 33554432000 4194304 5683644 140734853456608 18446744073709551615 253640857600 0 2147483391 16781312 2 18446744071699199166 0 0 17 5 0 0 0
/proc/1757/statm: 21404 2381 715 364 0 1621 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 85616
[startup+0.300624 s]
/proc/loadavg: 1.95 1.83 1.01 3/676 1757
/proc/meminfo: memFree=24764552/32951124 swapFree=53733252/67111528
[pid=1757] ppid=1755 vsize=123736 CPUtime=0.17 cores=1,3,5,7
/proc/1757/stat : 1757 (python) R 1755 1757 1117 0 -1 4202496 5357 929 1 0 10 7 0 0 16 0 1 0 869304353 126705664 3743 33554432000 4194304 5683644 140734853456608 18446744073709551615 253640855557 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/1757/statm: 30934 3743 987 364 0 2766 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 123736
[startup+0.700565 s]
/proc/loadavg: 1.95 1.83 1.01 3/676 1757
/proc/meminfo: memFree=24764552/32951124 swapFree=53733252/67111528
[pid=1757] ppid=1755 vsize=284756 CPUtime=0.43 cores=1,3,5,7
/proc/1757/stat : 1757 (python) R 1755 1757 1117 0 -1 4202496 9641 929 1 0 28 15 0 0 15 0 1 0 869304353 291590144 7503 33554432000 4194304 5683644 140734853456608 18446744073709551615 4602976 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/1757/statm: 71189 7503 1781 364 0 6082 0
Current children cumulated CPU time (s) 0.43
Current children cumulated vsize (KiB) 284756
[startup+1.50042 s]
/proc/loadavg: 1.95 1.83 1.01 3/677 1762
/proc/meminfo: memFree=24727592/32951124 swapFree=53733252/67111528
[pid=1757] ppid=1755 vsize=295836 CPUtime=1.23 cores=1,3,5,7
/proc/1757/stat : 1757 (python) R 1755 1757 1117 0 -1 4202496 14799 929 1 0 108 15 0 0 16 0 1 0 869304353 302936064 10307 33554432000 4194304 5683644 140734853456608 18446744073709551615 4272616 0 0 16781312 33554434 0 0 0 17 5 0 0 0
/proc/1757/statm: 73959 10307 1816 364 0 8852 0
Current children cumulated CPU time (s) 1.23
Current children cumulated vsize (KiB) 295836
[startup+3.10112 s]
/proc/loadavg: 1.95 1.83 1.01 3/697 1782
/proc/meminfo: memFree=24642964/32951124 swapFree=53733252/67111528
[pid=1757] ppid=1755 vsize=307356 CPUtime=1.36 cores=1,3,5,7
/proc/1757/stat : 1757 (python) S 1755 1757 1117 0 -1 4202496 15389 929 1 0 120 16 0 0 19 0 2 0 869304353 314732544 10670 33554432000 4194304 5683644 140734853456608 18446744073709551615 253652686283 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/1757/statm: 76839 10670 1862 364 0 11726 0
[pid=1763] ppid=1757 vsize=297112 CPUtime=0 cores=1,3,5,7
/proc/1763/stat : 1763 (python) S 1757 1757 1117 0 -1 4202560 757 0 0 0 0 0 0 0 15 0 1 0 869304516 304242688 9155 33554432000 4194304 5683644 140734853456608 18446744073709551615 253640879631 0 0 16781312 33554946 4294934789 0 0 17 5 0 0 0
/proc/1763/statm: 74278 9155 351 364 0 9165 0
[pid=1765] ppid=1763 vsize=8539728 CPUtime=2.36 cores=1,3,5,7
/proc/1765/stat : 1765 (java) S 1763 1765 1765 0 -1 4202496 44949 0 1 0 230 6 0 0 19 0 19 0 869304516 8744681472 40866 33554432000 1073741824 1073778376 140733874073840 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/1765/statm: 2134932 40866 2249 9 0 2125673 0
[pid=1765/tid=1766] ppid=1763 vsize=8539728 CPUtime=1.44 cores=1,3,5,7
/proc/1765/task/1766/stat : 1766 (java) R 1763 1765 1765 0 -1 4202560 35272 0 1 0 140 4 0 0 25 0 19 0 869304516 8744681472 40866 33554432000 1073741824 1073778376 140733874073840 18446744073709551615 46912505880530 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=1765/tid=1767] ppid=1763 vsize=8539728 CPUtime=0 cores=1,3,5,7
/proc/1765/task/1767/stat : 1767 (java) S 1763 1765 1765 0 -1 4202560 515 0 0 0 0 0 0 0 16 0 19 0 869304517 8744681472 40866 33554432000 1073741824 1073778376 140733874073840 18446744073709551615 253652675481 0 4 0 16800975 18446604455110150208 0 0 -1 1 0 0 0
[pid=1765/tid=1768] ppid=1763 vsize=8539728 CPUtime=0 cores=1,3,5,7
/proc/1765/task/1768/stat : 1768 (java) S 1763 1765 1765 0 -1 4202560 349 0 0 0 0 0 0 0 17 0 19 0 869304517 8744681472 40866 33554432000 1073741824 1073778376 140733874073840 18446744073709551615 253652675481 0 4 0 16800975 18446604455110150208 0 0 -1 3 0 0 0
[pid=1765/tid=1769] ppid=1763 vsize=8539728 CPUtime=0 cores=1,3,5,7
/proc/1765/task/1769/stat : 1769 (java) S 1763 1765 1765 0 -1 4202560 205 0 0 0 0 0 0 0 18 0 19 0 869304517 8744681472 40866 33554432000 1073741824 1073778376 140733874073840 18446744073709551615 253652675481 0 4 0 16800975 18446604455110150208 0 0 -1 7 0 0 0
[pid=1765/tid=1770] ppid=1763 vsize=8539728 CPUtime=0 cores=1,3,5,7
/proc/1765/task/1770/stat : 1770 (java) S 1763 1765 1765 0 -1 4202560 2 0 0 0 0 0 0 0 19 0 19 0 869304517 8744681472 40866 33554432000 1073741824 1073778376 140733874073840 18446744073709551615 253652675481 0 4 0 16800975 18446604455110150208 0 0 -1 1 0 0 0
[pid=1765/tid=1771] ppid=1763 vsize=8539728 CPUtime=0 cores=1,3,5,7
/proc/1765/task/1771/stat : 1771 (java) S 1763 1765 1765 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 869304517 8744681472 40866 33554432000 1073741824 1073778376 140733874073840 18446744073709551615 253652675481 0 4 0 16800975 18446604455110150208 0 0 -1 1 0 0 0
[pid=1765/tid=1772] ppid=1763 vsize=8539728 CPUtime=0 cores=1,3,5,7
/proc/1765/task/1772/stat : 1772 (java) S 1763 1765 1765 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 869304517 8744681472 40866 33554432000 1073741824 1073778376 140733874073840 18446744073709551615 253652675481 0 4 0 16800975 18446604455110150208 0 0 -1 1 0 0 0
[pid=1765/tid=1773] ppid=1763 vsize=8539728 CPUtime=0 cores=1,3,5,7
/proc/1765/task/1773/stat : 1773 (java) S 1763 1765 1765 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 869304517 8744681472 40866 33554432000 1073741824 1073778376 140733874073840 18446744073709551615 253652675481 0 4 0 16800975 18446604455110150208 0 0 -1 1 0 0 0
[pid=1765/tid=1774] ppid=1763 vsize=8539728 CPUtime=0 cores=1,3,5,7
/proc/1765/task/1774/stat : 1774 (java) S 1763 1765 1765 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 869304517 8744681472 40866 33554432000 1073741824 1073778376 140733874073840 18446744073709551615 253652675481 0 4 0 16800975 18446604455110150208 0 0 -1 3 0 0 0
[pid=1765/tid=1775] ppid=1763 vsize=8539728 CPUtime=0 cores=1,3,5,7
/proc/1765/task/1775/stat : 1775 (java) S 1763 1765 1765 0 -1 4202560 70 0 0 0 0 0 0 0 19 0 19 0 869304518 8744681472 40866 33554432000 1073741824 1073778376 140733874073840 18446744073709551615 253652676096 0 0 0 16800975 18446604455110150208 0 0 -1 7 0 0 0
[pid=1765/tid=1776] ppid=1763 vsize=8539728 CPUtime=0 cores=1,3,5,7
/proc/1765/task/1776/stat : 1776 (java) S 1763 1765 1765 0 -1 4202560 17 0 0 0 0 0 0 0 19 0 19 0 869304518 8744681472 40866 33554432000 1073741824 1073778376 140733874073840 18446744073709551615 253652675481 0 4 0 16800975 18446604455110150208 0 0 -1 1 0 0 0
[pid=1765/tid=1777] ppid=1763 vsize=8539728 CPUtime=0 cores=1,3,5,7
/proc/1765/task/1777/stat : 1777 (java) S 1763 1765 1765 0 -1 4202560 9 0 0 0 0 0 0 0 19 0 19 0 869304518 8744681472 40866 33554432000 1073741824 1073778376 140733874073840 18446744073709551615 253652675481 0 4 0 16800975 18446604455110150208 0 0 -1 1 0 0 0
[pid=1765/tid=1778] ppid=1763 vsize=8539728 CPUtime=0 cores=1,3,5,7
/proc/1765/task/1778/stat : 1778 (java) S 1763 1765 1765 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869304520 8744681472 40866 33554432000 1073741824 1073778376 140733874073840 18446744073709551615 253652683185 0 4 0 16800975 18446604455110150208 0 0 -1 1 0 0 0
[pid=1765/tid=1779] ppid=1763 vsize=8539728 CPUtime=0.45 cores=1,3,5,7
/proc/1765/task/1779/stat : 1779 (java) S 1763 1765 1765 0 -1 4202560 2551 0 0 0 45 0 0 0 20 0 19 0 869304520 8744681472 40866 33554432000 1073741824 1073778376 140733874073840 18446744073709551615 253652675481 0 4 0 16800975 18446604455110150208 0 0 -1 5 0 0 0
[pid=1765/tid=1780] ppid=1763 vsize=8539728 CPUtime=0.42 cores=1,3,5,7
/proc/1765/task/1780/stat : 1780 (java) S 1763 1765 1765 0 -1 4202560 4606 0 0 0 42 0 0 0 23 0 19 0 869304520 8744681472 40866 33554432000 1073741824 1073778376 140733874073840 18446744073709551615 253652675481 0 4 0 16800975 18446604455110150208 0 0 -1 7 0 0 0
[pid=1765/tid=1781] ppid=1763 vsize=8539728 CPUtime=0 cores=1,3,5,7
/proc/1765/task/1781/stat : 1781 (java) S 1763 1765 1765 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869304520 8744681472 40866 33554432000 1073741824 1073778376 140733874073840 18446744073709551615 253652675481 0 4 0 16800975 18446604455110150208 0 0 -1 1 0 0 0
[pid=1765/tid=1782] ppid=1763 vsize=8539728 CPUtime=0 cores=1,3,5,7
/proc/1765/task/1782/stat : 1782 (java) S 1763 1765 1765 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 869304520 8744681472 40866 33554432000 1073741824 1073778376 140733874073840 18446744073709551615 253652676096 0 4 0 16800975 18446604455110150208 0 0 -1 7 0 0 0
[pid=1757/tid=1764] ppid=1755 vsize=307356 CPUtime=0 cores=1,3,5,7
/proc/1757/task/1764/stat : 1764 (python) S 1755 1757 1117 0 -1 4202560 26 929 0 0 0 0 0 0 19 0 2 0 869304516 314732544 10670 33554432000 4194304 5683644 140734853456608 18446744073709551615 253652683185 0 0 16781312 33554434 18446604466350573696 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3.72
Current children cumulated vsize (KiB) 9144196
[startup+6.30154 s]
/proc/loadavg: 2.36 1.92 1.04 3/698 1783
/proc/meminfo: memFree=24500356/32951124 swapFree=53733252/67111528
[pid=1757] ppid=1755 vsize=307356 CPUtime=1.36 cores=1,3,5,7
/proc/1757/stat : 1757 (python) S 1755 1757 1117 0 -1 4202496 15389 929 1 0 120 16 0 0 19 0 2 0 869304353 314732544 10670 33554432000 4194304 5683644 140734853456608 18446744073709551615 253652686283 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/1757/statm: 76839 10670 1862 364 0 11726 0
[pid=1763] ppid=1757 vsize=297112 CPUtime=0.02 cores=1,3,5,7
/proc/1763/stat : 1763 (python) S 1757 1757 1117 0 -1 4202560 894 0 0 0 1 1 0 0 15 0 1 0 869304516 304242688 9179 33554432000 4194304 5683644 140734853456608 18446744073709551615 253640879631 0 0 16781312 33554946 4294934789 0 0 17 5 0 0 0
/proc/1763/statm: 74278 9179 375 364 0 9165 0
[pid=1765] ppid=1763 vsize=8539728 CPUtime=5.67 cores=1,3,5,7
/proc/1765/stat : 1765 (java) S 1763 1765 1765 0 -1 4202496 62952 0 1 0 559 8 0 0 19 0 19 0 869304516 8744681472 58194 33554432000 1073741824 1073778376 140733874073840 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/1765/statm: 2134932 58194 2261 9 0 2125673 0
[pid=1765/tid=1766] ppid=1763 vsize=8539728 CPUtime=4.58 cores=1,3,5,7
/proc/1765/task/1766/stat : 1766 (java) R 1763 1765 1765 0 -1 4202560 35280 0 1 0 454 4 0 0 22 0 19 0 869304516 8744681472 58194 33554432000 1073741824 1073778376 140733874073840 18446744073709551615 46912505833416 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=1765/tid=1767] ppid=1763 vsize=8539728 CPUtime=0 cores=1,3,5,7
/proc/1765/task/1767/stat : 1767 (java) S 1763 1765 1765 0 -1 4202560 2816 0 0 0 0 0 0 0 15 0 19 0 869304517 8744681472 58194 33554432000 1073741824 1073778376 140733874073840 18446744073709551615 253652675481 0 4 0 16800975 18446604455110150208 0 0 -1 1 0 0 0
[pid=1765/tid=1768] ppid=1763 vsize=8539728 CPUtime=0.01 cores=1,3,5,7
/proc/1765/task/1768/stat : 1768 (java) S 1763 1765 1765 0 -1 4202560 4330 0 0 0 1 0 0 0 15 0 19 0 869304517 8744681472 58194 33554432000 1073741824 1073778376 140733874073840 18446744073709551615 253652675481 0 4 0 16800975 18446604455110150208 0 0 -1 7 0 0 0
[pid=1765/tid=1769] ppid=1763 vsize=8539728 CPUtime=0 cores=1,3,5,7
/proc/1765/task/1769/stat : 1769 (java) S 1763 1765 1765 0 -1 4202560 205 0 0 0 0 0 0 0 15 0 19 0 869304517 8744681472 58194 33554432000 1073741824 1073778376 140733874073840 18446744073709551615 253652675481 0 4 0 16800975 18446604455110150208 0 0 -1 7 0 0 0
[pid=1765/tid=1770] ppid=1763 vsize=8539728 CPUtime=0 cores=1,3,5,7
/proc/1765/task/1770/stat : 1770 (java) S 1763 1765 1765 0 -1 4202560 1370 0 0 0 0 0 0 0 16 0 19 0 869304517 8744681472 58194 33554432000 1073741824 1073778376 140733874073840 18446744073709551615 253652675481 0 4 0 16800975 18446604455110150208 0 0 -1 7 0 0 0
[pid=1765/tid=1771] ppid=1763 vsize=8539728 CPUtime=0 cores=1,3,5,7
/proc/1765/task/1771/stat : 1771 (java) S 1763 1765 1765 0 -1 4202560 3087 0 0 0 0 0 0 0 17 0 19 0 869304517 8744681472 58194 33554432000 1073741824 1073778376 140733874073840 18446744073709551615 253652675481 0 4 0 16800975 18446604455110150208 0 0 -1 1 0 0 0
[pid=1765/tid=1772] ppid=1763 vsize=8539728 CPUtime=0 cores=1,3,5,7
/proc/1765/task/1772/stat : 1772 (java) S 1763 1765 1765 0 -1 4202560 487 0 0 0 0 0 0 0 15 0 19 0 869304517 8744681472 58194 33554432000 1073741824 1073778376 140733874073840 18446744073709551615 253652675481 0 4 0 16800975 18446604455110150208 0 0 -1 1 0 0 0
[pid=1765/tid=1773] ppid=1763 vsize=8539728 CPUtime=0 cores=1,3,5,7
/proc/1765/task/1773/stat : 1773 (java) S 1763 1765 1765 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 869304517 8744681472 58194 33554432000 1073741824 1073778376 140733874073840 18446744073709551615 253652675481 0 4 0 16800975 18446604455110150208 0 0 -1 1 0 0 0
[pid=1765/tid=1774] ppid=1763 vsize=8539728 CPUtime=0 cores=1,3,5,7
/proc/1765/task/1774/stat : 1774 (java) S 1763 1765 1765 0 -1 4202560 30 0 0 0 0 0 0 0 15 0 19 0 869304517 8744681472 58194 33554432000 1073741824 1073778376 140733874073840 18446744073709551615 253652675481 0 4 0 16800975 18446604455110150208 0 0 -1 3 0 0 0
[pid=1765/tid=1775] ppid=1763 vsize=8539728 CPUtime=0.04 cores=1,3,5,7
/proc/1765/task/1775/stat : 1775 (java) S 1763 1765 1765 0 -1 4202560 6782 0 0 0 4 0 0 0 16 0 19 0 869304518 8744681472 58194 33554432000 1073741824 1073778376 140733874073840 18446744073709551615 253652676096 0 0 0 16800975 18446604455110150208 0 0 -1 3 0 0 0
[pid=1765/tid=1776] ppid=1763 vsize=8539728 CPUtime=0 cores=1,3,5,7
/proc/1765/task/1776/stat : 1776 (java) S 1763 1765 1765 0 -1 4202560 17 0 0 0 0 0 0 0 19 0 19 0 869304518 8744681472 58194 33554432000 1073741824 1073778376 140733874073840 18446744073709551615 253652675481 0 4 0 16800975 18446604455110150208 0 0 -1 1 0 0 0
[pid=1765/tid=1777] ppid=1763 vsize=8539728 CPUtime=0 cores=1,3,5,7
/proc/1765/task/1777/stat : 1777 (java) S 1763 1765 1765 0 -1 4202560 9 0 0 0 0 0 0 0 19 0 19 0 869304518 8744681472 58194 33554432000 1073741824 1073778376 140733874073840 18446744073709551615 253652675481 0 4 0 16800975 18446604455110150208 0 0 -1 1 0 0 0
[pid=1765/tid=1778] ppid=1763 vsize=8539728 CPUtime=0 cores=1,3,5,7
/proc/1765/task/1778/stat : 1778 (java) S 1763 1765 1765 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869304520 8744681472 58194 33554432000 1073741824 1073778376 140733874073840 18446744073709551615 253652683185 0 4 0 16800975 18446604455110150208 0 0 -1 1 0 0 0
[pid=1765/tid=1779] ppid=1763 vsize=8539728 CPUtime=0.51 cores=1,3,5,7
/proc/1765/task/1779/stat : 1779 (java) S 1763 1765 1765 0 -1 4202560 2575 0 0 0 51 0 0 0 15 0 19 0 869304520 8744681472 58194 33554432000 1073741824 1073778376 140733874073840 18446744073709551615 253652675481 0 4 0 16800975 18446604455110150208 0 0 -1 5 0 0 0
[pid=1765/tid=1780] ppid=1763 vsize=8539728 CPUtime=0.44 cores=1,3,5,7
/proc/1765/task/1780/stat : 1780 (java) S 1763 1765 1765 0 -1 4202560 4610 0 0 0 44 0 0 0 18 0 19 0 869304520 8744681472 58194 33554432000 1073741824 1073778376 140733874073840 18446744073709551615 253652675481 0 4 0 16800975 18446604455110150208 0 0 -1 7 0 0 0
[pid=1765/tid=1781] ppid=1763 vsize=8539728 CPUtime=0 cores=1,3,5,7
/proc/1765/task/1781/stat : 1781 (java) S 1763 1765 1765 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869304520 8744681472 58194 33554432000 1073741824 1073778376 140733874073840 18446744073709551615 253652675481 0 4 0 16800975 18446604455110150208 0 0 -1 1 0 0 0
[pid=1765/tid=1782] ppid=1763 vsize=8539728 CPUtime=0 cores=1,3,5,7
/proc/1765/task/1782/stat : 1782 (java) S 1763 1765 1765 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 869304520 8744681472 58194 33554432000 1073741824 1073778376 140733874073840 18446744073709551615 253652676096 0 4 0 16800975 18446604455110150208 0 0 -1 7 0 0 0
[pid=1765/tid=1783] ppid=1763 vsize=8539728 CPUtime=0 cores=1,3,5,7
/proc/1765/task/1783/stat : 1783 (java) S 1763 1765 1765 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 869304583 8744681472 58194 33554432000 1073741824 1073778376 140733874073840 18446744073709551615 253652676096 0 4 0 16800975 18446604455110150208 0 0 -1 7 0 0 0
[pid=1757/tid=1764] ppid=1755 vsize=307356 CPUtime=0 cores=1,3,5,7
/proc/1757/task/1764/stat : 1764 (python) S 1755 1757 1117 0 -1 4202560 26 929 0 0 0 0 0 0 19 0 2 0 869304516 314732544 10670 33554432000 4194304 5683644 140734853456608 18446744073709551615 253652683185 0 0 16781312 33554434 18446604466350573696 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 7.05
Current children cumulated vsize (KiB) 9144196
[startup+12.7014 s]
/proc/loadavg: 2.33 1.92 1.05 3/698 1783
/proc/meminfo: memFree=24465868/32951124 swapFree=53733252/67111528
[pid=1757] ppid=1755 vsize=307356 CPUtime=1.36 cores=1,3,5,7
/proc/1757/stat : 1757 (python) S 1755 1757 1117 0 -1 4202496 15389 929 1 0 120 16 0 0 19 0 2 0 869304353 314732544 10670 33554432000 4194304 5683644 140734853456608 18446744073709551615 253652686283 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/1757/statm: 76839 10670 1862 364 0 11726 0
[pid=1763] ppid=1757 vsize=297112 CPUtime=0.04 cores=1,3,5,7
/proc/1763/stat : 1763 (python) S 1757 1757 1117 0 -1 4202560 898 0 0 0 2 2 0 0 15 0 1 0 869304516 304242688 9179 33554432000 4194304 5683644 140734853456608 18446744073709551615 253640879631 0 0 16781312 33554946 4294934789 0 0 17 7 0 0 0
/proc/1763/statm: 74278 9179 375 364 0 9165 0
[pid=1765] ppid=1763 vsize=8539728 CPUtime=12.17 cores=1,3,5,7
/proc/1765/stat : 1765 (java) S 1763 1765 1765 0 -1 4202496 73822 0 1 0 1207 10 0 0 19 0 19 0 869304516 8744681472 66472 33554432000 1073741824 1073778376 140733874073840 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/1765/statm: 2134932 66472 2261 9 0 2125673 0
[pid=1765/tid=1766] ppid=1763 vsize=8539728 CPUtime=10.86 cores=1,3,5,7
/proc/1765/task/1766/stat : 1766 (java) R 1763 1765 1765 0 -1 4202560 35283 0 1 0 1082 4 0 0 25 0 19 0 869304516 8744681472 66472 33554432000 1073741824 1073778376 140733874073840 18446744073709551615 46912505795647 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=1765/tid=1767] ppid=1763 vsize=8539728 CPUtime=0.01 cores=1,3,5,7
/proc/1765/task/1767/stat : 1767 (java) S 1763 1765 1765 0 -1 4202560 4434 0 0 0 1 0 0 0 15 0 19 0 869304517 8744681472 66472 33554432000 1073741824 1073778376 140733874073840 18446744073709551615 253652675481 0 4 0 16800975 18446604455110150208 0 0 -1 7 0 0 0
[pid=1765/tid=1768] ppid=1763 vsize=8539728 CPUtime=0.02 cores=1,3,5,7
/proc/1765/task/1768/stat : 1768 (java) S 1763 1765 1765 0 -1 4202560 6187 0 0 0 2 0 0 0 15 0 19 0 869304517 8744681472 66472 33554432000 1073741824 1073778376 140733874073840 18446744073709551615 253652675481 0 4 0 16800975 18446604455110150208 0 0 -1 7 0 0 0
[pid=1765/tid=1769] ppid=1763 vsize=8539728 CPUtime=0 cores=1,3,5,7
/proc/1765/task/1769/stat : 1769 (java) S 1763 1765 1765 0 -1 4202560 205 0 0 0 0 0 0 0 15 0 19 0 869304517 8744681472 66472 33554432000 1073741824 1073778376 140733874073840 18446744073709551615 253652675481 0 4 0 16800975 18446604455110150208 0 0 -1 1 0 0 0
[pid=1765/tid=1770] ppid=1763 vsize=8539728 CPUtime=0.01 cores=1,3,5,7
/proc/1765/task/1770/stat : 1770 (java) S 1763 1765 1765 0 -1 4202560 2421 0 0 0 1 0 0 0 16 0 19 0 869304517 8744681472 66472 33554432000 1073741824 1073778376 140733874073840 18446744073709551615 253652675481 0 4 0 16800975 18446604455110150208 0 0 -1 7 0 0 0
[pid=1765/tid=1771] ppid=1763 vsize=8539728 CPUtime=0.01 cores=1,3,5,7
################
# More data... #
################
/proc/1786/statm: 76842 9205 396 364 0 11726 0
[pid=1788] ppid=1786 vsize=45388 CPUtime=46.82 cores=1,3,5,7
/proc/1788/stat : 1788 (wbo1.4a) T 1786 1788 1788 0 -1 4202496 16692 0 0 0 4627 55 0 0 25 0 1 0 869309410 46477312 10826 33554432000 134512640 135751879 4287403664 18446744073709551615 134616800 0 0 16781312 3 18446744071562691360 0 0 17 1 0 0 0
/proc/1788/statm: 11347 10826 146 303 0 11042 0
[pid=1786/tid=1790] ppid=1757 vsize=307368 CPUtime=0 cores=1,3,5,7
/proc/1786/task/1790/stat : 1790 (python) S 1757 1757 1117 0 -1 4202560 47 0 0 0 0 0 0 0 16 0 2 0 869314093 314744832 9205 33554432000 4194304 5683644 140734853456608 18446744073709551615 253652683185 0 0 16781312 33554946 18446604464684174400 0 0 -1 7 0 0 0
[pid=1793] ppid=1757 vsize=317624 CPUtime=0.4 cores=1,3,5,7
/proc/1793/stat : 1793 (python) S 1757 1757 1117 0 -1 4202560 1071 0 0 0 18 22 0 0 15 0 1 0 869318339 325246976 9190 33554432000 4194304 5683644 140734853456608 18446744073709551615 253640879686 0 0 16781312 33554946 5623753486446373688 0 0 17 7 0 0 0
/proc/1793/statm: 79406 9190 378 364 0 14287 0
[pid=1795] ppid=1793 vsize=124144 CPUtime=82.42 cores=1,3,5,7
/proc/1795/stat : 1795 (clasp-1.3.7-x86) R 1793 1795 1795 0 -1 4202496 31281 0 0 0 8239 3 0 0 25 0 1 0 869318340 127123456 30749 33554432000 134512640 136139019 4293076048 18446744073709551615 134626614 0 0 16781312 16386 0 0 0 17 5 0 0 0
/proc/1795/statm: 31036 30749 187 398 0 30636 0
[pid=1757/tid=1764] ppid=1755 vsize=327868 CPUtime=0 cores=1,3,5,7
/proc/1757/task/1764/stat : 1764 (python) S 1755 1757 1117 0 -1 4202560 30 929 0 0 0 0 0 0 18 0 4 0 869304516 335736832 10691 33554432000 4194304 5683644 140734853456608 18446744073709551615 253652683185 0 0 16781312 33554434 18446604466350573696 0 0 -1 5 0 0 0
[pid=1757/tid=1787] ppid=1755 vsize=327868 CPUtime=0 cores=1,3,5,7
/proc/1757/task/1787/stat : 1787 (python) S 1755 1757 1117 0 -1 4202560 24 929 0 0 0 0 0 0 20 0 4 0 869309410 335736832 10691 33554432000 4194304 5683644 140734853456608 18446744073709551615 253652683185 0 0 16781312 33554434 18446604466350573696 0 0 -1 3 0 0 0
[pid=1757/tid=1794] ppid=1755 vsize=327868 CPUtime=0 cores=1,3,5,7
/proc/1757/task/1794/stat : 1794 (python) S 1755 1757 1117 0 -1 4202560 31 929 0 0 0 0 0 0 20 0 4 0 869318340 335736832 10691 33554432000 4194304 5683644 140734853456608 18446744073709551615 253652683185 0 0 16781312 33554434 18446604466350573696 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 224.75
Current children cumulated vsize (KiB) 9969476
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+280.402 s]
/proc/loadavg: 2.03 2.02 1.31 5/731 1823
/proc/meminfo: memFree=23525448/32951124 swapFree=53733252/67111528
[pid=1757] ppid=1755 vsize=348380 CPUtime=1.47 cores=1,3,5,7
/proc/1757/stat : 1757 (python) S 1755 1757 1117 0 -1 4202496 19102 929 1 0 131 16 0 0 20 0 6 0 869304353 356741120 10703 33554432000 4194304 5683644 140734853456608 18446744073709551615 253652686283 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/1757/statm: 87095 10703 1879 364 0 21970 0
[pid=1763] ppid=1757 vsize=307356 CPUtime=0.48 cores=1,3,5,7
/proc/1763/stat : 1763 (python) S 1757 1757 1117 0 -1 4202560 1106 0 0 0 21 27 0 0 15 0 2 0 869304516 314732544 9216 33554432000 4194304 5683644 140734853456608 18446744073709551615 253652686283 0 0 16781312 33554946 18446744073709551615 0 0 17 5 0 0 0
/proc/1763/statm: 76839 9216 407 364 0 11726 0
[pid=1765] ppid=1763 vsize=8539728 CPUtime=92.91 cores=1,3,5,7
/proc/1765/stat : 1765 (java) T 1763 1765 1765 0 -1 4202496 128002 0 1 0 9273 18 0 0 18 0 19 0 869304516 8744681472 101276 33554432000 1073741824 1073778376 140733874073840 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/1765/statm: 2134932 101276 2261 9 0 2125673 0
[pid=1765/tid=1766] ppid=1763 vsize=8539728 CPUtime=90.26 cores=1,3,5,7
/proc/1765/task/1766/stat : 1766 (java) T 1763 1765 1765 0 -1 4202560 35298 0 1 0 9022 4 0 0 25 0 19 0 869304516 8744681472 101276 33554432000 1073741824 1073778376 140733874073840 18446744073709551615 46912505795046 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=1765/tid=1767] ppid=1763 vsize=8539728 CPUtime=0.09 cores=1,3,5,7
/proc/1765/task/1767/stat : 1767 (java) T 1763 1765 1765 0 -1 4202560 12758 0 0 0 7 2 0 0 15 0 19 0 869304517 8744681472 101276 33554432000 1073741824 1073778376 140733874073840 18446744073709551615 253652675481 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=1765/tid=1768] ppid=1763 vsize=8539728 CPUtime=0.1 cores=1,3,5,7
/proc/1765/task/1768/stat : 1768 (java) T 1763 1765 1765 0 -1 4202560 13225 0 0 0 9 1 0 0 15 0 19 0 869304517 8744681472 101276 33554432000 1073741824 1073778376 140733874073840 18446744073709551615 253652675481 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=1765/tid=1769] ppid=1763 vsize=8539728 CPUtime=0.05 cores=1,3,5,7
/proc/1765/task/1769/stat : 1769 (java) T 1763 1765 1765 0 -1 4202560 7531 0 0 0 5 0 0 0 15 0 19 0 869304517 8744681472 101276 33554432000 1073741824 1073778376 140733874073840 18446744073709551615 253652675481 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=1765/tid=1770] ppid=1763 vsize=8539728 CPUtime=0.12 cores=1,3,5,7
/proc/1765/task/1770/stat : 1770 (java) T 1763 1765 1765 0 -1 4202560 11771 0 0 0 11 1 0 0 15 0 19 0 869304517 8744681472 101276 33554432000 1073741824 1073778376 140733874073840 18446744073709551615 253652675481 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=1765/tid=1771] ppid=1763 vsize=8539728 CPUtime=0.08 cores=1,3,5,7
/proc/1765/task/1771/stat : 1771 (java) T 1763 1765 1765 0 -1 4202560 12127 0 0 0 7 1 0 0 15 0 19 0 869304517 8744681472 101276 33554432000 1073741824 1073778376 140733874073840 18446744073709551615 253652675481 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=1765/tid=1772] ppid=1763 vsize=8539728 CPUtime=0.09 cores=1,3,5,7
/proc/1765/task/1772/stat : 1772 (java) T 1763 1765 1765 0 -1 4202560 7450 0 0 0 9 0 0 0 15 0 19 0 869304517 8744681472 101276 33554432000 1073741824 1073778376 140733874073840 18446744073709551615 253652675481 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=1765/tid=1773] ppid=1763 vsize=8539728 CPUtime=0.05 cores=1,3,5,7
/proc/1765/task/1773/stat : 1773 (java) T 1763 1765 1765 0 -1 4202560 2419 0 0 0 5 0 0 0 15 0 19 0 869304517 8744681472 101276 33554432000 1073741824 1073778376 140733874073840 18446744073709551615 253652675481 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=1765/tid=1774] ppid=1763 vsize=8539728 CPUtime=0.11 cores=1,3,5,7
/proc/1765/task/1774/stat : 1774 (java) T 1763 1765 1765 0 -1 4202560 7604 0 0 0 10 1 0 0 15 0 19 0 869304517 8744681472 101276 33554432000 1073741824 1073778376 140733874073840 18446744073709551615 253652675481 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=1765/tid=1775] ppid=1763 vsize=8539728 CPUtime=0.73 cores=1,3,5,7
/proc/1765/task/1775/stat : 1775 (java) T 1763 1765 1765 0 -1 4202560 9222 0 0 0 72 1 0 0 15 0 19 0 869304518 8744681472 101276 33554432000 1073741824 1073778376 140733874073840 18446744073709551615 253652676096 0 0 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=1765/tid=1776] ppid=1763 vsize=8539728 CPUtime=0 cores=1,3,5,7
/proc/1765/task/1776/stat : 1776 (java) T 1763 1765 1765 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 869304518 8744681472 101276 33554432000 1073741824 1073778376 140733874073840 18446744073709551615 253652675481 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=1765/tid=1777] ppid=1763 vsize=8539728 CPUtime=0 cores=1,3,5,7
/proc/1765/task/1777/stat : 1777 (java) T 1763 1765 1765 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 869304518 8744681472 101276 33554432000 1073741824 1073778376 140733874073840 18446744073709551615 253652675481 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=1765/tid=1778] ppid=1763 vsize=8539728 CPUtime=0 cores=1,3,5,7
/proc/1765/task/1778/stat : 1778 (java) T 1763 1765 1765 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869304520 8744681472 101276 33554432000 1073741824 1073778376 140733874073840 18446744073709551615 253652683185 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=1765/tid=1779] ppid=1763 vsize=8539728 CPUtime=0.56 cores=1,3,5,7
/proc/1765/task/1779/stat : 1779 (java) T 1763 1765 1765 0 -1 4202560 2585 0 0 0 56 0 0 0 15 0 19 0 869304520 8744681472 101276 33554432000 1073741824 1073778376 140733874073840 18446744073709551615 253652675481 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=1765/tid=1780] ppid=1763 vsize=8539728 CPUtime=0.51 cores=1,3,5,7
/proc/1765/task/1780/stat : 1780 (java) T 1763 1765 1765 0 -1 4202560 4631 0 0 0 51 0 0 0 15 0 19 0 869304520 8744681472 101276 33554432000 1073741824 1073778376 140733874073840 18446744073709551615 253652675481 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=1765/tid=1781] ppid=1763 vsize=8539728 CPUtime=0 cores=1,3,5,7
/proc/1765/task/1781/stat : 1781 (java) T 1763 1765 1765 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869304520 8744681472 101276 33554432000 1073741824 1073778376 140733874073840 18446744073709551615 253652675481 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=1765/tid=1782] ppid=1763 vsize=8539728 CPUtime=0 cores=1,3,5,7
/proc/1765/task/1782/stat : 1782 (java) T 1763 1765 1765 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 19 0 869304520 8744681472 101276 33554432000 1073741824 1073778376 140733874073840 18446744073709551615 253652676096 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=1765/tid=1783] ppid=1763 vsize=8539728 CPUtime=0 cores=1,3,5,7
/proc/1765/task/1783/stat : 1783 (java) T 1763 1765 1765 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 869304583 8744681472 101276 33554432000 1073741824 1073778376 140733874073840 18446744073709551615 253652676096 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=1763/tid=1785] ppid=1757 vsize=307356 CPUtime=0 cores=1,3,5,7
/proc/1763/task/1785/stat : 1785 (python) S 1757 1757 1117 0 -1 4202560 46 0 0 0 0 0 0 0 15 0 2 0 869309407 314732544 9216 33554432000 4194304 5683644 140734853456608 18446744073709551615 253652683185 0 0 16781312 33554946 18446604458201461824 0 0 -1 7 0 0 0
[pid=1786] ppid=1757 vsize=307368 CPUtime=0.29 cores=1,3,5,7
/proc/1786/stat : 1786 (python) S 1757 1757 1117 0 -1 4202560 1125 0 0 0 15 14 0 0 16 0 2 0 869309410 314744832 9205 33554432000 4194304 5683644 140734853456608 18446744073709551615 253652686283 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/1786/statm: 76842 9205 396 364 0 11726 0
[pid=1788] ppid=1786 vsize=45388 CPUtime=46.82 cores=1,3,5,7
/proc/1788/stat : 1788 (wbo1.4a) T 1786 1788 1788 0 -1 4202496 16692 0 0 0 4627 55 0 0 25 0 1 0 869309410 46477312 10826 33554432000 134512640 135751879 4287403664 18446744073709551615 134616800 0 0 16781312 3 18446744071562691360 0 0 17 1 0 0 0
/proc/1788/statm: 11347 10826 146 303 0 11042 0
[pid=1786/tid=1790] ppid=1757 vsize=307368 CPUtime=0 cores=1,3,5,7
/proc/1786/task/1790/stat : 1790 (python) S 1757 1757 1117 0 -1 4202560 47 0 0 0 0 0 0 0 16 0 2 0 869314093 314744832 9205 33554432000 4194304 5683644 140734853456608 18446744073709551615 253652683185 0 0 16781312 33554946 18446604464684174400 0 0 -1 7 0 0 0
[pid=1793] ppid=1757 vsize=317624 CPUtime=0.44 cores=1,3,5,7
/proc/1793/stat : 1793 (python) S 1757 1757 1117 0 -1 4202560 1196 0 0 0 20 24 0 0 16 0 2 0 869318339 325246976 9215 33554432000 4194304 5683644 140734853456608 18446744073709551615 253652686283 0 0 16781312 33554946 18446744073709551615 0 0 17 5 0 0 0
/proc/1793/statm: 79406 9215 402 364 0 14287 0
[pid=1795] ppid=1793 vsize=124144 CPUtime=92.26 cores=1,3,5,7
/proc/1795/stat : 1795 (clasp-1.3.7-x86) T 1793 1795 1795 0 -1 4202496 31281 0 0 0 9223 3 0 0 25 0 1 0 869318340 127123456 30749 33554432000 134512640 136139019 4293076048 18446744073709551615 134599797 0 0 16781312 16386 18446744071562691360 0 0 17 5 0 0 0
/proc/1795/statm: 31036 30749 187 398 0 30636 0
[pid=1793/tid=1798] ppid=1757 vsize=317624 CPUtime=0 cores=1,3,5,7
/proc/1793/task/1798/stat : 1798 (python) S 1757 1757 1117 0 -1 4202560 42 0 0 0 0 0 0 0 16 0 2 0 869327567 325246976 9215 33554432000 4194304 5683644 140734853456608 18446744073709551615 253652683185 0 0 16781312 33554946 18446604462580176000 0 0 -1 5 0 0 0
[pid=1799] ppid=1757 vsize=327880 CPUtime=0.23 cores=1,3,5,7
/proc/1799/stat : 1799 (python) S 1757 1757 1117 0 -1 4202560 1184 0 0 0 10 13 0 0 17 0 2 0 869327569 335749120 9219 33554432000 4194304 5683644 140734853456608 18446744073709551615 253652686283 0 0 16781312 33554946 18446744073709551615 0 0 17 3 0 0 0
/proc/1799/statm: 81970 9219 402 364 0 16848 0
[pid=1801] ppid=1799 vsize=606780 CPUtime=48.03 cores=1,3,5,7
/proc/1801/stat : 1801 (pbct-0.1.2-linu) T 1799 1801 1801 0 -1 4202496 152706 0 0 0 4704 99 0 0 25 0 1 0 869327570 621342720 150366 33554432000 134512640 136422188 4286600512 18446744073709551615 135022546 0 0 16781312 16387 18446744071562691360 0 0 17 3 0 0 0
/proc/1801/statm: 151695 150366 236 467 0 151226 0
[pid=1799/tid=1803] ppid=1757 vsize=327880 CPUtime=0 cores=1,3,5,7
/proc/1799/task/1803/stat : 1803 (python) S 1757 1757 1117 0 -1 4202560 44 0 0 0 0 0 0 0 17 0 2 0 869332374 335749120 9219 33554432000 4194304 5683644 140734853456608 18446744073709551615 253652683185 0 0 16781312 33554946 18446604469507493952 0 0 -1 3 0 0 0
[pid=1804] ppid=1757 vsize=338136 CPUtime=0 cores=1,3,5,7
/proc/1804/stat : 1804 (python) S 1757 1757 1117 0 -1 4202560 811 0 0 0 0 0 0 0 18 0 1 0 869332377 346251264 9168 33554432000 4194304 5683644 140734853456608 18446744073709551615 253640879686 0 0 16781312 33554946 1989238567276118016 0 0 17 3 0 0 0
/proc/1804/statm: 84534 9168 348 364 0 19409 0
[pid=1806] ppid=1804 vsize=8533652 CPUtime=0.25 cores=1,3,5,7
/proc/1806/stat : 1806 (java) S 1804 1806 1806 0 -1 4202496 6382 0 1 0 25 0 0 0 17 0 18 0 869332377 8738459648 5801 33554432000 1073741824 1073778376 140737309742432 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/1806/statm: 2133413 5801 2176 9 0 2124154 0
[pid=1806/tid=1807] ppid=1804 vsize=8533620 CPUtime=0.18 cores=1,3,5,7
/proc/1806/task/1807/stat : 1807 (java) R 1804 1806 1806 0 -1 4202560 3958 0 1 0 18 0 0 0 25 0 18 0 869332378 8738426880 5975 33554432000 1073741824 1073778376 140737309742432 18446744073709551615 47743209671507 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=1806/tid=1808] ppid=1804 vsize=8533620 CPUtime=0 cores=1,3,5,7
/proc/1806/task/1808/stat : 1808 (java) S 1804 1806 1806 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 869332378 8738426880 5975 33554432000 1073741824 1073778376 140737309742432 18446744073709551615 253652675481 0 4 0 16800975 18446604459552525184 0 0 -1 1 0 0 0
[pid=1806/tid=1809] ppid=1804 vsize=8533620 CPUtime=0 cores=1,3,5,7
/proc/1806/task/1809/stat : 1809 (java) S 1804 1806 1806 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 869332378 8738426880 5975 33554432000 1073741824 1073778376 140737309742432 18446744073709551615 253652675481 0 4 0 16800975 18446604459552525184 0 0 -1 3 0 0 0
[pid=1806/tid=1810] ppid=1804 vsize=8533620 CPUtime=0 cores=1,3,5,7
/proc/1806/task/1810/stat : 1810 (java) S 1804 1806 1806 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 869332378 8738426880 5976 33554432000 1073741824 1073778376 140737309742432 18446744073709551615 253652675481 0 4 0 16800975 18446604459552525184 0 0 -1 3 0 0 0
[pid=1806/tid=1811] ppid=1804 vsize=8533620 CPUtime=0 cores=1,3,5,7
/proc/1806/task/1811/stat : 1811 (java) S 1804 1806 1806 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 869332378 8738426880 5976 33554432000 1073741824 1073778376 140737309742432 18446744073709551615 253652675481 0 4 0 16800975 18446604459552525184 0 0 -1 3 0 0 0
[pid=1806/tid=1812] ppid=1804 vsize=8533620 CPUtime=0 cores=1,3,5,7
/proc/1806/task/1812/stat : 1812 (java) S 1804 1806 1806 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 869332378 8738426880 5976 33554432000 1073741824 1073778376 140737309742432 18446744073709551615 253652675481 0 4 0 16800975 18446604459552525184 0 0 -1 3 0 0 0
[pid=1806/tid=1813] ppid=1804 vsize=8533620 CPUtime=0 cores=1,3,5,7
/proc/1806/task/1813/stat : 1813 (java) S 1804 1806 1806 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 869332378 8738426880 5976 33554432000 1073741824 1073778376 140737309742432 18446744073709551615 253652675481 0 4 0 16800975 18446604459552525184 0 0 -1 3 0 0 0
[pid=1806/tid=1814] ppid=1804 vsize=8533620 CPUtime=0 cores=1,3,5,7
/proc/1806/task/1814/stat : 1814 (java) S 1804 1806 1806 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 869332378 8738426880 5977 33554432000 1073741824 1073778376 140737309742432 18446744073709551615 253652675481 0 4 0 16800975 18446604459552525184 0 0 -1 3 0 0 0
[pid=1806/tid=1815] ppid=1804 vsize=8533620 CPUtime=0 cores=1,3,5,7
/proc/1806/task/1815/stat : 1815 (java) S 1804 1806 1806 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 869332378 8738426880 5977 33554432000 1073741824 1073778376 140737309742432 18446744073709551615 253652675481 0 4 0 16800975 18446604459552525184 0 0 -1 3 0 0 0
[pid=1806/tid=1816] ppid=1804 vsize=8533620 CPUtime=0 cores=1,3,5,7
/proc/1806/task/1816/stat : 1816 (java) S 1804 1806 1806 0 -1 4202560 2 0 0 0 0 0 0 0 23 0 18 0 869332379 8738426880 5977 33554432000 1073741824 1073778376 140737309742432 18446744073709551615 253652676096 0 0 0 16800975 18446604459552525184 0 0 -1 7 0 0 0
[pid=1806/tid=1817] ppid=1804 vsize=8533620 CPUtime=0 cores=1,3,5,7
/proc/1806/task/1817/stat : 1817 (java) S 1804 1806 1806 0 -1 4202560 16 0 0 0 0 0 0 0 23 0 18 0 869332380 8738426880 5977 33554432000 1073741824 1073778376 140737309742432 18446744073709551615 253652675481 0 4 0 16800975 18446604459552525184 0 0 -1 1 0 0 0
[pid=1806/tid=1818] ppid=1804 vsize=8533620 CPUtime=0 cores=1,3,5,7
/proc/1806/task/1818/stat : 1818 (java) S 1804 1806 1806 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 18 0 869332380 8738426880 5977 33554432000 1073741824 1073778376 140737309742432 18446744073709551615 253652675481 0 4 0 16800975 18446604459552525184 0 0 -1 1 0 0 0
[pid=1806/tid=1819] ppid=1804 vsize=8533620 CPUtime=0 cores=1,3,5,7
/proc/1806/task/1819/stat : 1819 (java) S 1804 1806 1806 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869332382 8738426880 5978 33554432000 1073741824 1073778376 140737309742432 18446744073709551615 253652683185 0 4 0 16800975 18446604459552525184 0 0 -1 1 0 0 0
[pid=1806/tid=1820] ppid=1804 vsize=8533620 CPUtime=0.05 cores=1,3,5,7
/proc/1806/task/1820/stat : 1820 (java) R 1804 1806 1806 0 -1 4202560 751 0 0 0 5 0 0 0 25 0 18 0 869332382 8738426880 5978 33554432000 1073741824 1073778376 140737309742432 18446744073709551615 253652675481 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=1806/tid=1821] ppid=1804 vsize=8533620 CPUtime=0.04 cores=1,3,5,7
/proc/1806/task/1821/stat : 1821 (java) R 1804 1806 1806 0 -1 4202560 513 0 0 0 4 0 0 0 25 0 18 0 869332382 8738426880 5978 33554432000 1073741824 1073778376 140737309742432 18446744073709551615 253640552144 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=1806/tid=1822] ppid=1804 vsize=8533620 CPUtime=0 cores=1,3,5,7
/proc/1806/task/1822/stat : 1822 (java) S 1804 1806 1806 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869332382 8738426880 5978 33554432000 1073741824 1073778376 140737309742432 18446744073709551615 253652675481 0 4 0 16800975 18446604459552525184 0 0 -1 1 0 0 0
[pid=1806/tid=1823] ppid=1804 vsize=8533620 CPUtime=0 cores=1,3,5,7
/proc/1806/task/1823/stat : 1823 (java) S 1804 1806 1806 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 18 0 869332382 8738426880 5979 33554432000 1073741824 1073778376 140737309742432 18446744073709551615 253652676096 0 4 0 16800975 18446604459552525184 0 0 -1 3 0 0 0
[pid=1757/tid=1764] ppid=1755 vsize=348380 CPUtime=0 cores=1,3,5,7
/proc/1757/task/1764/stat : 1764 (python) S 1755 1757 1117 0 -1 4202560 30 929 0 0 0 0 0 0 18 0 6 0 869304516 356741120 10703 33554432000 4194304 5683644 140734853456608 18446744073709551615 253652683185 0 0 16781312 33554434 18446604466350573696 0 0 -1 5 0 0 0
[pid=1757/tid=1787] ppid=1755 vsize=348380 CPUtime=0 cores=1,3,5,7
/proc/1757/task/1787/stat : 1787 (python) S 1755 1757 1117 0 -1 4202560 24 929 0 0 0 0 0 0 20 0 6 0 869309410 356741120 10703 33554432000 4194304 5683644 140734853456608 18446744073709551615 253652683185 0 0 16781312 33554434 18446604466350573696 0 0 -1 3 0 0 0
[pid=1757/tid=1794] ppid=1755 vsize=348380 CPUtime=0 cores=1,3,5,7
/proc/1757/task/1794/stat : 1794 (python) S 1755 1757 1117 0 -1 4202560 31 929 0 0 0 0 0 0 20 0 6 0 869318340 356741120 10703 33554432000 4194304 5683644 140734853456608 18446744073709551615 253652683185 0 0 16781312 33554434 18446604466350573696 0 0 -1 1 0 0 0
[pid=1757/tid=1800] ppid=1755 vsize=348380 CPUtime=0 cores=1,3,5,7
/proc/1757/task/1800/stat : 1800 (python) S 1755 1757 1117 0 -1 4202560 31 929 0 0 0 0 0 0 20 0 6 0 869327570 356741120 10703 33554432000 4194304 5683644 140734853456608 18446744073709551615 253652683185 0 0 16781312 33554434 18446604466350573696 0 0 -1 5 0 0 0
[pid=1757/tid=1805] ppid=1755 vsize=348380 CPUtime=0 cores=1,3,5,7
/proc/1757/task/1805/stat : 1805 (python) S 1755 1757 1117 0 -1 4202560 31 929 0 0 0 0 0 0 20 0 6 0 869332377 356741120 10703 33554432000 4194304 5683644 140734853456608 18446744073709551615 253652683185 0 0 16781312 33554434 18446604466350573696 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 283.18
Current children cumulated vsize (KiB) 19796436
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 1757 and gives
# childrusage.ru_utime.tv_sec=1
# childrusage.ru_utime.tv_usec=323798
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=173973
# CPU time returned by wait4() is 1.49777
# while last known CPU time is 283.18
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 280.49
CPU time (s): 283.18
CPU user time (s): 280.49
CPU system time (s): 2.69
CPU usage (%): 100.959
Max. virtual memory (cumulated for all children) (KiB): 19796436
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.3238
system time used= 0.173973
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20459
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2868
involuntary context switches= 21
runsolver used 1.86272 second user time and 4.05138 second system time
The end