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-3482435-1307576452/watcher-3482435-1307576452 -o /tmp/evaluation-result-3482435-1307576452/solver-3482435-1307576452 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.dec.pickle HOME/instance-3482435-1307576452.opb -seed 1522333372 -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.63 0.54 0.19 2/542 1073
/proc/meminfo: memFree=28953872/32951124 swapFree=58212620/67111528
[pid=1073] ppid=1071 vsize=15080 CPUtime=0 cores=1,3,5,7
/proc/1073/stat : 1073 (python) S 1071 1073 758 0 -1 4202496 617 0 0 0 0 0 0 0 24 0 1 0 869243286 15441920 513 33554432000 4194304 5683644 140737120290704 18446744073709551615 228244346880 0 2147483391 16781312 2 18446744071699199166 0 0 17 3 0 0 0
/proc/1073/statm: 3770 513 300 364 0 257 0
[startup+0.0487529 s]
/proc/loadavg: 1.63 0.54 0.19 2/542 1073
/proc/meminfo: memFree=28953872/32951124 swapFree=58212620/67111528
[pid=1073] ppid=1071 vsize=16240 CPUtime=0 cores=1,3,5,7
/proc/1073/stat : 1073 (python) S 1071 1073 758 0 -1 4202496 1001 0 0 0 0 0 0 0 24 0 1 0 869243286 16629760 873 33554432000 4194304 5683644 140737120290704 18446744073709551615 228244346880 0 2147483391 16781312 2 18446744071699199166 0 0 17 7 0 0 0
/proc/1073/statm: 4060 873 371 364 0 547 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 16240
[startup+0.100619 s]
/proc/loadavg: 1.63 0.54 0.19 2/542 1073
/proc/meminfo: memFree=28953872/32951124 swapFree=58212620/67111528
[pid=1073] ppid=1071 vsize=29788 CPUtime=0.03 cores=1,3,5,7
/proc/1073/stat : 1073 (python) S 1071 1073 758 0 -1 4202496 1457 0 0 0 2 1 0 0 24 0 1 0 869243286 30502912 1297 33554432000 4194304 5683644 140737120290704 18446744073709551615 228244346880 0 2147483391 16781312 2 18446744071699199166 0 0 17 7 0 0 0
/proc/1073/statm: 7447 1297 443 364 0 817 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 29788
[startup+0.300252 s]
/proc/loadavg: 1.63 0.54 0.19 2/542 1073
/proc/meminfo: memFree=28953872/32951124 swapFree=58212620/67111528
[pid=1073] ppid=1071 vsize=108852 CPUtime=0.11 cores=1,3,5,7
/proc/1073/stat : 1073 (python) S 1071 1073 758 0 -1 4202496 4322 929 1 0 8 3 0 0 17 0 1 0 869243286 111464448 2839 33554432000 4194304 5683644 140737120290704 18446744073709551615 228244346880 0 2147483391 16781312 2 18446744071699199166 0 0 17 7 0 0 0
/proc/1073/statm: 27213 2839 877 364 0 1909 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 108852
[startup+0.700148 s]
/proc/loadavg: 1.63 0.54 0.19 2/542 1073
/proc/meminfo: memFree=28953872/32951124 swapFree=58212620/67111528
[pid=1073] ppid=1071 vsize=205564 CPUtime=0.25 cores=1,3,5,7
/proc/1073/stat : 1073 (python) S 1071 1073 758 0 -1 4202496 6789 929 1 0 18 7 0 0 15 0 1 0 869243286 210497536 5056 33554432000 4194304 5683644 140737120290704 18446744073709551615 228244346880 0 2147483391 16781312 2 18446744071699199166 0 0 17 7 0 0 0
/proc/1073/statm: 51391 5056 1483 364 0 3782 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 205564
[startup+1.50104 s]
/proc/loadavg: 1.63 0.54 0.19 2/543 1078
/proc/meminfo: memFree=28930324/32951124 swapFree=58212620/67111528
[pid=1073] ppid=1071 vsize=293476 CPUtime=0.46 cores=1,3,5,7
/proc/1073/stat : 1073 (python) S 1071 1073 758 0 -1 4202496 9710 929 1 0 37 9 0 0 17 0 2 0 869243286 300519424 7213 33554432000 4194304 5683644 140737120290704 18446744073709551615 228256175563 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/1073/statm: 73369 7213 1870 364 0 8256 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 293476
[startup+3.10076 s]
/proc/loadavg: 1.63 0.54 0.19 3/546 1081
/proc/meminfo: memFree=28924844/32951124 swapFree=58212620/67111528
[pid=1073] ppid=1071 vsize=293476 CPUtime=0.46 cores=1,3,5,7
/proc/1073/stat : 1073 (python) S 1071 1073 758 0 -1 4202496 9710 929 1 0 37 9 0 0 17 0 2 0 869243286 300519424 7213 33554432000 4194304 5683644 140737120290704 18446744073709551615 228256175563 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/1073/statm: 73369 7213 1870 364 0 8256 0
[pid=1079] ppid=1073 vsize=283232 CPUtime=0 cores=1,3,5,7
/proc/1079/stat : 1079 (python) S 1073 1073 758 0 -1 4202560 726 0 0 0 0 0 0 0 15 0 1 0 869243391 290029568 5691 33554432000 4194304 5683644 140737120290704 18446744073709551615 228244368911 0 0 16781312 33554946 11711836887990632709 0 0 17 7 0 0 0
/proc/1079/statm: 70808 5691 352 364 0 5695 0
[pid=1081] ppid=1079 vsize=2652 CPUtime=2.04 cores=1,3,5,7
/proc/1081/stat : 1081 (clasp-1.3.7-x86) R 1079 1081 1081 0 -1 4202496 669 0 0 0 204 0 0 0 23 0 1 0 869243392 2715648 411 33554432000 134512640 136139019 4292758064 18446744073709551615 134883428 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/1081/statm: 663 411 184 398 0 263 0
[pid=1073/tid=1080] ppid=1071 vsize=293476 CPUtime=0 cores=1,3,5,7
/proc/1073/task/1080/stat : 1080 (python) S 1071 1073 758 0 -1 4202560 27 929 0 0 0 0 0 0 17 0 2 0 869243392 300519424 7213 33554432000 4194304 5683644 140737120290704 18446744073709551615 228256172465 0 0 16781312 33554434 18446604462142445440 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.5
Current children cumulated vsize (KiB) 579360
[startup+6.32019 s]
/proc/loadavg: 1.74 0.58 0.20 5/546 1081
/proc/meminfo: memFree=28925168/32951124 swapFree=58212620/67111528
[pid=1073] ppid=1071 vsize=293476 CPUtime=0.46 cores=1,3,5,7
/proc/1073/stat : 1073 (python) S 1071 1073 758 0 -1 4202496 9710 929 1 0 37 9 0 0 17 0 2 0 869243286 300519424 7213 33554432000 4194304 5683644 140737120290704 18446744073709551615 228256175563 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/1073/statm: 73369 7213 1870 364 0 8256 0
[pid=1079] ppid=1073 vsize=283232 CPUtime=0.01 cores=1,3,5,7
/proc/1079/stat : 1079 (python) S 1073 1073 758 0 -1 4202560 887 0 0 0 1 0 0 0 15 0 1 0 869243391 290029568 5714 33554432000 4194304 5683644 140737120290704 18446744073709551615 228244368911 0 0 16781312 33554946 11711833864333656325 0 0 17 7 0 0 0
/proc/1079/statm: 70808 5714 375 364 0 5695 0
[pid=1081] ppid=1079 vsize=3052 CPUtime=5.26 cores=1,3,5,7
/proc/1081/stat : 1081 (clasp-1.3.7-x86) R 1079 1081 1081 0 -1 4202496 759 0 0 0 526 0 0 0 25 0 1 0 869243392 3125248 501 33554432000 134512640 136139019 4292758064 18446744073709551615 134883787 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/1081/statm: 763 501 184 398 0 363 0
[pid=1073/tid=1080] ppid=1071 vsize=293476 CPUtime=0 cores=1,3,5,7
/proc/1073/task/1080/stat : 1080 (python) S 1071 1073 758 0 -1 4202560 27 929 0 0 0 0 0 0 17 0 2 0 869243392 300519424 7213 33554432000 4194304 5683644 140737120290704 18446744073709551615 228256172465 0 0 16781312 33554434 18446604462142445440 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 5.73
Current children cumulated vsize (KiB) 579760
[startup+12.7011 s]
/proc/loadavg: 1.76 0.61 0.21 5/546 1082
/proc/meminfo: memFree=28922468/32951124 swapFree=58212620/67111528
[pid=1073] ppid=1071 vsize=293476 CPUtime=0.46 cores=1,3,5,7
/proc/1073/stat : 1073 (python) S 1071 1073 758 0 -1 4202496 9710 929 1 0 37 9 0 0 17 0 2 0 869243286 300519424 7213 33554432000 4194304 5683644 140737120290704 18446744073709551615 228256175563 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/1073/statm: 73369 7213 1870 364 0 8256 0
[pid=1079] ppid=1073 vsize=283232 CPUtime=0.03 cores=1,3,5,7
/proc/1079/stat : 1079 (python) S 1073 1073 758 0 -1 4202560 890 0 0 0 2 1 0 0 15 0 1 0 869243391 290029568 5715 33554432000 4194304 5683644 140737120290704 18446744073709551615 228244368911 0 0 16781312 33554946 5623753486446373750 0 0 17 7 0 0 0
/proc/1079/statm: 70808 5715 376 364 0 5695 0
[pid=1081] ppid=1079 vsize=3580 CPUtime=11.64 cores=1,3,5,7
/proc/1081/stat : 1081 (clasp-1.3.7-x86) R 1079 1081 1081 0 -1 4202496 892 0 0 0 1164 0 0 0 25 0 1 0 869243392 3665920 634 33554432000 134512640 136139019 4292758064 18446744073709551615 134883434 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/1081/statm: 895 634 184 398 0 495 0
[pid=1073/tid=1080] ppid=1071 vsize=293476 CPUtime=0 cores=1,3,5,7
/proc/1073/task/1080/stat : 1080 (python) S 1071 1073 758 0 -1 4202560 27 929 0 0 0 0 0 0 17 0 2 0 869243392 300519424 7213 33554432000 4194304 5683644 140737120290704 18446744073709551615 228256172465 0 0 16781312 33554434 18446604462142445440 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 12.13
Current children cumulated vsize (KiB) 580288
[startup+25.5008 s]
/proc/loadavg: 1.81 0.68 0.24 5/546 1082
/proc/meminfo: memFree=28922700/32951124 swapFree=58212620/67111528
[pid=1073] ppid=1071 vsize=293476 CPUtime=0.46 cores=1,3,5,7
/proc/1073/stat : 1073 (python) S 1071 1073 758 0 -1 4202496 9710 929 1 0 37 9 0 0 17 0 2 0 869243286 300519424 7213 33554432000 4194304 5683644 140737120290704 18446744073709551615 228256175563 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/1073/statm: 73369 7213 1870 364 0 8256 0
[pid=1079] ppid=1073 vsize=283232 CPUtime=0.1 cores=1,3,5,7
/proc/1079/stat : 1079 (python) S 1073 1073 758 0 -1 4202560 899 0 0 0 5 5 0 0 15 0 1 0 869243391 290029568 5715 33554432000 4194304 5683644 140737120290704 18446744073709551615 228244368911 0 0 16781312 33554946 5623753486446373750 0 0 17 7 0 0 0
/proc/1079/statm: 70808 5715 376 364 0 5695 0
[pid=1081] ppid=1079 vsize=4264 CPUtime=24.44 cores=1,3,5,7
/proc/1081/stat : 1081 (clasp-1.3.7-x86) R 1079 1081 1081 0 -1 4202496 1074 0 0 0 2444 0 0 0 25 0 1 0 869243392 4366336 816 33554432000 134512640 136139019 4292758064 18446744073709551615 134883821 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/1081/statm: 1066 816 184 398 0 666 0
[pid=1073/tid=1080] ppid=1071 vsize=293476 CPUtime=0 cores=1,3,5,7
/proc/1073/task/1080/stat : 1080 (python) S 1071 1073 758 0 -1 4202560 27 929 0 0 0 0 0 0 17 0 2 0 869243392 300519424 7213 33554432000 4194304 5683644 140737120290704 18446744073709551615 228256172465 0 0 16781312 33554434 18446604462142445440 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 25
Current children cumulated vsize (KiB) 580972
Solver just ended. Dumping a history of the last processes samples
[startup+26.3007 s]
/proc/loadavg: 1.81 0.68 0.24 5/546 1082
/proc/meminfo: memFree=28922576/32951124 swapFree=58212620/67111528
[pid=1073] ppid=1071 vsize=293476 CPUtime=0.46 cores=1,3,5,7
/proc/1073/stat : 1073 (python) S 1071 1073 758 0 -1 4202496 9710 929 1 0 37 9 0 0 17 0 2 0 869243286 300519424 7213 33554432000 4194304 5683644 140737120290704 18446744073709551615 228256175563 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/1073/statm: 73369 7213 1870 364 0 8256 0
[pid=1079] ppid=1073 vsize=283232 CPUtime=0.1 cores=1,3,5,7
/proc/1079/stat : 1079 (python) S 1073 1073 758 0 -1 4202560 899 0 0 0 5 5 0 0 15 0 1 0 869243391 290029568 5715 33554432000 4194304 5683644 140737120290704 18446744073709551615 228244368911 0 0 16781312 33554946 5623753486446373750 0 0 17 7 0 0 0
/proc/1079/statm: 70808 5715 376 364 0 5695 0
[pid=1081] ppid=1079 vsize=4396 CPUtime=25.24 cores=1,3,5,7
/proc/1081/stat : 1081 (clasp-1.3.7-x86) R 1079 1081 1081 0 -1 4202496 1087 0 0 0 2524 0 0 0 25 0 1 0 869243392 4501504 829 33554432000 134512640 136139019 4292758064 18446744073709551615 134608383 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/1081/statm: 1099 829 184 398 0 699 0
[pid=1073/tid=1080] ppid=1071 vsize=293476 CPUtime=0 cores=1,3,5,7
/proc/1073/task/1080/stat : 1080 (python) S 1071 1073 758 0 -1 4202560 27 929 0 0 0 0 0 0 17 0 2 0 869243392 300519424 7213 33554432000 4194304 5683644 140737120290704 18446744073709551615 228256172465 0 0 16781312 33554434 18446604462142445440 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 25.8
Current children cumulated vsize (KiB) 581104
[startup+39.1004 s]
/proc/loadavg: 1.85 0.74 0.27 5/546 1082
/proc/meminfo: memFree=28924796/32951124 swapFree=58212620/67111528
[pid=1073] ppid=1071 vsize=293476 CPUtime=0.46 cores=1,3,5,7
/proc/1073/stat : 1073 (python) S 1071 1073 758 0 -1 4202496 9710 929 1 0 37 9 0 0 17 0 2 0 869243286 300519424 7213 33554432000 4194304 5683644 140737120290704 18446744073709551615 228256175563 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/1073/statm: 73369 7213 1870 364 0 8256 0
[pid=1079] ppid=1073 vsize=283232 CPUtime=0.14 cores=1,3,5,7
/proc/1079/stat : 1079 (python) S 1073 1073 758 0 -1 4202560 904 0 0 0 7 7 0 0 15 0 1 0 869243391 290029568 5715 33554432000 4194304 5683644 140737120290704 18446744073709551615 228244368911 0 0 16781312 33554946 5623458817330129782 0 0 17 3 0 0 0
/proc/1079/statm: 70808 5715 376 364 0 5695 0
[pid=1081] ppid=1079 vsize=4664 CPUtime=38.04 cores=1,3,5,7
/proc/1081/stat : 1081 (clasp-1.3.7-x86) R 1079 1081 1081 0 -1 4202496 1176 0 0 0 3804 0 0 0 25 0 1 0 869243392 4775936 918 33554432000 134512640 136139019 4292758064 18446744073709551615 134883454 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/1081/statm: 1166 918 184 398 0 766 0
[pid=1073/tid=1080] ppid=1071 vsize=293476 CPUtime=0 cores=1,3,5,7
/proc/1073/task/1080/stat : 1080 (python) S 1071 1073 758 0 -1 4202560 27 929 0 0 0 0 0 0 17 0 2 0 869243392 300519424 7213 33554432000 4194304 5683644 140737120290704 18446744073709551615 228256172465 0 0 16781312 33554434 18446604462142445440 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 38.64
Current children cumulated vsize (KiB) 581372
[startup+42.3009 s]
/proc/loadavg: 1.85 0.74 0.27 5/546 1082
/proc/meminfo: memFree=28924416/32951124 swapFree=58212620/67111528
[pid=1073] ppid=1071 vsize=293476 CPUtime=0.46 cores=1,3,5,7
/proc/1073/stat : 1073 (python) S 1071 1073 758 0 -1 4202496 9710 929 1 0 37 9 0 0 17 0 2 0 869243286 300519424 7213 33554432000 4194304 5683644 140737120290704 18446744073709551615 228256175563 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/1073/statm: 73369 7213 1870 364 0 8256 0
[pid=1079] ppid=1073 vsize=283232 CPUtime=0.15 cores=1,3,5,7
/proc/1079/stat : 1079 (python) S 1073 1073 758 0 -1 4202560 999 0 0 0 7 8 0 0 15 0 1 0 869243391 290029568 5720 33554432000 4194304 5683644 140737120290704 18446744073709551615 228244368911 0 0 16781312 33554946 5623458817330129782 0 0 17 3 0 0 0
/proc/1079/statm: 70808 5720 381 364 0 5695 0
[pid=1081] ppid=1079 vsize=4664 CPUtime=41.24 cores=1,3,5,7
/proc/1081/stat : 1081 (clasp-1.3.7-x86) R 1079 1081 1081 0 -1 4202496 1177 0 0 0 4124 0 0 0 25 0 1 0 869243392 4775936 919 33554432000 134512640 136139019 4292758064 18446744073709551615 134608254 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/1081/statm: 1166 919 184 398 0 766 0
[pid=1073/tid=1080] ppid=1071 vsize=293476 CPUtime=0 cores=1,3,5,7
/proc/1073/task/1080/stat : 1080 (python) S 1071 1073 758 0 -1 4202560 27 929 0 0 0 0 0 0 17 0 2 0 869243392 300519424 7213 33554432000 4194304 5683644 140737120290704 18446744073709551615 228256172465 0 0 16781312 33554434 18446604462142445440 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 41.85
Current children cumulated vsize (KiB) 581372
[startup+45.5003 s]
/proc/loadavg: 1.87 0.76 0.28 5/550 1086
/proc/meminfo: memFree=28787732/32951124 swapFree=58212620/67111528
[pid=1073] ppid=1071 vsize=293476 CPUtime=0.46 cores=1,3,5,7
/proc/1073/stat : 1073 (python) S 1071 1073 758 0 -1 4202496 9710 929 1 0 37 9 0 0 17 0 2 0 869243286 300519424 7213 33554432000 4194304 5683644 140737120290704 18446744073709551615 228256175563 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/1073/statm: 73369 7213 1870 364 0 8256 0
[pid=1079] ppid=1073 vsize=283232 CPUtime=0.17 cores=1,3,5,7
/proc/1079/stat : 1079 (python) S 1073 1073 758 0 -1 4202560 1000 0 0 0 8 9 0 0 15 0 1 0 869243391 290029568 5720 33554432000 4194304 5683644 140737120290704 18446744073709551615 228244368911 0 0 16781312 33554946 5623753486446373750 0 0 17 7 0 0 0
/proc/1079/statm: 70808 5720 381 364 0 5695 0
[pid=1081] ppid=1079 vsize=4800 CPUtime=44.44 cores=1,3,5,7
/proc/1081/stat : 1081 (clasp-1.3.7-x86) R 1079 1081 1081 0 -1 4202496 1206 0 0 0 4444 0 0 0 25 0 1 0 869243392 4915200 948 33554432000 134512640 136139019 4292758064 18446744073709551615 134883764 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/1081/statm: 1200 948 184 398 0 800 0
[pid=1073/tid=1080] ppid=1071 vsize=293476 CPUtime=0 cores=1,3,5,7
/proc/1073/task/1080/stat : 1080 (python) S 1071 1073 758 0 -1 4202560 27 929 0 0 0 0 0 0 17 0 2 0 869243392 300519424 7213 33554432000 4194304 5683644 140737120290704 18446744073709551615 228256172465 0 0 16781312 33554434 18446604462142445440 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 45.07
Current children cumulated vsize (KiB) 581508
[startup+46.3012 s]
/proc/loadavg: 1.87 0.76 0.28 4/550 1086
/proc/meminfo: memFree=28783268/32951124 swapFree=58212620/67111528
[pid=1073] ppid=1071 vsize=293476 CPUtime=0.46 cores=1,3,5,7
/proc/1073/stat : 1073 (python) S 1071 1073 758 0 -1 4202496 9710 929 1 0 37 9 0 0 17 0 2 0 869243286 300519424 7213 33554432000 4194304 5683644 140737120290704 18446744073709551615 228256175563 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/1073/statm: 73369 7213 1870 364 0 8256 0
[pid=1079] ppid=1073 vsize=283232 CPUtime=0.17 cores=1,3,5,7
/proc/1079/stat : 1079 (python) S 1073 1073 758 0 -1 4202560 1000 0 0 0 8 9 0 0 15 0 1 0 869243391 290029568 5720 33554432000 4194304 5683644 140737120290704 18446744073709551615 228244368911 0 0 16781312 33554946 5623753486446373750 0 0 17 7 0 0 0
/proc/1079/statm: 70808 5720 381 364 0 5695 0
[pid=1081] ppid=1079 vsize=4800 CPUtime=45.24 cores=1,3,5,7
/proc/1081/stat : 1081 (clasp-1.3.7-x86) R 1079 1081 1081 0 -1 4202496 1206 0 0 0 4524 0 0 0 25 0 1 0 869243392 4915200 948 33554432000 134512640 136139019 4292758064 18446744073709551615 134883821 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/1081/statm: 1200 948 184 398 0 800 0
[pid=1073/tid=1080] ppid=1071 vsize=293476 CPUtime=0 cores=1,3,5,7
/proc/1073/task/1080/stat : 1080 (python) S 1071 1073 758 0 -1 4202560 27 929 0 0 0 0 0 0 17 0 2 0 869243392 300519424 7213 33554432000 4194304 5683644 140737120290704 18446744073709551615 228256172465 0 0 16781312 33554434 18446604462142445440 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 45.87
Current children cumulated vsize (KiB) 581508
[startup+47.101 s]
/proc/loadavg: 1.87 0.76 0.28 5/550 1086
/proc/meminfo: memFree=28778800/32951124 swapFree=58212620/67111528
[pid=1073] ppid=1071 vsize=293476 CPUtime=0.46 cores=1,3,5,7
/proc/1073/stat : 1073 (python) S 1071 1073 758 0 -1 4202496 9710 929 1 0 37 9 0 0 17 0 2 0 869243286 300519424 7213 33554432000 4194304 5683644 140737120290704 18446744073709551615 228256175563 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/1073/statm: 73369 7213 1870 364 0 8256 0
[pid=1079] ppid=1073 vsize=283232 CPUtime=0.17 cores=1,3,5,7
/proc/1079/stat : 1079 (python) S 1073 1073 758 0 -1 4202560 1000 0 0 0 8 9 0 0 15 0 1 0 869243391 290029568 5720 33554432000 4194304 5683644 140737120290704 18446744073709551615 228244368911 0 0 16781312 33554946 5623753486446373750 0 0 17 7 0 0 0
/proc/1079/statm: 70808 5720 381 364 0 5695 0
[pid=1081] ppid=1079 vsize=4800 CPUtime=46.04 cores=1,3,5,7
/proc/1081/stat : 1081 (clasp-1.3.7-x86) R 1079 1081 1081 0 -1 4202496 1215 0 0 0 4604 0 0 0 25 0 1 0 869243392 4915200 957 33554432000 134512640 136139019 4292758064 18446744073709551615 134883821 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/1081/statm: 1200 957 184 398 0 800 0
[pid=1073/tid=1080] ppid=1071 vsize=293476 CPUtime=0 cores=1,3,5,7
/proc/1073/task/1080/stat : 1080 (python) S 1071 1073 758 0 -1 4202560 27 929 0 0 0 0 0 0 17 0 2 0 869243392 300519424 7213 33554432000 4194304 5683644 140737120290704 18446744073709551615 228256172465 0 0 16781312 33554434 18446604462142445440 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 46.67
Current children cumulated vsize (KiB) 581508
[startup+47.5009 s]
/proc/loadavg: 1.87 0.76 0.28 5/550 1086
/proc/meminfo: memFree=28778800/32951124 swapFree=58212620/67111528
[pid=1073] ppid=1071 vsize=293476 CPUtime=0.46 cores=1,3,5,7
/proc/1073/stat : 1073 (python) S 1071 1073 758 0 -1 4202496 9710 929 1 0 37 9 0 0 17 0 2 0 869243286 300519424 7213 33554432000 4194304 5683644 140737120290704 18446744073709551615 228256175563 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/1073/statm: 73369 7213 1870 364 0 8256 0
[pid=1079] ppid=1073 vsize=283232 CPUtime=0.17 cores=1,3,5,7
/proc/1079/stat : 1079 (python) S 1073 1073 758 0 -1 4202560 1000 0 0 0 8 9 0 0 15 0 1 0 869243391 290029568 5720 33554432000 4194304 5683644 140737120290704 18446744073709551615 228244368911 0 0 16781312 33554946 5623753486446373750 0 0 17 7 0 0 0
/proc/1079/statm: 70808 5720 381 364 0 5695 0
[pid=1081] ppid=1079 vsize=4800 CPUtime=46.44 cores=1,3,5,7
/proc/1081/stat : 1081 (clasp-1.3.7-x86) R 1079 1081 1081 0 -1 4202496 1215 0 0 0 4644 0 0 0 25 0 1 0 869243392 4915200 957 33554432000 134512640 136139019 4292758064 18446744073709551615 134608504 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/1081/statm: 1200 957 184 398 0 800 0
[pid=1073/tid=1080] ppid=1071 vsize=293476 CPUtime=0 cores=1,3,5,7
/proc/1073/task/1080/stat : 1080 (python) S 1071 1073 758 0 -1 4202560 27 929 0 0 0 0 0 0 17 0 2 0 869243392 300519424 7213 33554432000 4194304 5683644 140737120290704 18446744073709551615 228256172465 0 0 16781312 33554434 18446604462142445440 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 47.07
Current children cumulated vsize (KiB) 581508
Child status: 0
Real time (s): 47.5611
CPU time (s): 47.1708
CPU user time (s): 46.9609
CPU system time (s): 0.209968
CPU usage (%): 99.1794
Max. virtual memory (cumulated for all children) (KiB): 581508
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 46.9609
system time used= 0.209968
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17492
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= 1122
involuntary context switches= 61
runsolver used 0.227965 second user time and 0.59191 second system time
The end