runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 935)

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-3317197-1304268100/watcher-3317197-1304268100 -o /tmp/evaluation-result-3317197-1304268100/solver-3317197-1304268100 -C 4800 -W 1300 -M 15500 python HOME/solve HOME/etc/borg-mix+class.random.pickle HOME/instance-3317197-1304268100.cnf -seed 1432876084 -budget 4800 -cores 4 

running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 4800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 4830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 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: 7.98 7.57 4.68 6/248 29514
/proc/meminfo: memFree=29158180/32951124 swapFree=67111348/67111528
[pid=29514] ppid=29512 vsize=15380 CPUtime=0 cores=1,3,5,7
/proc/29514/stat : 29514 (python) R 29512 29514 29287 0 -1 4202496 804 0 0 0 0 0 0 0 25 0 1 0 519225329 15749120 690 33554432000 4194304 5683644 140736147271584 18446744073709551615 4334992 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/29514/statm: 3845 693 332 364 0 332 0

[startup+0.104814 s]
/proc/loadavg: 7.98 7.57 4.68 6/248 29514
/proc/meminfo: memFree=29158180/32951124 swapFree=67111348/67111528
[pid=29514] ppid=29512 vsize=94176 CPUtime=0.06 cores=1,3,5,7
/proc/29514/stat : 29514 (python) S 29512 29514 29287 0 -1 4202496 2765 0 0 0 4 2 0 0 25 0 1 0 519225329 96436224 2474 33554432000 4194304 5683644 140736147271584 18446744073709551615 254261614592 0 2147483391 16781312 2 18446744071699207358 0 0 17 3 0 0 0
/proc/29514/statm: 23544 2474 764 364 0 1676 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 94176

[startup+0.200795 s]
/proc/loadavg: 7.98 7.57 4.68 6/248 29514
/proc/meminfo: memFree=29158180/32951124 swapFree=67111348/67111528
[pid=29514] ppid=29512 vsize=124232 CPUtime=0.11 cores=1,3,5,7
/proc/29514/stat : 29514 (python) R 29512 29514 29287 0 -1 4202496 4464 468 1 0 8 3 0 0 25 0 1 0 519225329 127213568 3890 33554432000 4194304 5683644 140736147271584 18446744073709551615 5177534 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/29514/statm: 31058 3890 997 364 0 2869 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 124232

[startup+0.300734 s]
/proc/loadavg: 7.98 7.57 4.68 6/248 29514
/proc/meminfo: memFree=29158180/32951124 swapFree=67111348/67111528
[pid=29514] ppid=29512 vsize=135748 CPUtime=0.18 cores=1,3,5,7
/proc/29514/stat : 29514 (python) R 29512 29514 29287 0 -1 4202496 5963 937 1 0 13 5 0 0 25 0 1 0 519225329 139005952 4151 33554432000 4194304 5683644 140736147271584 18446744073709551615 254261612549 0 2147483391 16781312 2 0 0 0 17 7 0 0 0
/proc/29514/statm: 33937 4151 1032 364 0 3123 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 135748

[startup+0.700662 s]
/proc/loadavg: 7.98 7.57 4.68 6/248 29514
/proc/meminfo: memFree=29158180/32951124 swapFree=67111348/67111528
[pid=29514] ppid=29512 vsize=280164 CPUtime=0.43 cores=1,3,5,7
/proc/29514/stat : 29514 (python) R 29512 29514 29287 0 -1 4202496 9941 937 1 0 34 9 0 0 25 0 1 0 519225329 286887936 7447 33554432000 4194304 5683644 140736147271584 18446744073709551615 47110671706592 0 0 16781312 2 0 0 0 17 7 0 0 0
/proc/29514/statm: 70041 7447 1826 364 0 5965 0
Current children cumulated CPU time (s) 0.43
Current children cumulated vsize (KiB) 280164

[startup+1.50052 s]
/proc/loadavg: 7.98 7.57 4.68 9/256 29526
/proc/meminfo: memFree=29105152/32951124 swapFree=67111348/67111528
[pid=29514] ppid=29512 vsize=321092 CPUtime=0.86 cores=1,3,5,7
/proc/29514/stat : 29514 (python) S 29512 29514 29287 0 -1 4202496 12979 937 1 0 76 10 0 0 24 0 5 0 519225329 328798208 7470 33554432000 4194304 5683644 140736147271584 18446744073709551615 254273443275 0 0 16781312 2 18446744073709551615 0 0 17 7 0 0 0
/proc/29514/statm: 80273 7470 1881 364 0 16182 0
[pid=29521] ppid=29514 vsize=279340 CPUtime=0 cores=1,3,5,7
/proc/29521/stat : 29521 (python) S 29514 29514 29287 0 -1 4202560 737 0 0 0 0 0 0 0 25 0 1 0 519225434 286044160 5774 33554432000 4194304 5683644 140736147271584 18446744073709551615 254261636623 0 0 16781312 514 16081752016140894207 0 0 17 1 0 0 0
/proc/29521/statm: 69835 5774 354 364 0 5753 0
[pid=29523] ppid=29521 vsize=268424 CPUtime=0.22 cores=1,3,5,7
/proc/29523/stat : 29523 (hybridGM3) R 29521 29523 29523 0 -1 4202496 4991 0 0 0 22 0 0 0 25 0 1 0 519225434 274866176 4728 33554432000 134512640 135204385 4287054400 18446744073709551615 134537249 0 0 16781312 0 0 0 0 17 3 0 0 0
/proc/29523/statm: 67106 4728 64 169 0 66936 0
[pid=29524] ppid=29514 vsize=290168 CPUtime=0 cores=1,3,5,7
/proc/29524/stat : 29524 (python) S 29514 29514 29287 0 -1 4202560 716 0 0 0 0 0 0 0 19 0 1 0 519225437 297132032 5896 33554432000 4194304 5683644 140736147271584 18446744073709551615 254261636678 0 0 16781312 514 16081744319559499775 0 0 17 7 0 0 0
/proc/29524/statm: 72542 5896 344 364 0 8457 0
[pid=29526] ppid=29524 vsize=455680 CPUtime=0.42 cores=1,3,5,7
/proc/29526/stat : 29526 (TNM) R 29524 29526 29526 0 -1 4202496 759 0 0 0 42 0 0 0 21 0 1 0 519225437 466616320 498 33554432000 134512640 135008748 4293020080 18446744073709551615 134529409 0 0 16781312 0 0 0 0 17 1 0 0 0
/proc/29526/statm: 113920 498 46 122 0 112820 0
[pid=29514/tid=29522] ppid=29512 vsize=321092 CPUtime=0 cores=1,3,5,7
/proc/29514/task/29522/stat : 29522 (python) S 29512 29514 29287 0 -1 4202560 26 937 0 0 0 0 0 0 25 0 5 0 519225434 328798208 7470 33554432000 4194304 5683644 140736147271584 18446744073709551615 254273440177 0 0 16781312 2 18446604471134835904 0 0 -1 1 0 0 0
[pid=29514/tid=29525] ppid=29512 vsize=321092 CPUtime=0 cores=1,3,5,7
/proc/29514/task/29525/stat : 29525 (python) S 29512 29514 29287 0 -1 4202560 23 937 0 0 0 0 0 0 20 0 5 0 519225437 328798208 7470 33554432000 4194304 5683644 140736147271584 18446744073709551615 254273440177 0 0 16781312 2 18446604471134835904 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 1614704

[startup+3.10124 s]
/proc/loadavg: 7.98 7.57 4.68 10/262 29532
/proc/meminfo: memFree=29057364/32951124 swapFree=67111348/67111528
[pid=29514] ppid=29512 vsize=321092 CPUtime=0.86 cores=1,3,5,7
/proc/29514/stat : 29514 (python) S 29512 29514 29287 0 -1 4202496 12979 937 1 0 76 10 0 0 24 0 5 0 519225329 328798208 7470 33554432000 4194304 5683644 140736147271584 18446744073709551615 254273443275 0 0 16781312 2 18446744073709551615 0 0 17 7 0 0 0
/proc/29514/statm: 80273 7470 1881 364 0 16182 0
[pid=29521] ppid=29514 vsize=279340 CPUtime=0 cores=1,3,5,7
/proc/29521/stat : 29521 (python) S 29514 29514 29287 0 -1 4202560 737 0 0 0 0 0 0 0 18 0 1 0 519225434 286044160 5774 33554432000 4194304 5683644 140736147271584 18446744073709551615 254261636623 0 0 16781312 514 16081752016140861700 0 0 17 1 0 0 0
/proc/29521/statm: 69835 5774 354 364 0 5753 0
[pid=29523] ppid=29521 vsize=268424 CPUtime=1.02 cores=1,3,5,7
/proc/29523/stat : 29523 (hybridGM3) R 29521 29523 29523 0 -1 4202496 4991 0 0 0 102 0 0 0 25 0 1 0 519225434 274866176 4728 33554432000 134512640 135204385 4287054400 18446744073709551615 134536879 0 0 16781312 0 0 0 0 17 3 0 0 0
/proc/29523/statm: 67106 4728 64 169 0 66936 0
[pid=29524] ppid=29514 vsize=290168 CPUtime=0 cores=1,3,5,7
/proc/29524/stat : 29524 (python) S 29514 29514 29287 0 -1 4202560 735 0 0 0 0 0 0 0 18 0 1 0 519225437 297132032 5900 33554432000 4194304 5683644 140736147271584 18446744073709551615 254261636678 0 0 16781312 514 16081744319559467272 0 0 17 7 0 0 0
/proc/29524/statm: 72542 5900 348 364 0 8457 0
[pid=29526] ppid=29524 vsize=455680 CPUtime=2.02 cores=1,3,5,7
/proc/29526/stat : 29526 (TNM) R 29524 29526 29526 0 -1 4202496 759 0 0 0 202 0 0 0 25 0 1 0 519225437 466616320 498 33554432000 134512640 135008748 4293020080 18446744073709551615 134529448 0 0 16781312 0 0 0 0 17 1 0 0 0
/proc/29526/statm: 113920 498 46 122 0 112820 0
[pid=29527] ppid=29514 vsize=300052 CPUtime=0 cores=1,3,5,7
/proc/29527/stat : 29527 (python) S 29514 29514 29287 0 -1 4202560 739 0 0 0 0 0 0 0 18 0 1 0 519225441 307253248 5808 33554432000 4194304 5683644 140736147271584 18446744073709551615 254261636678 0 0 16781312 514 4596750531648520452 0 0 17 7 0 0 0
/proc/29527/statm: 75013 5808 348 364 0 10925 0
[pid=29529] ppid=29527 vsize=268424 CPUtime=1.93 cores=1,3,5,7
/proc/29529/stat : 29529 (hybridGM3) R 29527 29529 29529 0 -1 4202496 4991 0 0 0 193 0 0 0 25 0 1 0 519225443 274866176 4729 33554432000 134512640 135204385 4294730560 18446744073709551615 134546009 0 0 16781312 0 0 0 0 17 7 0 0 0
/proc/29529/statm: 67106 4729 64 169 0 66936 0
[pid=29530] ppid=29514 vsize=310848 CPUtime=0 cores=1,3,5,7
/proc/29530/stat : 29530 (python) S 29514 29514 29287 0 -1 4202560 742 0 0 0 0 0 0 0 18 0 1 0 519225444 318308352 5933 33554432000 4194304 5683644 140736147271584 18446744073709551615 254261636678 0 0 16781312 514 16752269116252848388 0 0 17 7 0 0 0
/proc/29530/statm: 77712 5933 348 364 0 13621 0
[pid=29532] ppid=29530 vsize=268920 CPUtime=1.01 cores=1,3,5,7
/proc/29532/stat : 29532 (hybridGM3) R 29530 29532 29532 0 -1 4202496 5666 0 0 0 101 0 0 0 25 0 1 0 519225444 275374080 5115 33554432000 134512640 135204385 4287763824 18446744073709551615 134537249 0 0 16781312 0 0 0 0 17 3 0 0 0
/proc/29532/statm: 67230 5115 85 169 0 67060 0
[pid=29514/tid=29522] ppid=29512 vsize=321092 CPUtime=0 cores=1,3,5,7
/proc/29514/task/29522/stat : 29522 (python) S 29512 29514 29287 0 -1 4202560 26 937 0 0 0 0 0 0 25 0 5 0 519225434 328798208 7470 33554432000 4194304 5683644 140736147271584 18446744073709551615 254273440177 0 0 16781312 2 18446604471134835904 0 0 -1 1 0 0 0
[pid=29514/tid=29525] ppid=29512 vsize=321092 CPUtime=0 cores=1,3,5,7
/proc/29514/task/29525/stat : 29525 (python) S 29512 29514 29287 0 -1 4202560 23 937 0 0 0 0 0 0 20 0 5 0 519225437 328798208 7470 33554432000 4194304 5683644 140736147271584 18446744073709551615 254273440177 0 0 16781312 2 18446604471134835904 0 0 -1 1 0 0 0
[pid=29514/tid=29528] ppid=29512 vsize=321092 CPUtime=0 cores=1,3,5,7
/proc/29514/task/29528/stat : 29528 (python) S 29512 29514 29287 0 -1 4202560 21 937 0 0 0 0 0 0 22 0 5 0 519225441 328798208 7470 33554432000 4194304 5683644 140736147271584 18446744073709551615 254273440177 0 0 16781312 2 18446604471134835904 0 0 -1 7 0 0 0
[pid=29514/tid=29531] ppid=29512 vsize=321092 CPUtime=0 cores=1,3,5,7
/proc/29514/task/29531/stat : 29531 (python) S 29512 29514 29287 0 -1 4202560 27 937 0 0 0 0 0 0 25 0 5 0 519225444 328798208 7470 33554432000 4194304 5683644 140736147271584 18446744073709551615 254273440177 0 0 16781312 2 18446604471134835904 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 6.84
Current children cumulated vsize (KiB) 2762948

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

[startup+3.20122 s]
/proc/loadavg: 7.98 7.57 4.68 10/262 29532
/proc/meminfo: memFree=29057364/32951124 swapFree=67111348/67111528
[pid=29514] ppid=29512 vsize=321092 CPUtime=0.86 cores=1,3,5,7
/proc/29514/stat : 29514 (python) S 29512 29514 29287 0 -1 4202496 12979 937 1 0 76 10 0 0 24 0 5 0 519225329 328798208 7470 33554432000 4194304 5683644 140736147271584 18446744073709551615 254273443275 0 0 16781312 2 18446744073709551615 0 0 17 7 0 0 0
/proc/29514/statm: 80273 7470 1881 364 0 16182 0
[pid=29521] ppid=29514 vsize=279340 CPUtime=0 cores=1,3,5,7
/proc/29521/stat : 29521 (python) S 29514 29514 29287 0 -1 4202560 737 0 0 0 0 0 0 0 18 0 1 0 519225434 286044160 5774 33554432000 4194304 5683644 140736147271584 18446744073709551615 254261636623 0 0 16781312 514 16081752016140861700 0 0 17 1 0 0 0
/proc/29521/statm: 69835 5774 354 364 0 5753 0
[pid=29523] ppid=29521 vsize=268424 CPUtime=1.1 cores=1,3,5,7
/proc/29523/stat : 29523 (hybridGM3) R 29521 29523 29523 0 -1 4202496 4991 0 0 0 110 0 0 0 25 0 1 0 519225434 274866176 4728 33554432000 134512640 135204385 4287054400 18446744073709551615 134536669 0 0 16781312 0 0 0 0 17 3 0 0 0
/proc/29523/statm: 67106 4728 64 169 0 66936 0
[pid=29524] ppid=29514 vsize=290168 CPUtime=0 cores=1,3,5,7
/proc/29524/stat : 29524 (python) S 29514 29514 29287 0 -1 4202560 735 0 0 0 0 0 0 0 18 0 1 0 519225437 297132032 5900 33554432000 4194304 5683644 140736147271584 18446744073709551615 254261636678 0 0 16781312 514 16081744319559467272 0 0 17 7 0 0 0
/proc/29524/statm: 72542 5900 348 364 0 8457 0
[pid=29526] ppid=29524 vsize=455680 CPUtime=2.12 cores=1,3,5,7
/proc/29526/stat : 29526 (TNM) R 29524 29526 29526 0 -1 4202496 759 0 0 0 212 0 0 0 25 0 1 0 519225437 466616320 498 33554432000 134512640 135008748 4293020080 18446744073709551615 134529387 0 0 16781312 0 0 0 0 17 1 0 0 0
/proc/29526/statm: 113920 498 46 122 0 112820 0
[pid=29527] ppid=29514 vsize=300052 CPUtime=0 cores=1,3,5,7
/proc/29527/stat : 29527 (python) S 29514 29514 29287 0 -1 4202560 739 0 0 0 0 0 0 0 18 0 1 0 519225441 307253248 5808 33554432000 4194304 5683644 140736147271584 18446744073709551615 254261636678 0 0 16781312 514 4596750531648520452 0 0 17 7 0 0 0
/proc/29527/statm: 75013 5808 348 364 0 10925 0
[pid=29529] ppid=29527 vsize=268424 CPUtime=2.03 cores=1,3,5,7
/proc/29529/stat : 29529 (hybridGM3) R 29527 29529 29529 0 -1 4202496 4991 0 0 0 203 0 0 0 25 0 1 0 519225443 274866176 4729 33554432000 134512640 135204385 4294730560 18446744073709551615 134537224 0 0 16781312 0 0 0 0 17 7 0 0 0
/proc/29529/statm: 67106 4729 64 169 0 66936 0
[pid=29530] ppid=29514 vsize=310848 CPUtime=0 cores=1,3,5,7
/proc/29530/stat : 29530 (python) S 29514 29514 29287 0 -1 4202560 742 0 0 0 0 0 0 0 18 0 1 0 519225444 318308352 5933 33554432000 4194304 5683644 140736147271584 18446744073709551615 254261636678 0 0 16781312 514 16752269116252848388 0 0 17 7 0 0 0
/proc/29530/statm: 77712 5933 348 364 0 13621 0
[pid=29532] ppid=29530 vsize=268920 CPUtime=1.03 cores=1,3,5,7
/proc/29532/stat : 29532 (hybridGM3) R 29530 29532 29532 0 -1 4202496 5666 0 0 0 103 0 0 0 25 0 1 0 519225444 275374080 5115 33554432000 134512640 135204385 4287763824 18446744073709551615 134547418 0 0 16781312 0 0 0 0 17 3 0 0 0
/proc/29532/statm: 67230 5115 85 169 0 67060 0
[pid=29514/tid=29522] ppid=29512 vsize=321092 CPUtime=0 cores=1,3,5,7
/proc/29514/task/29522/stat : 29522 (python) S 29512 29514 29287 0 -1 4202560 26 937 0 0 0 0 0 0 25 0 5 0 519225434 328798208 7470 33554432000 4194304 5683644 140736147271584 18446744073709551615 254273440177 0 0 16781312 2 18446604471134835904 0 0 -1 1 0 0 0
[pid=29514/tid=29525] ppid=29512 vsize=321092 CPUtime=0 cores=1,3,5,7
/proc/29514/task/29525/stat : 29525 (python) S 29512 29514 29287 0 -1 4202560 23 937 0 0 0 0 0 0 20 0 5 0 519225437 328798208 7470 33554432000 4194304 5683644 140736147271584 18446744073709551615 254273440177 0 0 16781312 2 18446604471134835904 0 0 -1 1 0 0 0
[pid=29514/tid=29528] ppid=29512 vsize=321092 CPUtime=0 cores=1,3,5,7
/proc/29514/task/29528/stat : 29528 (python) S 29512 29514 29287 0 -1 4202560 21 937 0 0 0 0 0 0 22 0 5 0 519225441 328798208 7470 33554432000 4194304 5683644 140736147271584 18446744073709551615 254273440177 0 0 16781312 2 18446604471134835904 0 0 -1 7 0 0 0
[pid=29514/tid=29531] ppid=29512 vsize=321092 CPUtime=0 cores=1,3,5,7
/proc/29514/task/29531/stat : 29531 (python) S 29512 29514 29287 0 -1 4202560 27 937 0 0 0 0 0 0 25 0 5 0 519225444 328798208 7470 33554432000 4194304 5683644 140736147271584 18446744073709551615 254273440177 0 0 16781312 2 18446604471134835904 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 7.14
Current children cumulated vsize (KiB) 2762948

[startup+4.80094 s]
/proc/loadavg: 7.98 7.57 4.68 10/262 29532
/proc/meminfo: memFree=29054884/32951124 swapFree=67111348/67111528
[pid=29514] ppid=29512 vsize=321092 CPUtime=0.86 cores=1,3,5,7
/proc/29514/stat : 29514 (python) S 29512 29514 29287 0 -1 4202496 12979 937 1 0 76 10 0 0 24 0 5 0 519225329 328798208 7470 33554432000 4194304 5683644 140736147271584 18446744073709551615 254273443275 0 0 16781312 2 18446744073709551615 0 0 17 7 0 0 0
/proc/29514/statm: 80273 7470 1881 364 0 16182 0
[pid=29521] ppid=29514 vsize=279340 CPUtime=0 cores=1,3,5,7
/proc/29521/stat : 29521 (python) S 29514 29514 29287 0 -1 4202560 737 0 0 0 0 0 0 0 18 0 1 0 519225434 286044160 5774 33554432000 4194304 5683644 140736147271584 18446744073709551615 254261636623 0 0 16781312 514 16081752016140861700 0 0 17 1 0 0 0
/proc/29521/statm: 69835 5774 354 364 0 5753 0
[pid=29523] ppid=29521 vsize=268848 CPUtime=1.9 cores=1,3,5,7
/proc/29523/stat : 29523 (hybridGM3) R 29521 29523 29523 0 -1 4202496 5965 0 0 0 190 0 0 0 25 0 1 0 519225434 275300352 5112 33554432000 134512640 135204385 4287054400 18446744073709551615 134536646 0 0 16781312 0 0 0 0 17 3 0 0 0
/proc/29523/statm: 67212 5112 85 169 0 67042 0
[pid=29524] ppid=29514 vsize=290168 CPUtime=0 cores=1,3,5,7
/proc/29524/stat : 29524 (python) S 29514 29514 29287 0 -1 4202560 735 0 0 0 0 0 0 0 18 0 1 0 519225437 297132032 5900 33554432000 4194304 5683644 140736147271584 18446744073709551615 254261636678 0 0 16781312 514 16081744319559467272 0 0 17 7 0 0 0
/proc/29524/statm: 72542 5900 348 364 0 8457 0
[pid=29526] ppid=29524 vsize=455680 CPUtime=3.72 cores=1,3,5,7
/proc/29526/stat : 29526 (TNM) R 29524 29526 29526 0 -1 4202496 759 0 0 0 372 0 0 0 25 0 1 0 519225437 466616320 498 33554432000 134512640 135008748 4293020080 18446744073709551615 134529176 0 0 16781312 0 0 0 0 17 1 0 0 0
/proc/29526/statm: 113920 498 46 122 0 112820 0
[pid=29527] ppid=29514 vsize=300052 CPUtime=0 cores=1,3,5,7
/proc/29527/stat : 29527 (python) S 29514 29514 29287 0 -1 4202560 739 0 0 0 0 0 0 0 18 0 1 0 519225441 307253248 5808 33554432000 4194304 5683644 140736147271584 18446744073709551615 254261636678 0 0 16781312 514 4596750531648520452 0 0 17 7 0 0 0
/proc/29527/statm: 75013 5808 348 364 0 10925 0
[pid=29529] ppid=29527 vsize=268424 CPUtime=3.62 cores=1,3,5,7
/proc/29529/stat : 29529 (hybridGM3) R 29527 29529 29529 0 -1 4202496 4991 0 0 0 362 0 0 0 25 0 1 0 519225443 274866176 4729 33554432000 134512640 135204385 4294730560 18446744073709551615 134537274 0 0 16781312 0 0 0 0 17 7 0 0 0
/proc/29529/statm: 67106 4729 64 169 0 66936 0
[pid=29530] ppid=29514 vsize=310848 CPUtime=0 cores=1,3,5,7
/proc/29530/stat : 29530 (python) S 29514 29514 29287 0 -1 4202560 742 0 0 0 0 0 0 0 18 0 1 0 519225444 318308352 5933 33554432000 4194304 5683644 140736147271584 18446744073709551615 254261636678 0 0 16781312 514 16752269116252848388 0 0 17 7 0 0 0
/proc/29530/statm: 77712 5933 348 364 0 13621 0
[pid=29532] ppid=29530 vsize=268920 CPUtime=1.83 cores=1,3,5,7
/proc/29532/stat : 29532 (hybridGM3) R 29530 29532 29532 0 -1 4202496 5666 0 0 0 183 0 0 0 25 0 1 0 519225444 275374080 5115 33554432000 134512640 135204385 4287763824 18446744073709551615 134537233 0 0 16781312 0 0 0 0 17 3 0 0 0
/proc/29532/statm: 67230 5115 85 169 0 67060 0
[pid=29514/tid=29522] ppid=29512 vsize=321092 CPUtime=0 cores=1,3,5,7
/proc/29514/task/29522/stat : 29522 (python) S 29512 29514 29287 0 -1 4202560 26 937 0 0 0 0 0 0 25 0 5 0 519225434 328798208 7470 33554432000 4194304 5683644 140736147271584 18446744073709551615 254273440177 0 0 16781312 2 18446604471134835904 0 0 -1 1 0 0 0
[pid=29514/tid=29525] ppid=29512 vsize=321092 CPUtime=0 cores=1,3,5,7
/proc/29514/task/29525/stat : 29525 (python) S 29512 29514 29287 0 -1 4202560 23 937 0 0 0 0 0 0 20 0 5 0 519225437 328798208 7470 33554432000 4194304 5683644 140736147271584 18446744073709551615 254273440177 0 0 16781312 2 18446604471134835904 0 0 -1 1 0 0 0
[pid=29514/tid=29528] ppid=29512 vsize=321092 CPUtime=0 cores=1,3,5,7
/proc/29514/task/29528/stat : 29528 (python) S 29512 29514 29287 0 -1 4202560 21 937 0 0 0 0 0 0 22 0 5 0 519225441 328798208 7470 33554432000 4194304 5683644 140736147271584 18446744073709551615 254273440177 0 0 16781312 2 18446604471134835904 0 0 -1 7 0 0 0
[pid=29514/tid=29531] ppid=29512 vsize=321092 CPUtime=0 cores=1,3,5,7
/proc/29514/task/29531/stat : 29531 (python) S 29512 29514 29287 0 -1 4202560 27 937 0 0 0 0 0 0 25 0 5 0 519225444 328798208 7470 33554432000 4194304 5683644 140736147271584 18446744073709551615 254273440177 0 0 16781312 2 18446604471134835904 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 11.93
Current children cumulated vsize (KiB) 2763372

[startup+5.20087 s]
/proc/loadavg: 7.98 7.57 4.68 10/262 29532
/proc/meminfo: memFree=29054884/32951124 swapFree=67111348/67111528
[pid=29514] ppid=29512 vsize=321092 CPUtime=0.86 cores=1,3,5,7
/proc/29514/stat : 29514 (python) S 29512 29514 29287 0 -1 4202496 12979 937 1 0 76 10 0 0 24 0 5 0 519225329 328798208 7470 33554432000 4194304 5683644 140736147271584 18446744073709551615 254273443275 0 0 16781312 2 18446744073709551615 0 0 17 7 0 0 0
/proc/29514/statm: 80273 7470 1881 364 0 16182 0
[pid=29521] ppid=29514 vsize=279340 CPUtime=0 cores=1,3,5,7
/proc/29521/stat : 29521 (python) S 29514 29514 29287 0 -1 4202560 899 0 0 0 0 0 0 0 18 0 1 0 519225434 286044160 5796 33554432000 4194304 5683644 140736147271584 18446744073709551615 254261636623 0 0 16781312 514 16081752016140861700 0 0 17 1 0 0 0
/proc/29521/statm: 69835 5796 376 364 0 5753 0
[pid=29523] ppid=29521 vsize=268848 CPUtime=2.1 cores=1,3,5,7
/proc/29523/stat : 29523 (hybridGM3) R 29521 29523 29523 0 -1 4202496 5965 0 0 0 210 0 0 0 25 0 1 0 519225434 275300352 5112 33554432000 134512640 135204385 4287054400 18446744073709551615 134537495 0 0 16781312 0 0 0 0 17 3 0 0 0
/proc/29523/statm: 67212 5112 85 169 0 67042 0
[pid=29524] ppid=29514 vsize=290168 CPUtime=0 cores=1,3,5,7
/proc/29524/stat : 29524 (python) S 29514 29514 29287 0 -1 4202560 898 0 0 0 0 0 0 0 18 0 1 0 519225437 297132032 5923 33554432000 4194304 5683644 140736147271584 18446744073709551615 254261636678 0 0 16781312 514 16081744319559467272 0 0 17 7 0 0 0
/proc/29524/statm: 72542 5923 371 364 0 8457 0
[pid=29526] ppid=29524 vsize=455680 CPUtime=4.11 cores=1,3,5,7
/proc/29526/stat : 29526 (TNM) R 29524 29526 29526 0 -1 4202496 759 0 0 0 411 0 0 0 25 0 1 0 519225437 466616320 498 33554432000 134512640 135008748 4293020080 18446744073709551615 134527847 0 0 16781312 0 0 0 0 17 1 0 0 0
/proc/29526/statm: 113920 498 46 122 0 112820 0
[pid=29527] ppid=29514 vsize=300052 CPUtime=0 cores=1,3,5,7
/proc/29527/stat : 29527 (python) S 29514 29514 29287 0 -1 4202560 891 0 0 0 0 0 0 0 18 0 1 0 519225441 307253248 5831 33554432000 4194304 5683644 140736147271584 18446744073709551615 254261636678 0 0 16781312 514 4596750531648520452 0 0 17 7 0 0 0
/proc/29527/statm: 75013 5831 371 364 0 10925 0
[pid=29529] ppid=29527 vsize=268424 CPUtime=4 cores=1,3,5,7
/proc/29529/stat : 29529 (hybridGM3) R 29527 29529 29529 0 -1 4202496 4991 0 0 0 400 0 0 0 25 0 1 0 519225443 274866176 4729 33554432000 134512640 135204385 4294730560 18446744073709551615 134536968 0 0 16781312 0 0 0 0 17 7 0 0 0
/proc/29529/statm: 67106 4729 64 169 0 66936 0
[pid=29530] ppid=29514 vsize=310848 CPUtime=0 cores=1,3,5,7
/proc/29530/stat : 29530 (python) S 29514 29514 29287 0 -1 4202560 742 0 0 0 0 0 0 0 18 0 1 0 519225444 318308352 5933 33554432000 4194304 5683644 140736147271584 18446744073709551615 254261636678 0 0 16781312 514 16752269116252848388 0 0 17 7 0 0 0
/proc/29530/statm: 77712 5933 348 364 0 13621 0
[pid=29532] ppid=29530 vsize=268920 CPUtime=2.03 cores=1,3,5,7
/proc/29532/stat : 29532 (hybridGM3) R 29530 29532 29532 0 -1 4202496 5666 0 0 0 203 0 0 0 25 0 1 0 519225444 275374080 5115 33554432000 134512640 135204385 4287763824 18446744073709551615 134537544 0 0 16781312 0 0 0 0 17 3 0 0 0
/proc/29532/statm: 67230 5115 85 169 0 67060 0
[pid=29514/tid=29522] ppid=29512 vsize=321092 CPUtime=0 cores=1,3,5,7
/proc/29514/task/29522/stat : 29522 (python) S 29512 29514 29287 0 -1 4202560 26 937 0 0 0 0 0 0 25 0 5 0 519225434 328798208 7470 33554432000 4194304 5683644 140736147271584 18446744073709551615 254273440177 0 0 16781312 2 18446604471134835904 0 0 -1 1 0 0 0
[pid=29514/tid=29525] ppid=29512 vsize=321092 CPUtime=0 cores=1,3,5,7
/proc/29514/task/29525/stat : 29525 (python) S 29512 29514 29287 0 -1 4202560 23 937 0 0 0 0 0 0 20 0 5 0 519225437 328798208 7470 33554432000 4194304 5683644 140736147271584 18446744073709551615 254273440177 0 0 16781312 2 18446604471134835904 0 0 -1 1 0 0 0
[pid=29514/tid=29528] ppid=29512 vsize=321092 CPUtime=0 cores=1,3,5,7
/proc/29514/task/29528/stat : 29528 (python) S 29512 29514 29287 0 -1 4202560 21 937 0 0 0 0 0 0 22 0 5 0 519225441 328798208 7470 33554432000 4194304 5683644 140736147271584 18446744073709551615 254273440177 0 0 16781312 2 18446604471134835904 0 0 -1 7 0 0 0
[pid=29514/tid=29531] ppid=29512 vsize=321092 CPUtime=0 cores=1,3,5,7
/proc/29514/task/29531/stat : 29531 (python) S 29512 29514 29287 0 -1 4202560 27 937 0 0 0 0 0 0 25 0 5 0 519225444 328798208 7470 33554432000 4194304 5683644 140736147271584 18446744073709551615 254273440177 0 0 16781312 2 18446604471134835904 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 13.1
Current children cumulated vsize (KiB) 2763372

[startup+5.40083 s]
/proc/loadavg: 7.98 7.57 4.68 10/262 29532
/proc/meminfo: memFree=29054884/32951124 swapFree=67111348/67111528
[pid=29514] ppid=29512 vsize=321092 CPUtime=0.86 cores=1,3,5,7
/proc/29514/stat : 29514 (python) S 29512 29514 29287 0 -1 4202496 12979 937 1 0 76 10 0 0 24 0 5 0 519225329 328798208 7470 33554432000 4194304 5683644 140736147271584 18446744073709551615 254273443275 0 0 16781312 2 18446744073709551615 0 0 17 7 0 0 0
/proc/29514/statm: 80273 7470 1881 364 0 16182 0
[pid=29521] ppid=29514 vsize=279340 CPUtime=0 cores=1,3,5,7
/proc/29521/stat : 29521 (python) S 29514 29514 29287 0 -1 4202560 899 0 0 0 0 0 0 0 18 0 1 0 519225434 286044160 5796 33554432000 4194304 5683644 140736147271584 18446744073709551615 254261636623 0 0 16781312 514 16081752016140861700 0 0 17 1 0 0 0
/proc/29521/statm: 69835 5796 376 364 0 5753 0
[pid=29523] ppid=29521 vsize=268848 CPUtime=2.2 cores=1,3,5,7
/proc/29523/stat : 29523 (hybridGM3) R 29521 29523 29523 0 -1 4202496 5965 0 0 0 220 0 0 0 25 0 1 0 519225434 275300352 5112 33554432000 134512640 135204385 4287054400 18446744073709551615 134536993 0 0 16781312 0 0 0 0 17 3 0 0 0
/proc/29523/statm: 67212 5112 85 169 0 67042 0
[pid=29524] ppid=29514 vsize=290168 CPUtime=0 cores=1,3,5,7
/proc/29524/stat : 29524 (python) S 29514 29514 29287 0 -1 4202560 898 0 0 0 0 0 0 0 18 0 1 0 519225437 297132032 5923 33554432000 4194304 5683644 140736147271584 18446744073709551615 254261636678 0 0 16781312 514 16081744319559467272 0 0 17 7 0 0 0
/proc/29524/statm: 72542 5923 371 364 0 8457 0
[pid=29526] ppid=29524 vsize=455680 CPUtime=4.31 cores=1,3,5,7
/proc/29526/stat : 29526 (TNM) R 29524 29526 29526 0 -1 4202496 759 0 0 0 431 0 0 0 25 0 1 0 519225437 466616320 498 33554432000 134512640 135008748 4293020080 18446744073709551615 134527039 0 0 16781312 0 0 0 0 17 1 0 0 0
/proc/29526/statm: 113920 498 46 122 0 112820 0
[pid=29527] ppid=29514 vsize=300052 CPUtime=0 cores=1,3,5,7
/proc/29527/stat : 29527 (python) S 29514 29514 29287 0 -1 4202560 891 0 0 0 0 0 0 0 18 0 1 0 519225441 307253248 5831 33554432000 4194304 5683644 140736147271584 18446744073709551615 254261636678 0 0 16781312 514 4596750531648520452 0 0 17 7 0 0 0
/proc/29527/statm: 75013 5831 371 364 0 10925 0
[pid=29529] ppid=29527 vsize=268424 CPUtime=4.19 cores=1,3,5,7
/proc/29529/stat : 29529 (hybridGM3) R 29527 29529 29529 0 -1 4202496 4991 0 0 0 419 0 0 0 25 0 1 0 519225443 274866176 4729 33554432000 134512640 135204385 4294730560 18446744073709551615 134547418 0 0 16781312 0 0 0 0 17 7 0 0 0
/proc/29529/statm: 67106 4729 64 169 0 66936 0
[pid=29530] ppid=29514 vsize=310848 CPUtime=0 cores=1,3,5,7
/proc/29530/stat : 29530 (python) S 29514 29514 29287 0 -1 4202560 914 0 0 0 0 0 0 0 18 0 1 0 519225444 318308352 5956 33554432000 4194304 5683644 140736147271584 18446744073709551615 254261636678 0 0 16781312 514 16752269116252880895 0 0 17 7 0 0 0
/proc/29530/statm: 77712 5956 371 364 0 13621 0
[pid=29532] ppid=29530 vsize=268920 CPUtime=2.13 cores=1,3,5,7
/proc/29532/stat : 29532 (hybridGM3) R 29530 29532 29532 0 -1 4202496 5666 0 0 0 213 0 0 0 25 0 1 0 519225444 275374080 5115 33554432000 134512640 135204385 4287763824 18446744073709551615 134537403 0 0 16781312 0 0 0 0 17 3 0 0 0
/proc/29532/statm: 67230 5115 85 169 0 67060 0
[pid=29514/tid=29522] ppid=29512 vsize=321092 CPUtime=0 cores=1,3,5,7
/proc/29514/task/29522/stat : 29522 (python) S 29512 29514 29287 0 -1 4202560 26 937 0 0 0 0 0 0 25 0 5 0 519225434 328798208 7470 33554432000 4194304 5683644 140736147271584 18446744073709551615 254273440177 0 0 16781312 2 18446604471134835904 0 0 -1 1 0 0 0
[pid=29514/tid=29525] ppid=29512 vsize=321092 CPUtime=0 cores=1,3,5,7
/proc/29514/task/29525/stat : 29525 (python) S 29512 29514 29287 0 -1 4202560 23 937 0 0 0 0 0 0 20 0 5 0 519225437 328798208 7470 33554432000 4194304 5683644 140736147271584 18446744073709551615 254273440177 0 0 16781312 2 18446604471134835904 0 0 -1 1 0 0 0
[pid=29514/tid=29528] ppid=29512 vsize=321092 CPUtime=0 cores=1,3,5,7
/proc/29514/task/29528/stat : 29528 (python) S 29512 29514 29287 0 -1 4202560 21 937 0 0 0 0 0 0 22 0 5 0 519225441 328798208 7470 33554432000 4194304 5683644 140736147271584 18446744073709551615 254273440177 0 0 16781312 2 18446604471134835904 0 0 -1 7 0 0 0
[pid=29514/tid=29531] ppid=29512 vsize=321092 CPUtime=0 cores=1,3,5,7
/proc/29514/task/29531/stat : 29531 (python) S 29512 29514 29287 0 -1 4202560 27 937 0 0 0 0 0 0 25 0 5 0 519225444 328798208 7470 33554432000 4194304 5683644 140736147271584 18446744073709551615 254273440177 0 0 16781312 2 18446604471134835904 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 13.69
Current children cumulated vsize (KiB) 2763372

[startup+5.50081 s]
/proc/loadavg: 8.06 7.59 4.71 10/262 29532
/proc/meminfo: memFree=29053644/32951124 swapFree=67111348/67111528
[pid=29514] ppid=29512 vsize=321092 CPUtime=0.86 cores=1,3,5,7
/proc/29514/stat : 29514 (python) S 29512 29514 29287 0 -1 4202496 12979 937 1 0 76 10 0 0 24 0 5 0 519225329 328798208 7470 33554432000 4194304 5683644 140736147271584 18446744073709551615 254273443275 0 0 16781312 2 18446744073709551615 0 0 17 7 0 0 0
/proc/29514/statm: 80273 7470 1881 364 0 16182 0
[pid=29521] ppid=29514 vsize=279340 CPUtime=0 cores=1,3,5,7
/proc/29521/stat : 29521 (python) S 29514 29514 29287 0 -1 4202560 899 0 0 0 0 0 0 0 18 0 1 0 519225434 286044160 5796 33554432000 4194304 5683644 140736147271584 18446744073709551615 254261636623 0 0 16781312 514 16081752016140861700 0 0 17 1 0 0 0
/proc/29521/statm: 69835 5796 376 364 0 5753 0
[pid=29523] ppid=29521 vsize=268848 CPUtime=2.22 cores=1,3,5,7
/proc/29523/stat : 29523 (hybridGM3) R 29521 29523 29523 0 -1 4202496 5965 0 0 0 222 0 0 0 25 0 1 0 519225434 275300352 5112 33554432000 134512640 135204385 4287054400 18446744073709551615 134537008 0 0 16781312 0 0 0 0 17 3 0 0 0
/proc/29523/statm: 67212 5112 85 169 0 67042 0
[pid=29524] ppid=29514 vsize=290168 CPUtime=0 cores=1,3,5,7
/proc/29524/stat : 29524 (python) S 29514 29514 29287 0 -1 4202560 898 0 0 0 0 0 0 0 18 0 1 0 519225437 297132032 5923 33554432000 4194304 5683644 140736147271584 18446744073709551615 254261636678 0 0 16781312 514 16081744319559467272 0 0 17 7 0 0 0
/proc/29524/statm: 72542 5923 371 364 0 8457 0
[pid=29526] ppid=29524 vsize=455680 CPUtime=4.41 cores=1,3,5,7
/proc/29526/stat : 29526 (TNM) R 29524 29526 29526 0 -1 4202496 759 0 0 0 441 0 0 0 25 0 1 0 519225437 466616320 498 33554432000 134512640 135008748 4293020080 18446744073709551615 134527503 0 0 16781312 0 0 0 0 17 1 0 0 0
/proc/29526/statm: 113920 498 46 122 0 112820 0
[pid=29527] ppid=29514 vsize=300052 CPUtime=0 cores=1,3,5,7
/proc/29527/stat : 29527 (python) S 29514 29514 29287 0 -1 4202560 891 0 0 0 0 0 0 0 18 0 1 0 519225441 307253248 5831 33554432000 4194304 5683644 140736147271584 18446744073709551615 254261636678 0 0 16781312 514 4596750531648520452 0 0 17 7 0 0 0
/proc/29527/statm: 75013 5831 371 364 0 10925 0
[pid=29529] ppid=29527 vsize=268424 CPUtime=4.29 cores=1,3,5,7
/proc/29529/stat : 29529 (hybridGM3) R 29527 29529 29529 0 -1 4202496 4991 0 0 0 429 0 0 0 25 0 1 0 519225443 274866176 4729 33554432000 134512640 135204385 4294730560 18446744073709551615 134537231 0 0 16781312 0 0 0 0 17 7 0 0 0
/proc/29529/statm: 67106 4729 64 169 0 66936 0
[pid=29530] ppid=29514 vsize=310848 CPUtime=0 cores=1,3,5,7
/proc/29530/stat : 29530 (python) S 29514 29514 29287 0 -1 4202560 914 0 0 0 0 0 0 0 18 0 1 0 519225444 318308352 5956 33554432000 4194304 5683644 140736147271584 18446744073709551615 254261636678 0 0 16781312 514 16752269116252880895 0 0 17 7 0 0 0
/proc/29530/statm: 77712 5956 371 364 0 13621 0
[pid=29532] ppid=29530 vsize=268920 CPUtime=2.21 cores=1,3,5,7
/proc/29532/stat : 29532 (hybridGM3) R 29530 29532 29532 0 -1 4202496 5666 0 0 0 221 0 0 0 25 0 1 0 519225444 275374080 5115 33554432000 134512640 135204385 4287763824 18446744073709551615 134549123 0 0 16781312 0 0 0 0 17 3 0 0 0
/proc/29532/statm: 67230 5115 85 169 0 67060 0
[pid=29514/tid=29522] ppid=29512 vsize=321092 CPUtime=0 cores=1,3,5,7
/proc/29514/task/29522/stat : 29522 (python) S 29512 29514 29287 0 -1 4202560 26 937 0 0 0 0 0 0 25 0 5 0 519225434 328798208 7470 33554432000 4194304 5683644 140736147271584 18446744073709551615 254273440177 0 0 16781312 2 18446604471134835904 0 0 -1 1 0 0 0
[pid=29514/tid=29525] ppid=29512 vsize=321092 CPUtime=0 cores=1,3,5,7
/proc/29514/task/29525/stat : 29525 (python) S 29512 29514 29287 0 -1 4202560 23 937 0 0 0 0 0 0 20 0 5 0 519225437 328798208 7470 33554432000 4194304 5683644 140736147271584 18446744073709551615 254273440177 0 0 16781312 2 18446604471134835904 0 0 -1 1 0 0 0
[pid=29514/tid=29528] ppid=29512 vsize=321092 CPUtime=0 cores=1,3,5,7
/proc/29514/task/29528/stat : 29528 (python) S 29512 29514 29287 0 -1 4202560 21 937 0 0 0 0 0 0 22 0 5 0 519225441 328798208 7470 33554432000 4194304 5683644 140736147271584 18446744073709551615 254273440177 0 0 16781312 2 18446604471134835904 0 0 -1 7 0 0 0
[pid=29514/tid=29531] ppid=29512 vsize=321092 CPUtime=0 cores=1,3,5,7
/proc/29514/task/29531/stat : 29531 (python) S 29512 29514 29287 0 -1 4202560 27 937 0 0 0 0 0 0 25 0 5 0 519225444 328798208 7470 33554432000 4194304 5683644 140736147271584 18446744073709551615 254273440177 0 0 16781312 2 18446604471134835904 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 13.99
Current children cumulated vsize (KiB) 2763372

Child status: 0
Real time (s): 5.60132
CPU time (s): 14.3298
CPU user time (s): 14.1618
CPU system time (s): 0.167974
CPU usage (%): 255.829
Max. virtual memory (cumulated for all children) (KiB): 2763700

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 14.1618
system time used= 0.167974
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 40343
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= 2960
involuntary context switches= 207

runsolver used 0.011998 second user time and 0.037994 second system time

The end