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-3482350-1307576563/watcher-3482350-1307576563 -o /tmp/evaluation-result-3482350-1307576563/solver-3482350-1307576563 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.dec.pickle HOME/instance-3482350-1307576563.opb -seed 1537757541 -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.84 0.68 0.24 2/432 16939
/proc/meminfo: memFree=29511096/32951124 swapFree=43324008/67111528
[pid=16939] ppid=16937 vsize=15904 CPUtime=0 cores=0,2,4,6
/proc/16939/stat : 16939 (python) R 16937 16939 16182 0 -1 4202496 957 0 0 0 0 0 0 0 17 0 1 0 869256781 16285696 833 33554432000 4194304 5683644 140733518860144 18446744073709551615 244446943232 0 2147483391 16781312 2 0 0 0 17 0 0 0 0
/proc/16939/statm: 3977 834 357 364 0 464 0
[startup+0.043462 s]
/proc/loadavg: 1.84 0.68 0.24 2/432 16939
/proc/meminfo: memFree=29511096/32951124 swapFree=43324008/67111528
[pid=16939] ppid=16937 vsize=18884 CPUtime=0.02 cores=0,2,4,6
/proc/16939/stat : 16939 (python) R 16937 16939 16182 0 -1 4202496 1283 0 0 0 2 0 0 0 17 0 1 0 869256781 19337216 1136 33554432000 4194304 5683644 140733518860144 18446744073709551615 4509160 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/16939/statm: 4721 1136 421 364 0 690 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 18884
[startup+0.100459 s]
/proc/loadavg: 1.84 0.68 0.24 2/432 16939
/proc/meminfo: memFree=29511096/32951124 swapFree=43324008/67111528
[pid=16939] ppid=16937 vsize=85356 CPUtime=0.07 cores=0,2,4,6
/proc/16939/stat : 16939 (python) D 16937 16939 16182 0 -1 4202496 2584 0 0 0 5 2 0 0 17 0 1 0 869256781 87404544 2309 33554432000 4194304 5683644 140733518860144 18446744073709551615 244446950967 0 0 16781312 2 18446744071562154983 0 0 17 0 0 0 0
/proc/16939/statm: 21339 2309 709 364 0 1556 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 85356
[startup+0.300418 s]
/proc/loadavg: 1.84 0.68 0.24 2/432 16939
/proc/meminfo: memFree=29511096/32951124 swapFree=43324008/67111528
[pid=16939] ppid=16937 vsize=85356 CPUtime=0.07 cores=0,2,4,6
/proc/16939/stat : 16939 (python) D 16937 16939 16182 0 -1 4202496 2584 0 0 0 5 2 0 0 17 0 1 0 869256781 87404544 2309 33554432000 4194304 5683644 140733518860144 18446744073709551615 244446950967 0 0 16781312 2 18446744071562154983 0 0 17 0 0 0 0
/proc/16939/statm: 21339 2309 709 364 0 1556 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 85356
[startup+0.700344 s]
/proc/loadavg: 1.84 0.68 0.24 2/432 16939
/proc/meminfo: memFree=29511096/32951124 swapFree=43324008/67111528
[pid=16939] ppid=16937 vsize=168308 CPUtime=0.21 cores=0,2,4,6
/proc/16939/stat : 16939 (python) R 16937 16939 16182 0 -1 4202496 5926 931 1 0 14 7 0 0 17 0 1 0 869256781 172347392 4249 33554432000 4194304 5683644 140733518860144 18446744073709551615 244442025494 0 0 16781312 2 0 0 0 17 0 0 0 37
/proc/16939/statm: 42077 4251 1182 364 0 3294 0
Current children cumulated CPU time (s) 0.21
Current children cumulated vsize (KiB) 168308
[startup+1.5002 s]
/proc/loadavg: 1.93 0.72 0.26 3/434 16945
/proc/meminfo: memFree=29486156/32951124 swapFree=43324008/67111528
[pid=16939] ppid=16937 vsize=291548 CPUtime=1.03 cores=0,2,4,6
/proc/16939/stat : 16939 (python) R 16937 16939 16182 0 -1 4202496 14407 1429 1 0 68 14 19 2 16 0 1 0 869256781 298545152 9229 33554432000 4194304 5683644 140733518860144 18446744073709551615 4510864 0 0 16781312 33554434 0 0 0 17 0 0 0 37
/proc/16939/statm: 72887 9229 1816 364 0 7780 0
Current children cumulated CPU time (s) 1.03
Current children cumulated vsize (KiB) 291548
[startup+3.10089 s]
/proc/loadavg: 1.93 0.72 0.26 2/437 16949
/proc/meminfo: memFree=29465468/32951124 swapFree=43324008/67111528
[pid=16939] ppid=16937 vsize=302460 CPUtime=1.48 cores=0,2,4,6
/proc/16939/stat : 16939 (python) S 16937 16939 16182 0 -1 4202496 15272 1429 1 0 113 14 19 2 18 0 2 0 869256781 309719040 9457 33554432000 4194304 5683644 140733518860144 18446744073709551615 244458771915 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 37
/proc/16939/statm: 75615 9457 1873 364 0 10502 0
[pid=16946] ppid=16939 vsize=292216 CPUtime=0 cores=0,2,4,6
/proc/16946/stat : 16946 (python) S 16939 16939 16182 0 -1 4202560 739 0 0 0 0 0 0 0 15 0 1 0 869256976 299229184 7898 33554432000 4194304 5683644 140733518860144 18446744073709551615 244446965263 0 0 16781312 33554946 16463933908539375875 0 0 17 0 0 0 0
/proc/16946/statm: 73054 7898 318 364 0 7941 0
[pid=16948] ppid=16946 vsize=8544992 CPUtime=2.09 cores=0,2,4,6
/proc/16948/stat : 16948 (java) S 16946 16948 16948 0 -1 4202496 29393 0 117 0 203 6 0 0 17 0 19 0 869256976 8750071808 24813 33554432000 1073741824 1073778376 140736209569456 18446744073709551615 244458747877 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 11
/proc/16948/statm: 2136248 24813 2227 9 0 2126989 0
[pid=16948/tid=16949] ppid=16946 vsize=8544992 CPUtime=0.86 cores=0,2,4,6
/proc/16948/task/16949/stat : 16949 (java) D 16946 16948 16948 0 -1 4202560 17921 0 59 0 82 4 0 0 19 0 19 0 869256990 8750071808 24813 33554432000 1073741824 1073778376 140736209569456 18446744073709551615 244458771915 0 4 0 16800975 18446744071562234166 0 0 -1 6 0 0 12
[pid=16939/tid=16947] ppid=16937 vsize=302460 CPUtime=0.21 cores=0,2,4,6
/proc/16939/task/16947/stat : 16947 (python) S 16937 16939 16182 0 -1 4202560 26 1429 0 0 0 0 19 2 18 0 2 0 869256976 309719040 9457 33554432000 4194304 5683644 140733518860144 18446744073709551615 244458768817 0 0 16781312 33554434 18446604449738804224 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3.57
Current children cumulated vsize (KiB) 9139668
[startup+6.30133 s]
/proc/loadavg: 1.93 0.72 0.26 3/454 16966
/proc/meminfo: memFree=29280364/32951124 swapFree=43324008/67111528
[pid=16939] ppid=16937 vsize=302460 CPUtime=1.48 cores=0,2,4,6
/proc/16939/stat : 16939 (python) S 16937 16939 16182 0 -1 4202496 15272 1429 1 0 113 14 19 2 18 0 2 0 869256781 309719040 9457 33554432000 4194304 5683644 140733518860144 18446744073709551615 244458771915 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 37
/proc/16939/statm: 75615 9457 1873 364 0 10502 0
[pid=16946] ppid=16939 vsize=292216 CPUtime=0.01 cores=0,2,4,6
/proc/16946/stat : 16946 (python) S 16939 16939 16182 0 -1 4202560 878 0 0 0 1 0 0 0 15 0 1 0 869256976 299229184 7922 33554432000 4194304 5683644 140733518860144 18446744073709551615 244446965263 0 0 16781312 33554946 16463929373053911299 0 0 17 4 0 0 0
/proc/16946/statm: 73054 7922 342 364 0 7941 0
[pid=16948] ppid=16946 vsize=8546056 CPUtime=5.86 cores=0,2,4,6
/proc/16948/stat : 16948 (java) S 16946 16948 16948 0 -1 4202496 55591 0 117 0 577 9 0 0 17 0 19 0 869256976 8751161344 47941 33554432000 1073741824 1073778376 140736209569456 18446744073709551615 244458747877 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 11
/proc/16948/statm: 2136514 47941 2243 9 0 2127255 0
[pid=16948/tid=16949] ppid=16946 vsize=8546056 CPUtime=4.03 cores=0,2,4,6
/proc/16948/task/16949/stat : 16949 (java) R 16946 16948 16948 0 -1 4202560 35246 0 59 0 397 6 0 0 21 0 19 0 869256990 8751161344 47941 33554432000 1073741824 1073778376 140736209569456 18446744073709551615 46912506032866 0 4 0 16800975 0 0 0 -1 2 0 0 12
[pid=16948/tid=16950] ppid=16946 vsize=8546056 CPUtime=0.01 cores=0,2,4,6
/proc/16948/task/16950/stat : 16950 (java) S 16946 16948 16948 0 -1 4202560 1526 0 0 0 1 0 0 0 18 0 19 0 869256994 8751161344 47941 33554432000 1073741824 1073778376 140736209569456 18446744073709551615 244458761113 0 4 0 16800975 18446604449092950784 0 0 -1 4 0 0 0
[pid=16948/tid=16951] ppid=16946 vsize=8546056 CPUtime=0 cores=0,2,4,6
/proc/16948/task/16951/stat : 16951 (java) S 16946 16948 16948 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869256994 8751161344 47941 33554432000 1073741824 1073778376 140736209569456 18446744073709551615 244458761113 0 4 0 16800975 18446604449092950784 0 0 -1 6 0 0 0
[pid=16948/tid=16952] ppid=16946 vsize=8546056 CPUtime=0 cores=0,2,4,6
/proc/16948/task/16952/stat : 16952 (java) S 16946 16948 16948 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869256994 8751161344 47941 33554432000 1073741824 1073778376 140736209569456 18446744073709551615 244458761113 0 4 0 16800975 18446604449092950784 0 0 -1 6 0 0 0
[pid=16948/tid=16953] ppid=16946 vsize=8546056 CPUtime=0.01 cores=0,2,4,6
/proc/16948/task/16953/stat : 16953 (java) S 16946 16948 16948 0 -1 4202560 1009 0 0 0 1 0 0 0 18 0 19 0 869256994 8751161344 47941 33554432000 1073741824 1073778376 140736209569456 18446744073709551615 244458761113 0 4 0 16800975 18446604449092950784 0 0 -1 6 0 0 0
[pid=16948/tid=16954] ppid=16946 vsize=8546056 CPUtime=0.01 cores=0,2,4,6
/proc/16948/task/16954/stat : 16954 (java) S 16946 16948 16948 0 -1 4202560 1053 0 0 0 1 0 0 0 18 0 19 0 869256994 8751161344 47941 33554432000 1073741824 1073778376 140736209569456 18446744073709551615 244458761113 0 4 0 16800975 18446604449092950784 0 0 -1 0 0 0 0
[pid=16948/tid=16955] ppid=16946 vsize=8546056 CPUtime=0.01 cores=0,2,4,6
/proc/16948/task/16955/stat : 16955 (java) S 16946 16948 16948 0 -1 4202560 1412 0 0 0 1 0 0 0 18 0 19 0 869256994 8751161344 47941 33554432000 1073741824 1073778376 140736209569456 18446744073709551615 244458761113 0 4 0 16800975 18446604449092950784 0 0 -1 6 0 0 0
[pid=16948/tid=16956] ppid=16946 vsize=8546056 CPUtime=0 cores=0,2,4,6
/proc/16948/task/16956/stat : 16956 (java) S 16946 16948 16948 0 -1 4202560 169 0 0 0 0 0 0 0 18 0 19 0 869256994 8751161344 47941 33554432000 1073741824 1073778376 140736209569456 18446744073709551615 244458761113 0 4 0 16800975 18446604449092950784 0 0 -1 6 0 0 0
[pid=16948/tid=16957] ppid=16946 vsize=8546056 CPUtime=0 cores=0,2,4,6
/proc/16948/task/16957/stat : 16957 (java) S 16946 16948 16948 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869256994 8751161344 47941 33554432000 1073741824 1073778376 140736209569456 18446744073709551615 244458761113 0 4 0 16800975 18446604449092950784 0 0 -1 6 0 0 0
[pid=16948/tid=16958] ppid=16946 vsize=8546056 CPUtime=0 cores=0,2,4,6
/proc/16948/task/16958/stat : 16958 (java) S 16946 16948 16948 0 -1 4202560 10 0 0 0 0 0 0 0 15 0 19 0 869256997 8751161344 47941 33554432000 1073741824 1073778376 140736209569456 18446744073709551615 244458761728 0 0 0 16800975 18446604449092950784 0 0 -1 4 0 0 0
[pid=16948/tid=16959] ppid=16946 vsize=8546056 CPUtime=0 cores=0,2,4,6
/proc/16948/task/16959/stat : 16959 (java) S 16946 16948 16948 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 869256999 8751161344 47941 33554432000 1073741824 1073778376 140736209569456 18446744073709551615 244458761113 0 4 0 16800975 18446604449092950784 0 0 -1 4 0 0 0
[pid=16948/tid=16960] ppid=16946 vsize=8546056 CPUtime=0 cores=0,2,4,6
/proc/16948/task/16960/stat : 16960 (java) S 16946 16948 16948 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 869256999 8751161344 47941 33554432000 1073741824 1073778376 140736209569456 18446744073709551615 244458761113 0 4 0 16800975 18446604449092950784 0 0 -1 4 0 0 4
[pid=16948/tid=16961] ppid=16946 vsize=8546056 CPUtime=0 cores=0,2,4,6
/proc/16948/task/16961/stat : 16961 (java) S 16946 16948 16948 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 869257005 8751161344 47941 33554432000 1073741824 1073778376 140736209569456 18446744073709551615 244458768817 0 4 0 16800975 18446604449092950784 0 0 -1 4 0 0 0
[pid=16948/tid=16962] ppid=16946 vsize=8546056 CPUtime=0.78 cores=0,2,4,6
/proc/16948/task/16962/stat : 16962 (java) S 16946 16948 16948 0 -1 4202560 6276 0 2 0 78 0 0 0 15 0 19 0 869257005 8751161344 47941 33554432000 1073741824 1073778376 140736209569456 18446744073709551615 244458761113 0 4 0 16800975 18446604449092950784 0 0 -1 4 0 0 0
[pid=16948/tid=16963] ppid=16946 vsize=8546056 CPUtime=0.93 cores=0,2,4,6
/proc/16948/task/16963/stat : 16963 (java) S 16946 16948 16948 0 -1 4202560 7559 0 0 0 92 1 0 0 15 0 19 0 869257005 8751161344 47941 33554432000 1073741824 1073778376 140736209569456 18446744073709551615 244458761113 0 4 0 16800975 18446604449092950784 0 0 -1 0 0 0 0
[pid=16948/tid=16964] ppid=16946 vsize=8546056 CPUtime=0 cores=0,2,4,6
/proc/16948/task/16964/stat : 16964 (java) S 16946 16948 16948 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 869257005 8751161344 47941 33554432000 1073741824 1073778376 140736209569456 18446744073709551615 244458761113 0 4 0 16800975 18446604449092950784 0 0 -1 6 0 0 0
[pid=16948/tid=16965] ppid=16946 vsize=8546056 CPUtime=0 cores=0,2,4,6
/proc/16948/task/16965/stat : 16965 (java) S 16946 16948 16948 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 869257005 8751161344 47941 33554432000 1073741824 1073778376 140736209569456 18446744073709551615 244458761728 0 4 0 16800975 18446604449092950784 0 0 -1 2 0 0 0
[pid=16948/tid=16966] ppid=16946 vsize=8546056 CPUtime=0 cores=0,2,4,6
/proc/16948/task/16966/stat : 16966 (java) S 16946 16948 16948 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 869257070 8751161344 47941 33554432000 1073741824 1073778376 140736209569456 18446744073709551615 244458761728 0 4 0 16800975 18446604449092950784 0 0 -1 2 0 0 0
[pid=16939/tid=16947] ppid=16937 vsize=302460 CPUtime=0.21 cores=0,2,4,6
/proc/16939/task/16947/stat : 16947 (python) S 16937 16939 16182 0 -1 4202560 26 1429 0 0 0 0 19 2 18 0 2 0 869256976 309719040 9457 33554432000 4194304 5683644 140733518860144 18446744073709551615 244458768817 0 0 16781312 33554434 18446604449738804224 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 7.35
Current children cumulated vsize (KiB) 9140732
[startup+12.7011 s]
/proc/loadavg: 1.94 0.76 0.28 3/454 16966
/proc/meminfo: memFree=29208664/32951124 swapFree=43324008/67111528
[pid=16939] ppid=16937 vsize=302460 CPUtime=1.48 cores=0,2,4,6
/proc/16939/stat : 16939 (python) S 16937 16939 16182 0 -1 4202496 15272 1429 1 0 113 14 19 2 18 0 2 0 869256781 309719040 9457 33554432000 4194304 5683644 140733518860144 18446744073709551615 244458771915 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 37
/proc/16939/statm: 75615 9457 1873 364 0 10502 0
[pid=16946] ppid=16939 vsize=292216 CPUtime=0.02 cores=0,2,4,6
/proc/16946/stat : 16946 (python) S 16939 16939 16182 0 -1 4202560 982 0 0 0 1 1 0 0 15 0 1 0 869256976 299229184 7927 33554432000 4194304 5683644 140733518860144 18446744073709551615 244446965263 0 0 16781312 33554946 72556772316949244 0 0 17 6 0 0 0
/proc/16946/statm: 73054 7927 347 364 0 7941 0
[pid=16948] ppid=16946 vsize=8543648 CPUtime=12.53 cores=0,2,4,6
/proc/16948/stat : 16948 (java) S 16946 16948 16948 0 -1 4202496 84506 0 117 0 1240 13 0 0 17 0 19 0 869256976 8748695552 75716 33554432000 1073741824 1073778376 140736209569456 18446744073709551615 244458747877 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 11
/proc/16948/statm: 2135912 75716 2244 9 0 2126653 0
[pid=16948/tid=16949] ppid=16946 vsize=8543648 CPUtime=10.38 cores=0,2,4,6
/proc/16948/task/16949/stat : 16949 (java) R 16946 16948 16948 0 -1 4202560 45840 0 59 0 1030 8 0 0 25 0 19 0 869256990 8748695552 75716 33554432000 1073741824 1073778376 140736209569456 18446744073709551615 46912505923233 0 4 0 16800975 0 0 0 -1 2 0 0 12
[pid=16948/tid=16950] ppid=16946 vsize=8543648 CPUtime=0.03 cores=0,2,4,6
/proc/16948/task/16950/stat : 16950 (java) S 16946 16948 16948 0 -1 4202560 2150 0 0 0 3 0 0 0 15 0 19 0 869256994 8748695552 75716 33554432000 1073741824 1073778376 140736209569456 18446744073709551615 244458761113 0 4 0 16800975 18446604449092950784 0 0 -1 4 0 0 0
[pid=16948/tid=16951] ppid=16946 vsize=8543648 CPUtime=0.01 cores=0,2,4,6
/proc/16948/task/16951/stat : 16951 (java) S 16946 16948 16948 0 -1 4202560 2405 0 0 0 1 0 0 0 16 0 19 0 869256994 8748695552 75717 33554432000 1073741824 1073778376 140736209569456 18446744073709551615 244458761113 0 4 0 16800975 18446604449092950784 0 0 -1 2 0 0 0
[pid=16948/tid=16952] ppid=16946 vsize=8543648 CPUtime=0.01 cores=0,2,4,6
/proc/16948/task/16952/stat : 16952 (java) S 16946 16948 16948 0 -1 4202560 1726 0 0 0 1 0 0 0 15 0 19 0 869256994 8748695552 75717 33554432000 1073741824 1073778376 140736209569456 18446744073709551615 244458761113 0 4 0 16800975 18446604449092950784 0 0 -1 6 0 0 0
[pid=16948/tid=16953] ppid=16946 vsize=8543648 CPUtime=0.04 cores=0,2,4,6
/proc/16948/task/16953/stat : 16953 (java) S 16946 16948 16948 0 -1 4202560 4376 0 0 0 4 0 0 0 16 0 19 0 869256994 8748695552 75717 33554432000 1073741824 1073778376 140736209569456 18446744073709551615 244458761113 0 4 0 16800975 18446604449092950784 0 0 -1 4 0 0 0
[pid=16948/tid=16954] ppid=16946 vsize=8543648 CPUtime=0.06 cores=0,2,4,6
/proc/16948/task/16954/stat : 16954 (java) S 16946 16948 16948 0 -1 4202560 4640 0 0 0 6 0 0 0 18 0 19 0 869256994 8748695552 75717 33554432000 1073741824 1073778376 140736209569456 18446744073709551615 244458761113 0 4 0 16800975 18446604449092950784 0 0 -1 0 0 0 0
[pid=16948/tid=16955] ppid=16946 vsize=8543648 CPUtime=0.01 cores=0,2,4,6
/proc/16948/task/16955/stat : 16955 (java) S 16946 16948 16948 0 -1 4202560 1416 0 0 0 1 0 0 0 16 0 19 0 869256994 8748695552 75718 33554432000 1073741824 1073778376 140736209569456 18446744073709551615 244458761113 0 4 0 16800975 18446604449092950784 0 0 -1 6 0 0 0
[pid=16948/tid=16956] ppid=16946 vsize=8543648 CPUtime=0.01 cores=0,2,4,6
/proc/16948/task/16956/stat : 16956 (java) S 16946 16948 16948 0 -1 4202560 2203 0 0 0 1 0 0 0 15 0 19 0 869256994 8748695552 75718 33554432000 1073741824 1073778376 140736209569456 18446744073709551615 244458761113 0 4 0 16800975 18446604449092950784 0 0 -1 4 0 0 0
[pid=16948/tid=16957] ppid=16946 vsize=8543648 CPUtime=0.04 cores=0,2,4,6
/proc/16948/task/16957/stat : 16957 (java) S 16946 16948 16948 0 -1 4202560 4507 0 0 0 4 0 0 0 16 0 19 0 869256994 8748695552 75718 33554432000 1073741824 1073778376 140736209569456 18446744073709551615 244458761113 0 4 0 16800975 18446604449092950784 0 0 -1 6 0 0 0
[pid=16948/tid=16958] ppid=16946 vsize=8543648 CPUtime=0 cores=0,2,4,6
/proc/16948/task/16958/stat : 16958 (java) S 16946 16948 16948 0 -1 4202560 73 0 0 0 0 0 0 0 15 0 19 0 869256997 8748695552 75718 33554432000 1073741824 1073778376 140736209569456 18446744073709551615 244458761728 0 0 0 16800975 18446604449092950784 0 0 -1 4 0 0 0
[pid=16948/tid=16959] ppid=16946 vsize=8543648 CPUtime=0 cores=0,2,4,6
/proc/16948/task/16959/stat : 16959 (java) S 16946 16948 16948 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 869256999 8748695552 75718 33554432000 1073741824 1073778376 140736209569456 18446744073709551615 244458761113 0 4 0 16800975 18446604449092950784 0 0 -1 4 0 0 0
[pid=16948/tid=16960] ppid=16946 vsize=8543648 CPUtime=0 cores=0,2,4,6
/proc/16948/task/16960/stat : 16960 (java) S 16946 16948 16948 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 869256999 8748695552 75718 33554432000 1073741824 1073778376 140736209569456 18446744073709551615 244458761113 0 4 0 16800975 18446604449092950784 0 0 -1 4 0 0 4
[pid=16948/tid=16961] ppid=16946 vsize=8543648 CPUtime=0 cores=0,2,4,6
/proc/16948/task/16961/stat : 16961 (java) S 16946 16948 16948 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 869257005 8748695552 75718 33554432000 1073741824 1073778376 140736209569456 18446744073709551615 244458768817 0 4 0 16800975 18446604449092950784 0 0 -1 4 0 0 0
[pid=16948/tid=16962] ppid=16946 vsize=8543648 CPUtime=0.81 cores=0,2,4,6
/proc/16948/task/16962/stat : 16962 (java) S 16946 16948 16948 0 -1 4202560 6278 0 2 0 81 0 0 0 15 0 19 0 869257005 8748695552 75719 33554432000 1073741824 1073778376 140736209569456 18446744073709551615 244458761113 0 4 0 16800975 18446604449092950784 0 0 -1 4 0 0 0
[pid=16948/tid=16963] ppid=16946 vsize=8543648 CPUtime=1.03 cores=0,2,4,6
/proc/16948/task/16963/stat : 16963 (java) S 16946 16948 16948 0 -1 4202560 7564 0 0 0 102 1 0 0 15 0 19 0 869257005 8748695552 75719 33554432000 1073741824 1073778376 140736209569456 18446744073709551615 244458761113 0 4 0 16800975 18446604449092950784 0 0 -1 0 0 0 0
[pid=16948/tid=16964] ppid=16946 vsize=8543648 CPUtime=0 cores=0,2,4,6
/proc/16948/task/16964/stat : 16964 (java) S 16946 16948 16948 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 869257005 8748695552 75719 33554432000 1073741824 1073778376 140736209569456 18446744073709551615 244458761113 0 4 0 16800975 18446604449092950784 0 0 -1 6 0 0 0
[pid=16948/tid=16965] ppid=16946 vsize=8543648 CPUtime=0 cores=0,2,4,6
/proc/16948/task/16965/stat : 16965 (java) S 16946 16948 16948 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 869257005 8748695552 75719 33554432000 1073741824 1073778376 140736209569456 18446744073709551615 244458761728 0 4 0 16800975 18446604449092950784 0 0 -1 2 0 0 0
[pid=16948/tid=16966] ppid=16946 vsize=8543648 CPUtime=0 cores=0,2,4,6
/proc/16948/task/16966/stat : 16966 (java) S 16946 16948 16948 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 869257070 8748695552 75719 33554432000 1073741824 1073778376 140736209569456 18446744073709551615 244458761728 0 4 0 16800975 18446604449092950784 0 0 -1 2 0 0 0
[pid=16939/tid=16947] ppid=16937 vsize=302460 CPUtime=0.21 cores=0,2,4,6
/proc/16939/task/16947/stat : 16947 (python) S 16937 16939 16182 0 -1 4202560 26 1429 0 0 0 0 19 2 18 0 2 0 869256976 309719040 9457 33554432000 4194304 5683644 140733518860144 18446744073709551615 244458768817 0 0 16781312 33554434 18446604449738804224 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 14.03
Current children cumulated vsize (KiB) 9138324
[startup+25.5008 s]
/proc/loadavg: 1.95 0.80 0.29 3/458 16970
################
# More data... #
################
/proc/17169/stat : 17169 (minion) T 17167 17169 17169 0 -1 4202496 73447 0 0 0 4886 8 0 0 25 0 1 0 869423105 278126592 60535 33554432000 134512640 165565024 4291873008 18446744073709551615 159737071 0 0 16781312 8396802 18446744071562691360 0 0 17 0 0 0 0
/proc/17169/statm: 67902 60535 359 7582 0 60317 0
[pid=17167/tid=17171] ppid=16939 vsize=364008 CPUtime=0 cores=0,2,4,6
/proc/17167/task/17171/stat : 17171 (python) S 16939 16939 16182 0 -1 4202560 45 0 0 0 0 0 0 0 16 0 2 0 869428000 372744192 8005 33554432000 4194304 5683644 140733518860144 18446744073709551615 244458768817 0 0 16781312 33554946 18446604450752672000 0 0 -1 6 0 0 0
[pid=16939/tid=16947] ppid=16937 vsize=374252 CPUtime=0.21 cores=0,2,4,6
/proc/16939/task/16947/stat : 16947 (python) S 16937 16939 16182 0 -1 4202560 26 1429 0 0 0 0 19 2 18 0 9 0 869256976 383234048 9500 33554432000 4194304 5683644 140733518860144 18446744073709551615 244458768817 0 0 16781312 33554434 18446604449738804224 0 0 -1 6 0 0 0
[pid=16939/tid=16974] ppid=16937 vsize=374252 CPUtime=0.21 cores=0,2,4,6
/proc/16939/task/16974/stat : 16974 (python) S 16937 16939 16182 0 -1 4202560 50 1429 0 0 0 0 19 2 18 0 9 0 869261384 383234048 9500 33554432000 4194304 5683644 140733518860144 18446744073709551615 244458768817 0 0 16781312 33554434 18446604449738804224 0 0 -1 2 0 0 0
[pid=16939/tid=16983] ppid=16937 vsize=374252 CPUtime=0.21 cores=0,2,4,6
/proc/16939/task/16983/stat : 16983 (python) S 16937 16939 16182 0 -1 4202560 41 1429 0 0 0 0 19 2 18 0 9 0 869266256 383234048 9500 33554432000 4194304 5683644 140733518860144 18446744073709551615 244458768817 0 0 16781312 33554434 18446604449738804224 0 0 -1 2 0 0 0
[pid=16939/tid=16992] ppid=16937 vsize=374252 CPUtime=0.21 cores=0,2,4,6
/proc/16939/task/16992/stat : 16992 (python) S 16937 16939 16182 0 -1 4202560 33 1429 0 0 0 0 19 2 18 0 9 0 869270977 383234048 9500 33554432000 4194304 5683644 140733518860144 18446744073709551615 244458768817 0 0 16781312 33554434 18446604449738804224 0 0 -1 2 0 0 0
[pid=16939/tid=17036] ppid=16937 vsize=374252 CPUtime=0.21 cores=0,2,4,6
/proc/16939/task/17036/stat : 17036 (python) S 16937 16939 16182 0 -1 4202560 30 1429 0 0 0 0 19 2 20 0 9 0 869303492 383234048 9500 33554432000 4194304 5683644 140733518860144 18446744073709551615 244458768817 0 0 16781312 33554434 18446604449738804224 0 0 -1 2 0 0 0
[pid=16939/tid=17126] ppid=16937 vsize=374252 CPUtime=0.21 cores=0,2,4,6
/proc/16939/task/17126/stat : 17126 (python) S 16937 16939 16182 0 -1 4202560 29 1429 0 0 0 0 19 2 20 0 9 0 869354123 383234048 9500 33554432000 4194304 5683644 140733518860144 18446744073709551615 244458768817 0 0 16781312 33554434 18446604449738804224 0 0 -1 0 0 0 0
[pid=16939/tid=17162] ppid=16937 vsize=374252 CPUtime=0.21 cores=0,2,4,6
/proc/16939/task/17162/stat : 17162 (python) S 16937 16939 16182 0 -1 4202560 34 1429 0 0 0 0 19 2 20 0 9 0 869413807 383234048 9500 33554432000 4194304 5683644 140733518860144 18446744073709551615 244458768817 0 0 16781312 33554434 18446604449738804224 0 0 -1 0 0 0 0
[pid=16939/tid=17168] ppid=16937 vsize=374252 CPUtime=0.21 cores=0,2,4,6
/proc/16939/task/17168/stat : 17168 (python) S 16937 16939 16182 0 -1 4202560 31 1429 0 0 0 0 19 2 24 0 9 0 869423104 383234048 9500 33554432000 4194304 5683644 140733518860144 18446744073709551615 244458768817 0 0 16781312 33554434 18446604449738804224 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1790.52
Current children cumulated vsize (KiB) 12981588
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1791.8 s]
/proc/loadavg: 2.00 2.02 1.75 4/525 17173
/proc/meminfo: memFree=24931004/32951124 swapFree=43324008/67111528
[pid=16939] ppid=16937 vsize=374252 CPUtime=4.04 cores=0,2,4,6
/proc/16939/stat : 16939 (python) S 16937 16939 16182 0 -1 4202496 22567 1429 1 0 366 17 19 2 18 0 9 0 869256781 383234048 9500 33554432000 4194304 5683644 140733518860144 18446744073709551615 244458771915 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 37
/proc/16939/statm: 93563 9500 1888 364 0 28429 0
[pid=16946] ppid=16939 vsize=302460 CPUtime=0.15 cores=0,2,4,6
/proc/16946/stat : 16946 (python) S 16939 16939 16182 0 -1 4202560 1168 0 0 0 9 6 0 0 16 0 2 0 869256976 309719040 7995 33554432000 4194304 5683644 140733518860144 18446744073709551615 244458771915 0 0 16781312 33554946 18446744073709551615 0 0 17 2 0 0 0
/proc/16946/statm: 75615 7995 410 364 0 10502 0
[pid=16948] ppid=16946 vsize=8543648 CPUtime=46.18 cores=0,2,4,6
/proc/16948/stat : 16948 (java) T 16946 16948 16948 0 -1 4202496 159705 0 117 0 4591 27 0 0 15 0 19 0 869256976 8748695552 146744 33554432000 1073741824 1073778376 140736209569456 18446744073709551615 244458747877 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 11
/proc/16948/statm: 2135912 146744 2244 9 0 2126653 0
[pid=16948/tid=16949] ppid=16946 vsize=8543648 CPUtime=43.55 cores=0,2,4,6
/proc/16948/task/16949/stat : 16949 (java) T 16946 16948 16948 0 -1 4202560 56734 0 59 0 4346 9 0 0 25 0 19 0 869256990 8748695552 146744 33554432000 1073741824 1073778376 140736209569456 18446744073709551615 46912506102846 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 12
[pid=16948/tid=16950] ppid=16946 vsize=8543648 CPUtime=0.09 cores=0,2,4,6
/proc/16948/task/16950/stat : 16950 (java) T 16946 16948 16948 0 -1 4202560 6982 0 0 0 8 1 0 0 15 0 19 0 869256994 8748695552 146744 33554432000 1073741824 1073778376 140736209569456 18446744073709551615 244458761113 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=16948/tid=16951] ppid=16946 vsize=8543648 CPUtime=0.03 cores=0,2,4,6
/proc/16948/task/16951/stat : 16951 (java) T 16946 16948 16948 0 -1 4202560 6939 0 0 0 2 1 0 0 15 0 19 0 869256994 8748695552 146744 33554432000 1073741824 1073778376 140736209569456 18446744073709551615 244458761113 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=16948/tid=16952] ppid=16946 vsize=8543648 CPUtime=0.07 cores=0,2,4,6
/proc/16948/task/16952/stat : 16952 (java) T 16946 16948 16948 0 -1 4202560 11993 0 0 0 6 1 0 0 15 0 19 0 869256994 8748695552 146744 33554432000 1073741824 1073778376 140736209569456 18446744073709551615 244458761113 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=16948/tid=16953] ppid=16946 vsize=8543648 CPUtime=0.08 cores=0,2,4,6
/proc/16948/task/16953/stat : 16953 (java) T 16946 16948 16948 0 -1 4202560 10916 0 0 0 7 1 0 0 15 0 19 0 869256994 8748695552 146744 33554432000 1073741824 1073778376 140736209569456 18446744073709551615 244458761113 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=16948/tid=16954] ppid=16946 vsize=8543648 CPUtime=0.11 cores=0,2,4,6
/proc/16948/task/16954/stat : 16954 (java) T 16946 16948 16948 0 -1 4202560 12870 0 0 0 10 1 0 0 15 0 19 0 869256994 8748695552 146744 33554432000 1073741824 1073778376 140736209569456 18446744073709551615 244458761113 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=16948/tid=16955] ppid=16946 vsize=8543648 CPUtime=0.07 cores=0,2,4,6
/proc/16948/task/16955/stat : 16955 (java) T 16946 16948 16948 0 -1 4202560 8575 0 0 0 6 1 0 0 15 0 19 0 869256994 8748695552 146744 33554432000 1073741824 1073778376 140736209569456 18446744073709551615 244458761113 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=16948/tid=16956] ppid=16946 vsize=8543648 CPUtime=0.11 cores=0,2,4,6
/proc/16948/task/16956/stat : 16956 (java) T 16946 16948 16948 0 -1 4202560 17976 0 0 0 8 3 0 0 15 0 19 0 869256994 8748695552 146744 33554432000 1073741824 1073778376 140736209569456 18446744073709551615 244458761113 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=16948/tid=16957] ppid=16946 vsize=8543648 CPUtime=0.08 cores=0,2,4,6
/proc/16948/task/16957/stat : 16957 (java) T 16946 16948 16948 0 -1 4202560 11428 0 0 0 6 2 0 0 15 0 19 0 869256994 8748695552 146744 33554432000 1073741824 1073778376 140736209569456 18446744073709551615 244458761113 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=16948/tid=16958] ppid=16946 vsize=8543648 CPUtime=0 cores=0,2,4,6
/proc/16948/task/16958/stat : 16958 (java) T 16946 16948 16948 0 -1 4202560 120 0 0 0 0 0 0 0 15 0 19 0 869256997 8748695552 146744 33554432000 1073741824 1073778376 140736209569456 18446744073709551615 244458761728 0 0 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=16948/tid=16959] ppid=16946 vsize=8543648 CPUtime=0 cores=0,2,4,6
/proc/16948/task/16959/stat : 16959 (java) T 16946 16948 16948 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 869256999 8748695552 146744 33554432000 1073741824 1073778376 140736209569456 18446744073709551615 244458761113 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=16948/tid=16960] ppid=16946 vsize=8543648 CPUtime=0 cores=0,2,4,6
/proc/16948/task/16960/stat : 16960 (java) T 16946 16948 16948 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 869256999 8748695552 146744 33554432000 1073741824 1073778376 140736209569456 18446744073709551615 244458761113 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 4
[pid=16948/tid=16961] ppid=16946 vsize=8543648 CPUtime=0 cores=0,2,4,6
/proc/16948/task/16961/stat : 16961 (java) T 16946 16948 16948 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869257005 8748695552 146744 33554432000 1073741824 1073778376 140736209569456 18446744073709551615 244458768817 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=16948/tid=16962] ppid=16946 vsize=8543648 CPUtime=0.81 cores=0,2,4,6
/proc/16948/task/16962/stat : 16962 (java) T 16946 16948 16948 0 -1 4202560 6278 0 2 0 81 0 0 0 15 0 19 0 869257005 8748695552 146744 33554432000 1073741824 1073778376 140736209569456 18446744073709551615 244458761113 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=16948/tid=16963] ppid=16946 vsize=8543648 CPUtime=1.05 cores=0,2,4,6
/proc/16948/task/16963/stat : 16963 (java) T 16946 16948 16948 0 -1 4202560 7564 0 0 0 104 1 0 0 15 0 19 0 869257005 8748695552 146744 33554432000 1073741824 1073778376 140736209569456 18446744073709551615 244458761113 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=16948/tid=16964] ppid=16946 vsize=8543648 CPUtime=0 cores=0,2,4,6
/proc/16948/task/16964/stat : 16964 (java) T 16946 16948 16948 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869257005 8748695552 146744 33554432000 1073741824 1073778376 140736209569456 18446744073709551615 244458761113 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=16948/tid=16965] ppid=16946 vsize=8543648 CPUtime=0 cores=0,2,4,6
/proc/16948/task/16965/stat : 16965 (java) T 16946 16948 16948 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 869257005 8748695552 146744 33554432000 1073741824 1073778376 140736209569456 18446744073709551615 244458761728 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=16948/tid=16966] ppid=16946 vsize=8543648 CPUtime=0 cores=0,2,4,6
/proc/16948/task/16966/stat : 16966 (java) T 16946 16948 16948 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 869257070 8748695552 146744 33554432000 1073741824 1073778376 140736209569456 18446744073709551615 244458761728 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=16946/tid=16972] ppid=16939 vsize=302460 CPUtime=0 cores=0,2,4,6
/proc/16946/task/16972/stat : 16972 (python) S 16939 16939 16182 0 -1 4202560 42 0 0 0 0 0 0 0 16 0 2 0 869261382 309719040 7995 33554432000 4194304 5683644 140733518860144 18446744073709551615 244458768817 0 0 16781312 33554946 18446604450100153152 0 0 -1 4 0 0 0
[pid=16973] ppid=16939 vsize=302472 CPUtime=3.98 cores=0,2,4,6
/proc/16973/stat : 16973 (python) S 16939 16939 16182 0 -1 4202560 1196 0 0 0 208 190 0 0 15 0 2 0 869261384 309731328 7975 33554432000 4194304 5683644 140733518860144 18446744073709551615 244458771915 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/16973/statm: 75618 7975 390 364 0 10502 0
[pid=16975] ppid=16973 vsize=289092 CPUtime=1054.9 cores=0,2,4,6
/proc/16975/stat : 16975 (scip-2.0.1.linu) T 16973 16975 16975 0 -1 4202496 75927 0 0 0 105297 193 0 0 25 0 1 0 869261384 296030208 69548 33554432000 4194304 13684479 140733445354240 18446744073709551615 7354184 0 0 16781312 2 18446744071562691360 0 0 17 0 0 0 0
/proc/16975/statm: 72273 69548 847 2317 0 69951 0
[pid=16973/tid=16981] ppid=16939 vsize=302472 CPUtime=0 cores=0,2,4,6
/proc/16973/task/16981/stat : 16981 (python) S 16939 16939 16182 0 -1 4202560 51 0 0 0 0 0 0 0 15 0 2 0 869266254 309731328 7975 33554432000 4194304 5683644 140733518860144 18446744073709551615 244458768817 0 0 16781312 33554946 18446604450650827520 0 0 -1 0 0 0 0
[pid=16982] ppid=16939 vsize=312728 CPUtime=1.14 cores=0,2,4,6
/proc/16982/stat : 16982 (python) S 16939 16939 16182 0 -1 4202560 1188 0 0 0 57 57 0 0 18 0 2 0 869266256 320233472 7979 33554432000 4194304 5683644 140733518860144 18446744073709551615 244446965318 0 0 16781312 33554946 18446744073709551615 0 0 17 2 0 0 0
/proc/16982/statm: 78182 7979 390 364 0 13063 0
[pid=16984] ppid=16982 vsize=75668 CPUtime=310.48 cores=0,2,4,6
/proc/16984/stat : 16984 (clasp-1.3.7-x86) R 16982 16984 16984 0 -1 4202496 18998 0 0 0 31046 2 0 0 25 0 1 0 869266256 77484032 18432 33554432000 134512640 136139019 4291562960 18446744073709551615 134831583 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/16984/statm: 18917 18432 183 398 0 18517 0
[pid=16982/tid=16990] ppid=16939 vsize=312728 CPUtime=0 cores=0,2,4,6
/proc/16982/task/16990/stat : 16990 (python) S 16939 16939 16182 0 -1 4202560 47 0 0 0 0 0 0 0 18 0 2 0 869270974 320233472 7979 33554432000 4194304 5683644 140733518860144 18446744073709551615 244458768817 0 0 16781312 33554946 18446604450752673792 0 0 -1 6 0 0 0
[pid=16991] ppid=16939 vsize=322984 CPUtime=0.53 cores=0,2,4,6
/proc/16991/stat : 16991 (python) S 16939 16939 16182 0 -1 4202560 1211 0 0 0 26 27 0 0 16 0 2 0 869270977 330735616 7983 33554432000 4194304 5683644 140733518860144 18446744073709551615 244458771915 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/16991/statm: 80746 7983 390 364 0 15624 0
[pid=16993] ppid=16991 vsize=262520 CPUtime=139.72 cores=0,2,4,6
/proc/16993/stat : 16993 (scip-2.0.1.linu) T 16991 16993 16993 0 -1 4202496 95419 0 0 0 13935 37 0 0 25 0 1 0 869270977 268820480 61092 33554432000 4194304 15243407 140735386125424 18446744073709551615 5070490 0 0 16781312 2 18446744071562691360 0 0 17 0 0 0 0
/proc/16993/statm: 65630 61092 950 2698 0 62925 0
[pid=16991/tid=16997] ppid=16939 vsize=322984 CPUtime=0 cores=0,2,4,6
/proc/16991/task/16997/stat : 16997 (python) S 16939 16939 16182 0 -1 4202560 52 0 0 0 0 0 0 0 15 0 2 0 869275678 330735616 7983 33554432000 4194304 5683644 140733518860144 18446744073709551615 244458768817 0 0 16781312 33554946 18446604448231473216 0 0 -1 6 0 0 0
[pid=17035] ppid=16939 vsize=333240 CPUtime=0.35 cores=0,2,4,6
/proc/17035/stat : 17035 (python) S 16939 16939 16182 0 -1 4202560 1181 0 0 0 19 16 0 0 16 0 2 0 869303492 341237760 7987 33554432000 4194304 5683644 140733518860144 18446744073709551615 244458771915 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/17035/statm: 83310 7987 390 364 0 18185 0
[pid=17037] ppid=17035 vsize=372348 CPUtime=95.53 cores=0,2,4,6
/proc/17037/stat : 17037 (bsolo_pb10) T 17035 17037 17037 0 -1 4202496 91854 0 0 0 9535 18 0 0 25 0 1 0 869303492 381284352 90619 33554432000 134512640 137138936 4289032544 18446744073709551615 134617961 0 0 16781312 16384 18446744071562691360 0 0 17 4 0 0 0
/proc/17037/statm: 93087 90619 190 642 0 92443 0
[pid=17035/tid=17103] ppid=16939 vsize=333240 CPUtime=0 cores=0,2,4,6
/proc/17035/task/17103/stat : 17103 (python) S 16939 16939 16182 0 -1 4202560 51 0 0 0 0 0 0 0 16 0 2 0 869313046 341237760 7987 33554432000 4194304 5683644 140733518860144 18446744073709551615 244458768817 0 0 16781312 33554946 18446604442565800256 0 0 -1 6 0 0 0
[pid=17125] ppid=16939 vsize=343496 CPUtime=0.18 cores=0,2,4,6
/proc/17125/stat : 17125 (python) S 16939 16939 16182 0 -1 4202560 1155 0 0 0 10 8 0 0 16 0 2 0 869354123 351739904 7991 33554432000 4194304 5683644 140733518860144 18446744073709551615 244458771915 0 0 16781312 33554946 18446744073709551615 0 0 17 2 0 0 0
/proc/17125/statm: 85874 7991 390 364 0 20746 0
[pid=17127] ppid=17125 vsize=77280 CPUtime=46.52 cores=0,2,4,6
/proc/17127/stat : 17127 (bsolo_pb10) T 17125 17127 17127 0 -1 4202496 18064 0 0 0 4642 10 0 0 25 0 1 0 869354123 79134720 16831 33554432000 134512640 137138936 4291283136 18446744073709551615 134542516 0 0 16781312 16384 18446744071562691360 0 0 17 0 0 0 0
/proc/17127/statm: 19320 16831 192 642 0 18676 0
[pid=17125/tid=17129] ppid=16939 vsize=343496 CPUtime=0 cores=0,2,4,6
/proc/17125/task/17129/stat : 17129 (python) S 16939 16939 16182 0 -1 4202560 52 0 0 0 0 0 0 0 16 0 2 0 869358776 351739904 7991 33554432000 4194304 5683644 140733518860144 18446744073709551615 244458768817 0 0 16781312 33554946 18446604446120351680 0 0 -1 2 0 0 0
[pid=17161] ppid=16939 vsize=353752 CPUtime=0.17 cores=0,2,4,6
/proc/17161/stat : 17161 (python) S 16939 16939 16182 0 -1 4202560 1163 0 0 0 10 7 0 0 16 0 2 0 869413807 362242048 7995 33554432000 4194304 5683644 140733518860144 18446744073709551615 244458771915 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/17161/statm: 88438 7995 390 364 0 23307 0
[pid=17163] ppid=17161 vsize=80032 CPUtime=47.09 cores=0,2,4,6
/proc/17163/stat : 17163 (wbo1.4a) T 17161 17163 17163 0 -1 4202496 20112 0 0 0 4695 14 0 0 25 0 1 0 869413808 81952768 19472 33554432000 134512640 135751879 4288657552 18446744073709551615 134518864 0 0 16781312 3 18446744071562691360 0 0 17 0 0 0 0
/proc/17163/statm: 20008 19472 143 303 0 19703 0
[pid=17161/tid=17165] ppid=16939 vsize=353752 CPUtime=0 cores=0,2,4,6
/proc/17161/task/17165/stat : 17165 (python) S 16939 16939 16182 0 -1 4202560 49 0 0 0 0 0 0 0 16 0 2 0 869418519 362242048 7995 33554432000 4194304 5683644 140733518860144 18446744073709551615 244458768817 0 0 16781312 33554946 18446604450438734784 0 0 -1 6 0 0 0
[pid=17167] ppid=16939 vsize=364008 CPUtime=0.19 cores=0,2,4,6
/proc/17167/stat : 17167 (python) S 16939 16939 16182 0 -1 4202560 1216 0 0 0 9 10 0 0 16 0 2 0 869423104 372744192 8005 33554432000 4194304 5683644 140733518860144 18446744073709551615 244458771915 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/17167/statm: 91002 8005 396 364 0 25868 0
[pid=17169] ppid=17167 vsize=271608 CPUtime=48.94 cores=0,2,4,6
/proc/17169/stat : 17169 (minion) T 17167 17169 17169 0 -1 4202496 73447 0 0 0 4886 8 0 0 25 0 1 0 869423105 278126592 60535 33554432000 134512640 165565024 4291873008 18446744073709551615 159737071 0 0 16781312 8396802 18446744071562691360 0 0 17 0 0 0 0
/proc/17169/statm: 67902 60535 359 7582 0 60317 0
[pid=17167/tid=17171] ppid=16939 vsize=364008 CPUtime=0 cores=0,2,4,6
/proc/17167/task/17171/stat : 17171 (python) S 16939 16939 16182 0 -1 4202560 45 0 0 0 0 0 0 0 16 0 2 0 869428000 372744192 8005 33554432000 4194304 5683644 140733518860144 18446744073709551615 244458768817 0 0 16781312 33554946 18446604450752672000 0 0 -1 6 0 0 0
[pid=16939/tid=16947] ppid=16937 vsize=374252 CPUtime=0.21 cores=0,2,4,6
/proc/16939/task/16947/stat : 16947 (python) S 16937 16939 16182 0 -1 4202560 26 1429 0 0 0 0 19 2 18 0 9 0 869256976 383234048 9500 33554432000 4194304 5683644 140733518860144 18446744073709551615 244458768817 0 0 16781312 33554434 18446604449738804224 0 0 -1 6 0 0 0
[pid=16939/tid=16974] ppid=16937 vsize=374252 CPUtime=0.21 cores=0,2,4,6
/proc/16939/task/16974/stat : 16974 (python) S 16937 16939 16182 0 -1 4202560 50 1429 0 0 0 0 19 2 18 0 9 0 869261384 383234048 9500 33554432000 4194304 5683644 140733518860144 18446744073709551615 244458768817 0 0 16781312 33554434 18446604449738804224 0 0 -1 2 0 0 0
[pid=16939/tid=16983] ppid=16937 vsize=374252 CPUtime=0.21 cores=0,2,4,6
/proc/16939/task/16983/stat : 16983 (python) S 16937 16939 16182 0 -1 4202560 41 1429 0 0 0 0 19 2 18 0 9 0 869266256 383234048 9500 33554432000 4194304 5683644 140733518860144 18446744073709551615 244458768817 0 0 16781312 33554434 18446604449738804224 0 0 -1 2 0 0 0
[pid=16939/tid=16992] ppid=16937 vsize=374252 CPUtime=0.21 cores=0,2,4,6
/proc/16939/task/16992/stat : 16992 (python) S 16937 16939 16182 0 -1 4202560 33 1429 0 0 0 0 19 2 18 0 9 0 869270977 383234048 9500 33554432000 4194304 5683644 140733518860144 18446744073709551615 244458768817 0 0 16781312 33554434 18446604449738804224 0 0 -1 2 0 0 0
[pid=16939/tid=17036] ppid=16937 vsize=374252 CPUtime=0.21 cores=0,2,4,6
/proc/16939/task/17036/stat : 17036 (python) S 16937 16939 16182 0 -1 4202560 30 1429 0 0 0 0 19 2 20 0 9 0 869303492 383234048 9500 33554432000 4194304 5683644 140733518860144 18446744073709551615 244458768817 0 0 16781312 33554434 18446604449738804224 0 0 -1 2 0 0 0
[pid=16939/tid=17126] ppid=16937 vsize=374252 CPUtime=0.21 cores=0,2,4,6
/proc/16939/task/17126/stat : 17126 (python) S 16937 16939 16182 0 -1 4202560 29 1429 0 0 0 0 19 2 20 0 9 0 869354123 383234048 9500 33554432000 4194304 5683644 140733518860144 18446744073709551615 244458768817 0 0 16781312 33554434 18446604449738804224 0 0 -1 0 0 0 0
[pid=16939/tid=17162] ppid=16937 vsize=374252 CPUtime=0.21 cores=0,2,4,6
/proc/16939/task/17162/stat : 17162 (python) S 16937 16939 16182 0 -1 4202560 34 1429 0 0 0 0 19 2 20 0 9 0 869413807 383234048 9500 33554432000 4194304 5683644 140733518860144 18446744073709551615 244458768817 0 0 16781312 33554434 18446604449738804224 0 0 -1 0 0 0 0
[pid=16939/tid=17168] ppid=16937 vsize=374252 CPUtime=0.21 cores=0,2,4,6
/proc/16939/task/17168/stat : 17168 (python) S 16937 16939 16182 0 -1 4202560 31 1429 0 0 0 0 19 2 24 0 9 0 869423104 383234048 9500 33554432000 4194304 5683644 140733518860144 18446744073709551615 244458768817 0 0 16781312 33554434 18446604449738804224 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 12981588
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 16939 and gives
# childrusage.ru_utime.tv_sec=3
# childrusage.ru_utime.tv_usec=862412
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=199969
# CPU time returned by wait4() is 4.06238
# while last known CPU time is 1800.09
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1791.89
CPU time (s): 1800.09
CPU user time (s): 1793.6
CPU system time (s): 6.49
CPU usage (%): 100.458
Max. virtual memory (cumulated for all children) (KiB): 12987480
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.86241
system time used= 0.199969
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 24000
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= 9468
involuntary context switches= 30
runsolver used 13.9159 second user time and 28.8366 second system time
The end