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-3482449-1307576355/watcher-3482449-1307576355 -o /tmp/evaluation-result-3482449-1307576355/solver-3482449-1307576355 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.dec.pickle HOME/instance-3482449-1307576355.opb -seed 1998031726 -budget 1800
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 0.31 0.07 0.02 1/434 15075
/proc/meminfo: memFree=24831712/32951124 swapFree=50923800/67111528
[pid=15075] ppid=15071 vsize=11796 CPUtime=0 cores=0,2,4,6
/proc/15075/stat : 15075 (runsolver) S 15071 15075 15040 0 -1 4202560 46 0 0 0 0 0 0 0 20 0 1 0 850052516 12079104 53 33554432000 4194304 5432328 140736713474352 18446744073709551615 5055479 0 2147483391 4096 24578 18446744071699199166 0 0 17 0 0 0 0
/proc/15075/statm: 2949 53 34 303 0 2643 0
[startup+0.0433499 s]
/proc/loadavg: 0.31 0.07 0.02 1/434 15075
/proc/meminfo: memFree=24831712/32951124 swapFree=50923800/67111528
[pid=15075] ppid=15071 vsize=6240 CPUtime=0 cores=0,2,4,6
/proc/15075/stat : 15075 (python) D 15071 15075 15040 0 -1 4194304 97 0 2 0 0 0 0 0 18 0 1 0 850052516 6389760 51 33554432000 4194304 5683644 140734419056832 18446744073709551615 270333460103 0 0 4096 0 0 0 0 17 2 0 0 2
/proc/15075/statm: 1560 51 40 364 0 42 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 6240
[startup+0.100375 s]
/proc/loadavg: 0.31 0.07 0.02 1/434 15075
/proc/meminfo: memFree=24831712/32951124 swapFree=50923800/67111528
[pid=15075] ppid=15071 vsize=14820 CPUtime=0 cores=0,2,4,6
/proc/15075/stat : 15075 (python) S 15071 15075 15040 0 -1 4202496 506 0 6 0 0 0 0 0 17 0 1 0 850052516 15175680 419 33554432000 4194304 5683644 140734419056832 18446744073709551615 270338379621 0 2147483391 4096 0 18446744071699199166 0 0 17 2 0 0 4
/proc/15075/statm: 3705 419 259 364 0 192 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 14820
[startup+0.300336 s]
/proc/loadavg: 0.31 0.07 0.02 1/434 15075
/proc/meminfo: memFree=24831712/32951124 swapFree=50923800/67111528
[pid=15075] ppid=15071 vsize=15776 CPUtime=0 cores=0,2,4,6
/proc/15075/stat : 15075 (python) S 15071 15075 15040 0 -1 4202496 890 0 6 0 0 0 0 0 16 0 1 0 850052516 16154624 777 33554432000 4194304 5683644 140734419056832 18446744073709551615 270338381824 0 2147483391 16781312 2 18446744071699199166 0 0 17 2 0 0 6
/proc/15075/statm: 3944 777 343 364 0 431 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 15776
[startup+0.700217 s]
/proc/loadavg: 0.31 0.07 0.02 1/434 15075
/proc/meminfo: memFree=24831712/32951124 swapFree=50923800/67111528
[pid=15075] ppid=15071 vsize=16396 CPUtime=0.01 cores=0,2,4,6
/proc/15075/stat : 15075 (python) S 15071 15075 15040 0 -1 4202496 1112 0 6 0 1 0 0 0 15 0 1 0 850052516 16789504 985 33554432000 4194304 5683644 140734419056832 18446744073709551615 270338379621 0 2147483391 16781312 2 18446744071699199166 0 0 17 2 0 0 10
/proc/15075/statm: 4099 985 409 364 0 586 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 16396
[startup+1.50113 s]
/proc/loadavg: 0.31 0.07 0.02 1/438 15079
/proc/meminfo: memFree=24823916/32951124 swapFree=50923800/67111528
[pid=15075] ppid=15071 vsize=16396 CPUtime=0.01 cores=0,2,4,6
/proc/15075/stat : 15075 (python) D 15071 15075 15040 0 -1 4202496 1118 0 6 0 1 0 0 0 16 0 1 0 850052516 16789504 990 33554432000 4194304 5683644 140734419056832 18446744073709551615 270338381824 0 0 16781312 2 0 0 0 17 2 0 0 12
/proc/15075/statm: 4099 990 413 364 0 586 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 16396
[startup+3.10078 s]
/proc/loadavg: 0.36 0.08 0.03 1/438 15079
/proc/meminfo: memFree=24824476/32951124 swapFree=50923800/67111528
[pid=15075] ppid=15071 vsize=16816 CPUtime=0.01 cores=0,2,4,6
/proc/15075/stat : 15075 (python) D 15071 15075 15040 0 -1 4202496 1223 0 6 0 1 0 0 0 16 0 1 0 850052516 17219584 1086 33554432000 4194304 5683644 140734419056832 18446744073709551615 270338381824 0 0 16781312 2 0 0 0 17 2 0 0 42
/proc/15075/statm: 4204 1086 417 364 0 691 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 16816
heavy processes:
[startup+6.30113 s]
/proc/loadavg: 0.36 0.08 0.03 1/438 15079
/proc/meminfo: memFree=24822604/32951124 swapFree=50923800/67111528
[pid=15075] ppid=15071 vsize=23208 CPUtime=0.04 cores=0,2,4,6
/proc/15075/stat : 15075 (python) D 15071 15075 15040 0 -1 4202496 1323 0 9 0 3 1 0 0 16 0 1 0 850052516 23764992 1179 33554432000 4194304 5683644 140734419056832 18446744073709551615 270338381824 0 0 16781312 2 0 0 0 17 2 0 0 52
/proc/15075/statm: 5802 1179 432 364 0 729 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 23208
heavy processes:
[startup+12.7009 s]
/proc/loadavg: 0.39 0.09 0.03 1/438 15079
/proc/meminfo: memFree=24818176/32951124 swapFree=50923800/67111528
[pid=15075] ppid=15071 vsize=38908 CPUtime=0.07 cores=0,2,4,6
/proc/15075/stat : 15075 (python) R 15071 15075 15040 0 -1 4202496 1618 0 14 0 5 2 0 0 15 0 1 0 850052516 39841792 1460 33554432000 4194304 5683644 140734419056832 18446744073709551615 270338379700 0 2147483391 16781312 2 0 0 0 17 2 0 0 88
/proc/15075/statm: 9727 1465 455 364 0 1027 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 38908
heavy processes:
[startup+25.5004 s]
/proc/loadavg: 0.40 0.11 0.03 1/438 15088
/proc/meminfo: memFree=24772256/32951124 swapFree=50923800/67111528
[pid=15075] ppid=15071 vsize=215060 CPUtime=0.4 cores=0,2,4,6
/proc/15075/stat : 15075 (python) D 15071 15075 15040 0 -1 4202496 6957 923 89 9 26 14 0 0 15 0 1 0 850052516 220221440 5275 33554432000 4194304 5683644 140734419056832 18446744073709551615 270338189083 0 0 16781312 2 0 0 0 17 2 0 0 286
/proc/15075/statm: 53765 5275 1523 364 0 3949 0
Current children cumulated CPU time (s) 0.4
Current children cumulated vsize (KiB) 215060
heavy processes:
Solver just ended. Dumping a history of the last processes samples
[startup+28.7007 s]
/proc/loadavg: 0.45 0.12 0.04 1/438 15088
/proc/meminfo: memFree=24755656/32951124 swapFree=50923800/67111528
[pid=15075] ppid=15071 vsize=261408 CPUtime=0.55 cores=0,2,4,6
/proc/15075/stat : 15075 (python) R 15071 15075 15040 0 -1 4202496 8147 923 113 9 36 19 0 0 15 0 1 0 850052516 267681792 6352 33554432000 4194304 5683644 140734419056832 18446744073709551615 270338381824 0 2147483391 16781312 2 0 0 0 17 2 0 0 340
/proc/15075/statm: 65352 6352 1677 364 0 5068 0
Current children cumulated CPU time (s) 0.55
Current children cumulated vsize (KiB) 261408
[startup+29.5005 s]
/proc/loadavg: 0.45 0.12 0.04 1/438 15088
/proc/meminfo: memFree=24755656/32951124 swapFree=50923800/67111528
[pid=15075] ppid=15071 vsize=293512 CPUtime=0.66 cores=0,2,4,6
/proc/15075/stat : 15075 (python) S 15071 15075 15040 0 -1 4202496 9592 923 116 9 46 20 0 0 17 0 2 0 850052516 300556288 7217 33554432000 4194304 5683644 140734419056832 18446744073709551615 270350210507 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 342
/proc/15075/statm: 73378 7217 1870 364 0 8265 0
Current children cumulated CPU time (s) 0.66
Current children cumulated vsize (KiB) 293512
[startup+29.9014 s]
/proc/loadavg: 0.45 0.12 0.04 2/450 15100
/proc/meminfo: memFree=24726052/32951124 swapFree=50923800/67111528
[pid=15075] ppid=15071 vsize=293512 CPUtime=0.66 cores=0,2,4,6
/proc/15075/stat : 15075 (python) S 15071 15075 15040 0 -1 4202496 9592 923 116 9 46 20 0 0 17 0 2 0 850052516 300556288 7217 33554432000 4194304 5683644 140734419056832 18446744073709551615 270350210507 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 342
/proc/15075/statm: 73378 7217 1870 364 0 8265 0
[pid=15089] ppid=15075 vsize=283268 CPUtime=0 cores=0,2,4,6
/proc/15089/stat : 15089 (python) S 15075 15075 15040 0 -1 4202560 699 0 0 0 0 0 0 0 17 0 1 0 850055444 290066432 5692 33554432000 4194304 5683644 140734419056832 18446744073709551615 270338403855 0 0 16781312 33554946 9148748839807582466 0 0 17 2 0 0 0
/proc/15089/statm: 70817 5692 349 364 0 5704 0
[pid=15091] ppid=15089 vsize=8460204 CPUtime=0.04 cores=0,2,4,6
/proc/15091/stat : 15091 (java) S 15089 15091 15091 0 -1 4202496 3712 0 100 0 3 1 0 0 17 0 13 0 850055445 8663248896 3280 33554432000 1073741824 1073778376 140734265184048 18446744073709551615 270350186469 0 0 0 16800971 18446744073709551615 0 0 17 6 0 0 12
/proc/15091/statm: 2115051 3280 1685 9 0 2105799 0
[pid=15091/tid=15092] ppid=15089 vsize=8460204 CPUtime=0.03 cores=0,2,4,6
/proc/15091/task/15092/stat : 15092 (java) D 15089 15091 15091 0 -1 4202560 2388 0 48 0 3 0 0 0 17 0 13 0 850055466 8663248896 3280 33554432000 1073741824 1073778376 140734265184048 18446744073709551615 270350210507 0 4 0 16800971 18446744071562234166 0 0 -1 6 0 0 27
[pid=15091/tid=15093] ppid=15089 vsize=8460204 CPUtime=0 cores=0,2,4,6
/proc/15091/task/15093/stat : 15093 (java) S 15089 15091 15091 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 13 0 850055474 8663248896 3280 33554432000 1073741824 1073778376 140734265184048 18446744073709551615 270350199705 0 4 0 16800971 18446604450860934336 0 0 -1 6 0 0 0
[pid=15091/tid=15094] ppid=15089 vsize=8460204 CPUtime=0 cores=0,2,4,6
/proc/15091/task/15094/stat : 15094 (java) S 15089 15091 15091 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 13 0 850055474 8663248896 3280 33554432000 1073741824 1073778376 140734265184048 18446744073709551615 270350199705 0 4 0 16800971 18446604450860934336 0 0 -1 6 0 0 0
[pid=15091/tid=15095] ppid=15089 vsize=8460204 CPUtime=0 cores=0,2,4,6
/proc/15091/task/15095/stat : 15095 (java) S 15089 15091 15091 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 13 0 850055474 8663248896 3280 33554432000 1073741824 1073778376 140734265184048 18446744073709551615 270350199705 0 4 0 16800971 18446604450860934336 0 0 -1 6 0 0 0
[pid=15091/tid=15096] ppid=15089 vsize=8460204 CPUtime=0 cores=0,2,4,6
/proc/15091/task/15096/stat : 15096 (java) S 15089 15091 15091 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 13 0 850055474 8663248896 3280 33554432000 1073741824 1073778376 140734265184048 18446744073709551615 270350199705 0 4 0 16800971 18446604450860934336 0 0 -1 6 0 0 0
[pid=15091/tid=15097] ppid=15089 vsize=8460204 CPUtime=0 cores=0,2,4,6
/proc/15091/task/15097/stat : 15097 (java) S 15089 15091 15091 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 13 0 850055474 8663248896 3280 33554432000 1073741824 1073778376 140734265184048 18446744073709551615 270350199705 0 4 0 16800971 18446604450860934336 0 0 -1 6 0 0 0
[pid=15091/tid=15098] ppid=15089 vsize=8460204 CPUtime=0 cores=0,2,4,6
/proc/15091/task/15098/stat : 15098 (java) S 15089 15091 15091 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 13 0 850055474 8663248896 3280 33554432000 1073741824 1073778376 140734265184048 18446744073709551615 270350199705 0 4 0 16800971 18446604450860934336 0 0 -1 6 0 0 0
[pid=15091/tid=15099] ppid=15089 vsize=8460204 CPUtime=0 cores=0,2,4,6
/proc/15091/task/15099/stat : 15099 (java) S 15089 15091 15091 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 13 0 850055474 8663248896 3280 33554432000 1073741824 1073778376 140734265184048 18446744073709551615 270350199705 0 4 0 16800971 18446604450860934336 0 0 -1 6 0 0 0
[pid=15091/tid=15100] ppid=15089 vsize=8460204 CPUtime=0 cores=0,2,4,6
/proc/15091/task/15100/stat : 15100 (java) S 15089 15091 15091 0 -1 4202560 2 0 0 0 0 0 0 0 19 0 13 0 850055474 8663248896 3280 33554432000 1073741824 1073778376 140734265184048 18446744073709551615 270350199705 0 4 0 16800971 18446604450860934336 0 0 -1 6 0 0 0
[pid=15075/tid=15090] ppid=15071 vsize=293512 CPUtime=0 cores=0,2,4,6
/proc/15075/task/15090/stat : 15090 (python) S 15071 15075 15040 0 -1 4202560 26 923 0 9 0 0 0 0 17 0 2 0 850055444 300556288 7217 33554432000 4194304 5683644 140734419056832 18446744073709551615 270350207409 0 0 16781312 33554434 18446604450860936128 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 9036984
[startup+30.3013 s]
/proc/loadavg: 0.45 0.12 0.04 2/450 15100
/proc/meminfo: memFree=24726052/32951124 swapFree=50923800/67111528
[pid=15075] ppid=15071 vsize=293512 CPUtime=0.66 cores=0,2,4,6
/proc/15075/stat : 15075 (python) S 15071 15075 15040 0 -1 4202496 9592 923 116 9 46 20 0 0 17 0 2 0 850052516 300556288 7217 33554432000 4194304 5683644 140734419056832 18446744073709551615 270350210507 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 342
/proc/15075/statm: 73378 7217 1870 364 0 8265 0
[pid=15089] ppid=15075 vsize=283268 CPUtime=0 cores=0,2,4,6
/proc/15089/stat : 15089 (python) S 15075 15075 15040 0 -1 4202560 754 0 0 0 0 0 0 0 15 0 1 0 850055444 290066432 5695 33554432000 4194304 5683644 140734419056832 18446744073709551615 270338403855 0 0 16781312 33554946 9148756398950023426 0 0 17 2 0 0 0
/proc/15089/statm: 70817 5695 352 364 0 5704 0
[pid=15091] ppid=15089 vsize=8538412 CPUtime=0.53 cores=0,2,4,6
/proc/15091/stat : 15091 (java) S 15089 15091 15091 0 -1 4202496 9866 0 106 0 51 2 0 0 17 0 19 0 850055445 8743333888 8503 33554432000 1073741824 1073778376 140734265184048 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 12
/proc/15091/statm: 2134603 8503 2200 9 0 2125344 0
[pid=15091/tid=15092] ppid=15089 vsize=8538412 CPUtime=0.28 cores=0,2,4,6
/proc/15091/task/15092/stat : 15092 (java) R 15089 15091 15091 0 -1 4202560 4841 0 48 0 27 1 0 0 19 0 19 0 850055466 8743333888 8503 33554432000 1073741824 1073778376 140734265184048 18446744073709551615 46912505200051 0 4 0 16800975 0 0 0 -1 6 0 0 41
[pid=15091/tid=15093] ppid=15089 vsize=8538412 CPUtime=0 cores=0,2,4,6
/proc/15091/task/15093/stat : 15093 (java) S 15089 15091 15091 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 850055474 8743333888 8503 33554432000 1073741824 1073778376 140734265184048 18446744073709551615 270350199705 0 4 0 16800975 18446604450860934336 0 0 -1 6 0 0 0
[pid=15091/tid=15094] ppid=15089 vsize=8538412 CPUtime=0 cores=0,2,4,6
/proc/15091/task/15094/stat : 15094 (java) S 15089 15091 15091 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 850055474 8743333888 8503 33554432000 1073741824 1073778376 140734265184048 18446744073709551615 270350199705 0 4 0 16800975 18446604450860934336 0 0 -1 6 0 0 0
[pid=15091/tid=15095] ppid=15089 vsize=8538412 CPUtime=0 cores=0,2,4,6
/proc/15091/task/15095/stat : 15095 (java) S 15089 15091 15091 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 850055474 8743333888 8503 33554432000 1073741824 1073778376 140734265184048 18446744073709551615 270350199705 0 4 0 16800975 18446604450860934336 0 0 -1 6 0 0 0
[pid=15091/tid=15096] ppid=15089 vsize=8538412 CPUtime=0 cores=0,2,4,6
/proc/15091/task/15096/stat : 15096 (java) S 15089 15091 15091 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 850055474 8743333888 8503 33554432000 1073741824 1073778376 140734265184048 18446744073709551615 270350199705 0 4 0 16800975 18446604450860934336 0 0 -1 6 0 0 0
[pid=15091/tid=15097] ppid=15089 vsize=8538412 CPUtime=0 cores=0,2,4,6
/proc/15091/task/15097/stat : 15097 (java) S 15089 15091 15091 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 850055474 8743333888 8503 33554432000 1073741824 1073778376 140734265184048 18446744073709551615 270350199705 0 4 0 16800975 18446604450860934336 0 0 -1 6 0 0 0
[pid=15091/tid=15098] ppid=15089 vsize=8538412 CPUtime=0 cores=0,2,4,6
/proc/15091/task/15098/stat : 15098 (java) S 15089 15091 15091 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 850055474 8743333888 8503 33554432000 1073741824 1073778376 140734265184048 18446744073709551615 270350199705 0 4 0 16800975 18446604450860934336 0 0 -1 6 0 0 0
[pid=15091/tid=15099] ppid=15089 vsize=8538412 CPUtime=0 cores=0,2,4,6
/proc/15091/task/15099/stat : 15099 (java) S 15089 15091 15091 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 850055474 8743333888 8503 33554432000 1073741824 1073778376 140734265184048 18446744073709551615 270350199705 0 4 0 16800975 18446604450860934336 0 0 -1 6 0 0 0
[pid=15091/tid=15100] ppid=15089 vsize=8538412 CPUtime=0 cores=0,2,4,6
/proc/15091/task/15100/stat : 15100 (java) S 15089 15091 15091 0 -1 4202560 2 0 0 0 0 0 0 0 19 0 19 0 850055474 8743333888 8503 33554432000 1073741824 1073778376 140734265184048 18446744073709551615 270350199705 0 4 0 16800975 18446604450860934336 0 0 -1 6 0 0 0
[pid=15075/tid=15090] ppid=15071 vsize=293512 CPUtime=0 cores=0,2,4,6
/proc/15075/task/15090/stat : 15090 (python) S 15071 15075 15040 0 -1 4202560 26 923 0 9 0 0 0 0 17 0 2 0 850055444 300556288 7217 33554432000 4194304 5683644 140734419056832 18446744073709551615 270350207409 0 0 16781312 33554434 18446604450860936128 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.19
Current children cumulated vsize (KiB) 9115192
[startup+30.4013 s]
/proc/loadavg: 0.45 0.12 0.04 2/450 15100
/proc/meminfo: memFree=24726052/32951124 swapFree=50923800/67111528
[pid=15075] ppid=15071 vsize=293512 CPUtime=0.66 cores=0,2,4,6
/proc/15075/stat : 15075 (python) S 15071 15075 15040 0 -1 4202496 9592 923 116 9 46 20 0 0 17 0 2 0 850052516 300556288 7217 33554432000 4194304 5683644 140734419056832 18446744073709551615 270350210507 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 342
/proc/15075/statm: 73378 7217 1870 364 0 8265 0
[pid=15089] ppid=15075 vsize=283268 CPUtime=0 cores=0,2,4,6
/proc/15089/stat : 15089 (python) S 15075 15075 15040 0 -1 4202560 754 0 0 0 0 0 0 0 15 0 1 0 850055444 290066432 5695 33554432000 4194304 5683644 140734419056832 18446744073709551615 270338403855 0 0 16781312 33554946 9148756398950023426 0 0 17 2 0 0 0
/proc/15089/statm: 70817 5695 352 364 0 5704 0
[pid=15091] ppid=15089 vsize=8538040 CPUtime=0.81 cores=0,2,4,6
/proc/15091/stat : 15091 (java) S 15089 15091 15091 0 -1 4202496 10656 0 106 0 78 3 0 0 17 0 19 0 850055445 8742952960 8714 33554432000 1073741824 1073778376 140734265184048 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 12
/proc/15091/statm: 2134510 8714 2209 9 0 2125251 0
[pid=15091/tid=15092] ppid=15089 vsize=8538040 CPUtime=0.38 cores=0,2,4,6
/proc/15091/task/15092/stat : 15092 (java) R 15089 15091 15091 0 -1 4202560 4892 0 48 0 37 1 0 0 19 0 19 0 850055466 8742952960 8714 33554432000 1073741824 1073778376 140734265184048 18446744073709551615 47782959637118 0 4 0 16800975 0 0 0 -1 6 0 0 41
[pid=15091/tid=15093] ppid=15089 vsize=8538040 CPUtime=0 cores=0,2,4,6
/proc/15091/task/15093/stat : 15093 (java) S 15089 15091 15091 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 850055474 8742952960 8714 33554432000 1073741824 1073778376 140734265184048 18446744073709551615 270350199705 0 4 0 16800975 18446604450860934336 0 0 -1 6 0 0 0
[pid=15091/tid=15094] ppid=15089 vsize=8538040 CPUtime=0 cores=0,2,4,6
/proc/15091/task/15094/stat : 15094 (java) S 15089 15091 15091 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 850055474 8742952960 8714 33554432000 1073741824 1073778376 140734265184048 18446744073709551615 270350199705 0 4 0 16800975 18446604450860934336 0 0 -1 6 0 0 0
[pid=15091/tid=15095] ppid=15089 vsize=8538040 CPUtime=0 cores=0,2,4,6
/proc/15091/task/15095/stat : 15095 (java) S 15089 15091 15091 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 850055474 8742952960 8714 33554432000 1073741824 1073778376 140734265184048 18446744073709551615 270350199705 0 4 0 16800975 18446604450860934336 0 0 -1 6 0 0 0
[pid=15091/tid=15096] ppid=15089 vsize=8538040 CPUtime=0 cores=0,2,4,6
/proc/15091/task/15096/stat : 15096 (java) S 15089 15091 15091 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 850055474 8742952960 8714 33554432000 1073741824 1073778376 140734265184048 18446744073709551615 270350199705 0 4 0 16800975 18446604450860934336 0 0 -1 6 0 0 0
[pid=15091/tid=15097] ppid=15089 vsize=8538040 CPUtime=0 cores=0,2,4,6
/proc/15091/task/15097/stat : 15097 (java) S 15089 15091 15091 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 850055474 8742952960 8714 33554432000 1073741824 1073778376 140734265184048 18446744073709551615 270350199705 0 4 0 16800975 18446604450860934336 0 0 -1 6 0 0 0
[pid=15091/tid=15098] ppid=15089 vsize=8538040 CPUtime=0 cores=0,2,4,6
/proc/15091/task/15098/stat : 15098 (java) S 15089 15091 15091 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 850055474 8742952960 8714 33554432000 1073741824 1073778376 140734265184048 18446744073709551615 270350199705 0 4 0 16800975 18446604450860934336 0 0 -1 6 0 0 0
[pid=15091/tid=15099] ppid=15089 vsize=8538040 CPUtime=0 cores=0,2,4,6
/proc/15091/task/15099/stat : 15099 (java) S 15089 15091 15091 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 850055474 8742952960 8714 33554432000 1073741824 1073778376 140734265184048 18446744073709551615 270350199705 0 4 0 16800975 18446604450860934336 0 0 -1 6 0 0 0
[pid=15091/tid=15100] ppid=15089 vsize=8538040 CPUtime=0 cores=0,2,4,6
/proc/15091/task/15100/stat : 15100 (java) S 15089 15091 15091 0 -1 4202560 2 0 0 0 0 0 0 0 19 0 19 0 850055474 8742952960 8714 33554432000 1073741824 1073778376 140734265184048 18446744073709551615 270350199705 0 4 0 16800975 18446604450860934336 0 0 -1 6 0 0 0
[pid=15075/tid=15090] ppid=15071 vsize=293512 CPUtime=0 cores=0,2,4,6
/proc/15075/task/15090/stat : 15090 (python) S 15071 15075 15040 0 -1 4202560 26 923 0 9 0 0 0 0 17 0 2 0 850055444 300556288 7217 33554432000 4194304 5683644 140734419056832 18446744073709551615 270350207409 0 0 16781312 33554434 18446604450860936128 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 9114820
Child status: 0
Real time (s): 30.4698
CPU time (s): 1.59376
CPU user time (s): 1.3348
CPU system time (s): 0.25896
CPU usage (%): 5.23061
Max. virtual memory (cumulated for all children) (KiB): 9115192
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.3348
system time used= 0.25896
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 27025
page faults= 231
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 20240
involuntary context switches= 66
runsolver used 0.157975 second user time and 0.335948 second system time
The end