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-3482437-1307576481/watcher-3482437-1307576481 -o /tmp/evaluation-result-3482437-1307576481/solver-3482437-1307576481 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.dec.pickle HOME/instance-3482437-1307576481.opb -seed 1654274731 -budget 1800
running on 4 cores: 0,2,4,6
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.48 0.52 0.18 2/467 12348
/proc/meminfo: memFree=30121812/32950928 swapFree=45617076/67111528
[pid=12348] ppid=12346 vsize=15772 CPUtime=0 cores=0,2,4,6
/proc/12348/stat : 12348 (python) R 12346 12348 11775 0 -1 4202496 879 0 0 0 0 0 0 0 25 0 1 0 869248006 16150528 760 33554432000 4194304 5683644 140733268106080 18446744073709551615 248089359045 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/12348/statm: 3943 760 343 364 0 430 0
[startup+0.0361699 s]
/proc/loadavg: 1.48 0.52 0.18 2/467 12348
/proc/meminfo: memFree=30121812/32950928 swapFree=45617076/67111528
[pid=12348] ppid=12346 vsize=18884 CPUtime=0.02 cores=0,2,4,6
/proc/12348/stat : 12348 (python) R 12346 12348 11775 0 -1 4202496 1285 0 0 0 2 0 0 0 25 0 1 0 869248006 19337216 1137 33554432000 4194304 5683644 140733268106080 18446744073709551615 4620076 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/12348/statm: 4721 1137 421 364 0 690 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 18884
[startup+0.106136 s]
/proc/loadavg: 1.48 0.52 0.18 2/467 12348
/proc/meminfo: memFree=30121812/32950928 swapFree=45617076/67111528
[pid=12348] ppid=12346 vsize=96124 CPUtime=0.07 cores=0,2,4,6
/proc/12348/stat : 12348 (python) R 12346 12348 11775 0 -1 4202496 3170 930 1 0 6 1 0 0 25 0 1 0 869248006 98430976 2483 33554432000 4194304 5683644 140733268106080 18446744073709551615 5170248 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/12348/statm: 24031 2483 792 364 0 1626 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 96124
[startup+0.301052 s]
/proc/loadavg: 1.48 0.52 0.18 2/467 12348
/proc/meminfo: memFree=30121812/32950928 swapFree=45617076/67111528
[pid=12348] ppid=12346 vsize=200776 CPUtime=0.22 cores=0,2,4,6
/proc/12348/stat : 12348 (python) R 12346 12348 11775 0 -1 4202496 6649 930 1 0 17 5 0 0 25 0 1 0 869248006 205594624 4936 33554432000 4194304 5683644 140733268106080 18446744073709551615 248089696256 0 2147483391 16781312 2 0 0 0 17 6 0 0 0
/proc/12348/statm: 50194 4936 1465 364 0 3676 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 200776
[startup+1.1029 s]
/proc/loadavg: 1.48 0.52 0.18 2/467 12348
/proc/meminfo: memFree=30121812/32950928 swapFree=45617076/67111528
[pid=12348] ppid=12346 vsize=293472 CPUtime=0.44 cores=0,2,4,6
/proc/12348/stat : 12348 (python) S 12346 12348 11775 0 -1 4202496 9710 930 1 0 35 9 0 0 25 0 2 0 869248006 300515328 7213 33554432000 4194304 5683644 140733268106080 18446744073709551615 248101524939 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 12
/proc/12348/statm: 73368 7213 1870 364 0 8255 0
Current children cumulated CPU time (s) 0.44
Current children cumulated vsize (KiB) 293472
[startup+1.50083 s]
/proc/loadavg: 1.48 0.52 0.18 2/467 12348
/proc/meminfo: memFree=30121812/32950928 swapFree=45617076/67111528
[pid=12348] ppid=12346 vsize=293472 CPUtime=0.44 cores=0,2,4,6
/proc/12348/stat : 12348 (python) S 12346 12348 11775 0 -1 4202496 9710 930 1 0 35 9 0 0 25 0 2 0 869248006 300515328 7213 33554432000 4194304 5683644 140733268106080 18446744073709551615 248101524939 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 12
/proc/12348/statm: 73368 7213 1870 364 0 8255 0
Current children cumulated CPU time (s) 0.44
Current children cumulated vsize (KiB) 293472
[startup+3.10055 s]
/proc/loadavg: 1.48 0.52 0.18 3/471 12356
/proc/meminfo: memFree=30096360/32950928 swapFree=45617076/67111528
[pid=12348] ppid=12346 vsize=293472 CPUtime=0.44 cores=0,2,4,6
/proc/12348/stat : 12348 (python) S 12346 12348 11775 0 -1 4202496 9710 930 1 0 35 9 0 0 25 0 2 0 869248006 300515328 7213 33554432000 4194304 5683644 140733268106080 18446744073709551615 248101524939 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 12
/proc/12348/statm: 73368 7213 1870 364 0 8255 0
[pid=12354] ppid=12348 vsize=283228 CPUtime=0 cores=0,2,4,6
/proc/12354/stat : 12354 (python) S 12348 12348 11775 0 -1 4202560 727 0 0 0 0 0 0 0 18 0 1 0 869248074 290025472 5691 33554432000 4194304 5683644 140733268106080 18446744073709551615 248089718287 0 0 16781312 33554946 15337045059707044097 0 0 17 6 0 0 0
/proc/12354/statm: 70807 5691 352 364 0 5694 0
[pid=12356] ppid=12354 vsize=2652 CPUtime=2.41 cores=0,2,4,6
/proc/12356/stat : 12356 (clasp-1.3.7-x86) R 12354 12356 12356 0 -1 4202496 665 0 0 0 241 0 0 0 25 0 1 0 869248074 2715648 405 33554432000 134512640 136139019 4292248528 18446744073709551615 134883379 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/12356/statm: 663 405 184 398 0 263 0
[pid=12348/tid=12355] ppid=12346 vsize=293472 CPUtime=0 cores=0,2,4,6
/proc/12348/task/12355/stat : 12355 (python) S 12346 12348 11775 0 -1 4202560 29 930 0 0 0 0 0 0 25 0 2 0 869248074 300515328 7213 33554432000 4194304 5683644 140733268106080 18446744073709551615 248101521841 0 0 16781312 33554434 18446604449686298752 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2.85
Current children cumulated vsize (KiB) 579352
[startup+6.3011 s]
/proc/loadavg: 1.52 0.54 0.19 3/471 12356
/proc/meminfo: memFree=30095556/32950928 swapFree=45617076/67111528
[pid=12348] ppid=12346 vsize=293472 CPUtime=0.44 cores=0,2,4,6
/proc/12348/stat : 12348 (python) S 12346 12348 11775 0 -1 4202496 9710 930 1 0 35 9 0 0 25 0 2 0 869248006 300515328 7213 33554432000 4194304 5683644 140733268106080 18446744073709551615 248101524939 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 12
/proc/12348/statm: 73368 7213 1870 364 0 8255 0
[pid=12354] ppid=12348 vsize=283228 CPUtime=0.01 cores=0,2,4,6
/proc/12354/stat : 12354 (python) S 12348 12348 11775 0 -1 4202560 887 0 0 0 1 0 0 0 18 0 1 0 869248074 290025472 5714 33554432000 4194304 5683644 140733268106080 18446744073709551615 248089718287 0 0 16781312 33554946 15337048083364020481 0 0 17 6 0 0 0
/proc/12354/statm: 70807 5714 375 364 0 5694 0
[pid=12356] ppid=12354 vsize=3036 CPUtime=5.61 cores=0,2,4,6
/proc/12356/stat : 12356 (clasp-1.3.7-x86) R 12354 12356 12356 0 -1 4202496 752 0 0 0 561 0 0 0 25 0 1 0 869248074 3108864 492 33554432000 134512640 136139019 4292248528 18446744073709551615 134883401 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/12356/statm: 759 492 184 398 0 359 0
[pid=12348/tid=12355] ppid=12346 vsize=293472 CPUtime=0 cores=0,2,4,6
/proc/12348/task/12355/stat : 12355 (python) S 12346 12348 11775 0 -1 4202560 29 930 0 0 0 0 0 0 25 0 2 0 869248074 300515328 7213 33554432000 4194304 5683644 140733268106080 18446744073709551615 248101521841 0 0 16781312 33554434 18446604449686298752 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 6.06
Current children cumulated vsize (KiB) 579736
[startup+12.701 s]
/proc/loadavg: 1.56 0.57 0.20 3/471 12356
/proc/meminfo: memFree=30094976/32950928 swapFree=45617076/67111528
[pid=12348] ppid=12346 vsize=293472 CPUtime=0.44 cores=0,2,4,6
/proc/12348/stat : 12348 (python) S 12346 12348 11775 0 -1 4202496 9710 930 1 0 35 9 0 0 25 0 2 0 869248006 300515328 7213 33554432000 4194304 5683644 140733268106080 18446744073709551615 248101524939 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 12
/proc/12348/statm: 73368 7213 1870 364 0 8255 0
[pid=12354] ppid=12348 vsize=283228 CPUtime=0.02 cores=0,2,4,6
/proc/12354/stat : 12354 (python) S 12348 12348 11775 0 -1 4202560 895 0 0 0 1 1 0 0 18 0 1 0 869248074 290025472 5715 33554432000 4194304 5683644 140733268106080 18446744073709551615 248089718287 0 0 16781312 33554946 72556772316949366 0 0 17 6 0 0 0
/proc/12354/statm: 70807 5715 376 364 0 5694 0
[pid=12356] ppid=12354 vsize=3444 CPUtime=12.02 cores=0,2,4,6
/proc/12356/stat : 12356 (clasp-1.3.7-x86) R 12354 12356 12356 0 -1 4202496 857 0 0 0 1202 0 0 0 25 0 1 0 869248074 3526656 597 33554432000 134512640 136139019 4292248528 18446744073709551615 134634760 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/12356/statm: 861 597 184 398 0 461 0
[pid=12348/tid=12355] ppid=12346 vsize=293472 CPUtime=0 cores=0,2,4,6
/proc/12348/task/12355/stat : 12355 (python) S 12346 12348 11775 0 -1 4202560 29 930 0 0 0 0 0 0 25 0 2 0 869248074 300515328 7213 33554432000 4194304 5683644 140733268106080 18446744073709551615 248101521841 0 0 16781312 33554434 18446604449686298752 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 12.48
Current children cumulated vsize (KiB) 580144
[startup+25.5007 s]
/proc/loadavg: 1.66 0.64 0.23 3/475 12361
/proc/meminfo: memFree=30055620/32950928 swapFree=45617076/67111528
[pid=12348] ppid=12346 vsize=293472 CPUtime=0.44 cores=0,2,4,6
/proc/12348/stat : 12348 (python) S 12346 12348 11775 0 -1 4202496 9710 930 1 0 35 9 0 0 25 0 2 0 869248006 300515328 7213 33554432000 4194304 5683644 140733268106080 18446744073709551615 248101524939 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 12
/proc/12348/statm: 73368 7213 1870 364 0 8255 0
[pid=12354] ppid=12348 vsize=283228 CPUtime=0.09 cores=0,2,4,6
/proc/12354/stat : 12354 (python) S 12348 12348 11775 0 -1 4202560 901 0 0 0 4 5 0 0 18 0 1 0 869248074 290025472 5715 33554432000 4194304 5683644 140733268106080 18446744073709551615 248089718287 0 0 16781312 33554946 72556772316949366 0 0 17 6 0 0 0
/proc/12354/statm: 70807 5715 376 364 0 5694 0
[pid=12356] ppid=12354 vsize=3980 CPUtime=24.81 cores=0,2,4,6
/proc/12356/stat : 12356 (clasp-1.3.7-x86) R 12354 12356 12356 0 -1 4202496 993 0 0 0 2481 0 0 0 25 0 1 0 869248074 4075520 733 33554432000 134512640 136139019 4292248528 18446744073709551615 134598969 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/12356/statm: 995 733 184 398 0 595 0
[pid=12348/tid=12355] ppid=12346 vsize=293472 CPUtime=0 cores=0,2,4,6
/proc/12348/task/12355/stat : 12355 (python) S 12346 12348 11775 0 -1 4202560 29 930 0 0 0 0 0 0 25 0 2 0 869248074 300515328 7213 33554432000 4194304 5683644 140733268106080 18446744073709551615 248101521841 0 0 16781312 33554434 18446604449686298752 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 25.34
Current children cumulated vsize (KiB) 580680
[startup+51.1012 s]
/proc/loadavg: 1.77 0.75 0.28 3/475 12703
/proc/meminfo: memFree=29942124/32950928 swapFree=45617076/67111528
[pid=12348] ppid=12346 vsize=304192 CPUtime=0.61 cores=0,2,4,6
/proc/12348/stat : 12348 (python) S 12346 12348 11775 0 -1 4202496 10642 930 1 0 52 9 0 0 20 0 3 0 869248006 311492608 7346 33554432000 4194304 5683644 140733268106080 18446744073709551615 248101524939 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 12
/proc/12348/statm: 76048 7346 1873 364 0 10932 0
[pid=12354] ppid=12348 vsize=293472 CPUtime=0.17 cores=0,2,4,6
/proc/12354/stat : 12354 (python) S 12348 12348 11775 0 -1 4202560 1135 0 0 0 8 9 0 0 19 0 2 0 869248074 300515328 5756 33554432000 4194304 5683644 140733268106080 18446744073709551615 248101524939 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/12354/statm: 73368 5756 412 364 0 8255 0
[pid=12356] ppid=12354 vsize=4664 CPUtime=47.18 cores=0,2,4,6
/proc/12356/stat : 12356 (clasp-1.3.7-x86) T 12354 12356 12356 0 -1 4202496 1174 0 0 0 4718 0 0 0 25 0 1 0 869248074 4775936 914 33554432000 134512640 136139019 4292248528 18446744073709551615 134883821 0 0 16781312 16386 18446744071562691360 0 0 17 0 0 0 0
/proc/12356/statm: 1166 914 184 398 0 766 0
[pid=12354/tid=12697] ppid=12348 vsize=293472 CPUtime=0 cores=0,2,4,6
/proc/12354/task/12697/stat : 12697 (python) S 12348 12348 11775 0 -1 4202560 41 0 0 0 0 0 0 0 19 0 2 0 869252793 300515328 5756 33554432000 4194304 5683644 140733268106080 18446744073709551615 248101521841 0 0 16781312 33554946 18446604441336572736 0 0 -1 6 0 0 0
[pid=12701] ppid=12348 vsize=293948 CPUtime=0 cores=0,2,4,6
/proc/12701/stat : 12701 (python) R 12348 12348 11775 0 -1 4202560 898 0 0 0 0 0 0 0 18 0 1 0 869252810 301002752 5836 33554432000 4194304 5683644 140733268106080 18446744073709551615 248089741447 0 0 16781312 33554946 0 0 0 17 2 0 0 0
/proc/12701/statm: 73487 5836 367 364 0 8371 0
[pid=12703] ppid=12701 vsize=65424 CPUtime=3.05 cores=0,2,4,6
/proc/12703/stat : 12703 (minion) R 12701 12703 12703 0 -1 4202496 9440 0 0 0 304 1 0 0 25 0 1 0 869252810 66994176 9076 33554432000 134512640 165565024 4287451968 18446744073709551615 134576160 0 0 16781312 8396802 0 0 0 17 4 0 0 0
/proc/12703/statm: 16356 9076 346 7582 0 8771 0
[pid=12348/tid=12355] ppid=12346 vsize=304192 CPUtime=0 cores=0,2,4,6
/proc/12348/task/12355/stat : 12355 (python) S 12346 12348 11775 0 -1 4202560 29 930 0 0 0 0 0 0 25 0 3 0 869248074 311492608 7346 33554432000 4194304 5683644 140733268106080 18446744073709551615 248101521841 0 0 16781312 33554434 18446604449686298752 0 0 -1 2 0 0 0
[pid=12348/tid=12702] ppid=12346 vsize=304192 CPUtime=0 cores=0,2,4,6
/proc/12348/task/12702/stat : 12702 (python) S 12346 12348 11775 0 -1 4202560 32 930 0 0 0 0 0 0 20 0 3 0 869252810 311492608 7346 33554432000 4194304 5683644 140733268106080 18446744073709551615 248101521841 0 0 16781312 33554434 18446604449686298752 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 51.01
Current children cumulated vsize (KiB) 961700
Solver just ended. Dumping a history of the last processes samples
[startup+51.8011 s]
/proc/loadavg: 1.77 0.75 0.28 3/475 12703
/proc/meminfo: memFree=29941380/32950928 swapFree=45617076/67111528
[pid=12348] ppid=12346 vsize=304192 CPUtime=0.61 cores=0,2,4,6
/proc/12348/stat : 12348 (python) S 12346 12348 11775 0 -1 4202496 10642 930 1 0 52 9 0 0 20 0 3 0 869248006 311492608 7346 33554432000 4194304 5683644 140733268106080 18446744073709551615 248101524939 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 12
/proc/12348/statm: 76048 7346 1873 364 0 10932 0
[pid=12354] ppid=12348 vsize=293472 CPUtime=0.17 cores=0,2,4,6
/proc/12354/stat : 12354 (python) S 12348 12348 11775 0 -1 4202560 1135 0 0 0 8 9 0 0 19 0 2 0 869248074 300515328 5756 33554432000 4194304 5683644 140733268106080 18446744073709551615 248101524939 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/12354/statm: 73368 5756 412 364 0 8255 0
[pid=12356] ppid=12354 vsize=4664 CPUtime=47.18 cores=0,2,4,6
/proc/12356/stat : 12356 (clasp-1.3.7-x86) T 12354 12356 12356 0 -1 4202496 1174 0 0 0 4718 0 0 0 25 0 1 0 869248074 4775936 914 33554432000 134512640 136139019 4292248528 18446744073709551615 134883821 0 0 16781312 16386 18446744071562691360 0 0 17 0 0 0 0
/proc/12356/statm: 1166 914 184 398 0 766 0
[pid=12354/tid=12697] ppid=12348 vsize=293472 CPUtime=0 cores=0,2,4,6
/proc/12354/task/12697/stat : 12697 (python) S 12348 12348 11775 0 -1 4202560 41 0 0 0 0 0 0 0 19 0 2 0 869252793 300515328 5756 33554432000 4194304 5683644 140733268106080 18446744073709551615 248101521841 0 0 16781312 33554946 18446604441336572736 0 0 -1 6 0 0 0
[pid=12701] ppid=12348 vsize=293948 CPUtime=0.02 cores=0,2,4,6
/proc/12701/stat : 12701 (python) S 12348 12348 11775 0 -1 4202560 918 0 0 0 1 1 0 0 18 0 1 0 869252810 301002752 5842 33554432000 4194304 5683644 140733268106080 18446744073709551615 248089718342 0 0 16781312 33554946 10608889492536262919 0 0 17 2 0 0 0
/proc/12701/statm: 73487 5842 373 364 0 8371 0
[pid=12703] ppid=12701 vsize=65424 CPUtime=3.75 cores=0,2,4,6
/proc/12703/stat : 12703 (minion) R 12701 12703 12703 0 -1 4202496 9440 0 0 0 374 1 0 0 25 0 1 0 869252810 66994176 9076 33554432000 134512640 165565024 4287451968 18446744073709551615 158624710 0 0 16781312 8396802 0 0 0 17 4 0 0 0
/proc/12703/statm: 16356 9076 346 7582 0 8771 0
[pid=12348/tid=12355] ppid=12346 vsize=304192 CPUtime=0 cores=0,2,4,6
/proc/12348/task/12355/stat : 12355 (python) S 12346 12348 11775 0 -1 4202560 29 930 0 0 0 0 0 0 25 0 3 0 869248074 311492608 7346 33554432000 4194304 5683644 140733268106080 18446744073709551615 248101521841 0 0 16781312 33554434 18446604449686298752 0 0 -1 2 0 0 0
[pid=12348/tid=12702] ppid=12346 vsize=304192 CPUtime=0 cores=0,2,4,6
/proc/12348/task/12702/stat : 12702 (python) S 12346 12348 11775 0 -1 4202560 32 930 0 0 0 0 0 0 20 0 3 0 869252810 311492608 7346 33554432000 4194304 5683644 140733268106080 18446744073709551615 248101521841 0 0 16781312 33554434 18446604449686298752 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 51.73
Current children cumulated vsize (KiB) 961700
[startup+55.0005 s]
/proc/loadavg: 1.79 0.77 0.28 3/475 12703
/proc/meminfo: memFree=29941528/32950928 swapFree=45617076/67111528
[pid=12348] ppid=12346 vsize=304192 CPUtime=0.61 cores=0,2,4,6
/proc/12348/stat : 12348 (python) S 12346 12348 11775 0 -1 4202496 10642 930 1 0 52 9 0 0 20 0 3 0 869248006 311492608 7346 33554432000 4194304 5683644 140733268106080 18446744073709551615 248101524939 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 12
/proc/12348/statm: 76048 7346 1873 364 0 10932 0
[pid=12354] ppid=12348 vsize=293472 CPUtime=0.17 cores=0,2,4,6
/proc/12354/stat : 12354 (python) S 12348 12348 11775 0 -1 4202560 1135 0 0 0 8 9 0 0 19 0 2 0 869248074 300515328 5756 33554432000 4194304 5683644 140733268106080 18446744073709551615 248101524939 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/12354/statm: 73368 5756 412 364 0 8255 0
[pid=12356] ppid=12354 vsize=4664 CPUtime=47.18 cores=0,2,4,6
/proc/12356/stat : 12356 (clasp-1.3.7-x86) T 12354 12356 12356 0 -1 4202496 1174 0 0 0 4718 0 0 0 25 0 1 0 869248074 4775936 914 33554432000 134512640 136139019 4292248528 18446744073709551615 134883821 0 0 16781312 16386 18446744071562691360 0 0 17 0 0 0 0
/proc/12356/statm: 1166 914 184 398 0 766 0
[pid=12354/tid=12697] ppid=12348 vsize=293472 CPUtime=0 cores=0,2,4,6
/proc/12354/task/12697/stat : 12697 (python) S 12348 12348 11775 0 -1 4202560 41 0 0 0 0 0 0 0 19 0 2 0 869252793 300515328 5756 33554432000 4194304 5683644 140733268106080 18446744073709551615 248101521841 0 0 16781312 33554946 18446604441336572736 0 0 -1 6 0 0 0
[pid=12701] ppid=12348 vsize=293948 CPUtime=0.02 cores=0,2,4,6
/proc/12701/stat : 12701 (python) S 12348 12348 11775 0 -1 4202560 918 0 0 0 1 1 0 0 18 0 1 0 869252810 301002752 5842 33554432000 4194304 5683644 140733268106080 18446744073709551615 248089718342 0 0 16781312 33554946 10608889492536262919 0 0 17 2 0 0 0
/proc/12701/statm: 73487 5842 373 364 0 8371 0
[pid=12703] ppid=12701 vsize=65424 CPUtime=6.95 cores=0,2,4,6
/proc/12703/stat : 12703 (minion) R 12701 12703 12703 0 -1 4202496 9440 0 0 0 694 1 0 0 25 0 1 0 869252810 66994176 9076 33554432000 134512640 165565024 4287451968 18446744073709551615 142764901 0 0 16781312 8396802 0 0 0 17 4 0 0 0
/proc/12703/statm: 16356 9076 346 7582 0 8771 0
[pid=12348/tid=12355] ppid=12346 vsize=304192 CPUtime=0 cores=0,2,4,6
/proc/12348/task/12355/stat : 12355 (python) S 12346 12348 11775 0 -1 4202560 29 930 0 0 0 0 0 0 25 0 3 0 869248074 311492608 7346 33554432000 4194304 5683644 140733268106080 18446744073709551615 248101521841 0 0 16781312 33554434 18446604449686298752 0 0 -1 2 0 0 0
[pid=12348/tid=12702] ppid=12346 vsize=304192 CPUtime=0 cores=0,2,4,6
/proc/12348/task/12702/stat : 12702 (python) S 12346 12348 11775 0 -1 4202560 32 930 0 0 0 0 0 0 20 0 3 0 869252810 311492608 7346 33554432000 4194304 5683644 140733268106080 18446744073709551615 248101521841 0 0 16781312 33554434 18446604449686298752 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 54.93
Current children cumulated vsize (KiB) 961700
[startup+56.6011 s]
/proc/loadavg: 1.79 0.77 0.28 3/475 12703
/proc/meminfo: memFree=29939544/32950928 swapFree=45617076/67111528
[pid=12348] ppid=12346 vsize=304192 CPUtime=0.61 cores=0,2,4,6
/proc/12348/stat : 12348 (python) S 12346 12348 11775 0 -1 4202496 10642 930 1 0 52 9 0 0 20 0 3 0 869248006 311492608 7346 33554432000 4194304 5683644 140733268106080 18446744073709551615 248101524939 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 12
/proc/12348/statm: 76048 7346 1873 364 0 10932 0
[pid=12354] ppid=12348 vsize=293472 CPUtime=0.17 cores=0,2,4,6
/proc/12354/stat : 12354 (python) S 12348 12348 11775 0 -1 4202560 1135 0 0 0 8 9 0 0 19 0 2 0 869248074 300515328 5756 33554432000 4194304 5683644 140733268106080 18446744073709551615 248101524939 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/12354/statm: 73368 5756 412 364 0 8255 0
[pid=12356] ppid=12354 vsize=4664 CPUtime=47.18 cores=0,2,4,6
/proc/12356/stat : 12356 (clasp-1.3.7-x86) T 12354 12356 12356 0 -1 4202496 1174 0 0 0 4718 0 0 0 25 0 1 0 869248074 4775936 914 33554432000 134512640 136139019 4292248528 18446744073709551615 134883821 0 0 16781312 16386 18446744071562691360 0 0 17 0 0 0 0
/proc/12356/statm: 1166 914 184 398 0 766 0
[pid=12354/tid=12697] ppid=12348 vsize=293472 CPUtime=0 cores=0,2,4,6
/proc/12354/task/12697/stat : 12697 (python) S 12348 12348 11775 0 -1 4202560 41 0 0 0 0 0 0 0 19 0 2 0 869252793 300515328 5756 33554432000 4194304 5683644 140733268106080 18446744073709551615 248101521841 0 0 16781312 33554946 18446604441336572736 0 0 -1 6 0 0 0
[pid=12701] ppid=12348 vsize=293948 CPUtime=0.03 cores=0,2,4,6
/proc/12701/stat : 12701 (python) S 12348 12348 11775 0 -1 4202560 921 0 0 0 1 2 0 0 18 0 1 0 869252810 301002752 5842 33554432000 4194304 5683644 140733268106080 18446744073709551615 248089718342 0 0 16781312 33554946 72262103200705398 0 0 17 2 0 0 0
/proc/12701/statm: 73487 5842 373 364 0 8371 0
[pid=12703] ppid=12701 vsize=65424 CPUtime=8.55 cores=0,2,4,6
/proc/12703/stat : 12703 (minion) R 12701 12703 12703 0 -1 4202496 9440 0 0 0 854 1 0 0 25 0 1 0 869252810 66994176 9076 33554432000 134512640 165565024 4287451968 18446744073709551615 142424548 0 0 16781312 8396802 0 0 0 17 4 0 0 0
/proc/12703/statm: 16356 9076 346 7582 0 8771 0
[pid=12348/tid=12355] ppid=12346 vsize=304192 CPUtime=0 cores=0,2,4,6
/proc/12348/task/12355/stat : 12355 (python) S 12346 12348 11775 0 -1 4202560 29 930 0 0 0 0 0 0 25 0 3 0 869248074 311492608 7346 33554432000 4194304 5683644 140733268106080 18446744073709551615 248101521841 0 0 16781312 33554434 18446604449686298752 0 0 -1 2 0 0 0
[pid=12348/tid=12702] ppid=12346 vsize=304192 CPUtime=0 cores=0,2,4,6
/proc/12348/task/12702/stat : 12702 (python) S 12346 12348 11775 0 -1 4202560 32 930 0 0 0 0 0 0 20 0 3 0 869252810 311492608 7346 33554432000 4194304 5683644 140733268106080 18446744073709551615 248101521841 0 0 16781312 33554434 18446604449686298752 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 56.54
Current children cumulated vsize (KiB) 961700
[startup+57.0011 s]
/proc/loadavg: 1.79 0.77 0.28 3/475 12703
/proc/meminfo: memFree=29939416/32950928 swapFree=45617076/67111528
[pid=12348] ppid=12346 vsize=304192 CPUtime=0.61 cores=0,2,4,6
/proc/12348/stat : 12348 (python) S 12346 12348 11775 0 -1 4202496 10642 930 1 0 52 9 0 0 20 0 3 0 869248006 311492608 7346 33554432000 4194304 5683644 140733268106080 18446744073709551615 248101524939 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 12
/proc/12348/statm: 76048 7346 1873 364 0 10932 0
[pid=12354] ppid=12348 vsize=293472 CPUtime=0.17 cores=0,2,4,6
/proc/12354/stat : 12354 (python) S 12348 12348 11775 0 -1 4202560 1135 0 0 0 8 9 0 0 19 0 2 0 869248074 300515328 5756 33554432000 4194304 5683644 140733268106080 18446744073709551615 248101524939 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/12354/statm: 73368 5756 412 364 0 8255 0
[pid=12356] ppid=12354 vsize=4664 CPUtime=47.18 cores=0,2,4,6
/proc/12356/stat : 12356 (clasp-1.3.7-x86) T 12354 12356 12356 0 -1 4202496 1174 0 0 0 4718 0 0 0 25 0 1 0 869248074 4775936 914 33554432000 134512640 136139019 4292248528 18446744073709551615 134883821 0 0 16781312 16386 18446744071562691360 0 0 17 0 0 0 0
/proc/12356/statm: 1166 914 184 398 0 766 0
[pid=12354/tid=12697] ppid=12348 vsize=293472 CPUtime=0 cores=0,2,4,6
/proc/12354/task/12697/stat : 12697 (python) S 12348 12348 11775 0 -1 4202560 41 0 0 0 0 0 0 0 19 0 2 0 869252793 300515328 5756 33554432000 4194304 5683644 140733268106080 18446744073709551615 248101521841 0 0 16781312 33554946 18446604441336572736 0 0 -1 6 0 0 0
[pid=12701] ppid=12348 vsize=293948 CPUtime=0.03 cores=0,2,4,6
/proc/12701/stat : 12701 (python) S 12348 12348 11775 0 -1 4202560 921 0 0 0 1 2 0 0 18 0 1 0 869252810 301002752 5842 33554432000 4194304 5683644 140733268106080 18446744073709551615 248089718342 0 0 16781312 33554946 72262103200705398 0 0 17 2 0 0 0
/proc/12701/statm: 73487 5842 373 364 0 8371 0
[pid=12703] ppid=12701 vsize=65424 CPUtime=8.95 cores=0,2,4,6
/proc/12703/stat : 12703 (minion) R 12701 12703 12703 0 -1 4202496 9440 0 0 0 894 1 0 0 25 0 1 0 869252810 66994176 9076 33554432000 134512640 165565024 4287451968 18446744073709551615 142424593 0 0 16781312 8396802 0 0 0 17 4 0 0 0
/proc/12703/statm: 16356 9076 346 7582 0 8771 0
[pid=12348/tid=12355] ppid=12346 vsize=304192 CPUtime=0 cores=0,2,4,6
/proc/12348/task/12355/stat : 12355 (python) S 12346 12348 11775 0 -1 4202560 29 930 0 0 0 0 0 0 25 0 3 0 869248074 311492608 7346 33554432000 4194304 5683644 140733268106080 18446744073709551615 248101521841 0 0 16781312 33554434 18446604449686298752 0 0 -1 2 0 0 0
[pid=12348/tid=12702] ppid=12346 vsize=304192 CPUtime=0 cores=0,2,4,6
/proc/12348/task/12702/stat : 12702 (python) S 12346 12348 11775 0 -1 4202560 32 930 0 0 0 0 0 0 20 0 3 0 869252810 311492608 7346 33554432000 4194304 5683644 140733268106080 18446744073709551615 248101521841 0 0 16781312 33554434 18446604449686298752 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 56.94
Current children cumulated vsize (KiB) 961700
[startup+57.4011 s]
/proc/loadavg: 1.79 0.77 0.28 3/475 12703
/proc/meminfo: memFree=29939416/32950928 swapFree=45617076/67111528
[pid=12348] ppid=12346 vsize=304192 CPUtime=0.61 cores=0,2,4,6
/proc/12348/stat : 12348 (python) S 12346 12348 11775 0 -1 4202496 10642 930 1 0 52 9 0 0 20 0 3 0 869248006 311492608 7346 33554432000 4194304 5683644 140733268106080 18446744073709551615 248101524939 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 12
/proc/12348/statm: 76048 7346 1873 364 0 10932 0
[pid=12354] ppid=12348 vsize=293472 CPUtime=0.17 cores=0,2,4,6
/proc/12354/stat : 12354 (python) S 12348 12348 11775 0 -1 4202560 1135 0 0 0 8 9 0 0 19 0 2 0 869248074 300515328 5756 33554432000 4194304 5683644 140733268106080 18446744073709551615 248101524939 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/12354/statm: 73368 5756 412 364 0 8255 0
[pid=12356] ppid=12354 vsize=4664 CPUtime=47.18 cores=0,2,4,6
/proc/12356/stat : 12356 (clasp-1.3.7-x86) T 12354 12356 12356 0 -1 4202496 1174 0 0 0 4718 0 0 0 25 0 1 0 869248074 4775936 914 33554432000 134512640 136139019 4292248528 18446744073709551615 134883821 0 0 16781312 16386 18446744071562691360 0 0 17 0 0 0 0
/proc/12356/statm: 1166 914 184 398 0 766 0
[pid=12354/tid=12697] ppid=12348 vsize=293472 CPUtime=0 cores=0,2,4,6
/proc/12354/task/12697/stat : 12697 (python) S 12348 12348 11775 0 -1 4202560 41 0 0 0 0 0 0 0 19 0 2 0 869252793 300515328 5756 33554432000 4194304 5683644 140733268106080 18446744073709551615 248101521841 0 0 16781312 33554946 18446604441336572736 0 0 -1 6 0 0 0
[pid=12701] ppid=12348 vsize=293948 CPUtime=0.03 cores=0,2,4,6
/proc/12701/stat : 12701 (python) S 12348 12348 11775 0 -1 4202560 921 0 0 0 1 2 0 0 18 0 1 0 869252810 301002752 5842 33554432000 4194304 5683644 140733268106080 18446744073709551615 248089718342 0 0 16781312 33554946 72262103200705398 0 0 17 2 0 0 0
/proc/12701/statm: 73487 5842 373 364 0 8371 0
[pid=12703] ppid=12701 vsize=65424 CPUtime=9.35 cores=0,2,4,6
/proc/12703/stat : 12703 (minion) R 12701 12703 12703 0 -1 4202496 9440 0 0 0 934 1 0 0 25 0 1 0 869252810 66994176 9076 33554432000 134512640 165565024 4287451968 18446744073709551615 142764901 0 0 16781312 8396802 0 0 0 17 4 0 0 0
/proc/12703/statm: 16356 9076 346 7582 0 8771 0
[pid=12348/tid=12355] ppid=12346 vsize=304192 CPUtime=0 cores=0,2,4,6
/proc/12348/task/12355/stat : 12355 (python) S 12346 12348 11775 0 -1 4202560 29 930 0 0 0 0 0 0 25 0 3 0 869248074 311492608 7346 33554432000 4194304 5683644 140733268106080 18446744073709551615 248101521841 0 0 16781312 33554434 18446604449686298752 0 0 -1 2 0 0 0
[pid=12348/tid=12702] ppid=12346 vsize=304192 CPUtime=0 cores=0,2,4,6
/proc/12348/task/12702/stat : 12702 (python) S 12346 12348 11775 0 -1 4202560 32 930 0 0 0 0 0 0 20 0 3 0 869252810 311492608 7346 33554432000 4194304 5683644 140733268106080 18446744073709551615 248101521841 0 0 16781312 33554434 18446604449686298752 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 57.34
Current children cumulated vsize (KiB) 961700
[startup+57.5011 s]
/proc/loadavg: 1.79 0.77 0.28 3/475 12703
/proc/meminfo: memFree=29939416/32950928 swapFree=45617076/67111528
[pid=12348] ppid=12346 vsize=304192 CPUtime=0.61 cores=0,2,4,6
/proc/12348/stat : 12348 (python) S 12346 12348 11775 0 -1 4202496 10701 930 1 0 52 9 0 0 18 0 3 0 869248006 311492608 7346 33554432000 4194304 5683644 140733268106080 18446744073709551615 248101528383 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 12
/proc/12348/statm: 76048 7346 1873 364 0 10932 0
[pid=12354] ppid=12348 vsize=293472 CPUtime=0.17 cores=0,2,4,6
/proc/12354/stat : 12354 (python) S 12348 12348 11775 0 -1 4202560 1139 0 0 0 8 9 0 0 18 0 2 0 869248074 300515328 5756 33554432000 4194304 5683644 140733268106080 18446744073709551615 248101528383 0 0 16781824 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/12354/statm: 73368 5756 412 364 0 8255 0
[pid=12356] ppid=12354 vsize=0 CPUtime=47.18 cores=0,2,4,6
/proc/12356/stat : 12356 (clasp-1.3.7-x86) R 12354 12356 12356 0 -1 4203524 1174 0 0 0 4718 0 0 0 18 0 1 0 869248074 0 0 33554432000 0 0 0 0 0 0 0 16781312 16386 18446744073709551615 0 0 17 0 0 0 0
/proc/12356/statm: 0 0 0 0 0 0 0
[pid=12354/tid=12697] ppid=12348 vsize=293472 CPUtime=0 cores=0,2,4,6
/proc/12354/task/12697/stat : 12697 (python) S 12348 12348 11775 0 -1 4202560 41 0 0 0 0 0 0 0 19 0 2 0 869252793 300515328 5756 33554432000 4194304 5683644 140733268106080 18446744073709551615 248101521841 0 0 16781824 33554434 18446604441336572736 0 0 -1 6 0 0 0
[pid=12701] ppid=12348 vsize=0 CPUtime=9.49 cores=0,2,4,6
/proc/12701/stat : 12701 (python) Z 12348 12348 11775 0 -1 4202588 1167 9446 0 0 2 2 944 1 15 0 1 0 869252810 0 0 33554432000 0 0 0 0 0 0 0 16781824 33554434 18446744073709551615 0 0 17 2 0 0 0
/proc/12701/statm: 0 0 0 0 0 0 0
[pid=12348/tid=12355] ppid=12346 vsize=304192 CPUtime=0 cores=0,2,4,6
/proc/12348/task/12355/stat : 12355 (python) S 12346 12348 11775 0 -1 4202560 29 930 0 0 0 0 0 0 25 0 3 0 869248074 311492608 7346 33554432000 4194304 5683644 140733268106080 18446744073709551615 248101521841 0 0 16781312 33554434 18446604449686298752 0 0 -1 2 0 0 0
[pid=12348/tid=12702] ppid=12346 vsize=304192 CPUtime=0 cores=0,2,4,6
/proc/12348/task/12702/stat : 12702 (python) S 12346 12348 11775 0 -1 4202560 32 930 0 0 0 0 0 0 20 0 3 0 869252810 311492608 7346 33554432000 4194304 5683644 140733268106080 18446744073709551615 248101521841 0 0 16781312 33554434 18446604449686298752 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 57.45
Current children cumulated vsize (KiB) 597664
Child status: 0
Real time (s): 57.5254
CPU time (s): 57.5163
CPU user time (s): 57.2803
CPU system time (s): 0.235964
CPU usage (%): 99.9841
Max. virtual memory (cumulated for all children) (KiB): 961700
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 57.2803
system time used= 0.235964
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 28928
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= 1165
involuntary context switches= 148
runsolver used 0.252961 second user time and 0.580911 second system time
The end