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-3481835-1307576359/watcher-3481835-1307576359 -o /tmp/evaluation-result-3481835-1307576359/solver-3481835-1307576359 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3481835-1307576359.opb -seed 1857836293 -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: 0.42 0.10 0.03 3/557 7195
/proc/meminfo: memFree=31679312/32951124 swapFree=33333036/67111528
[pid=7193] ppid=7189 vsize=11796 CPUtime=0 cores=1,3,5,7
/proc/7193/stat : 7193 (runsolver) S 7189 7193 7156 0 -1 4202560 46 0 0 0 0 0 0 0 19 0 1 0 947869290 12079104 53 33554432000 4194304 5432328 140735902195696 18446744073709551615 5055479 0 2147483391 4096 24578 18446744071699199166 0 0 17 1 0 0 0
/proc/7193/statm: 2949 53 34 303 0 2643 0
[startup+0.110468 s]
/proc/loadavg: 0.42 0.10 0.03 3/557 7195
/proc/meminfo: memFree=31679312/32951124 swapFree=33333036/67111528
[pid=7193] ppid=7189 vsize=1964 CPUtime=0 cores=1,3,5,7
/proc/7193/stat : 7193 (python) D 7189 7193 7156 0 -1 4194304 76 0 1 0 0 0 0 0 17 0 1 0 947869290 2011136 29 33554432000 4194304 5683644 140735970129296 18446744073709551615 224280003600 0 0 4096 0 18446744071562234166 0 0 17 1 0 0 2
/proc/7193/statm: 491 29 21 364 0 37 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 1964
[startup+0.200451 s]
/proc/loadavg: 0.42 0.10 0.03 3/557 7195
/proc/meminfo: memFree=31679312/32951124 swapFree=33333036/67111528
[pid=7193] ppid=7189 vsize=14252 CPUtime=0 cores=1,3,5,7
/proc/7193/stat : 7193 (python) D 7189 7193 7156 0 -1 4194304 195 0 3 0 0 0 0 0 17 0 1 0 947869290 14594048 133 33554432000 4194304 5683644 140735970129296 18446744073709551615 5051632 0 0 4096 0 18446744071562234166 0 0 17 1 0 0 5
/proc/7193/statm: 3563 133 105 364 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 14252
[startup+0.300442 s]
/proc/loadavg: 0.42 0.10 0.03 3/557 7195
/proc/meminfo: memFree=31679312/32951124 swapFree=33333036/67111528
[pid=7193] ppid=7189 vsize=14820 CPUtime=0 cores=1,3,5,7
/proc/7193/stat : 7193 (python) S 7189 7193 7156 0 -1 4202496 508 0 6 0 0 0 0 0 17 0 1 0 947869290 15175680 421 33554432000 4194304 5683644 140735970129296 18446744073709551615 224284921701 0 2147483391 4096 0 18446744071699199166 0 0 17 7 0 0 9
/proc/7193/statm: 3705 421 259 364 0 192 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 14820
[startup+0.700365 s]
/proc/loadavg: 0.42 0.10 0.03 3/557 7195
/proc/meminfo: memFree=31679312/32951124 swapFree=33333036/67111528
[pid=7193] ppid=7189 vsize=15084 CPUtime=0 cores=1,3,5,7
/proc/7193/stat : 7193 (python) D 7189 7193 7156 0 -1 4202496 644 0 6 0 0 0 0 0 16 0 1 0 947869290 15446016 545 33554432000 4194304 5683644 140735970129296 18446744073709551615 224284925696 0 0 16781312 2 18446744071562234166 0 0 17 7 0 0 9
/proc/7193/statm: 3771 545 312 364 0 258 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 15084
[startup+1.50019 s]
/proc/loadavg: 0.42 0.10 0.03 1/559 7197
/proc/meminfo: memFree=31672868/32951124 swapFree=33333036/67111528
[pid=7193] ppid=7189 vsize=15780 CPUtime=0 cores=1,3,5,7
/proc/7193/stat : 7193 (python) S 7189 7193 7156 0 -1 4202496 923 0 6 0 0 0 0 0 16 0 1 0 947869290 16158720 808 33554432000 4194304 5683644 140735970129296 18446744073709551615 224284921780 0 2147483391 16781312 2 18446744071699945619 0 0 17 7 0 0 51
/proc/7193/statm: 3945 808 356 364 0 432 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 15780
[startup+3.10092 s]
/proc/loadavg: 0.54 0.13 0.04 2/559 7197
/proc/meminfo: memFree=31665748/32951124 swapFree=33333036/67111528
[pid=7193] ppid=7189 vsize=18892 CPUtime=0.03 cores=1,3,5,7
/proc/7193/stat : 7193 (python) D 7189 7193 7156 0 -1 4202496 1244 0 7 0 1 2 0 0 15 0 1 0 947869290 19345408 1105 33554432000 4194304 5683644 140735970129296 18446744073709551615 224284925696 0 0 16781312 2 18446744071562234166 0 0 17 7 0 0 61
/proc/7193/statm: 4723 1105 421 364 0 692 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 18892
heavy processes:
[startup+6.30045 s]
/proc/loadavg: 0.54 0.13 0.04 1/559 7205
/proc/meminfo: memFree=31651796/32951124 swapFree=33333036/67111528
[pid=7193] ppid=7189 vsize=109476 CPUtime=0.18 cores=1,3,5,7
/proc/7193/stat : 7193 (python) S 7189 7193 7156 0 -1 4202496 4545 919 33 9 11 7 0 0 15 0 1 0 947869290 112103424 3034 33554432000 4194304 5683644 140735970129296 18446744073709551615 224284923904 0 2147483391 16781312 2 18446744071699199166 0 0 17 7 0 0 84
/proc/7193/statm: 27369 3034 898 364 0 2065 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 109476
heavy processes:
[startup+12.7044 s]
/proc/loadavg: 0.62 0.16 0.05 2/559 7205
/proc/meminfo: memFree=31613028/32951124 swapFree=33333036/67111528
[pid=7193] ppid=7189 vsize=234932 CPUtime=0.45 cores=1,3,5,7
/proc/7193/stat : 7193 (python) R 7189 7193 7156 0 -1 4202496 7464 919 98 9 28 17 0 0 15 0 1 0 947869290 240570368 5756 33554432000 4194304 5683644 140735970129296 18446744073709551615 4571984 0 0 16781312 2 0 0 0 17 3 0 0 237
/proc/7193/statm: 58733 5756 1578 364 0 4381 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 234932
heavy processes:
[startup+25.5012 s]
/proc/loadavg: 0.83 0.22 0.07 3/565 7211
/proc/meminfo: memFree=31554672/32951124 swapFree=33333036/67111528
[pid=7193] ppid=7189 vsize=293276 CPUtime=0.62 cores=1,3,5,7
/proc/7193/stat : 7193 (python) S 7189 7193 7156 0 -1 4202496 9558 919 114 9 40 22 0 0 17 0 2 0 947869290 300314624 7181 33554432000 4194304 5683644 140735970129296 18446744073709551615 224296752587 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 275
/proc/7193/statm: 73319 7181 1870 364 0 8206 0
[pid=7207] ppid=7193 vsize=283032 CPUtime=0.03 cores=1,3,5,7
/proc/7207/stat : 7207 (python) S 7193 7193 7156 0 -1 4202560 897 0 0 0 2 1 0 0 15 0 1 0 947870705 289824768 5683 33554432000 4194304 5683644 140735970129296 18446744073709551615 224284945935 0 0 16781312 33554946 5623753486446373693 0 0 17 7 0 0 0
/proc/7207/statm: 70758 5683 376 364 0 5645 0
[pid=7210] ppid=7207 vsize=29596 CPUtime=11.33 cores=1,3,5,7
/proc/7210/stat : 7210 (scip-2.0.1.linu) R 7207 7210 7210 0 -1 4202496 6642 0 0 0 1105 28 0 0 25 0 1 0 947870705 30306304 5204 33554432000 4194304 13684479 140733936092288 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/7210/statm: 7399 5204 802 2317 0 5077 0
[pid=7193/tid=7208] ppid=7189 vsize=293276 CPUtime=0 cores=1,3,5,7
/proc/7193/task/7208/stat : 7208 (python) S 7189 7193 7156 0 -1 4202560 25 919 0 9 0 0 0 0 18 0 2 0 947870705 300314624 7181 33554432000 4194304 5683644 140735970129296 18446744073709551615 224296749489 0 0 16781312 33554434 18446604457363301376 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 11.98
Current children cumulated vsize (KiB) 605904
heavy processes:
[startup+51.1009 s]
/proc/loadavg: 1.23 0.36 0.12 3/565 7211
/proc/meminfo: memFree=31554476/32951124 swapFree=33333036/67111528
[pid=7193] ppid=7189 vsize=293276 CPUtime=0.62 cores=1,3,5,7
/proc/7193/stat : 7193 (python) S 7189 7193 7156 0 -1 4202496 9558 919 114 9 40 22 0 0 17 0 2 0 947869290 300314624 7181 33554432000 4194304 5683644 140735970129296 18446744073709551615 224296752587 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 275
/proc/7193/statm: 73319 7181 1870 364 0 8206 0
[pid=7207] ppid=7193 vsize=283032 CPUtime=0.14 cores=1,3,5,7
/proc/7207/stat : 7207 (python) S 7193 7193 7156 0 -1 4202560 905 0 0 0 7 7 0 0 15 0 1 0 947870705 289824768 5683 33554432000 4194304 5683644 140735970129296 18446744073709551615 224284945935 0 0 16781312 33554946 3328588685053526016 0 0 17 7 0 0 0
/proc/7207/statm: 70758 5683 376 364 0 5645 0
[pid=7210] ppid=7207 vsize=30300 CPUtime=36.93 cores=1,3,5,7
/proc/7210/stat : 7210 (scip-2.0.1.linu) R 7207 7210 7210 0 -1 4202496 6818 0 0 0 3599 94 0 0 21 0 1 0 947870705 31027200 5380 33554432000 4194304 13684479 140733936092288 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/7210/statm: 7575 5380 805 2317 0 5253 0
[pid=7193/tid=7208] ppid=7189 vsize=293276 CPUtime=0 cores=1,3,5,7
/proc/7193/task/7208/stat : 7208 (python) S 7189 7193 7156 0 -1 4202560 25 919 0 9 0 0 0 0 18 0 2 0 947870705 300314624 7181 33554432000 4194304 5683644 140735970129296 18446744073709551615 224296749489 0 0 16781312 33554434 18446604457363301376 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 37.69
Current children cumulated vsize (KiB) 606608
heavy processes:
[startup+102.301 s]
/proc/loadavg: 1.69 0.63 0.23 3/573 7221
/proc/meminfo: memFree=31509124/32951124 swapFree=33333036/67111528
[pid=7193] ppid=7189 vsize=304056 CPUtime=0.64 cores=1,3,5,7
/proc/7193/stat : 7193 (python) S 7189 7193 7156 0 -1 4202496 10417 919 114 9 42 22 0 0 20 0 3 0 947869290 311353344 7312 33554432000 4194304 5683644 140735970129296 18446744073709551615 224296752587 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 275
/proc/7193/statm: 76014 7312 1873 364 0 10898 0
[pid=7207] ppid=7193 vsize=293276 CPUtime=0.21 cores=1,3,5,7
/proc/7207/stat : 7207 (python) S 7193 7193 7156 0 -1 4202560 1073 0 0 0 10 11 0 0 17 0 2 0 947870705 300314624 5719 33554432000 4194304 5683644 140735970129296 18446744073709551615 224296752587 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/7207/statm: 73319 5719 407 364 0 8206 0
[pid=7210] ppid=7207 vsize=30300 CPUtime=47.38 cores=1,3,5,7
/proc/7210/stat : 7210 (scip-2.0.1.linu) T 7207 7210 7210 0 -1 4202496 6821 0 0 0 4599 139 0 0 25 0 1 0 947870705 31027200 5383 33554432000 4194304 13684479 140733936092288 18446744073709551615 7401073 0 0 16781312 2 18446744071562691360 0 0 17 5 0 0 0
/proc/7210/statm: 7575 5383 808 2317 0 5253 0
[pid=7207/tid=7218] ppid=7193 vsize=293276 CPUtime=0 cores=1,3,5,7
/proc/7207/task/7218/stat : 7218 (python) S 7193 7193 7156 0 -1 4202560 44 0 0 0 0 0 0 0 17 0 2 0 947875445 300314624 5719 33554432000 4194304 5683644 140735970129296 18446744073709551615 224296749489 0 0 16781312 33554946 18446604471124579328 0 0 -1 7 0 0 0
[pid=7219] ppid=7193 vsize=293812 CPUtime=0.17 cores=1,3,5,7
/proc/7219/stat : 7219 (python) S 7193 7193 7156 0 -1 4202560 953 0 0 0 7 10 0 0 15 0 1 0 947875448 300863488 5808 33554432000 4194304 5683644 140735970129296 18446744073709551615 224284945990 0 0 16781312 33554946 5623753486446373693 0 0 17 7 0 0 0
/proc/7219/statm: 73453 5808 373 364 0 8337 0
[pid=7221] ppid=7219 vsize=31004 CPUtime=40.72 cores=1,3,5,7
/proc/7221/stat : 7221 (scip-2.0.1.linu) R 7219 7221 7221 0 -1 4202496 18185 0 0 0 4055 17 0 0 25 0 1 0 947875448 31748096 5210 33554432000 4194304 15243407 140733204174000 18446744073709551615 13354455 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/7221/statm: 7751 5210 928 2698 0 5046 0
[pid=7193/tid=7208] ppid=7189 vsize=304056 CPUtime=0 cores=1,3,5,7
/proc/7193/task/7208/stat : 7208 (python) S 7189 7193 7156 0 -1 4202560 25 919 0 9 0 0 0 0 18 0 3 0 947870705 311353344 7312 33554432000 4194304 5683644 140735970129296 18446744073709551615 224296749489 0 0 16781312 33554434 18446604457363301376 0 0 -1 7 0 0 0
[pid=7193/tid=7220] ppid=7189 vsize=304056 CPUtime=0 cores=1,3,5,7
/proc/7193/task/7220/stat : 7220 (python) S 7189 7193 7156 0 -1 4202560 28 919 0 9 0 0 0 0 20 0 3 0 947875448 311353344 7312 33554432000 4194304 5683644 140735970129296 18446744073709551615 224296749489 0 0 16781312 33554434 18446604457363301376 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 89.12
Current children cumulated vsize (KiB) 952448
[startup+162.301 s]
/proc/loadavg: 1.87 0.86 0.33 3/589 7239
/proc/meminfo: memFree=31459300/32951124 swapFree=33333036/67111528
[pid=7193] ppid=7189 vsize=324744 CPUtime=0.71 cores=1,3,5,7
/proc/7193/stat : 7193 (python) S 7189 7193 7156 0 -1 4202496 12270 919 114 9 48 23 0 0 19 0 5 0 947869290 332537856 7352 33554432000 4194304 5683644 140735970129296 18446744073709551615 224296752587 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 275
/proc/7193/statm: 81186 7352 1877 364 0 16064 0
[pid=7207] ppid=7193 vsize=293276 CPUtime=0.21 cores=1,3,5,7
/proc/7207/stat : 7207 (python) S 7193 7193 7156 0 -1 4202560 1073 0 0 0 10 11 0 0 17 0 2 0 947870705 300314624 5719 33554432000 4194304 5683644 140735970129296 18446744073709551615 224296752587 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/7207/statm: 73319 5719 407 364 0 8206 0
[pid=7210] ppid=7207 vsize=30300 CPUtime=47.38 cores=1,3,5,7
/proc/7210/stat : 7210 (scip-2.0.1.linu) T 7207 7210 7210 0 -1 4202496 6821 0 0 0 4599 139 0 0 25 0 1 0 947870705 31027200 5383 33554432000 4194304 13684479 140733936092288 18446744073709551615 7401073 0 0 16781312 2 18446744071562691360 0 0 17 5 0 0 0
/proc/7210/statm: 7575 5383 808 2317 0 5253 0
[pid=7207/tid=7218] ppid=7193 vsize=293276 CPUtime=0 cores=1,3,5,7
/proc/7207/task/7218/stat : 7218 (python) S 7193 7193 7156 0 -1 4202560 44 0 0 0 0 0 0 0 17 0 2 0 947875445 300314624 5719 33554432000 4194304 5683644 140735970129296 18446744073709551615 224296749489 0 0 16781312 33554946 18446604471124579328 0 0 -1 7 0 0 0
[pid=7219] ppid=7193 vsize=293812 CPUtime=0.22 cores=1,3,5,7
/proc/7219/stat : 7219 (python) S 7193 7193 7156 0 -1 4202560 1125 0 0 0 10 12 0 0 17 0 2 0 947875448 300863488 5833 33554432000 4194304 5683644 140735970129296 18446744073709551615 224296752587 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/7219/statm: 73453 5833 397 364 0 8337 0
[pid=7221] ppid=7219 vsize=35236 CPUtime=47.86 cores=1,3,5,7
/proc/7221/stat : 7221 (scip-2.0.1.linu) T 7219 7221 7221 0 -1 4202496 19068 0 0 0 4765 21 0 0 25 0 1 0 947875448 36081664 5580 33554432000 4194304 15243407 140733204174000 18446744073709551615 8112843 0 0 16781312 2 18446744071562691360 0 0 17 5 0 0 0
/proc/7221/statm: 8809 5580 928 2698 0 6104 0
[pid=7219/tid=7222] ppid=7193 vsize=293812 CPUtime=0 cores=1,3,5,7
/proc/7219/task/7222/stat : 7222 (python) S 7193 7193 7156 0 -1 4202560 48 0 0 0 0 0 0 0 17 0 2 0 947880236 300863488 5833 33554432000 4194304 5683644 140735970129296 18446744073709551615 224296749489 0 0 16781312 33554946 18446604467674770240 0 0 -1 7 0 0 0
[pid=7223] ppid=7193 vsize=303800 CPUtime=0.21 cores=1,3,5,7
/proc/7223/stat : 7223 (python) S 7193 7193 7156 0 -1 4202560 1153 0 0 0 10 11 0 0 19 0 2 0 947880239 311091200 5764 33554432000 4194304 5683644 140735970129296 18446744073709551615 224296752587 0 0 16781312 33554946 18446744073709551615 0 0 17 1 0 0 0
/proc/7223/statm: 75950 5764 403 364 0 10831 0
[pid=7225] ppid=7223 vsize=2256 CPUtime=48.23 cores=1,3,5,7
/proc/7225/stat : 7225 (clasp-1.3.7-x86) T 7223 7225 7225 0 -1 4202496 584 0 0 0 4823 0 0 0 25 0 1 0 947880239 2310144 320 33554432000 134512640 136139019 4291408880 18446744073709551615 134599813 0 0 16781312 16386 18446744071562691360 0 0 17 5 0 0 0
/proc/7225/statm: 564 320 184 398 0 164 0
[pid=7223/tid=7232] ppid=7193 vsize=303800 CPUtime=0 cores=1,3,5,7
/proc/7223/task/7232/stat : 7232 (python) S 7193 7193 7156 0 -1 4202560 41 0 0 0 0 0 0 0 19 0 2 0 947885062 311091200 5764 33554432000 4194304 5683644 140735970129296 18446744073709551615 224296749489 0 0 16781312 33554946 18446604454705078464 0 0 -1 1 0 0 0
[pid=7233] ppid=7193 vsize=314500 CPUtime=0.02 cores=1,3,5,7
/proc/7233/stat : 7233 (python) S 7193 7193 7156 0 -1 4202560 1005 0 0 0 1 1 0 0 15 0 1 0 947885065 322048000 5850 33554432000 4194304 5683644 140735970129296 18446744073709551615 224284945990 0 0 16781312 33554946 4294934790 0 0 17 7 0 0 0
/proc/7233/statm: 78625 5850 379 364 0 13503 0
[pid=7235] ppid=7233 vsize=20580 CPUtime=4.53 cores=1,3,5,7
################
# More data... #
################
[pid=7193/tid=7224] ppid=7189 vsize=335000 CPUtime=0 cores=1,3,5,7
/proc/7193/task/7224/stat : 7224 (python) S 7189 7193 7156 0 -1 4202560 32 919 0 9 0 0 0 0 18 0 6 0 947880239 343040000 7378 33554432000 4194304 5683644 140735970129296 18446744073709551615 224296749489 0 0 16781312 33554434 18446604457363301376 0 0 -1 5 0 0 0
[pid=7193/tid=7234] ppid=7189 vsize=335000 CPUtime=0 cores=1,3,5,7
/proc/7193/task/7234/stat : 7234 (python) S 7189 7193 7156 0 -1 4202560 102 919 0 9 0 0 0 0 20 0 6 0 947885065 343040000 7378 33554432000 4194304 5683644 140735970129296 18446744073709551615 224296749489 0 0 16781312 33554434 18446604457363301376 0 0 -1 5 0 0 0
[pid=7193/tid=7245] ppid=7189 vsize=335000 CPUtime=0 cores=1,3,5,7
/proc/7193/task/7245/stat : 7245 (python) S 7189 7193 7156 0 -1 4202560 30 919 0 9 0 0 0 0 20 0 6 0 947894556 343040000 7378 33554432000 4194304 5683644 140735970129296 18446744073709551615 224296749489 0 0 16781312 33554434 18446604457363301376 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 271.31
Current children cumulated vsize (KiB) 10617968
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+300.302 s]
/proc/loadavg: 2.06 1.31 0.56 6/655 7309
/proc/meminfo: memFree=30343452/32951124 swapFree=33333036/67111528
[pid=7193] ppid=7189 vsize=345256 CPUtime=0.78 cores=1,3,5,7
/proc/7193/stat : 7193 (python) S 7189 7193 7156 0 -1 4202496 14069 919 114 9 55 23 0 0 20 0 7 0 947869290 353542144 7389 33554432000 4194304 5683644 140735970129296 18446744073709551615 224296752587 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 275
/proc/7193/statm: 86314 7389 1881 364 0 21186 0
[pid=7207] ppid=7193 vsize=293276 CPUtime=0.21 cores=1,3,5,7
/proc/7207/stat : 7207 (python) S 7193 7193 7156 0 -1 4202560 1073 0 0 0 10 11 0 0 17 0 2 0 947870705 300314624 5719 33554432000 4194304 5683644 140735970129296 18446744073709551615 224296752587 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/7207/statm: 73319 5719 407 364 0 8206 0
[pid=7210] ppid=7207 vsize=30300 CPUtime=47.38 cores=1,3,5,7
/proc/7210/stat : 7210 (scip-2.0.1.linu) T 7207 7210 7210 0 -1 4202496 6821 0 0 0 4599 139 0 0 25 0 1 0 947870705 31027200 5383 33554432000 4194304 13684479 140733936092288 18446744073709551615 7401073 0 0 16781312 2 18446744071562691360 0 0 17 5 0 0 0
/proc/7210/statm: 7575 5383 808 2317 0 5253 0
[pid=7207/tid=7218] ppid=7193 vsize=293276 CPUtime=0 cores=1,3,5,7
/proc/7207/task/7218/stat : 7218 (python) S 7193 7193 7156 0 -1 4202560 44 0 0 0 0 0 0 0 17 0 2 0 947875445 300314624 5719 33554432000 4194304 5683644 140735970129296 18446744073709551615 224296749489 0 0 16781312 33554946 18446604471124579328 0 0 -1 7 0 0 0
[pid=7219] ppid=7193 vsize=293812 CPUtime=0.22 cores=1,3,5,7
/proc/7219/stat : 7219 (python) S 7193 7193 7156 0 -1 4202560 1125 0 0 0 10 12 0 0 17 0 2 0 947875448 300863488 5833 33554432000 4194304 5683644 140735970129296 18446744073709551615 224296752587 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/7219/statm: 73453 5833 397 364 0 8337 0
[pid=7221] ppid=7219 vsize=35236 CPUtime=47.86 cores=1,3,5,7
/proc/7221/stat : 7221 (scip-2.0.1.linu) T 7219 7221 7221 0 -1 4202496 19068 0 0 0 4765 21 0 0 25 0 1 0 947875448 36081664 5580 33554432000 4194304 15243407 140733204174000 18446744073709551615 8112843 0 0 16781312 2 18446744071562691360 0 0 17 5 0 0 0
/proc/7221/statm: 8809 5580 928 2698 0 6104 0
[pid=7219/tid=7222] ppid=7193 vsize=293812 CPUtime=0 cores=1,3,5,7
/proc/7219/task/7222/stat : 7222 (python) S 7193 7193 7156 0 -1 4202560 48 0 0 0 0 0 0 0 17 0 2 0 947880236 300863488 5833 33554432000 4194304 5683644 140735970129296 18446744073709551615 224296749489 0 0 16781312 33554946 18446604467674770240 0 0 -1 7 0 0 0
[pid=7223] ppid=7193 vsize=303800 CPUtime=0.44 cores=1,3,5,7
/proc/7223/stat : 7223 (python) S 7193 7193 7156 0 -1 4202560 1174 0 0 0 23 21 0 0 15 0 2 0 947880239 311091200 5764 33554432000 4194304 5683644 140735970129296 18446744073709551615 224296752587 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/7223/statm: 75950 5764 403 364 0 10831 0
[pid=7225] ppid=7223 vsize=2256 CPUtime=93.6 cores=1,3,5,7
/proc/7225/stat : 7225 (clasp-1.3.7-x86) T 7223 7225 7225 0 -1 4202496 586 0 0 0 9360 0 0 0 25 0 1 0 947880239 2310144 322 33554432000 134512640 136139019 4291408880 18446744073709551615 134831192 0 0 16781312 16386 18446744071562691360 0 0 17 5 0 0 0
/proc/7225/statm: 564 322 184 398 0 164 0
[pid=7223/tid=7232] ppid=7193 vsize=303800 CPUtime=0 cores=1,3,5,7
/proc/7223/task/7232/stat : 7232 (python) S 7193 7193 7156 0 -1 4202560 42 0 0 0 0 0 0 0 18 0 2 0 947885062 311091200 5764 33554432000 4194304 5683644 140735970129296 18446744073709551615 224296749489 0 0 16781312 33554946 18446604454705078464 0 0 -1 1 0 0 0
[pid=7233] ppid=7193 vsize=314500 CPUtime=0.25 cores=1,3,5,7
/proc/7233/stat : 7233 (python) S 7193 7193 7156 0 -1 4202560 1191 0 0 0 13 12 0 0 16 0 2 0 947885065 322048000 5875 33554432000 4194304 5683644 140735970129296 18446744073709551615 224296752587 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/7233/statm: 78625 5875 403 364 0 13503 0
[pid=7235] ppid=7233 vsize=136552 CPUtime=49.47 cores=1,3,5,7
/proc/7235/stat : 7235 (wbo1.4a) T 7233 7235 7235 0 -1 4202496 33940 0 0 0 4887 60 0 0 25 0 1 0 947885065 139829248 33663 33554432000 134512640 135751879 4287101952 18446744073709551615 134517408 0 0 16781312 3 18446744071562691360 0 0 17 5 0 0 0
/proc/7235/statm: 34138 33663 146 303 0 33833 0
[pid=7233/tid=7242] ppid=7193 vsize=314500 CPUtime=0 cores=1,3,5,7
/proc/7233/task/7242/stat : 7242 (python) S 7193 7193 7156 0 -1 4202560 46 0 0 0 0 0 0 0 16 0 2 0 947890014 322048000 5875 33554432000 4194304 5683644 140735970129296 18446744073709551615 224296749489 0 0 16781312 33554946 18446604457363300480 0 0 -1 7 0 0 0
[pid=7244] ppid=7193 vsize=324756 CPUtime=0.23 cores=1,3,5,7
/proc/7244/stat : 7244 (python) S 7193 7193 7156 0 -1 4202560 1134 0 0 0 11 12 0 0 17 0 2 0 947894556 332550144 5893 33554432000 4194304 5683644 140735970129296 18446744073709551615 224296752587 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/7244/statm: 81189 5893 397 364 0 16064 0
[pid=7246] ppid=7244 vsize=8548480 CPUtime=48.77 cores=1,3,5,7
/proc/7246/stat : 7246 (java) T 7244 7246 7246 0 -1 4202496 153975 0 115 0 4859 18 0 0 15 0 19 0 947894557 8753643520 120468 33554432000 1073741824 1073778376 140734846482736 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 10
/proc/7246/statm: 2137120 120468 2239 9 0 2127861 0
[pid=7246/tid=7247] ppid=7244 vsize=8548480 CPUtime=46.38 cores=1,3,5,7
/proc/7246/task/7247/stat : 7247 (java) T 7244 7246 7246 0 -1 4202560 110134 0 58 0 4627 11 0 0 25 0 19 0 947894569 8753643520 120468 33554432000 1073741824 1073778376 140734846482736 18446744073709551615 46912505621083 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 12
[pid=7246/tid=7248] ppid=7244 vsize=8548480 CPUtime=0.11 cores=1,3,5,7
/proc/7246/task/7248/stat : 7248 (java) T 7244 7246 7246 0 -1 4202560 3200 0 0 0 11 0 0 0 15 0 19 0 947894575 8753643520 120468 33554432000 1073741824 1073778376 140734846482736 18446744073709551615 224296741785 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=7246/tid=7249] ppid=7244 vsize=8548480 CPUtime=0.1 cores=1,3,5,7
/proc/7246/task/7249/stat : 7249 (java) T 7244 7246 7246 0 -1 4202560 3845 0 0 0 10 0 0 0 15 0 19 0 947894575 8753643520 120468 33554432000 1073741824 1073778376 140734846482736 18446744073709551615 224296741785 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=7246/tid=7250] ppid=7244 vsize=8548480 CPUtime=0.09 cores=1,3,5,7
/proc/7246/task/7250/stat : 7250 (java) T 7244 7246 7246 0 -1 4202560 3451 0 0 0 9 0 0 0 15 0 19 0 947894575 8753643520 120468 33554432000 1073741824 1073778376 140734846482736 18446744073709551615 224296741785 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=7246/tid=7251] ppid=7244 vsize=8548480 CPUtime=0.11 cores=1,3,5,7
/proc/7246/task/7251/stat : 7251 (java) T 7244 7246 7246 0 -1 4202560 3908 0 0 0 11 0 0 0 15 0 19 0 947894575 8753643520 120468 33554432000 1073741824 1073778376 140734846482736 18446744073709551615 224296741785 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=7246/tid=7252] ppid=7244 vsize=8548480 CPUtime=0.11 cores=1,3,5,7
/proc/7246/task/7252/stat : 7252 (java) T 7244 7246 7246 0 -1 4202560 2839 0 0 0 11 0 0 0 15 0 19 0 947894575 8753643520 120468 33554432000 1073741824 1073778376 140734846482736 18446744073709551615 224296741785 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=7246/tid=7253] ppid=7244 vsize=8548480 CPUtime=0.1 cores=1,3,5,7
/proc/7246/task/7253/stat : 7253 (java) T 7244 7246 7246 0 -1 4202560 3795 0 0 0 10 0 0 0 15 0 19 0 947894575 8753643520 120468 33554432000 1073741824 1073778376 140734846482736 18446744073709551615 224296741785 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=7246/tid=7254] ppid=7244 vsize=8548480 CPUtime=0.16 cores=1,3,5,7
/proc/7246/task/7254/stat : 7254 (java) T 7244 7246 7246 0 -1 4202560 5122 0 0 0 16 0 0 0 15 0 19 0 947894575 8753643520 120468 33554432000 1073741824 1073778376 140734846482736 18446744073709551615 224296741785 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=7246/tid=7255] ppid=7244 vsize=8548480 CPUtime=0.14 cores=1,3,5,7
/proc/7246/task/7255/stat : 7255 (java) T 7244 7246 7246 0 -1 4202560 5825 0 0 0 14 0 0 0 15 0 19 0 947894575 8753643520 120468 33554432000 1073741824 1073778376 140734846482736 18446744073709551615 224296741785 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=7246/tid=7256] ppid=7244 vsize=8548480 CPUtime=0 cores=1,3,5,7
/proc/7246/task/7256/stat : 7256 (java) T 7244 7246 7246 0 -1 4202560 162 0 0 0 0 0 0 0 15 0 19 0 947894578 8753643520 120468 33554432000 1073741824 1073778376 140734846482736 18446744073709551615 224296742400 0 0 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=7246/tid=7257] ppid=7244 vsize=8548480 CPUtime=0 cores=1,3,5,7
/proc/7246/task/7257/stat : 7257 (java) T 7244 7246 7246 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 947894580 8753643520 120468 33554432000 1073741824 1073778376 140734846482736 18446744073709551615 224296741785 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=7246/tid=7258] ppid=7244 vsize=8548480 CPUtime=0 cores=1,3,5,7
/proc/7246/task/7258/stat : 7258 (java) T 7244 7246 7246 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 947894580 8753643520 120468 33554432000 1073741824 1073778376 140734846482736 18446744073709551615 224296741785 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=7246/tid=7259] ppid=7244 vsize=8548480 CPUtime=0 cores=1,3,5,7
/proc/7246/task/7259/stat : 7259 (java) T 7244 7246 7246 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 947894586 8753643520 120468 33554432000 1073741824 1073778376 140734846482736 18446744073709551615 224296749489 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=7246/tid=7260] ppid=7244 vsize=8548480 CPUtime=0.61 cores=1,3,5,7
/proc/7246/task/7260/stat : 7260 (java) T 7244 7246 7246 0 -1 4202560 5249 0 0 0 61 0 0 0 15 0 19 0 947894586 8753643520 120468 33554432000 1073741824 1073778376 140734846482736 18446744073709551615 224296741785 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=7246/tid=7261] ppid=7244 vsize=8548480 CPUtime=0.73 cores=1,3,5,7
/proc/7246/task/7261/stat : 7261 (java) T 7244 7246 7246 0 -1 4202560 5101 0 1 0 73 0 0 0 15 0 19 0 947894586 8753643520 120468 33554432000 1073741824 1073778376 140734846482736 18446744073709551615 224296741785 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=7246/tid=7262] ppid=7244 vsize=8548480 CPUtime=0 cores=1,3,5,7
/proc/7246/task/7262/stat : 7262 (java) T 7244 7246 7246 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 947894586 8753643520 120468 33554432000 1073741824 1073778376 140734846482736 18446744073709551615 224296741785 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=7246/tid=7263] ppid=7244 vsize=8548480 CPUtime=0 cores=1,3,5,7
/proc/7246/task/7263/stat : 7263 (java) T 7244 7246 7246 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 947894586 8753643520 120468 33554432000 1073741824 1073778376 140734846482736 18446744073709551615 224296742400 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=7246/tid=7264] ppid=7244 vsize=8548480 CPUtime=0 cores=1,3,5,7
/proc/7246/task/7264/stat : 7264 (java) T 7244 7246 7246 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 947894609 8753643520 120468 33554432000 1073741824 1073778376 140734846482736 18446744073709551615 224296742400 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=7244/tid=7288] ppid=7193 vsize=324756 CPUtime=0 cores=1,3,5,7
/proc/7244/task/7288/stat : 7288 (python) S 7193 7193 7156 0 -1 4202560 48 0 0 0 0 0 0 0 17 0 2 0 947899269 332550144 5893 33554432000 4194304 5683644 140735970129296 18446744073709551615 224296749489 0 0 16781312 33554946 18446604466967152448 0 0 -1 7 0 0 0
[pid=7289] ppid=7193 vsize=335012 CPUtime=0 cores=1,3,5,7
/proc/7289/stat : 7289 (python) S 7193 7193 7156 0 -1 4202560 826 0 0 0 0 0 0 0 15 0 1 0 947899271 343052288 5853 33554432000 4194304 5683644 140735970129296 18446744073709551615 224284945990 0 0 16781312 33554946 467955520330792960 0 0 17 7 0 0 0
/proc/7289/statm: 83753 5853 349 364 0 18625 0
[pid=7291] ppid=7289 vsize=8541232 CPUtime=1.04 cores=1,3,5,7
/proc/7291/stat : 7291 (java) S 7289 7291 7291 0 -1 4202496 16294 0 1 0 101 3 0 0 18 0 19 0 947899271 8746221568 14859 33554432000 1073741824 1073778376 140733363378368 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/7291/statm: 2135308 14859 2213 9 0 2126049 0
[pid=7291/tid=7292] ppid=7289 vsize=8541232 CPUtime=0.52 cores=1,3,5,7
/proc/7291/task/7292/stat : 7292 (java) R 7289 7291 7291 0 -1 4202560 11110 0 1 0 50 2 0 0 25 0 19 0 947899272 8746221568 15587 33554432000 1073741824 1073778376 140733363378368 18446744073709551615 46912505587625 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=7291/tid=7293] ppid=7289 vsize=8541232 CPUtime=0 cores=1,3,5,7
/proc/7291/task/7293/stat : 7293 (java) S 7289 7291 7291 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 947899273 8746221568 15587 33554432000 1073741824 1073778376 140733363378368 18446744073709551615 224296741785 0 4 0 16800975 18446604465458158464 0 0 -1 1 0 0 0
[pid=7291/tid=7294] ppid=7289 vsize=8541232 CPUtime=0 cores=1,3,5,7
/proc/7291/task/7294/stat : 7294 (java) S 7289 7291 7291 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 947899273 8746221568 15590 33554432000 1073741824 1073778376 140733363378368 18446744073709551615 224296741785 0 4 0 16800975 18446604465458158464 0 0 -1 5 0 0 0
[pid=7291/tid=7295] ppid=7289 vsize=8541232 CPUtime=0 cores=1,3,5,7
/proc/7291/task/7295/stat : 7295 (java) S 7289 7291 7291 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 947899273 8746221568 15591 33554432000 1073741824 1073778376 140733363378368 18446744073709551615 224296741785 0 4 0 16800975 18446604465458158464 0 0 -1 5 0 0 0
[pid=7291/tid=7296] ppid=7289 vsize=8541232 CPUtime=0 cores=1,3,5,7
/proc/7291/task/7296/stat : 7296 (java) S 7289 7291 7291 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 947899273 8746221568 15593 33554432000 1073741824 1073778376 140733363378368 18446744073709551615 224296741785 0 4 0 16800975 18446604465458158464 0 0 -1 5 0 0 0
[pid=7291/tid=7297] ppid=7289 vsize=8541232 CPUtime=0 cores=1,3,5,7
/proc/7291/task/7297/stat : 7297 (java) S 7289 7291 7291 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 947899273 8746221568 15593 33554432000 1073741824 1073778376 140733363378368 18446744073709551615 224296741785 0 4 0 16800975 18446604465458158464 0 0 -1 5 0 0 0
[pid=7291/tid=7298] ppid=7289 vsize=8541232 CPUtime=0 cores=1,3,5,7
/proc/7291/task/7298/stat : 7298 (java) S 7289 7291 7291 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 947899273 8746221568 15594 33554432000 1073741824 1073778376 140733363378368 18446744073709551615 224296741785 0 4 0 16800975 18446604465458158464 0 0 -1 5 0 0 0
[pid=7291/tid=7299] ppid=7289 vsize=8541232 CPUtime=0 cores=1,3,5,7
/proc/7291/task/7299/stat : 7299 (java) S 7289 7291 7291 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 947899273 8746221568 15595 33554432000 1073741824 1073778376 140733363378368 18446744073709551615 224296741785 0 4 0 16800975 18446604465458158464 0 0 -1 5 0 0 0
[pid=7291/tid=7300] ppid=7289 vsize=8541232 CPUtime=0 cores=1,3,5,7
/proc/7291/task/7300/stat : 7300 (java) S 7289 7291 7291 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 947899273 8746221568 15598 33554432000 1073741824 1073778376 140733363378368 18446744073709551615 224296741785 0 4 0 16800975 18446604465458158464 0 0 -1 5 0 0 0
[pid=7291/tid=7301] ppid=7289 vsize=8541232 CPUtime=0 cores=1,3,5,7
/proc/7291/task/7301/stat : 7301 (java) S 7289 7291 7291 0 -1 4202560 2 0 0 0 0 0 0 0 24 0 19 0 947899274 8746221568 15599 33554432000 1073741824 1073778376 140733363378368 18446744073709551615 224296742400 0 0 0 16800975 18446604465458158464 0 0 -1 7 0 0 0
[pid=7291/tid=7302] ppid=7289 vsize=8541232 CPUtime=0 cores=1,3,5,7
/proc/7291/task/7302/stat : 7302 (java) S 7289 7291 7291 0 -1 4202560 16 0 0 0 0 0 0 0 24 0 19 0 947899274 8746221568 15600 33554432000 1073741824 1073778376 140733363378368 18446744073709551615 224296741785 0 4 0 16800975 18446604465458158464 0 0 -1 1 0 0 0
[pid=7291/tid=7303] ppid=7289 vsize=8541232 CPUtime=0 cores=1,3,5,7
/proc/7291/task/7303/stat : 7303 (java) S 7289 7291 7291 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 947899274 8746221568 15601 33554432000 1073741824 1073778376 140733363378368 18446744073709551615 224296741785 0 4 0 16800975 18446604465458158464 0 0 -1 5 0 0 0
[pid=7291/tid=7304] ppid=7289 vsize=8541232 CPUtime=0 cores=1,3,5,7
/proc/7291/task/7304/stat : 7304 (java) S 7289 7291 7291 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947899276 8746221568 15603 33554432000 1073741824 1073778376 140733363378368 18446744073709551615 224296749489 0 4 0 16800975 18446604465458158464 0 0 -1 1 0 0 0
[pid=7291/tid=7305] ppid=7289 vsize=8541232 CPUtime=0.22 cores=1,3,5,7
/proc/7291/task/7305/stat : 7305 (java) R 7289 7291 7291 0 -1 4202560 2024 0 0 0 22 0 0 0 25 0 19 0 947899276 8746221568 15605 33554432000 1073741824 1073778376 140733363378368 18446744073709551615 47735032198112 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=7291/tid=7306] ppid=7289 vsize=8541232 CPUtime=0.29 cores=1,3,5,7
/proc/7291/task/7306/stat : 7306 (java) S 7289 7291 7291 0 -1 4202560 2488 0 0 0 29 0 0 0 25 0 19 0 947899276 8746221568 15605 33554432000 1073741824 1073778376 140733363378368 18446744073709551615 224296741785 0 4 0 16800975 18446604465458158464 0 0 -1 5 0 0 0
[pid=7291/tid=7307] ppid=7289 vsize=8541232 CPUtime=0 cores=1,3,5,7
/proc/7291/task/7307/stat : 7307 (java) S 7289 7291 7291 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947899276 8746221568 15606 33554432000 1073741824 1073778376 140733363378368 18446744073709551615 224296741785 0 4 0 16800975 18446604465458158464 0 0 -1 1 0 0 0
[pid=7291/tid=7308] ppid=7289 vsize=8541232 CPUtime=0 cores=1,3,5,7
/proc/7291/task/7308/stat : 7308 (java) S 7289 7291 7291 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 947899276 8746221568 15608 33554432000 1073741824 1073778376 140733363378368 18446744073709551615 224296742400 0 4 0 16800975 18446604465458158464 0 0 -1 5 0 0 0
[pid=7291/tid=7309] ppid=7289 vsize=8541232 CPUtime=0 cores=1,3,5,7
/proc/7291/task/7309/stat : 7309 (java) S 7289 7291 7291 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 947899294 8746221568 15610 33554432000 1073741824 1073778376 140733363378368 18446744073709551615 224296742400 0 4 0 16800975 18446604465458158464 0 0 -1 7 0 0 0
[pid=7193/tid=7208] ppid=7189 vsize=345256 CPUtime=0 cores=1,3,5,7
/proc/7193/task/7208/stat : 7208 (python) S 7189 7193 7156 0 -1 4202560 25 919 0 9 0 0 0 0 18 0 7 0 947870705 353542144 7389 33554432000 4194304 5683644 140735970129296 18446744073709551615 224296749489 0 0 16781312 33554434 18446604457363301376 0 0 -1 7 0 0 0
[pid=7193/tid=7220] ppid=7189 vsize=345256 CPUtime=0 cores=1,3,5,7
/proc/7193/task/7220/stat : 7220 (python) S 7189 7193 7156 0 -1 4202560 28 919 0 9 0 0 0 0 20 0 7 0 947875448 353542144 7389 33554432000 4194304 5683644 140735970129296 18446744073709551615 224296749489 0 0 16781312 33554434 18446604457363301376 0 0 -1 7 0 0 0
[pid=7193/tid=7224] ppid=7189 vsize=345256 CPUtime=0 cores=1,3,5,7
/proc/7193/task/7224/stat : 7224 (python) S 7189 7193 7156 0 -1 4202560 32 919 0 9 0 0 0 0 18 0 7 0 947880239 353542144 7389 33554432000 4194304 5683644 140735970129296 18446744073709551615 224296749489 0 0 16781312 33554434 18446604457363301376 0 0 -1 5 0 0 0
[pid=7193/tid=7234] ppid=7189 vsize=345256 CPUtime=0 cores=1,3,5,7
/proc/7193/task/7234/stat : 7234 (python) S 7189 7193 7156 0 -1 4202560 102 919 0 9 0 0 0 0 20 0 7 0 947885065 353542144 7389 33554432000 4194304 5683644 140735970129296 18446744073709551615 224296749489 0 0 16781312 33554434 18446604457363301376 0 0 -1 5 0 0 0
[pid=7193/tid=7245] ppid=7189 vsize=345256 CPUtime=0 cores=1,3,5,7
/proc/7193/task/7245/stat : 7245 (python) S 7189 7193 7156 0 -1 4202560 30 919 0 9 0 0 0 0 20 0 7 0 947894556 353542144 7389 33554432000 4194304 5683644 140735970129296 18446744073709551615 224296749489 0 0 16781312 33554434 18446604457363301376 0 0 -1 5 0 0 0
[pid=7193/tid=7290] ppid=7189 vsize=345256 CPUtime=0 cores=1,3,5,7
/proc/7193/task/7290/stat : 7290 (python) S 7189 7193 7156 0 -1 4202560 28 919 0 9 0 0 0 0 20 0 7 0 947899271 353542144 7389 33554432000 4194304 5683644 140735970129296 18446744073709551615 224296749489 0 0 16781312 33554434 18446604457363301376 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 290.25
Current children cumulated vsize (KiB) 19504468
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 7193 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=553915
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=244962
# CPU time returned by wait4() is 0.798877
# while last known CPU time is 290.25
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 300.397
CPU time (s): 290.25
CPU user time (s): 286.93
CPU system time (s): 3.32
CPU usage (%): 96.6221
Max. virtual memory (cumulated for all children) (KiB): 19504468
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.553915
system time used= 0.244962
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14991
page faults= 123
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 18235
involuntary context switches= 75
runsolver used 1.86572 second user time and 4.5903 second system time
The end