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-3482894-1307578595/watcher-3482894-1307578595 -o /tmp/evaluation-result-3482894-1307578595/solver-3482894-1307578595 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.dec.pickle HOME/instance-3482894-1307578595.opb -seed 1224744113 -budget 1800
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.05 1.90 2/545 4411
/proc/meminfo: memFree=21356940/32951124 swapFree=46575304/67111528
[pid=4411] ppid=4409 vsize=15384 CPUtime=0 cores=1,3,5,7
/proc/4411/stat : 4411 (python) R 4409 4411 3857 0 -1 4202496 787 0 0 0 0 0 0 0 20 0 1 0 602050857 15753216 676 33554432000 4194304 5683644 140736821786368 18446744073709551615 4540219 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/4411/statm: 3846 678 322 364 0 333 0
[startup+0.0699769 s]
/proc/loadavg: 2.00 2.05 1.90 2/545 4411
/proc/meminfo: memFree=21356940/32951124 swapFree=46575304/67111528
[pid=4411] ppid=4409 vsize=36512 CPUtime=0.03 cores=1,3,5,7
/proc/4411/stat : 4411 (python) R 4409 4411 3857 0 -1 4202496 1590 0 0 0 3 0 0 0 17 0 1 0 602050857 37388288 1425 33554432000 4194304 5683644 140736821786368 18446744073709551615 4620076 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/4411/statm: 9128 1426 452 364 0 945 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 36512
[startup+0.100968 s]
/proc/loadavg: 2.00 2.05 1.90 2/545 4411
/proc/meminfo: memFree=21356940/32951124 swapFree=46575304/67111528
[pid=4411] ppid=4409 vsize=85620 CPUtime=0.05 cores=1,3,5,7
/proc/4411/stat : 4411 (python) S 4409 4411 3857 0 -1 4202496 2664 0 0 0 4 1 0 0 17 0 1 0 602050857 87674880 2382 33554432000 4194304 5683644 140736821786368 18446744073709551615 268660660224 0 2147483391 16781312 2 18446744071699199166 0 0 17 3 0 0 0
/proc/4411/statm: 21405 2382 715 364 0 1622 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 85620
[startup+0.300953 s]
/proc/loadavg: 2.00 2.05 1.90 2/545 4411
/proc/meminfo: memFree=21356940/32951124 swapFree=46575304/67111528
[pid=4411] ppid=4409 vsize=123740 CPUtime=0.14 cores=1,3,5,7
/proc/4411/stat : 4411 (python) S 4409 4411 3857 0 -1 4202496 5357 933 1 0 10 4 0 0 16 0 1 0 602050857 126709760 3744 33554432000 4194304 5683644 140736821786368 18446744073709551615 268660658181 0 2147483391 16781312 2 18446744071699199166 0 0 17 3 0 0 0
/proc/4411/statm: 30935 3744 987 364 0 2767 0
Current children cumulated CPU time (s) 0.14
Current children cumulated vsize (KiB) 123740
[startup+0.700873 s]
/proc/loadavg: 2.00 2.05 1.90 2/545 4411
/proc/meminfo: memFree=21356940/32951124 swapFree=46575304/67111528
[pid=4411] ppid=4409 vsize=280112 CPUtime=0.33 cores=1,3,5,7
/proc/4411/stat : 4411 (python) R 4409 4411 3857 0 -1 4202496 8953 933 1 0 26 7 0 0 15 0 1 0 602050857 286834688 6866 33554432000 4194304 5683644 140736821786368 18446744073709551615 268660361785 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/4411/statm: 70028 6866 1749 364 0 5463 0
Current children cumulated CPU time (s) 0.33
Current children cumulated vsize (KiB) 280112
[startup+1.50074 s]
/proc/loadavg: 2.00 2.05 1.90 3/546 4416
/proc/meminfo: memFree=21332380/32951124 swapFree=46575304/67111528
[pid=4411] ppid=4409 vsize=295192 CPUtime=1.01 cores=1,3,5,7
/proc/4411/stat : 4411 (python) S 4409 4411 3857 0 -1 4202496 10200 933 1 0 93 8 0 0 18 0 2 0 602050857 302276608 7637 33554432000 4194304 5683644 140736821786368 18446744073709551615 268672488907 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/4411/statm: 73798 7637 1870 364 0 8685 0
Current children cumulated CPU time (s) 1.01
Current children cumulated vsize (KiB) 295192
[startup+3.10045 s]
/proc/loadavg: 2.00 2.05 1.90 3/549 4419
/proc/meminfo: memFree=21280028/32951124 swapFree=46575304/67111528
[pid=4411] ppid=4409 vsize=295192 CPUtime=1.01 cores=1,3,5,7
/proc/4411/stat : 4411 (python) S 4409 4411 3857 0 -1 4202496 10200 933 1 0 93 8 0 0 18 0 2 0 602050857 302276608 7637 33554432000 4194304 5683644 140736821786368 18446744073709551615 268672488907 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/4411/statm: 73798 7637 1870 364 0 8685 0
[pid=4417] ppid=4411 vsize=284948 CPUtime=0 cores=1,3,5,7
/proc/4417/stat : 4417 (python) S 4411 4411 3857 0 -1 4202560 730 0 0 0 0 0 0 0 15 0 1 0 602050994 291786752 6111 33554432000 4194304 5683644 140736821786368 18446744073709551615 268660682255 0 0 16781312 33554946 4420085366984245509 0 0 17 7 0 0 0
/proc/4417/statm: 71237 6111 348 364 0 6124 0
[pid=4419] ppid=4417 vsize=80348 CPUtime=1.71 cores=1,3,5,7
/proc/4419/stat : 4419 (minion) R 4417 4419 4419 0 -1 4202496 13393 0 0 0 170 1 0 0 25 0 1 0 602050994 82276352 12811 33554432000 134512640 165565024 4290796944 18446744073709551615 159737071 0 0 16781312 8396802 0 0 0 17 5 0 0 0
/proc/4419/statm: 20087 12811 359 7582 0 12502 0
[pid=4411/tid=4418] ppid=4409 vsize=295192 CPUtime=0 cores=1,3,5,7
/proc/4411/task/4418/stat : 4418 (python) S 4409 4411 3857 0 -1 4202560 25 933 0 0 0 0 0 0 18 0 2 0 602050994 302276608 7637 33554432000 4194304 5683644 140736821786368 18446744073709551615 268672485809 0 0 16781312 33554434 18446604465648269312 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2.72
Current children cumulated vsize (KiB) 660488
[startup+6.30089 s]
/proc/loadavg: 2.08 2.06 1.90 3/549 4419
/proc/meminfo: memFree=21280028/32951124 swapFree=46575304/67111528
[pid=4411] ppid=4409 vsize=295192 CPUtime=1.01 cores=1,3,5,7
/proc/4411/stat : 4411 (python) S 4409 4411 3857 0 -1 4202496 10200 933 1 0 93 8 0 0 18 0 2 0 602050857 302276608 7637 33554432000 4194304 5683644 140736821786368 18446744073709551615 268672488907 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/4411/statm: 73798 7637 1870 364 0 8685 0
[pid=4417] ppid=4411 vsize=284948 CPUtime=0.01 cores=1,3,5,7
/proc/4417/stat : 4417 (python) S 4411 4411 3857 0 -1 4202560 875 0 0 0 0 1 0 0 15 0 1 0 602050994 291786752 6135 33554432000 4194304 5683644 140736821786368 18446744073709551615 268660682255 0 0 16781312 33554946 4420086122898489605 0 0 17 7 0 0 0
/proc/4417/statm: 71237 6135 372 364 0 6124 0
[pid=4419] ppid=4417 vsize=80348 CPUtime=4.91 cores=1,3,5,7
/proc/4419/stat : 4419 (minion) R 4417 4419 4419 0 -1 4202496 13393 0 0 0 490 1 0 0 25 0 1 0 602050994 82276352 12811 33554432000 134512640 165565024 4290796944 18446744073709551615 158624694 0 0 16781312 8396802 0 0 0 17 5 0 0 0
/proc/4419/statm: 20087 12811 359 7582 0 12502 0
[pid=4411/tid=4418] ppid=4409 vsize=295192 CPUtime=0 cores=1,3,5,7
/proc/4411/task/4418/stat : 4418 (python) S 4409 4411 3857 0 -1 4202560 25 933 0 0 0 0 0 0 18 0 2 0 602050994 302276608 7637 33554432000 4194304 5683644 140736821786368 18446744073709551615 268672485809 0 0 16781312 33554434 18446604465648269312 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 5.93
Current children cumulated vsize (KiB) 660488
[startup+12.7008 s]
/proc/loadavg: 2.08 2.06 1.90 3/549 4419
/proc/meminfo: memFree=21279648/32951124 swapFree=46575304/67111528
[pid=4411] ppid=4409 vsize=295192 CPUtime=1.01 cores=1,3,5,7
/proc/4411/stat : 4411 (python) S 4409 4411 3857 0 -1 4202496 10200 933 1 0 93 8 0 0 18 0 2 0 602050857 302276608 7637 33554432000 4194304 5683644 140736821786368 18446744073709551615 268672488907 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/4411/statm: 73798 7637 1870 364 0 8685 0
[pid=4417] ppid=4411 vsize=284948 CPUtime=0.03 cores=1,3,5,7
/proc/4417/stat : 4417 (python) S 4411 4411 3857 0 -1 4202560 876 0 0 0 1 2 0 0 15 0 1 0 602050994 291786752 6135 33554432000 4194304 5683644 140736821786368 18446744073709551615 268660682255 0 0 16781312 33554946 5623753486446373765 0 0 17 7 0 0 0
/proc/4417/statm: 71237 6135 372 364 0 6124 0
[pid=4419] ppid=4417 vsize=80348 CPUtime=11.31 cores=1,3,5,7
/proc/4419/stat : 4419 (minion) R 4417 4419 4419 0 -1 4202496 13393 0 0 0 1130 1 0 0 25 0 1 0 602050994 82276352 12811 33554432000 134512640 165565024 4290796944 18446744073709551615 158624694 0 0 16781312 8396802 0 0 0 17 5 0 0 0
/proc/4419/statm: 20087 12811 359 7582 0 12502 0
[pid=4411/tid=4418] ppid=4409 vsize=295192 CPUtime=0 cores=1,3,5,7
/proc/4411/task/4418/stat : 4418 (python) S 4409 4411 3857 0 -1 4202560 25 933 0 0 0 0 0 0 18 0 2 0 602050994 302276608 7637 33554432000 4194304 5683644 140736821786368 18446744073709551615 268672485809 0 0 16781312 33554434 18446604465648269312 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 12.35
Current children cumulated vsize (KiB) 660488
[startup+25.5005 s]
/proc/loadavg: 2.06 2.06 1.90 3/549 4419
/proc/meminfo: memFree=21281048/32951124 swapFree=46575304/67111528
[pid=4411] ppid=4409 vsize=295192 CPUtime=1.01 cores=1,3,5,7
/proc/4411/stat : 4411 (python) S 4409 4411 3857 0 -1 4202496 10200 933 1 0 93 8 0 0 18 0 2 0 602050857 302276608 7637 33554432000 4194304 5683644 140736821786368 18446744073709551615 268672488907 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/4411/statm: 73798 7637 1870 364 0 8685 0
[pid=4417] ppid=4411 vsize=284948 CPUtime=0.1 cores=1,3,5,7
/proc/4417/stat : 4417 (python) S 4411 4411 3857 0 -1 4202560 980 0 0 0 5 5 0 0 15 0 1 0 602050994 291786752 6140 33554432000 4194304 5683644 140736821786368 18446744073709551615 268660682255 0 0 16781312 33554946 5623753486446373765 0 0 17 7 0 0 0
/proc/4417/statm: 71237 6140 377 364 0 6124 0
[pid=4419] ppid=4417 vsize=80348 CPUtime=24.11 cores=1,3,5,7
/proc/4419/stat : 4419 (minion) R 4417 4419 4419 0 -1 4202496 13393 0 0 0 2410 1 0 0 25 0 1 0 602050994 82276352 12811 33554432000 134512640 165565024 4290796944 18446744073709551615 159737071 0 0 16781312 8396802 0 0 0 17 5 0 0 0
/proc/4419/statm: 20087 12811 359 7582 0 12502 0
[pid=4411/tid=4418] ppid=4409 vsize=295192 CPUtime=0 cores=1,3,5,7
/proc/4411/task/4418/stat : 4418 (python) S 4409 4411 3857 0 -1 4202560 25 933 0 0 0 0 0 0 18 0 2 0 602050994 302276608 7637 33554432000 4194304 5683644 140736821786368 18446744073709551615 268672485809 0 0 16781312 33554434 18446604465648269312 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 25.22
Current children cumulated vsize (KiB) 660488
Solver just ended. Dumping a history of the last processes samples
[startup+38.3002 s]
/proc/loadavg: 2.05 2.05 1.90 3/549 4420
/proc/meminfo: memFree=21280740/32951124 swapFree=46575304/67111528
[pid=4411] ppid=4409 vsize=295192 CPUtime=1.01 cores=1,3,5,7
/proc/4411/stat : 4411 (python) S 4409 4411 3857 0 -1 4202496 10200 933 1 0 93 8 0 0 18 0 2 0 602050857 302276608 7637 33554432000 4194304 5683644 140736821786368 18446744073709551615 268672488907 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/4411/statm: 73798 7637 1870 364 0 8685 0
[pid=4417] ppid=4411 vsize=284948 CPUtime=0.13 cores=1,3,5,7
/proc/4417/stat : 4417 (python) S 4411 4411 3857 0 -1 4202560 982 0 0 0 6 7 0 0 15 0 1 0 602050994 291786752 6140 33554432000 4194304 5683644 140736821786368 18446744073709551615 268660682255 0 0 16781312 33554946 5623753486446373765 0 0 17 7 0 0 0
/proc/4417/statm: 71237 6140 377 364 0 6124 0
[pid=4419] ppid=4417 vsize=80348 CPUtime=36.91 cores=1,3,5,7
/proc/4419/stat : 4419 (minion) R 4417 4419 4419 0 -1 4202496 13393 0 0 0 3690 1 0 0 25 0 1 0 602050994 82276352 12811 33554432000 134512640 165565024 4290796944 18446744073709551615 142424304 0 0 16781312 8396802 0 0 0 17 5 0 0 0
/proc/4419/statm: 20087 12811 359 7582 0 12502 0
[pid=4411/tid=4418] ppid=4409 vsize=295192 CPUtime=0 cores=1,3,5,7
/proc/4411/task/4418/stat : 4418 (python) S 4409 4411 3857 0 -1 4202560 25 933 0 0 0 0 0 0 18 0 2 0 602050994 302276608 7637 33554432000 4194304 5683644 140736821786368 18446744073709551615 268672485809 0 0 16781312 33554434 18446604465648269312 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 38.05
Current children cumulated vsize (KiB) 660488
[startup+44.7011 s]
/proc/loadavg: 1.96 2.04 1.90 3/518 4442
/proc/meminfo: memFree=21386512/32951124 swapFree=46575304/67111528
[pid=4411] ppid=4409 vsize=295192 CPUtime=1.01 cores=1,3,5,7
/proc/4411/stat : 4411 (python) S 4409 4411 3857 0 -1 4202496 10200 933 1 0 93 8 0 0 18 0 2 0 602050857 302276608 7637 33554432000 4194304 5683644 140736821786368 18446744073709551615 268672488907 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/4411/statm: 73798 7637 1870 364 0 8685 0
[pid=4417] ppid=4411 vsize=284948 CPUtime=0.17 cores=1,3,5,7
/proc/4417/stat : 4417 (python) S 4411 4411 3857 0 -1 4202560 989 0 0 0 8 9 0 0 16 0 1 0 602050994 291786752 6140 33554432000 4194304 5683644 140736821786368 18446744073709551615 268660682255 0 0 16781312 33554946 5623753486446373765 0 0 17 7 0 0 0
/proc/4417/statm: 71237 6140 377 364 0 6124 0
[pid=4419] ppid=4417 vsize=80348 CPUtime=43.31 cores=1,3,5,7
/proc/4419/stat : 4419 (minion) R 4417 4419 4419 0 -1 4202496 13393 0 0 0 4330 1 0 0 25 0 1 0 602050994 82276352 12811 33554432000 134512640 165565024 4290796944 18446744073709551615 142764977 0 0 16781312 8396802 0 0 0 17 5 0 0 0
/proc/4419/statm: 20087 12811 359 7582 0 12502 0
[pid=4411/tid=4418] ppid=4409 vsize=295192 CPUtime=0 cores=1,3,5,7
/proc/4411/task/4418/stat : 4418 (python) S 4409 4411 3857 0 -1 4202560 25 933 0 0 0 0 0 0 18 0 2 0 602050994 302276608 7637 33554432000 4194304 5683644 140736821786368 18446744073709551615 268672485809 0 0 16781312 33554434 18446604465648269312 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 44.49
Current children cumulated vsize (KiB) 660488
[startup+47.9005 s]
/proc/loadavg: 2.13 2.07 1.91 3/518 4442
/proc/meminfo: memFree=21214360/32951124 swapFree=46575304/67111528
[pid=4411] ppid=4409 vsize=295192 CPUtime=1.01 cores=1,3,5,7
/proc/4411/stat : 4411 (python) S 4409 4411 3857 0 -1 4202496 10200 933 1 0 93 8 0 0 18 0 2 0 602050857 302276608 7637 33554432000 4194304 5683644 140736821786368 18446744073709551615 268672488907 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/4411/statm: 73798 7637 1870 364 0 8685 0
[pid=4417] ppid=4411 vsize=284948 CPUtime=0.17 cores=1,3,5,7
/proc/4417/stat : 4417 (python) S 4411 4411 3857 0 -1 4202560 989 0 0 0 8 9 0 0 15 0 1 0 602050994 291786752 6140 33554432000 4194304 5683644 140736821786368 18446744073709551615 268660682255 0 0 16781312 33554946 5623753486446373765 0 0 17 7 0 0 0
/proc/4417/statm: 71237 6140 377 364 0 6124 0
[pid=4419] ppid=4417 vsize=80348 CPUtime=46.51 cores=1,3,5,7
/proc/4419/stat : 4419 (minion) R 4417 4419 4419 0 -1 4202496 13393 0 0 0 4650 1 0 0 25 0 1 0 602050994 82276352 12811 33554432000 134512640 165565024 4290796944 18446744073709551615 159737071 0 0 16781312 8396802 0 0 0 17 5 0 0 0
/proc/4419/statm: 20087 12811 359 7582 0 12502 0
[pid=4411/tid=4418] ppid=4409 vsize=295192 CPUtime=0 cores=1,3,5,7
/proc/4411/task/4418/stat : 4418 (python) S 4409 4411 3857 0 -1 4202560 25 933 0 0 0 0 0 0 18 0 2 0 602050994 302276608 7637 33554432000 4194304 5683644 140736821786368 18446744073709551615 268672485809 0 0 16781312 33554434 18446604465648269312 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 47.69
Current children cumulated vsize (KiB) 660488
[startup+49.5183 s]
/proc/loadavg: 2.13 2.07 1.91 3/521 4452
/proc/meminfo: memFree=21038996/32951124 swapFree=46575304/67111528
[pid=4411] ppid=4409 vsize=295192 CPUtime=1.01 cores=1,3,5,7
/proc/4411/stat : 4411 (python) S 4409 4411 3857 0 -1 4202496 10200 933 1 0 93 8 0 0 18 0 2 0 602050857 302276608 7637 33554432000 4194304 5683644 140736821786368 18446744073709551615 268672488907 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/4411/statm: 73798 7637 1870 364 0 8685 0
[pid=4417] ppid=4411 vsize=284948 CPUtime=0.17 cores=1,3,5,7
/proc/4417/stat : 4417 (python) S 4411 4411 3857 0 -1 4202560 989 0 0 0 8 9 0 0 15 0 1 0 602050994 291786752 6140 33554432000 4194304 5683644 140736821786368 18446744073709551615 268660682255 0 0 16781312 33554946 5623753486446373765 0 0 17 7 0 0 0
/proc/4417/statm: 71237 6140 377 364 0 6124 0
[pid=4419] ppid=4417 vsize=80348 CPUtime=48.13 cores=1,3,5,7
/proc/4419/stat : 4419 (minion) R 4417 4419 4419 0 -1 4202496 13393 0 0 0 4812 1 0 0 25 0 1 0 602050994 82276352 12811 33554432000 134512640 165565024 4290796944 18446744073709551615 158624694 0 0 16781312 8396802 0 0 0 17 5 0 0 0
/proc/4419/statm: 20087 12811 359 7582 0 12502 0
[pid=4411/tid=4418] ppid=4409 vsize=295192 CPUtime=0 cores=1,3,5,7
/proc/4411/task/4418/stat : 4418 (python) S 4409 4411 3857 0 -1 4202560 25 933 0 0 0 0 0 0 18 0 2 0 602050994 302276608 7637 33554432000 4194304 5683644 140736821786368 18446744073709551615 268672485809 0 0 16781312 33554434 18446604465648269312 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 49.31
Current children cumulated vsize (KiB) 660488
[startup+50.3011 s]
/proc/loadavg: 2.13 2.07 1.91 3/521 4452
/proc/meminfo: memFree=21038996/32951124 swapFree=46575304/67111528
[pid=4411] ppid=4409 vsize=305952 CPUtime=1.03 cores=1,3,5,7
/proc/4411/stat : 4411 (python) S 4409 4411 3857 0 -1 4202496 11155 933 1 0 95 8 0 0 20 0 3 0 602050857 313294848 7770 33554432000 4194304 5683644 140736821786368 18446744073709551615 268672488907 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/4411/statm: 76488 7770 1873 364 0 11372 0
[pid=4417] ppid=4411 vsize=295192 CPUtime=0.19 cores=1,3,5,7
/proc/4417/stat : 4417 (python) S 4411 4411 3857 0 -1 4202560 1128 0 0 0 9 10 0 0 16 0 2 0 602050994 302276608 6180 33554432000 4194304 5683644 140736821786368 18446744073709551615 268672488907 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/4417/statm: 73798 6180 412 364 0 8685 0
[pid=4419] ppid=4417 vsize=80348 CPUtime=48.33 cores=1,3,5,7
/proc/4419/stat : 4419 (minion) T 4417 4419 4419 0 -1 4202496 13393 0 0 0 4832 1 0 0 25 0 1 0 602050994 82276352 12811 33554432000 134512640 165565024 4290796944 18446744073709551615 159737071 0 0 16781312 8396802 18446744071562691360 0 0 17 5 0 0 0
/proc/4419/statm: 20087 12811 359 7582 0 12502 0
[pid=4411/tid=4418] ppid=4409 vsize=305952 CPUtime=0 cores=1,3,5,7
/proc/4411/task/4418/stat : 4418 (python) S 4409 4411 3857 0 -1 4202560 25 933 0 0 0 0 0 0 18 0 3 0 602050994 313294848 7770 33554432000 4194304 5683644 140736821786368 18446744073709551615 268672485809 0 0 16781312 33554434 18446604465648269312 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 49.55
Current children cumulated vsize (KiB) 681492
[startup+50.701 s]
/proc/loadavg: 2.36 2.12 1.93 3/525 4456
/proc/meminfo: memFree=20746696/32951124 swapFree=46575304/67111528
[pid=4411] ppid=4409 vsize=305952 CPUtime=1.03 cores=1,3,5,7
/proc/4411/stat : 4411 (python) S 4409 4411 3857 0 -1 4202496 11155 933 1 0 95 8 0 0 20 0 3 0 602050857 313294848 7770 33554432000 4194304 5683644 140736821786368 18446744073709551615 268672488907 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/4411/statm: 76488 7770 1873 364 0 11372 0
[pid=4417] ppid=4411 vsize=295192 CPUtime=0.19 cores=1,3,5,7
/proc/4417/stat : 4417 (python) S 4411 4411 3857 0 -1 4202560 1128 0 0 0 9 10 0 0 16 0 2 0 602050994 302276608 6180 33554432000 4194304 5683644 140736821786368 18446744073709551615 268672488907 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/4417/statm: 73798 6180 412 364 0 8685 0
[pid=4419] ppid=4417 vsize=80348 CPUtime=48.33 cores=1,3,5,7
/proc/4419/stat : 4419 (minion) T 4417 4419 4419 0 -1 4202496 13393 0 0 0 4832 1 0 0 25 0 1 0 602050994 82276352 12811 33554432000 134512640 165565024 4290796944 18446744073709551615 159737071 0 0 16781312 8396802 18446744071562691360 0 0 17 5 0 0 0
/proc/4419/statm: 20087 12811 359 7582 0 12502 0
[pid=4417/tid=4453] ppid=4411 vsize=295192 CPUtime=0 cores=1,3,5,7
/proc/4417/task/4453/stat : 4453 (python) S 4411 4411 3857 0 -1 4202560 40 0 0 0 0 0 0 0 16 0 2 0 602055828 302276608 6180 33554432000 4194304 5683644 140736821786368 18446744073709551615 268672485809 0 0 16781312 33554946 18446604461388149952 0 0 -1 7 0 0 0
[pid=4454] ppid=4411 vsize=295708 CPUtime=0 cores=1,3,5,7
/proc/4454/stat : 4454 (python) S 4411 4411 3857 0 -1 4202560 734 0 0 0 0 0 0 0 19 0 1 0 602055831 302804992 6239 33554432000 4194304 5683644 140736821786368 18446744073709551615 268660682310 0 0 16781312 33554946 4397634713934594310 0 0 17 3 0 0 0
/proc/4454/statm: 73927 6239 346 364 0 8811 0
[pid=4456] ppid=4454 vsize=3188 CPUtime=0.95 cores=1,3,5,7
/proc/4456/stat : 4456 (clasp-1.3.7-x86) R 4454 4456 4456 0 -1 4202496 825 0 0 0 95 0 0 0 23 0 1 0 602055831 3264512 559 33554432000 134512640 136139019 4287446304 18446744073709551615 134608894 0 0 16781312 16386 0 0 0 17 5 0 0 0
/proc/4456/statm: 797 559 184 398 0 397 0
[pid=4411/tid=4418] ppid=4409 vsize=305952 CPUtime=0 cores=1,3,5,7
/proc/4411/task/4418/stat : 4418 (python) S 4409 4411 3857 0 -1 4202560 25 933 0 0 0 0 0 0 18 0 3 0 602050994 313294848 7770 33554432000 4194304 5683644 140736821786368 18446744073709551615 268672485809 0 0 16781312 33554434 18446604465648269312 0 0 -1 3 0 0 0
[pid=4411/tid=4455] ppid=4409 vsize=305952 CPUtime=0 cores=1,3,5,7
/proc/4411/task/4455/stat : 4455 (python) S 4409 4411 3857 0 -1 4202560 32 933 0 0 0 0 0 0 20 0 3 0 602055831 313294848 7770 33554432000 4194304 5683644 140736821786368 18446744073709551615 268672485809 0 0 16781312 33554434 18446604465648269312 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 50.5
Current children cumulated vsize (KiB) 980388
[startup+50.901 s]
/proc/loadavg: 2.36 2.12 1.93 3/525 4456
/proc/meminfo: memFree=20746696/32951124 swapFree=46575304/67111528
[pid=4411] ppid=4409 vsize=305952 CPUtime=1.03 cores=1,3,5,7
/proc/4411/stat : 4411 (python) S 4409 4411 3857 0 -1 4202496 11155 933 1 0 95 8 0 0 20 0 3 0 602050857 313294848 7770 33554432000 4194304 5683644 140736821786368 18446744073709551615 268672488907 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/4411/statm: 76488 7770 1873 364 0 11372 0
[pid=4417] ppid=4411 vsize=295192 CPUtime=0.19 cores=1,3,5,7
/proc/4417/stat : 4417 (python) S 4411 4411 3857 0 -1 4202560 1128 0 0 0 9 10 0 0 16 0 2 0 602050994 302276608 6180 33554432000 4194304 5683644 140736821786368 18446744073709551615 268672488907 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/4417/statm: 73798 6180 412 364 0 8685 0
[pid=4419] ppid=4417 vsize=80348 CPUtime=48.33 cores=1,3,5,7
/proc/4419/stat : 4419 (minion) T 4417 4419 4419 0 -1 4202496 13393 0 0 0 4832 1 0 0 25 0 1 0 602050994 82276352 12811 33554432000 134512640 165565024 4290796944 18446744073709551615 159737071 0 0 16781312 8396802 18446744071562691360 0 0 17 5 0 0 0
/proc/4419/statm: 20087 12811 359 7582 0 12502 0
[pid=4417/tid=4453] ppid=4411 vsize=295192 CPUtime=0 cores=1,3,5,7
/proc/4417/task/4453/stat : 4453 (python) S 4411 4411 3857 0 -1 4202560 40 0 0 0 0 0 0 0 16 0 2 0 602055828 302276608 6180 33554432000 4194304 5683644 140736821786368 18446744073709551615 268672485809 0 0 16781312 33554946 18446604461388149952 0 0 -1 7 0 0 0
[pid=4454] ppid=4411 vsize=295708 CPUtime=0 cores=1,3,5,7
/proc/4454/stat : 4454 (python) S 4411 4411 3857 0 -1 4202560 756 0 0 0 0 0 0 0 18 0 1 0 602055831 302804992 6242 33554432000 4194304 5683644 140736821786368 18446744073709551615 268660682310 0 0 16781312 33554946 4445747830937583878 0 0 17 3 0 0 0
/proc/4454/statm: 73927 6242 349 364 0 8811 0
[pid=4456] ppid=4454 vsize=3320 CPUtime=1.15 cores=1,3,5,7
/proc/4456/stat : 4456 (clasp-1.3.7-x86) R 4454 4456 4456 0 -1 4202496 829 0 0 0 115 0 0 0 25 0 1 0 602055831 3399680 563 33554432000 134512640 136139019 4287446304 18446744073709551615 134612219 0 0 16781312 16386 0 0 0 17 5 0 0 0
/proc/4456/statm: 830 563 184 398 0 430 0
[pid=4411/tid=4418] ppid=4409 vsize=305952 CPUtime=0 cores=1,3,5,7
/proc/4411/task/4418/stat : 4418 (python) S 4409 4411 3857 0 -1 4202560 25 933 0 0 0 0 0 0 18 0 3 0 602050994 313294848 7770 33554432000 4194304 5683644 140736821786368 18446744073709551615 268672485809 0 0 16781312 33554434 18446604465648269312 0 0 -1 3 0 0 0
[pid=4411/tid=4455] ppid=4409 vsize=305952 CPUtime=0 cores=1,3,5,7
/proc/4411/task/4455/stat : 4455 (python) S 4409 4411 3857 0 -1 4202560 32 933 0 0 0 0 0 0 20 0 3 0 602055831 313294848 7770 33554432000 4194304 5683644 140736821786368 18446744073709551615 268672485809 0 0 16781312 33554434 18446604465648269312 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 50.7
Current children cumulated vsize (KiB) 980520
[startup+51.001 s]
/proc/loadavg: 2.36 2.12 1.93 3/525 4456
/proc/meminfo: memFree=20746696/32951124 swapFree=46575304/67111528
[pid=4411] ppid=4409 vsize=305952 CPUtime=1.03 cores=1,3,5,7
/proc/4411/stat : 4411 (python) S 4409 4411 3857 0 -1 4202496 11155 933 1 0 95 8 0 0 20 0 3 0 602050857 313294848 7770 33554432000 4194304 5683644 140736821786368 18446744073709551615 268672488907 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/4411/statm: 76488 7770 1873 364 0 11372 0
[pid=4417] ppid=4411 vsize=295192 CPUtime=0.19 cores=1,3,5,7
/proc/4417/stat : 4417 (python) S 4411 4411 3857 0 -1 4202560 1128 0 0 0 9 10 0 0 16 0 2 0 602050994 302276608 6180 33554432000 4194304 5683644 140736821786368 18446744073709551615 268672488907 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/4417/statm: 73798 6180 412 364 0 8685 0
[pid=4419] ppid=4417 vsize=80348 CPUtime=48.33 cores=1,3,5,7
/proc/4419/stat : 4419 (minion) T 4417 4419 4419 0 -1 4202496 13393 0 0 0 4832 1 0 0 25 0 1 0 602050994 82276352 12811 33554432000 134512640 165565024 4290796944 18446744073709551615 159737071 0 0 16781312 8396802 18446744071562691360 0 0 17 5 0 0 0
/proc/4419/statm: 20087 12811 359 7582 0 12502 0
[pid=4417/tid=4453] ppid=4411 vsize=295192 CPUtime=0 cores=1,3,5,7
/proc/4417/task/4453/stat : 4453 (python) S 4411 4411 3857 0 -1 4202560 40 0 0 0 0 0 0 0 16 0 2 0 602055828 302276608 6180 33554432000 4194304 5683644 140736821786368 18446744073709551615 268672485809 0 0 16781312 33554946 18446604461388149952 0 0 -1 7 0 0 0
[pid=4454] ppid=4411 vsize=295708 CPUtime=0 cores=1,3,5,7
/proc/4454/stat : 4454 (python) S 4411 4411 3857 0 -1 4202560 756 0 0 0 0 0 0 0 18 0 1 0 602055831 302804992 6242 33554432000 4194304 5683644 140736821786368 18446744073709551615 268660682310 0 0 16781312 33554946 4445747830937583878 0 0 17 3 0 0 0
/proc/4454/statm: 73927 6242 349 364 0 8811 0
[pid=4456] ppid=4454 vsize=3320 CPUtime=1.25 cores=1,3,5,7
/proc/4456/stat : 4456 (clasp-1.3.7-x86) R 4454 4456 4456 0 -1 4202496 829 0 0 0 125 0 0 0 25 0 1 0 602055831 3399680 563 33554432000 134512640 136139019 4287446304 18446744073709551615 134883469 0 0 16781312 16386 0 0 0 17 5 0 0 0
/proc/4456/statm: 830 563 184 398 0 430 0
[pid=4411/tid=4418] ppid=4409 vsize=305952 CPUtime=0 cores=1,3,5,7
/proc/4411/task/4418/stat : 4418 (python) S 4409 4411 3857 0 -1 4202560 25 933 0 0 0 0 0 0 18 0 3 0 602050994 313294848 7770 33554432000 4194304 5683644 140736821786368 18446744073709551615 268672485809 0 0 16781312 33554434 18446604465648269312 0 0 -1 3 0 0 0
[pid=4411/tid=4455] ppid=4409 vsize=305952 CPUtime=0 cores=1,3,5,7
/proc/4411/task/4455/stat : 4455 (python) S 4409 4411 3857 0 -1 4202560 32 933 0 0 0 0 0 0 20 0 3 0 602055831 313294848 7770 33554432000 4194304 5683644 140736821786368 18446744073709551615 268672485809 0 0 16781312 33554434 18446604465648269312 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 50.8
Current children cumulated vsize (KiB) 980520
Child status: 0
Real time (s): 51.0683
CPU time (s): 50.9193
CPU user time (s): 50.6953
CPU system time (s): 0.223965
CPU usage (%): 99.7082
Max. virtual memory (cumulated for all children) (KiB): 980520
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 50.6953
system time used= 0.223965
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 33074
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= 2956
involuntary context switches= 161
runsolver used 0.231964 second user time and 0.611906 second system time
The end