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-3482647-1307576486/watcher-3482647-1307576486 -o /tmp/evaluation-result-3482647-1307576486/solver-3482647-1307576486 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.dec.pickle HOME/instance-3482647-1307576486.opb -seed 654211118 -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.03 0.25 0.08 2/484 29773
/proc/meminfo: memFree=31958888/32951124 swapFree=34789492/67111528
[pid=29773] ppid=29771 vsize=16240 CPUtime=0 cores=1,3,5,7
/proc/29773/stat : 29773 (python) R 29771 29773 29517 0 -1 4202496 1045 0 0 0 0 0 0 0 17 0 1 0 869250997 16629760 917 33554432000 4194304 5683644 140734481150640 18446744073709551615 4619606 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/29773/statm: 4060 917 381 364 0 547 0
[startup+0.0937401 s]
/proc/loadavg: 1.03 0.25 0.08 2/484 29773
/proc/meminfo: memFree=31958888/32951124 swapFree=34789492/67111528
[pid=29773] ppid=29771 vsize=96132 CPUtime=0.06 cores=1,3,5,7
/proc/29773/stat : 29773 (python) S 29771 29773 29517 0 -1 4202496 3033 464 1 0 5 1 0 0 18 0 1 0 869250997 98439168 2484 33554432000 4194304 5683644 140734481150640 18446744073709551615 212436016896 0 0 16781312 2 18446744071562362840 0 0 17 7 0 0 0
/proc/29773/statm: 24033 2484 792 364 0 1628 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 96132
[startup+0.107798 s]
/proc/loadavg: 1.03 0.25 0.08 2/484 29773
/proc/meminfo: memFree=31958888/32951124 swapFree=34789492/67111528
[pid=29773] ppid=29771 vsize=96128 CPUtime=0.07 cores=1,3,5,7
/proc/29773/stat : 29773 (python) R 29771 29773 29517 0 -1 4202496 3169 931 1 0 6 1 0 0 18 0 1 0 869250997 98435072 2484 33554432000 4194304 5683644 140734481150640 18446744073709551615 5170248 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/29773/statm: 24032 2484 792 364 0 1627 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 96128
[startup+0.300678 s]
/proc/loadavg: 1.03 0.25 0.08 2/484 29773
/proc/meminfo: memFree=31958888/32951124 swapFree=34789492/67111528
[pid=29773] ppid=29771 vsize=123740 CPUtime=0.16 cores=1,3,5,7
/proc/29773/stat : 29773 (python) S 29771 29773 29517 0 -1 4202496 5359 931 1 0 12 4 0 0 18 0 1 0 869250997 126709760 3746 33554432000 4194304 5683644 140734481150640 18446744073709551615 212436015104 0 2147483391 16781312 2 18446744071699207358 0 0 17 7 0 0 0
/proc/29773/statm: 30935 3746 987 364 0 2767 0
Current children cumulated CPU time (s) 0.16
Current children cumulated vsize (KiB) 123740
[startup+0.700638 s]
/proc/loadavg: 1.03 0.25 0.08 2/484 29773
/proc/meminfo: memFree=31958888/32951124 swapFree=34789492/67111528
[pid=29773] ppid=29771 vsize=293484 CPUtime=0.45 cores=1,3,5,7
/proc/29773/stat : 29773 (python) S 29771 29773 29517 0 -1 4202496 9707 931 1 0 37 8 0 0 20 0 2 0 869250997 300527616 7214 33554432000 4194304 5683644 140734481150640 18446744073709551615 212447843787 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/29773/statm: 73371 7214 1870 364 0 8258 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 293484
[startup+1.50049 s]
/proc/loadavg: 1.03 0.25 0.08 3/488 29781
/proc/meminfo: memFree=31932452/32951124 swapFree=34789492/67111528
[pid=29773] ppid=29771 vsize=293484 CPUtime=0.45 cores=1,3,5,7
/proc/29773/stat : 29773 (python) S 29771 29773 29517 0 -1 4202496 9707 931 1 0 37 8 0 0 20 0 2 0 869250997 300527616 7214 33554432000 4194304 5683644 140734481150640 18446744073709551615 212447843787 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/29773/statm: 73371 7214 1870 364 0 8258 0
[pid=29779] ppid=29773 vsize=283240 CPUtime=0 cores=1,3,5,7
/proc/29779/stat : 29779 (python) S 29773 29773 29517 0 -1 4202560 700 0 0 0 0 0 0 0 20 0 1 0 869251060 290037760 5689 33554432000 4194304 5683644 140734481150640 18446744073709551615 212436037135 0 0 16781312 33554946 4085919525327831303 0 0 17 7 0 0 0
/proc/29779/statm: 70810 5689 349 364 0 5697 0
[pid=29781] ppid=29779 vsize=2388 CPUtime=0.86 cores=1,3,5,7
/proc/29781/stat : 29781 (clasp-1.3.7-x86) R 29779 29781 29781 0 -1 4202496 610 0 0 0 85 1 0 0 25 0 1 0 869251061 2445312 353 33554432000 134512640 136139019 4290323056 18446744073709551615 134598356 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/29781/statm: 597 353 184 398 0 197 0
[pid=29773/tid=29780] ppid=29771 vsize=293484 CPUtime=0 cores=1,3,5,7
/proc/29773/task/29780/stat : 29780 (python) S 29771 29773 29517 0 -1 4202560 28 931 0 0 0 0 0 0 20 0 2 0 869251061 300527616 7214 33554432000 4194304 5683644 140734481150640 18446744073709551615 212447840689 0 0 16781312 33554434 18446604468656414784 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 579112
[startup+3.10118 s]
/proc/loadavg: 1.03 0.25 0.08 3/488 29781
/proc/meminfo: memFree=31932580/32951124 swapFree=34789492/67111528
[pid=29773] ppid=29771 vsize=293484 CPUtime=0.45 cores=1,3,5,7
/proc/29773/stat : 29773 (python) S 29771 29773 29517 0 -1 4202496 9707 931 1 0 37 8 0 0 20 0 2 0 869250997 300527616 7214 33554432000 4194304 5683644 140734481150640 18446744073709551615 212447843787 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/29773/statm: 73371 7214 1870 364 0 8258 0
[pid=29779] ppid=29773 vsize=283240 CPUtime=0 cores=1,3,5,7
/proc/29779/stat : 29779 (python) S 29773 29773 29517 0 -1 4202560 724 0 0 0 0 0 0 0 18 0 1 0 869251060 290037760 5692 33554432000 4194304 5683644 140734481150640 18446744073709551615 212436037135 0 0 16781312 33554946 9925359672309547271 0 0 17 7 0 0 0
/proc/29779/statm: 70810 5692 352 364 0 5697 0
[pid=29781] ppid=29779 vsize=2652 CPUtime=2.46 cores=1,3,5,7
/proc/29781/stat : 29781 (clasp-1.3.7-x86) R 29779 29781 29781 0 -1 4202496 675 0 0 0 245 1 0 0 25 0 1 0 869251061 2715648 418 33554432000 134512640 136139019 4290323056 18446744073709551615 134621984 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/29781/statm: 663 418 184 398 0 263 0
[pid=29773/tid=29780] ppid=29771 vsize=293484 CPUtime=0 cores=1,3,5,7
/proc/29773/task/29780/stat : 29780 (python) S 29771 29773 29517 0 -1 4202560 28 931 0 0 0 0 0 0 20 0 2 0 869251061 300527616 7214 33554432000 4194304 5683644 140734481150640 18446744073709551615 212447840689 0 0 16781312 33554434 18446604468656414784 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2.91
Current children cumulated vsize (KiB) 579376
[startup+6.30059 s]
/proc/loadavg: 1.11 0.28 0.09 3/488 29782
/proc/meminfo: memFree=31932216/32951124 swapFree=34789492/67111528
[pid=29773] ppid=29771 vsize=293484 CPUtime=0.45 cores=1,3,5,7
/proc/29773/stat : 29773 (python) S 29771 29773 29517 0 -1 4202496 9707 931 1 0 37 8 0 0 20 0 2 0 869250997 300527616 7214 33554432000 4194304 5683644 140734481150640 18446744073709551615 212447843787 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/29773/statm: 73371 7214 1870 364 0 8258 0
[pid=29779] ppid=29773 vsize=283240 CPUtime=0.01 cores=1,3,5,7
/proc/29779/stat : 29779 (python) S 29773 29773 29517 0 -1 4202560 879 0 0 0 0 1 0 0 18 0 1 0 869251060 290037760 5716 33554432000 4194304 5683644 140734481150640 18446744073709551615 212436037135 0 0 16781312 33554946 9925356648652570887 0 0 17 7 0 0 0
/proc/29779/statm: 70810 5716 376 364 0 5697 0
[pid=29781] ppid=29779 vsize=3056 CPUtime=5.65 cores=1,3,5,7
/proc/29781/stat : 29781 (clasp-1.3.7-x86) R 29779 29781 29781 0 -1 4202496 768 0 0 0 564 1 0 0 25 0 1 0 869251061 3129344 511 33554432000 134512640 136139019 4290323056 18446744073709551615 134883425 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/29781/statm: 764 511 184 398 0 364 0
[pid=29773/tid=29780] ppid=29771 vsize=293484 CPUtime=0 cores=1,3,5,7
/proc/29773/task/29780/stat : 29780 (python) S 29771 29773 29517 0 -1 4202560 28 931 0 0 0 0 0 0 20 0 2 0 869251061 300527616 7214 33554432000 4194304 5683644 140734481150640 18446744073709551615 212447840689 0 0 16781312 33554434 18446604468656414784 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 6.11
Current children cumulated vsize (KiB) 579780
[startup+12.7004 s]
/proc/loadavg: 1.18 0.31 0.10 3/488 29782
/proc/meminfo: memFree=31931980/32951124 swapFree=34789492/67111528
[pid=29773] ppid=29771 vsize=293484 CPUtime=0.45 cores=1,3,5,7
/proc/29773/stat : 29773 (python) S 29771 29773 29517 0 -1 4202496 9707 931 1 0 37 8 0 0 20 0 2 0 869250997 300527616 7214 33554432000 4194304 5683644 140734481150640 18446744073709551615 212447843787 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/29773/statm: 73371 7214 1870 364 0 8258 0
[pid=29779] ppid=29773 vsize=283240 CPUtime=0.03 cores=1,3,5,7
/proc/29779/stat : 29779 (python) S 29773 29773 29517 0 -1 4202560 881 0 0 0 1 2 0 0 18 0 1 0 869251060 290037760 5716 33554432000 4194304 5683644 140734481150640 18446744073709551615 212436037135 0 0 16781312 33554946 5623753486446373770 0 0 17 7 0 0 0
/proc/29779/statm: 70810 5716 376 364 0 5697 0
[pid=29781] ppid=29779 vsize=3592 CPUtime=12.05 cores=1,3,5,7
/proc/29781/stat : 29781 (clasp-1.3.7-x86) R 29779 29781 29781 0 -1 4202496 889 0 0 0 1204 1 0 0 25 0 1 0 869251061 3678208 632 33554432000 134512640 136139019 4290323056 18446744073709551615 134883434 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/29781/statm: 898 632 184 398 0 498 0
[pid=29773/tid=29780] ppid=29771 vsize=293484 CPUtime=0 cores=1,3,5,7
/proc/29773/task/29780/stat : 29780 (python) S 29771 29773 29517 0 -1 4202560 28 931 0 0 0 0 0 0 20 0 2 0 869251061 300527616 7214 33554432000 4194304 5683644 140734481150640 18446744073709551615 212447840689 0 0 16781312 33554434 18446604468656414784 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 12.53
Current children cumulated vsize (KiB) 580316
Solver just ended. Dumping a history of the last processes samples
[startup+13.2003 s]
/proc/loadavg: 1.18 0.31 0.10 3/488 29782
/proc/meminfo: memFree=31931980/32951124 swapFree=34789492/67111528
[pid=29773] ppid=29771 vsize=293484 CPUtime=0.45 cores=1,3,5,7
/proc/29773/stat : 29773 (python) S 29771 29773 29517 0 -1 4202496 9707 931 1 0 37 8 0 0 20 0 2 0 869250997 300527616 7214 33554432000 4194304 5683644 140734481150640 18446744073709551615 212447843787 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/29773/statm: 73371 7214 1870 364 0 8258 0
[pid=29779] ppid=29773 vsize=283240 CPUtime=0.03 cores=1,3,5,7
/proc/29779/stat : 29779 (python) S 29773 29773 29517 0 -1 4202560 881 0 0 0 1 2 0 0 18 0 1 0 869251060 290037760 5716 33554432000 4194304 5683644 140734481150640 18446744073709551615 212436037135 0 0 16781312 33554946 5623753486446373770 0 0 17 7 0 0 0
/proc/29779/statm: 70810 5716 376 364 0 5697 0
[pid=29781] ppid=29779 vsize=3592 CPUtime=12.55 cores=1,3,5,7
/proc/29781/stat : 29781 (clasp-1.3.7-x86) R 29779 29781 29781 0 -1 4202496 889 0 0 0 1254 1 0 0 25 0 1 0 869251061 3678208 632 33554432000 134512640 136139019 4290323056 18446744073709551615 134595872 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/29781/statm: 898 632 184 398 0 498 0
[pid=29773/tid=29780] ppid=29771 vsize=293484 CPUtime=0 cores=1,3,5,7
/proc/29773/task/29780/stat : 29780 (python) S 29771 29773 29517 0 -1 4202560 28 931 0 0 0 0 0 0 20 0 2 0 869251061 300527616 7214 33554432000 4194304 5683644 140734481150640 18446744073709551615 212447840689 0 0 16781312 33554434 18446604468656414784 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 13.03
Current children cumulated vsize (KiB) 580316
[startup+19.6011 s]
/proc/loadavg: 1.31 0.36 0.12 3/488 29782
/proc/meminfo: memFree=31932100/32951124 swapFree=34789492/67111528
[pid=29773] ppid=29771 vsize=293484 CPUtime=0.45 cores=1,3,5,7
/proc/29773/stat : 29773 (python) S 29771 29773 29517 0 -1 4202496 9707 931 1 0 37 8 0 0 20 0 2 0 869250997 300527616 7214 33554432000 4194304 5683644 140734481150640 18446744073709551615 212447843787 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/29773/statm: 73371 7214 1870 364 0 8258 0
[pid=29779] ppid=29773 vsize=283240 CPUtime=0.06 cores=1,3,5,7
/proc/29779/stat : 29779 (python) S 29773 29773 29517 0 -1 4202560 887 0 0 0 3 3 0 0 18 0 1 0 869251060 290037760 5716 33554432000 4194304 5683644 140734481150640 18446744073709551615 212436037135 0 0 16781312 33554946 5623458817330129802 0 0 17 3 0 0 0
/proc/29779/statm: 70810 5716 376 364 0 5697 0
[pid=29781] ppid=29779 vsize=3872 CPUtime=18.96 cores=1,3,5,7
/proc/29781/stat : 29781 (clasp-1.3.7-x86) R 29779 29781 29781 0 -1 4202496 976 0 0 0 1895 1 0 0 25 0 1 0 869251061 3964928 719 33554432000 134512640 136139019 4290323056 18446744073709551615 134608488 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/29781/statm: 968 719 184 398 0 568 0
[pid=29773/tid=29780] ppid=29771 vsize=293484 CPUtime=0 cores=1,3,5,7
/proc/29773/task/29780/stat : 29780 (python) S 29771 29773 29517 0 -1 4202560 28 931 0 0 0 0 0 0 20 0 2 0 869251061 300527616 7214 33554432000 4194304 5683644 140734481150640 18446744073709551615 212447840689 0 0 16781312 33554434 18446604468656414784 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 19.47
Current children cumulated vsize (KiB) 580596
[startup+21.2008 s]
/proc/loadavg: 1.31 0.36 0.12 3/488 29782
/proc/meminfo: memFree=31930736/32951124 swapFree=34789492/67111528
[pid=29773] ppid=29771 vsize=293484 CPUtime=0.45 cores=1,3,5,7
/proc/29773/stat : 29773 (python) S 29771 29773 29517 0 -1 4202496 9707 931 1 0 37 8 0 0 20 0 2 0 869250997 300527616 7214 33554432000 4194304 5683644 140734481150640 18446744073709551615 212447843787 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/29773/statm: 73371 7214 1870 364 0 8258 0
[pid=29779] ppid=29773 vsize=283240 CPUtime=0.06 cores=1,3,5,7
/proc/29779/stat : 29779 (python) S 29773 29773 29517 0 -1 4202560 887 0 0 0 3 3 0 0 18 0 1 0 869251060 290037760 5716 33554432000 4194304 5683644 140734481150640 18446744073709551615 212436037135 0 0 16781312 33554946 5623458817330129802 0 0 17 3 0 0 0
/proc/29779/statm: 70810 5716 376 364 0 5697 0
[pid=29781] ppid=29779 vsize=4012 CPUtime=20.55 cores=1,3,5,7
/proc/29781/stat : 29781 (clasp-1.3.7-x86) R 29779 29781 29781 0 -1 4202496 992 0 0 0 2054 1 0 0 25 0 1 0 869251061 4108288 735 33554432000 134512640 136139019 4290323056 18446744073709551615 134608376 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/29781/statm: 1003 735 184 398 0 603 0
[pid=29773/tid=29780] ppid=29771 vsize=293484 CPUtime=0 cores=1,3,5,7
/proc/29773/task/29780/stat : 29780 (python) S 29771 29773 29517 0 -1 4202560 28 931 0 0 0 0 0 0 20 0 2 0 869251061 300527616 7214 33554432000 4194304 5683644 140734481150640 18446744073709551615 212447840689 0 0 16781312 33554434 18446604468656414784 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 21.06
Current children cumulated vsize (KiB) 580736
[startup+22.0006 s]
/proc/loadavg: 1.31 0.36 0.12 3/488 29782
/proc/meminfo: memFree=31931604/32951124 swapFree=34789492/67111528
[pid=29773] ppid=29771 vsize=293484 CPUtime=0.45 cores=1,3,5,7
/proc/29773/stat : 29773 (python) S 29771 29773 29517 0 -1 4202496 9707 931 1 0 37 8 0 0 20 0 2 0 869250997 300527616 7214 33554432000 4194304 5683644 140734481150640 18446744073709551615 212447843787 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/29773/statm: 73371 7214 1870 364 0 8258 0
[pid=29779] ppid=29773 vsize=283240 CPUtime=0.06 cores=1,3,5,7
/proc/29779/stat : 29779 (python) S 29773 29773 29517 0 -1 4202560 887 0 0 0 3 3 0 0 18 0 1 0 869251060 290037760 5716 33554432000 4194304 5683644 140734481150640 18446744073709551615 212436037135 0 0 16781312 33554946 5623458817330129802 0 0 17 3 0 0 0
/proc/29779/statm: 70810 5716 376 364 0 5697 0
[pid=29781] ppid=29779 vsize=4012 CPUtime=21.35 cores=1,3,5,7
/proc/29781/stat : 29781 (clasp-1.3.7-x86) R 29779 29781 29781 0 -1 4202496 998 0 0 0 2134 1 0 0 25 0 1 0 869251061 4108288 741 33554432000 134512640 136139019 4290323056 18446744073709551615 134608352 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/29781/statm: 1003 741 184 398 0 603 0
[pid=29773/tid=29780] ppid=29771 vsize=293484 CPUtime=0 cores=1,3,5,7
/proc/29773/task/29780/stat : 29780 (python) S 29771 29773 29517 0 -1 4202560 28 931 0 0 0 0 0 0 20 0 2 0 869251061 300527616 7214 33554432000 4194304 5683644 140734481150640 18446744073709551615 212447840689 0 0 16781312 33554434 18446604468656414784 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 21.86
Current children cumulated vsize (KiB) 580736
[startup+22.4005 s]
/proc/loadavg: 1.31 0.36 0.12 3/488 29782
/proc/meminfo: memFree=31932100/32951124 swapFree=34789492/67111528
[pid=29773] ppid=29771 vsize=293484 CPUtime=0.45 cores=1,3,5,7
/proc/29773/stat : 29773 (python) S 29771 29773 29517 0 -1 4202496 9707 931 1 0 37 8 0 0 20 0 2 0 869250997 300527616 7214 33554432000 4194304 5683644 140734481150640 18446744073709551615 212447843787 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/29773/statm: 73371 7214 1870 364 0 8258 0
[pid=29779] ppid=29773 vsize=283240 CPUtime=0.06 cores=1,3,5,7
/proc/29779/stat : 29779 (python) S 29773 29773 29517 0 -1 4202560 887 0 0 0 3 3 0 0 18 0 1 0 869251060 290037760 5716 33554432000 4194304 5683644 140734481150640 18446744073709551615 212436037135 0 0 16781312 33554946 5623458817330129802 0 0 17 3 0 0 0
/proc/29779/statm: 70810 5716 376 364 0 5697 0
[pid=29781] ppid=29779 vsize=4012 CPUtime=21.77 cores=1,3,5,7
/proc/29781/stat : 29781 (clasp-1.3.7-x86) R 29779 29781 29781 0 -1 4202496 998 0 0 0 2176 1 0 0 25 0 1 0 869251061 4108288 741 33554432000 134512640 136139019 4290323056 18446744073709551615 134883391 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/29781/statm: 1003 741 184 398 0 603 0
[pid=29773/tid=29780] ppid=29771 vsize=293484 CPUtime=0 cores=1,3,5,7
/proc/29773/task/29780/stat : 29780 (python) S 29771 29773 29517 0 -1 4202560 28 931 0 0 0 0 0 0 20 0 2 0 869251061 300527616 7214 33554432000 4194304 5683644 140734481150640 18446744073709551615 212447840689 0 0 16781312 33554434 18446604468656414784 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 22.28
Current children cumulated vsize (KiB) 580736
[startup+22.6005 s]
/proc/loadavg: 1.31 0.36 0.12 3/488 29782
/proc/meminfo: memFree=31932100/32951124 swapFree=34789492/67111528
[pid=29773] ppid=29771 vsize=293484 CPUtime=0.45 cores=1,3,5,7
/proc/29773/stat : 29773 (python) S 29771 29773 29517 0 -1 4202496 9707 931 1 0 37 8 0 0 20 0 2 0 869250997 300527616 7214 33554432000 4194304 5683644 140734481150640 18446744073709551615 212447843787 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/29773/statm: 73371 7214 1870 364 0 8258 0
[pid=29779] ppid=29773 vsize=283240 CPUtime=0.06 cores=1,3,5,7
/proc/29779/stat : 29779 (python) S 29773 29773 29517 0 -1 4202560 887 0 0 0 3 3 0 0 18 0 1 0 869251060 290037760 5716 33554432000 4194304 5683644 140734481150640 18446744073709551615 212436037135 0 0 16781312 33554946 5623458817330129802 0 0 17 3 0 0 0
/proc/29779/statm: 70810 5716 376 364 0 5697 0
[pid=29781] ppid=29779 vsize=4012 CPUtime=21.95 cores=1,3,5,7
/proc/29781/stat : 29781 (clasp-1.3.7-x86) R 29779 29781 29781 0 -1 4202496 998 0 0 0 2194 1 0 0 25 0 1 0 869251061 4108288 741 33554432000 134512640 136139019 4290323056 18446744073709551615 134608341 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/29781/statm: 1003 741 184 398 0 603 0
[pid=29773/tid=29780] ppid=29771 vsize=293484 CPUtime=0 cores=1,3,5,7
/proc/29773/task/29780/stat : 29780 (python) S 29771 29773 29517 0 -1 4202560 28 931 0 0 0 0 0 0 20 0 2 0 869251061 300527616 7214 33554432000 4194304 5683644 140734481150640 18446744073709551615 212447840689 0 0 16781312 33554434 18446604468656414784 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 22.46
Current children cumulated vsize (KiB) 580736
Child status: 0
Real time (s): 22.6635
CPU time (s): 22.5716
CPU user time (s): 22.4236
CPU system time (s): 0.147977
CPU usage (%): 99.5944
Max. virtual memory (cumulated for all children) (KiB): 580736
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 22.4236
system time used= 0.147977
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17259
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= 1695
involuntary context switches= 280
runsolver used 0.096985 second user time and 0.245962 second system time
The end