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-3482431-1307576445/watcher-3482431-1307576445 -o /tmp/evaluation-result-3482431-1307576445/solver-3482431-1307576445 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.dec.pickle HOME/instance-3482431-1307576445.opb -seed 1473861199 -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.35 0.40 0.14 1/494 31909
/proc/meminfo: memFree=27122512/32950928 swapFree=34421304/67111528
[pid=31909] ppid=31907 vsize=15080 CPUtime=0 cores=1,3,5,7
/proc/31909/stat : 31909 (python) S 31907 31909 31489 0 -1 4202496 617 0 0 0 0 0 0 0 17 0 1 0 947875860 15441920 513 33554432000 4194304 5683644 140736697665152 18446744073709551615 251367544832 0 2147483391 16781312 2 18446744071699199166 0 0 17 3 0 0 0
/proc/31909/statm: 3770 513 300 364 0 257 0
[startup+0.0324519 s]
/proc/loadavg: 1.35 0.40 0.14 1/494 31909
/proc/meminfo: memFree=27122512/32950928 swapFree=34421304/67111528
[pid=31909] ppid=31907 vsize=15080 CPUtime=0 cores=1,3,5,7
/proc/31909/stat : 31909 (python) S 31907 31909 31489 0 -1 4202496 650 0 0 0 0 0 0 0 17 0 1 0 947875860 15441920 545 33554432000 4194304 5683644 140736697665152 18446744073709551615 251367544832 0 2147483391 16781312 2 18446744071699199166 0 0 17 7 0 0 0
/proc/31909/statm: 3770 545 312 364 0 257 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 15080
[startup+0.100348 s]
/proc/loadavg: 1.35 0.40 0.14 1/494 31909
/proc/meminfo: memFree=27122512/32950928 swapFree=34421304/67111528
[pid=31909] ppid=31907 vsize=15380 CPUtime=0 cores=1,3,5,7
/proc/31909/stat : 31909 (python) S 31907 31909 31489 0 -1 4202496 811 0 0 0 0 0 0 0 17 0 1 0 947875860 15749120 696 33554432000 4194304 5683644 140736697665152 18446744073709551615 251367544832 0 2147483391 16781312 2 18446744071699199166 0 0 17 7 0 0 0
/proc/31909/statm: 3845 696 334 364 0 332 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 15380
[startup+0.300356 s]
/proc/loadavg: 1.35 0.40 0.14 1/494 31909
/proc/meminfo: memFree=27122512/32950928 swapFree=34421304/67111528
[pid=31909] ppid=31907 vsize=16816 CPUtime=0.01 cores=1,3,5,7
/proc/31909/stat : 31909 (python) S 31907 31909 31489 0 -1 4202496 1229 0 0 0 1 0 0 0 15 0 1 0 947875860 17219584 1086 33554432000 4194304 5683644 140736697665152 18446744073709551615 251367544832 0 2147483391 16781312 2 18446744071699199166 0 0 17 7 0 0 0
/proc/31909/statm: 4204 1086 417 364 0 691 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 16816
[startup+0.700335 s]
/proc/loadavg: 1.35 0.40 0.14 1/494 31909
/proc/meminfo: memFree=27122512/32950928 swapFree=34421304/67111528
[pid=31909] ppid=31907 vsize=123740 CPUtime=0.14 cores=1,3,5,7
/proc/31909/stat : 31909 (python) S 31907 31909 31489 0 -1 4202496 5357 930 1 0 11 3 0 0 15 0 1 0 947875860 126709760 3743 33554432000 4194304 5683644 140736697665152 18446744073709551615 251367544832 0 2147483391 16781312 2 18446744071699199166 0 0 17 7 0 0 0
/proc/31909/statm: 30935 3743 987 364 0 2767 0
Current children cumulated CPU time (s) 0.14
Current children cumulated vsize (KiB) 123740
[startup+1.50116 s]
/proc/loadavg: 1.35 0.40 0.14 3/499 31919
/proc/meminfo: memFree=27003200/32950928 swapFree=34421304/67111528
[pid=31909] ppid=31907 vsize=293476 CPUtime=0.46 cores=1,3,5,7
/proc/31909/stat : 31909 (python) S 31907 31909 31489 0 -1 4202496 9709 930 1 0 35 11 0 0 18 0 2 0 947875860 300519424 7213 33554432000 4194304 5683644 140736697665152 18446744073709551615 251379373515 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/31909/statm: 73369 7213 1870 364 0 8256 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 293476
[startup+3.10088 s]
/proc/loadavg: 1.35 0.40 0.14 3/505 31929
/proc/meminfo: memFree=26973392/32950928 swapFree=34421304/67111528
[pid=31909] ppid=31907 vsize=293476 CPUtime=0.46 cores=1,3,5,7
/proc/31909/stat : 31909 (python) S 31907 31909 31489 0 -1 4202496 9709 930 1 0 35 11 0 0 18 0 2 0 947875860 300519424 7213 33554432000 4194304 5683644 140736697665152 18446744073709551615 251379373515 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/31909/statm: 73369 7213 1870 364 0 8256 0
[pid=31924] ppid=31909 vsize=283232 CPUtime=0 cores=1,3,5,7
/proc/31924/stat : 31924 (python) S 31909 31909 31489 0 -1 4202560 724 0 0 0 0 0 0 0 18 0 1 0 947875995 290029568 5691 33554432000 4194304 5683644 140736697665152 18446744073709551615 251367566863 0 0 16781312 33554946 4525452734505124101 0 0 17 7 0 0 0
/proc/31924/statm: 70808 5691 352 364 0 5695 0
[pid=31926] ppid=31924 vsize=2520 CPUtime=1.73 cores=1,3,5,7
/proc/31926/stat : 31926 (clasp-1.3.7-x86) R 31924 31926 31926 0 -1 4202496 640 0 0 0 173 0 0 0 25 0 1 0 947875995 2580480 382 33554432000 134512640 136139019 4291514432 18446744073709551615 134608333 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/31926/statm: 630 382 184 398 0 230 0
[pid=31909/tid=31925] ppid=31907 vsize=293476 CPUtime=0 cores=1,3,5,7
/proc/31909/task/31925/stat : 31925 (python) S 31907 31909 31489 0 -1 4202560 27 930 0 0 0 0 0 0 18 0 2 0 947875995 300519424 7213 33554432000 4194304 5683644 140736697665152 18446744073709551615 251379370417 0 0 16781312 33554434 18446604462981703552 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2.19
Current children cumulated vsize (KiB) 579228
heavy processes:
[startup+6.30025 s]
/proc/loadavg: 1.57 0.46 0.16 3/505 31929
/proc/meminfo: memFree=26968676/32950928 swapFree=34421304/67111528
[pid=31909] ppid=31907 vsize=293476 CPUtime=0.46 cores=1,3,5,7
/proc/31909/stat : 31909 (python) S 31907 31909 31489 0 -1 4202496 9709 930 1 0 35 11 0 0 18 0 2 0 947875860 300519424 7213 33554432000 4194304 5683644 140736697665152 18446744073709551615 251379373515 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/31909/statm: 73369 7213 1870 364 0 8256 0
[pid=31924] ppid=31909 vsize=283232 CPUtime=0.01 cores=1,3,5,7
/proc/31924/stat : 31924 (python) S 31909 31909 31489 0 -1 4202560 885 0 0 0 0 1 0 0 18 0 1 0 947875995 290029568 5714 33554432000 4194304 5683644 140736697665152 18446744073709551615 251367566863 0 0 16781312 33554946 16671671512322769157 0 0 17 7 0 0 0
/proc/31924/statm: 70808 5714 375 364 0 5695 0
[pid=31926] ppid=31924 vsize=2920 CPUtime=4.94 cores=1,3,5,7
/proc/31926/stat : 31926 (clasp-1.3.7-x86) R 31924 31926 31926 0 -1 4202496 734 0 0 0 490 4 0 0 25 0 1 0 947875995 2990080 476 33554432000 134512640 136139019 4291514432 18446744073709551615 134598492 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/31926/statm: 730 476 184 398 0 330 0
[pid=31909/tid=31925] ppid=31907 vsize=293476 CPUtime=0 cores=1,3,5,7
/proc/31909/task/31925/stat : 31925 (python) S 31907 31909 31489 0 -1 4202560 27 930 0 0 0 0 0 0 18 0 2 0 947875995 300519424 7213 33554432000 4194304 5683644 140736697665152 18446744073709551615 251379370417 0 0 16781312 33554434 18446604462981703552 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 5.41
Current children cumulated vsize (KiB) 579628
[startup+12.7011 s]
/proc/loadavg: 1.60 0.49 0.17 4/505 31929
/proc/meminfo: memFree=26970700/32950928 swapFree=34421304/67111528
[pid=31909] ppid=31907 vsize=293476 CPUtime=0.46 cores=1,3,5,7
/proc/31909/stat : 31909 (python) S 31907 31909 31489 0 -1 4202496 9709 930 1 0 35 11 0 0 18 0 2 0 947875860 300519424 7213 33554432000 4194304 5683644 140736697665152 18446744073709551615 251379373515 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/31909/statm: 73369 7213 1870 364 0 8256 0
[pid=31924] ppid=31909 vsize=283232 CPUtime=0.03 cores=1,3,5,7
/proc/31924/stat : 31924 (python) S 31909 31909 31489 0 -1 4202560 890 0 0 0 1 2 0 0 18 0 1 0 947875995 290029568 5715 33554432000 4194304 5683644 140736697665152 18446744073709551615 251367566863 0 0 16781312 33554946 5623753486446373740 0 0 17 7 0 0 0
/proc/31924/statm: 70808 5715 376 364 0 5695 0
[pid=31926] ppid=31924 vsize=3448 CPUtime=11.34 cores=1,3,5,7
/proc/31926/stat : 31926 (clasp-1.3.7-x86) R 31924 31926 31926 0 -1 4202496 861 0 0 0 1130 4 0 0 25 0 1 0 947875995 3530752 603 33554432000 134512640 136139019 4291514432 18446744073709551615 134621984 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/31926/statm: 862 603 184 398 0 462 0
[pid=31909/tid=31925] ppid=31907 vsize=293476 CPUtime=0 cores=1,3,5,7
/proc/31909/task/31925/stat : 31925 (python) S 31907 31909 31489 0 -1 4202560 27 930 0 0 0 0 0 0 18 0 2 0 947875995 300519424 7213 33554432000 4194304 5683644 140736697665152 18446744073709551615 251379370417 0 0 16781312 33554434 18446604462981703552 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 11.83
Current children cumulated vsize (KiB) 580156
[startup+25.5007 s]
/proc/loadavg: 1.66 0.54 0.18 3/505 31965
/proc/meminfo: memFree=26970800/32950928 swapFree=34421304/67111528
[pid=31909] ppid=31907 vsize=293476 CPUtime=0.46 cores=1,3,5,7
/proc/31909/stat : 31909 (python) S 31907 31909 31489 0 -1 4202496 9709 930 1 0 35 11 0 0 18 0 2 0 947875860 300519424 7213 33554432000 4194304 5683644 140736697665152 18446744073709551615 251379373515 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/31909/statm: 73369 7213 1870 364 0 8256 0
[pid=31924] ppid=31909 vsize=283232 CPUtime=0.09 cores=1,3,5,7
/proc/31924/stat : 31924 (python) S 31909 31909 31489 0 -1 4202560 899 0 0 0 4 5 0 0 18 0 1 0 947875995 290029568 5715 33554432000 4194304 5683644 140736697665152 18446744073709551615 251367566863 0 0 16781312 33554946 5623458817330129772 0 0 17 3 0 0 0
/proc/31924/statm: 70808 5715 376 364 0 5695 0
[pid=31926] ppid=31924 vsize=4120 CPUtime=24.14 cores=1,3,5,7
/proc/31926/stat : 31926 (clasp-1.3.7-x86) R 31924 31926 31926 0 -1 4202496 1041 0 0 0 2407 7 0 0 25 0 1 0 947875995 4218880 783 33554432000 134512640 136139019 4291514432 18446744073709551615 134883379 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/31926/statm: 1030 783 184 398 0 630 0
[pid=31909/tid=31925] ppid=31907 vsize=293476 CPUtime=0 cores=1,3,5,7
/proc/31909/task/31925/stat : 31925 (python) S 31907 31909 31489 0 -1 4202560 27 930 0 0 0 0 0 0 18 0 2 0 947875995 300519424 7213 33554432000 4194304 5683644 140736697665152 18446744073709551615 251379370417 0 0 16781312 33554434 18446604462981703552 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 24.69
Current children cumulated vsize (KiB) 580828
[startup+51.1189 s]
/proc/loadavg: 2.06 0.74 0.26 3/506 32001
/proc/meminfo: memFree=26623156/32950928 swapFree=34421304/67111528
[pid=31909] ppid=31907 vsize=304192 CPUtime=0.63 cores=1,3,5,7
/proc/31909/stat : 31909 (python) S 31907 31909 31489 0 -1 4202496 10638 930 1 0 52 11 0 0 20 0 3 0 947875860 311492608 7346 33554432000 4194304 5683644 140736697665152 18446744073709551615 251379373515 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/31909/statm: 76048 7346 1873 364 0 10932 0
[pid=31924] ppid=31909 vsize=293476 CPUtime=0.19 cores=1,3,5,7
/proc/31924/stat : 31924 (python) S 31909 31909 31489 0 -1 4202560 1137 0 0 0 8 11 0 0 19 0 2 0 947875995 300519424 5756 33554432000 4194304 5683644 140736697665152 18446744073709551615 251379373515 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/31924/statm: 73369 5756 412 364 0 8256 0
[pid=31926] ppid=31924 vsize=5080 CPUtime=48.18 cores=1,3,5,7
/proc/31926/stat : 31926 (clasp-1.3.7-x86) T 31924 31926 31926 0 -1 4202496 1264 0 0 0 4809 9 0 0 25 0 1 0 947875995 5201920 1006 33554432000 134512640 136139019 4291514432 18446744073709551615 134832230 0 0 16781312 16386 18446744071562691360 0 0 17 1 0 0 0
/proc/31926/statm: 1270 1006 184 398 0 870 0
[pid=31924/tid=31998] ppid=31909 vsize=293476 CPUtime=0 cores=1,3,5,7
/proc/31924/task/31998/stat : 31998 (python) S 31909 31909 31489 0 -1 4202560 42 0 0 0 0 0 0 0 19 0 2 0 947880814 300519424 5756 33554432000 4194304 5683644 140736697665152 18446744073709551615 251379370417 0 0 16781312 33554946 18446604460791760192 0 0 -1 7 0 0 0
[pid=31999] ppid=31909 vsize=293948 CPUtime=0 cores=1,3,5,7
/proc/31999/stat : 31999 (python) S 31909 31909 31489 0 -1 4202560 774 0 0 0 0 0 0 0 18 0 1 0 947880831 301002752 5818 33554432000 4194304 5683644 140736697665152 18446744073709551615 251367566918 0 0 16781312 33554946 4617459111603175687 0 0 17 1 0 0 0
/proc/31999/statm: 73487 5818 349 364 0 8371 0
[pid=32001] ppid=31999 vsize=65288 CPUtime=1.39 cores=1,3,5,7
/proc/32001/stat : 32001 (minion) R 31999 32001 32001 0 -1 4202496 9428 0 0 0 138 1 0 0 25 0 1 0 947880831 66854912 9062 33554432000 134512640 165565024 4294656480 18446744073709551615 141381165 0 0 16781312 8396802 0 0 0 17 3 0 0 0
/proc/32001/statm: 16322 9062 346 7582 0 8737 0
[pid=31909/tid=31925] ppid=31907 vsize=304192 CPUtime=0 cores=1,3,5,7
/proc/31909/task/31925/stat : 31925 (python) S 31907 31909 31489 0 -1 4202560 27 930 0 0 0 0 0 0 18 0 3 0 947875995 311492608 7346 33554432000 4194304 5683644 140736697665152 18446744073709551615 251379370417 0 0 16781312 33554434 18446604462981703552 0 0 -1 1 0 0 0
[pid=31909/tid=32000] ppid=31907 vsize=304192 CPUtime=0 cores=1,3,5,7
/proc/31909/task/32000/stat : 32000 (python) S 31907 31909 31489 0 -1 4202560 30 930 0 0 0 0 0 0 20 0 3 0 947880831 311492608 7346 33554432000 4194304 5683644 140736697665152 18446744073709551615 251379370417 0 0 16781312 33554434 18446604462981703552 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 50.39
Current children cumulated vsize (KiB) 961984
Solver just ended. Dumping a history of the last processes samples
[startup+51.6008 s]
/proc/loadavg: 2.06 0.74 0.26 3/506 32001
/proc/meminfo: memFree=26623156/32950928 swapFree=34421304/67111528
[pid=31909] ppid=31907 vsize=304192 CPUtime=0.63 cores=1,3,5,7
/proc/31909/stat : 31909 (python) S 31907 31909 31489 0 -1 4202496 10638 930 1 0 52 11 0 0 20 0 3 0 947875860 311492608 7346 33554432000 4194304 5683644 140736697665152 18446744073709551615 251379373515 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/31909/statm: 76048 7346 1873 364 0 10932 0
[pid=31924] ppid=31909 vsize=293476 CPUtime=0.19 cores=1,3,5,7
/proc/31924/stat : 31924 (python) S 31909 31909 31489 0 -1 4202560 1137 0 0 0 8 11 0 0 19 0 2 0 947875995 300519424 5756 33554432000 4194304 5683644 140736697665152 18446744073709551615 251379373515 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/31924/statm: 73369 5756 412 364 0 8256 0
[pid=31926] ppid=31924 vsize=5080 CPUtime=48.18 cores=1,3,5,7
/proc/31926/stat : 31926 (clasp-1.3.7-x86) T 31924 31926 31926 0 -1 4202496 1264 0 0 0 4809 9 0 0 25 0 1 0 947875995 5201920 1006 33554432000 134512640 136139019 4291514432 18446744073709551615 134832230 0 0 16781312 16386 18446744071562691360 0 0 17 1 0 0 0
/proc/31926/statm: 1270 1006 184 398 0 870 0
[pid=31924/tid=31998] ppid=31909 vsize=293476 CPUtime=0 cores=1,3,5,7
/proc/31924/task/31998/stat : 31998 (python) S 31909 31909 31489 0 -1 4202560 42 0 0 0 0 0 0 0 19 0 2 0 947880814 300519424 5756 33554432000 4194304 5683644 140736697665152 18446744073709551615 251379370417 0 0 16781312 33554946 18446604460791760192 0 0 -1 7 0 0 0
[pid=31999] ppid=31909 vsize=293948 CPUtime=0 cores=1,3,5,7
/proc/31999/stat : 31999 (python) S 31909 31909 31489 0 -1 4202560 774 0 0 0 0 0 0 0 18 0 1 0 947880831 301002752 5818 33554432000 4194304 5683644 140736697665152 18446744073709551615 251367566918 0 0 16781312 33554946 4617459111603175687 0 0 17 1 0 0 0
/proc/31999/statm: 73487 5818 349 364 0 8371 0
[pid=32001] ppid=31999 vsize=65288 CPUtime=1.88 cores=1,3,5,7
/proc/32001/stat : 32001 (minion) R 31999 32001 32001 0 -1 4202496 9428 0 0 0 187 1 0 0 25 0 1 0 947880831 66854912 9062 33554432000 134512640 165565024 4294656480 18446744073709551615 158624682 0 0 16781312 8396802 0 0 0 17 3 0 0 0
/proc/32001/statm: 16322 9062 346 7582 0 8737 0
[pid=31909/tid=31925] ppid=31907 vsize=304192 CPUtime=0 cores=1,3,5,7
/proc/31909/task/31925/stat : 31925 (python) S 31907 31909 31489 0 -1 4202560 27 930 0 0 0 0 0 0 18 0 3 0 947875995 311492608 7346 33554432000 4194304 5683644 140736697665152 18446744073709551615 251379370417 0 0 16781312 33554434 18446604462981703552 0 0 -1 1 0 0 0
[pid=31909/tid=32000] ppid=31907 vsize=304192 CPUtime=0 cores=1,3,5,7
/proc/31909/task/32000/stat : 32000 (python) S 31907 31909 31489 0 -1 4202560 30 930 0 0 0 0 0 0 20 0 3 0 947880831 311492608 7346 33554432000 4194304 5683644 140736697665152 18446744073709551615 251379370417 0 0 16781312 33554434 18446604462981703552 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 50.88
Current children cumulated vsize (KiB) 961984
[startup+53.2005 s]
/proc/loadavg: 2.06 0.74 0.26 3/506 32002
/proc/meminfo: memFree=26561164/32950928 swapFree=34421304/67111528
[pid=31909] ppid=31907 vsize=304192 CPUtime=0.63 cores=1,3,5,7
/proc/31909/stat : 31909 (python) S 31907 31909 31489 0 -1 4202496 10638 930 1 0 52 11 0 0 20 0 3 0 947875860 311492608 7346 33554432000 4194304 5683644 140736697665152 18446744073709551615 251379373515 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/31909/statm: 76048 7346 1873 364 0 10932 0
[pid=31924] ppid=31909 vsize=293476 CPUtime=0.19 cores=1,3,5,7
/proc/31924/stat : 31924 (python) S 31909 31909 31489 0 -1 4202560 1137 0 0 0 8 11 0 0 19 0 2 0 947875995 300519424 5756 33554432000 4194304 5683644 140736697665152 18446744073709551615 251379373515 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/31924/statm: 73369 5756 412 364 0 8256 0
[pid=31926] ppid=31924 vsize=5080 CPUtime=48.18 cores=1,3,5,7
/proc/31926/stat : 31926 (clasp-1.3.7-x86) T 31924 31926 31926 0 -1 4202496 1264 0 0 0 4809 9 0 0 25 0 1 0 947875995 5201920 1006 33554432000 134512640 136139019 4291514432 18446744073709551615 134832230 0 0 16781312 16386 18446744071562691360 0 0 17 1 0 0 0
/proc/31926/statm: 1270 1006 184 398 0 870 0
[pid=31924/tid=31998] ppid=31909 vsize=293476 CPUtime=0 cores=1,3,5,7
/proc/31924/task/31998/stat : 31998 (python) S 31909 31909 31489 0 -1 4202560 42 0 0 0 0 0 0 0 19 0 2 0 947880814 300519424 5756 33554432000 4194304 5683644 140736697665152 18446744073709551615 251379370417 0 0 16781312 33554946 18446604460791760192 0 0 -1 7 0 0 0
[pid=31999] ppid=31909 vsize=293948 CPUtime=0.01 cores=1,3,5,7
/proc/31999/stat : 31999 (python) S 31909 31909 31489 0 -1 4202560 919 0 0 0 0 1 0 0 18 0 1 0 947880831 301002752 5842 33554432000 4194304 5683644 140736697665152 18446744073709551615 251367566918 0 0 16781312 33554946 4617459111603175687 0 0 17 7 0 0 0
/proc/31999/statm: 73487 5842 373 364 0 8371 0
[pid=32001] ppid=31999 vsize=65288 CPUtime=3.49 cores=1,3,5,7
/proc/32001/stat : 32001 (minion) R 31999 32001 32001 0 -1 4202496 9428 0 0 0 348 1 0 0 25 0 1 0 947880831 66854912 9062 33554432000 134512640 165565024 4294656480 18446744073709551615 142764901 0 0 16781312 8396802 0 0 0 17 3 0 0 0
/proc/32001/statm: 16322 9062 346 7582 0 8737 0
[pid=31909/tid=31925] ppid=31907 vsize=304192 CPUtime=0 cores=1,3,5,7
/proc/31909/task/31925/stat : 31925 (python) S 31907 31909 31489 0 -1 4202560 27 930 0 0 0 0 0 0 18 0 3 0 947875995 311492608 7346 33554432000 4194304 5683644 140736697665152 18446744073709551615 251379370417 0 0 16781312 33554434 18446604462981703552 0 0 -1 1 0 0 0
[pid=31909/tid=32000] ppid=31907 vsize=304192 CPUtime=0 cores=1,3,5,7
/proc/31909/task/32000/stat : 32000 (python) S 31907 31909 31489 0 -1 4202560 30 930 0 0 0 0 0 0 20 0 3 0 947880831 311492608 7346 33554432000 4194304 5683644 140736697665152 18446744073709551615 251379370417 0 0 16781312 33554434 18446604462981703552 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 52.5
Current children cumulated vsize (KiB) 961984
[startup+54.8012 s]
/proc/loadavg: 2.06 0.74 0.26 3/506 32002
/proc/meminfo: memFree=26527188/32950928 swapFree=34421304/67111528
[pid=31909] ppid=31907 vsize=304192 CPUtime=0.63 cores=1,3,5,7
/proc/31909/stat : 31909 (python) S 31907 31909 31489 0 -1 4202496 10638 930 1 0 52 11 0 0 20 0 3 0 947875860 311492608 7346 33554432000 4194304 5683644 140736697665152 18446744073709551615 251379373515 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/31909/statm: 76048 7346 1873 364 0 10932 0
[pid=31924] ppid=31909 vsize=293476 CPUtime=0.19 cores=1,3,5,7
/proc/31924/stat : 31924 (python) S 31909 31909 31489 0 -1 4202560 1137 0 0 0 8 11 0 0 19 0 2 0 947875995 300519424 5756 33554432000 4194304 5683644 140736697665152 18446744073709551615 251379373515 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/31924/statm: 73369 5756 412 364 0 8256 0
[pid=31926] ppid=31924 vsize=5080 CPUtime=48.18 cores=1,3,5,7
/proc/31926/stat : 31926 (clasp-1.3.7-x86) T 31924 31926 31926 0 -1 4202496 1264 0 0 0 4809 9 0 0 25 0 1 0 947875995 5201920 1006 33554432000 134512640 136139019 4291514432 18446744073709551615 134832230 0 0 16781312 16386 18446744071562691360 0 0 17 1 0 0 0
/proc/31926/statm: 1270 1006 184 398 0 870 0
[pid=31924/tid=31998] ppid=31909 vsize=293476 CPUtime=0 cores=1,3,5,7
/proc/31924/task/31998/stat : 31998 (python) S 31909 31909 31489 0 -1 4202560 42 0 0 0 0 0 0 0 19 0 2 0 947880814 300519424 5756 33554432000 4194304 5683644 140736697665152 18446744073709551615 251379370417 0 0 16781312 33554946 18446604460791760192 0 0 -1 7 0 0 0
[pid=31999] ppid=31909 vsize=293948 CPUtime=0.01 cores=1,3,5,7
/proc/31999/stat : 31999 (python) S 31909 31909 31489 0 -1 4202560 919 0 0 0 0 1 0 0 18 0 1 0 947880831 301002752 5842 33554432000 4194304 5683644 140736697665152 18446744073709551615 251367566918 0 0 16781312 33554946 4617459111603175687 0 0 17 7 0 0 0
/proc/31999/statm: 73487 5842 373 364 0 8371 0
[pid=32001] ppid=31999 vsize=65288 CPUtime=5.08 cores=1,3,5,7
/proc/32001/stat : 32001 (minion) R 31999 32001 32001 0 -1 4202496 9428 0 0 0 507 1 0 0 25 0 1 0 947880831 66854912 9062 33554432000 134512640 165565024 4294656480 18446744073709551615 158624697 0 0 16781312 8396802 0 0 0 17 3 0 0 0
/proc/32001/statm: 16322 9062 346 7582 0 8737 0
[pid=31909/tid=31925] ppid=31907 vsize=304192 CPUtime=0 cores=1,3,5,7
/proc/31909/task/31925/stat : 31925 (python) S 31907 31909 31489 0 -1 4202560 27 930 0 0 0 0 0 0 18 0 3 0 947875995 311492608 7346 33554432000 4194304 5683644 140736697665152 18446744073709551615 251379370417 0 0 16781312 33554434 18446604462981703552 0 0 -1 1 0 0 0
[pid=31909/tid=32000] ppid=31907 vsize=304192 CPUtime=0 cores=1,3,5,7
/proc/31909/task/32000/stat : 32000 (python) S 31907 31909 31489 0 -1 4202560 30 930 0 0 0 0 0 0 20 0 3 0 947880831 311492608 7346 33554432000 4194304 5683644 140736697665152 18446744073709551615 251379370417 0 0 16781312 33554434 18446604462981703552 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 54.09
Current children cumulated vsize (KiB) 961984
[startup+55.6011 s]
/proc/loadavg: 2.05 0.76 0.27 3/506 32002
/proc/meminfo: memFree=26493732/32950928 swapFree=34421304/67111528
[pid=31909] ppid=31907 vsize=304192 CPUtime=0.63 cores=1,3,5,7
/proc/31909/stat : 31909 (python) S 31907 31909 31489 0 -1 4202496 10638 930 1 0 52 11 0 0 20 0 3 0 947875860 311492608 7346 33554432000 4194304 5683644 140736697665152 18446744073709551615 251379373515 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/31909/statm: 76048 7346 1873 364 0 10932 0
[pid=31924] ppid=31909 vsize=293476 CPUtime=0.19 cores=1,3,5,7
/proc/31924/stat : 31924 (python) S 31909 31909 31489 0 -1 4202560 1137 0 0 0 8 11 0 0 19 0 2 0 947875995 300519424 5756 33554432000 4194304 5683644 140736697665152 18446744073709551615 251379373515 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/31924/statm: 73369 5756 412 364 0 8256 0
[pid=31926] ppid=31924 vsize=5080 CPUtime=48.18 cores=1,3,5,7
/proc/31926/stat : 31926 (clasp-1.3.7-x86) T 31924 31926 31926 0 -1 4202496 1264 0 0 0 4809 9 0 0 25 0 1 0 947875995 5201920 1006 33554432000 134512640 136139019 4291514432 18446744073709551615 134832230 0 0 16781312 16386 18446744071562691360 0 0 17 1 0 0 0
/proc/31926/statm: 1270 1006 184 398 0 870 0
[pid=31924/tid=31998] ppid=31909 vsize=293476 CPUtime=0 cores=1,3,5,7
/proc/31924/task/31998/stat : 31998 (python) S 31909 31909 31489 0 -1 4202560 42 0 0 0 0 0 0 0 19 0 2 0 947880814 300519424 5756 33554432000 4194304 5683644 140736697665152 18446744073709551615 251379370417 0 0 16781312 33554946 18446604460791760192 0 0 -1 7 0 0 0
[pid=31999] ppid=31909 vsize=293948 CPUtime=0.01 cores=1,3,5,7
/proc/31999/stat : 31999 (python) S 31909 31909 31489 0 -1 4202560 919 0 0 0 0 1 0 0 18 0 1 0 947880831 301002752 5842 33554432000 4194304 5683644 140736697665152 18446744073709551615 251367566918 0 0 16781312 33554946 4617459111603175687 0 0 17 7 0 0 0
/proc/31999/statm: 73487 5842 373 364 0 8371 0
[pid=32001] ppid=31999 vsize=65288 CPUtime=5.88 cores=1,3,5,7
/proc/32001/stat : 32001 (minion) R 31999 32001 32001 0 -1 4202496 9428 0 0 0 587 1 0 0 25 0 1 0 947880831 66854912 9062 33554432000 134512640 165565024 4294656480 18446744073709551615 142764901 0 0 16781312 8396802 0 0 0 17 3 0 0 0
/proc/32001/statm: 16322 9062 346 7582 0 8737 0
[pid=31909/tid=31925] ppid=31907 vsize=304192 CPUtime=0 cores=1,3,5,7
/proc/31909/task/31925/stat : 31925 (python) S 31907 31909 31489 0 -1 4202560 27 930 0 0 0 0 0 0 18 0 3 0 947875995 311492608 7346 33554432000 4194304 5683644 140736697665152 18446744073709551615 251379370417 0 0 16781312 33554434 18446604462981703552 0 0 -1 1 0 0 0
[pid=31909/tid=32000] ppid=31907 vsize=304192 CPUtime=0 cores=1,3,5,7
/proc/31909/task/32000/stat : 32000 (python) S 31907 31909 31489 0 -1 4202560 30 930 0 0 0 0 0 0 20 0 3 0 947880831 311492608 7346 33554432000 4194304 5683644 140736697665152 18446744073709551615 251379370417 0 0 16781312 33554434 18446604462981703552 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 54.89
Current children cumulated vsize (KiB) 961984
[startup+55.801 s]
/proc/loadavg: 2.05 0.76 0.27 3/506 32002
/proc/meminfo: memFree=26493732/32950928 swapFree=34421304/67111528
[pid=31909] ppid=31907 vsize=304192 CPUtime=0.63 cores=1,3,5,7
/proc/31909/stat : 31909 (python) S 31907 31909 31489 0 -1 4202496 10638 930 1 0 52 11 0 0 20 0 3 0 947875860 311492608 7346 33554432000 4194304 5683644 140736697665152 18446744073709551615 251379373515 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/31909/statm: 76048 7346 1873 364 0 10932 0
[pid=31924] ppid=31909 vsize=293476 CPUtime=0.19 cores=1,3,5,7
/proc/31924/stat : 31924 (python) S 31909 31909 31489 0 -1 4202560 1137 0 0 0 8 11 0 0 19 0 2 0 947875995 300519424 5756 33554432000 4194304 5683644 140736697665152 18446744073709551615 251379373515 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/31924/statm: 73369 5756 412 364 0 8256 0
[pid=31926] ppid=31924 vsize=5080 CPUtime=48.18 cores=1,3,5,7
/proc/31926/stat : 31926 (clasp-1.3.7-x86) T 31924 31926 31926 0 -1 4202496 1264 0 0 0 4809 9 0 0 25 0 1 0 947875995 5201920 1006 33554432000 134512640 136139019 4291514432 18446744073709551615 134832230 0 0 16781312 16386 18446744071562691360 0 0 17 1 0 0 0
/proc/31926/statm: 1270 1006 184 398 0 870 0
[pid=31924/tid=31998] ppid=31909 vsize=293476 CPUtime=0 cores=1,3,5,7
/proc/31924/task/31998/stat : 31998 (python) S 31909 31909 31489 0 -1 4202560 42 0 0 0 0 0 0 0 19 0 2 0 947880814 300519424 5756 33554432000 4194304 5683644 140736697665152 18446744073709551615 251379370417 0 0 16781312 33554946 18446604460791760192 0 0 -1 7 0 0 0
[pid=31999] ppid=31909 vsize=293948 CPUtime=0.01 cores=1,3,5,7
/proc/31999/stat : 31999 (python) R 31909 31909 31489 0 -1 4202560 994 0 0 0 0 1 0 0 17 0 1 0 947880831 301002752 5845 33554432000 4194304 5683644 140736697665152 18446744073709551615 4438566 0 0 16781312 33554946 0 0 0 17 7 0 0 0
/proc/31999/statm: 73487 5845 376 364 0 8371 0
[pid=32001] ppid=31999 vsize=0 CPUtime=6.07 cores=1,3,5,7
/proc/32001/stat : 32001 (minion) Z 31999 32001 32001 0 -1 4202524 9434 0 0 0 606 1 0 0 25 0 1 0 947880831 0 0 33554432000 0 0 0 0 0 0 0 16781312 8396802 18446744073709551615 0 0 17 3 0 0 0
/proc/32001/statm: 0 0 0 0 0 0 0
[pid=31909/tid=31925] ppid=31907 vsize=304192 CPUtime=0 cores=1,3,5,7
/proc/31909/task/31925/stat : 31925 (python) S 31907 31909 31489 0 -1 4202560 27 930 0 0 0 0 0 0 18 0 3 0 947875995 311492608 7346 33554432000 4194304 5683644 140736697665152 18446744073709551615 251379370417 0 0 16781312 33554434 18446604462981703552 0 0 -1 1 0 0 0
[pid=31909/tid=32000] ppid=31907 vsize=304192 CPUtime=0 cores=1,3,5,7
/proc/31909/task/32000/stat : 32000 (python) S 31907 31909 31489 0 -1 4202560 30 930 0 0 0 0 0 0 20 0 3 0 947880831 311492608 7346 33554432000 4194304 5683644 140736697665152 18446744073709551615 251379370417 0 0 16781312 33554434 18446604462981703552 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 55.08
Current children cumulated vsize (KiB) 896696
Child status: 0
Real time (s): 55.8244
CPU time (s): 55.1646
CPU user time (s): 54.7947
CPU system time (s): 0.369943
CPU usage (%): 98.818
Max. virtual memory (cumulated for all children) (KiB): 961984
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 54.7947
system time used= 0.369943
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 29007
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= 2623
involuntary context switches= 79
runsolver used 0.272958 second user time and 0.621905 second system time
The end