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-3729584-1338714012/watcher-3729584-1338714012 -o /tmp/evaluation-result-3729584-1338714012/solver-3729584-1338714012 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.dec.pickle HOME/instance-3729584-1338714012.opb -seed 1921465666 -budget 1800
running on 4 cores: 0,2,4,6
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.25 1.45 1.44 4/180 28067
/proc/meminfo: memFree=26413092/32873648 swapFree=7120/7120
[pid=28067] ppid=28065 vsize=15380 CPUtime=0 cores=0,2,4,6
/proc/28067/stat : 28067 (python) R 28065 28067 27000 0 -1 4202496 756 0 0 0 0 0 0 0 20 0 1 0 337528602 15749120 629 33554432000 4194304 5683644 140735232359136 140735232303864 219514004407 0 0 16781312 2 0 0 0 17 4 0 0 0 0 0
/proc/28067/statm: 3845 630 334 364 0 287 0
[startup+0.033333 s]
/proc/loadavg: 2.25 1.45 1.44 4/180 28067
/proc/meminfo: memFree=26413092/32873648 swapFree=7120/7120
[pid=28067] ppid=28065 vsize=19116 CPUtime=0.01 cores=0,2,4,6
/proc/28067/stat : 28067 (python) R 28065 28067 27000 0 -1 4202496 1361 0 0 0 1 0 0 0 20 0 1 0 337528602 19574784 1120 33554432000 4194304 5683644 140735232359136 140735232303368 219513589652 0 0 16781312 2 0 0 0 17 4 0 0 0 0 0
/proc/28067/statm: 4779 1124 430 364 0 703 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 19116
[startup+0.100254 s]
/proc/loadavg: 2.25 1.45 1.44 4/180 28067
/proc/meminfo: memFree=26413092/32873648 swapFree=7120/7120
[pid=28067] ppid=28065 vsize=92392 CPUtime=0.06 cores=0,2,4,6
/proc/28067/stat : 28067 (python) R 28065 28067 27000 0 -1 4202496 3220 505 1 0 4 2 0 0 20 0 1 0 337528602 94609408 2540 33554432000 4194304 5683644 140735232359136 140735232311608 5177358 0 0 16781312 2 0 0 0 17 2 0 0 0 0 0
/proc/28067/statm: 23098 2540 816 364 0 1620 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 92392
[startup+0.30022 s]
/proc/loadavg: 2.25 1.45 1.44 4/180 28067
/proc/meminfo: memFree=26413092/32873648 swapFree=7120/7120
[pid=28067] ppid=28065 vsize=164880 CPUtime=0.22 cores=0,2,4,6
/proc/28067/stat : 28067 (python) R 28065 28067 27000 0 -1 4202496 6503 1011 1 0 16 6 0 0 20 0 1 0 337528602 168837120 4307 33554432000 4194304 5683644 140735232359136 140735232231656 219513962244 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0
/proc/28067/statm: 41220 4307 1207 364 0 3290 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 164880
[startup+0.700199 s]
/proc/loadavg: 2.25 1.45 1.44 4/180 28067
/proc/meminfo: memFree=26413092/32873648 swapFree=7120/7120
[pid=28067] ppid=28065 vsize=357612 CPUtime=0.49 cores=0,2,4,6
/proc/28067/stat : 28067 (python) S 28065 28067 27000 0 -1 4202496 10608 1011 1 0 38 11 0 0 20 0 2 0 337528602 366194688 7289 33554432000 4194304 5683644 140735232359136 140735232353968 219517347085 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/28067/statm: 89403 7289 1900 364 0 24626 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 357612
[startup+1.50028 s]
/proc/loadavg: 2.25 1.45 1.44 3/184 28075
/proc/meminfo: memFree=26388464/32873648 swapFree=7120/7120
[pid=28067] ppid=28065 vsize=357612 CPUtime=0.49 cores=0,2,4,6
/proc/28067/stat : 28067 (python) S 28065 28067 27000 0 -1 4202496 10608 1011 1 0 38 11 0 0 20 0 2 0 337528602 366194688 7289 33554432000 4194304 5683644 140735232359136 140735232353968 219517347085 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/28067/statm: 89403 7289 1900 364 0 24626 0
[pid=28073] ppid=28067 vsize=281832 CPUtime=0 cores=0,2,4,6
/proc/28073/stat : 28073 (python) S 28067 28067 27000 0 -1 4202560 714 0 0 0 0 0 0 0 20 0 1 0 337528664 288595968 5721 33554432000 4194304 5683644 140735232359136 140735232350224 219513979304 0 0 16781312 33554946 18446744071580425449 0 0 17 4 0 0 0 0 0
/proc/28073/statm: 70458 5721 338 364 0 5681 0
[pid=28075] ppid=28073 vsize=2396 CPUtime=0.88 cores=0,2,4,6
/proc/28075/stat : 28075 (clasp-1.3.7-x86) R 28073 28075 28075 0 -1 4202496 579 0 0 0 88 0 0 0 20 0 1 0 337528664 2453504 331 33554432000 134512640 136139019 4286763392 4286762360 134598640 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0
/proc/28075/statm: 599 331 183 398 0 199 0
[pid=28067/tid=28074] ppid=28065 vsize=357612 CPUtime=0 cores=0,2,4,6
/proc/28067/task/28074/stat : 28074 (python) S 28065 28067 27000 0 -1 4202560 25 1011 0 0 0 0 0 0 20 0 2 0 337528664 366194688 7289 33554432000 4194304 5683644 140735232359136 140044128420400 219517343520 0 0 16781312 33554434 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1.37
Current children cumulated vsize (KiB) 641840
[startup+3.10027 s]
/proc/loadavg: 2.25 1.45 1.44 3/184 28075
/proc/meminfo: memFree=26384496/32873648 swapFree=7120/7120
[pid=28067] ppid=28065 vsize=357612 CPUtime=0.49 cores=0,2,4,6
/proc/28067/stat : 28067 (python) S 28065 28067 27000 0 -1 4202496 10608 1011 1 0 38 11 0 0 20 0 2 0 337528602 366194688 7289 33554432000 4194304 5683644 140735232359136 140735232353968 219517347085 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/28067/statm: 89403 7289 1900 364 0 24626 0
[pid=28073] ppid=28067 vsize=281832 CPUtime=0 cores=0,2,4,6
/proc/28073/stat : 28073 (python) S 28067 28067 27000 0 -1 4202560 737 0 0 0 0 0 0 0 20 0 1 0 337528664 288595968 5724 33554432000 4194304 5683644 140735232359136 140735232350224 219513979304 0 0 16781312 33554946 18446744071580425449 0 0 17 2 0 0 0 0 0
/proc/28073/statm: 70458 5724 341 364 0 5681 0
[pid=28075] ppid=28073 vsize=2660 CPUtime=2.47 cores=0,2,4,6
/proc/28075/stat : 28075 (clasp-1.3.7-x86) R 28073 28075 28075 0 -1 4202496 652 0 0 0 247 0 0 0 20 0 1 0 337528664 2723840 404 33554432000 134512640 136139019 4286763392 4286762368 134883764 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0
/proc/28075/statm: 665 404 183 398 0 265 0
[pid=28067/tid=28074] ppid=28065 vsize=357612 CPUtime=0 cores=0,2,4,6
/proc/28067/task/28074/stat : 28074 (python) S 28065 28067 27000 0 -1 4202560 25 1011 0 0 0 0 0 0 20 0 2 0 337528664 366194688 7289 33554432000 4194304 5683644 140735232359136 140044128420400 219517343520 0 0 16781312 33554434 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 642104
[startup+6.30027 s]
/proc/loadavg: 2.23 1.45 1.44 3/184 28075
/proc/meminfo: memFree=26387616/32873648 swapFree=7120/7120
[pid=28067] ppid=28065 vsize=357612 CPUtime=0.49 cores=0,2,4,6
/proc/28067/stat : 28067 (python) S 28065 28067 27000 0 -1 4202496 10608 1011 1 0 38 11 0 0 20 0 2 0 337528602 366194688 7289 33554432000 4194304 5683644 140735232359136 140735232353968 219517347085 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/28067/statm: 89403 7289 1900 364 0 24626 0
[pid=28073] ppid=28067 vsize=281832 CPUtime=0 cores=0,2,4,6
/proc/28073/stat : 28073 (python) S 28067 28067 27000 0 -1 4202560 880 0 0 0 0 0 0 0 20 0 1 0 337528664 288595968 5746 33554432000 4194304 5683644 140735232359136 140735232350224 219513979304 0 0 16781312 33554946 18446744071580425449 0 0 17 2 0 0 0 0 0
/proc/28073/statm: 70458 5746 363 364 0 5681 0
[pid=28075] ppid=28073 vsize=3056 CPUtime=5.67 cores=0,2,4,6
/proc/28075/stat : 28075 (clasp-1.3.7-x86) R 28073 28075 28075 0 -1 4202496 753 0 0 0 567 0 0 0 20 0 1 0 337528664 3129344 505 33554432000 134512640 136139019 4286763392 4286762456 134871231 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0
/proc/28075/statm: 764 505 183 398 0 364 0
[pid=28067/tid=28074] ppid=28065 vsize=357612 CPUtime=0 cores=0,2,4,6
/proc/28067/task/28074/stat : 28074 (python) S 28065 28067 27000 0 -1 4202560 25 1011 0 0 0 0 0 0 20 0 2 0 337528664 366194688 7289 33554432000 4194304 5683644 140735232359136 140044128420400 219517343520 0 0 16781312 33554434 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 6.16
Current children cumulated vsize (KiB) 642500
[startup+12.7003 s]
/proc/loadavg: 2.21 1.46 1.44 3/184 28075
/proc/meminfo: memFree=26388020/32873648 swapFree=7120/7120
[pid=28067] ppid=28065 vsize=357612 CPUtime=0.49 cores=0,2,4,6
/proc/28067/stat : 28067 (python) S 28065 28067 27000 0 -1 4202496 10608 1011 1 0 38 11 0 0 20 0 2 0 337528602 366194688 7289 33554432000 4194304 5683644 140735232359136 140735232353968 219517347085 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/28067/statm: 89403 7289 1900 364 0 24626 0
[pid=28073] ppid=28067 vsize=281832 CPUtime=0.01 cores=0,2,4,6
/proc/28073/stat : 28073 (python) S 28067 28067 27000 0 -1 4202560 886 0 0 0 0 1 0 0 20 0 1 0 337528664 288595968 5747 33554432000 4194304 5683644 140735232359136 140735232350224 219513979304 0 0 16781312 33554946 18446744071580425449 0 0 17 2 0 0 0 0 0
/proc/28073/statm: 70458 5747 364 364 0 5681 0
[pid=28075] ppid=28073 vsize=3584 CPUtime=12.07 cores=0,2,4,6
/proc/28075/stat : 28075 (clasp-1.3.7-x86) R 28073 28075 28075 0 -1 4202496 876 0 0 0 1207 0 0 0 20 0 1 0 337528664 3670016 628 33554432000 134512640 136139019 4286763392 4286762368 134882910 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0
/proc/28075/statm: 896 628 183 398 0 496 0
[pid=28067/tid=28074] ppid=28065 vsize=357612 CPUtime=0 cores=0,2,4,6
/proc/28067/task/28074/stat : 28074 (python) S 28065 28067 27000 0 -1 4202560 25 1011 0 0 0 0 0 0 20 0 2 0 337528664 366194688 7289 33554432000 4194304 5683644 140735232359136 140044128420400 219517343520 0 0 16781312 33554434 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 643028
Solver just ended. Dumping a history of the last processes samples
[startup+13.0003 s]
/proc/loadavg: 2.21 1.46 1.44 3/184 28075
/proc/meminfo: memFree=26388020/32873648 swapFree=7120/7120
[pid=28067] ppid=28065 vsize=357612 CPUtime=0.49 cores=0,2,4,6
/proc/28067/stat : 28067 (python) S 28065 28067 27000 0 -1 4202496 10608 1011 1 0 38 11 0 0 20 0 2 0 337528602 366194688 7289 33554432000 4194304 5683644 140735232359136 140735232353968 219517347085 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/28067/statm: 89403 7289 1900 364 0 24626 0
[pid=28073] ppid=28067 vsize=281832 CPUtime=0.01 cores=0,2,4,6
/proc/28073/stat : 28073 (python) S 28067 28067 27000 0 -1 4202560 886 0 0 0 0 1 0 0 20 0 1 0 337528664 288595968 5747 33554432000 4194304 5683644 140735232359136 140735232350224 219513979304 0 0 16781312 33554946 18446744071580425449 0 0 17 2 0 0 0 0 0
/proc/28073/statm: 70458 5747 364 364 0 5681 0
[pid=28075] ppid=28073 vsize=3584 CPUtime=12.37 cores=0,2,4,6
/proc/28075/stat : 28075 (clasp-1.3.7-x86) R 28073 28075 28075 0 -1 4202496 882 0 0 0 1237 0 0 0 20 0 1 0 337528664 3670016 634 33554432000 134512640 136139019 4286763392 4286762272 134598499 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0
/proc/28075/statm: 896 634 183 398 0 496 0
[pid=28067/tid=28074] ppid=28065 vsize=357612 CPUtime=0 cores=0,2,4,6
/proc/28067/task/28074/stat : 28074 (python) S 28065 28067 27000 0 -1 4202560 25 1011 0 0 0 0 0 0 20 0 2 0 337528664 366194688 7289 33554432000 4194304 5683644 140735232359136 140044128420400 219517343520 0 0 16781312 33554434 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 12.87
Current children cumulated vsize (KiB) 643028
[startup+16.2002 s]
/proc/loadavg: 2.20 1.47 1.45 3/184 28075
/proc/meminfo: memFree=26388392/32873648 swapFree=7120/7120
[pid=28067] ppid=28065 vsize=357612 CPUtime=0.49 cores=0,2,4,6
/proc/28067/stat : 28067 (python) S 28065 28067 27000 0 -1 4202496 10608 1011 1 0 38 11 0 0 20 0 2 0 337528602 366194688 7289 33554432000 4194304 5683644 140735232359136 140735232353968 219517347085 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/28067/statm: 89403 7289 1900 364 0 24626 0
[pid=28073] ppid=28067 vsize=281832 CPUtime=0.02 cores=0,2,4,6
/proc/28073/stat : 28073 (python) S 28067 28067 27000 0 -1 4202560 890 0 0 0 1 1 0 0 20 0 1 0 337528664 288595968 5747 33554432000 4194304 5683644 140735232359136 140735232350224 219513979304 0 0 16781312 33554946 18446744071580425449 0 0 17 2 0 0 0 0 0
/proc/28073/statm: 70458 5747 364 364 0 5681 0
[pid=28075] ppid=28073 vsize=3852 CPUtime=15.57 cores=0,2,4,6
/proc/28075/stat : 28075 (clasp-1.3.7-x86) R 28073 28075 28075 0 -1 4202496 959 0 0 0 1557 0 0 0 20 0 1 0 337528664 3944448 711 33554432000 134512640 136139019 4286763392 4286762256 134608964 0 0 16781312 16386 0 0 0 17 6 0 0 0 0 0
/proc/28075/statm: 963 711 183 398 0 563 0
[pid=28067/tid=28074] ppid=28065 vsize=357612 CPUtime=0 cores=0,2,4,6
/proc/28067/task/28074/stat : 28074 (python) S 28065 28067 27000 0 -1 4202560 25 1011 0 0 0 0 0 0 20 0 2 0 337528664 366194688 7289 33554432000 4194304 5683644 140735232359136 140044128420400 219517343520 0 0 16781312 33554434 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 16.08
Current children cumulated vsize (KiB) 643296
[startup+19.4003 s]
/proc/loadavg: 2.20 1.47 1.45 3/184 28075
/proc/meminfo: memFree=26388104/32873648 swapFree=7120/7120
[pid=28067] ppid=28065 vsize=357612 CPUtime=0.49 cores=0,2,4,6
/proc/28067/stat : 28067 (python) S 28065 28067 27000 0 -1 4202496 10608 1011 1 0 38 11 0 0 20 0 2 0 337528602 366194688 7289 33554432000 4194304 5683644 140735232359136 140735232353968 219517347085 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/28067/statm: 89403 7289 1900 364 0 24626 0
[pid=28073] ppid=28067 vsize=281832 CPUtime=0.02 cores=0,2,4,6
/proc/28073/stat : 28073 (python) S 28067 28067 27000 0 -1 4202560 890 0 0 0 1 1 0 0 20 0 1 0 337528664 288595968 5747 33554432000 4194304 5683644 140735232359136 140735232350224 219513979304 0 0 16781312 33554946 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/28073/statm: 70458 5747 364 364 0 5681 0
[pid=28075] ppid=28073 vsize=4124 CPUtime=18.76 cores=0,2,4,6
/proc/28075/stat : 28075 (clasp-1.3.7-x86) R 28073 28075 28075 0 -1 4202496 1009 0 0 0 1876 0 0 0 20 0 1 0 337528664 4222976 761 33554432000 134512640 136139019 4286763392 4286762368 134883428 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0
/proc/28075/statm: 1031 761 183 398 0 631 0
[pid=28067/tid=28074] ppid=28065 vsize=357612 CPUtime=0 cores=0,2,4,6
/proc/28067/task/28074/stat : 28074 (python) S 28065 28067 27000 0 -1 4202560 25 1011 0 0 0 0 0 0 20 0 2 0 337528664 366194688 7289 33554432000 4194304 5683644 140735232359136 140044128420400 219517343520 0 0 16781312 33554434 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 19.27
Current children cumulated vsize (KiB) 643568
[startup+21.0003 s]
/proc/loadavg: 2.18 1.48 1.45 3/184 28075
/proc/meminfo: memFree=26387732/32873648 swapFree=7120/7120
[pid=28067] ppid=28065 vsize=357612 CPUtime=0.49 cores=0,2,4,6
/proc/28067/stat : 28067 (python) S 28065 28067 27000 0 -1 4202496 10608 1011 1 0 38 11 0 0 20 0 2 0 337528602 366194688 7289 33554432000 4194304 5683644 140735232359136 140735232353968 219517347085 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/28067/statm: 89403 7289 1900 364 0 24626 0
[pid=28073] ppid=28067 vsize=281832 CPUtime=0.02 cores=0,2,4,6
/proc/28073/stat : 28073 (python) S 28067 28067 27000 0 -1 4202560 893 0 0 0 1 1 0 0 20 0 1 0 337528664 288595968 5747 33554432000 4194304 5683644 140735232359136 140735232350224 219513979304 0 0 16781312 33554946 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/28073/statm: 70458 5747 364 364 0 5681 0
[pid=28075] ppid=28073 vsize=4124 CPUtime=20.36 cores=0,2,4,6
/proc/28075/stat : 28075 (clasp-1.3.7-x86) R 28073 28075 28075 0 -1 4202496 1031 0 0 0 2036 0 0 0 20 0 1 0 337528664 4222976 783 33554432000 134512640 136139019 4286763392 4286762256 134875821 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0
/proc/28075/statm: 1031 783 183 398 0 631 0
[pid=28067/tid=28074] ppid=28065 vsize=357612 CPUtime=0 cores=0,2,4,6
/proc/28067/task/28074/stat : 28074 (python) S 28065 28067 27000 0 -1 4202560 25 1011 0 0 0 0 0 0 20 0 2 0 337528664 366194688 7289 33554432000 4194304 5683644 140735232359136 140044128420400 219517343520 0 0 16781312 33554434 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 20.87
Current children cumulated vsize (KiB) 643568
[startup+21.4003 s]
/proc/loadavg: 2.18 1.48 1.45 3/184 28075
/proc/meminfo: memFree=26387608/32873648 swapFree=7120/7120
[pid=28067] ppid=28065 vsize=357612 CPUtime=0.49 cores=0,2,4,6
/proc/28067/stat : 28067 (python) S 28065 28067 27000 0 -1 4202496 10608 1011 1 0 38 11 0 0 20 0 2 0 337528602 366194688 7289 33554432000 4194304 5683644 140735232359136 140735232353968 219517347085 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/28067/statm: 89403 7289 1900 364 0 24626 0
[pid=28073] ppid=28067 vsize=281832 CPUtime=0.02 cores=0,2,4,6
/proc/28073/stat : 28073 (python) S 28067 28067 27000 0 -1 4202560 893 0 0 0 1 1 0 0 20 0 1 0 337528664 288595968 5747 33554432000 4194304 5683644 140735232359136 140735232350224 219513979304 0 0 16781312 33554946 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/28073/statm: 70458 5747 364 364 0 5681 0
[pid=28075] ppid=28073 vsize=4124 CPUtime=20.76 cores=0,2,4,6
/proc/28075/stat : 28075 (clasp-1.3.7-x86) R 28073 28075 28075 0 -1 4202496 1031 0 0 0 2076 0 0 0 20 0 1 0 337528664 4222976 783 33554432000 134512640 136139019 4286763392 4286762368 134883428 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0
/proc/28075/statm: 1031 783 183 398 0 631 0
[pid=28067/tid=28074] ppid=28065 vsize=357612 CPUtime=0 cores=0,2,4,6
/proc/28067/task/28074/stat : 28074 (python) S 28065 28067 27000 0 -1 4202560 25 1011 0 0 0 0 0 0 20 0 2 0 337528664 366194688 7289 33554432000 4194304 5683644 140735232359136 140044128420400 219517343520 0 0 16781312 33554434 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 21.27
Current children cumulated vsize (KiB) 643568
[startup+21.6003 s]
/proc/loadavg: 2.18 1.48 1.45 3/184 28075
/proc/meminfo: memFree=26387608/32873648 swapFree=7120/7120
[pid=28067] ppid=28065 vsize=357612 CPUtime=0.49 cores=0,2,4,6
/proc/28067/stat : 28067 (python) S 28065 28067 27000 0 -1 4202496 10608 1011 1 0 38 11 0 0 20 0 2 0 337528602 366194688 7289 33554432000 4194304 5683644 140735232359136 140735232353968 219517347085 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/28067/statm: 89403 7289 1900 364 0 24626 0
[pid=28073] ppid=28067 vsize=281832 CPUtime=0.02 cores=0,2,4,6
/proc/28073/stat : 28073 (python) S 28067 28067 27000 0 -1 4202560 893 0 0 0 1 1 0 0 20 0 1 0 337528664 288595968 5747 33554432000 4194304 5683644 140735232359136 140735232350224 219513979304 0 0 16781312 33554946 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/28073/statm: 70458 5747 364 364 0 5681 0
[pid=28075] ppid=28073 vsize=4124 CPUtime=20.96 cores=0,2,4,6
/proc/28075/stat : 28075 (clasp-1.3.7-x86) R 28073 28075 28075 0 -1 4202496 1033 0 0 0 2096 0 0 0 20 0 1 0 337528664 4222976 785 33554432000 134512640 136139019 4286763392 4286762256 134608214 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0
/proc/28075/statm: 1031 785 183 398 0 631 0
[pid=28067/tid=28074] ppid=28065 vsize=357612 CPUtime=0 cores=0,2,4,6
/proc/28067/task/28074/stat : 28074 (python) S 28065 28067 27000 0 -1 4202560 25 1011 0 0 0 0 0 0 20 0 2 0 337528664 366194688 7289 33554432000 4194304 5683644 140735232359136 140044128420400 219517343520 0 0 16781312 33554434 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 21.47
Current children cumulated vsize (KiB) 643568
[startup+21.7003 s]
/proc/loadavg: 2.18 1.48 1.45 3/184 28075
/proc/meminfo: memFree=26387608/32873648 swapFree=7120/7120
[pid=28067] ppid=28065 vsize=357612 CPUtime=0.49 cores=0,2,4,6
/proc/28067/stat : 28067 (python) S 28065 28067 27000 0 -1 4202496 10608 1011 1 0 38 11 0 0 20 0 2 0 337528602 366194688 7289 33554432000 4194304 5683644 140735232359136 140735232353968 219517347085 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/28067/statm: 89403 7289 1900 364 0 24626 0
[pid=28073] ppid=28067 vsize=281832 CPUtime=0.02 cores=0,2,4,6
/proc/28073/stat : 28073 (python) S 28067 28067 27000 0 -1 4202560 893 0 0 0 1 1 0 0 20 0 1 0 337528664 288595968 5747 33554432000 4194304 5683644 140735232359136 140735232350224 219513979304 0 0 16781312 33554946 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/28073/statm: 70458 5747 364 364 0 5681 0
[pid=28075] ppid=28073 vsize=4124 CPUtime=21.06 cores=0,2,4,6
/proc/28075/stat : 28075 (clasp-1.3.7-x86) R 28073 28075 28075 0 -1 4202496 1033 0 0 0 2106 0 0 0 20 0 1 0 337528664 4222976 785 33554432000 134512640 136139019 4286763392 4286762364 134622001 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0
/proc/28075/statm: 1031 785 183 398 0 631 0
[pid=28067/tid=28074] ppid=28065 vsize=357612 CPUtime=0 cores=0,2,4,6
/proc/28067/task/28074/stat : 28074 (python) S 28065 28067 27000 0 -1 4202560 25 1011 0 0 0 0 0 0 20 0 2 0 337528664 366194688 7289 33554432000 4194304 5683644 140735232359136 140044128420400 219517343520 0 0 16781312 33554434 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 21.57
Current children cumulated vsize (KiB) 643568
Child status: 0
Real time (s): 21.7332
CPU time (s): 21.6357
CPU user time (s): 21.4957
CPU system time (s): 0.139978
CPU usage (%): 99.5516
Max. virtual memory (cumulated for all children) (KiB): 643568
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 21.4957
system time used= 0.139978
maximum resident set size= 29384
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18281
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= 70
runsolver used 0.040993 second user time and 0.12598 second system time
The end