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-3742629-1338725326/watcher-3742629-1338725326 -o /tmp/evaluation-result-3742629-1338725326/solver-3742629-1338725326 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.dec.pickle HOME/instance-3742629-1338725326.opb -seed 1274234174 -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.88 1.98 2.00 2/179 3275
/proc/meminfo: memFree=26817552/32873648 swapFree=7120/7120
[pid=3275] ppid=3273 vsize=15380 CPUtime=0 cores=1,3,5,7
/proc/3275/stat : 3275 (python) D 3273 3275 27000 0 -1 4202496 764 0 0 0 0 0 0 0 20 0 1 0 338659974 15749120 636 33554432000 4194304 5683644 140734907840096 140734907784824 219513963408 0 0 16781312 2 18446744072100609316 0 0 17 1 0 0 0 0 0
/proc/3275/statm: 3845 636 334 364 0 287 0

[startup+0.0545611 s]
/proc/loadavg: 1.88 1.98 2.00 2/179 3275
/proc/meminfo: memFree=26817552/32873648 swapFree=7120/7120
[pid=3275] ppid=3273 vsize=30304 CPUtime=0.03 cores=1,3,5,7
/proc/3275/stat : 3275 (python) R 3273 3275 27000 0 -1 4202496 1659 0 0 0 3 0 0 0 20 0 1 0 338659974 31031296 1362 33554432000 4194304 5683644 140734907840096 140734907756872 219513963408 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0
/proc/3275/statm: 7576 1362 452 364 0 901 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 30304

[startup+0.100178 s]
/proc/loadavg: 1.88 1.98 2.00 2/179 3275
/proc/meminfo: memFree=26817552/32873648 swapFree=7120/7120
[pid=3275] ppid=3273 vsize=94452 CPUtime=0.08 cores=1,3,5,7
/proc/3275/stat : 3275 (python) R 3273 3275 27000 0 -1 4202496 3444 1009 1 0 6 2 0 0 20 0 1 0 338659974 96718848 2546 33554432000 4194304 5683644 140734907840096 140734907792568 219513587429 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0
/proc/3275/statm: 23613 2546 820 364 0 1619 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 94452

[startup+0.300256 s]
/proc/loadavg: 1.88 1.98 2.00 2/179 3275
/proc/meminfo: memFree=26817552/32873648 swapFree=7120/7120
[pid=3275] ppid=3273 vsize=172056 CPUtime=0.24 cores=1,3,5,7
/proc/3275/stat : 3275 (python) R 3273 3275 27000 0 -1 4202496 6843 1009 1 0 19 5 0 0 20 0 1 0 338659974 176185344 4603 33554432000 4194304 5683644 140734907840096 140734907712616 219504799015 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0
/proc/3275/statm: 43014 4603 1259 364 0 3528 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 172056

[startup+0.700182 s]
/proc/loadavg: 1.88 1.98 2.00 2/179 3275
/proc/meminfo: memFree=26817552/32873648 swapFree=7120/7120
[pid=3275] ppid=3273 vsize=359096 CPUtime=0.54 cores=1,3,5,7
/proc/3275/stat : 3275 (python) S 3273 3275 27000 0 -1 4202496 10954 1009 1 0 45 9 0 0 20 0 2 0 338659974 367714304 7633 33554432000 4194304 5683644 140734907840096 140734907834928 219517347085 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3275/statm: 89774 7633 1900 364 0 24997 0
Current children cumulated CPU time (s) 0.54
Current children cumulated vsize (KiB) 359096

[startup+1.50036 s]
/proc/loadavg: 1.88 1.98 2.00 3/187 3287
/proc/meminfo: memFree=26742104/32873648 swapFree=7120/7120
[pid=3275] ppid=3273 vsize=359096 CPUtime=0.54 cores=1,3,5,7
/proc/3275/stat : 3275 (python) S 3273 3275 27000 0 -1 4202496 10954 1009 1 0 45 9 0 0 20 0 2 0 338659974 367714304 7633 33554432000 4194304 5683644 140734907840096 140734907834928 219517347085 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3275/statm: 89774 7633 1900 364 0 24997 0
[pid=3285] ppid=3275 vsize=283316 CPUtime=0 cores=1,3,5,7
/proc/3285/stat : 3285 (python) S 3275 3275 27000 0 -1 4202560 769 0 0 0 0 0 0 0 20 0 1 0 338660037 290115584 6068 33554432000 4194304 5683644 140734907840096 140734907831184 219513979304 0 0 16781312 33554946 18446744071580425449 0 0 17 5 0 0 0 0 0
/proc/3285/statm: 70829 6068 341 364 0 6052 0
[pid=3287] ppid=3285 vsize=71028 CPUtime=0.86 cores=1,3,5,7
/proc/3287/stat : 3287 (scip-2.0.1.linu) R 3285 3287 3287 0 -1 4202496 15055 0 0 0 81 5 0 0 20 0 1 0 338660038 72732672 14451 33554432000 4194304 15243407 140736270933296 140736270929608 13277498 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0
/proc/3287/statm: 17757 14451 689 2698 0 15052 0
[pid=3275/tid=3286] ppid=3273 vsize=359096 CPUtime=0 cores=1,3,5,7
/proc/3275/task/3286/stat : 3286 (python) S 3273 3275 27000 0 -1 4202560 27 1009 0 0 0 0 0 0 20 0 2 0 338660038 367714304 7633 33554432000 4194304 5683644 140734907840096 139828085461552 219517343520 0 0 16781312 33554434 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.4
Current children cumulated vsize (KiB) 713440

[startup+3.10034 s]
/proc/loadavg: 1.88 1.98 2.00 3/187 3287
/proc/meminfo: memFree=26712460/32873648 swapFree=7120/7120
[pid=3275] ppid=3273 vsize=359096 CPUtime=0.54 cores=1,3,5,7
/proc/3275/stat : 3275 (python) S 3273 3275 27000 0 -1 4202496 10954 1009 1 0 45 9 0 0 20 0 2 0 338659974 367714304 7633 33554432000 4194304 5683644 140734907840096 140734907834928 219517347085 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3275/statm: 89774 7633 1900 364 0 24997 0
[pid=3285] ppid=3275 vsize=283316 CPUtime=0 cores=1,3,5,7
/proc/3285/stat : 3285 (python) S 3275 3275 27000 0 -1 4202560 770 0 0 0 0 0 0 0 20 0 1 0 338660037 290115584 6068 33554432000 4194304 5683644 140734907840096 140734907831184 219513979304 0 0 16781312 33554946 18446744071580425449 0 0 17 5 0 0 0 0 0
/proc/3285/statm: 70829 6068 341 364 0 6052 0
[pid=3287] ppid=3285 vsize=94892 CPUtime=2.45 cores=1,3,5,7
/proc/3287/stat : 3287 (scip-2.0.1.linu) R 3285 3287 3287 0 -1 4202496 20906 0 0 0 237 8 0 0 20 0 1 0 338660038 97169408 20302 33554432000 4194304 15243407 140736270933296 140736270929592 13277498 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0
/proc/3287/statm: 23723 20302 693 2698 0 21018 0
[pid=3275/tid=3286] ppid=3273 vsize=359096 CPUtime=0 cores=1,3,5,7
/proc/3275/task/3286/stat : 3286 (python) S 3273 3275 27000 0 -1 4202560 27 1009 0 0 0 0 0 0 20 0 2 0 338660038 367714304 7633 33554432000 4194304 5683644 140734907840096 139828085461552 219517343520 0 0 16781312 33554434 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 2.99
Current children cumulated vsize (KiB) 737304

[startup+6.30036 s]
/proc/loadavg: 1.97 2.00 2.01 3/183 3333
/proc/meminfo: memFree=26767852/32873648 swapFree=7120/7120
[pid=3275] ppid=3273 vsize=359096 CPUtime=0.54 cores=1,3,5,7
/proc/3275/stat : 3275 (python) S 3273 3275 27000 0 -1 4202496 10954 1009 1 0 45 9 0 0 20 0 2 0 338659974 367714304 7633 33554432000 4194304 5683644 140734907840096 140734907834928 219517347085 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3275/statm: 89774 7633 1900 364 0 24997 0
[pid=3285] ppid=3275 vsize=283316 CPUtime=0 cores=1,3,5,7
/proc/3285/stat : 3285 (python) S 3275 3275 27000 0 -1 4202560 886 0 0 0 0 0 0 0 20 0 1 0 338660037 290115584 6091 33554432000 4194304 5683644 140734907840096 140734907831184 219513979304 0 0 16781312 33554946 18446744071580425449 0 0 17 3 0 0 0 0 0
/proc/3285/statm: 70829 6091 364 364 0 6052 0
[pid=3287] ppid=3285 vsize=123452 CPUtime=5.66 cores=1,3,5,7
/proc/3287/stat : 3287 (scip-2.0.1.linu) R 3285 3287 3287 0 -1 4202496 28232 0 0 0 549 17 0 0 20 0 1 0 338660038 126414848 27628 33554432000 4194304 15243407 140736270933296 140736270929608 13277498 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0
/proc/3287/statm: 30863 27628 693 2698 0 28158 0
[pid=3275/tid=3286] ppid=3273 vsize=359096 CPUtime=0 cores=1,3,5,7
/proc/3275/task/3286/stat : 3286 (python) S 3273 3275 27000 0 -1 4202560 27 1009 0 0 0 0 0 0 20 0 2 0 338660038 367714304 7633 33554432000 4194304 5683644 140734907840096 139828085461552 219517343520 0 0 16781312 33554434 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 765864

[startup+12.7003 s]
/proc/loadavg: 2.06 2.01 2.01 3/183 3333
/proc/meminfo: memFree=26680972/32873648 swapFree=7120/7120
[pid=3275] ppid=3273 vsize=359096 CPUtime=0.54 cores=1,3,5,7
/proc/3275/stat : 3275 (python) S 3273 3275 27000 0 -1 4202496 10954 1009 1 0 45 9 0 0 20 0 2 0 338659974 367714304 7633 33554432000 4194304 5683644 140734907840096 140734907834928 219517347085 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3275/statm: 89774 7633 1900 364 0 24997 0
[pid=3285] ppid=3275 vsize=283316 CPUtime=0.01 cores=1,3,5,7
/proc/3285/stat : 3285 (python) S 3275 3275 27000 0 -1 4202560 992 0 0 0 1 0 0 0 20 0 1 0 338660037 290115584 6096 33554432000 4194304 5683644 140734907840096 140734907831184 219513979304 0 0 16781312 33554946 18446744071580425449 0 0 17 3 0 0 0 0 0
/proc/3285/statm: 70829 6096 369 364 0 6052 0
[pid=3287] ppid=3285 vsize=144916 CPUtime=12.06 cores=1,3,5,7
/proc/3287/stat : 3287 (scip-2.0.1.linu) R 3285 3287 3287 0 -1 4202496 33580 0 0 0 1170 36 0 0 20 0 1 0 338660038 148393984 32950 33554432000 4194304 15243407 140736270933296 140736270928008 13354455 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0
/proc/3287/statm: 36229 32950 888 2698 0 33524 0
[pid=3275/tid=3286] ppid=3273 vsize=359096 CPUtime=0 cores=1,3,5,7
/proc/3275/task/3286/stat : 3286 (python) S 3273 3275 27000 0 -1 4202560 27 1009 0 0 0 0 0 0 20 0 2 0 338660038 367714304 7633 33554432000 4194304 5683644 140734907840096 139828085461552 219517343520 0 0 16781312 33554434 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 787328

[startup+25.5004 s]
/proc/loadavg: 2.04 2.01 2.01 3/183 3333
/proc/meminfo: memFree=26666696/32873648 swapFree=7120/7120
[pid=3275] ppid=3273 vsize=359096 CPUtime=0.54 cores=1,3,5,7
/proc/3275/stat : 3275 (python) S 3273 3275 27000 0 -1 4202496 10954 1009 1 0 45 9 0 0 20 0 2 0 338659974 367714304 7633 33554432000 4194304 5683644 140734907840096 140734907834928 219517347085 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3275/statm: 89774 7633 1900 364 0 24997 0
[pid=3285] ppid=3275 vsize=283316 CPUtime=0.03 cores=1,3,5,7
/proc/3285/stat : 3285 (python) S 3275 3275 27000 0 -1 4202560 1004 0 0 0 2 1 0 0 20 0 1 0 338660037 290115584 6096 33554432000 4194304 5683644 140734907840096 140734907831184 219513979304 0 0 16781312 33554946 18446744071580425449 0 0 17 3 0 0 0 0 0
/proc/3285/statm: 70829 6096 369 364 0 6052 0
[pid=3287] ppid=3285 vsize=150992 CPUtime=24.85 cores=1,3,5,7
/proc/3287/stat : 3287 (scip-2.0.1.linu) R 3285 3287 3287 0 -1 4202496 40989 0 0 0 2445 40 0 0 20 0 1 0 338660038 154615808 33876 33554432000 4194304 15243407 140736270933296 140736270927688 13354455 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0
/proc/3287/statm: 37748 33876 949 2698 0 35043 0
[pid=3275/tid=3286] ppid=3273 vsize=359096 CPUtime=0 cores=1,3,5,7
/proc/3275/task/3286/stat : 3286 (python) S 3273 3275 27000 0 -1 4202560 27 1009 0 0 0 0 0 0 20 0 2 0 338660038 367714304 7633 33554432000 4194304 5683644 140734907840096 139828085461552 219517343520 0 0 16781312 33554434 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 25.42
Current children cumulated vsize (KiB) 793404

[startup+51.1004 s]
/proc/loadavg: 2.03 2.01 2.01 3/191 3341
/proc/meminfo: memFree=26657252/32873648 swapFree=7120/7120
[pid=3275] ppid=3273 vsize=435392 CPUtime=0.56 cores=1,3,5,7
/proc/3275/stat : 3275 (python) S 3273 3275 27000 0 -1 4202496 11902 1009 1 0 47 9 0 0 20 0 3 0 338659974 445841408 7768 33554432000 4194304 5683644 140734907840096 140734907834928 219517347085 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3275/statm: 108848 7768 1903 364 0 44068 0
[pid=3285] ppid=3275 vsize=359096 CPUtime=0.07 cores=1,3,5,7
/proc/3285/stat : 3285 (python) S 3275 3275 27000 0 -1 4202560 1154 0 0 0 4 3 0 0 20 0 2 0 338660037 367714304 6131 33554432000 4194304 5683644 140734907840096 140734907831744 219517347085 0 0 16781312 33554946 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3285/statm: 89774 6131 397 364 0 24997 0
[pid=3287] ppid=3285 vsize=149712 CPUtime=46.66 cores=1,3,5,7
/proc/3287/stat : 3287 (scip-2.0.1.linu) T 3285 3287 3287 0 -1 4202496 50089 0 0 0 4621 45 0 0 20 0 1 0 338660038 153305088 33831 33554432000 4194304 15243407 140736270933296 140736270927688 8112837 0 0 16781312 2 18446744071579387992 0 0 17 5 0 0 0 0 0
/proc/3287/statm: 37428 33831 949 2698 0 34723 0
[pid=3285/tid=3334] ppid=3275 vsize=359096 CPUtime=0 cores=1,3,5,7
/proc/3285/task/3334/stat : 3334 (python) S 3275 3275 27000 0 -1 4202560 47 0 0 0 0 0 0 0 20 0 2 0 338664707 367714304 6131 33554432000 4194304 5683644 140734907840096 139828085461552 219517343520 0 0 16781312 33554946 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3335] ppid=3275 vsize=359612 CPUtime=0 cores=1,3,5,7
/proc/3335/stat : 3335 (python) S 3275 3275 27000 0 -1 4202560 899 0 0 0 0 0 0 0 20 0 1 0 338664709 368242688 6217 33554432000 4194304 5683644 140734907840096 140734907831184 219513979363 0 0 16781312 33554946 18446744071580425449 0 0 17 3 0 0 0 0 0
/proc/3335/statm: 89903 6217 358 364 0 25123 0
[pid=3337] ppid=3335 vsize=4688 CPUtime=3.74 cores=1,3,5,7
/proc/3337/stat : 3337 (clasp-1.3.7-x86) R 3335 3337 3337 0 -1 4202496 1185 0 0 0 374 0 0 0 20 0 1 0 338664709 4800512 906 33554432000 134512640 136139019 4289487184 4289486016 134832239 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0
/proc/3337/statm: 1172 906 182 398 0 772 0
[pid=3275/tid=3286] ppid=3273 vsize=435392 CPUtime=0 cores=1,3,5,7
/proc/3275/task/3286/stat : 3286 (python) S 3273 3275 27000 0 -1 4202560 27 1009 0 0 0 0 0 0 20 0 3 0 338660038 445841408 7768 33554432000 4194304 5683644 140734907840096 139828085461552 219517343520 0 0 16781312 33554434 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3275/tid=3336] ppid=3273 vsize=435392 CPUtime=0 cores=1,3,5,7
/proc/3275/task/3336/stat : 3336 (python) S 3273 3275 27000 0 -1 4202560 21 1009 0 0 0 0 0 0 20 0 3 0 338664709 445841408 7768 33554432000 4194304 5683644 140734907840096 139828074971696 219517343520 0 0 16781312 33554434 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 51.03
Current children cumulated vsize (KiB) 1308500

Solver just ended. Dumping a history of the last processes samples

[startup+51.2005 s]
/proc/loadavg: 2.03 2.01 2.01 3/191 3341
/proc/meminfo: memFree=26657252/32873648 swapFree=7120/7120
[pid=3275] ppid=3273 vsize=435392 CPUtime=0.56 cores=1,3,5,7
/proc/3275/stat : 3275 (python) S 3273 3275 27000 0 -1 4202496 11902 1009 1 0 47 9 0 0 20 0 3 0 338659974 445841408 7768 33554432000 4194304 5683644 140734907840096 140734907834928 219517347085 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3275/statm: 108848 7768 1903 364 0 44068 0
[pid=3285] ppid=3275 vsize=359096 CPUtime=0.07 cores=1,3,5,7
/proc/3285/stat : 3285 (python) S 3275 3275 27000 0 -1 4202560 1154 0 0 0 4 3 0 0 20 0 2 0 338660037 367714304 6131 33554432000 4194304 5683644 140734907840096 140734907831744 219517347085 0 0 16781312 33554946 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3285/statm: 89774 6131 397 364 0 24997 0
[pid=3287] ppid=3285 vsize=149712 CPUtime=46.66 cores=1,3,5,7
/proc/3287/stat : 3287 (scip-2.0.1.linu) T 3285 3287 3287 0 -1 4202496 50089 0 0 0 4621 45 0 0 20 0 1 0 338660038 153305088 33831 33554432000 4194304 15243407 140736270933296 140736270927688 8112837 0 0 16781312 2 18446744071579387992 0 0 17 5 0 0 0 0 0
/proc/3287/statm: 37428 33831 949 2698 0 34723 0
[pid=3285/tid=3334] ppid=3275 vsize=359096 CPUtime=0 cores=1,3,5,7
/proc/3285/task/3334/stat : 3334 (python) S 3275 3275 27000 0 -1 4202560 47 0 0 0 0 0 0 0 20 0 2 0 338664707 367714304 6131 33554432000 4194304 5683644 140734907840096 139828085461552 219517343520 0 0 16781312 33554946 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3335] ppid=3275 vsize=359612 CPUtime=0 cores=1,3,5,7
/proc/3335/stat : 3335 (python) S 3275 3275 27000 0 -1 4202560 899 0 0 0 0 0 0 0 20 0 1 0 338664709 368242688 6217 33554432000 4194304 5683644 140734907840096 140734907831184 219513979363 0 0 16781312 33554946 18446744071580425449 0 0 17 3 0 0 0 0 0
/proc/3335/statm: 89903 6217 358 364 0 25123 0
[pid=3337] ppid=3335 vsize=4688 CPUtime=3.84 cores=1,3,5,7
/proc/3337/stat : 3337 (clasp-1.3.7-x86) R 3335 3337 3337 0 -1 4202496 1200 0 0 0 384 0 0 0 20 0 1 0 338664709 4800512 921 33554432000 134512640 136139019 4289487184 4289486160 134883415 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0
/proc/3337/statm: 1172 921 182 398 0 772 0
[pid=3275/tid=3286] ppid=3273 vsize=435392 CPUtime=0 cores=1,3,5,7
/proc/3275/task/3286/stat : 3286 (python) S 3273 3275 27000 0 -1 4202560 27 1009 0 0 0 0 0 0 20 0 3 0 338660038 445841408 7768 33554432000 4194304 5683644 140734907840096 139828085461552 219517343520 0 0 16781312 33554434 18446744071579510697 0 0 -1 3 0 0 0 0 0

################
# More data... #
################

[startup+64.0004 s]
/proc/loadavg: 2.02 2.01 2.01 3/191 3341
/proc/meminfo: memFree=26648312/32873648 swapFree=7120/7120
[pid=3275] ppid=3273 vsize=435392 CPUtime=0.56 cores=1,3,5,7
/proc/3275/stat : 3275 (python) S 3273 3275 27000 0 -1 4202496 11902 1009 1 0 47 9 0 0 20 0 3 0 338659974 445841408 7768 33554432000 4194304 5683644 140734907840096 140734907834928 219517347085 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3275/statm: 108848 7768 1903 364 0 44068 0
[pid=3285] ppid=3275 vsize=359096 CPUtime=0.07 cores=1,3,5,7
/proc/3285/stat : 3285 (python) S 3275 3275 27000 0 -1 4202560 1154 0 0 0 4 3 0 0 20 0 2 0 338660037 367714304 6131 33554432000 4194304 5683644 140734907840096 140734907831744 219517347085 0 0 16781312 33554946 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3285/statm: 89774 6131 397 364 0 24997 0
[pid=3287] ppid=3285 vsize=149712 CPUtime=46.66 cores=1,3,5,7
/proc/3287/stat : 3287 (scip-2.0.1.linu) T 3285 3287 3287 0 -1 4202496 50089 0 0 0 4621 45 0 0 20 0 1 0 338660038 153305088 33831 33554432000 4194304 15243407 140736270933296 140736270927688 8112837 0 0 16781312 2 18446744071579387992 0 0 17 5 0 0 0 0 0
/proc/3287/statm: 37428 33831 949 2698 0 34723 0
[pid=3285/tid=3334] ppid=3275 vsize=359096 CPUtime=0 cores=1,3,5,7
/proc/3285/task/3334/stat : 3334 (python) S 3275 3275 27000 0 -1 4202560 47 0 0 0 0 0 0 0 20 0 2 0 338664707 367714304 6131 33554432000 4194304 5683644 140734907840096 139828085461552 219517343520 0 0 16781312 33554946 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3335] ppid=3275 vsize=359612 CPUtime=0.02 cores=1,3,5,7
/proc/3335/stat : 3335 (python) S 3275 3275 27000 0 -1 4202560 909 0 0 0 1 1 0 0 20 0 1 0 338664709 368242688 6218 33554432000 4194304 5683644 140734907840096 140734907831184 219513979363 0 0 16781312 33554946 18446744071580425449 0 0 17 3 0 0 0 0 0
/proc/3335/statm: 89903 6218 359 364 0 25123 0
[pid=3337] ppid=3335 vsize=7420 CPUtime=16.64 cores=1,3,5,7
/proc/3337/stat : 3337 (clasp-1.3.7-x86) R 3335 3337 3337 0 -1 4202496 1871 0 0 0 1664 0 0 0 20 0 1 0 338664709 7598080 1592 33554432000 134512640 136139019 4289487184 4289486064 134742395 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0
/proc/3337/statm: 1855 1592 182 398 0 1455 0
[pid=3275/tid=3286] ppid=3273 vsize=435392 CPUtime=0 cores=1,3,5,7
/proc/3275/task/3286/stat : 3286 (python) S 3273 3275 27000 0 -1 4202560 27 1009 0 0 0 0 0 0 20 0 3 0 338660038 445841408 7768 33554432000 4194304 5683644 140734907840096 139828085461552 219517343520 0 0 16781312 33554434 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3275/tid=3336] ppid=3273 vsize=435392 CPUtime=0 cores=1,3,5,7
/proc/3275/task/3336/stat : 3336 (python) S 3273 3275 27000 0 -1 4202560 21 1009 0 0 0 0 0 0 20 0 3 0 338664709 445841408 7768 33554432000 4194304 5683644 140734907840096 139828074971696 219517343520 0 0 16781312 33554434 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 63.95
Current children cumulated vsize (KiB) 1311232

[startup+67.2066 s]
/proc/loadavg: 2.02 2.01 2.01 3/191 3341
/proc/meminfo: memFree=26646576/32873648 swapFree=7120/7120
[pid=3275] ppid=3273 vsize=435392 CPUtime=0.56 cores=1,3,5,7
/proc/3275/stat : 3275 (python) S 3273 3275 27000 0 -1 4202496 11902 1009 1 0 47 9 0 0 20 0 3 0 338659974 445841408 7768 33554432000 4194304 5683644 140734907840096 140734907834928 219517347085 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3275/statm: 108848 7768 1903 364 0 44068 0
[pid=3285] ppid=3275 vsize=359096 CPUtime=0.07 cores=1,3,5,7
/proc/3285/stat : 3285 (python) S 3275 3275 27000 0 -1 4202560 1154 0 0 0 4 3 0 0 20 0 2 0 338660037 367714304 6131 33554432000 4194304 5683644 140734907840096 140734907831744 219517347085 0 0 16781312 33554946 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3285/statm: 89774 6131 397 364 0 24997 0
[pid=3287] ppid=3285 vsize=149712 CPUtime=46.66 cores=1,3,5,7
/proc/3287/stat : 3287 (scip-2.0.1.linu) T 3285 3287 3287 0 -1 4202496 50089 0 0 0 4621 45 0 0 20 0 1 0 338660038 153305088 33831 33554432000 4194304 15243407 140736270933296 140736270927688 8112837 0 0 16781312 2 18446744071579387992 0 0 17 5 0 0 0 0 0
/proc/3287/statm: 37428 33831 949 2698 0 34723 0
[pid=3285/tid=3334] ppid=3275 vsize=359096 CPUtime=0 cores=1,3,5,7
/proc/3285/task/3334/stat : 3334 (python) S 3275 3275 27000 0 -1 4202560 47 0 0 0 0 0 0 0 20 0 2 0 338664707 367714304 6131 33554432000 4194304 5683644 140734907840096 139828085461552 219517343520 0 0 16781312 33554946 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3335] ppid=3275 vsize=359612 CPUtime=0.03 cores=1,3,5,7
/proc/3335/stat : 3335 (python) S 3275 3275 27000 0 -1 4202560 910 0 0 0 2 1 0 0 20 0 1 0 338664709 368242688 6218 33554432000 4194304 5683644 140734907840096 140734907831184 219513979363 0 0 16781312 33554946 18446744071580425449 0 0 17 3 0 0 0 0 0
/proc/3335/statm: 89903 6218 359 364 0 25123 0
[pid=3337] ppid=3335 vsize=8332 CPUtime=19.84 cores=1,3,5,7
/proc/3337/stat : 3337 (clasp-1.3.7-x86) R 3335 3337 3337 0 -1 4202496 2113 0 0 0 1984 0 0 0 20 0 1 0 338664709 8531968 1834 33554432000 134512640 136139019 4289487184 4289486048 134608192 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0
/proc/3337/statm: 2083 1834 182 398 0 1683 0
[pid=3275/tid=3286] ppid=3273 vsize=435392 CPUtime=0 cores=1,3,5,7
/proc/3275/task/3286/stat : 3286 (python) S 3273 3275 27000 0 -1 4202560 27 1009 0 0 0 0 0 0 20 0 3 0 338660038 445841408 7768 33554432000 4194304 5683644 140734907840096 139828085461552 219517343520 0 0 16781312 33554434 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3275/tid=3336] ppid=3273 vsize=435392 CPUtime=0 cores=1,3,5,7
/proc/3275/task/3336/stat : 3336 (python) S 3273 3275 27000 0 -1 4202560 21 1009 0 0 0 0 0 0 20 0 3 0 338664709 445841408 7768 33554432000 4194304 5683644 140734907840096 139828074971696 219517343520 0 0 16781312 33554434 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 67.16
Current children cumulated vsize (KiB) 1312144

[startup+70.4004 s]
/proc/loadavg: 2.02 2.01 2.01 3/191 3341
/proc/meminfo: memFree=26645940/32873648 swapFree=7120/7120
[pid=3275] ppid=3273 vsize=435392 CPUtime=0.56 cores=1,3,5,7
/proc/3275/stat : 3275 (python) S 3273 3275 27000 0 -1 4202496 11902 1009 1 0 47 9 0 0 20 0 3 0 338659974 445841408 7768 33554432000 4194304 5683644 140734907840096 140734907834928 219517347085 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3275/statm: 108848 7768 1903 364 0 44068 0
[pid=3285] ppid=3275 vsize=359096 CPUtime=0.07 cores=1,3,5,7
/proc/3285/stat : 3285 (python) S 3275 3275 27000 0 -1 4202560 1154 0 0 0 4 3 0 0 20 0 2 0 338660037 367714304 6131 33554432000 4194304 5683644 140734907840096 140734907831744 219517347085 0 0 16781312 33554946 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3285/statm: 89774 6131 397 364 0 24997 0
[pid=3287] ppid=3285 vsize=149712 CPUtime=46.66 cores=1,3,5,7
/proc/3287/stat : 3287 (scip-2.0.1.linu) T 3285 3287 3287 0 -1 4202496 50089 0 0 0 4621 45 0 0 20 0 1 0 338660038 153305088 33831 33554432000 4194304 15243407 140736270933296 140736270927688 8112837 0 0 16781312 2 18446744071579387992 0 0 17 5 0 0 0 0 0
/proc/3287/statm: 37428 33831 949 2698 0 34723 0
[pid=3285/tid=3334] ppid=3275 vsize=359096 CPUtime=0 cores=1,3,5,7
/proc/3285/task/3334/stat : 3334 (python) S 3275 3275 27000 0 -1 4202560 47 0 0 0 0 0 0 0 20 0 2 0 338664707 367714304 6131 33554432000 4194304 5683644 140734907840096 139828085461552 219517343520 0 0 16781312 33554946 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3335] ppid=3275 vsize=359616 CPUtime=0.03 cores=1,3,5,7
/proc/3335/stat : 3335 (python) R 3275 3275 27000 0 -1 4202560 911 0 0 0 2 1 0 0 20 0 1 0 338664709 368246784 6218 33554432000 4194304 5683644 140734907840096 140734907831184 219513963933 0 0 16781312 33554946 0 0 0 17 3 0 0 0 0 0
/proc/3335/statm: 89903 6218 359 364 0 25123 0
[pid=3337] ppid=3335 vsize=8428 CPUtime=23.04 cores=1,3,5,7
/proc/3337/stat : 3337 (clasp-1.3.7-x86) R 3335 3337 3337 0 -1 4202496 2129 0 0 0 2304 0 0 0 20 0 1 0 338664709 8630272 1850 33554432000 134512640 136139019 4289487184 4289486112 134891514 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0
/proc/3337/statm: 2107 1850 182 398 0 1707 0
[pid=3275/tid=3286] ppid=3273 vsize=435392 CPUtime=0 cores=1,3,5,7
/proc/3275/task/3286/stat : 3286 (python) S 3273 3275 27000 0 -1 4202560 27 1009 0 0 0 0 0 0 20 0 3 0 338660038 445841408 7768 33554432000 4194304 5683644 140734907840096 139828085461552 219517343520 0 0 16781312 33554434 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3275/tid=3336] ppid=3273 vsize=435392 CPUtime=0 cores=1,3,5,7
/proc/3275/task/3336/stat : 3336 (python) S 3273 3275 27000 0 -1 4202560 21 1009 0 0 0 0 0 0 20 0 3 0 338664709 445841408 7768 33554432000 4194304 5683644 140734907840096 139828074971696 219517343520 0 0 16781312 33554434 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 70.36
Current children cumulated vsize (KiB) 1312244

[startup+71.2004 s]
/proc/loadavg: 2.02 2.01 2.01 3/191 3341
/proc/meminfo: memFree=26645940/32873648 swapFree=7120/7120
[pid=3275] ppid=3273 vsize=435392 CPUtime=0.56 cores=1,3,5,7
/proc/3275/stat : 3275 (python) S 3273 3275 27000 0 -1 4202496 11902 1009 1 0 47 9 0 0 20 0 3 0 338659974 445841408 7768 33554432000 4194304 5683644 140734907840096 140734907834928 219517347085 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3275/statm: 108848 7768 1903 364 0 44068 0
[pid=3285] ppid=3275 vsize=359096 CPUtime=0.07 cores=1,3,5,7
/proc/3285/stat : 3285 (python) S 3275 3275 27000 0 -1 4202560 1154 0 0 0 4 3 0 0 20 0 2 0 338660037 367714304 6131 33554432000 4194304 5683644 140734907840096 140734907831744 219517347085 0 0 16781312 33554946 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3285/statm: 89774 6131 397 364 0 24997 0
[pid=3287] ppid=3285 vsize=149712 CPUtime=46.66 cores=1,3,5,7
/proc/3287/stat : 3287 (scip-2.0.1.linu) T 3285 3287 3287 0 -1 4202496 50089 0 0 0 4621 45 0 0 20 0 1 0 338660038 153305088 33831 33554432000 4194304 15243407 140736270933296 140736270927688 8112837 0 0 16781312 2 18446744071579387992 0 0 17 5 0 0 0 0 0
/proc/3287/statm: 37428 33831 949 2698 0 34723 0
[pid=3285/tid=3334] ppid=3275 vsize=359096 CPUtime=0 cores=1,3,5,7
/proc/3285/task/3334/stat : 3334 (python) S 3275 3275 27000 0 -1 4202560 47 0 0 0 0 0 0 0 20 0 2 0 338664707 367714304 6131 33554432000 4194304 5683644 140734907840096 139828085461552 219517343520 0 0 16781312 33554946 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3335] ppid=3275 vsize=359612 CPUtime=0.03 cores=1,3,5,7
/proc/3335/stat : 3335 (python) S 3275 3275 27000 0 -1 4202560 911 0 0 0 2 1 0 0 20 0 1 0 338664709 368242688 6218 33554432000 4194304 5683644 140734907840096 140734907831184 219513979363 0 0 16781312 33554946 18446744071580425449 0 0 17 3 0 0 0 0 0
/proc/3335/statm: 89903 6218 359 364 0 25123 0
[pid=3337] ppid=3335 vsize=8428 CPUtime=23.83 cores=1,3,5,7
/proc/3337/stat : 3337 (clasp-1.3.7-x86) R 3335 3337 3337 0 -1 4202496 2129 0 0 0 2383 0 0 0 20 0 1 0 338664709 8630272 1850 33554432000 134512640 136139019 4289487184 4289486160 134883616 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0
/proc/3337/statm: 2107 1850 182 398 0 1707 0
[pid=3275/tid=3286] ppid=3273 vsize=435392 CPUtime=0 cores=1,3,5,7
/proc/3275/task/3286/stat : 3286 (python) S 3273 3275 27000 0 -1 4202560 27 1009 0 0 0 0 0 0 20 0 3 0 338660038 445841408 7768 33554432000 4194304 5683644 140734907840096 139828085461552 219517343520 0 0 16781312 33554434 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3275/tid=3336] ppid=3273 vsize=435392 CPUtime=0 cores=1,3,5,7
/proc/3275/task/3336/stat : 3336 (python) S 3273 3275 27000 0 -1 4202560 21 1009 0 0 0 0 0 0 20 0 3 0 338664709 445841408 7768 33554432000 4194304 5683644 140734907840096 139828074971696 219517343520 0 0 16781312 33554434 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 71.15
Current children cumulated vsize (KiB) 1312240

[startup+71.6066 s]
/proc/loadavg: 2.02 2.01 2.01 3/191 3341
/proc/meminfo: memFree=26645940/32873648 swapFree=7120/7120
[pid=3275] ppid=3273 vsize=435392 CPUtime=0.56 cores=1,3,5,7
/proc/3275/stat : 3275 (python) S 3273 3275 27000 0 -1 4202496 11902 1009 1 0 47 9 0 0 20 0 3 0 338659974 445841408 7768 33554432000 4194304 5683644 140734907840096 140734907834928 219517347085 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3275/statm: 108848 7768 1903 364 0 44068 0
[pid=3285] ppid=3275 vsize=359096 CPUtime=0.07 cores=1,3,5,7
/proc/3285/stat : 3285 (python) S 3275 3275 27000 0 -1 4202560 1154 0 0 0 4 3 0 0 20 0 2 0 338660037 367714304 6131 33554432000 4194304 5683644 140734907840096 140734907831744 219517347085 0 0 16781312 33554946 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3285/statm: 89774 6131 397 364 0 24997 0
[pid=3287] ppid=3285 vsize=149712 CPUtime=46.66 cores=1,3,5,7
/proc/3287/stat : 3287 (scip-2.0.1.linu) T 3285 3287 3287 0 -1 4202496 50089 0 0 0 4621 45 0 0 20 0 1 0 338660038 153305088 33831 33554432000 4194304 15243407 140736270933296 140736270927688 8112837 0 0 16781312 2 18446744071579387992 0 0 17 5 0 0 0 0 0
/proc/3287/statm: 37428 33831 949 2698 0 34723 0
[pid=3285/tid=3334] ppid=3275 vsize=359096 CPUtime=0 cores=1,3,5,7
/proc/3285/task/3334/stat : 3334 (python) S 3275 3275 27000 0 -1 4202560 47 0 0 0 0 0 0 0 20 0 2 0 338664707 367714304 6131 33554432000 4194304 5683644 140734907840096 139828085461552 219517343520 0 0 16781312 33554946 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3335] ppid=3275 vsize=359612 CPUtime=0.03 cores=1,3,5,7
/proc/3335/stat : 3335 (python) S 3275 3275 27000 0 -1 4202560 911 0 0 0 2 1 0 0 20 0 1 0 338664709 368242688 6218 33554432000 4194304 5683644 140734907840096 140734907831184 219513979363 0 0 16781312 33554946 18446744071580425449 0 0 17 3 0 0 0 0 0
/proc/3335/statm: 89903 6218 359 364 0 25123 0
[pid=3337] ppid=3335 vsize=8428 CPUtime=24.24 cores=1,3,5,7
/proc/3337/stat : 3337 (clasp-1.3.7-x86) R 3335 3337 3337 0 -1 4202496 2129 0 0 0 2424 0 0 0 20 0 1 0 338664709 8630272 1850 33554432000 134512640 136139019 4289487184 4289486048 134608376 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0
/proc/3337/statm: 2107 1850 182 398 0 1707 0
[pid=3275/tid=3286] ppid=3273 vsize=435392 CPUtime=0 cores=1,3,5,7
/proc/3275/task/3286/stat : 3286 (python) S 3273 3275 27000 0 -1 4202560 27 1009 0 0 0 0 0 0 20 0 3 0 338660038 445841408 7768 33554432000 4194304 5683644 140734907840096 139828085461552 219517343520 0 0 16781312 33554434 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3275/tid=3336] ppid=3273 vsize=435392 CPUtime=0 cores=1,3,5,7
/proc/3275/task/3336/stat : 3336 (python) S 3273 3275 27000 0 -1 4202560 21 1009 0 0 0 0 0 0 20 0 3 0 338664709 445841408 7768 33554432000 4194304 5683644 140734907840096 139828074971696 219517343520 0 0 16781312 33554434 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 71.56
Current children cumulated vsize (KiB) 1312240

[startup+72.0004 s]
/proc/loadavg: 2.02 2.01 2.01 3/191 3341
/proc/meminfo: memFree=26645940/32873648 swapFree=7120/7120
[pid=3275] ppid=3273 vsize=435392 CPUtime=0.56 cores=1,3,5,7
/proc/3275/stat : 3275 (python) S 3273 3275 27000 0 -1 4202496 11902 1009 1 0 47 9 0 0 20 0 3 0 338659974 445841408 7768 33554432000 4194304 5683644 140734907840096 140734907834928 219517347085 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3275/statm: 108848 7768 1903 364 0 44068 0
[pid=3285] ppid=3275 vsize=359096 CPUtime=0.07 cores=1,3,5,7
/proc/3285/stat : 3285 (python) S 3275 3275 27000 0 -1 4202560 1154 0 0 0 4 3 0 0 20 0 2 0 338660037 367714304 6131 33554432000 4194304 5683644 140734907840096 140734907831744 219517347085 0 0 16781312 33554946 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3285/statm: 89774 6131 397 364 0 24997 0
[pid=3287] ppid=3285 vsize=149712 CPUtime=46.66 cores=1,3,5,7
/proc/3287/stat : 3287 (scip-2.0.1.linu) T 3285 3287 3287 0 -1 4202496 50089 0 0 0 4621 45 0 0 20 0 1 0 338660038 153305088 33831 33554432000 4194304 15243407 140736270933296 140736270927688 8112837 0 0 16781312 2 18446744071579387992 0 0 17 5 0 0 0 0 0
/proc/3287/statm: 37428 33831 949 2698 0 34723 0
[pid=3285/tid=3334] ppid=3275 vsize=359096 CPUtime=0 cores=1,3,5,7
/proc/3285/task/3334/stat : 3334 (python) S 3275 3275 27000 0 -1 4202560 47 0 0 0 0 0 0 0 20 0 2 0 338664707 367714304 6131 33554432000 4194304 5683644 140734907840096 139828085461552 219517343520 0 0 16781312 33554946 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3335] ppid=3275 vsize=359612 CPUtime=0.03 cores=1,3,5,7
/proc/3335/stat : 3335 (python) S 3275 3275 27000 0 -1 4202560 911 0 0 0 2 1 0 0 20 0 1 0 338664709 368242688 6218 33554432000 4194304 5683644 140734907840096 140734907831184 219513979363 0 0 16781312 33554946 18446744071580425449 0 0 17 3 0 0 0 0 0
/proc/3335/statm: 89903 6218 359 364 0 25123 0
[pid=3337] ppid=3335 vsize=8428 CPUtime=24.63 cores=1,3,5,7
/proc/3337/stat : 3337 (clasp-1.3.7-x86) R 3335 3337 3337 0 -1 4202496 2129 0 0 0 2463 0 0 0 20 0 1 0 338664709 8630272 1850 33554432000 134512640 136139019 4289487184 4289486048 134608341 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0
/proc/3337/statm: 2107 1850 182 398 0 1707 0
[pid=3275/tid=3286] ppid=3273 vsize=435392 CPUtime=0 cores=1,3,5,7
/proc/3275/task/3286/stat : 3286 (python) S 3273 3275 27000 0 -1 4202560 27 1009 0 0 0 0 0 0 20 0 3 0 338660038 445841408 7768 33554432000 4194304 5683644 140734907840096 139828085461552 219517343520 0 0 16781312 33554434 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3275/tid=3336] ppid=3273 vsize=435392 CPUtime=0 cores=1,3,5,7
/proc/3275/task/3336/stat : 3336 (python) S 3273 3275 27000 0 -1 4202560 21 1009 0 0 0 0 0 0 20 0 3 0 338664709 445841408 7768 33554432000 4194304 5683644 140734907840096 139828074971696 219517343520 0 0 16781312 33554434 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 71.95
Current children cumulated vsize (KiB) 1312240

[startup+72.1004 s]
/proc/loadavg: 2.02 2.01 2.01 3/191 3341
/proc/meminfo: memFree=26645940/32873648 swapFree=7120/7120
[pid=3275] ppid=3273 vsize=0 CPUtime=72.08 cores=1,3,5,7
/proc/3275/stat : 3275 (python) R 3273 3275 27000 0 -1 4202500 16613 55965 1 0 49 9 7099 51 20 0 1 0 338659974 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/3275/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 72.08
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 72.102
CPU time (s): 72.112
CPU user time (s): 71.4941
CPU system time (s): 0.617906
CPU usage (%): 100.014
Max. virtual memory (cumulated for all children) (KiB): 1312276

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 71.4941
system time used= 0.617906
maximum resident set size= 155608
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 72578
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= 1177
involuntary context switches= 225

runsolver used 0.106983 second user time and 0.294955 second system time

The end