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-3481562-1307578191/watcher-3481562-1307578191 -o /tmp/evaluation-result-3481562-1307578191/solver-3481562-1307578191 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3481562-1307578191.opb -seed 1013010415 -budget 1800
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.24 2.12 1.77 2/662 32085
/proc/meminfo: memFree=15100604/32951124 swapFree=57370024/67111528
[pid=32085] ppid=32083 vsize=16244 CPUtime=0 cores=1,3,5,7
/proc/32085/stat : 32085 (python) S 32083 32085 30366 0 -1 4202496 1050 0 0 0 0 0 0 0 17 0 1 0 850234622 16633856 921 33554432000 4194304 5683644 140737051097136 18446744073709551615 228095449088 0 2147483391 16781312 2 18446744071699207358 0 0 17 5 0 0 0
/proc/32085/statm: 4061 921 381 364 0 548 0
[startup+0.074053 s]
/proc/loadavg: 2.24 2.12 1.77 2/662 32085
/proc/meminfo: memFree=15100604/32951124 swapFree=57370024/67111528
[pid=32085] ppid=32083 vsize=38908 CPUtime=0.04 cores=1,3,5,7
/proc/32085/stat : 32085 (python) R 32083 32085 30366 0 -1 4202496 1659 0 0 0 3 1 0 0 17 0 1 0 850234622 39841792 1486 33554432000 4194304 5683644 140737051097136 18446744073709551615 228095446885 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/32085/statm: 9727 1486 455 364 0 1027 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 38908
[startup+0.101061 s]
/proc/loadavg: 2.24 2.12 1.77 2/662 32085
/proc/meminfo: memFree=15100604/32951124 swapFree=57370024/67111528
[pid=32085] ppid=32083 vsize=85624 CPUtime=0.05 cores=1,3,5,7
/proc/32085/stat : 32085 (python) R 32083 32085 30366 0 -1 4202496 2665 0 0 0 4 1 0 0 17 0 1 0 850234622 87678976 2382 33554432000 4194304 5683644 140737051097136 18446744073709551615 228095449088 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/32085/statm: 21406 2382 715 364 0 1623 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 85624
[startup+0.301013 s]
/proc/loadavg: 2.24 2.12 1.77 2/662 32085
/proc/meminfo: memFree=15100604/32951124 swapFree=57370024/67111528
[pid=32085] ppid=32083 vsize=123744 CPUtime=0.13 cores=1,3,5,7
/proc/32085/stat : 32085 (python) S 32083 32085 30366 0 -1 4202496 5358 931 1 0 10 3 0 0 16 0 1 0 850234622 126713856 3744 33554432000 4194304 5683644 140737051097136 18446744073709551615 228095447045 0 2147483391 16781312 2 18446744071699207358 0 0 17 5 0 0 0
/proc/32085/statm: 30936 3744 987 364 0 2768 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 123744
[startup+0.70996 s]
/proc/loadavg: 2.24 2.12 1.77 2/662 32085
/proc/meminfo: memFree=15100604/32951124 swapFree=57370024/67111528
[pid=32085] ppid=32083 vsize=282408 CPUtime=0.34 cores=1,3,5,7
/proc/32085/stat : 32085 (python) S 32083 32085 30366 0 -1 4202496 9201 931 1 0 27 7 0 0 15 0 1 0 850234622 289185792 6937 33554432000 4194304 5683644 140737051097136 18446744073709551615 228095471119 0 0 16781312 2 3273941389489995776 0 0 17 5 0 0 0
/proc/32085/statm: 70602 6937 1777 364 0 5495 0
Current children cumulated CPU time (s) 0.34
Current children cumulated vsize (KiB) 282408
[startup+1.50082 s]
/proc/loadavg: 2.24 2.12 1.77 3/664 32091
/proc/meminfo: memFree=15071872/32951124 swapFree=57370024/67111528
[pid=32085] ppid=32083 vsize=290512 CPUtime=0.72 cores=1,3,5,7
/proc/32085/stat : 32085 (python) S 32083 32085 30366 0 -1 4202496 11212 931 1 0 36 36 0 0 15 0 1 0 850234622 297484288 8942 33554432000 4194304 5683644 140737051097136 18446744073709551615 228095471119 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/32085/statm: 72628 8942 1777 364 0 7521 0
[pid=32091] ppid=32085 vsize=3744 CPUtime=0.79 cores=1,3,5,7
/proc/32091/stat : 32091 (PBlinearize) R 32085 32085 30366 0 -1 4202496 946 0 0 0 67 12 0 0 18 0 1 0 850234691 3833856 702 33554432000 4194304 5518411 140735428857968 18446744073709551615 4926752 0 0 16781312 0 0 0 0 17 3 0 0 0
/proc/32091/statm: 936 702 126 324 0 608 0
Current children cumulated CPU time (s) 1.51
Current children cumulated vsize (KiB) 294256
[startup+3.10051 s]
/proc/loadavg: 2.22 2.12 1.77 3/663 32091
/proc/meminfo: memFree=15039020/32951124 swapFree=57370024/67111528
[pid=32085] ppid=32083 vsize=325632 CPUtime=3.37 cores=1,3,5,7
/proc/32085/stat : 32085 (python) R 32083 32085 30366 0 -1 4202496 33022 1878 1 0 171 59 87 20 17 0 1 0 850234622 333447168 17755 33554432000 4194304 5683644 140737051097136 18446744073709551615 47329914561592 0 0 16781312 33554434 0 0 0 17 5 0 0 0
/proc/32085/statm: 81408 17755 1816 364 0 16301 0
Current children cumulated CPU time (s) 3.37
Current children cumulated vsize (KiB) 325632
[startup+6.30092 s]
/proc/loadavg: 2.22 2.12 1.77 3/666 32094
/proc/meminfo: memFree=14980124/32951124 swapFree=57370024/67111528
[pid=32085] ppid=32083 vsize=338912 CPUtime=5.29 cores=1,3,5,7
/proc/32085/stat : 32085 (python) S 32083 32085 30366 0 -1 4202496 34433 1878 1 0 363 59 87 20 22 0 2 0 850234622 347045888 18567 33554432000 4194304 5683644 140737051097136 18446744073709551615 228107277771 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/32085/statm: 84728 18567 1871 364 0 19615 0
[pid=32092] ppid=32085 vsize=328668 CPUtime=0 cores=1,3,5,7
/proc/32092/stat : 32092 (python) S 32085 32085 30366 0 -1 4202560 737 0 0 0 0 0 0 0 16 0 1 0 850235124 336556032 17010 33554432000 4194304 5683644 140737051097136 18446744073709551615 228095471119 0 0 16781312 33554946 3484717768534654976 0 0 17 5 0 0 0
/proc/32092/statm: 82167 17010 318 364 0 17054 0
[pid=32094] ppid=32092 vsize=50768 CPUtime=1.26 cores=1,3,5,7
/proc/32094/stat : 32094 (wbo1.4a) R 32092 32094 32094 0 -1 4202496 15684 0 0 0 125 1 0 0 25 0 1 0 850235125 51986432 11665 33554432000 134512640 135751879 4289247360 18446744073709551615 134518477 0 0 16781312 3 0 0 0 17 5 0 0 0
/proc/32094/statm: 12692 11665 145 303 0 12387 0
[pid=32085/tid=32093] ppid=32083 vsize=338912 CPUtime=1.07 cores=1,3,5,7
/proc/32085/task/32093/stat : 32093 (python) S 32083 32085 30366 0 -1 4202560 26 1878 0 0 0 0 87 20 22 0 2 0 850235125 347045888 18567 33554432000 4194304 5683644 140737051097136 18446744073709551615 228107274673 0 0 16781312 33554434 18446604467755517824 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 6.55
Current children cumulated vsize (KiB) 718348
[startup+12.7008 s]
/proc/loadavg: 2.18 2.11 1.77 3/666 32095
/proc/meminfo: memFree=14924436/32951124 swapFree=57370024/67111528
[pid=32085] ppid=32083 vsize=338912 CPUtime=5.29 cores=1,3,5,7
/proc/32085/stat : 32085 (python) S 32083 32085 30366 0 -1 4202496 34433 1878 1 0 363 59 87 20 22 0 2 0 850234622 347045888 18567 33554432000 4194304 5683644 140737051097136 18446744073709551615 228107277771 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/32085/statm: 84728 18567 1871 364 0 19615 0
[pid=32092] ppid=32085 vsize=328668 CPUtime=0.04 cores=1,3,5,7
/proc/32092/stat : 32092 (python) S 32085 32085 30366 0 -1 4202560 871 0 0 0 2 2 0 0 15 0 1 0 850235124 336556032 17034 33554432000 4194304 5683644 140737051097136 18446744073709551615 228095471119 0 0 16781312 33554946 4423218287928639751 0 0 17 7 0 0 0
/proc/32092/statm: 82167 17034 342 364 0 17054 0
[pid=32094] ppid=32092 vsize=64260 CPUtime=7.65 cores=1,3,5,7
/proc/32094/stat : 32094 (wbo1.4a) R 32092 32094 32094 0 -1 4202496 20473 0 0 0 762 3 0 0 25 0 1 0 850235125 65802240 15074 33554432000 134512640 135751879 4289247360 18446744073709551615 134611163 0 0 16781312 3 0 0 0 17 3 0 0 0
/proc/32094/statm: 16065 15074 146 303 0 15760 0
[pid=32085/tid=32093] ppid=32083 vsize=338912 CPUtime=1.07 cores=1,3,5,7
/proc/32085/task/32093/stat : 32093 (python) S 32083 32085 30366 0 -1 4202560 26 1878 0 0 0 0 87 20 22 0 2 0 850235125 347045888 18567 33554432000 4194304 5683644 140737051097136 18446744073709551615 228107274673 0 0 16781312 33554434 18446604467755517824 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 12.98
Current children cumulated vsize (KiB) 731840
[startup+25.5004 s]
/proc/loadavg: 2.16 2.11 1.77 3/666 32095
/proc/meminfo: memFree=14885540/32951124 swapFree=57370024/67111528
[pid=32085] ppid=32083 vsize=338912 CPUtime=5.29 cores=1,3,5,7
/proc/32085/stat : 32085 (python) S 32083 32085 30366 0 -1 4202496 34433 1878 1 0 363 59 87 20 22 0 2 0 850234622 347045888 18567 33554432000 4194304 5683644 140737051097136 18446744073709551615 228107277771 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/32085/statm: 84728 18567 1871 364 0 19615 0
[pid=32092] ppid=32085 vsize=328668 CPUtime=0.09 cores=1,3,5,7
/proc/32092/stat : 32092 (python) S 32085 32085 30366 0 -1 4202560 875 0 0 0 4 5 0 0 15 0 1 0 850235124 336556032 17034 33554432000 4194304 5683644 140737051097136 18446744073709551615 228095471119 0 0 16781312 33554946 4294934792 0 0 17 7 0 0 0
/proc/32092/statm: 82167 17034 342 364 0 17054 0
[pid=32094] ppid=32092 vsize=73504 CPUtime=20.45 cores=1,3,5,7
/proc/32094/stat : 32094 (wbo1.4a) R 32092 32094 32094 0 -1 4202496 22791 0 0 0 2037 8 0 0 25 0 1 0 850235125 75268096 17392 33554432000 134512640 135751879 4289247360 18446744073709551615 134518948 0 0 16781312 3 0 0 0 17 3 0 0 0
/proc/32094/statm: 18376 17392 146 303 0 18071 0
[pid=32085/tid=32093] ppid=32083 vsize=338912 CPUtime=1.07 cores=1,3,5,7
/proc/32085/task/32093/stat : 32093 (python) S 32083 32085 30366 0 -1 4202560 26 1878 0 0 0 0 87 20 22 0 2 0 850235125 347045888 18567 33554432000 4194304 5683644 140737051097136 18446744073709551615 228107274673 0 0 16781312 33554434 18446604467755517824 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 25.83
Current children cumulated vsize (KiB) 741084
[startup+51.1007 s]
/proc/loadavg: 2.10 2.10 1.78 3/688 32118
/proc/meminfo: memFree=14125928/32951124 swapFree=57370024/67111528
[pid=32085] ppid=32083 vsize=338912 CPUtime=5.29 cores=1,3,5,7
/proc/32085/stat : 32085 (python) S 32083 32085 30366 0 -1 4202496 34433 1878 1 0 363 59 87 20 22 0 2 0 850234622 347045888 18567 33554432000 4194304 5683644 140737051097136 18446744073709551615 228107277771 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/32085/statm: 84728 18567 1871 364 0 19615 0
[pid=32092] ppid=32085 vsize=328668 CPUtime=0.22 cores=1,3,5,7
/proc/32092/stat : 32092 (python) S 32085 32085 30366 0 -1 4202560 888 0 0 0 10 12 0 0 15 0 1 0 850235124 336556032 17034 33554432000 4194304 5683644 140737051097136 18446744073709551615 228095471119 0 0 16781312 33554946 5623606151888251659 0 0 17 5 0 0 0
/proc/32092/statm: 82167 17034 342 364 0 17054 0
[pid=32094] ppid=32092 vsize=102140 CPUtime=46.05 cores=1,3,5,7
/proc/32094/stat : 32094 (wbo1.4a) R 32092 32094 32094 0 -1 4202496 29949 0 0 0 4585 20 0 0 25 0 1 0 850235125 104591360 24550 33554432000 134512640 135751879 4289247360 18446744073709551615 134642946 0 0 16781312 3 0 0 0 17 3 0 0 0
/proc/32094/statm: 25535 24550 146 303 0 25230 0
[pid=32085/tid=32093] ppid=32083 vsize=338912 CPUtime=1.07 cores=1,3,5,7
/proc/32085/task/32093/stat : 32093 (python) S 32083 32085 30366 0 -1 4202560 26 1878 0 0 0 0 87 20 22 0 2 0 850235125 347045888 18567 33554432000 4194304 5683644 140737051097136 18446744073709551615 228107274673 0 0 16781312 33554434 18446604467755517824 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 51.56
Current children cumulated vsize (KiB) 769720
[startup+102.326 s]
/proc/loadavg: 2.12 2.10 1.79 3/715 32146
/proc/meminfo: memFree=12659852/32951124 swapFree=57370024/67111528
[pid=32085] ppid=32083 vsize=359424 CPUtime=5.35 cores=1,3,5,7
/proc/32085/stat : 32085 (python) S 32083 32085 30366 0 -1 4202496 36201 1878 1 0 368 60 87 20 19 0 4 0 850234622 368050176 18580 33554432000 4194304 5683644 140737051097136 18446744073709551615 228107277771 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/32085/statm: 89856 18580 1876 364 0 24737 0
[pid=32092] ppid=32085 vsize=338912 CPUtime=0.24 cores=1,3,5,7
/proc/32092/stat : 32092 (python) S 32085 32085 30366 0 -1 4202560 1089 0 0 0 11 13 0 0 17 0 2 0 850235124 347045888 17102 33554432000 4194304 5683644 140737051097136 18446744073709551615 228107277771 0 0 16781312 33554946 18446744073709551615 0 0 17 5 0 0 0
/proc/32092/statm: 84728 17102 405 364 0 19615 0
[pid=32094] ppid=32092 vsize=105796 CPUtime=49.17 cores=1,3,5,7
/proc/32094/stat : 32094 (wbo1.4a) T 32092 32094 32094 0 -1 4202496 30854 0 0 0 4895 22 0 0 25 0 1 0 850235125 108335104 25455 33554432000 134512640 135751879 4289247360 18446744073709551615 134609005 0 0 16781312 3 18446744071562691360 0 0 17 3 0 0 0
/proc/32094/statm: 26449 25455 146 303 0 26144 0
[pid=32092/tid=32119] ppid=32085 vsize=338912 CPUtime=0 cores=1,3,5,7
/proc/32092/task/32119/stat : 32119 (python) S 32085 32085 30366 0 -1 4202560 49 0 0 0 0 0 0 0 17 0 2 0 850240043 347045888 17102 33554432000 4194304 5683644 140737051097136 18446744073709551615 228107274673 0 0 16781312 33554946 18446604469033572480 0 0 -1 5 0 0 0
[pid=32120] ppid=32085 vsize=338924 CPUtime=0.22 cores=1,3,5,7
/proc/32120/stat : 32120 (python) S 32085 32085 30366 0 -1 4202560 1125 0 0 0 10 12 0 0 17 0 2 0 850240045 347058176 17087 33554432000 4194304 5683644 140737051097136 18446744073709551615 228107277771 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/32120/statm: 84731 17087 390 364 0 19615 0
[pid=32122] ppid=32120 vsize=683988 CPUtime=46.59 cores=1,3,5,7
/proc/32122/stat : 32122 (scip-2.0.1.linu) T 32120 32122 32122 0 -1 4202496 172143 0 0 0 4608 51 0 0 25 0 1 0 850240045 700403712 162913 33554432000 4194304 13684479 140734234492128 18446744073709551615 7391342 0 0 16781312 2 18446744071562691360 0 0 17 5 0 0 0
/proc/32122/statm: 170997 162913 742 2317 0 168675 0
[pid=32120/tid=32125] ppid=32085 vsize=338924 CPUtime=0 cores=1,3,5,7
/proc/32120/task/32125/stat : 32125 (python) S 32085 32085 30366 0 -1 4202560 51 0 0 0 0 0 0 0 17 0 2 0 850244706 347058176 17087 33554432000 4194304 5683644 140737051097136 18446744073709551615 228107274673 0 0 16781312 33554946 18446604455055689024 0 0 -1 7 0 0 0
[pid=32126] ppid=32085 vsize=349180 CPUtime=0 cores=1,3,5,7
/proc/32126/stat : 32126 (python) S 32085 32085 30366 0 -1 4202560 780 0 0 0 0 0 0 0 17 0 1 0 850244709 357560320 17019 33554432000 4194304 5683644 140737051097136 18446744073709551615 228095471174 0 0 16781312 33554946 183494446132756480 0 0 17 5 0 0 0
/proc/32126/statm: 87295 17019 319 364 0 22176 0
[pid=32128] ppid=32126 vsize=8542676 CPUtime=2.83 cores=1,3,5,7
/proc/32128/stat : 32128 (java) S 32126 32128 32128 0 -1 4202496 70448 0 1 0 274 9 0 0 20 0 19 0 850244709 8747700224 67048 33554432000 1073741824 1073778376 140734764802112 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/32128/statm: 2135669 67048 2240 9 0 2126410 0
[pid=32128/tid=32129] ppid=32126 vsize=8542676 CPUtime=1.28 cores=1,3,5,7
/proc/32128/task/32129/stat : 32129 (java) R 32126 32128 32128 0 -1 4202560 35276 0 1 0 123 5 0 0 25 0 19 0 850244711 8747700224 67048 33554432000 1073741824 1073778376 140734764802112 18446744073709551615 46912506029799 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=32128/tid=32130] ppid=32126 vsize=8542676 CPUtime=0.09 cores=1,3,5,7
/proc/32128/task/32130/stat : 32130 (java) S 32126 32128 32128 0 -1 4202560 7088 0 0 0 9 0 0 0 16 0 19 0 850244711 8747700224 67048 33554432000 1073741824 1073778376 140734764802112 18446744073709551615 228107266969 0 4 0 16800975 18446604455055690816 0 0 -1 5 0 0 0
[pid=32128/tid=32131] ppid=32126 vsize=8542676 CPUtime=0 cores=1,3,5,7
/proc/32128/task/32131/stat : 32131 (java) S 32126 32128 32128 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 850244711 8747700224 67048 33554432000 1073741824 1073778376 140734764802112 18446744073709551615 228107266969 0 4 0 16800975 18446604455055690816 0 0 -1 5 0 0 0
[pid=32128/tid=32132] ppid=32126 vsize=8542676 CPUtime=0 cores=1,3,5,7
/proc/32128/task/32132/stat : 32132 (java) S 32126 32128 32128 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 850244711 8747700224 67048 33554432000 1073741824 1073778376 140734764802112 18446744073709551615 228107266969 0 4 0 16800975 18446604455055690816 0 0 -1 5 0 0 0
[pid=32128/tid=32133] ppid=32126 vsize=8542676 CPUtime=0.08 cores=1,3,5,7
/proc/32128/task/32133/stat : 32133 (java) S 32126 32128 32128 0 -1 4202560 5313 0 0 0 8 0 0 0 16 0 19 0 850244711 8747700224 67048 33554432000 1073741824 1073778376 140734764802112 18446744073709551615 228107266969 0 4 0 16800975 18446604455055690816 0 0 -1 7 0 0 0
[pid=32128/tid=32134] ppid=32126 vsize=8542676 CPUtime=0.02 cores=1,3,5,7
/proc/32128/task/32134/stat : 32134 (java) S 32126 32128 32128 0 -1 4202560 1488 0 0 0 2 0 0 0 15 0 19 0 850244711 8747700224 67048 33554432000 1073741824 1073778376 140734764802112 18446744073709551615 228107266969 0 4 0 16800975 18446604455055690816 0 0 -1 7 0 0 0
[pid=32128/tid=32135] ppid=32126 vsize=8542676 CPUtime=0.12 cores=1,3,5,7
/proc/32128/task/32135/stat : 32135 (java) S 32126 32128 32128 0 -1 4202560 8273 0 0 0 12 0 0 0 16 0 19 0 850244711 8747700224 67048 33554432000 1073741824 1073778376 140734764802112 18446744073709551615 228107266969 0 4 0 16800975 18446604455055690816 0 0 -1 3 0 0 0
[pid=32128/tid=32136] ppid=32126 vsize=8542676 CPUtime=0.03 cores=1,3,5,7
/proc/32128/task/32136/stat : 32136 (java) S 32126 32128 32128 0 -1 4202560 2312 0 0 0 3 0 0 0 16 0 19 0 850244711 8747700224 67048 33554432000 1073741824 1073778376 140734764802112 18446744073709551615 228107266969 0 4 0 16800975 18446604455055690816 0 0 -1 5 0 0 0
[pid=32128/tid=32137] ppid=32126 vsize=8542676 CPUtime=0 cores=1,3,5,7
/proc/32128/task/32137/stat : 32137 (java) S 32126 32128 32128 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 850244711 8747700224 67048 33554432000 1073741824 1073778376 140734764802112 18446744073709551615 228107266969 0 4 0 16800975 18446604455055690816 0 0 -1 5 0 0 0
[pid=32128/tid=32138] ppid=32126 vsize=8542676 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
[pid=32162/tid=32174] ppid=32160 vsize=8537100 CPUtime=0 cores=1,3,5,7
/proc/32162/task/32174/stat : 32174 (java) S 32160 32162 32162 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 18 0 850258788 8741990400 8209 33554432000 1073741824 1073778376 140735178425296 18446744073709551615 228107266969 0 4 0 16800975 18446604467919543104 0 0 -1 3 0 0 0
[pid=32162/tid=32175] ppid=32160 vsize=8537100 CPUtime=0 cores=1,3,5,7
/proc/32162/task/32175/stat : 32175 (java) S 32160 32162 32162 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 850258791 8741990400 8210 33554432000 1073741824 1073778376 140735178425296 18446744073709551615 228107274673 0 4 0 16800975 18446604467919543104 0 0 -1 3 0 0 0
[pid=32162/tid=32176] ppid=32160 vsize=8537100 CPUtime=0.09 cores=1,3,5,7
/proc/32162/task/32176/stat : 32176 (java) R 32160 32162 32162 0 -1 4202560 1235 0 0 0 9 0 0 0 25 0 18 0 850258791 8741990400 8212 33554432000 1073741824 1073778376 140735178425296 18446744073709551615 228107276981 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=32162/tid=32177] ppid=32160 vsize=8537100 CPUtime=0.1 cores=1,3,5,7
/proc/32162/task/32177/stat : 32177 (java) R 32160 32162 32162 0 -1 4202560 988 0 0 0 10 0 0 0 16 0 18 0 850258791 8741990400 8219 33554432000 1073741824 1073778376 140735178425296 18446744073709551615 228107276981 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=32162/tid=32178] ppid=32160 vsize=8537100 CPUtime=0 cores=1,3,5,7
/proc/32162/task/32178/stat : 32178 (java) S 32160 32162 32162 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 850258791 8741990400 8221 33554432000 1073741824 1073778376 140735178425296 18446744073709551615 228107266969 0 4 0 16800975 18446604467919543104 0 0 -1 3 0 0 0
[pid=32162/tid=32179] ppid=32160 vsize=8537100 CPUtime=0 cores=1,3,5,7
/proc/32162/task/32179/stat : 32179 (java) S 32160 32162 32162 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 18 0 850258791 8741990400 8221 33554432000 1073741824 1073778376 140735178425296 18446744073709551615 228107267584 0 4 0 16800975 18446604467919543104 0 0 -1 7 0 0 0
[pid=32085/tid=32093] ppid=32083 vsize=379936 CPUtime=1.07 cores=1,3,5,7
/proc/32085/task/32093/stat : 32093 (python) S 32083 32085 30366 0 -1 4202560 26 1878 0 0 0 0 87 20 22 0 6 0 850235125 389054464 18592 33554432000 4194304 5683644 140737051097136 18446744073709551615 228107274673 0 0 16781312 33554434 18446604467755517824 0 0 -1 7 0 0 0
[pid=32085/tid=32121] ppid=32083 vsize=379936 CPUtime=1.07 cores=1,3,5,7
/proc/32085/task/32121/stat : 32121 (python) S 32083 32085 30366 0 -1 4202560 23 1878 0 0 0 0 87 20 20 0 6 0 850240045 389054464 18592 33554432000 4194304 5683644 140737051097136 18446744073709551615 228107274673 0 0 16781312 33554434 18446604467755517824 0 0 -1 7 0 0 0
[pid=32085/tid=32127] ppid=32083 vsize=379936 CPUtime=1.07 cores=1,3,5,7
/proc/32085/task/32127/stat : 32127 (python) S 32083 32085 30366 0 -1 4202560 30 1878 0 0 0 0 87 20 20 0 6 0 850244709 389054464 18592 33554432000 4194304 5683644 140737051097136 18446744073709551615 228107274673 0 0 16781312 33554434 18446604467755517824 0 0 -1 5 0 0 0
[pid=32085/tid=32153] ppid=32083 vsize=379936 CPUtime=1.07 cores=1,3,5,7
/proc/32085/task/32153/stat : 32153 (python) S 32083 32085 30366 0 -1 4202560 29 1878 0 0 0 0 87 20 20 0 6 0 850249233 389054464 18592 33554432000 4194304 5683644 140737051097136 18446744073709551615 228107274673 0 0 16781312 33554434 18446604467755517824 0 0 -1 7 0 0 0
[pid=32085/tid=32161] ppid=32083 vsize=379936 CPUtime=1.07 cores=1,3,5,7
/proc/32085/task/32161/stat : 32161 (python) S 32083 32085 30366 0 -1 4202560 30 1878 0 0 0 0 87 20 20 0 6 0 850258785 389054464 18592 33554432000 4194304 5683644 140737051097136 18446744073709551615 228107274673 0 0 16781312 33554434 18446604467755517824 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 245.88
Current children cumulated vsize (KiB) 20232360
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+241.902 s]
/proc/loadavg: 2.02 2.07 1.82 6/744 32179
/proc/meminfo: memFree=10355624/32951124 swapFree=57370024/67111528
[pid=32085] ppid=32083 vsize=379936 CPUtime=5.4 cores=1,3,5,7
/proc/32085/stat : 32085 (python) S 32083 32085 30366 0 -1 4202496 37932 1878 1 0 372 61 87 20 19 0 6 0 850234622 389054464 18592 33554432000 4194304 5683644 140737051097136 18446744073709551615 228107277771 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/32085/statm: 94984 18592 1880 364 0 29859 0
[pid=32092] ppid=32085 vsize=338912 CPUtime=0.24 cores=1,3,5,7
/proc/32092/stat : 32092 (python) S 32085 32085 30366 0 -1 4202560 1089 0 0 0 11 13 0 0 17 0 2 0 850235124 347045888 17102 33554432000 4194304 5683644 140737051097136 18446744073709551615 228107277771 0 0 16781312 33554946 18446744073709551615 0 0 17 5 0 0 0
/proc/32092/statm: 84728 17102 405 364 0 19615 0
[pid=32094] ppid=32092 vsize=105796 CPUtime=49.17 cores=1,3,5,7
/proc/32094/stat : 32094 (wbo1.4a) T 32092 32094 32094 0 -1 4202496 30854 0 0 0 4895 22 0 0 25 0 1 0 850235125 108335104 25455 33554432000 134512640 135751879 4289247360 18446744073709551615 134609005 0 0 16781312 3 18446744071562691360 0 0 17 3 0 0 0
/proc/32094/statm: 26449 25455 146 303 0 26144 0
[pid=32092/tid=32119] ppid=32085 vsize=338912 CPUtime=0 cores=1,3,5,7
/proc/32092/task/32119/stat : 32119 (python) S 32085 32085 30366 0 -1 4202560 49 0 0 0 0 0 0 0 17 0 2 0 850240043 347045888 17102 33554432000 4194304 5683644 140737051097136 18446744073709551615 228107274673 0 0 16781312 33554946 18446604469033572480 0 0 -1 5 0 0 0
[pid=32120] ppid=32085 vsize=338924 CPUtime=0.22 cores=1,3,5,7
/proc/32120/stat : 32120 (python) S 32085 32085 30366 0 -1 4202560 1125 0 0 0 10 12 0 0 17 0 2 0 850240045 347058176 17087 33554432000 4194304 5683644 140737051097136 18446744073709551615 228107277771 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/32120/statm: 84731 17087 390 364 0 19615 0
[pid=32122] ppid=32120 vsize=683988 CPUtime=46.59 cores=1,3,5,7
/proc/32122/stat : 32122 (scip-2.0.1.linu) T 32120 32122 32122 0 -1 4202496 172143 0 0 0 4608 51 0 0 25 0 1 0 850240045 700403712 162913 33554432000 4194304 13684479 140734234492128 18446744073709551615 7391342 0 0 16781312 2 18446744071562691360 0 0 17 5 0 0 0
/proc/32122/statm: 170997 162913 742 2317 0 168675 0
[pid=32120/tid=32125] ppid=32085 vsize=338924 CPUtime=0 cores=1,3,5,7
/proc/32120/task/32125/stat : 32125 (python) S 32085 32085 30366 0 -1 4202560 51 0 0 0 0 0 0 0 17 0 2 0 850244706 347058176 17087 33554432000 4194304 5683644 140737051097136 18446744073709551615 228107274673 0 0 16781312 33554946 18446604455055689024 0 0 -1 7 0 0 0
[pid=32126] ppid=32085 vsize=349180 CPUtime=0.23 cores=1,3,5,7
/proc/32126/stat : 32126 (python) S 32085 32085 30366 0 -1 4202560 1128 0 0 0 11 12 0 0 17 0 2 0 850244709 357560320 17091 33554432000 4194304 5683644 140737051097136 18446744073709551615 228107277771 0 0 16781312 33554946 18446744073709551615 0 0 17 3 0 0 0
/proc/32126/statm: 87295 17091 390 364 0 22176 0
[pid=32128] ppid=32126 vsize=8544248 CPUtime=47.73 cores=1,3,5,7
/proc/32128/stat : 32128 (java) T 32126 32128 32128 0 -1 4202496 556823 0 1 0 4711 62 0 0 18 0 19 0 850244709 8749309952 550937 33554432000 1073741824 1073778376 140734764802112 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/32128/statm: 2136062 550937 2247 9 0 2126803 0
[pid=32128/tid=32129] ppid=32126 vsize=8544248 CPUtime=44.8 cores=1,3,5,7
/proc/32128/task/32129/stat : 32129 (java) T 32126 32128 32128 0 -1 4202560 483146 0 1 0 4426 54 0 0 25 0 19 0 850244711 8749309952 550937 33554432000 1073741824 1073778376 140734764802112 18446744073709551615 46912506022767 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=32128/tid=32130] ppid=32126 vsize=8544248 CPUtime=0.17 cores=1,3,5,7
/proc/32128/task/32130/stat : 32130 (java) T 32126 32128 32128 0 -1 4202560 11019 0 0 0 16 1 0 0 15 0 19 0 850244711 8749309952 550937 33554432000 1073741824 1073778376 140734764802112 18446744073709551615 228107266969 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=32128/tid=32131] ppid=32126 vsize=8544248 CPUtime=0.07 cores=1,3,5,7
/proc/32128/task/32131/stat : 32131 (java) T 32126 32128 32128 0 -1 4202560 4632 0 0 0 7 0 0 0 15 0 19 0 850244711 8749309952 550937 33554432000 1073741824 1073778376 140734764802112 18446744073709551615 228107266969 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=32128/tid=32132] ppid=32126 vsize=8544248 CPUtime=0.11 cores=1,3,5,7
/proc/32128/task/32132/stat : 32132 (java) T 32126 32128 32128 0 -1 4202560 6518 0 0 0 11 0 0 0 15 0 19 0 850244711 8749309952 550937 33554432000 1073741824 1073778376 140734764802112 18446744073709551615 228107266969 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=32128/tid=32133] ppid=32126 vsize=8544248 CPUtime=0.17 cores=1,3,5,7
/proc/32128/task/32133/stat : 32133 (java) T 32126 32128 32128 0 -1 4202560 10958 0 0 0 17 0 0 0 15 0 19 0 850244711 8749309952 550937 33554432000 1073741824 1073778376 140734764802112 18446744073709551615 228107266969 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=32128/tid=32134] ppid=32126 vsize=8544248 CPUtime=0.06 cores=1,3,5,7
/proc/32128/task/32134/stat : 32134 (java) T 32126 32128 32128 0 -1 4202560 4608 0 0 0 6 0 0 0 15 0 19 0 850244711 8749309952 550937 33554432000 1073741824 1073778376 140734764802112 18446744073709551615 228107266969 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=32128/tid=32135] ppid=32126 vsize=8544248 CPUtime=0.19 cores=1,3,5,7
/proc/32128/task/32135/stat : 32135 (java) T 32126 32128 32128 0 -1 4202560 12190 0 0 0 19 0 0 0 15 0 19 0 850244711 8749309952 550937 33554432000 1073741824 1073778376 140734764802112 18446744073709551615 228107266969 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=32128/tid=32136] ppid=32126 vsize=8544248 CPUtime=0.1 cores=1,3,5,7
/proc/32128/task/32136/stat : 32136 (java) T 32126 32128 32128 0 -1 4202560 5769 0 0 0 10 0 0 0 15 0 19 0 850244711 8749309952 550937 33554432000 1073741824 1073778376 140734764802112 18446744073709551615 228107266969 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=32128/tid=32137] ppid=32126 vsize=8544248 CPUtime=0.05 cores=1,3,5,7
/proc/32128/task/32137/stat : 32137 (java) T 32126 32128 32128 0 -1 4202560 3161 0 0 0 5 0 0 0 15 0 19 0 850244711 8749309952 550937 33554432000 1073741824 1073778376 140734764802112 18446744073709551615 228107266969 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=32128/tid=32138] ppid=32126 vsize=8544248 CPUtime=0 cores=1,3,5,7
/proc/32128/task/32138/stat : 32138 (java) T 32126 32128 32128 0 -1 4202560 1271 0 0 0 0 0 0 0 15 0 19 0 850244712 8749309952 550937 33554432000 1073741824 1073778376 140734764802112 18446744073709551615 228107267584 0 0 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=32128/tid=32139] ppid=32126 vsize=8544248 CPUtime=0 cores=1,3,5,7
/proc/32128/task/32139/stat : 32139 (java) T 32126 32128 32128 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 850244713 8749309952 550937 33554432000 1073741824 1073778376 140734764802112 18446744073709551615 228107266969 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=32128/tid=32140] ppid=32126 vsize=8544248 CPUtime=0 cores=1,3,5,7
/proc/32128/task/32140/stat : 32140 (java) T 32126 32128 32128 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 850244713 8749309952 550937 33554432000 1073741824 1073778376 140734764802112 18446744073709551615 228107266969 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=32128/tid=32141] ppid=32126 vsize=8544248 CPUtime=0 cores=1,3,5,7
/proc/32128/task/32141/stat : 32141 (java) T 32126 32128 32128 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 850244715 8749309952 550937 33554432000 1073741824 1073778376 140734764802112 18446744073709551615 228107274673 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=32128/tid=32142] ppid=32126 vsize=8544248 CPUtime=0.91 cores=1,3,5,7
/proc/32128/task/32142/stat : 32142 (java) T 32126 32128 32128 0 -1 4202560 5139 0 0 0 90 1 0 0 15 0 19 0 850244715 8749309952 550937 33554432000 1073741824 1073778376 140734764802112 18446744073709551615 228107266969 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=32128/tid=32143] ppid=32126 vsize=8544248 CPUtime=0.98 cores=1,3,5,7
/proc/32128/task/32143/stat : 32143 (java) T 32126 32128 32128 0 -1 4202560 7018 0 0 0 98 0 0 0 15 0 19 0 850244715 8749309952 550937 33554432000 1073741824 1073778376 140734764802112 18446744073709551615 228107266969 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=32128/tid=32144] ppid=32126 vsize=8544248 CPUtime=0 cores=1,3,5,7
/proc/32128/task/32144/stat : 32144 (java) T 32126 32128 32128 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 850244715 8749309952 550937 33554432000 1073741824 1073778376 140734764802112 18446744073709551615 228107266969 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=32128/tid=32145] ppid=32126 vsize=8544248 CPUtime=0 cores=1,3,5,7
/proc/32128/task/32145/stat : 32145 (java) T 32126 32128 32128 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 850244715 8749309952 550937 33554432000 1073741824 1073778376 140734764802112 18446744073709551615 228107267584 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=32128/tid=32146] ppid=32126 vsize=8544248 CPUtime=0 cores=1,3,5,7
/proc/32128/task/32146/stat : 32146 (java) T 32126 32128 32128 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 850244826 8749309952 550937 33554432000 1073741824 1073778376 140734764802112 18446744073709551615 228107267584 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=32126/tid=32151] ppid=32085 vsize=349180 CPUtime=0 cores=1,3,5,7
/proc/32126/task/32151/stat : 32151 (python) S 32085 32085 30366 0 -1 4202560 50 0 0 0 0 0 0 0 17 0 2 0 850249230 357560320 17091 33554432000 4194304 5683644 140737051097136 18446744073709551615 228107274673 0 0 16781312 33554946 18446604461275002688 0 0 -1 3 0 0 0
[pid=32152] ppid=32085 vsize=359436 CPUtime=0.46 cores=1,3,5,7
/proc/32152/stat : 32152 (python) S 32085 32085 30366 0 -1 4202560 1200 0 0 0 23 23 0 0 16 0 2 0 850249232 368062464 17095 33554432000 4194304 5683644 140737051097136 18446744073709551615 228107277771 0 0 16781312 33554946 18446744073709551615 0 0 17 5 0 0 0
/proc/32152/statm: 89859 17095 390 364 0 24737 0
[pid=32154] ppid=32152 vsize=225148 CPUtime=95.34 cores=1,3,5,7
/proc/32154/stat : 32154 (clasp-1.3.7-x86) T 32152 32154 32154 0 -1 4202496 57711 0 0 0 9527 7 0 0 25 0 1 0 850249233 230551552 55645 33554432000 134512640 136139019 4288433648 18446744073709551615 134875018 0 0 16781312 16386 18446744071562691360 0 0 17 7 0 0 0
/proc/32154/statm: 56287 55645 189 398 0 55887 0
[pid=32152/tid=32159] ppid=32085 vsize=359436 CPUtime=0 cores=1,3,5,7
/proc/32152/task/32159/stat : 32159 (python) S 32085 32085 30366 0 -1 4202560 49 0 0 0 0 0 0 0 16 0 2 0 850258782 368062464 17095 33554432000 4194304 5683644 140737051097136 18446744073709551615 228107274673 0 0 16781312 33554946 18446604468567126144 0 0 -1 5 0 0 0
[pid=32160] ppid=32085 vsize=369692 CPUtime=0 cores=1,3,5,7
/proc/32160/stat : 32160 (python) S 32085 32085 30366 0 -1 4202560 808 0 0 0 0 0 0 0 18 0 1 0 850258785 378564608 17027 33554432000 4194304 5683644 140737051097136 18446744073709551615 228095471174 0 0 16781312 33554946 3389273965900857344 0 0 17 7 0 0 0
/proc/32160/statm: 92423 17027 319 364 0 27298 0
[pid=32162] ppid=32160 vsize=8537100 CPUtime=0.5 cores=1,3,5,7
/proc/32162/stat : 32162 (java) S 32160 32162 32162 0 -1 4202496 8962 0 1 0 48 2 0 0 17 0 18 0 850258785 8741990400 8190 33554432000 1073741824 1073778376 140735178425296 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/32162/statm: 2134275 8190 2214 9 0 2125016 0
[pid=32162/tid=32163] ppid=32160 vsize=8537100 CPUtime=0.29 cores=1,3,5,7
/proc/32162/task/32163/stat : 32163 (java) R 32160 32162 32162 0 -1 4202560 5363 0 1 0 28 1 0 0 18 0 18 0 850258786 8741990400 8205 33554432000 1073741824 1073778376 140735178425296 18446744073709551615 47130018249524 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=32162/tid=32164] ppid=32160 vsize=8537100 CPUtime=0 cores=1,3,5,7
/proc/32162/task/32164/stat : 32164 (java) S 32160 32162 32162 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 850258787 8741990400 8205 33554432000 1073741824 1073778376 140735178425296 18446744073709551615 228107266969 0 4 0 16800975 18446604467919543104 0 0 -1 3 0 0 0
[pid=32162/tid=32165] ppid=32160 vsize=8537100 CPUtime=0 cores=1,3,5,7
/proc/32162/task/32165/stat : 32165 (java) S 32160 32162 32162 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 850258787 8741990400 8206 33554432000 1073741824 1073778376 140735178425296 18446744073709551615 228107266969 0 4 0 16800975 18446604467919543104 0 0 -1 7 0 0 0
[pid=32162/tid=32166] ppid=32160 vsize=8537100 CPUtime=0 cores=1,3,5,7
/proc/32162/task/32166/stat : 32166 (java) S 32160 32162 32162 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 850258787 8741990400 8206 33554432000 1073741824 1073778376 140735178425296 18446744073709551615 228107266969 0 4 0 16800975 18446604467919543104 0 0 -1 7 0 0 0
[pid=32162/tid=32167] ppid=32160 vsize=8537100 CPUtime=0 cores=1,3,5,7
/proc/32162/task/32167/stat : 32167 (java) S 32160 32162 32162 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 850258787 8741990400 8206 33554432000 1073741824 1073778376 140735178425296 18446744073709551615 228107266969 0 4 0 16800975 18446604467919543104 0 0 -1 5 0 0 0
[pid=32162/tid=32168] ppid=32160 vsize=8537100 CPUtime=0 cores=1,3,5,7
/proc/32162/task/32168/stat : 32168 (java) S 32160 32162 32162 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 850258787 8741990400 8207 33554432000 1073741824 1073778376 140735178425296 18446744073709551615 228107266969 0 4 0 16800975 18446604467919543104 0 0 -1 7 0 0 0
[pid=32162/tid=32169] ppid=32160 vsize=8537100 CPUtime=0 cores=1,3,5,7
/proc/32162/task/32169/stat : 32169 (java) S 32160 32162 32162 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 850258787 8741990400 8207 33554432000 1073741824 1073778376 140735178425296 18446744073709551615 228107266969 0 4 0 16800975 18446604467919543104 0 0 -1 7 0 0 0
[pid=32162/tid=32170] ppid=32160 vsize=8537100 CPUtime=0 cores=1,3,5,7
/proc/32162/task/32170/stat : 32170 (java) S 32160 32162 32162 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 850258787 8741990400 8207 33554432000 1073741824 1073778376 140735178425296 18446744073709551615 228107266969 0 4 0 16800975 18446604467919543104 0 0 -1 7 0 0 0
[pid=32162/tid=32171] ppid=32160 vsize=8537100 CPUtime=0 cores=1,3,5,7
/proc/32162/task/32171/stat : 32171 (java) S 32160 32162 32162 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 850258787 8741990400 8208 33554432000 1073741824 1073778376 140735178425296 18446744073709551615 228107266969 0 4 0 16800975 18446604467919543104 0 0 -1 7 0 0 0
[pid=32162/tid=32172] ppid=32160 vsize=8537100 CPUtime=0 cores=1,3,5,7
/proc/32162/task/32172/stat : 32172 (java) S 32160 32162 32162 0 -1 4202560 2 0 0 0 0 0 0 0 23 0 18 0 850258788 8741990400 8208 33554432000 1073741824 1073778376 140735178425296 18446744073709551615 228107267584 0 0 0 16800975 18446604467919543104 0 0 -1 7 0 0 0
[pid=32162/tid=32173] ppid=32160 vsize=8537100 CPUtime=0 cores=1,3,5,7
/proc/32162/task/32173/stat : 32173 (java) S 32160 32162 32162 0 -1 4202560 16 0 0 0 0 0 0 0 23 0 18 0 850258788 8741990400 8209 33554432000 1073741824 1073778376 140735178425296 18446744073709551615 228107266969 0 4 0 16800975 18446604467919543104 0 0 -1 3 0 0 0
[pid=32162/tid=32174] ppid=32160 vsize=8537100 CPUtime=0 cores=1,3,5,7
/proc/32162/task/32174/stat : 32174 (java) S 32160 32162 32162 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 18 0 850258788 8741990400 8209 33554432000 1073741824 1073778376 140735178425296 18446744073709551615 228107266969 0 4 0 16800975 18446604467919543104 0 0 -1 3 0 0 0
[pid=32162/tid=32175] ppid=32160 vsize=8537100 CPUtime=0 cores=1,3,5,7
/proc/32162/task/32175/stat : 32175 (java) S 32160 32162 32162 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 850258791 8741990400 8210 33554432000 1073741824 1073778376 140735178425296 18446744073709551615 228107274673 0 4 0 16800975 18446604467919543104 0 0 -1 3 0 0 0
[pid=32162/tid=32176] ppid=32160 vsize=8537100 CPUtime=0.09 cores=1,3,5,7
/proc/32162/task/32176/stat : 32176 (java) R 32160 32162 32162 0 -1 4202560 1235 0 0 0 9 0 0 0 25 0 18 0 850258791 8741990400 8212 33554432000 1073741824 1073778376 140735178425296 18446744073709551615 228107276981 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=32162/tid=32177] ppid=32160 vsize=8537100 CPUtime=0.1 cores=1,3,5,7
/proc/32162/task/32177/stat : 32177 (java) R 32160 32162 32162 0 -1 4202560 988 0 0 0 10 0 0 0 16 0 18 0 850258791 8741990400 8219 33554432000 1073741824 1073778376 140735178425296 18446744073709551615 228107276981 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=32162/tid=32178] ppid=32160 vsize=8537100 CPUtime=0 cores=1,3,5,7
/proc/32162/task/32178/stat : 32178 (java) S 32160 32162 32162 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 850258791 8741990400 8221 33554432000 1073741824 1073778376 140735178425296 18446744073709551615 228107266969 0 4 0 16800975 18446604467919543104 0 0 -1 3 0 0 0
[pid=32162/tid=32179] ppid=32160 vsize=8537100 CPUtime=0 cores=1,3,5,7
/proc/32162/task/32179/stat : 32179 (java) S 32160 32162 32162 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 18 0 850258791 8741990400 8221 33554432000 1073741824 1073778376 140735178425296 18446744073709551615 228107267584 0 4 0 16800975 18446604467919543104 0 0 -1 7 0 0 0
[pid=32085/tid=32093] ppid=32083 vsize=379936 CPUtime=1.07 cores=1,3,5,7
/proc/32085/task/32093/stat : 32093 (python) S 32083 32085 30366 0 -1 4202560 26 1878 0 0 0 0 87 20 22 0 6 0 850235125 389054464 18592 33554432000 4194304 5683644 140737051097136 18446744073709551615 228107274673 0 0 16781312 33554434 18446604467755517824 0 0 -1 7 0 0 0
[pid=32085/tid=32121] ppid=32083 vsize=379936 CPUtime=1.07 cores=1,3,5,7
/proc/32085/task/32121/stat : 32121 (python) S 32083 32085 30366 0 -1 4202560 23 1878 0 0 0 0 87 20 20 0 6 0 850240045 389054464 18592 33554432000 4194304 5683644 140737051097136 18446744073709551615 228107274673 0 0 16781312 33554434 18446604467755517824 0 0 -1 7 0 0 0
[pid=32085/tid=32127] ppid=32083 vsize=379936 CPUtime=1.07 cores=1,3,5,7
/proc/32085/task/32127/stat : 32127 (python) S 32083 32085 30366 0 -1 4202560 30 1878 0 0 0 0 87 20 20 0 6 0 850244709 389054464 18592 33554432000 4194304 5683644 140737051097136 18446744073709551615 228107274673 0 0 16781312 33554434 18446604467755517824 0 0 -1 5 0 0 0
[pid=32085/tid=32153] ppid=32083 vsize=379936 CPUtime=1.07 cores=1,3,5,7
/proc/32085/task/32153/stat : 32153 (python) S 32083 32085 30366 0 -1 4202560 29 1878 0 0 0 0 87 20 20 0 6 0 850249233 389054464 18592 33554432000 4194304 5683644 140737051097136 18446744073709551615 228107274673 0 0 16781312 33554434 18446604467755517824 0 0 -1 7 0 0 0
[pid=32085/tid=32161] ppid=32083 vsize=379936 CPUtime=1.07 cores=1,3,5,7
/proc/32085/task/32161/stat : 32161 (python) S 32083 32085 30366 0 -1 4202560 30 1878 0 0 0 0 87 20 20 0 6 0 850258785 389054464 18592 33554432000 4194304 5683644 140737051097136 18446744073709551615 228107274673 0 0 16781312 33554434 18446604467755517824 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 245.88
Current children cumulated vsize (KiB) 20232360
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 32085 and gives
# childrusage.ru_utime.tv_sec=4
# childrusage.ru_utime.tv_usec=599300
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=821875
# CPU time returned by wait4() is 5.42118
# while last known CPU time is 245.88
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 241.989
CPU time (s): 245.88
CPU user time (s): 243.03
CPU system time (s): 2.85
CPU usage (%): 101.608
Max. virtual memory (cumulated for all children) (KiB): 20232360
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.5993
system time used= 0.821875
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 39813
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= 55105
involuntary context switches= 28
runsolver used 1.70174 second user time and 3.45947 second system time
The end