runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
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-3729701-1338714043/watcher-3729701-1338714043 -o /tmp/evaluation-result-3729701-1338714043/solver-3729701-1338714043 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.dec.pickle HOME/instance-3729701-1338714043.opb -seed 2099202449 -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: 2.23 1.51 1.46 2/180 28251
/proc/meminfo: memFree=26409424/32873648 swapFree=7120/7120
[pid=28251] ppid=28249 vsize=15380 CPUtime=0 cores=1,3,5,7
/proc/28251/stat : 28251 (python) D 28249 28251 27000 0 -1 4202496 758 0 0 0 0 0 0 0 20 0 1 0 337531705 15749120 631 33554432000 4194304 5683644 140734721598016 140734721542744 219513963408 0 0 16781312 2 18446744072100609316 0 0 17 1 0 0 0 0 0
/proc/28251/statm: 3845 631 334 364 0 287 0
[startup+0.062333 s]
/proc/loadavg: 2.23 1.51 1.46 2/180 28251
/proc/meminfo: memFree=26409424/32873648 swapFree=7120/7120
[pid=28251] ppid=28249 vsize=46012 CPUtime=0.04 cores=1,3,5,7
/proc/28251/stat : 28251 (python) R 28249 28251 27000 0 -1 4202496 2099 0 0 0 3 1 0 0 20 0 1 0 337531705 47116288 1709 33554432000 4194304 5683644 140734721598016 140734721542248 4540219 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0
/proc/28251/statm: 11503 1711 479 364 0 1207 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 46012
[startup+0.100194 s]
/proc/loadavg: 2.23 1.51 1.46 2/180 28251
/proc/meminfo: memFree=26409424/32873648 swapFree=7120/7120
[pid=28251] ppid=28249 vsize=94456 CPUtime=0.07 cores=1,3,5,7
/proc/28251/stat : 28251 (python) R 28249 28251 27000 0 -1 4202496 3448 1009 1 0 6 1 0 0 20 0 1 0 337531705 96722944 2547 33554432000 4194304 5683644 140734721598016 140734721550488 5172007 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0
/proc/28251/statm: 23614 2547 820 364 0 1620 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 94456
[startup+0.300224 s]
/proc/loadavg: 2.23 1.51 1.46 2/180 28251
/proc/meminfo: memFree=26409424/32873648 swapFree=7120/7120
[pid=28251] ppid=28249 vsize=166944 CPUtime=0.21 cores=1,3,5,7
/proc/28251/stat : 28251 (python) R 28249 28251 27000 0 -1 4202496 6579 1009 1 0 17 4 0 0 20 0 1 0 337531705 170950656 4368 33554432000 4194304 5683644 140734721598016 140734721502248 140224319600048 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0
/proc/28251/statm: 41736 4368 1243 364 0 3289 0
Current children cumulated CPU time (s) 0.21
Current children cumulated vsize (KiB) 166944
[startup+0.700197 s]
/proc/loadavg: 2.23 1.51 1.46 2/180 28251
/proc/meminfo: memFree=26409424/32873648 swapFree=7120/7120
[pid=28251] ppid=28249 vsize=357612 CPUtime=0.45 cores=1,3,5,7
/proc/28251/stat : 28251 (python) S 28249 28251 27000 0 -1 4202496 10600 1009 1 0 38 7 0 0 20 0 2 0 337531705 366194688 7282 33554432000 4194304 5683644 140734721598016 140734721592848 219517347085 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/28251/statm: 89403 7282 1892 364 0 24626 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 357612
[startup+1.50028 s]
/proc/loadavg: 2.23 1.51 1.46 3/184 28259
/proc/meminfo: memFree=26384716/32873648 swapFree=7120/7120
[pid=28251] ppid=28249 vsize=357612 CPUtime=0.45 cores=1,3,5,7
/proc/28251/stat : 28251 (python) S 28249 28251 27000 0 -1 4202496 10600 1009 1 0 38 7 0 0 20 0 2 0 337531705 366194688 7282 33554432000 4194304 5683644 140734721598016 140734721592848 219517347085 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/28251/statm: 89403 7282 1892 364 0 24626 0
[pid=28257] ppid=28251 vsize=281832 CPUtime=0 cores=1,3,5,7
/proc/28257/stat : 28257 (python) S 28251 28251 27000 0 -1 4202560 714 0 0 0 0 0 0 0 20 0 1 0 337531762 288595968 5722 33554432000 4194304 5683644 140734721598016 140734721589104 219513979304 0 0 16781312 33554946 18446744071580425449 0 0 17 5 0 0 0 0 0
/proc/28257/statm: 70458 5722 338 364 0 5681 0
[pid=28259] ppid=28257 vsize=2392 CPUtime=0.92 cores=1,3,5,7
/proc/28259/stat : 28259 (clasp-1.3.7-x86) R 28257 28259 28259 0 -1 4202496 597 0 0 0 92 0 0 0 20 0 1 0 337531762 2449408 350 33554432000 134512640 136139019 4287671312 4287670288 134634718 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0
/proc/28259/statm: 598 350 183 398 0 198 0
[pid=28251/tid=28258] ppid=28249 vsize=357612 CPUtime=0 cores=1,3,5,7
/proc/28251/task/28258/stat : 28258 (python) S 28249 28251 27000 0 -1 4202560 25 1009 0 0 0 0 0 0 20 0 2 0 337531762 366194688 7282 33554432000 4194304 5683644 140734721598016 140224149000752 219517343520 0 0 16781312 33554434 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.37
Current children cumulated vsize (KiB) 641836
[startup+3.10028 s]
/proc/loadavg: 2.23 1.51 1.46 3/184 28259
/proc/meminfo: memFree=26380272/32873648 swapFree=7120/7120
[pid=28251] ppid=28249 vsize=357612 CPUtime=0.45 cores=1,3,5,7
/proc/28251/stat : 28251 (python) S 28249 28251 27000 0 -1 4202496 10600 1009 1 0 38 7 0 0 20 0 2 0 337531705 366194688 7282 33554432000 4194304 5683644 140734721598016 140734721592848 219517347085 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/28251/statm: 89403 7282 1892 364 0 24626 0
[pid=28257] ppid=28251 vsize=281832 CPUtime=0 cores=1,3,5,7
/proc/28257/stat : 28257 (python) S 28251 28251 27000 0 -1 4202560 737 0 0 0 0 0 0 0 20 0 1 0 337531762 288595968 5725 33554432000 4194304 5683644 140734721598016 140734721589104 219513979304 0 0 16781312 33554946 18446744071580425449 0 0 17 3 0 0 0 0 0
/proc/28257/statm: 70458 5725 341 364 0 5681 0
[pid=28259] ppid=28257 vsize=2660 CPUtime=2.52 cores=1,3,5,7
/proc/28259/stat : 28259 (clasp-1.3.7-x86) R 28257 28259 28259 0 -1 4202496 673 0 0 0 252 0 0 0 20 0 1 0 337531762 2723840 426 33554432000 134512640 136139019 4287671312 4287670144 134832491 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0
/proc/28259/statm: 665 426 183 398 0 265 0
[pid=28251/tid=28258] ppid=28249 vsize=357612 CPUtime=0 cores=1,3,5,7
/proc/28251/task/28258/stat : 28258 (python) S 28249 28251 27000 0 -1 4202560 25 1009 0 0 0 0 0 0 20 0 2 0 337531762 366194688 7282 33554432000 4194304 5683644 140734721598016 140224149000752 219517343520 0 0 16781312 33554434 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 2.97
Current children cumulated vsize (KiB) 642104
[startup+6.30027 s]
/proc/loadavg: 2.29 1.54 1.47 3/184 28259
/proc/meminfo: memFree=26385612/32873648 swapFree=7120/7120
[pid=28251] ppid=28249 vsize=357612 CPUtime=0.45 cores=1,3,5,7
/proc/28251/stat : 28251 (python) S 28249 28251 27000 0 -1 4202496 10600 1009 1 0 38 7 0 0 20 0 2 0 337531705 366194688 7282 33554432000 4194304 5683644 140734721598016 140734721592848 219517347085 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/28251/statm: 89403 7282 1892 364 0 24626 0
[pid=28257] ppid=28251 vsize=281832 CPUtime=0 cores=1,3,5,7
/proc/28257/stat : 28257 (python) S 28251 28251 27000 0 -1 4202560 880 0 0 0 0 0 0 0 20 0 1 0 337531762 288595968 5747 33554432000 4194304 5683644 140734721598016 140734721589104 219513979304 0 0 16781312 33554946 18446744071580425449 0 0 17 3 0 0 0 0 0
/proc/28257/statm: 70458 5747 363 364 0 5681 0
[pid=28259] ppid=28257 vsize=3192 CPUtime=5.72 cores=1,3,5,7
/proc/28259/stat : 28259 (clasp-1.3.7-x86) R 28257 28259 28259 0 -1 4202496 776 0 0 0 572 0 0 0 20 0 1 0 337531762 3268608 529 33554432000 134512640 136139019 4287671312 4287670064 134871060 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0
/proc/28259/statm: 798 529 183 398 0 398 0
[pid=28251/tid=28258] ppid=28249 vsize=357612 CPUtime=0 cores=1,3,5,7
/proc/28251/task/28258/stat : 28258 (python) S 28249 28251 27000 0 -1 4202560 25 1009 0 0 0 0 0 0 20 0 2 0 337531762 366194688 7282 33554432000 4194304 5683644 140734721598016 140224149000752 219517343520 0 0 16781312 33554434 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 6.17
Current children cumulated vsize (KiB) 642636
[startup+12.7003 s]
/proc/loadavg: 2.27 1.54 1.47 3/184 28259
/proc/meminfo: memFree=26385204/32873648 swapFree=7120/7120
[pid=28251] ppid=28249 vsize=357612 CPUtime=0.45 cores=1,3,5,7
/proc/28251/stat : 28251 (python) S 28249 28251 27000 0 -1 4202496 10600 1009 1 0 38 7 0 0 20 0 2 0 337531705 366194688 7282 33554432000 4194304 5683644 140734721598016 140734721592848 219517347085 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/28251/statm: 89403 7282 1892 364 0 24626 0
[pid=28257] ppid=28251 vsize=281832 CPUtime=0.01 cores=1,3,5,7
/proc/28257/stat : 28257 (python) S 28251 28251 27000 0 -1 4202560 886 0 0 0 0 1 0 0 20 0 1 0 337531762 288595968 5748 33554432000 4194304 5683644 140734721598016 140734721589104 219513979304 0 0 16781312 33554946 18446744071580425449 0 0 17 3 0 0 0 0 0
/proc/28257/statm: 70458 5748 364 364 0 5681 0
[pid=28259] ppid=28257 vsize=3600 CPUtime=12.12 cores=1,3,5,7
/proc/28259/stat : 28259 (clasp-1.3.7-x86) R 28257 28259 28259 0 -1 4202496 893 0 0 0 1212 0 0 0 20 0 1 0 337531762 3686400 646 33554432000 134512640 136139019 4287671312 4287670064 134871060 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0
/proc/28259/statm: 900 646 183 398 0 500 0
[pid=28251/tid=28258] ppid=28249 vsize=357612 CPUtime=0 cores=1,3,5,7
/proc/28251/task/28258/stat : 28258 (python) S 28249 28251 27000 0 -1 4202560 25 1009 0 0 0 0 0 0 20 0 2 0 337531762 366194688 7282 33554432000 4194304 5683644 140734721598016 140224149000752 219517343520 0 0 16781312 33554434 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 12.58
Current children cumulated vsize (KiB) 643044
Solver just ended. Dumping a history of the last processes samples
[startup+13.0003 s]
/proc/loadavg: 2.27 1.54 1.47 3/184 28259
/proc/meminfo: memFree=26385204/32873648 swapFree=7120/7120
[pid=28251] ppid=28249 vsize=357612 CPUtime=0.45 cores=1,3,5,7
/proc/28251/stat : 28251 (python) S 28249 28251 27000 0 -1 4202496 10600 1009 1 0 38 7 0 0 20 0 2 0 337531705 366194688 7282 33554432000 4194304 5683644 140734721598016 140734721592848 219517347085 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/28251/statm: 89403 7282 1892 364 0 24626 0
[pid=28257] ppid=28251 vsize=281832 CPUtime=0.01 cores=1,3,5,7
/proc/28257/stat : 28257 (python) S 28251 28251 27000 0 -1 4202560 886 0 0 0 0 1 0 0 20 0 1 0 337531762 288595968 5748 33554432000 4194304 5683644 140734721598016 140734721589104 219513979304 0 0 16781312 33554946 18446744071580425449 0 0 17 3 0 0 0 0 0
/proc/28257/statm: 70458 5748 364 364 0 5681 0
[pid=28259] ppid=28257 vsize=3600 CPUtime=12.42 cores=1,3,5,7
/proc/28259/stat : 28259 (clasp-1.3.7-x86) R 28257 28259 28259 0 -1 4202496 893 0 0 0 1242 0 0 0 20 0 1 0 337531762 3686400 646 33554432000 134512640 136139019 4287671312 4287670288 134634749 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0
/proc/28259/statm: 900 646 183 398 0 500 0
[pid=28251/tid=28258] ppid=28249 vsize=357612 CPUtime=0 cores=1,3,5,7
/proc/28251/task/28258/stat : 28258 (python) S 28249 28251 27000 0 -1 4202560 25 1009 0 0 0 0 0 0 20 0 2 0 337531762 366194688 7282 33554432000 4194304 5683644 140734721598016 140224149000752 219517343520 0 0 16781312 33554434 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 12.88
Current children cumulated vsize (KiB) 643044
[startup+16.2003 s]
/proc/loadavg: 2.25 1.55 1.47 3/184 28259
/proc/meminfo: memFree=26385360/32873648 swapFree=7120/7120
[pid=28251] ppid=28249 vsize=357612 CPUtime=0.45 cores=1,3,5,7
/proc/28251/stat : 28251 (python) S 28249 28251 27000 0 -1 4202496 10600 1009 1 0 38 7 0 0 20 0 2 0 337531705 366194688 7282 33554432000 4194304 5683644 140734721598016 140734721592848 219517347085 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/28251/statm: 89403 7282 1892 364 0 24626 0
[pid=28257] ppid=28251 vsize=281832 CPUtime=0.01 cores=1,3,5,7
/proc/28257/stat : 28257 (python) S 28251 28251 27000 0 -1 4202560 890 0 0 0 0 1 0 0 20 0 1 0 337531762 288595968 5748 33554432000 4194304 5683644 140734721598016 140734721589104 219513979304 0 0 16781312 33554946 18446744071580425449 0 0 17 3 0 0 0 0 0
/proc/28257/statm: 70458 5748 364 364 0 5681 0
[pid=28259] ppid=28257 vsize=3864 CPUtime=15.62 cores=1,3,5,7
/proc/28259/stat : 28259 (clasp-1.3.7-x86) R 28257 28259 28259 0 -1 4202496 961 0 0 0 1562 0 0 0 20 0 1 0 337531762 3956736 714 33554432000 134512640 136139019 4287671312 4287670284 134831712 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0
/proc/28259/statm: 966 714 183 398 0 566 0
[pid=28251/tid=28258] ppid=28249 vsize=357612 CPUtime=0 cores=1,3,5,7
/proc/28251/task/28258/stat : 28258 (python) S 28249 28251 27000 0 -1 4202560 25 1009 0 0 0 0 0 0 20 0 2 0 337531762 366194688 7282 33554432000 4194304 5683644 140734721598016 140224149000752 219517343520 0 0 16781312 33554434 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 16.08
Current children cumulated vsize (KiB) 643308
[startup+17.8003 s]
/proc/loadavg: 2.25 1.55 1.47 3/184 28259
/proc/meminfo: memFree=26385236/32873648 swapFree=7120/7120
[pid=28251] ppid=28249 vsize=357612 CPUtime=0.45 cores=1,3,5,7
/proc/28251/stat : 28251 (python) S 28249 28251 27000 0 -1 4202496 10600 1009 1 0 38 7 0 0 20 0 2 0 337531705 366194688 7282 33554432000 4194304 5683644 140734721598016 140734721592848 219517347085 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/28251/statm: 89403 7282 1892 364 0 24626 0
[pid=28257] ppid=28251 vsize=281832 CPUtime=0.01 cores=1,3,5,7
/proc/28257/stat : 28257 (python) S 28251 28251 27000 0 -1 4202560 890 0 0 0 0 1 0 0 20 0 1 0 337531762 288595968 5748 33554432000 4194304 5683644 140734721598016 140734721589104 219513979304 0 0 16781312 33554946 18446744071580425449 0 0 17 3 0 0 0 0 0
/proc/28257/statm: 70458 5748 364 364 0 5681 0
[pid=28259] ppid=28257 vsize=4004 CPUtime=17.23 cores=1,3,5,7
/proc/28259/stat : 28259 (clasp-1.3.7-x86) R 28257 28259 28259 0 -1 4202496 987 0 0 0 1723 0 0 0 20 0 1 0 337531762 4100096 740 33554432000 134512640 136139019 4287671312 4287670280 134621990 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0
/proc/28259/statm: 1001 740 183 398 0 601 0
[pid=28251/tid=28258] ppid=28249 vsize=357612 CPUtime=0 cores=1,3,5,7
/proc/28251/task/28258/stat : 28258 (python) S 28249 28251 27000 0 -1 4202560 25 1009 0 0 0 0 0 0 20 0 2 0 337531762 366194688 7282 33554432000 4194304 5683644 140734721598016 140224149000752 219517343520 0 0 16781312 33554434 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 17.69
Current children cumulated vsize (KiB) 643448
[startup+18.6002 s]
/proc/loadavg: 2.25 1.55 1.47 3/184 28259
/proc/meminfo: memFree=26385236/32873648 swapFree=7120/7120
[pid=28251] ppid=28249 vsize=357612 CPUtime=0.45 cores=1,3,5,7
/proc/28251/stat : 28251 (python) S 28249 28251 27000 0 -1 4202496 10600 1009 1 0 38 7 0 0 20 0 2 0 337531705 366194688 7282 33554432000 4194304 5683644 140734721598016 140734721592848 219517347085 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/28251/statm: 89403 7282 1892 364 0 24626 0
[pid=28257] ppid=28251 vsize=281832 CPUtime=0.01 cores=1,3,5,7
/proc/28257/stat : 28257 (python) S 28251 28251 27000 0 -1 4202560 890 0 0 0 0 1 0 0 20 0 1 0 337531762 288595968 5748 33554432000 4194304 5683644 140734721598016 140734721589104 219513979304 0 0 16781312 33554946 18446744071580425449 0 0 17 3 0 0 0 0 0
/proc/28257/statm: 70458 5748 364 364 0 5681 0
[pid=28259] ppid=28257 vsize=4004 CPUtime=18.02 cores=1,3,5,7
/proc/28259/stat : 28259 (clasp-1.3.7-x86) R 28257 28259 28259 0 -1 4202496 994 0 0 0 1802 0 0 0 20 0 1 0 337531762 4100096 747 33554432000 134512640 136139019 4287671312 4287670176 134608269 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0
/proc/28259/statm: 1001 747 183 398 0 601 0
[pid=28251/tid=28258] ppid=28249 vsize=357612 CPUtime=0 cores=1,3,5,7
/proc/28251/task/28258/stat : 28258 (python) S 28249 28251 27000 0 -1 4202560 25 1009 0 0 0 0 0 0 20 0 2 0 337531762 366194688 7282 33554432000 4194304 5683644 140734721598016 140224149000752 219517343520 0 0 16781312 33554434 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 18.48
Current children cumulated vsize (KiB) 643448
[startup+19.4003 s]
/proc/loadavg: 2.23 1.56 1.47 3/183 28282
/proc/meminfo: memFree=26383668/32873648 swapFree=7120/7120
[pid=28251] ppid=28249 vsize=357612 CPUtime=0.45 cores=1,3,5,7
/proc/28251/stat : 28251 (python) S 28249 28251 27000 0 -1 4202496 10600 1009 1 0 38 7 0 0 20 0 2 0 337531705 366194688 7282 33554432000 4194304 5683644 140734721598016 140734721592848 219517347085 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/28251/statm: 89403 7282 1892 364 0 24626 0
[pid=28257] ppid=28251 vsize=281832 CPUtime=0.01 cores=1,3,5,7
/proc/28257/stat : 28257 (python) S 28251 28251 27000 0 -1 4202560 890 0 0 0 0 1 0 0 20 0 1 0 337531762 288595968 5748 33554432000 4194304 5683644 140734721598016 140734721589104 219513979304 0 0 16781312 33554946 18446744071580425449 0 0 17 3 0 0 0 0 0
/proc/28257/statm: 70458 5748 364 364 0 5681 0
[pid=28259] ppid=28257 vsize=4004 CPUtime=18.82 cores=1,3,5,7
/proc/28259/stat : 28259 (clasp-1.3.7-x86) R 28257 28259 28259 0 -1 4202496 999 0 0 0 1882 0 0 0 20 0 1 0 337531762 4100096 752 33554432000 134512640 136139019 4287671312 4287669920 134831249 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0
/proc/28259/statm: 1001 752 183 398 0 601 0
[pid=28251/tid=28258] ppid=28249 vsize=357612 CPUtime=0 cores=1,3,5,7
/proc/28251/task/28258/stat : 28258 (python) S 28249 28251 27000 0 -1 4202560 25 1009 0 0 0 0 0 0 20 0 2 0 337531762 366194688 7282 33554432000 4194304 5683644 140734721598016 140224149000752 219517343520 0 0 16781312 33554434 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 19.28
Current children cumulated vsize (KiB) 643448
[startup+19.6003 s]
/proc/loadavg: 2.23 1.56 1.47 3/183 28282
/proc/meminfo: memFree=26383668/32873648 swapFree=7120/7120
[pid=28251] ppid=28249 vsize=357612 CPUtime=0.45 cores=1,3,5,7
/proc/28251/stat : 28251 (python) S 28249 28251 27000 0 -1 4202496 10600 1009 1 0 38 7 0 0 20 0 2 0 337531705 366194688 7282 33554432000 4194304 5683644 140734721598016 140734721592848 219517347085 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/28251/statm: 89403 7282 1892 364 0 24626 0
[pid=28257] ppid=28251 vsize=281832 CPUtime=0.01 cores=1,3,5,7
/proc/28257/stat : 28257 (python) S 28251 28251 27000 0 -1 4202560 890 0 0 0 0 1 0 0 20 0 1 0 337531762 288595968 5748 33554432000 4194304 5683644 140734721598016 140734721589104 219513979304 0 0 16781312 33554946 18446744071580425449 0 0 17 3 0 0 0 0 0
/proc/28257/statm: 70458 5748 364 364 0 5681 0
[pid=28259] ppid=28257 vsize=4004 CPUtime=19.02 cores=1,3,5,7
/proc/28259/stat : 28259 (clasp-1.3.7-x86) R 28257 28259 28259 0 -1 4202496 999 0 0 0 1902 0 0 0 20 0 1 0 337531762 4100096 752 33554432000 134512640 136139019 4287671312 4287670288 134876614 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0
/proc/28259/statm: 1001 752 183 398 0 601 0
[pid=28251/tid=28258] ppid=28249 vsize=357612 CPUtime=0 cores=1,3,5,7
/proc/28251/task/28258/stat : 28258 (python) S 28249 28251 27000 0 -1 4202560 25 1009 0 0 0 0 0 0 20 0 2 0 337531762 366194688 7282 33554432000 4194304 5683644 140734721598016 140224149000752 219517343520 0 0 16781312 33554434 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 19.48
Current children cumulated vsize (KiB) 643448
Child status: 0
Real time (s): 19.6559
CPU time (s): 19.573
CPU user time (s): 19.469
CPU system time (s): 0.103984
CPU usage (%): 99.5785
Max. virtual memory (cumulated for all children) (KiB): 643448
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 19.469
system time used= 0.103984
maximum resident set size= 29388
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18238
page faults= 1
swaps= 0
block input operations= 0
block output operations= 448
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1042
involuntary context switches= 65
runsolver used 0.032994 second user time and 0.075988 second system time
The end