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-3481862-1307576569/watcher-3481862-1307576569 -o /tmp/evaluation-result-3481862-1307576569/solver-3481862-1307576569 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3481862-1307576569.opb -seed 197850423 -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.09 1.08 0.43 3/508 15223
/proc/meminfo: memFree=29771256/32951124 swapFree=57654872/67111528
[pid=15223] ppid=15221 vsize=15520 CPUtime=0 cores=1,3,5,7
/proc/15223/stat : 15223 (python) R 15221 15223 14938 0 -1 4202496 825 0 0 0 0 0 0 0 17 0 1 0 869255154 15892480 709 33554432000 4194304 5683644 140736903632048 18446744073709551615 4540219 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/15223/statm: 3945 714 334 364 0 432 0
[startup+0.0651481 s]
/proc/loadavg: 2.09 1.08 0.43 3/508 15223
/proc/meminfo: memFree=29771256/32951124 swapFree=57654872/67111528
[pid=15223] ppid=15221 vsize=43620 CPUtime=0.04 cores=1,3,5,7
/proc/15223/stat : 15223 (python) S 15221 15223 14938 0 -1 4202496 1880 0 0 0 4 0 0 0 17 0 1 0 869255154 44666880 1654 33554432000 4194304 5683644 140736903632048 18446744073709551615 232330968711 0 2147483391 16781312 2 18446744071699453118 0 0 17 1 0 0 0
/proc/15223/statm: 10905 1655 467 364 0 1170 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 43620
[startup+0.101135 s]
/proc/loadavg: 2.09 1.08 0.43 3/508 15223
/proc/meminfo: memFree=29771256/32951124 swapFree=57654872/67111528
[pid=15223] ppid=15221 vsize=96124 CPUtime=0.07 cores=1,3,5,7
/proc/15223/stat : 15223 (python) R 15221 15223 14938 0 -1 4202496 3169 932 1 0 6 1 0 0 18 0 1 0 869255154 98430976 2483 33554432000 4194304 5683644 140736903632048 18446744073709551615 5158128 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/15223/statm: 24031 2483 792 364 0 1626 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 96124
[startup+0.301244 s]
/proc/loadavg: 2.09 1.08 0.43 3/508 15223
/proc/meminfo: memFree=29771256/32951124 swapFree=57654872/67111528
[pid=15223] ppid=15221 vsize=184244 CPUtime=0.22 cores=1,3,5,7
/proc/15223/stat : 15223 (python) S 15221 15223 14938 0 -1 4202496 6286 932 1 0 16 6 0 0 17 0 1 0 869255154 188665856 4592 33554432000 4194304 5683644 140736903632048 18446744073709551615 232335890432 0 2147483391 16781312 2 18446744071699453118 0 0 17 7 0 0 0
/proc/15223/statm: 46061 4592 1251 364 0 3567 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 184244
[startup+0.700991 s]
/proc/loadavg: 2.09 1.08 0.43 3/508 15223
/proc/meminfo: memFree=29771256/32951124 swapFree=57654872/67111528
[pid=15223] ppid=15221 vsize=292504 CPUtime=0.58 cores=1,3,5,7
/proc/15223/stat : 15223 (python) R 15221 15223 14938 0 -1 4202496 11564 932 1 0 49 9 0 0 17 0 1 0 869255154 299524096 9426 33554432000 4194304 5683644 140736903632048 18446744073709551615 232335577011 0 0 16781312 2 0 0 0 17 7 0 0 0
/proc/15223/statm: 73126 9426 1781 364 0 8019 0
Current children cumulated CPU time (s) 0.58
Current children cumulated vsize (KiB) 292504
[startup+1.5009 s]
/proc/loadavg: 2.09 1.08 0.43 3/509 15228
/proc/meminfo: memFree=29722464/32951124 swapFree=57654872/67111528
[pid=15223] ppid=15221 vsize=303388 CPUtime=1.38 cores=1,3,5,7
/proc/15223/stat : 15223 (python) R 15221 15223 14938 0 -1 4202496 17820 932 1 0 129 9 0 0 18 0 1 0 869255154 310669312 12195 33554432000 4194304 5683644 140736903632048 18446744073709551615 47333751652471 0 0 16781312 33554434 0 0 0 17 5 0 0 0
/proc/15223/statm: 75847 12195 1816 364 0 10740 0
Current children cumulated CPU time (s) 1.38
Current children cumulated vsize (KiB) 303388
[startup+3.1016 s]
/proc/loadavg: 2.08 1.10 0.43 3/529 15248
/proc/meminfo: memFree=29705688/32951124 swapFree=57654872/67111528
[pid=15223] ppid=15221 vsize=314320 CPUtime=1.9 cores=1,3,5,7
/proc/15223/stat : 15223 (python) S 15221 15223 14938 0 -1 4202496 18271 932 1 0 180 10 0 0 21 0 2 0 869255154 321863680 12419 33554432000 4194304 5683644 140736903632048 18446744073709551615 232347719115 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/15223/statm: 78580 12419 1870 364 0 13467 0
[pid=15229] ppid=15223 vsize=304076 CPUtime=0 cores=1,3,5,7
/proc/15229/stat : 15229 (python) S 15223 15223 14938 0 -1 4202560 743 0 0 0 0 0 0 0 15 0 1 0 869255355 311373824 10896 33554432000 4194304 5683644 140736903632048 18446744073709551615 232335912463 0 0 16781312 33554946 4595705136608674052 0 0 17 7 0 0 0
/proc/15229/statm: 76019 10896 351 364 0 10906 0
[pid=15231] ppid=15229 vsize=8539012 CPUtime=2.06 cores=1,3,5,7
/proc/15231/stat : 15231 (java) S 15229 15231 15231 0 -1 4202496 51966 0 1 0 199 7 0 0 22 0 19 0 869255355 8743948288 48322 33554432000 1073741824 1073778376 140736654923616 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/15231/statm: 2134753 48322 2241 9 0 2125494 0
[pid=15231/tid=15232] ppid=15229 vsize=8539012 CPUtime=1.01 cores=1,3,5,7
/proc/15231/task/15232/stat : 15232 (java) R 15229 15231 15231 0 -1 4202560 35276 0 1 0 98 3 0 0 25 0 19 0 869255356 8743948288 48322 33554432000 1073741824 1073778376 140736654923616 18446744073709551615 46912505951272 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=15231/tid=15233] ppid=15229 vsize=8539012 CPUtime=0.01 cores=1,3,5,7
/proc/15231/task/15233/stat : 15233 (java) S 15229 15231 15231 0 -1 4202560 719 0 0 0 1 0 0 0 15 0 19 0 869255356 8743948288 48322 33554432000 1073741824 1073778376 140736654923616 18446744073709551615 232347708313 0 4 0 16800975 18446604458586552192 0 0 -1 1 0 0 0
[pid=15231/tid=15234] ppid=15229 vsize=8539012 CPUtime=0.01 cores=1,3,5,7
/proc/15231/task/15234/stat : 15234 (java) S 15229 15231 15231 0 -1 4202560 2149 0 0 0 1 0 0 0 16 0 19 0 869255356 8743948288 48322 33554432000 1073741824 1073778376 140736654923616 18446744073709551615 232347708313 0 4 0 16800975 18446604458586552192 0 0 -1 3 0 0 0
[pid=15231/tid=15235] ppid=15229 vsize=8539012 CPUtime=0.02 cores=1,3,5,7
/proc/15231/task/15235/stat : 15235 (java) S 15229 15231 15231 0 -1 4202560 1825 0 0 0 2 0 0 0 16 0 19 0 869255356 8743948288 48322 33554432000 1073741824 1073778376 140736654923616 18446744073709551615 232347708313 0 4 0 16800975 18446604458586552192 0 0 -1 7 0 0 0
[pid=15231/tid=15236] ppid=15229 vsize=8539012 CPUtime=0 cores=1,3,5,7
/proc/15231/task/15236/stat : 15236 (java) S 15229 15231 15231 0 -1 4202560 368 0 0 0 0 0 0 0 15 0 19 0 869255356 8743948288 48322 33554432000 1073741824 1073778376 140736654923616 18446744073709551615 232347708313 0 4 0 16800975 18446604458586552192 0 0 -1 5 0 0 0
[pid=15231/tid=15237] ppid=15229 vsize=8539012 CPUtime=0 cores=1,3,5,7
/proc/15231/task/15237/stat : 15237 (java) S 15229 15231 15231 0 -1 4202560 522 0 0 0 0 0 0 0 15 0 19 0 869255356 8743948288 48322 33554432000 1073741824 1073778376 140736654923616 18446744073709551615 232347708313 0 4 0 16800975 18446604458586552192 0 0 -1 7 0 0 0
[pid=15231/tid=15238] ppid=15229 vsize=8539012 CPUtime=0.01 cores=1,3,5,7
/proc/15231/task/15238/stat : 15238 (java) S 15229 15231 15231 0 -1 4202560 682 0 0 0 1 0 0 0 15 0 19 0 869255356 8743948288 48322 33554432000 1073741824 1073778376 140736654923616 18446744073709551615 232347708313 0 4 0 16800975 18446604458586552192 0 0 -1 3 0 0 0
[pid=15231/tid=15239] ppid=15229 vsize=8539012 CPUtime=0.02 cores=1,3,5,7
/proc/15231/task/15239/stat : 15239 (java) S 15229 15231 15231 0 -1 4202560 2801 0 0 0 2 0 0 0 16 0 19 0 869255356 8743948288 48322 33554432000 1073741824 1073778376 140736654923616 18446744073709551615 232347708313 0 4 0 16800975 18446604458586552192 0 0 -1 5 0 0 0
[pid=15231/tid=15240] ppid=15229 vsize=8539012 CPUtime=0 cores=1,3,5,7
/proc/15231/task/15240/stat : 15240 (java) S 15229 15231 15231 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 869255356 8743948288 48322 33554432000 1073741824 1073778376 140736654923616 18446744073709551615 232347708313 0 4 0 16800975 18446604458586552192 0 0 -1 5 0 0 0
[pid=15231/tid=15241] ppid=15229 vsize=8539012 CPUtime=0 cores=1,3,5,7
/proc/15231/task/15241/stat : 15241 (java) S 15229 15231 15231 0 -1 4202560 74 0 0 0 0 0 0 0 15 0 19 0 869255357 8743948288 48322 33554432000 1073741824 1073778376 140736654923616 18446744073709551615 232347708928 0 0 0 16800975 18446604458586552192 0 0 -1 7 0 0 0
[pid=15231/tid=15242] ppid=15229 vsize=8539012 CPUtime=0 cores=1,3,5,7
/proc/15231/task/15242/stat : 15242 (java) S 15229 15231 15231 0 -1 4202560 17 0 0 0 0 0 0 0 19 0 19 0 869255358 8743948288 48322 33554432000 1073741824 1073778376 140736654923616 18446744073709551615 232347708313 0 4 0 16800975 18446604458586552192 0 0 -1 1 0 0 0
[pid=15231/tid=15243] ppid=15229 vsize=8539012 CPUtime=0 cores=1,3,5,7
/proc/15231/task/15243/stat : 15243 (java) S 15229 15231 15231 0 -1 4202560 10 0 0 0 0 0 0 0 19 0 19 0 869255358 8743948288 48322 33554432000 1073741824 1073778376 140736654923616 18446744073709551615 232347708313 0 4 0 16800975 18446604458586552192 0 0 -1 7 0 0 0
[pid=15231/tid=15244] ppid=15229 vsize=8539012 CPUtime=0 cores=1,3,5,7
/proc/15231/task/15244/stat : 15244 (java) S 15229 15231 15231 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 869255360 8743948288 48322 33554432000 1073741824 1073778376 140736654923616 18446744073709551615 232347716017 0 4 0 16800975 18446604458586552192 0 0 -1 1 0 0 0
[pid=15231/tid=15245] ppid=15229 vsize=8539012 CPUtime=0.44 cores=1,3,5,7
/proc/15231/task/15245/stat : 15245 (java) S 15229 15231 15231 0 -1 4202560 1848 0 0 0 44 0 0 0 15 0 19 0 869255360 8743948288 48322 33554432000 1073741824 1073778376 140736654923616 18446744073709551615 232347708313 0 4 0 16800975 18446604458586552192 0 0 -1 5 0 0 0
[pid=15231/tid=15246] ppid=15229 vsize=8539012 CPUtime=0.45 cores=1,3,5,7
/proc/15231/task/15246/stat : 15246 (java) R 15229 15231 15231 0 -1 4202560 4323 0 0 0 45 0 0 0 15 0 19 0 869255360 8743948288 48322 33554432000 1073741824 1073778376 140736654923616 18446744073709551615 47023323814385 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=15231/tid=15247] ppid=15229 vsize=8539012 CPUtime=0 cores=1,3,5,7
/proc/15231/task/15247/stat : 15247 (java) S 15229 15231 15231 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 869255360 8743948288 48322 33554432000 1073741824 1073778376 140736654923616 18446744073709551615 232347708313 0 4 0 16800975 18446604458586552192 0 0 -1 1 0 0 0
[pid=15231/tid=15248] ppid=15229 vsize=8539012 CPUtime=0 cores=1,3,5,7
/proc/15231/task/15248/stat : 15248 (java) S 15229 15231 15231 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 869255360 8743948288 48322 33554432000 1073741824 1073778376 140736654923616 18446744073709551615 232347708928 0 4 0 16800975 18446604458586552192 0 0 -1 7 0 0 0
[pid=15223/tid=15230] ppid=15221 vsize=314320 CPUtime=0 cores=1,3,5,7
/proc/15223/task/15230/stat : 15230 (python) S 15221 15223 14938 0 -1 4202560 26 932 0 0 0 0 0 0 21 0 2 0 869255355 321863680 12419 33554432000 4194304 5683644 140736903632048 18446744073709551615 232347716017 0 0 16781312 33554434 18446604454517512384 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3.96
Current children cumulated vsize (KiB) 9157408
[startup+6.30105 s]
/proc/loadavg: 2.08 1.10 0.43 3/530 15249
/proc/meminfo: memFree=29111308/32951124 swapFree=57654872/67111528
[pid=15223] ppid=15221 vsize=314320 CPUtime=1.9 cores=1,3,5,7
/proc/15223/stat : 15223 (python) S 15221 15223 14938 0 -1 4202496 18271 932 1 0 180 10 0 0 21 0 2 0 869255154 321863680 12419 33554432000 4194304 5683644 140736903632048 18446744073709551615 232347719115 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/15223/statm: 78580 12419 1870 364 0 13467 0
[pid=15229] ppid=15223 vsize=304076 CPUtime=0.01 cores=1,3,5,7
/proc/15229/stat : 15229 (python) S 15223 15223 14938 0 -1 4202560 897 0 0 0 0 1 0 0 15 0 1 0 869255355 311373824 10920 33554432000 4194304 5683644 140736903632048 18446744073709551615 232335912463 0 0 16781312 33554946 4294934789 0 0 17 7 0 0 0
/proc/15229/statm: 76019 10920 375 364 0 10906 0
[pid=15231] ppid=15229 vsize=8539012 CPUtime=5.66 cores=1,3,5,7
/proc/15231/stat : 15231 (java) S 15229 15231 15231 0 -1 4202496 155670 0 1 0 546 20 0 0 22 0 19 0 869255355 8743948288 151117 33554432000 1073741824 1073778376 140736654923616 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/15231/statm: 2134753 151117 2262 9 0 2125494 0
[pid=15231/tid=15232] ppid=15229 vsize=8539012 CPUtime=4.01 cores=1,3,5,7
/proc/15231/task/15232/stat : 15232 (java) R 15229 15231 15231 0 -1 4202560 118484 0 1 0 387 14 0 0 18 0 19 0 869255356 8743948288 151117 33554432000 1073741824 1073778376 140736654923616 18446744073709551615 46912505856809 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=15231/tid=15233] ppid=15229 vsize=8539012 CPUtime=0.03 cores=1,3,5,7
/proc/15231/task/15233/stat : 15233 (java) S 15229 15231 15231 0 -1 4202560 2343 0 0 0 3 0 0 0 16 0 19 0 869255356 8743948288 151117 33554432000 1073741824 1073778376 140736654923616 18446744073709551615 232347708313 0 4 0 16800975 18446604458586552192 0 0 -1 1 0 0 0
[pid=15231/tid=15234] ppid=15229 vsize=8539012 CPUtime=0.05 cores=1,3,5,7
/proc/15231/task/15234/stat : 15234 (java) S 15229 15231 15231 0 -1 4202560 4865 0 0 0 5 0 0 0 15 0 19 0 869255356 8743948288 151117 33554432000 1073741824 1073778376 140736654923616 18446744073709551615 232347708313 0 4 0 16800975 18446604458586552192 0 0 -1 7 0 0 0
[pid=15231/tid=15235] ppid=15229 vsize=8539012 CPUtime=0.05 cores=1,3,5,7
/proc/15231/task/15235/stat : 15235 (java) S 15229 15231 15231 0 -1 4202560 4043 0 0 0 5 0 0 0 16 0 19 0 869255356 8743948288 151117 33554432000 1073741824 1073778376 140736654923616 18446744073709551615 232347708313 0 4 0 16800975 18446604458586552192 0 0 -1 7 0 0 0
[pid=15231/tid=15236] ppid=15229 vsize=8539012 CPUtime=0.01 cores=1,3,5,7
/proc/15231/task/15236/stat : 15236 (java) S 15229 15231 15231 0 -1 4202560 2128 0 0 0 1 0 0 0 16 0 19 0 869255356 8743948288 151117 33554432000 1073741824 1073778376 140736654923616 18446744073709551615 232347708313 0 4 0 16800975 18446604458586552192 0 0 -1 7 0 0 0
[pid=15231/tid=15237] ppid=15229 vsize=8539012 CPUtime=0 cores=1,3,5,7
/proc/15231/task/15237/stat : 15237 (java) S 15229 15231 15231 0 -1 4202560 527 0 0 0 0 0 0 0 15 0 19 0 869255356 8743948288 151117 33554432000 1073741824 1073778376 140736654923616 18446744073709551615 232347708313 0 4 0 16800975 18446604458586552192 0 0 -1 1 0 0 0
[pid=15231/tid=15238] ppid=15229 vsize=8539012 CPUtime=0.03 cores=1,3,5,7
/proc/15231/task/15238/stat : 15238 (java) S 15229 15231 15231 0 -1 4202560 3179 0 0 0 3 0 0 0 16 0 19 0 869255356 8743948288 151117 33554432000 1073741824 1073778376 140736654923616 18446744073709551615 232347708313 0 4 0 16800975 18446604458586552192 0 0 -1 5 0 0 0
[pid=15231/tid=15239] ppid=15229 vsize=8539012 CPUtime=0.05 cores=1,3,5,7
/proc/15231/task/15239/stat : 15239 (java) S 15229 15231 15231 0 -1 4202560 5013 0 0 0 5 0 0 0 16 0 19 0 869255356 8743948288 151117 33554432000 1073741824 1073778376 140736654923616 18446744073709551615 232347708313 0 4 0 16800975 18446604458586552192 0 0 -1 5 0 0 0
[pid=15231/tid=15240] ppid=15229 vsize=8539012 CPUtime=0 cores=1,3,5,7
/proc/15231/task/15240/stat : 15240 (java) S 15229 15231 15231 0 -1 4202560 206 0 0 0 0 0 0 0 15 0 19 0 869255356 8743948288 151117 33554432000 1073741824 1073778376 140736654923616 18446744073709551615 232347708313 0 4 0 16800975 18446604458586552192 0 0 -1 5 0 0 0
[pid=15231/tid=15241] ppid=15229 vsize=8539012 CPUtime=0.14 cores=1,3,5,7
/proc/15231/task/15241/stat : 15241 (java) S 15229 15231 15231 0 -1 4202560 6380 0 0 0 14 0 0 0 16 0 19 0 869255357 8743948288 151117 33554432000 1073741824 1073778376 140736654923616 18446744073709551615 232347708928 0 0 0 16800975 18446604458586552192 0 0 -1 3 0 0 0
[pid=15231/tid=15242] ppid=15229 vsize=8539012 CPUtime=0 cores=1,3,5,7
/proc/15231/task/15242/stat : 15242 (java) S 15229 15231 15231 0 -1 4202560 17 0 0 0 0 0 0 0 19 0 19 0 869255358 8743948288 151117 33554432000 1073741824 1073778376 140736654923616 18446744073709551615 232347708313 0 4 0 16800975 18446604458586552192 0 0 -1 1 0 0 0
[pid=15231/tid=15243] ppid=15229 vsize=8539012 CPUtime=0 cores=1,3,5,7
/proc/15231/task/15243/stat : 15243 (java) S 15229 15231 15231 0 -1 4202560 10 0 0 0 0 0 0 0 19 0 19 0 869255358 8743948288 151117 33554432000 1073741824 1073778376 140736654923616 18446744073709551615 232347708313 0 4 0 16800975 18446604458586552192 0 0 -1 7 0 0 0
[pid=15231/tid=15244] ppid=15229 vsize=8539012 CPUtime=0 cores=1,3,5,7
/proc/15231/task/15244/stat : 15244 (java) S 15229 15231 15231 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 869255360 8743948288 151117 33554432000 1073741824 1073778376 140736654923616 18446744073709551615 232347716017 0 4 0 16800975 18446604458586552192 0 0 -1 1 0 0 0
[pid=15231/tid=15245] ppid=15229 vsize=8539012 CPUtime=0.55 cores=1,3,5,7
/proc/15231/task/15245/stat : 15245 (java) S 15229 15231 15231 0 -1 4202560 1891 0 0 0 55 0 0 0 15 0 19 0 869255360 8743948288 151117 33554432000 1073741824 1073778376 140736654923616 18446744073709551615 232347708313 0 4 0 16800975 18446604458586552192 0 0 -1 5 0 0 0
[pid=15231/tid=15246] ppid=15229 vsize=8539012 CPUtime=0.6 cores=1,3,5,7
/proc/15231/task/15246/stat : 15246 (java) S 15229 15231 15231 0 -1 4202560 5233 0 0 0 60 0 0 0 16 0 19 0 869255360 8743948288 151117 33554432000 1073741824 1073778376 140736654923616 18446744073709551615 232347708313 0 4 0 16800975 18446604458586552192 0 0 -1 1 0 0 0
[pid=15231/tid=15247] ppid=15229 vsize=8539012 CPUtime=0 cores=1,3,5,7
/proc/15231/task/15247/stat : 15247 (java) S 15229 15231 15231 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 869255360 8743948288 151117 33554432000 1073741824 1073778376 140736654923616 18446744073709551615 232347708313 0 4 0 16800975 18446604458586552192 0 0 -1 1 0 0 0
[pid=15231/tid=15248] ppid=15229 vsize=8539012 CPUtime=0 cores=1,3,5,7
/proc/15231/task/15248/stat : 15248 (java) S 15229 15231 15231 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 869255360 8743948288 151117 33554432000 1073741824 1073778376 140736654923616 18446744073709551615 232347708928 0 4 0 16800975 18446604458586552192 0 0 -1 5 0 0 0
[pid=15231/tid=15249] ppid=15229 vsize=8539012 CPUtime=0 cores=1,3,5,7
/proc/15231/task/15249/stat : 15249 (java) S 15229 15231 15231 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 869255443 8743948288 151117 33554432000 1073741824 1073778376 140736654923616 18446744073709551615 232347708928 0 4 0 16800975 18446604458586552192 0 0 -1 7 0 0 0
[pid=15223/tid=15230] ppid=15221 vsize=314320 CPUtime=0 cores=1,3,5,7
/proc/15223/task/15230/stat : 15230 (python) S 15221 15223 14938 0 -1 4202560 26 932 0 0 0 0 0 0 21 0 2 0 869255355 321863680 12419 33554432000 4194304 5683644 140736903632048 18446744073709551615 232347716017 0 0 16781312 33554434 18446604454517512384 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 7.57
Current children cumulated vsize (KiB) 9157408
[startup+12.7009 s]
/proc/loadavg: 2.07 1.13 0.45 3/530 15250
/proc/meminfo: memFree=28347932/32951124 swapFree=57654872/67111528
[pid=15223] ppid=15221 vsize=314320 CPUtime=1.9 cores=1,3,5,7
/proc/15223/stat : 15223 (python) S 15221 15223 14938 0 -1 4202496 18271 932 1 0 180 10 0 0 21 0 2 0 869255154 321863680 12419 33554432000 4194304 5683644 140736903632048 18446744073709551615 232347719115 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/15223/statm: 78580 12419 1870 364 0 13467 0
[pid=15229] ppid=15223 vsize=304076 CPUtime=0.03 cores=1,3,5,7
/proc/15229/stat : 15229 (python) S 15223 15223 14938 0 -1 4202560 898 0 0 0 1 2 0 0 15 0 1 0 869255355 311373824 10920 33554432000 4194304 5683644 140736903632048 18446744073709551615 232335912463 0 0 16781312 33554946 5623753486446373644 0 0 17 7 0 0 0
/proc/15229/statm: 76019 10920 375 364 0 10906 0
[pid=15231] ppid=15229 vsize=8539012 CPUtime=12.1 cores=1,3,5,7
/proc/15231/stat : 15231 (java) S 15229 15231 15231 0 -1 4202496 384606 0 1 0 1167 43 0 0 22 0 19 0 869255355 8743948288 380017 33554432000 1073741824 1073778376 140736654923616 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/15231/statm: 2134753 380019 2262 9 0 2125494 0
[pid=15231/tid=15232] ppid=15229 vsize=8539012 CPUtime=10.32 cores=1,3,5,7
/proc/15231/task/15232/stat : 15232 (java) R 15229 15231 15231 0 -1 4202560 342717 0 1 0 995 37 0 0 25 0 19 0 869255356 8743948288 380021 33554432000 1073741824 1073778376 140736654923616 18446744073709551615 46912505806588 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=15231/tid=15233] ppid=15229 vsize=8539012 CPUtime=0.03 cores=1,3,5,7
/proc/15231/task/15233/stat : 15233 (java) S 15229 15231 15231 0 -1 4202560 2889 0 0 0 3 0 0 0 16 0 19 0 869255356 8743948288 380023 33554432000 1073741824 1073778376 140736654923616 18446744073709551615 232347708313 0 4 0 16800975 18446604458586552192 0 0 -1 1 0 0 0
[pid=15231/tid=15234] ppid=15229 vsize=8539012 CPUtime=0.07 cores=1,3,5,7
/proc/15231/task/15234/stat : 15234 (java) S 15229 15231 15231 0 -1 4202560 5216 0 0 0 6 1 0 0 16 0 19 0 869255356 8743948288 380027 33554432000 1073741824 1073778376 140736654923616 18446744073709551615 232347708313 0 4 0 16800975 18446604458586552192 0 0 -1 7 0 0 0
[pid=15231/tid=15235] ppid=15229 vsize=8539012 CPUtime=0.06 cores=1,3,5,7
/proc/15231/task/15235/stat : 15235 (java) S 15229 15231 15231 0 -1 4202560 4633 0 0 0 6 0 0 0 16 0 19 0 869255356 8743948288 380030 33554432000 1073741824 1073778376 140736654923616 18446744073709551615 232347708313 0 4 0 16800975 18446604458586552192 0 0 -1 5 0 0 0
[pid=15231/tid=15236] ppid=15229 vsize=8539012 CPUtime=0.02 cores=1,3,5,7
/proc/15231/task/15236/stat : 15236 (java) S 15229 15231 15231 0 -1 4202560 2723 0 0 0 2 0 0 0 16 0 19 0 869255356 8743948288 380032 33554432000 1073741824 1073778376 140736654923616 18446744073709551615 232347708313 0 4 0 16800975 18446604458586552192 0 0 -1 5 0 0 0
[pid=15231/tid=15237] ppid=15229 vsize=8539012 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+286.002 s]
/proc/loadavg: 2.05 1.68 0.85 4/571 15298
/proc/meminfo: memFree=23890316/32951124 swapFree=57654872/67111528
[pid=15223] ppid=15221 vsize=375856 CPUtime=2.05 cores=1,3,5,7
/proc/15223/stat : 15223 (python) S 15221 15223 14938 0 -1 4202496 23667 932 1 0 194 11 0 0 20 0 8 0 869255154 384876544 12456 33554432000 4194304 5683644 140736903632048 18446744073709551615 232347719115 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/15223/statm: 93964 12456 1883 364 0 28833 0
[pid=15229] ppid=15223 vsize=314320 CPUtime=0.19 cores=1,3,5,7
/proc/15229/stat : 15229 (python) S 15223 15223 14938 0 -1 4202560 1077 0 0 0 8 11 0 0 16 0 2 0 869255355 321863680 10956 33554432000 4194304 5683644 140736903632048 18446744073709551615 232347719115 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/15229/statm: 78580 10956 406 364 0 13467 0
[pid=15231] ppid=15229 vsize=8539012 CPUtime=46.66 cores=1,3,5,7
/proc/15231/stat : 15231 (java) T 15229 15231 15231 0 -1 4202496 693200 0 1 0 4588 78 0 0 18 0 19 0 869255355 8743948288 688058 33554432000 1073741824 1073778376 140736654923616 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/15231/statm: 2134753 688058 2262 9 0 2125494 0
[pid=15231/tid=15232] ppid=15229 vsize=8539012 CPUtime=44 cores=1,3,5,7
/proc/15231/task/15232/stat : 15232 (java) T 15229 15231 15231 0 -1 4202560 638803 0 1 0 4330 70 0 0 25 0 19 0 869255356 8743948288 688058 33554432000 1073741824 1073778376 140736654923616 18446744073709551615 46912505855781 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=15231/tid=15233] ppid=15229 vsize=8539012 CPUtime=0.07 cores=1,3,5,7
/proc/15231/task/15233/stat : 15233 (java) T 15229 15231 15231 0 -1 4202560 3670 0 0 0 7 0 0 0 15 0 19 0 869255356 8743948288 688058 33554432000 1073741824 1073778376 140736654923616 18446744073709551615 232347708313 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=15231/tid=15234] ppid=15229 vsize=8539012 CPUtime=0.09 cores=1,3,5,7
/proc/15231/task/15234/stat : 15234 (java) T 15229 15231 15231 0 -1 4202560 5694 0 0 0 8 1 0 0 15 0 19 0 869255356 8743948288 688058 33554432000 1073741824 1073778376 140736654923616 18446744073709551615 232347708313 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=15231/tid=15235] ppid=15229 vsize=8539012 CPUtime=0.08 cores=1,3,5,7
/proc/15231/task/15235/stat : 15235 (java) T 15229 15231 15231 0 -1 4202560 5953 0 0 0 8 0 0 0 15 0 19 0 869255356 8743948288 688058 33554432000 1073741824 1073778376 140736654923616 18446744073709551615 232347708313 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=15231/tid=15236] ppid=15229 vsize=8539012 CPUtime=0.05 cores=1,3,5,7
/proc/15231/task/15236/stat : 15236 (java) T 15229 15231 15231 0 -1 4202560 3158 0 0 0 5 0 0 0 15 0 19 0 869255356 8743948288 688058 33554432000 1073741824 1073778376 140736654923616 18446744073709551615 232347708313 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=15231/tid=15237] ppid=15229 vsize=8539012 CPUtime=0.04 cores=1,3,5,7
/proc/15231/task/15237/stat : 15237 (java) T 15229 15231 15231 0 -1 4202560 3264 0 0 0 4 0 0 0 15 0 19 0 869255356 8743948288 688058 33554432000 1073741824 1073778376 140736654923616 18446744073709551615 232347708313 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=15231/tid=15238] ppid=15229 vsize=8539012 CPUtime=0.07 cores=1,3,5,7
/proc/15231/task/15238/stat : 15238 (java) T 15229 15231 15231 0 -1 4202560 3598 0 0 0 7 0 0 0 15 0 19 0 869255356 8743948288 688058 33554432000 1073741824 1073778376 140736654923616 18446744073709551615 232347708313 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=15231/tid=15239] ppid=15229 vsize=8539012 CPUtime=0.07 cores=1,3,5,7
/proc/15231/task/15239/stat : 15239 (java) T 15229 15231 15231 0 -1 4202560 5071 0 0 0 7 0 0 0 15 0 19 0 869255356 8743948288 688058 33554432000 1073741824 1073778376 140736654923616 18446744073709551615 232347708313 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=15231/tid=15240] ppid=15229 vsize=8539012 CPUtime=0.03 cores=1,3,5,7
/proc/15231/task/15240/stat : 15240 (java) T 15229 15231 15231 0 -1 4202560 2139 0 0 0 3 0 0 0 15 0 19 0 869255356 8743948288 688058 33554432000 1073741824 1073778376 140736654923616 18446744073709551615 232347708313 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=15231/tid=15241] ppid=15229 vsize=8539012 CPUtime=0.83 cores=1,3,5,7
/proc/15231/task/15241/stat : 15241 (java) T 15229 15231 15231 0 -1 4202560 13041 0 0 0 83 0 0 0 15 0 19 0 869255357 8743948288 688058 33554432000 1073741824 1073778376 140736654923616 18446744073709551615 232347708928 0 0 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=15231/tid=15242] ppid=15229 vsize=8539012 CPUtime=0 cores=1,3,5,7
/proc/15231/task/15242/stat : 15242 (java) T 15229 15231 15231 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 869255358 8743948288 688058 33554432000 1073741824 1073778376 140736654923616 18446744073709551615 232347708313 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=15231/tid=15243] ppid=15229 vsize=8539012 CPUtime=0 cores=1,3,5,7
/proc/15231/task/15243/stat : 15243 (java) T 15229 15231 15231 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 869255358 8743948288 688058 33554432000 1073741824 1073778376 140736654923616 18446744073709551615 232347708313 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=15231/tid=15244] ppid=15229 vsize=8539012 CPUtime=0 cores=1,3,5,7
/proc/15231/task/15244/stat : 15244 (java) T 15229 15231 15231 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869255360 8743948288 688058 33554432000 1073741824 1073778376 140736654923616 18446744073709551615 232347716017 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=15231/tid=15245] ppid=15229 vsize=8539012 CPUtime=0.56 cores=1,3,5,7
/proc/15231/task/15245/stat : 15245 (java) T 15229 15231 15231 0 -1 4202560 1891 0 0 0 56 0 0 0 15 0 19 0 869255360 8743948288 688058 33554432000 1073741824 1073778376 140736654923616 18446744073709551615 232347708313 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=15231/tid=15246] ppid=15229 vsize=8539012 CPUtime=0.64 cores=1,3,5,7
/proc/15231/task/15246/stat : 15246 (java) T 15229 15231 15231 0 -1 4202560 5536 0 0 0 64 0 0 0 15 0 19 0 869255360 8743948288 688058 33554432000 1073741824 1073778376 140736654923616 18446744073709551615 232347708313 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=15231/tid=15247] ppid=15229 vsize=8539012 CPUtime=0 cores=1,3,5,7
/proc/15231/task/15247/stat : 15247 (java) T 15229 15231 15231 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869255360 8743948288 688058 33554432000 1073741824 1073778376 140736654923616 18446744073709551615 232347708313 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=15231/tid=15248] ppid=15229 vsize=8539012 CPUtime=0 cores=1,3,5,7
/proc/15231/task/15248/stat : 15248 (java) T 15229 15231 15231 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 869255360 8743948288 688058 33554432000 1073741824 1073778376 140736654923616 18446744073709551615 232347708928 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=15231/tid=15249] ppid=15229 vsize=8539012 CPUtime=0 cores=1,3,5,7
/proc/15231/task/15249/stat : 15249 (java) T 15229 15231 15231 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 869255443 8743948288 688058 33554432000 1073741824 1073778376 140736654923616 18446744073709551615 232347708928 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=15229/tid=15252] ppid=15223 vsize=314320 CPUtime=0 cores=1,3,5,7
/proc/15229/task/15252/stat : 15252 (python) S 15223 15223 14938 0 -1 4202560 45 0 0 0 0 0 0 0 16 0 2 0 869259863 321863680 10956 33554432000 4194304 5683644 140736903632048 18446744073709551615 232347716017 0 0 16781312 33554946 18446604456446326080 0 0 -1 7 0 0 0
[pid=15253] ppid=15223 vsize=314332 CPUtime=0.19 cores=1,3,5,7
/proc/15253/stat : 15253 (python) S 15223 15223 14938 0 -1 4202560 1114 0 0 0 9 10 0 0 17 0 2 0 869259866 321875968 10946 33554432000 4194304 5683644 140736903632048 18446744073709551615 232347719115 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/15253/statm: 78583 10946 396 364 0 13467 0
[pid=15255] ppid=15253 vsize=1032980 CPUtime=48.67 cores=1,3,5,7
/proc/15255/stat : 15255 (pbct-0.1.2-linu) T 15253 15255 15255 0 -1 4202496 273560 0 0 0 4822 45 0 0 25 0 1 0 869259866 1057771520 251334 33554432000 134512640 136422188 4292954880 18446744073709551615 135029193 0 0 16781312 16387 18446744071562691360 0 0 17 3 0 0 0
/proc/15255/statm: 258245 251334 216 467 0 257776 0
[pid=15253/tid=15257] ppid=15223 vsize=314332 CPUtime=0 cores=1,3,5,7
/proc/15253/task/15257/stat : 15257 (python) S 15223 15223 14938 0 -1 4202560 49 0 0 0 0 0 0 0 17 0 2 0 869264737 321875968 10946 33554432000 4194304 5683644 140736903632048 18446744073709551615 232347716017 0 0 16781312 33554946 18446604454517511488 0 0 -1 7 0 0 0
[pid=15258] ppid=15223 vsize=324588 CPUtime=0.18 cores=1,3,5,7
/proc/15258/stat : 15258 (python) S 15223 15223 14938 0 -1 4202560 1111 0 0 0 9 9 0 0 16 0 2 0 869264740 332378112 10950 33554432000 4194304 5683644 140736903632048 18446744073709551615 232347719115 0 0 16781312 33554946 18446744073709551615 0 0 17 5 0 0 0
/proc/15258/statm: 81147 10950 396 364 0 16028 0
[pid=15260] ppid=15258 vsize=27572 CPUtime=47.36 cores=1,3,5,7
/proc/15260/stat : 15260 (clasp-1.3.7-x86) T 15258 15260 15260 0 -1 4202496 6908 0 0 0 4735 1 0 0 25 0 1 0 869264740 28233728 6627 33554432000 134512640 136139019 4291661760 18446744073709551615 134608368 0 0 16781312 16386 18446744071562691360 0 0 17 1 0 0 0
/proc/15260/statm: 6893 6627 189 398 0 6493 0
[pid=15258/tid=15262] ppid=15223 vsize=324588 CPUtime=0 cores=1,3,5,7
/proc/15258/task/15262/stat : 15262 (python) S 15223 15223 14938 0 -1 4202560 44 0 0 0 0 0 0 0 16 0 2 0 869269482 332378112 10950 33554432000 4194304 5683644 140736903632048 18446744073709551615 232347716017 0 0 16781312 33554946 18446604460500631744 0 0 -1 5 0 0 0
[pid=15263] ppid=15223 vsize=334844 CPUtime=0.29 cores=1,3,5,7
/proc/15263/stat : 15263 (python) S 15223 15223 14938 0 -1 4202560 1168 0 0 0 15 14 0 0 16 0 2 0 869269485 342880256 10954 33554432000 4194304 5683644 140736903632048 18446744073709551615 232347719115 0 0 16781312 33554946 18446744073709551615 0 0 17 3 0 0 0
/proc/15263/statm: 83711 10954 396 364 0 18589 0
[pid=15265] ppid=15263 vsize=805136 CPUtime=48.66 cores=1,3,5,7
/proc/15265/stat : 15265 (wbo1.4a) T 15263 15265 15265 0 -1 4202496 236895 0 0 0 4699 167 0 0 25 0 1 0 869269485 824459264 200740 33554432000 134512640 135751879 4293605376 18446744073709551615 135204161 0 0 16781312 3 18446744071562691360 0 0 17 1 0 0 0
/proc/15265/statm: 201284 200740 146 303 0 200979 0
[pid=15263/tid=15267] ppid=15223 vsize=334844 CPUtime=0 cores=1,3,5,7
/proc/15263/task/15267/stat : 15267 (python) S 15223 15223 14938 0 -1 4202560 47 0 0 0 0 0 0 0 16 0 2 0 869274352 342880256 10954 33554432000 4194304 5683644 140736903632048 18446744073709551615 232347716017 0 0 16781312 33554946 18446604463042842880 0 0 -1 3 0 0 0
[pid=15268] ppid=15223 vsize=345100 CPUtime=0.19 cores=1,3,5,7
/proc/15268/stat : 15268 (python) S 15223 15223 14938 0 -1 4202560 1117 0 0 0 9 10 0 0 16 0 2 0 869274355 353382400 10958 33554432000 4194304 5683644 140736903632048 18446744073709551615 232347719115 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/15268/statm: 86275 10958 396 364 0 21150 0
[pid=15270] ppid=15268 vsize=261052 CPUtime=46.2 cores=1,3,5,7
/proc/15270/stat : 15270 (scip-2.0.1.linu) T 15268 15270 15270 0 -1 4202496 68052 0 0 0 4594 26 0 0 25 0 1 0 869274355 267317248 60610 33554432000 4194304 13684479 140734825364816 18446744073709551615 7360265 0 0 16781312 2 18446744071562691360 0 0 17 1 0 0 0
/proc/15270/statm: 65263 60610 831 2317 0 62941 0
[pid=15268/tid=15273] ppid=15223 vsize=345100 CPUtime=0 cores=1,3,5,7
/proc/15268/task/15273/stat : 15273 (python) S 15223 15223 14938 0 -1 4202560 45 0 0 0 0 0 0 0 16 0 2 0 869278975 353382400 10958 33554432000 4194304 5683644 140736903632048 18446744073709551615 232347716017 0 0 16781312 33554946 18446604466853291904 0 0 -1 1 0 0 0
[pid=15274] ppid=15223 vsize=355356 CPUtime=0.19 cores=1,3,5,7
/proc/15274/stat : 15274 (python) S 15223 15223 14938 0 -1 4202560 1197 0 0 0 9 10 0 0 16 0 2 0 869278978 363884544 10968 33554432000 4194304 5683644 140736903632048 18446744073709551615 232347719115 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/15274/statm: 88839 10968 402 364 0 23711 0
[pid=15276] ppid=15274 vsize=250676 CPUtime=47.11 cores=1,3,5,7
/proc/15276/stat : 15276 (scip-2.0.1.linu) T 15274 15276 15276 0 -1 4202496 76839 0 0 0 4679 32 0 0 25 0 1 0 869278978 256692224 55434 33554432000 4194304 15243407 140735577818368 18446744073709551615 8121920 0 0 16781312 2 18446744071562691360 0 0 17 1 0 0 0
/proc/15276/statm: 62669 55434 923 2698 0 59964 0
[pid=15274/tid=15278] ppid=15223 vsize=355356 CPUtime=0 cores=1,3,5,7
/proc/15274/task/15278/stat : 15278 (python) S 15223 15223 14938 0 -1 4202560 43 0 0 0 0 0 0 0 16 0 2 0 869283690 363884544 10968 33554432000 4194304 5683644 140736903632048 18446744073709551615 232347716017 0 0 16781312 33554946 18446604459309672384 0 0 -1 7 0 0 0
[pid=15279] ppid=15223 vsize=365612 CPUtime=0 cores=1,3,5,7
/proc/15279/stat : 15279 (python) S 15223 15223 14938 0 -1 4202560 846 0 0 0 0 0 0 0 18 0 1 0 869283693 374386688 10924 33554432000 4194304 5683644 140736903632048 18446744073709551615 232335912518 0 0 16781312 33554946 4443014994786746628 0 0 17 1 0 0 0
/proc/15279/statm: 91403 10924 355 364 0 26272 0
[pid=15281] ppid=15279 vsize=8537324 CPUtime=1.13 cores=1,3,5,7
/proc/15281/stat : 15281 (java) S 15279 15281 15281 0 -1 4202496 37338 0 1 0 109 4 0 0 20 0 18 0 869283694 8742219776 35205 33554432000 1073741824 1073778376 140736477842000 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/15281/statm: 2134331 35207 2216 9 0 2125072 0
[pid=15281/tid=15282] ppid=15279 vsize=8537324 CPUtime=0.61 cores=1,3,5,7
/proc/15281/task/15282/stat : 15282 (java) R 15279 15281 15281 0 -1 4202560 32525 0 1 0 58 3 0 0 18 0 18 0 869283695 8742219776 36292 33554432000 1073741824 1073778376 140736477842000 18446744073709551615 46912505537702 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=15281/tid=15283] ppid=15279 vsize=8537324 CPUtime=0 cores=1,3,5,7
/proc/15281/task/15283/stat : 15283 (java) S 15279 15281 15281 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 869283695 8742219776 36295 33554432000 1073741824 1073778376 140736477842000 18446744073709551615 232347708313 0 4 0 16800975 18446604462907030336 0 0 -1 5 0 0 0
[pid=15281/tid=15284] ppid=15279 vsize=8537324 CPUtime=0 cores=1,3,5,7
/proc/15281/task/15284/stat : 15284 (java) S 15279 15281 15281 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 18 0 869283695 8742219776 36298 33554432000 1073741824 1073778376 140736477842000 18446744073709551615 232347708313 0 4 0 16800975 18446604462907030336 0 0 -1 5 0 0 0
[pid=15281/tid=15285] ppid=15279 vsize=8537324 CPUtime=0 cores=1,3,5,7
/proc/15281/task/15285/stat : 15285 (java) S 15279 15281 15281 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 18 0 869283695 8742219776 36301 33554432000 1073741824 1073778376 140736477842000 18446744073709551615 232347708313 0 4 0 16800975 18446604462907030336 0 0 -1 5 0 0 0
[pid=15281/tid=15286] ppid=15279 vsize=8537324 CPUtime=0 cores=1,3,5,7
/proc/15281/task/15286/stat : 15286 (java) S 15279 15281 15281 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869283695 8742219776 36303 33554432000 1073741824 1073778376 140736477842000 18446744073709551615 232347708313 0 4 0 16800975 18446604462907030336 0 0 -1 1 0 0 0
[pid=15281/tid=15287] ppid=15279 vsize=8537324 CPUtime=0 cores=1,3,5,7
/proc/15281/task/15287/stat : 15287 (java) S 15279 15281 15281 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869283695 8742219776 36306 33554432000 1073741824 1073778376 140736477842000 18446744073709551615 232347708313 0 4 0 16800975 18446604462907030336 0 0 -1 1 0 0 0
[pid=15281/tid=15288] ppid=15279 vsize=8537324 CPUtime=0 cores=1,3,5,7
/proc/15281/task/15288/stat : 15288 (java) S 15279 15281 15281 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869283695 8742219776 36309 33554432000 1073741824 1073778376 140736477842000 18446744073709551615 232347708313 0 4 0 16800975 18446604462907030336 0 0 -1 1 0 0 0
[pid=15281/tid=15289] ppid=15279 vsize=8537324 CPUtime=0 cores=1,3,5,7
/proc/15281/task/15289/stat : 15289 (java) S 15279 15281 15281 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869283695 8742219776 36312 33554432000 1073741824 1073778376 140736477842000 18446744073709551615 232347708313 0 4 0 16800975 18446604462907030336 0 0 -1 1 0 0 0
[pid=15281/tid=15290] ppid=15279 vsize=8537324 CPUtime=0 cores=1,3,5,7
/proc/15281/task/15290/stat : 15290 (java) S 15279 15281 15281 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869283695 8742219776 36314 33554432000 1073741824 1073778376 140736477842000 18446744073709551615 232347708313 0 4 0 16800975 18446604462907030336 0 0 -1 1 0 0 0
[pid=15281/tid=15291] ppid=15279 vsize=8537324 CPUtime=0 cores=1,3,5,7
/proc/15281/task/15291/stat : 15291 (java) S 15279 15281 15281 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 869283696 8742219776 36317 33554432000 1073741824 1073778376 140736477842000 18446744073709551615 232347708928 0 0 0 16800975 18446604462907030336 0 0 -1 5 0 0 0
[pid=15281/tid=15292] ppid=15279 vsize=8537324 CPUtime=0 cores=1,3,5,7
/proc/15281/task/15292/stat : 15292 (java) S 15279 15281 15281 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 869283697 8742219776 36319 33554432000 1073741824 1073778376 140736477842000 18446744073709551615 232347708313 0 4 0 16800975 18446604462907030336 0 0 -1 5 0 0 0
[pid=15281/tid=15293] ppid=15279 vsize=8537324 CPUtime=0 cores=1,3,5,7
/proc/15281/task/15293/stat : 15293 (java) S 15279 15281 15281 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 869283697 8742219776 36322 33554432000 1073741824 1073778376 140736477842000 18446744073709551615 232347708313 0 4 0 16800975 18446604462907030336 0 0 -1 5 0 0 0
[pid=15281/tid=15294] ppid=15279 vsize=8537324 CPUtime=0 cores=1,3,5,7
/proc/15281/task/15294/stat : 15294 (java) S 15279 15281 15281 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869283699 8742219776 36325 33554432000 1073741824 1073778376 140736477842000 18446744073709551615 232347716017 0 4 0 16800975 18446604462907030336 0 0 -1 5 0 0 0
[pid=15281/tid=15295] ppid=15279 vsize=8537324 CPUtime=0.27 cores=1,3,5,7
/proc/15281/task/15295/stat : 15295 (java) S 15279 15281 15281 0 -1 4202560 1869 0 0 0 27 0 0 0 25 0 18 0 869283699 8742219776 36327 33554432000 1073741824 1073778376 140736477842000 18446744073709551615 232347708313 0 4 0 16800975 18446604462907030336 0 0 -1 1 0 0 0
[pid=15281/tid=15296] ppid=15279 vsize=8537324 CPUtime=0.24 cores=1,3,5,7
/proc/15281/task/15296/stat : 15296 (java) S 15279 15281 15281 0 -1 4202560 2637 0 0 0 24 0 0 0 25 0 18 0 869283699 8742219776 36330 33554432000 1073741824 1073778376 140736477842000 18446744073709551615 232347708313 0 4 0 16800975 18446604462907030336 0 0 -1 7 0 0 0
[pid=15281/tid=15297] ppid=15279 vsize=8537324 CPUtime=0 cores=1,3,5,7
/proc/15281/task/15297/stat : 15297 (java) S 15279 15281 15281 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869283699 8742219776 36333 33554432000 1073741824 1073778376 140736477842000 18446744073709551615 232347708313 0 4 0 16800975 18446604462907030336 0 0 -1 5 0 0 0
[pid=15281/tid=15298] ppid=15279 vsize=8537324 CPUtime=0 cores=1,3,5,7
/proc/15281/task/15298/stat : 15298 (java) S 15279 15281 15281 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 869283699 8742219776 36336 33554432000 1073741824 1073778376 140736477842000 18446744073709551615 232347708928 0 4 0 16800975 18446604462907030336 0 0 -1 1 0 0 0
[pid=15223/tid=15230] ppid=15221 vsize=375856 CPUtime=0 cores=1,3,5,7
/proc/15223/task/15230/stat : 15230 (python) S 15221 15223 14938 0 -1 4202560 26 932 0 0 0 0 0 0 21 0 8 0 869255355 384876544 12456 33554432000 4194304 5683644 140736903632048 18446744073709551615 232347716017 0 0 16781312 33554434 18446604454517512384 0 0 -1 7 0 0 0
[pid=15223/tid=15254] ppid=15221 vsize=375856 CPUtime=0 cores=1,3,5,7
/proc/15223/task/15254/stat : 15254 (python) S 15221 15223 14938 0 -1 4202560 32 932 0 0 0 0 0 0 20 0 8 0 869259866 384876544 12456 33554432000 4194304 5683644 140736903632048 18446744073709551615 232347716017 0 0 16781312 33554434 18446604454517512384 0 0 -1 7 0 0 0
[pid=15223/tid=15259] ppid=15221 vsize=375856 CPUtime=0 cores=1,3,5,7
/proc/15223/task/15259/stat : 15259 (python) S 15221 15223 14938 0 -1 4202560 32 932 0 0 0 0 0 0 20 0 8 0 869264740 384876544 12456 33554432000 4194304 5683644 140736903632048 18446744073709551615 232347716017 0 0 16781312 33554434 18446604454517512384 0 0 -1 5 0 0 0
[pid=15223/tid=15264] ppid=15221 vsize=375856 CPUtime=0 cores=1,3,5,7
/proc/15223/task/15264/stat : 15264 (python) S 15221 15223 14938 0 -1 4202560 29 932 0 0 0 0 0 0 20 0 8 0 869269485 384876544 12456 33554432000 4194304 5683644 140736903632048 18446744073709551615 232347716017 0 0 16781312 33554434 18446604454517512384 0 0 -1 1 0 0 0
[pid=15223/tid=15269] ppid=15221 vsize=375856 CPUtime=0 cores=1,3,5,7
/proc/15223/task/15269/stat : 15269 (python) S 15221 15223 14938 0 -1 4202560 28 932 0 0 0 0 0 0 20 0 8 0 869274355 384876544 12456 33554432000 4194304 5683644 140736903632048 18446744073709551615 232347716017 0 0 16781312 33554434 18446604454517512384 0 0 -1 7 0 0 0
[pid=15223/tid=15275] ppid=15221 vsize=375856 CPUtime=0 cores=1,3,5,7
/proc/15223/task/15275/stat : 15275 (python) S 15221 15223 14938 0 -1 4202560 30 932 0 0 0 0 0 0 20 0 8 0 869278978 384876544 12456 33554432000 4194304 5683644 140736903632048 18446744073709551615 232347716017 0 0 16781312 33554434 18446604454517512384 0 0 -1 1 0 0 0
[pid=15223/tid=15280] ppid=15221 vsize=375856 CPUtime=0 cores=1,3,5,7
/proc/15223/task/15280/stat : 15280 (python) S 15221 15223 14938 0 -1 4202560 27 932 0 0 0 0 0 0 20 0 8 0 869283693 384876544 12456 33554432000 4194304 5683644 140736903632048 18446744073709551615 232347716017 0 0 16781312 33554434 18446604454517512384 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 289.07
Current children cumulated vsize (KiB) 22183760
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 15223 and gives
# childrusage.ru_utime.tv_sec=1
# childrusage.ru_utime.tv_usec=946704
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=122981
# CPU time returned by wait4() is 2.06968
# while last known CPU time is 289.07
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 286.094
CPU time (s): 289.07
CPU user time (s): 284.79
CPU system time (s): 4.28
CPU usage (%): 101.04
Max. virtual memory (cumulated for all children) (KiB): 22183760
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.9467
system time used= 0.122981
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 24603
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= 1038
involuntary context switches= 38
runsolver used 1.9967 second user time and 3.99839 second system time
The end