runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
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-3492840-1307911848/watcher-3492840-1307911848 -o /tmp/evaluation-result-3492840-1307911848/solver-3492840-1307911848 -C 1800 -W 1900 -M 15500 java -Xms10000m -Xmx10000m -jar sat4j-pb.jar Resolution HOME/instance-3492840-1307911848.wbo
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.04 2.04 2.00 3/195 3147
/proc/meminfo: memFree=1470088/32951124 swapFree=67050916/67111528
[pid=3147] ppid=3145 vsize=5592 CPUtime=0 cores=1,3,5,7
/proc/3147/stat : 3147 (java) R 3145 3147 648 0 -1 4194304 290 0 0 0 0 0 0 0 25 0 1 0 883601103 5726208 53 33554432000 1073741824 1073778376 140734589608256 18446744073709551615 212034731655 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/3147/statm: 2254 57 44 9 0 28 0
[startup+0.0329539 s]
/proc/loadavg: 2.04 2.04 2.00 3/195 3147
/proc/meminfo: memFree=1470088/32951124 swapFree=67050916/67111528
[pid=3147] ppid=3145 vsize=10455012 CPUtime=0.02 cores=1,3,5,7
/proc/3147/stat : 3147 (java) S 3145 3147 648 0 -1 4202496 10785 0 1 0 1 1 0 0 25 0 10 0 883601103 10705932288 10483 33554432000 1073741824 1073778376 140734589608256 18446744073709551615 212051458021 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0
/proc/3147/statm: 2613753 10484 1515 9 0 2604501 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 10455012
[startup+0.104982 s]
/proc/loadavg: 2.04 2.04 2.00 3/195 3147
/proc/meminfo: memFree=1470088/32951124 swapFree=67050916/67111528
[pid=3147] ppid=3145 vsize=10540088 CPUtime=0.11 cores=1,3,5,7
/proc/3147/stat : 3147 (java) S 3145 3147 648 0 -1 4202496 13072 0 1 0 9 2 0 0 25 0 18 0 883601103 10793050112 12768 33554432000 1073741824 1073778376 140734589608256 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/3147/statm: 2635022 12768 2093 9 0 2625756 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 10540088
[startup+0.300904 s]
/proc/loadavg: 2.04 2.04 2.00 3/195 3147
/proc/meminfo: memFree=1470088/32951124 swapFree=67050916/67111528
[pid=3147] ppid=3145 vsize=10543952 CPUtime=0.48 cores=1,3,5,7
/proc/3147/stat : 3147 (java) S 3145 3147 648 0 -1 4202496 17188 0 1 0 46 2 0 0 25 0 18 0 883601103 10797006848 16681 33554432000 1073741824 1073778376 140734589608256 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/3147/statm: 2635988 16681 2201 9 0 2626722 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 10543952
[startup+0.700831 s]
/proc/loadavg: 2.04 2.04 2.00 3/195 3147
/proc/meminfo: memFree=1470088/32951124 swapFree=67050916/67111528
[pid=3147] ppid=3145 vsize=10545264 CPUtime=1.18 cores=1,3,5,7
/proc/3147/stat : 3147 (java) S 3145 3147 648 0 -1 4202496 55092 0 1 0 111 7 0 0 25 0 18 0 883601103 10798350336 52955 33554432000 1073741824 1073778376 140734589608256 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/3147/statm: 2636316 52955 2227 9 0 2627050 0
Current children cumulated CPU time (s) 1.18
Current children cumulated vsize (KiB) 10545264
[startup+1.50072 s]
/proc/loadavg: 2.04 2.04 2.00 3/214 3167
/proc/meminfo: memFree=1260828/32951124 swapFree=67050916/67111528
[pid=3147] ppid=3145 vsize=10546272 CPUtime=2.39 cores=1,3,5,7
/proc/3147/stat : 3147 (java) S 3145 3147 648 0 -1 4202496 57301 0 1 0 231 8 0 0 25 0 19 0 883601103 10799382528 54493 33554432000 1073741824 1073778376 140734589608256 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/3147/statm: 2636568 54493 2238 9 0 2627302 0
[pid=3147/tid=3149] ppid=3145 vsize=10546272 CPUtime=1.48 cores=1,3,5,7
/proc/3147/task/3149/stat : 3149 (java) R 3145 3147 648 0 -1 4202560 50641 0 1 0 141 7 0 0 25 0 19 0 883601103 10799382528 54493 33554432000 1073741824 1073778376 140734589608256 18446744073709551615 46912505984302 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=3147/tid=3150] ppid=3145 vsize=10546272 CPUtime=0 cores=1,3,5,7
/proc/3147/task/3150/stat : 3150 (java) S 3145 3147 648 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 883601105 10799382528 54493 33554432000 1073741824 1073778376 140734589608256 18446744073709551615 212051471257 0 4 0 16800975 18446604471124069184 0 0 -1 7 0 0 0
[pid=3147/tid=3151] ppid=3145 vsize=10546272 CPUtime=0 cores=1,3,5,7
/proc/3147/task/3151/stat : 3151 (java) S 3145 3147 648 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 883601105 10799382528 54493 33554432000 1073741824 1073778376 140734589608256 18446744073709551615 212051471257 0 4 0 16800975 18446604471124069184 0 0 -1 7 0 0 0
[pid=3147/tid=3152] ppid=3145 vsize=10546272 CPUtime=0 cores=1,3,5,7
/proc/3147/task/3152/stat : 3152 (java) S 3145 3147 648 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 883601105 10799382528 54493 33554432000 1073741824 1073778376 140734589608256 18446744073709551615 212051471257 0 4 0 16800975 18446604471124069184 0 0 -1 7 0 0 0
[pid=3147/tid=3153] ppid=3145 vsize=10546272 CPUtime=0 cores=1,3,5,7
/proc/3147/task/3153/stat : 3153 (java) S 3145 3147 648 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 883601105 10799382528 54493 33554432000 1073741824 1073778376 140734589608256 18446744073709551615 212051471257 0 4 0 16800975 18446604471124069184 0 0 -1 7 0 0 0
[pid=3147/tid=3154] ppid=3145 vsize=10546272 CPUtime=0 cores=1,3,5,7
/proc/3147/task/3154/stat : 3154 (java) S 3145 3147 648 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 883601105 10799382528 54493 33554432000 1073741824 1073778376 140734589608256 18446744073709551615 212051471257 0 4 0 16800975 18446604471124069184 0 0 -1 3 0 0 0
[pid=3147/tid=3156] ppid=3145 vsize=10546272 CPUtime=0 cores=1,3,5,7
/proc/3147/task/3156/stat : 3156 (java) S 3145 3147 648 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 883601105 10799382528 54493 33554432000 1073741824 1073778376 140734589608256 18446744073709551615 212051471257 0 4 0 16800975 18446604471124069184 0 0 -1 3 0 0 0
[pid=3147/tid=3157] ppid=3145 vsize=10546272 CPUtime=0 cores=1,3,5,7
/proc/3147/task/3157/stat : 3157 (java) S 3145 3147 648 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 883601105 10799382528 54493 33554432000 1073741824 1073778376 140734589608256 18446744073709551615 212051471257 0 4 0 16800975 18446604471124069184 0 0 -1 7 0 0 0
[pid=3147/tid=3158] ppid=3145 vsize=10546272 CPUtime=0 cores=1,3,5,7
/proc/3147/task/3158/stat : 3158 (java) S 3145 3147 648 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 883601105 10799382528 54493 33554432000 1073741824 1073778376 140734589608256 18446744073709551615 212051471257 0 4 0 16800975 18446604471124069184 0 0 -1 7 0 0 0
[pid=3147/tid=3159] ppid=3145 vsize=10546272 CPUtime=0 cores=1,3,5,7
/proc/3147/task/3159/stat : 3159 (java) S 3145 3147 648 0 -1 4202560 6 0 0 0 0 0 0 0 17 0 19 0 883601106 10799382528 54493 33554432000 1073741824 1073778376 140734589608256 18446744073709551615 212051471872 0 0 0 16800975 18446604471124069184 0 0 -1 5 0 0 0
[pid=3147/tid=3160] ppid=3145 vsize=10546272 CPUtime=0 cores=1,3,5,7
/proc/3147/task/3160/stat : 3160 (java) S 3145 3147 648 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 883601107 10799382528 54493 33554432000 1073741824 1073778376 140734589608256 18446744073709551615 212051471257 0 4 0 16800975 18446604471124069184 0 0 -1 1 0 0 0
[pid=3147/tid=3161] ppid=3145 vsize=10546272 CPUtime=0 cores=1,3,5,7
/proc/3147/task/3161/stat : 3161 (java) S 3145 3147 648 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 883601107 10799382528 54493 33554432000 1073741824 1073778376 140734589608256 18446744073709551615 212051471257 0 4 0 16800975 18446604471124069184 0 0 -1 5 0 0 0
[pid=3147/tid=3162] ppid=3145 vsize=10546272 CPUtime=0 cores=1,3,5,7
/proc/3147/task/3162/stat : 3162 (java) S 3145 3147 648 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 883601109 10799382528 54493 33554432000 1073741824 1073778376 140734589608256 18446744073709551615 212051478961 0 4 0 16800975 18446604471124069184 0 0 -1 1 0 0 0
[pid=3147/tid=3163] ppid=3145 vsize=10546272 CPUtime=0.45 cores=1,3,5,7
/proc/3147/task/3163/stat : 3163 (java) S 3145 3147 648 0 -1 4202560 1626 0 0 0 45 0 0 0 16 0 19 0 883601109 10799382528 54493 33554432000 1073741824 1073778376 140734589608256 18446744073709551615 212051471257 0 4 0 16800975 18446604471124069184 0 0 -1 1 0 0 0
[pid=3147/tid=3164] ppid=3145 vsize=10546272 CPUtime=0.44 cores=1,3,5,7
/proc/3147/task/3164/stat : 3164 (java) S 3145 3147 648 0 -1 4202560 3872 0 0 0 44 0 0 0 16 0 19 0 883601109 10799382528 54493 33554432000 1073741824 1073778376 140734589608256 18446744073709551615 212051471257 0 4 0 16800975 18446604471124069184 0 0 -1 3 0 0 0
[pid=3147/tid=3165] ppid=3145 vsize=10546272 CPUtime=0 cores=1,3,5,7
/proc/3147/task/3165/stat : 3165 (java) S 3145 3147 648 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 883601109 10799382528 54493 33554432000 1073741824 1073778376 140734589608256 18446744073709551615 212051471257 0 4 0 16800975 18446604471124069184 0 0 -1 1 0 0 0
[pid=3147/tid=3166] ppid=3145 vsize=10546272 CPUtime=0 cores=1,3,5,7
/proc/3147/task/3166/stat : 3166 (java) S 3145 3147 648 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 883601109 10799382528 54493 33554432000 1073741824 1073778376 140734589608256 18446744073709551615 212051471872 0 4 0 16800975 18446604471124069184 0 0 -1 5 0 0 0
[pid=3147/tid=3167] ppid=3145 vsize=10546272 CPUtime=0 cores=1,3,5,7
/proc/3147/task/3167/stat : 3167 (java) S 3145 3147 648 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 19 0 883601188 10799382528 54493 33554432000 1073741824 1073778376 140734589608256 18446744073709551615 212051471872 0 4 0 16800975 18446604471124069184 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.39
Current children cumulated vsize (KiB) 10546272
[startup+3.10142 s]
/proc/loadavg: 2.04 2.04 2.00 3/214 3167
/proc/meminfo: memFree=1258964/32951124 swapFree=67050916/67111528
[pid=3147] ppid=3145 vsize=10546272 CPUtime=4.1 cores=1,3,5,7
/proc/3147/stat : 3147 (java) S 3145 3147 648 0 -1 4202496 61447 0 1 0 402 8 0 0 25 0 19 0 883601103 10799382528 58637 33554432000 1073741824 1073778376 140734589608256 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/3147/statm: 2636568 58637 2239 9 0 2627302 0
[pid=3147/tid=3149] ppid=3145 vsize=10546272 CPUtime=3.07 cores=1,3,5,7
/proc/3147/task/3149/stat : 3149 (java) R 3145 3147 648 0 -1 4202560 54778 0 1 0 300 7 0 0 25 0 19 0 883601103 10799382528 58637 33554432000 1073741824 1073778376 140734589608256 18446744073709551615 46912505194936 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=3147/tid=3150] ppid=3145 vsize=10546272 CPUtime=0 cores=1,3,5,7
/proc/3147/task/3150/stat : 3150 (java) S 3145 3147 648 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 883601105 10799382528 58637 33554432000 1073741824 1073778376 140734589608256 18446744073709551615 212051471257 0 4 0 16800975 18446604471124069184 0 0 -1 7 0 0 0
[pid=3147/tid=3151] ppid=3145 vsize=10546272 CPUtime=0 cores=1,3,5,7
/proc/3147/task/3151/stat : 3151 (java) S 3145 3147 648 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 883601105 10799382528 58637 33554432000 1073741824 1073778376 140734589608256 18446744073709551615 212051471257 0 4 0 16800975 18446604471124069184 0 0 -1 7 0 0 0
[pid=3147/tid=3152] ppid=3145 vsize=10546272 CPUtime=0 cores=1,3,5,7
/proc/3147/task/3152/stat : 3152 (java) S 3145 3147 648 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 883601105 10799382528 58637 33554432000 1073741824 1073778376 140734589608256 18446744073709551615 212051471257 0 4 0 16800975 18446604471124069184 0 0 -1 7 0 0 0
[pid=3147/tid=3153] ppid=3145 vsize=10546272 CPUtime=0 cores=1,3,5,7
/proc/3147/task/3153/stat : 3153 (java) S 3145 3147 648 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 883601105 10799382528 58637 33554432000 1073741824 1073778376 140734589608256 18446744073709551615 212051471257 0 4 0 16800975 18446604471124069184 0 0 -1 7 0 0 0
[pid=3147/tid=3154] ppid=3145 vsize=10546272 CPUtime=0 cores=1,3,5,7
/proc/3147/task/3154/stat : 3154 (java) S 3145 3147 648 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 883601105 10799382528 58637 33554432000 1073741824 1073778376 140734589608256 18446744073709551615 212051471257 0 4 0 16800975 18446604471124069184 0 0 -1 3 0 0 0
[pid=3147/tid=3156] ppid=3145 vsize=10546272 CPUtime=0 cores=1,3,5,7
/proc/3147/task/3156/stat : 3156 (java) S 3145 3147 648 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 883601105 10799382528 58637 33554432000 1073741824 1073778376 140734589608256 18446744073709551615 212051471257 0 4 0 16800975 18446604471124069184 0 0 -1 3 0 0 0
[pid=3147/tid=3157] ppid=3145 vsize=10546272 CPUtime=0 cores=1,3,5,7
/proc/3147/task/3157/stat : 3157 (java) S 3145 3147 648 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 883601105 10799382528 58637 33554432000 1073741824 1073778376 140734589608256 18446744073709551615 212051471257 0 4 0 16800975 18446604471124069184 0 0 -1 7 0 0 0
[pid=3147/tid=3158] ppid=3145 vsize=10546272 CPUtime=0 cores=1,3,5,7
/proc/3147/task/3158/stat : 3158 (java) S 3145 3147 648 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 883601105 10799382528 58637 33554432000 1073741824 1073778376 140734589608256 18446744073709551615 212051471257 0 4 0 16800975 18446604471124069184 0 0 -1 7 0 0 0
[pid=3147/tid=3159] ppid=3145 vsize=10546272 CPUtime=0 cores=1,3,5,7
/proc/3147/task/3159/stat : 3159 (java) S 3145 3147 648 0 -1 4202560 6 0 0 0 0 0 0 0 16 0 19 0 883601106 10799382528 58637 33554432000 1073741824 1073778376 140734589608256 18446744073709551615 212051471872 0 0 0 16800975 18446604471124069184 0 0 -1 5 0 0 0
[pid=3147/tid=3160] ppid=3145 vsize=10546272 CPUtime=0 cores=1,3,5,7
/proc/3147/task/3160/stat : 3160 (java) S 3145 3147 648 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 883601107 10799382528 58637 33554432000 1073741824 1073778376 140734589608256 18446744073709551615 212051471257 0 4 0 16800975 18446604471124069184 0 0 -1 1 0 0 0
[pid=3147/tid=3161] ppid=3145 vsize=10546272 CPUtime=0 cores=1,3,5,7
/proc/3147/task/3161/stat : 3161 (java) S 3145 3147 648 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 883601107 10799382528 58637 33554432000 1073741824 1073778376 140734589608256 18446744073709551615 212051471257 0 4 0 16800975 18446604471124069184 0 0 -1 5 0 0 0
[pid=3147/tid=3162] ppid=3145 vsize=10546272 CPUtime=0 cores=1,3,5,7
/proc/3147/task/3162/stat : 3162 (java) S 3145 3147 648 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 883601109 10799382528 58637 33554432000 1073741824 1073778376 140734589608256 18446744073709551615 212051478961 0 4 0 16800975 18446604471124069184 0 0 -1 1 0 0 0
[pid=3147/tid=3163] ppid=3145 vsize=10546272 CPUtime=0.52 cores=1,3,5,7
/proc/3147/task/3163/stat : 3163 (java) S 3145 3147 648 0 -1 4202560 1631 0 0 0 52 0 0 0 15 0 19 0 883601109 10799382528 58637 33554432000 1073741824 1073778376 140734589608256 18446744073709551615 212051471257 0 4 0 16800975 18446604471124069184 0 0 -1 1 0 0 0
[pid=3147/tid=3164] ppid=3145 vsize=10546272 CPUtime=0.49 cores=1,3,5,7
/proc/3147/task/3164/stat : 3164 (java) R 3145 3147 648 0 -1 4202560 3876 0 0 0 49 0 0 0 15 0 19 0 883601109 10799382528 58637 33554432000 1073741824 1073778376 140734589608256 18446744073709551615 47192328173377 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=3147/tid=3165] ppid=3145 vsize=10546272 CPUtime=0 cores=1,3,5,7
/proc/3147/task/3165/stat : 3165 (java) S 3145 3147 648 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 883601109 10799382528 58637 33554432000 1073741824 1073778376 140734589608256 18446744073709551615 212051471257 0 4 0 16800975 18446604471124069184 0 0 -1 1 0 0 0
[pid=3147/tid=3166] ppid=3145 vsize=10546272 CPUtime=0 cores=1,3,5,7
/proc/3147/task/3166/stat : 3166 (java) S 3145 3147 648 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 883601109 10799382528 58637 33554432000 1073741824 1073778376 140734589608256 18446744073709551615 212051471872 0 4 0 16800975 18446604471124069184 0 0 -1 5 0 0 0
[pid=3147/tid=3167] ppid=3145 vsize=10546272 CPUtime=0 cores=1,3,5,7
/proc/3147/task/3167/stat : 3167 (java) S 3145 3147 648 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 19 0 883601188 10799382528 58637 33554432000 1073741824 1073778376 140734589608256 18446744073709551615 212051471872 0 4 0 16800975 18446604471124069184 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4.1
Current children cumulated vsize (KiB) 10546272
[startup+6.30083 s]
/proc/loadavg: 2.03 2.04 2.00 3/214 3167
/proc/meminfo: memFree=1225472/32951124 swapFree=67050916/67111528
[pid=3147] ppid=3145 vsize=10545548 CPUtime=7.33 cores=1,3,5,7
/proc/3147/stat : 3147 (java) S 3145 3147 648 0 -1 4202496 65731 0 1 0 725 8 0 0 25 0 19 0 883601103 10798641152 62715 33554432000 1073741824 1073778376 140734589608256 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/3147/statm: 2636387 62715 2239 9 0 2627121 0
[pid=3147/tid=3149] ppid=3145 vsize=10545548 CPUtime=6.27 cores=1,3,5,7
/proc/3147/task/3149/stat : 3149 (java) R 3145 3147 648 0 -1 4202560 59057 0 1 0 620 7 0 0 25 0 19 0 883601103 10798641152 62715 33554432000 1073741824 1073778376 140734589608256 18446744073709551615 46912506051088 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=3147/tid=3150] ppid=3145 vsize=10545548 CPUtime=0 cores=1,3,5,7
/proc/3147/task/3150/stat : 3150 (java) S 3145 3147 648 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 883601105 10798641152 62715 33554432000 1073741824 1073778376 140734589608256 18446744073709551615 212051471257 0 4 0 16800975 18446604471124069184 0 0 -1 7 0 0 0
[pid=3147/tid=3151] ppid=3145 vsize=10545548 CPUtime=0 cores=1,3,5,7
/proc/3147/task/3151/stat : 3151 (java) S 3145 3147 648 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 883601105 10798641152 62715 33554432000 1073741824 1073778376 140734589608256 18446744073709551615 212051471257 0 4 0 16800975 18446604471124069184 0 0 -1 7 0 0 0
[pid=3147/tid=3152] ppid=3145 vsize=10545548 CPUtime=0 cores=1,3,5,7
/proc/3147/task/3152/stat : 3152 (java) S 3145 3147 648 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 883601105 10798641152 62715 33554432000 1073741824 1073778376 140734589608256 18446744073709551615 212051471257 0 4 0 16800975 18446604471124069184 0 0 -1 7 0 0 0
[pid=3147/tid=3153] ppid=3145 vsize=10545548 CPUtime=0 cores=1,3,5,7
/proc/3147/task/3153/stat : 3153 (java) S 3145 3147 648 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 883601105 10798641152 62715 33554432000 1073741824 1073778376 140734589608256 18446744073709551615 212051471257 0 4 0 16800975 18446604471124069184 0 0 -1 7 0 0 0
[pid=3147/tid=3154] ppid=3145 vsize=10545548 CPUtime=0 cores=1,3,5,7
/proc/3147/task/3154/stat : 3154 (java) S 3145 3147 648 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 883601105 10798641152 62715 33554432000 1073741824 1073778376 140734589608256 18446744073709551615 212051471257 0 4 0 16800975 18446604471124069184 0 0 -1 3 0 0 0
[pid=3147/tid=3156] ppid=3145 vsize=10545548 CPUtime=0 cores=1,3,5,7
/proc/3147/task/3156/stat : 3156 (java) S 3145 3147 648 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 883601105 10798641152 62715 33554432000 1073741824 1073778376 140734589608256 18446744073709551615 212051471257 0 4 0 16800975 18446604471124069184 0 0 -1 3 0 0 0
[pid=3147/tid=3157] ppid=3145 vsize=10545548 CPUtime=0 cores=1,3,5,7
/proc/3147/task/3157/stat : 3157 (java) S 3145 3147 648 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 883601105 10798641152 62715 33554432000 1073741824 1073778376 140734589608256 18446744073709551615 212051471257 0 4 0 16800975 18446604471124069184 0 0 -1 7 0 0 0
[pid=3147/tid=3158] ppid=3145 vsize=10545548 CPUtime=0 cores=1,3,5,7
/proc/3147/task/3158/stat : 3158 (java) S 3145 3147 648 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 883601105 10798641152 62715 33554432000 1073741824 1073778376 140734589608256 18446744073709551615 212051471257 0 4 0 16800975 18446604471124069184 0 0 -1 7 0 0 0
[pid=3147/tid=3159] ppid=3145 vsize=10545548 CPUtime=0 cores=1,3,5,7
/proc/3147/task/3159/stat : 3159 (java) S 3145 3147 648 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 19 0 883601106 10798641152 62715 33554432000 1073741824 1073778376 140734589608256 18446744073709551615 212051471872 0 0 0 16800975 18446604471124069184 0 0 -1 5 0 0 0
[pid=3147/tid=3160] ppid=3145 vsize=10545548 CPUtime=0 cores=1,3,5,7
/proc/3147/task/3160/stat : 3160 (java) S 3145 3147 648 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 883601107 10798641152 62715 33554432000 1073741824 1073778376 140734589608256 18446744073709551615 212051471257 0 4 0 16800975 18446604471124069184 0 0 -1 1 0 0 0
[pid=3147/tid=3161] ppid=3145 vsize=10545548 CPUtime=0 cores=1,3,5,7
/proc/3147/task/3161/stat : 3161 (java) S 3145 3147 648 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 883601107 10798641152 62715 33554432000 1073741824 1073778376 140734589608256 18446744073709551615 212051471257 0 4 0 16800975 18446604471124069184 0 0 -1 5 0 0 0
[pid=3147/tid=3162] ppid=3145 vsize=10545548 CPUtime=0 cores=1,3,5,7
/proc/3147/task/3162/stat : 3162 (java) S 3145 3147 648 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 883601109 10798641152 62715 33554432000 1073741824 1073778376 140734589608256 18446744073709551615 212051478961 0 4 0 16800975 18446604471124069184 0 0 -1 1 0 0 0
[pid=3147/tid=3163] ppid=3145 vsize=10545548 CPUtime=0.52 cores=1,3,5,7
/proc/3147/task/3163/stat : 3163 (java) S 3145 3147 648 0 -1 4202560 1631 0 0 0 52 0 0 0 15 0 19 0 883601109 10798641152 62715 33554432000 1073741824 1073778376 140734589608256 18446744073709551615 212051471257 0 4 0 16800975 18446604471124069184 0 0 -1 1 0 0 0
[pid=3147/tid=3164] ppid=3145 vsize=10545548 CPUtime=0.52 cores=1,3,5,7
/proc/3147/task/3164/stat : 3164 (java) S 3145 3147 648 0 -1 4202560 3881 0 0 0 52 0 0 0 15 0 19 0 883601109 10798641152 62715 33554432000 1073741824 1073778376 140734589608256 18446744073709551615 212051471257 0 4 0 16800975 18446604471124069184 0 0 -1 3 0 0 0
[pid=3147/tid=3165] ppid=3145 vsize=10545548 CPUtime=0 cores=1,3,5,7
/proc/3147/task/3165/stat : 3165 (java) S 3145 3147 648 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 883601109 10798641152 62715 33554432000 1073741824 1073778376 140734589608256 18446744073709551615 212051471257 0 4 0 16800975 18446604471124069184 0 0 -1 1 0 0 0
[pid=3147/tid=3166] ppid=3145 vsize=10545548 CPUtime=0 cores=1,3,5,7
/proc/3147/task/3166/stat : 3166 (java) S 3145 3147 648 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 883601109 10798641152 62715 33554432000 1073741824 1073778376 140734589608256 18446744073709551615 212051471872 0 4 0 16800975 18446604471124069184 0 0 -1 5 0 0 0
[pid=3147/tid=3167] ppid=3145 vsize=10545548 CPUtime=0 cores=1,3,5,7
/proc/3147/task/3167/stat : 3167 (java) S 3145 3147 648 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 19 0 883601188 10798641152 62715 33554432000 1073741824 1073778376 140734589608256 18446744073709551615 212051471872 0 4 0 16800975 18446604471124069184 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 7.33
Current children cumulated vsize (KiB) 10545548
Solver just ended. Dumping a history of the last processes samples
################
# More data... #
################
/proc/3147/task/3149/stat : 3149 (java) R 3145 3147 648 0 -1 4202560 67327 0 1 0 939 8 0 0 25 0 19 0 883601103 10798641152 70985 33554432000 1073741824 1073778376 140734589608256 18446744073709551615 46912505929897 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=3147/tid=3150] ppid=3145 vsize=10545548 CPUtime=0 cores=1,3,5,7
/proc/3147/task/3150/stat : 3150 (java) S 3145 3147 648 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 883601105 10798641152 70985 33554432000 1073741824 1073778376 140734589608256 18446744073709551615 212051471257 0 4 0 16800975 18446604471124069184 0 0 -1 7 0 0 0
[pid=3147/tid=3151] ppid=3145 vsize=10545548 CPUtime=0 cores=1,3,5,7
/proc/3147/task/3151/stat : 3151 (java) S 3145 3147 648 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 883601105 10798641152 70985 33554432000 1073741824 1073778376 140734589608256 18446744073709551615 212051471257 0 4 0 16800975 18446604471124069184 0 0 -1 7 0 0 0
[pid=3147/tid=3152] ppid=3145 vsize=10545548 CPUtime=0 cores=1,3,5,7
/proc/3147/task/3152/stat : 3152 (java) S 3145 3147 648 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 883601105 10798641152 70985 33554432000 1073741824 1073778376 140734589608256 18446744073709551615 212051471257 0 4 0 16800975 18446604471124069184 0 0 -1 7 0 0 0
[pid=3147/tid=3153] ppid=3145 vsize=10545548 CPUtime=0 cores=1,3,5,7
/proc/3147/task/3153/stat : 3153 (java) S 3145 3147 648 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 883601105 10798641152 70985 33554432000 1073741824 1073778376 140734589608256 18446744073709551615 212051471257 0 4 0 16800975 18446604471124069184 0 0 -1 7 0 0 0
[pid=3147/tid=3154] ppid=3145 vsize=10545548 CPUtime=0 cores=1,3,5,7
/proc/3147/task/3154/stat : 3154 (java) S 3145 3147 648 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 883601105 10798641152 70985 33554432000 1073741824 1073778376 140734589608256 18446744073709551615 212051471257 0 4 0 16800975 18446604471124069184 0 0 -1 3 0 0 0
[pid=3147/tid=3156] ppid=3145 vsize=10545548 CPUtime=0 cores=1,3,5,7
/proc/3147/task/3156/stat : 3156 (java) S 3145 3147 648 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 883601105 10798641152 70985 33554432000 1073741824 1073778376 140734589608256 18446744073709551615 212051471257 0 4 0 16800975 18446604471124069184 0 0 -1 3 0 0 0
[pid=3147/tid=3157] ppid=3145 vsize=10545548 CPUtime=0 cores=1,3,5,7
/proc/3147/task/3157/stat : 3157 (java) S 3145 3147 648 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 883601105 10798641152 70985 33554432000 1073741824 1073778376 140734589608256 18446744073709551615 212051471257 0 4 0 16800975 18446604471124069184 0 0 -1 7 0 0 0
[pid=3147/tid=3158] ppid=3145 vsize=10545548 CPUtime=0 cores=1,3,5,7
/proc/3147/task/3158/stat : 3158 (java) S 3145 3147 648 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 883601105 10798641152 70985 33554432000 1073741824 1073778376 140734589608256 18446744073709551615 212051471257 0 4 0 16800975 18446604471124069184 0 0 -1 7 0 0 0
[pid=3147/tid=3159] ppid=3145 vsize=10545548 CPUtime=0 cores=1,3,5,7
/proc/3147/task/3159/stat : 3159 (java) S 3145 3147 648 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 19 0 883601106 10798641152 70985 33554432000 1073741824 1073778376 140734589608256 18446744073709551615 212051471872 0 0 0 16800975 18446604471124069184 0 0 -1 5 0 0 0
[pid=3147/tid=3160] ppid=3145 vsize=10545548 CPUtime=0 cores=1,3,5,7
/proc/3147/task/3160/stat : 3160 (java) S 3145 3147 648 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 883601107 10798641152 70985 33554432000 1073741824 1073778376 140734589608256 18446744073709551615 212051471257 0 4 0 16800975 18446604471124069184 0 0 -1 1 0 0 0
[pid=3147/tid=3161] ppid=3145 vsize=10545548 CPUtime=0 cores=1,3,5,7
/proc/3147/task/3161/stat : 3161 (java) S 3145 3147 648 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 883601107 10798641152 70985 33554432000 1073741824 1073778376 140734589608256 18446744073709551615 212051471257 0 4 0 16800975 18446604471124069184 0 0 -1 5 0 0 0
[pid=3147/tid=3162] ppid=3145 vsize=10545548 CPUtime=0 cores=1,3,5,7
/proc/3147/task/3162/stat : 3162 (java) S 3145 3147 648 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 883601109 10798641152 70985 33554432000 1073741824 1073778376 140734589608256 18446744073709551615 212051478961 0 4 0 16800975 18446604471124069184 0 0 -1 1 0 0 0
[pid=3147/tid=3163] ppid=3145 vsize=10545548 CPUtime=0.52 cores=1,3,5,7
/proc/3147/task/3163/stat : 3163 (java) S 3145 3147 648 0 -1 4202560 1631 0 0 0 52 0 0 0 15 0 19 0 883601109 10798641152 70985 33554432000 1073741824 1073778376 140734589608256 18446744073709551615 212051471257 0 4 0 16800975 18446604471124069184 0 0 -1 1 0 0 0
[pid=3147/tid=3164] ppid=3145 vsize=10545548 CPUtime=0.53 cores=1,3,5,7
/proc/3147/task/3164/stat : 3164 (java) S 3145 3147 648 0 -1 4202560 3881 0 0 0 53 0 0 0 16 0 19 0 883601109 10798641152 70985 33554432000 1073741824 1073778376 140734589608256 18446744073709551615 212051471257 0 4 0 16800975 18446604471124069184 0 0 -1 3 0 0 0
[pid=3147/tid=3165] ppid=3145 vsize=10545548 CPUtime=0 cores=1,3,5,7
/proc/3147/task/3165/stat : 3165 (java) S 3145 3147 648 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 883601109 10798641152 70985 33554432000 1073741824 1073778376 140734589608256 18446744073709551615 212051471257 0 4 0 16800975 18446604471124069184 0 0 -1 1 0 0 0
[pid=3147/tid=3166] ppid=3145 vsize=10545548 CPUtime=0 cores=1,3,5,7
/proc/3147/task/3166/stat : 3166 (java) S 3145 3147 648 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 883601109 10798641152 70985 33554432000 1073741824 1073778376 140734589608256 18446744073709551615 212051471872 0 4 0 16800975 18446604471124069184 0 0 -1 5 0 0 0
[pid=3147/tid=3167] ppid=3145 vsize=10545548 CPUtime=0 cores=1,3,5,7
/proc/3147/task/3167/stat : 3167 (java) S 3145 3147 648 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 19 0 883601188 10798641152 70985 33554432000 1073741824 1073778376 140734589608256 18446744073709551615 212051471872 0 4 0 16800975 18446604471124069184 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 10.55
Current children cumulated vsize (KiB) 10545548
[startup+9.90719 s]
/proc/loadavg: 2.03 2.04 2.00 3/214 3167
/proc/meminfo: memFree=1192864/32951124 swapFree=67050916/67111528
[pid=3147] ppid=3145 vsize=10545548 CPUtime=10.98 cores=1,3,5,7
/proc/3147/stat : 3147 (java) S 3145 3147 648 0 -1 4202496 74016 0 1 0 1089 9 0 0 25 0 19 0 883601103 10798641152 71000 33554432000 1073741824 1073778376 140734589608256 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/3147/statm: 2636387 71000 2241 9 0 2627121 0
[pid=3147/tid=3149] ppid=3145 vsize=10545548 CPUtime=9.88 cores=1,3,5,7
/proc/3147/task/3149/stat : 3149 (java) R 3145 3147 648 0 -1 4202560 67338 0 1 0 980 8 0 0 25 0 19 0 883601103 10798641152 71000 33554432000 1073741824 1073778376 140734589608256 18446744073709551615 46912505929709 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=3147/tid=3150] ppid=3145 vsize=10545548 CPUtime=0 cores=1,3,5,7
/proc/3147/task/3150/stat : 3150 (java) S 3145 3147 648 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 883601105 10798641152 71000 33554432000 1073741824 1073778376 140734589608256 18446744073709551615 212051471257 0 4 0 16800975 18446604471124069184 0 0 -1 7 0 0 0
[pid=3147/tid=3151] ppid=3145 vsize=10545548 CPUtime=0 cores=1,3,5,7
/proc/3147/task/3151/stat : 3151 (java) S 3145 3147 648 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 883601105 10798641152 71000 33554432000 1073741824 1073778376 140734589608256 18446744073709551615 212051471257 0 4 0 16800975 18446604471124069184 0 0 -1 7 0 0 0
[pid=3147/tid=3152] ppid=3145 vsize=10545548 CPUtime=0 cores=1,3,5,7
/proc/3147/task/3152/stat : 3152 (java) S 3145 3147 648 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 883601105 10798641152 71000 33554432000 1073741824 1073778376 140734589608256 18446744073709551615 212051471257 0 4 0 16800975 18446604471124069184 0 0 -1 7 0 0 0
[pid=3147/tid=3153] ppid=3145 vsize=10545548 CPUtime=0 cores=1,3,5,7
/proc/3147/task/3153/stat : 3153 (java) S 3145 3147 648 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 883601105 10798641152 71000 33554432000 1073741824 1073778376 140734589608256 18446744073709551615 212051471257 0 4 0 16800975 18446604471124069184 0 0 -1 7 0 0 0
[pid=3147/tid=3154] ppid=3145 vsize=10545548 CPUtime=0 cores=1,3,5,7
/proc/3147/task/3154/stat : 3154 (java) S 3145 3147 648 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 883601105 10798641152 71000 33554432000 1073741824 1073778376 140734589608256 18446744073709551615 212051471257 0 4 0 16800975 18446604471124069184 0 0 -1 3 0 0 0
[pid=3147/tid=3156] ppid=3145 vsize=10545548 CPUtime=0 cores=1,3,5,7
/proc/3147/task/3156/stat : 3156 (java) S 3145 3147 648 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 883601105 10798641152 71000 33554432000 1073741824 1073778376 140734589608256 18446744073709551615 212051471257 0 4 0 16800975 18446604471124069184 0 0 -1 3 0 0 0
[pid=3147/tid=3157] ppid=3145 vsize=10545548 CPUtime=0 cores=1,3,5,7
/proc/3147/task/3157/stat : 3157 (java) S 3145 3147 648 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 883601105 10798641152 71000 33554432000 1073741824 1073778376 140734589608256 18446744073709551615 212051471257 0 4 0 16800975 18446604471124069184 0 0 -1 7 0 0 0
[pid=3147/tid=3158] ppid=3145 vsize=10545548 CPUtime=0 cores=1,3,5,7
/proc/3147/task/3158/stat : 3158 (java) S 3145 3147 648 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 883601105 10798641152 71000 33554432000 1073741824 1073778376 140734589608256 18446744073709551615 212051471257 0 4 0 16800975 18446604471124069184 0 0 -1 7 0 0 0
[pid=3147/tid=3159] ppid=3145 vsize=10545548 CPUtime=0 cores=1,3,5,7
/proc/3147/task/3159/stat : 3159 (java) S 3145 3147 648 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 19 0 883601106 10798641152 71000 33554432000 1073741824 1073778376 140734589608256 18446744073709551615 212051471872 0 0 0 16800975 18446604471124069184 0 0 -1 5 0 0 0
[pid=3147/tid=3160] ppid=3145 vsize=10545548 CPUtime=0 cores=1,3,5,7
/proc/3147/task/3160/stat : 3160 (java) S 3145 3147 648 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 883601107 10798641152 71000 33554432000 1073741824 1073778376 140734589608256 18446744073709551615 212051471257 0 4 0 16800975 18446604471124069184 0 0 -1 1 0 0 0
[pid=3147/tid=3161] ppid=3145 vsize=10545548 CPUtime=0 cores=1,3,5,7
/proc/3147/task/3161/stat : 3161 (java) S 3145 3147 648 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 883601107 10798641152 71000 33554432000 1073741824 1073778376 140734589608256 18446744073709551615 212051471257 0 4 0 16800975 18446604471124069184 0 0 -1 5 0 0 0
[pid=3147/tid=3162] ppid=3145 vsize=10545548 CPUtime=0 cores=1,3,5,7
/proc/3147/task/3162/stat : 3162 (java) S 3145 3147 648 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 883601109 10798641152 71000 33554432000 1073741824 1073778376 140734589608256 18446744073709551615 212051478961 0 4 0 16800975 18446604471124069184 0 0 -1 1 0 0 0
[pid=3147/tid=3163] ppid=3145 vsize=10545548 CPUtime=0.54 cores=1,3,5,7
/proc/3147/task/3163/stat : 3163 (java) S 3145 3147 648 0 -1 4202560 1635 0 0 0 54 0 0 0 15 0 19 0 883601109 10798641152 71000 33554432000 1073741824 1073778376 140734589608256 18446744073709551615 212051471257 0 4 0 16800975 18446604471124069184 0 0 -1 1 0 0 0
[pid=3147/tid=3164] ppid=3145 vsize=10545548 CPUtime=0.53 cores=1,3,5,7
/proc/3147/task/3164/stat : 3164 (java) S 3145 3147 648 0 -1 4202560 3881 0 0 0 53 0 0 0 16 0 19 0 883601109 10798641152 71000 33554432000 1073741824 1073778376 140734589608256 18446744073709551615 212051471257 0 4 0 16800975 18446604471124069184 0 0 -1 3 0 0 0
[pid=3147/tid=3165] ppid=3145 vsize=10545548 CPUtime=0 cores=1,3,5,7
/proc/3147/task/3165/stat : 3165 (java) S 3145 3147 648 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 883601109 10798641152 71000 33554432000 1073741824 1073778376 140734589608256 18446744073709551615 212051471257 0 4 0 16800975 18446604471124069184 0 0 -1 1 0 0 0
[pid=3147/tid=3166] ppid=3145 vsize=10545548 CPUtime=0 cores=1,3,5,7
/proc/3147/task/3166/stat : 3166 (java) S 3145 3147 648 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 883601109 10798641152 71000 33554432000 1073741824 1073778376 140734589608256 18446744073709551615 212051471872 0 4 0 16800975 18446604471124069184 0 0 -1 5 0 0 0
[pid=3147/tid=3167] ppid=3145 vsize=10545548 CPUtime=0 cores=1,3,5,7
/proc/3147/task/3167/stat : 3167 (java) S 3145 3147 648 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 19 0 883601188 10798641152 71000 33554432000 1073741824 1073778376 140734589608256 18446744073709551615 212051471872 0 4 0 16800975 18446604471124069184 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 10.98
Current children cumulated vsize (KiB) 10545548
[startup+10.3011 s]
/proc/loadavg: 2.03 2.04 2.00 3/214 3167
/proc/meminfo: memFree=1192864/32951124 swapFree=67050916/67111528
[pid=3147] ppid=3145 vsize=10545548 CPUtime=11.37 cores=1,3,5,7
/proc/3147/stat : 3147 (java) S 3145 3147 648 0 -1 4202496 74023 0 1 0 1128 9 0 0 25 0 19 0 883601103 10798641152 71006 33554432000 1073741824 1073778376 140734589608256 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/3147/statm: 2636387 71006 2241 9 0 2627121 0
[pid=3147/tid=3149] ppid=3145 vsize=10545548 CPUtime=10.27 cores=1,3,5,7
/proc/3147/task/3149/stat : 3149 (java) R 3145 3147 648 0 -1 4202560 67345 0 1 0 1019 8 0 0 25 0 19 0 883601103 10798641152 71006 33554432000 1073741824 1073778376 140734589608256 18446744073709551615 46912505929769 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=3147/tid=3150] ppid=3145 vsize=10545548 CPUtime=0 cores=1,3,5,7
/proc/3147/task/3150/stat : 3150 (java) S 3145 3147 648 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 883601105 10798641152 71006 33554432000 1073741824 1073778376 140734589608256 18446744073709551615 212051471257 0 4 0 16800975 18446604471124069184 0 0 -1 7 0 0 0
[pid=3147/tid=3151] ppid=3145 vsize=10545548 CPUtime=0 cores=1,3,5,7
/proc/3147/task/3151/stat : 3151 (java) S 3145 3147 648 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 883601105 10798641152 71006 33554432000 1073741824 1073778376 140734589608256 18446744073709551615 212051471257 0 4 0 16800975 18446604471124069184 0 0 -1 7 0 0 0
[pid=3147/tid=3152] ppid=3145 vsize=10545548 CPUtime=0 cores=1,3,5,7
/proc/3147/task/3152/stat : 3152 (java) S 3145 3147 648 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 883601105 10798641152 71006 33554432000 1073741824 1073778376 140734589608256 18446744073709551615 212051471257 0 4 0 16800975 18446604471124069184 0 0 -1 7 0 0 0
[pid=3147/tid=3153] ppid=3145 vsize=10545548 CPUtime=0 cores=1,3,5,7
/proc/3147/task/3153/stat : 3153 (java) S 3145 3147 648 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 883601105 10798641152 71006 33554432000 1073741824 1073778376 140734589608256 18446744073709551615 212051471257 0 4 0 16800975 18446604471124069184 0 0 -1 7 0 0 0
[pid=3147/tid=3154] ppid=3145 vsize=10545548 CPUtime=0 cores=1,3,5,7
/proc/3147/task/3154/stat : 3154 (java) S 3145 3147 648 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 883601105 10798641152 71006 33554432000 1073741824 1073778376 140734589608256 18446744073709551615 212051471257 0 4 0 16800975 18446604471124069184 0 0 -1 3 0 0 0
[pid=3147/tid=3156] ppid=3145 vsize=10545548 CPUtime=0 cores=1,3,5,7
/proc/3147/task/3156/stat : 3156 (java) S 3145 3147 648 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 883601105 10798641152 71006 33554432000 1073741824 1073778376 140734589608256 18446744073709551615 212051471257 0 4 0 16800975 18446604471124069184 0 0 -1 3 0 0 0
[pid=3147/tid=3157] ppid=3145 vsize=10545548 CPUtime=0 cores=1,3,5,7
/proc/3147/task/3157/stat : 3157 (java) S 3145 3147 648 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 883601105 10798641152 71006 33554432000 1073741824 1073778376 140734589608256 18446744073709551615 212051471257 0 4 0 16800975 18446604471124069184 0 0 -1 7 0 0 0
[pid=3147/tid=3158] ppid=3145 vsize=10545548 CPUtime=0 cores=1,3,5,7
/proc/3147/task/3158/stat : 3158 (java) S 3145 3147 648 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 883601105 10798641152 71006 33554432000 1073741824 1073778376 140734589608256 18446744073709551615 212051471257 0 4 0 16800975 18446604471124069184 0 0 -1 7 0 0 0
[pid=3147/tid=3159] ppid=3145 vsize=10545548 CPUtime=0 cores=1,3,5,7
/proc/3147/task/3159/stat : 3159 (java) S 3145 3147 648 0 -1 4202560 6 0 0 0 0 0 0 0 16 0 19 0 883601106 10798641152 71006 33554432000 1073741824 1073778376 140734589608256 18446744073709551615 212051471872 0 0 0 16800975 18446604471124069184 0 0 -1 5 0 0 0
[pid=3147/tid=3160] ppid=3145 vsize=10545548 CPUtime=0 cores=1,3,5,7
/proc/3147/task/3160/stat : 3160 (java) S 3145 3147 648 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 883601107 10798641152 71006 33554432000 1073741824 1073778376 140734589608256 18446744073709551615 212051471257 0 4 0 16800975 18446604471124069184 0 0 -1 1 0 0 0
[pid=3147/tid=3161] ppid=3145 vsize=10545548 CPUtime=0 cores=1,3,5,7
/proc/3147/task/3161/stat : 3161 (java) S 3145 3147 648 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 883601107 10798641152 71006 33554432000 1073741824 1073778376 140734589608256 18446744073709551615 212051471257 0 4 0 16800975 18446604471124069184 0 0 -1 5 0 0 0
[pid=3147/tid=3162] ppid=3145 vsize=10545548 CPUtime=0 cores=1,3,5,7
/proc/3147/task/3162/stat : 3162 (java) S 3145 3147 648 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 883601109 10798641152 71006 33554432000 1073741824 1073778376 140734589608256 18446744073709551615 212051478961 0 4 0 16800975 18446604471124069184 0 0 -1 1 0 0 0
[pid=3147/tid=3163] ppid=3145 vsize=10545548 CPUtime=0.54 cores=1,3,5,7
/proc/3147/task/3163/stat : 3163 (java) S 3145 3147 648 0 -1 4202560 1635 0 0 0 54 0 0 0 15 0 19 0 883601109 10798641152 71006 33554432000 1073741824 1073778376 140734589608256 18446744073709551615 212051471257 0 4 0 16800975 18446604471124069184 0 0 -1 1 0 0 0
[pid=3147/tid=3164] ppid=3145 vsize=10545548 CPUtime=0.53 cores=1,3,5,7
/proc/3147/task/3164/stat : 3164 (java) S 3145 3147 648 0 -1 4202560 3881 0 0 0 53 0 0 0 16 0 19 0 883601109 10798641152 71006 33554432000 1073741824 1073778376 140734589608256 18446744073709551615 212051471257 0 4 0 16800975 18446604471124069184 0 0 -1 3 0 0 0
[pid=3147/tid=3165] ppid=3145 vsize=10545548 CPUtime=0 cores=1,3,5,7
/proc/3147/task/3165/stat : 3165 (java) S 3145 3147 648 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 883601109 10798641152 71006 33554432000 1073741824 1073778376 140734589608256 18446744073709551615 212051471257 0 4 0 16800975 18446604471124069184 0 0 -1 1 0 0 0
[pid=3147/tid=3166] ppid=3145 vsize=10545548 CPUtime=0 cores=1,3,5,7
/proc/3147/task/3166/stat : 3166 (java) S 3145 3147 648 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 883601109 10798641152 71006 33554432000 1073741824 1073778376 140734589608256 18446744073709551615 212051471872 0 4 0 16800975 18446604471124069184 0 0 -1 5 0 0 0
[pid=3147/tid=3167] ppid=3145 vsize=10545548 CPUtime=0 cores=1,3,5,7
/proc/3147/task/3167/stat : 3167 (java) S 3145 3147 648 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 19 0 883601188 10798641152 71006 33554432000 1073741824 1073778376 140734589608256 18446744073709551615 212051471872 0 4 0 16800975 18446604471124069184 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 11.37
Current children cumulated vsize (KiB) 10545548
[startup+10.4011 s]
/proc/loadavg: 2.03 2.04 2.00 3/214 3167
/proc/meminfo: memFree=1192864/32951124 swapFree=67050916/67111528
[pid=3147] ppid=3145 vsize=10546576 CPUtime=11.47 cores=1,3,5,7
/proc/3147/stat : 3147 (java) S 3145 3147 648 0 -1 4202496 74066 0 1 0 1138 9 0 0 25 0 18 0 883601103 10799693824 71048 33554432000 1073741824 1073778376 140734589608256 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/3147/statm: 2636644 71048 2243 9 0 2627378 0
[pid=3147/tid=3149] ppid=3145 vsize=10546576 CPUtime=10.35 cores=1,3,5,7
/proc/3147/task/3149/stat : 3149 (java) S 3145 3147 648 0 -1 4202560 67352 0 1 0 1027 8 0 0 25 0 18 0 883601103 10799693824 71048 33554432000 1073741824 1073778376 140734589608256 18446744073709551615 212051471257 0 4 0 16800975 18446604471124069184 0 0 -1 5 0 0 0
[pid=3147/tid=3150] ppid=3145 vsize=10546576 CPUtime=0 cores=1,3,5,7
/proc/3147/task/3150/stat : 3150 (java) S 3145 3147 648 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 883601105 10799693824 71048 33554432000 1073741824 1073778376 140734589608256 18446744073709551615 212051471257 0 4 0 16800975 18446604471124069184 0 0 -1 7 0 0 0
[pid=3147/tid=3151] ppid=3145 vsize=10546576 CPUtime=0 cores=1,3,5,7
/proc/3147/task/3151/stat : 3151 (java) S 3145 3147 648 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 883601105 10799693824 71048 33554432000 1073741824 1073778376 140734589608256 18446744073709551615 212051471257 0 4 0 16800975 18446604471124069184 0 0 -1 7 0 0 0
[pid=3147/tid=3152] ppid=3145 vsize=10546576 CPUtime=0 cores=1,3,5,7
/proc/3147/task/3152/stat : 3152 (java) S 3145 3147 648 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 883601105 10799693824 71048 33554432000 1073741824 1073778376 140734589608256 18446744073709551615 212051471257 0 4 0 16800975 18446604471124069184 0 0 -1 7 0 0 0
[pid=3147/tid=3153] ppid=3145 vsize=10546576 CPUtime=0 cores=1,3,5,7
/proc/3147/task/3153/stat : 3153 (java) S 3145 3147 648 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 883601105 10799693824 71048 33554432000 1073741824 1073778376 140734589608256 18446744073709551615 212051471257 0 4 0 16800975 18446604471124069184 0 0 -1 7 0 0 0
[pid=3147/tid=3154] ppid=3145 vsize=10546576 CPUtime=0 cores=1,3,5,7
/proc/3147/task/3154/stat : 3154 (java) S 3145 3147 648 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 883601105 10799693824 71048 33554432000 1073741824 1073778376 140734589608256 18446744073709551615 212051471257 0 4 0 16800975 18446604471124069184 0 0 -1 3 0 0 0
[pid=3147/tid=3156] ppid=3145 vsize=10546576 CPUtime=0 cores=1,3,5,7
/proc/3147/task/3156/stat : 3156 (java) S 3145 3147 648 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 883601105 10799693824 71048 33554432000 1073741824 1073778376 140734589608256 18446744073709551615 212051471257 0 4 0 16800975 18446604471124069184 0 0 -1 3 0 0 0
[pid=3147/tid=3157] ppid=3145 vsize=10546576 CPUtime=0 cores=1,3,5,7
/proc/3147/task/3157/stat : 3157 (java) S 3145 3147 648 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 883601105 10799693824 71048 33554432000 1073741824 1073778376 140734589608256 18446744073709551615 212051471257 0 4 0 16800975 18446604471124069184 0 0 -1 7 0 0 0
[pid=3147/tid=3158] ppid=3145 vsize=10546576 CPUtime=0 cores=1,3,5,7
/proc/3147/task/3158/stat : 3158 (java) S 3145 3147 648 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 18 0 883601105 10799693824 71048 33554432000 1073741824 1073778376 140734589608256 18446744073709551615 212051471257 0 4 0 16800975 18446604471124069184 0 0 -1 7 0 0 0
[pid=3147/tid=3159] ppid=3145 vsize=10546576 CPUtime=0 cores=1,3,5,7
/proc/3147/task/3159/stat : 3159 (java) S 3145 3147 648 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 18 0 883601106 10799693824 71048 33554432000 1073741824 1073778376 140734589608256 18446744073709551615 212051471872 0 0 0 16800975 18446604471124069184 0 0 -1 5 0 0 0
[pid=3147/tid=3160] ppid=3145 vsize=10546576 CPUtime=0 cores=1,3,5,7
/proc/3147/task/3160/stat : 3160 (java) S 3145 3147 648 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 883601107 10799693824 71048 33554432000 1073741824 1073778376 140734589608256 18446744073709551615 212051471257 0 4 0 16800975 18446604471124069184 0 0 -1 1 0 0 0
[pid=3147/tid=3161] ppid=3145 vsize=10546576 CPUtime=0 cores=1,3,5,7
/proc/3147/task/3161/stat : 3161 (java) S 3145 3147 648 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 883601107 10799693824 71048 33554432000 1073741824 1073778376 140734589608256 18446744073709551615 212051471257 0 4 0 16800975 18446604471124069184 0 0 -1 5 0 0 0
[pid=3147/tid=3162] ppid=3145 vsize=10546576 CPUtime=0 cores=1,3,5,7
/proc/3147/task/3162/stat : 3162 (java) S 3145 3147 648 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 18 0 883601109 10799693824 71048 33554432000 1073741824 1073778376 140734589608256 18446744073709551615 212051471257 0 4 0 16800975 18446604471124069184 0 0 -1 1 0 0 0
[pid=3147/tid=3163] ppid=3145 vsize=10546576 CPUtime=0.55 cores=1,3,5,7
/proc/3147/task/3163/stat : 3163 (java) S 3145 3147 648 0 -1 4202560 1635 0 0 0 55 0 0 0 15 0 18 0 883601109 10799693824 71048 33554432000 1073741824 1073778376 140734589608256 18446744073709551615 212051471257 0 4 0 16800975 18446604471124069184 0 0 -1 1 0 0 0
[pid=3147/tid=3164] ppid=3145 vsize=10546576 CPUtime=0.54 cores=1,3,5,7
/proc/3147/task/3164/stat : 3164 (java) S 3145 3147 648 0 -1 4202560 3881 0 0 0 54 0 0 0 15 0 18 0 883601109 10799693824 71048 33554432000 1073741824 1073778376 140734589608256 18446744073709551615 212051471257 0 4 0 16800975 18446604471124069184 0 0 -1 3 0 0 0
[pid=3147/tid=3165] ppid=3145 vsize=10546576 CPUtime=0 cores=1,3,5,7
/proc/3147/task/3165/stat : 3165 (java) S 3145 3147 648 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 883601109 10799693824 71048 33554432000 1073741824 1073778376 140734589608256 18446744073709551615 212051471257 0 4 0 16800975 18446604471124069184 0 0 -1 1 0 0 0
[pid=3147/tid=3167] ppid=3145 vsize=10546576 CPUtime=0 cores=1,3,5,7
/proc/3147/task/3167/stat : 3167 (java) S 3145 3147 648 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 18 0 883601188 10799693824 71048 33554432000 1073741824 1073778376 140734589608256 18446744073709551615 212051471872 0 4 0 16800975 18446604471124069184 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 11.47
Current children cumulated vsize (KiB) 10546576
Child status: 30
Real time (s): 10.4132
CPU time (s): 11.4923
CPU user time (s): 11.3853
CPU system time (s): 0.106983
CPU usage (%): 110.362
Max. virtual memory (cumulated for all children) (KiB): 10546688
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 11.3853
system time used= 0.106983
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 74066
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= 596
involuntary context switches= 334
runsolver used 0.014997 second user time and 0.045993 second system time
The end