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-3482640-1307576480/watcher-3482640-1307576480 -o /tmp/evaluation-result-3482640-1307576480/solver-3482640-1307576480 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.dec.pickle HOME/instance-3482640-1307576480.opb -seed 910709415 -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: 0.99 0.25 0.08 2/501 15332
/proc/meminfo: memFree=30987040/32951124 swapFree=53876552/67111528
[pid=15332] ppid=15330 vsize=16244 CPUtime=0 cores=1,3,5,7
/proc/15332/stat : 15332 (python) R 15330 15332 15018 0 -1 4202496 998 0 0 0 0 0 0 0 20 0 1 0 869249052 16633856 870 33554432000 4194304 5683644 140733739021312 18446744073709551615 270612771525 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/15332/statm: 4061 870 368 364 0 548 0
[startup+0.0611081 s]
/proc/loadavg: 0.99 0.25 0.08 2/501 15332
/proc/meminfo: memFree=30987040/32951124 swapFree=53876552/67111528
[pid=15332] ppid=15330 vsize=40976 CPUtime=0.04 cores=1,3,5,7
/proc/15332/stat : 15332 (python) S 15330 15332 15018 0 -1 4202496 1678 0 0 0 3 1 0 0 17 0 1 0 869249052 41959424 1502 33554432000 4194304 5683644 140733739021312 18446744073709551615 270613108736 0 2147483391 16781312 2 18446744071699199166 0 0 17 7 0 0 0
/proc/15332/statm: 10244 1502 463 364 0 1027 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 40976
[startup+0.107952 s]
/proc/loadavg: 0.99 0.25 0.08 2/501 15332
/proc/meminfo: memFree=30987040/32951124 swapFree=53876552/67111528
[pid=15332] ppid=15330 vsize=96128 CPUtime=0.08 cores=1,3,5,7
/proc/15332/stat : 15332 (python) R 15330 15332 15018 0 -1 4202496 3169 930 1 0 6 2 0 0 18 0 1 0 869249052 98435072 2483 33554432000 4194304 5683644 140733739021312 18446744073709551615 5170261 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/15332/statm: 24032 2483 792 364 0 1627 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 96128
[startup+0.302017 s]
/proc/loadavg: 0.99 0.25 0.08 2/501 15332
/proc/meminfo: memFree=30987040/32951124 swapFree=53876552/67111528
[pid=15332] ppid=15330 vsize=203280 CPUtime=0.24 cores=1,3,5,7
/proc/15332/stat : 15332 (python) S 15330 15332 15018 0 -1 4202496 6713 930 1 0 17 7 0 0 17 0 1 0 869249052 208158720 4992 33554432000 4194304 5683644 140733739021312 18446744073709551615 270613108736 0 2147483391 16781312 2 18446744071699199166 0 0 17 7 0 0 0
/proc/15332/statm: 50820 4992 1472 364 0 3782 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 203280
[startup+0.700783 s]
/proc/loadavg: 0.99 0.25 0.08 2/501 15332
/proc/meminfo: memFree=30987040/32951124 swapFree=53876552/67111528
[pid=15332] ppid=15330 vsize=293484 CPUtime=0.45 cores=1,3,5,7
/proc/15332/stat : 15332 (python) S 15330 15332 15018 0 -1 4202496 9705 930 1 0 36 9 0 0 19 0 2 0 869249052 300527616 7213 33554432000 4194304 5683644 140733739021312 18446744073709551615 270624937419 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/15332/statm: 73371 7213 1870 364 0 8258 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 293484
[startup+1.50064 s]
/proc/loadavg: 0.99 0.25 0.08 3/498 15363
/proc/meminfo: memFree=31081532/32951124 swapFree=53876552/67111528
[pid=15332] ppid=15330 vsize=293484 CPUtime=0.45 cores=1,3,5,7
/proc/15332/stat : 15332 (python) S 15330 15332 15018 0 -1 4202496 9705 930 1 0 36 9 0 0 19 0 2 0 869249052 300527616 7213 33554432000 4194304 5683644 140733739021312 18446744073709551615 270624937419 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/15332/statm: 73371 7213 1870 364 0 8258 0
[pid=15338] ppid=15332 vsize=283240 CPUtime=0 cores=1,3,5,7
/proc/15338/stat : 15338 (python) S 15332 15332 15018 0 -1 4202560 700 0 0 0 0 0 0 0 18 0 1 0 869249106 290037760 5688 33554432000 4194304 5683644 140733739021312 18446744073709551615 270613130767 0 0 16781312 33554946 4289272139300700422 0 0 17 7 0 0 0
/proc/15338/statm: 70810 5688 349 364 0 5697 0
[pid=15340] ppid=15338 vsize=2388 CPUtime=0.95 cores=1,3,5,7
/proc/15340/stat : 15340 (clasp-1.3.7-x86) R 15338 15340 15340 0 -1 4202496 607 0 0 0 95 0 0 0 21 0 1 0 869249107 2445312 350 33554432000 134512640 136139019 4290979408 18446744073709551615 134883434 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/15340/statm: 597 350 184 398 0 197 0
[pid=15332/tid=15339] ppid=15330 vsize=293484 CPUtime=0 cores=1,3,5,7
/proc/15332/task/15339/stat : 15339 (python) S 15330 15332 15018 0 -1 4202560 28 930 0 0 0 0 0 0 19 0 2 0 869249107 300527616 7213 33554432000 4194304 5683644 140733739021312 18446744073709551615 270624934321 0 0 16781312 33554434 18446604455934756160 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.4
Current children cumulated vsize (KiB) 579112
[startup+3.10036 s]
/proc/loadavg: 0.99 0.25 0.08 3/505 15375
/proc/meminfo: memFree=30958720/32951124 swapFree=53876552/67111528
[pid=15332] ppid=15330 vsize=293484 CPUtime=0.45 cores=1,3,5,7
/proc/15332/stat : 15332 (python) S 15330 15332 15018 0 -1 4202496 9705 930 1 0 36 9 0 0 19 0 2 0 869249052 300527616 7213 33554432000 4194304 5683644 140733739021312 18446744073709551615 270624937419 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/15332/statm: 73371 7213 1870 364 0 8258 0
[pid=15338] ppid=15332 vsize=283240 CPUtime=0 cores=1,3,5,7
/proc/15338/stat : 15338 (python) S 15332 15332 15018 0 -1 4202560 724 0 0 0 0 0 0 0 18 0 1 0 869249106 290037760 5691 33554432000 4194304 5683644 140733739021312 18446744073709551615 270613130767 0 0 16781312 33554946 4289266091986747654 0 0 17 7 0 0 0
/proc/15338/statm: 70810 5691 352 364 0 5697 0
[pid=15340] ppid=15338 vsize=2656 CPUtime=2.54 cores=1,3,5,7
/proc/15340/stat : 15340 (clasp-1.3.7-x86) R 15338 15340 15340 0 -1 4202496 666 0 0 0 253 1 0 0 25 0 1 0 869249107 2719744 409 33554432000 134512640 136139019 4290979408 18446744073709551615 134634875 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/15340/statm: 664 409 184 398 0 264 0
[pid=15332/tid=15339] ppid=15330 vsize=293484 CPUtime=0 cores=1,3,5,7
/proc/15332/task/15339/stat : 15339 (python) S 15330 15332 15018 0 -1 4202560 28 930 0 0 0 0 0 0 19 0 2 0 869249107 300527616 7213 33554432000 4194304 5683644 140733739021312 18446744073709551615 270624934321 0 0 16781312 33554434 18446604455934756160 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.99
Current children cumulated vsize (KiB) 579380
[startup+6.30076 s]
/proc/loadavg: 1.31 0.33 0.11 2/498 15392
/proc/meminfo: memFree=31087352/32951124 swapFree=53876552/67111528
[pid=15332] ppid=15330 vsize=293484 CPUtime=0.45 cores=1,3,5,7
/proc/15332/stat : 15332 (python) S 15330 15332 15018 0 -1 4202496 9705 930 1 0 36 9 0 0 19 0 2 0 869249052 300527616 7213 33554432000 4194304 5683644 140733739021312 18446744073709551615 270624937419 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/15332/statm: 73371 7213 1870 364 0 8258 0
[pid=15338] ppid=15332 vsize=283240 CPUtime=0.01 cores=1,3,5,7
/proc/15338/stat : 15338 (python) S 15332 15332 15018 0 -1 4202560 892 0 0 0 0 1 0 0 18 0 1 0 869249106 290037760 5724 33554432000 4194304 5683644 140733739021312 18446744073709551615 270613130767 0 0 16781312 33554946 4289266091986747654 0 0 17 3 0 0 0
/proc/15338/statm: 70810 5724 385 364 0 5697 0
[pid=15340] ppid=15338 vsize=3052 CPUtime=5.74 cores=1,3,5,7
/proc/15340/stat : 15340 (clasp-1.3.7-x86) R 15338 15340 15340 0 -1 4202496 767 0 0 0 572 2 0 0 25 0 1 0 869249107 3125248 510 33554432000 134512640 136139019 4290979408 18446744073709551615 134883859 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/15340/statm: 763 510 184 398 0 363 0
[pid=15332/tid=15339] ppid=15330 vsize=293484 CPUtime=0 cores=1,3,5,7
/proc/15332/task/15339/stat : 15339 (python) S 15330 15332 15018 0 -1 4202560 28 930 0 0 0 0 0 0 19 0 2 0 869249107 300527616 7213 33554432000 4194304 5683644 140733739021312 18446744073709551615 270624934321 0 0 16781312 33554434 18446604455934756160 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 579776
[startup+12.7007 s]
/proc/loadavg: 1.29 0.34 0.11 3/502 15443
/proc/meminfo: memFree=30879052/32951124 swapFree=53876552/67111528
[pid=15332] ppid=15330 vsize=293484 CPUtime=0.45 cores=1,3,5,7
/proc/15332/stat : 15332 (python) S 15330 15332 15018 0 -1 4202496 9705 930 1 0 36 9 0 0 19 0 2 0 869249052 300527616 7213 33554432000 4194304 5683644 140733739021312 18446744073709551615 270624937419 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/15332/statm: 73371 7213 1870 364 0 8258 0
[pid=15338] ppid=15332 vsize=283240 CPUtime=0.03 cores=1,3,5,7
/proc/15338/stat : 15338 (python) S 15332 15332 15018 0 -1 4202560 895 0 0 0 1 2 0 0 18 0 1 0 869249106 290037760 5724 33554432000 4194304 5683644 140733739021312 18446744073709551615 270613130767 0 0 16781312 33554946 5623753486446373554 0 0 17 7 0 0 0
/proc/15338/statm: 70810 5724 385 364 0 5697 0
[pid=15340] ppid=15338 vsize=3584 CPUtime=12.15 cores=1,3,5,7
/proc/15340/stat : 15340 (clasp-1.3.7-x86) R 15338 15340 15340 0 -1 4202496 897 0 0 0 1210 5 0 0 25 0 1 0 869249107 3670016 640 33554432000 134512640 136139019 4290979408 18446744073709551615 134599067 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/15340/statm: 896 640 184 398 0 496 0
[pid=15332/tid=15339] ppid=15330 vsize=293484 CPUtime=0 cores=1,3,5,7
/proc/15332/task/15339/stat : 15339 (python) S 15330 15332 15018 0 -1 4202560 28 930 0 0 0 0 0 0 19 0 2 0 869249107 300527616 7213 33554432000 4194304 5683644 140733739021312 18446744073709551615 270624934321 0 0 16781312 33554434 18446604455934756160 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 12.63
Current children cumulated vsize (KiB) 580308
[startup+25.5004 s]
/proc/loadavg: 1.40 0.39 0.13 3/498 15469
/proc/meminfo: memFree=31028416/32951124 swapFree=53876552/67111528
[pid=15332] ppid=15330 vsize=293484 CPUtime=0.45 cores=1,3,5,7
/proc/15332/stat : 15332 (python) S 15330 15332 15018 0 -1 4202496 9705 930 1 0 36 9 0 0 19 0 2 0 869249052 300527616 7213 33554432000 4194304 5683644 140733739021312 18446744073709551615 270624937419 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/15332/statm: 73371 7213 1870 364 0 8258 0
[pid=15338] ppid=15332 vsize=283240 CPUtime=0.1 cores=1,3,5,7
/proc/15338/stat : 15338 (python) S 15332 15332 15018 0 -1 4202560 901 0 0 0 4 6 0 0 18 0 1 0 869249106 290037760 5724 33554432000 4194304 5683644 140733739021312 18446744073709551615 270613130767 0 0 16781312 33554946 5623753486446373554 0 0 17 7 0 0 0
/proc/15338/statm: 70810 5724 385 364 0 5697 0
[pid=15340] ppid=15338 vsize=4272 CPUtime=24.94 cores=1,3,5,7
/proc/15340/stat : 15340 (clasp-1.3.7-x86) R 15338 15340 15340 0 -1 4202496 1080 0 0 0 2487 7 0 0 25 0 1 0 869249107 4374528 823 33554432000 134512640 136139019 4290979408 18446744073709551615 134832230 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/15340/statm: 1068 823 184 398 0 668 0
[pid=15332/tid=15339] ppid=15330 vsize=293484 CPUtime=0 cores=1,3,5,7
/proc/15332/task/15339/stat : 15339 (python) S 15330 15332 15018 0 -1 4202560 28 930 0 0 0 0 0 0 19 0 2 0 869249107 300527616 7213 33554432000 4194304 5683644 140733739021312 18446744073709551615 270624934321 0 0 16781312 33554434 18446604455934756160 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 580996
Solver just ended. Dumping a history of the last processes samples
[startup+26.0003 s]
/proc/loadavg: 1.45 0.42 0.14 2/502 15478
/proc/meminfo: memFree=30930736/32951124 swapFree=53876552/67111528
[pid=15332] ppid=15330 vsize=293484 CPUtime=0.45 cores=1,3,5,7
/proc/15332/stat : 15332 (python) S 15330 15332 15018 0 -1 4202496 9705 930 1 0 36 9 0 0 19 0 2 0 869249052 300527616 7213 33554432000 4194304 5683644 140733739021312 18446744073709551615 270624937419 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/15332/statm: 73371 7213 1870 364 0 8258 0
[pid=15338] ppid=15332 vsize=283240 CPUtime=0.1 cores=1,3,5,7
/proc/15338/stat : 15338 (python) S 15332 15332 15018 0 -1 4202560 901 0 0 0 4 6 0 0 18 0 1 0 869249106 290037760 5724 33554432000 4194304 5683644 140733739021312 18446744073709551615 270613130767 0 0 16781312 33554946 5623753486446373554 0 0 17 7 0 0 0
/proc/15338/statm: 70810 5724 385 364 0 5697 0
[pid=15340] ppid=15338 vsize=4272 CPUtime=25.44 cores=1,3,5,7
/proc/15340/stat : 15340 (clasp-1.3.7-x86) R 15338 15340 15340 0 -1 4202496 1080 0 0 0 2537 7 0 0 25 0 1 0 869249107 4374528 823 33554432000 134512640 136139019 4290979408 18446744073709551615 134883415 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/15340/statm: 1068 823 184 398 0 668 0
[pid=15332/tid=15339] ppid=15330 vsize=293484 CPUtime=0 cores=1,3,5,7
/proc/15332/task/15339/stat : 15339 (python) S 15330 15332 15018 0 -1 4202560 28 930 0 0 0 0 0 0 19 0 2 0 869249107 300527616 7213 33554432000 4194304 5683644 140733739021312 18446744073709551615 270624934321 0 0 16781312 33554434 18446604455934756160 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 25.99
Current children cumulated vsize (KiB) 580996
[startup+26.8012 s]
/proc/loadavg: 1.45 0.42 0.14 3/502 15478
/proc/meminfo: memFree=30867564/32951124 swapFree=53876552/67111528
[pid=15332] ppid=15330 vsize=293484 CPUtime=0.45 cores=1,3,5,7
/proc/15332/stat : 15332 (python) S 15330 15332 15018 0 -1 4202496 9705 930 1 0 36 9 0 0 19 0 2 0 869249052 300527616 7213 33554432000 4194304 5683644 140733739021312 18446744073709551615 270624937419 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/15332/statm: 73371 7213 1870 364 0 8258 0
[pid=15338] ppid=15332 vsize=283240 CPUtime=0.1 cores=1,3,5,7
/proc/15338/stat : 15338 (python) S 15332 15332 15018 0 -1 4202560 901 0 0 0 4 6 0 0 18 0 1 0 869249106 290037760 5724 33554432000 4194304 5683644 140733739021312 18446744073709551615 270613130767 0 0 16781312 33554946 5623753486446373554 0 0 17 7 0 0 0
/proc/15338/statm: 70810 5724 385 364 0 5697 0
[pid=15340] ppid=15338 vsize=4272 CPUtime=26.26 cores=1,3,5,7
/proc/15340/stat : 15340 (clasp-1.3.7-x86) R 15338 15340 15340 0 -1 4202496 1080 0 0 0 2617 9 0 0 25 0 1 0 869249107 4374528 823 33554432000 134512640 136139019 4290979408 18446744073709551615 134831243 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/15340/statm: 1068 823 184 398 0 668 0
[pid=15332/tid=15339] ppid=15330 vsize=293484 CPUtime=0 cores=1,3,5,7
/proc/15332/task/15339/stat : 15339 (python) S 15330 15332 15018 0 -1 4202560 28 930 0 0 0 0 0 0 19 0 2 0 869249107 300527616 7213 33554432000 4194304 5683644 140733739021312 18446744073709551615 270624934321 0 0 16781312 33554434 18446604455934756160 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 26.81
Current children cumulated vsize (KiB) 580996
[startup+27.2011 s]
/proc/loadavg: 1.45 0.42 0.14 3/502 15478
/proc/meminfo: memFree=30867564/32951124 swapFree=53876552/67111528
[pid=15332] ppid=15330 vsize=293484 CPUtime=0.45 cores=1,3,5,7
/proc/15332/stat : 15332 (python) S 15330 15332 15018 0 -1 4202496 9705 930 1 0 36 9 0 0 19 0 2 0 869249052 300527616 7213 33554432000 4194304 5683644 140733739021312 18446744073709551615 270624937419 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/15332/statm: 73371 7213 1870 364 0 8258 0
[pid=15338] ppid=15332 vsize=283240 CPUtime=0.1 cores=1,3,5,7
/proc/15338/stat : 15338 (python) S 15332 15332 15018 0 -1 4202560 901 0 0 0 4 6 0 0 18 0 1 0 869249106 290037760 5724 33554432000 4194304 5683644 140733739021312 18446744073709551615 270613130767 0 0 16781312 33554946 5623753486446373554 0 0 17 7 0 0 0
/proc/15338/statm: 70810 5724 385 364 0 5697 0
[pid=15340] ppid=15338 vsize=4404 CPUtime=26.64 cores=1,3,5,7
/proc/15340/stat : 15340 (clasp-1.3.7-x86) R 15338 15340 15340 0 -1 4202496 1084 0 0 0 2655 9 0 0 25 0 1 0 869249107 4509696 827 33554432000 134512640 136139019 4290979408 18446744073709551615 134599059 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/15340/statm: 1101 827 184 398 0 701 0
[pid=15332/tid=15339] ppid=15330 vsize=293484 CPUtime=0 cores=1,3,5,7
/proc/15332/task/15339/stat : 15339 (python) S 15330 15332 15018 0 -1 4202560 28 930 0 0 0 0 0 0 19 0 2 0 869249107 300527616 7213 33554432000 4194304 5683644 140733739021312 18446744073709551615 270624934321 0 0 16781312 33554434 18446604455934756160 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 27.19
Current children cumulated vsize (KiB) 581128
[startup+27.3011 s]
/proc/loadavg: 1.45 0.42 0.14 3/502 15478
/proc/meminfo: memFree=30867564/32951124 swapFree=53876552/67111528
[pid=15332] ppid=15330 vsize=293484 CPUtime=0.45 cores=1,3,5,7
/proc/15332/stat : 15332 (python) S 15330 15332 15018 0 -1 4202496 9705 930 1 0 36 9 0 0 19 0 2 0 869249052 300527616 7213 33554432000 4194304 5683644 140733739021312 18446744073709551615 270624937419 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/15332/statm: 73371 7213 1870 364 0 8258 0
[pid=15338] ppid=15332 vsize=283240 CPUtime=0.1 cores=1,3,5,7
/proc/15338/stat : 15338 (python) S 15332 15332 15018 0 -1 4202560 901 0 0 0 4 6 0 0 18 0 1 0 869249106 290037760 5724 33554432000 4194304 5683644 140733739021312 18446744073709551615 270613130767 0 0 16781312 33554946 5623753486446373554 0 0 17 7 0 0 0
/proc/15338/statm: 70810 5724 385 364 0 5697 0
[pid=15340] ppid=15338 vsize=4404 CPUtime=26.74 cores=1,3,5,7
/proc/15340/stat : 15340 (clasp-1.3.7-x86) R 15338 15340 15340 0 -1 4202496 1084 0 0 0 2665 9 0 0 25 0 1 0 869249107 4509696 827 33554432000 134512640 136139019 4290979408 18446744073709551615 134883821 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/15340/statm: 1101 827 184 398 0 701 0
[pid=15332/tid=15339] ppid=15330 vsize=293484 CPUtime=0 cores=1,3,5,7
/proc/15332/task/15339/stat : 15339 (python) S 15330 15332 15018 0 -1 4202560 28 930 0 0 0 0 0 0 19 0 2 0 869249107 300527616 7213 33554432000 4194304 5683644 140733739021312 18446744073709551615 270624934321 0 0 16781312 33554434 18446604455934756160 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 27.29
Current children cumulated vsize (KiB) 581128
Child status: 0
Real time (s): 27.3848
CPU time (s): 27.4028
CPU user time (s): 27.1449
CPU system time (s): 0.25796
CPU usage (%): 100.066
Max. virtual memory (cumulated for all children) (KiB): 581128
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 27.1449
system time used= 0.25796
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17354
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= 1043
involuntary context switches= 75
runsolver used 0.133979 second user time and 0.301954 second system time
The end