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-3456026-1307661657/watcher-3456026-1307661657 -o /tmp/evaluation-result-3456026-1307661657/solver-3456026-1307661657 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3456026-1307661657.opb
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: 1.92 2.00 1.99 2/195 13087
/proc/meminfo: memFree=28214952/32951124 swapFree=67057920/67111528
[pid=13087] ppid=13085 vsize=23028 CPUtime=0 cores=0,2,4,6
/proc/13087/stat : 13087 (java) R 13085 13087 11688 0 -1 4202496 952 0 0 0 0 0 0 0 25 0 1 0 858581070 23580672 697 33554432000 1073741824 1073778376 140733260676976 18446744073709551615 254256654225 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/13087/statm: 5757 697 513 9 0 124 0
[startup+0.0122929 s]
/proc/loadavg: 1.92 2.00 1.99 2/195 13087
/proc/meminfo: memFree=28214952/32951124 swapFree=67057920/67111528
[pid=13087] ppid=13085 vsize=10430980 CPUtime=0 cores=0,2,4,6
/proc/13087/stat : 13087 (java) S 13085 13087 11688 0 -1 4202496 2507 0 1 0 0 0 0 0 25 0 2 0 858581070 10681323520 2210 33554432000 1073741824 1073778376 140733260676976 18446744073709551615 254273419237 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0
/proc/13087/statm: 2607745 2230 906 9 0 2598901 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 10430980
[startup+0.10029 s]
/proc/loadavg: 1.92 2.00 1.99 2/195 13087
/proc/meminfo: memFree=28214952/32951124 swapFree=67057920/67111528
[pid=13087] ppid=13085 vsize=10540228 CPUtime=0.1 cores=0,2,4,6
/proc/13087/stat : 13087 (java) S 13085 13087 11688 0 -1 4202496 13057 0 1 0 10 0 0 0 25 0 18 0 858581070 10793193472 12727 33554432000 1073741824 1073778376 140733260676976 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/13087/statm: 2635057 12729 2093 9 0 2625791 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10540228
[startup+0.300238 s]
/proc/loadavg: 1.92 2.00 1.99 2/195 13087
/proc/meminfo: memFree=28214952/32951124 swapFree=67057920/67111528
[pid=13087] ppid=13085 vsize=10545452 CPUtime=0.56 cores=0,2,4,6
/proc/13087/stat : 13087 (java) S 13085 13087 11688 0 -1 4202496 19582 0 1 0 54 2 0 0 25 0 19 0 858581070 10798542848 17297 33554432000 1073741824 1073778376 140733260676976 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/13087/statm: 2636363 17299 2188 9 0 2627097 0
Current children cumulated CPU time (s) 0.56
Current children cumulated vsize (KiB) 10545452
[startup+0.701188 s]
/proc/loadavg: 1.92 2.00 1.99 2/195 13087
/proc/meminfo: memFree=28214952/32951124 swapFree=67057920/67111528
[pid=13087] ppid=13085 vsize=10558500 CPUtime=1.76 cores=0,2,4,6
/proc/13087/stat : 13087 (java) S 13085 13087 11688 0 -1 4202496 49285 0 1 0 170 6 0 0 25 0 19 0 858581070 10811904000 44245 33554432000 1073741824 1073778376 140733260676976 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/13087/statm: 2639625 44249 2216 9 0 2630359 0
Current children cumulated CPU time (s) 1.76
Current children cumulated vsize (KiB) 10558500
[startup+1.50106 s]
/proc/loadavg: 1.92 2.00 1.99 4/214 13106
/proc/meminfo: memFree=27927084/32951124 swapFree=67057920/67111528
[pid=13087] ppid=13085 vsize=10556068 CPUtime=2.88 cores=0,2,4,6
/proc/13087/stat : 13087 (java) S 13085 13087 11688 0 -1 4202496 133411 0 1 0 270 18 0 0 25 0 19 0 858581070 10809413632 127780 33554432000 1073741824 1073778376 140733260676976 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/13087/statm: 2639017 127784 2219 9 0 2629751 0
[pid=13087/tid=13089] ppid=13085 vsize=10556068 CPUtime=1.48 cores=0,2,4,6
/proc/13087/task/13089/stat : 13089 (java) R 13085 13087 11688 0 -1 4202560 118783 0 1 0 132 16 0 0 18 0 19 0 858581071 10809413632 127785 33554432000 1073741824 1073778376 140733260676976 18446744073709551615 46912505522865 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=13087/tid=13090] ppid=13085 vsize=10556068 CPUtime=0 cores=0,2,4,6
/proc/13087/task/13090/stat : 13090 (java) S 13085 13087 11688 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858581073 10809413632 127788 33554432000 1073741824 1073778376 140733260676976 18446744073709551615 254273432473 0 4 0 16800975 18446604453924301504 0 0 -1 0 0 0 0
[pid=13087/tid=13091] ppid=13085 vsize=10556068 CPUtime=0 cores=0,2,4,6
/proc/13087/task/13091/stat : 13091 (java) S 13085 13087 11688 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858581073 10809413632 127790 33554432000 1073741824 1073778376 140733260676976 18446744073709551615 254273432473 0 4 0 16800975 18446604453924301504 0 0 -1 0 0 0 0
[pid=13087/tid=13092] ppid=13085 vsize=10556068 CPUtime=0 cores=0,2,4,6
/proc/13087/task/13092/stat : 13092 (java) S 13085 13087 11688 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858581073 10809413632 127792 33554432000 1073741824 1073778376 140733260676976 18446744073709551615 254273432473 0 4 0 16800975 18446604453924301504 0 0 -1 0 0 0 0
[pid=13087/tid=13093] ppid=13085 vsize=10556068 CPUtime=0 cores=0,2,4,6
/proc/13087/task/13093/stat : 13093 (java) S 13085 13087 11688 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858581073 10809413632 127793 33554432000 1073741824 1073778376 140733260676976 18446744073709551615 254273432473 0 4 0 16800975 18446604453924301504 0 0 -1 0 0 0 0
[pid=13087/tid=13094] ppid=13085 vsize=10556068 CPUtime=0 cores=0,2,4,6
/proc/13087/task/13094/stat : 13094 (java) S 13085 13087 11688 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858581073 10809413632 127795 33554432000 1073741824 1073778376 140733260676976 18446744073709551615 254273432473 0 4 0 16800975 18446604453924301504 0 0 -1 0 0 0 0
[pid=13087/tid=13095] ppid=13085 vsize=10556068 CPUtime=0 cores=0,2,4,6
/proc/13087/task/13095/stat : 13095 (java) S 13085 13087 11688 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858581073 10809413632 127797 33554432000 1073741824 1073778376 140733260676976 18446744073709551615 254273432473 0 4 0 16800975 18446604453924301504 0 0 -1 0 0 0 0
[pid=13087/tid=13096] ppid=13085 vsize=10556068 CPUtime=0 cores=0,2,4,6
/proc/13087/task/13096/stat : 13096 (java) S 13085 13087 11688 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858581073 10809413632 127800 33554432000 1073741824 1073778376 140733260676976 18446744073709551615 254273432473 0 4 0 16800975 18446604453924301504 0 0 -1 0 0 0 0
[pid=13087/tid=13097] ppid=13085 vsize=10556068 CPUtime=0 cores=0,2,4,6
/proc/13087/task/13097/stat : 13097 (java) S 13085 13087 11688 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858581073 10809413632 127802 33554432000 1073741824 1073778376 140733260676976 18446744073709551615 254273432473 0 4 0 16800975 18446604453924301504 0 0 -1 0 0 0 0
[pid=13087/tid=13098] ppid=13085 vsize=10556068 CPUtime=0 cores=0,2,4,6
/proc/13087/task/13098/stat : 13098 (java) S 13085 13087 11688 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 858581074 10809413632 127804 33554432000 1073741824 1073778376 140733260676976 18446744073709551615 254273433088 0 0 0 16800975 18446604453924301504 0 0 -1 6 0 0 0
[pid=13087/tid=13099] ppid=13085 vsize=10556068 CPUtime=0 cores=0,2,4,6
/proc/13087/task/13099/stat : 13099 (java) S 13085 13087 11688 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 858581074 10809413632 127807 33554432000 1073741824 1073778376 140733260676976 18446744073709551615 254273432473 0 4 0 16800975 18446604453924301504 0 0 -1 2 0 0 0
[pid=13087/tid=13100] ppid=13085 vsize=10556068 CPUtime=0 cores=0,2,4,6
/proc/13087/task/13100/stat : 13100 (java) S 13085 13087 11688 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 858581074 10809413632 127808 33554432000 1073741824 1073778376 140733260676976 18446744073709551615 254273432473 0 4 0 16800975 18446604453924301504 0 0 -1 2 0 0 0
[pid=13087/tid=13101] ppid=13085 vsize=10556068 CPUtime=0 cores=0,2,4,6
/proc/13087/task/13101/stat : 13101 (java) S 13085 13087 11688 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858581076 10809413632 127811 33554432000 1073741824 1073778376 140733260676976 18446744073709551615 254273440177 0 4 0 16800975 18446604453924301504 0 0 -1 2 0 0 0
[pid=13087/tid=13102] ppid=13085 vsize=10556068 CPUtime=0.65 cores=0,2,4,6
/proc/13087/task/13102/stat : 13102 (java) S 13085 13087 11688 0 -1 4202560 6681 0 0 0 65 0 0 0 18 0 19 0 858581076 10809413632 127814 33554432000 1073741824 1073778376 140733260676976 18446744073709551615 254273432473 0 4 0 16800975 18446604453924301504 0 0 -1 4 0 0 0
[pid=13087/tid=13103] ppid=13085 vsize=10556068 CPUtime=0.73 cores=0,2,4,6
/proc/13087/task/13103/stat : 13103 (java) S 13085 13087 11688 0 -1 4202560 6793 0 0 0 72 1 0 0 15 0 19 0 858581076 10809413632 127816 33554432000 1073741824 1073778376 140733260676976 18446744073709551615 254273432473 0 4 0 16800975 18446604453924301504 0 0 -1 0 0 0 0
[pid=13087/tid=13104] ppid=13085 vsize=10556068 CPUtime=0 cores=0,2,4,6
/proc/13087/task/13104/stat : 13104 (java) S 13085 13087 11688 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858581076 10809413632 127819 33554432000 1073741824 1073778376 140733260676976 18446744073709551615 254273432473 0 4 0 16800975 18446604453924301504 0 0 -1 2 0 0 0
[pid=13087/tid=13105] ppid=13085 vsize=10556068 CPUtime=0 cores=0,2,4,6
/proc/13087/task/13105/stat : 13105 (java) S 13085 13087 11688 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 858581076 10809413632 127822 33554432000 1073741824 1073778376 140733260676976 18446744073709551615 254273433088 0 4 0 16800975 18446604453924301504 0 0 -1 0 0 0 0
[pid=13087/tid=13106] ppid=13085 vsize=10556068 CPUtime=0 cores=0,2,4,6
/proc/13087/task/13106/stat : 13106 (java) S 13085 13087 11688 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 858581084 10809413632 127825 33554432000 1073741824 1073778376 140733260676976 18446744073709551615 254273433088 0 4 0 16800975 18446604453924301504 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.88
Current children cumulated vsize (KiB) 10556068
[startup+3.10078 s]
/proc/loadavg: 1.92 2.00 1.99 3/214 13106
/proc/meminfo: memFree=27462556/32951124 swapFree=67057920/67111528
[pid=13087] ppid=13085 vsize=10556660 CPUtime=4.59 cores=0,2,4,6
/proc/13087/stat : 13087 (java) S 13085 13087 11688 0 -1 4202496 295676 0 1 0 421 38 0 0 25 0 19 0 858581070 10810019840 290043 33554432000 1073741824 1073778376 140733260676976 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/13087/statm: 2639165 290047 2219 9 0 2629899 0
[pid=13087/tid=13089] ppid=13085 vsize=10556660 CPUtime=3.08 cores=0,2,4,6
/proc/13087/task/13089/stat : 13089 (java) R 13085 13087 11688 0 -1 4202560 280924 0 1 0 272 36 0 0 18 0 19 0 858581071 10810019840 290050 33554432000 1073741824 1073778376 140733260676976 18446744073709551615 46912505593045 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=13087/tid=13090] ppid=13085 vsize=10556660 CPUtime=0 cores=0,2,4,6
/proc/13087/task/13090/stat : 13090 (java) S 13085 13087 11688 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858581073 10810019840 290052 33554432000 1073741824 1073778376 140733260676976 18446744073709551615 254273432473 0 4 0 16800975 18446604453924301504 0 0 -1 0 0 0 0
[pid=13087/tid=13091] ppid=13085 vsize=10556660 CPUtime=0 cores=0,2,4,6
/proc/13087/task/13091/stat : 13091 (java) S 13085 13087 11688 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858581073 10810019840 290055 33554432000 1073741824 1073778376 140733260676976 18446744073709551615 254273432473 0 4 0 16800975 18446604453924301504 0 0 -1 0 0 0 0
[pid=13087/tid=13092] ppid=13085 vsize=10556660 CPUtime=0 cores=0,2,4,6
/proc/13087/task/13092/stat : 13092 (java) S 13085 13087 11688 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858581073 10810019840 290057 33554432000 1073741824 1073778376 140733260676976 18446744073709551615 254273432473 0 4 0 16800975 18446604453924301504 0 0 -1 0 0 0 0
[pid=13087/tid=13093] ppid=13085 vsize=10556660 CPUtime=0 cores=0,2,4,6
/proc/13087/task/13093/stat : 13093 (java) S 13085 13087 11688 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858581073 10810019840 290059 33554432000 1073741824 1073778376 140733260676976 18446744073709551615 254273432473 0 4 0 16800975 18446604453924301504 0 0 -1 0 0 0 0
[pid=13087/tid=13094] ppid=13085 vsize=10556660 CPUtime=0 cores=0,2,4,6
/proc/13087/task/13094/stat : 13094 (java) S 13085 13087 11688 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858581073 10810019840 290062 33554432000 1073741824 1073778376 140733260676976 18446744073709551615 254273432473 0 4 0 16800975 18446604453924301504 0 0 -1 0 0 0 0
[pid=13087/tid=13095] ppid=13085 vsize=10556660 CPUtime=0 cores=0,2,4,6
/proc/13087/task/13095/stat : 13095 (java) S 13085 13087 11688 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858581073 10810019840 290064 33554432000 1073741824 1073778376 140733260676976 18446744073709551615 254273432473 0 4 0 16800975 18446604453924301504 0 0 -1 0 0 0 0
[pid=13087/tid=13096] ppid=13085 vsize=10556660 CPUtime=0 cores=0,2,4,6
/proc/13087/task/13096/stat : 13096 (java) S 13085 13087 11688 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858581073 10810019840 290067 33554432000 1073741824 1073778376 140733260676976 18446744073709551615 254273432473 0 4 0 16800975 18446604453924301504 0 0 -1 0 0 0 0
[pid=13087/tid=13097] ppid=13085 vsize=10556660 CPUtime=0 cores=0,2,4,6
/proc/13087/task/13097/stat : 13097 (java) S 13085 13087 11688 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858581073 10810019840 290069 33554432000 1073741824 1073778376 140733260676976 18446744073709551615 254273432473 0 4 0 16800975 18446604453924301504 0 0 -1 0 0 0 0
[pid=13087/tid=13098] ppid=13085 vsize=10556660 CPUtime=0 cores=0,2,4,6
/proc/13087/task/13098/stat : 13098 (java) S 13085 13087 11688 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 858581074 10810019840 290072 33554432000 1073741824 1073778376 140733260676976 18446744073709551615 254273433088 0 0 0 16800975 18446604453924301504 0 0 -1 6 0 0 0
[pid=13087/tid=13099] ppid=13085 vsize=10556660 CPUtime=0 cores=0,2,4,6
/proc/13087/task/13099/stat : 13099 (java) S 13085 13087 11688 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 858581074 10810019840 290075 33554432000 1073741824 1073778376 140733260676976 18446744073709551615 254273432473 0 4 0 16800975 18446604453924301504 0 0 -1 2 0 0 0
[pid=13087/tid=13100] ppid=13085 vsize=10556660 CPUtime=0 cores=0,2,4,6
/proc/13087/task/13100/stat : 13100 (java) S 13085 13087 11688 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 858581074 10810019840 290077 33554432000 1073741824 1073778376 140733260676976 18446744073709551615 254273432473 0 4 0 16800975 18446604453924301504 0 0 -1 2 0 0 0
[pid=13087/tid=13101] ppid=13085 vsize=10556660 CPUtime=0 cores=0,2,4,6
/proc/13087/task/13101/stat : 13101 (java) S 13085 13087 11688 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858581076 10810019840 290080 33554432000 1073741824 1073778376 140733260676976 18446744073709551615 254273440177 0 4 0 16800975 18446604453924301504 0 0 -1 2 0 0 0
[pid=13087/tid=13102] ppid=13085 vsize=10556660 CPUtime=0.75 cores=0,2,4,6
/proc/13087/task/13102/stat : 13102 (java) S 13085 13087 11688 0 -1 4202560 6806 0 0 0 75 0 0 0 15 0 19 0 858581076 10810019840 290083 33554432000 1073741824 1073778376 140733260676976 18446744073709551615 254273432473 0 4 0 16800975 18446604453924301504 0 0 -1 4 0 0 0
[pid=13087/tid=13103] ppid=13085 vsize=10556660 CPUtime=0.73 cores=0,2,4,6
/proc/13087/task/13103/stat : 13103 (java) S 13085 13087 11688 0 -1 4202560 6793 0 0 0 72 1 0 0 15 0 19 0 858581076 10810019840 290086 33554432000 1073741824 1073778376 140733260676976 18446744073709551615 254273432473 0 4 0 16800975 18446604453924301504 0 0 -1 0 0 0 0
[pid=13087/tid=13104] ppid=13085 vsize=10556660 CPUtime=0 cores=0,2,4,6
/proc/13087/task/13104/stat : 13104 (java) S 13085 13087 11688 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858581076 10810019840 290089 33554432000 1073741824 1073778376 140733260676976 18446744073709551615 254273432473 0 4 0 16800975 18446604453924301504 0 0 -1 2 0 0 0
[pid=13087/tid=13105] ppid=13085 vsize=10556660 CPUtime=0 cores=0,2,4,6
/proc/13087/task/13105/stat : 13105 (java) S 13085 13087 11688 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 858581076 10810019840 290091 33554432000 1073741824 1073778376 140733260676976 18446744073709551615 254273433088 0 4 0 16800975 18446604453924301504 0 0 -1 0 0 0 0
[pid=13087/tid=13106] ppid=13085 vsize=10556660 CPUtime=0 cores=0,2,4,6
/proc/13087/task/13106/stat : 13106 (java) S 13085 13087 11688 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 858581084 10810019840 290094 33554432000 1073741824 1073778376 140733260676976 18446744073709551615 254273433088 0 4 0 16800975 18446604453924301504 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4.59
Current children cumulated vsize (KiB) 10556660
[startup+6.30122 s]
/proc/loadavg: 1.85 1.98 1.99 5/214 13165
/proc/meminfo: memFree=29892916/32951124 swapFree=67057920/67111528
[pid=13087] ppid=13085 vsize=10553992 CPUtime=7.79 cores=0,2,4,6
/proc/13087/stat : 13087 (java) S 13085 13087 11688 0 -1 4202496 605399 0 1 0 707 72 0 0 25 0 19 0 858581070 10807287808 599112 33554432000 1073741824 1073778376 140733260676976 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/13087/statm: 2638498 599119 2220 9 0 2629232 0
[pid=13087/tid=13089] ppid=13085 vsize=10553992 CPUtime=6.28 cores=0,2,4,6
/proc/13087/task/13089/stat : 13089 (java) R 13085 13087 11688 0 -1 4202560 590649 0 1 0 558 70 0 0 21 0 19 0 858581071 10807287808 599122 33554432000 1073741824 1073778376 140733260676976 18446744073709551615 46912505532712 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=13087/tid=13090] ppid=13085 vsize=10553992 CPUtime=0 cores=0,2,4,6
/proc/13087/task/13090/stat : 13090 (java) S 13085 13087 11688 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858581073 10807287808 599126 33554432000 1073741824 1073778376 140733260676976 18446744073709551615 254273432473 0 4 0 16800975 18446604453924301504 0 0 -1 0 0 0 0
[pid=13087/tid=13091] ppid=13085 vsize=10553992 CPUtime=0 cores=0,2,4,6
/proc/13087/task/13091/stat : 13091 (java) S 13085 13087 11688 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858581073 10807287808 599130 33554432000 1073741824 1073778376 140733260676976 18446744073709551615 254273432473 0 4 0 16800975 18446604453924301504 0 0 -1 0 0 0 0
[pid=13087/tid=13092] ppid=13085 vsize=10553992 CPUtime=0 cores=0,2,4,6
/proc/13087/task/13092/stat : 13092 (java) S 13085 13087 11688 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858581073 10807287808 599132 33554432000 1073741824 1073778376 140733260676976 18446744073709551615 254273432473 0 4 0 16800975 18446604453924301504 0 0 -1 0 0 0 0
[pid=13087/tid=13093] ppid=13085 vsize=10553992 CPUtime=0 cores=0,2,4,6
/proc/13087/task/13093/stat : 13093 (java) S 13085 13087 11688 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858581073 10807287808 599135 33554432000 1073741824 1073778376 140733260676976 18446744073709551615 254273432473 0 4 0 16800975 18446604453924301504 0 0 -1 0 0 0 0
[pid=13087/tid=13094] ppid=13085 vsize=10553992 CPUtime=0 cores=0,2,4,6
/proc/13087/task/13094/stat : 13094 (java) S 13085 13087 11688 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858581073 10807287808 599137 33554432000 1073741824 1073778376 140733260676976 18446744073709551615 254273432473 0 4 0 16800975 18446604453924301504 0 0 -1 0 0 0 0
[pid=13087/tid=13095] ppid=13085 vsize=10553992 CPUtime=0 cores=0,2,4,6
/proc/13087/task/13095/stat : 13095 (java) S 13085 13087 11688 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858581073 10807287808 599139 33554432000 1073741824 1073778376 140733260676976 18446744073709551615 254273432473 0 4 0 16800975 18446604453924301504 0 0 -1 0 0 0 0
[pid=13087/tid=13096] ppid=13085 vsize=10553992 CPUtime=0 cores=0,2,4,6
/proc/13087/task/13096/stat : 13096 (java) S 13085 13087 11688 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858581073 10807287808 599142 33554432000 1073741824 1073778376 140733260676976 18446744073709551615 254273432473 0 4 0 16800975 18446604453924301504 0 0 -1 0 0 0 0
[pid=13087/tid=13097] ppid=13085 vsize=10553992 CPUtime=0 cores=0,2,4,6
/proc/13087/task/13097/stat : 13097 (java) S 13085 13087 11688 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858581073 10807287808 599144 33554432000 1073741824 1073778376 140733260676976 18446744073709551615 254273432473 0 4 0 16800975 18446604453924301504 0 0 -1 0 0 0 0
[pid=13087/tid=13098] ppid=13085 vsize=10553992 CPUtime=0 cores=0,2,4,6
/proc/13087/task/13098/stat : 13098 (java) S 13085 13087 11688 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 858581074 10807287808 599146 33554432000 1073741824 1073778376 140733260676976 18446744073709551615 254273433088 0 0 0 16800975 18446604453924301504 0 0 -1 6 0 0 0
[pid=13087/tid=13099] ppid=13085 vsize=10553992 CPUtime=0 cores=0,2,4,6
/proc/13087/task/13099/stat : 13099 (java) S 13085 13087 11688 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 858581074 10807287808 599148 33554432000 1073741824 1073778376 140733260676976 18446744073709551615 254273432473 0 4 0 16800975 18446604453924301504 0 0 -1 2 0 0 0
[pid=13087/tid=13100] ppid=13085 vsize=10553992 CPUtime=0 cores=0,2,4,6
/proc/13087/task/13100/stat : 13100 (java) S 13085 13087 11688 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 858581074 10807287808 599150 33554432000 1073741824 1073778376 140733260676976 18446744073709551615 254273432473 0 4 0 16800975 18446604453924301504 0 0 -1 2 0 0 0
[pid=13087/tid=13101] ppid=13085 vsize=10553992 CPUtime=0 cores=0,2,4,6
/proc/13087/task/13101/stat : 13101 (java) S 13085 13087 11688 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858581076 10807287808 599151 33554432000 1073741824 1073778376 140733260676976 18446744073709551615 254273440177 0 4 0 16800975 18446604453924301504 0 0 -1 2 0 0 0
[pid=13087/tid=13102] ppid=13085 vsize=10553992 CPUtime=0.77 cores=0,2,4,6
/proc/13087/task/13102/stat : 13102 (java) S 13085 13087 11688 0 -1 4202560 6807 0 0 0 77 0 0 0 15 0 19 0 858581076 10807287808 599154 33554432000 1073741824 1073778376 140733260676976 18446744073709551615 254273432473 0 4 0 16800975 18446604453924301504 0 0 -1 4 0 0 0
[pid=13087/tid=13103] ppid=13085 vsize=10553992 CPUtime=0.73 cores=0,2,4,6
/proc/13087/task/13103/stat : 13103 (java) S 13085 13087 11688 0 -1 4202560 6793 0 0 0 72 1 0 0 15 0 19 0 858581076 10807287808 599156 33554432000 1073741824 1073778376 140733260676976 18446744073709551615 254273432473 0 4 0 16800975 18446604453924301504 0 0 -1 0 0 0 0
[pid=13087/tid=13104] ppid=13085 vsize=10553992 CPUtime=0 cores=0,2,4,6
/proc/13087/task/13104/stat : 13104 (java) S 13085 13087 11688 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858581076 10807287808 599157 33554432000 1073741824 1073778376 140733260676976 18446744073709551615 254273432473 0 4 0 16800975 18446604453924301504 0 0 -1 2 0 0 0
[pid=13087/tid=13105] ppid=13085 vsize=10553992 CPUtime=0 cores=0,2,4,6
/proc/13087/task/13105/stat : 13105 (java) S 13085 13087 11688 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 858581076 10807287808 599160 33554432000 1073741824 1073778376 140733260676976 18446744073709551615 254273433088 0 4 0 16800975 18446604453924301504 0 0 -1 0 0 0 0
[pid=13087/tid=13106] ppid=13085 vsize=10553992 CPUtime=0 cores=0,2,4,6
/proc/13087/task/13106/stat : 13106 (java) S 13085 13087 11688 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 858581084 10807287808 599162 33554432000 1073741824 1073778376 140733260676976 18446744073709551615 254273433088 0 4 0 16800975 18446604453924301504 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 7.79
Current children cumulated vsize (KiB) 10553992
[startup+12.7011 s]
/proc/loadavg: 1.86 1.98 1.99 3/214 13166
/proc/meminfo: memFree=26801236/32951124 swapFree=67057920/67111528
[pid=13087] ppid=13085 vsize=10553992 CPUtime=14.25 cores=0,2,4,6
/proc/13087/stat : 13087 (java) S 13085 13087 11688 0 -1 4202496 670019 0 1 0 1345 80 0 0 25 0 19 0 858581070 10807287808 663452 33554432000 1073741824 1073778376 140733260676976 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/13087/statm: 2638498 663452 2233 9 0 2629232 0
[pid=13087/tid=13089] ppid=13085 vsize=10553992 CPUtime=12.66 cores=0,2,4,6
/proc/13087/task/13089/stat : 13089 (java) R 13085 13087 11688 0 -1 4202560 651094 0 1 0 1189 77 0 0 25 0 19 0 858581071 10807287808 663452 33554432000 1073741824 1073778376 140733260676976 18446744073709551615 46912505590906 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=13087/tid=13090] ppid=13085 vsize=10553992 CPUtime=0 cores=0,2,4,6
/proc/13087/task/13090/stat : 13090 (java) S 13085 13087 11688 0 -1 4202560 721 0 0 0 0 0 0 0 16 0 19 0 858581073 10807287808 663452 33554432000 1073741824 1073778376 140733260676976 18446744073709551615 254273432473 0 4 0 16800975 18446604453924301504 0 0 -1 0 0 0 0
[pid=13087/tid=13091] ppid=13085 vsize=10553992 CPUtime=0 cores=0,2,4,6
/proc/13087/task/13091/stat : 13091 (java) S 13085 13087 11688 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 858581073 10807287808 663452 33554432000 1073741824 1073778376 140733260676976 18446744073709551615 254273432473 0 4 0 16800975 18446604453924301504 0 0 -1 0 0 0 0
[pid=13087/tid=13092] ppid=13085 vsize=10553992 CPUtime=0 cores=0,2,4,6
/proc/13087/task/13092/stat : 13092 (java) S 13085 13087 11688 0 -1 4202560 597 0 0 0 0 0 0 0 18 0 19 0 858581073 10807287808 663452 33554432000 1073741824 1073778376 140733260676976 18446744073709551615 254273432473 0 4 0 16800975 18446604453924301504 0 0 -1 2 0 0 0
[pid=13087/tid=13093] ppid=13085 vsize=10553992 CPUtime=0 cores=0,2,4,6
/proc/13087/task/13093/stat : 13093 (java) S 13085 13087 11688 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 858581073 10807287808 663452 33554432000 1073741824 1073778376 140733260676976 18446744073709551615 254273432473 0 4 0 16800975 18446604453924301504 0 0 -1 0 0 0 0
[pid=13087/tid=13094] ppid=13085 vsize=10553992 CPUtime=0 cores=0,2,4,6
/proc/13087/task/13094/stat : 13094 (java) S 13085 13087 11688 0 -1 4202560 388 0 0 0 0 0 0 0 18 0 19 0 858581073 10807287808 663452 33554432000 1073741824 1073778376 140733260676976 18446744073709551615 254273432473 0 4 0 16800975 18446604453924301504 0 0 -1 4 0 0 0
[pid=13087/tid=13095] ppid=13085 vsize=10553992 CPUtime=0.01 cores=0,2,4,6
/proc/13087/task/13095/stat : 13095 (java) S 13085 13087 11688 0 -1 4202560 1029 0 0 0 1 0 0 0 18 0 19 0 858581073 10807287808 663452 33554432000 1073741824 1073778376 140733260676976 18446744073709551615 254273432473 0 4 0 16800975 18446604453924301504 0 0 -1 6 0 0 0
[pid=13087/tid=13096] ppid=13085 vsize=10553992 CPUtime=0 cores=0,2,4,6
/proc/13087/task/13096/stat : 13096 (java) S 13085 13087 11688 0 -1 4202560 413 0 0 0 0 0 0 0 18 0 19 0 858581073 10807287808 663452 33554432000 1073741824 1073778376 140733260676976 18446744073709551615 254273432473 0 4 0 16800975 18446604453924301504 0 0 -1 2 0 0 0
[pid=13087/tid=13097] ppid=13085 vsize=10553992 CPUtime=0.01 cores=0,2,4,6
/proc/13087/task/13097/stat : 13097 (java) S 13085 13087 11688 0 -1 4202560 1013 0 0 0 1 0 0 0 18 0 19 0 858581073 10807287808 663452 33554432000 1073741824 1073778376 140733260676976 18446744073709551615 254273432473 0 4 0 16800975 18446604453924301504 0 0 -1 4 0 0 0
[pid=13087/tid=13098] ppid=13085 vsize=10553992 CPUtime=0 cores=0,2,4,6
/proc/13087/task/13098/stat : 13098 (java) S 13085 13087 11688 0 -1 4202560 10 0 0 0 0 0 0 0 15 0 19 0 858581074 10807287808 663452 33554432000 1073741824 1073778376 140733260676976 18446744073709551615 254273433088 0 0 0 16800975 18446604453924301504 0 0 -1 6 0 0 0
[pid=13087/tid=13099] ppid=13085 vsize=10553992 CPUtime=0 cores=0,2,4,6
/proc/13087/task/13099/stat : 13099 (java) S 13085 13087 11688 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 858581074 10807287808 663452 33554432000 1073741824 1073778376 140733260676976 18446744073709551615 254273432473 0 4 0 16800975 18446604453924301504 0 0 -1 2 0 0 0
[pid=13087/tid=13100] ppid=13085 vsize=10553992 CPUtime=0 cores=0,2,4,6
/proc/13087/task/13100/stat : 13100 (java) S 13085 13087 11688 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 858581074 10807287808 663452 33554432000 1073741824 1073778376 140733260676976 18446744073709551615 254273432473 0 4 0 16800975 18446604453924301504 0 0 -1 2 0 0 0
[pid=13087/tid=13101] ppid=13085 vsize=10553992 CPUtime=0 cores=0,2,4,6
/proc/13087/task/13101/stat : 13101 (java) S 13085 13087 11688 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858581076 10807287808 663452 33554432000 1073741824 1073778376 140733260676976 18446744073709551615 254273440177 0 4 0 16800975 18446604453924301504 0 0 -1 2 0 0 0
[pid=13087/tid=13102] ppid=13085 vsize=10553992 CPUtime=0.77 cores=0,2,4,6
/proc/13087/task/13102/stat : 13102 (java) S 13085 13087 11688 0 -1 4202560 6807 0 0 0 77 0 0 0 15 0 19 0 858581076 10807287808 663452 33554432000 1073741824 1073778376 140733260676976 18446744073709551615 254273432473 0 4 0 16800975 18446604453924301504 0 0 -1 4 0 0 0
[pid=13087/tid=13103] ppid=13085 vsize=10553992 CPUtime=0.74 cores=0,2,4,6
/proc/13087/task/13103/stat : 13103 (java) S 13085 13087 11688 0 -1 4202560 6795 0 0 0 73 1 0 0 15 0 19 0 858581076 10807287808 663452 33554432000 1073741824 1073778376 140733260676976 18446744073709551615 254273432473 0 4 0 16800975 18446604453924301504 0 0 -1 0 0 0 0
[pid=13087/tid=13104] ppid=13085 vsize=10553992 CPUtime=0 cores=0,2,4,6
/proc/13087/task/13104/stat : 13104 (java) S 13085 13087 11688 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858581076 10807287808 663452 33554432000 1073741824 1073778376 140733260676976 18446744073709551615 254273432473 0 4 0 16800975 18446604453924301504 0 0 -1 2 0 0 0
[pid=13087/tid=13105] ppid=13085 vsize=10553992 CPUtime=0 cores=0,2,4,6
/proc/13087/task/13105/stat : 13105 (java) S 13085 13087 11688 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 858581076 10807287808 663452 33554432000 1073741824 1073778376 140733260676976 18446744073709551615 254273433088 0 4 0 16800975 18446604453924301504 0 0 -1 0 0 0 0
[pid=13087/tid=13106] ppid=13085 vsize=10553992 CPUtime=0 cores=0,2,4,6
/proc/13087/task/13106/stat : 13106 (java) S 13085 13087 11688 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 858581084 10807287808 663452 33554432000 1073741824 1073778376 140733260676976 18446744073709551615 254273433088 0 4 0 16800975 18446604453924301504 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 14.25
Current children cumulated vsize (KiB) 10553992
Solver just ended. Dumping a history of the last processes samples
[startup+13.5009 s]
/proc/loadavg: 1.87 1.98 1.99 3/214 13166
/proc/meminfo: memFree=26792308/32951124 swapFree=67057920/67111528
[pid=13087] ppid=13085 vsize=10553992 CPUtime=15.05 cores=0,2,4,6
/proc/13087/stat : 13087 (java) S 13085 13087 11688 0 -1 4202496 670019 0 1 0 1425 80 0 0 25 0 19 0 858581070 10807287808 663452 33554432000 1073741824 1073778376 140733260676976 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/13087/statm: 2638498 663452 2233 9 0 2629232 0
[pid=13087/tid=13089] ppid=13085 vsize=10553992 CPUtime=13.46 cores=0,2,4,6
/proc/13087/task/13089/stat : 13089 (java) R 13085 13087 11688 0 -1 4202560 651094 0 1 0 1269 77 0 0 25 0 19 0 858581071 10807287808 663452 33554432000 1073741824 1073778376 140733260676976 18446744073709551615 46912505592134 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=13087/tid=13090] ppid=13085 vsize=10553992 CPUtime=0 cores=0,2,4,6
/proc/13087/task/13090/stat : 13090 (java) S 13085 13087 11688 0 -1 4202560 721 0 0 0 0 0 0 0 16 0 19 0 858581073 10807287808 663452 33554432000 1073741824 1073778376 140733260676976 18446744073709551615 254273432473 0 4 0 16800975 18446604453924301504 0 0 -1 0 0 0 0
[pid=13087/tid=13091] ppid=13085 vsize=10553992 CPUtime=0 cores=0,2,4,6
/proc/13087/task/13091/stat : 13091 (java) S 13085 13087 11688 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 858581073 10807287808 663452 33554432000 1073741824 1073778376 140733260676976 18446744073709551615 254273432473 0 4 0 16800975 18446604453924301504 0 0 -1 0 0 0 0
[pid=13087/tid=13092] ppid=13085 vsize=10553992 CPUtime=0 cores=0,2,4,6
/proc/13087/task/13092/stat : 13092 (java) S 13085 13087 11688 0 -1 4202560 597 0 0 0 0 0 0 0 18 0 19 0 858581073 10807287808 663452 33554432000 1073741824 1073778376 140733260676976 18446744073709551615 254273432473 0 4 0 16800975 18446604453924301504 0 0 -1 2 0 0 0
[pid=13087/tid=13093] ppid=13085 vsize=10553992 CPUtime=0 cores=0,2,4,6
/proc/13087/task/13093/stat : 13093 (java) S 13085 13087 11688 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 858581073 10807287808 663452 33554432000 1073741824 1073778376 140733260676976 18446744073709551615 254273432473 0 4 0 16800975 18446604453924301504 0 0 -1 0 0 0 0
[pid=13087/tid=13094] ppid=13085 vsize=10553992 CPUtime=0 cores=0,2,4,6
/proc/13087/task/13094/stat : 13094 (java) S 13085 13087 11688 0 -1 4202560 388 0 0 0 0 0 0 0 18 0 19 0 858581073 10807287808 663452 33554432000 1073741824 1073778376 140733260676976 18446744073709551615 254273432473 0 4 0 16800975 18446604453924301504 0 0 -1 4 0 0 0
[pid=13087/tid=13095] ppid=13085 vsize=10553992 CPUtime=0.01 cores=0,2,4,6
/proc/13087/task/13095/stat : 13095 (java) S 13085 13087 11688 0 -1 4202560 1029 0 0 0 1 0 0 0 18 0 19 0 858581073 10807287808 663452 33554432000 1073741824 1073778376 140733260676976 18446744073709551615 254273432473 0 4 0 16800975 18446604453924301504 0 0 -1 6 0 0 0
[pid=13087/tid=13096] ppid=13085 vsize=10553992 CPUtime=0 cores=0,2,4,6
/proc/13087/task/13096/stat : 13096 (java) S 13085 13087 11688 0 -1 4202560 413 0 0 0 0 0 0 0 18 0 19 0 858581073 10807287808 663452 33554432000 1073741824 1073778376 140733260676976 18446744073709551615 254273432473 0 4 0 16800975 18446604453924301504 0 0 -1 2 0 0 0
[pid=13087/tid=13097] ppid=13085 vsize=10553992 CPUtime=0.01 cores=0,2,4,6
/proc/13087/task/13097/stat : 13097 (java) S 13085 13087 11688 0 -1 4202560 1013 0 0 0 1 0 0 0 18 0 19 0 858581073 10807287808 663452 33554432000 1073741824 1073778376 140733260676976 18446744073709551615 254273432473 0 4 0 16800975 18446604453924301504 0 0 -1 4 0 0 0
[pid=13087/tid=13098] ppid=13085 vsize=10553992 CPUtime=0 cores=0,2,4,6
/proc/13087/task/13098/stat : 13098 (java) S 13085 13087 11688 0 -1 4202560 10 0 0 0 0 0 0 0 15 0 19 0 858581074 10807287808 663452 33554432000 1073741824 1073778376 140733260676976 18446744073709551615 254273433088 0 0 0 16800975 18446604453924301504 0 0 -1 6 0 0 0
[pid=13087/tid=13099] ppid=13085 vsize=10553992 CPUtime=0 cores=0,2,4,6
/proc/13087/task/13099/stat : 13099 (java) S 13085 13087 11688 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 858581074 10807287808 663452 33554432000 1073741824 1073778376 140733260676976 18446744073709551615 254273432473 0 4 0 16800975 18446604453924301504 0 0 -1 2 0 0 0
[pid=13087/tid=13100] ppid=13085 vsize=10553992 CPUtime=0 cores=0,2,4,6
/proc/13087/task/13100/stat : 13100 (java) S 13085 13087 11688 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 858581074 10807287808 663452 33554432000 1073741824 1073778376 140733260676976 18446744073709551615 254273432473 0 4 0 16800975 18446604453924301504 0 0 -1 2 0 0 0
[pid=13087/tid=13101] ppid=13085 vsize=10553992 CPUtime=0 cores=0,2,4,6
/proc/13087/task/13101/stat : 13101 (java) S 13085 13087 11688 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858581076 10807287808 663452 33554432000 1073741824 1073778376 140733260676976 18446744073709551615 254273440177 0 4 0 16800975 18446604453924301504 0 0 -1 2 0 0 0
[pid=13087/tid=13102] ppid=13085 vsize=10553992 CPUtime=0.77 cores=0,2,4,6
/proc/13087/task/13102/stat : 13102 (java) S 13085 13087 11688 0 -1 4202560 6807 0 0 0 77 0 0 0 15 0 19 0 858581076 10807287808 663452 33554432000 1073741824 1073778376 140733260676976 18446744073709551615 254273432473 0 4 0 16800975 18446604453924301504 0 0 -1 4 0 0 0
[pid=13087/tid=13103] ppid=13085 vsize=10553992 CPUtime=0.74 cores=0,2,4,6
/proc/13087/task/13103/stat : 13103 (java) S 13085 13087 11688 0 -1 4202560 6795 0 0 0 73 1 0 0 15 0 19 0 858581076 10807287808 663452 33554432000 1073741824 1073778376 140733260676976 18446744073709551615 254273432473 0 4 0 16800975 18446604453924301504 0 0 -1 0 0 0 0
[pid=13087/tid=13104] ppid=13085 vsize=10553992 CPUtime=0 cores=0,2,4,6
/proc/13087/task/13104/stat : 13104 (java) S 13085 13087 11688 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858581076 10807287808 663452 33554432000 1073741824 1073778376 140733260676976 18446744073709551615 254273432473 0 4 0 16800975 18446604453924301504 0 0 -1 2 0 0 0
[pid=13087/tid=13105] ppid=13085 vsize=10553992 CPUtime=0 cores=0,2,4,6
/proc/13087/task/13105/stat : 13105 (java) S 13085 13087 11688 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 858581076 10807287808 663452 33554432000 1073741824 1073778376 140733260676976 18446744073709551615 254273433088 0 4 0 16800975 18446604453924301504 0 0 -1 0 0 0 0
[pid=13087/tid=13106] ppid=13085 vsize=10553992 CPUtime=0 cores=0,2,4,6
/proc/13087/task/13106/stat : 13106 (java) S 13085 13087 11688 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 858581084 10807287808 663452 33554432000 1073741824 1073778376 140733260676976 18446744073709551615 254273433088 0 4 0 16800975 18446604453924301504 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 15.05
Current children cumulated vsize (KiB) 10553992
[startup+14.3068 s]
/proc/loadavg: 1.87 1.98 1.99 3/214 13166
/proc/meminfo: memFree=26792428/32951124 swapFree=67057920/67111528
[pid=13087] ppid=13085 vsize=10553992 CPUtime=15.86 cores=0,2,4,6
/proc/13087/stat : 13087 (java) S 13085 13087 11688 0 -1 4202496 670019 0 1 0 1506 80 0 0 25 0 19 0 858581070 10807287808 663452 33554432000 1073741824 1073778376 140733260676976 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/13087/statm: 2638498 663452 2233 9 0 2629232 0
[pid=13087/tid=13089] ppid=13085 vsize=10553992 CPUtime=14.26 cores=0,2,4,6
/proc/13087/task/13089/stat : 13089 (java) R 13085 13087 11688 0 -1 4202560 651094 0 1 0 1349 77 0 0 25 0 19 0 858581071 10807287808 663452 33554432000 1073741824 1073778376 140733260676976 18446744073709551615 46912505164493 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=13087/tid=13090] ppid=13085 vsize=10553992 CPUtime=0 cores=0,2,4,6
/proc/13087/task/13090/stat : 13090 (java) S 13085 13087 11688 0 -1 4202560 721 0 0 0 0 0 0 0 16 0 19 0 858581073 10807287808 663452 33554432000 1073741824 1073778376 140733260676976 18446744073709551615 254273432473 0 4 0 16800975 18446604453924301504 0 0 -1 0 0 0 0
[pid=13087/tid=13091] ppid=13085 vsize=10553992 CPUtime=0 cores=0,2,4,6
/proc/13087/task/13091/stat : 13091 (java) S 13085 13087 11688 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 858581073 10807287808 663452 33554432000 1073741824 1073778376 140733260676976 18446744073709551615 254273432473 0 4 0 16800975 18446604453924301504 0 0 -1 0 0 0 0
[pid=13087/tid=13092] ppid=13085 vsize=10553992 CPUtime=0 cores=0,2,4,6
/proc/13087/task/13092/stat : 13092 (java) S 13085 13087 11688 0 -1 4202560 597 0 0 0 0 0 0 0 18 0 19 0 858581073 10807287808 663452 33554432000 1073741824 1073778376 140733260676976 18446744073709551615 254273432473 0 4 0 16800975 18446604453924301504 0 0 -1 2 0 0 0
[pid=13087/tid=13093] ppid=13085 vsize=10553992 CPUtime=0 cores=0,2,4,6
/proc/13087/task/13093/stat : 13093 (java) S 13085 13087 11688 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 858581073 10807287808 663452 33554432000 1073741824 1073778376 140733260676976 18446744073709551615 254273432473 0 4 0 16800975 18446604453924301504 0 0 -1 0 0 0 0
[pid=13087/tid=13094] ppid=13085 vsize=10553992 CPUtime=0 cores=0,2,4,6
/proc/13087/task/13094/stat : 13094 (java) S 13085 13087 11688 0 -1 4202560 388 0 0 0 0 0 0 0 18 0 19 0 858581073 10807287808 663452 33554432000 1073741824 1073778376 140733260676976 18446744073709551615 254273432473 0 4 0 16800975 18446604453924301504 0 0 -1 4 0 0 0
[pid=13087/tid=13095] ppid=13085 vsize=10553992 CPUtime=0.01 cores=0,2,4,6
/proc/13087/task/13095/stat : 13095 (java) S 13085 13087 11688 0 -1 4202560 1029 0 0 0 1 0 0 0 18 0 19 0 858581073 10807287808 663452 33554432000 1073741824 1073778376 140733260676976 18446744073709551615 254273432473 0 4 0 16800975 18446604453924301504 0 0 -1 6 0 0 0
[pid=13087/tid=13096] ppid=13085 vsize=10553992 CPUtime=0 cores=0,2,4,6
/proc/13087/task/13096/stat : 13096 (java) S 13085 13087 11688 0 -1 4202560 413 0 0 0 0 0 0 0 18 0 19 0 858581073 10807287808 663452 33554432000 1073741824 1073778376 140733260676976 18446744073709551615 254273432473 0 4 0 16800975 18446604453924301504 0 0 -1 2 0 0 0
[pid=13087/tid=13097] ppid=13085 vsize=10553992 CPUtime=0.01 cores=0,2,4,6
/proc/13087/task/13097/stat : 13097 (java) S 13085 13087 11688 0 -1 4202560 1013 0 0 0 1 0 0 0 18 0 19 0 858581073 10807287808 663452 33554432000 1073741824 1073778376 140733260676976 18446744073709551615 254273432473 0 4 0 16800975 18446604453924301504 0 0 -1 4 0 0 0
[pid=13087/tid=13098] ppid=13085 vsize=10553992 CPUtime=0 cores=0,2,4,6
/proc/13087/task/13098/stat : 13098 (java) S 13085 13087 11688 0 -1 4202560 10 0 0 0 0 0 0 0 15 0 19 0 858581074 10807287808 663452 33554432000 1073741824 1073778376 140733260676976 18446744073709551615 254273433088 0 0 0 16800975 18446604453924301504 0 0 -1 6 0 0 0
[pid=13087/tid=13099] ppid=13085 vsize=10553992 CPUtime=0 cores=0,2,4,6
/proc/13087/task/13099/stat : 13099 (java) S 13085 13087 11688 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 858581074 10807287808 663452 33554432000 1073741824 1073778376 140733260676976 18446744073709551615 254273432473 0 4 0 16800975 18446604453924301504 0 0 -1 2 0 0 0
[pid=13087/tid=13100] ppid=13085 vsize=10553992 CPUtime=0 cores=0,2,4,6
/proc/13087/task/13100/stat : 13100 (java) S 13085 13087 11688 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 858581074 10807287808 663452 33554432000 1073741824 1073778376 140733260676976 18446744073709551615 254273432473 0 4 0 16800975 18446604453924301504 0 0 -1 2 0 0 0
[pid=13087/tid=13101] ppid=13085 vsize=10553992 CPUtime=0 cores=0,2,4,6
/proc/13087/task/13101/stat : 13101 (java) S 13085 13087 11688 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858581076 10807287808 663452 33554432000 1073741824 1073778376 140733260676976 18446744073709551615 254273440177 0 4 0 16800975 18446604453924301504 0 0 -1 2 0 0 0
[pid=13087/tid=13102] ppid=13085 vsize=10553992 CPUtime=0.77 cores=0,2,4,6
/proc/13087/task/13102/stat : 13102 (java) S 13085 13087 11688 0 -1 4202560 6807 0 0 0 77 0 0 0 15 0 19 0 858581076 10807287808 663452 33554432000 1073741824 1073778376 140733260676976 18446744073709551615 254273432473 0 4 0 16800975 18446604453924301504 0 0 -1 4 0 0 0
[pid=13087/tid=13103] ppid=13085 vsize=10553992 CPUtime=0.74 cores=0,2,4,6
/proc/13087/task/13103/stat : 13103 (java) S 13085 13087 11688 0 -1 4202560 6795 0 0 0 73 1 0 0 15 0 19 0 858581076 10807287808 663452 33554432000 1073741824 1073778376 140733260676976 18446744073709551615 254273432473 0 4 0 16800975 18446604453924301504 0 0 -1 0 0 0 0
[pid=13087/tid=13104] ppid=13085 vsize=10553992 CPUtime=0 cores=0,2,4,6
/proc/13087/task/13104/stat : 13104 (java) S 13085 13087 11688 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858581076 10807287808 663452 33554432000 1073741824 1073778376 140733260676976 18446744073709551615 254273432473 0 4 0 16800975 18446604453924301504 0 0 -1 2 0 0 0
[pid=13087/tid=13105] ppid=13085 vsize=10553992 CPUtime=0 cores=0,2,4,6
/proc/13087/task/13105/stat : 13105 (java) S 13085 13087 11688 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 858581076 10807287808 663452 33554432000 1073741824 1073778376 140733260676976 18446744073709551615 254273433088 0 4 0 16800975 18446604453924301504 0 0 -1 0 0 0 0
[pid=13087/tid=13106] ppid=13085 vsize=10553992 CPUtime=0 cores=0,2,4,6
/proc/13087/task/13106/stat : 13106 (java) S 13085 13087 11688 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 858581084 10807287808 663452 33554432000 1073741824 1073778376 140733260676976 18446744073709551615 254273433088 0 4 0 16800975 18446604453924301504 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 15.86
Current children cumulated vsize (KiB) 10553992
[startup+14.5008 s]
/proc/loadavg: 1.87 1.98 1.99 3/214 13166
/proc/meminfo: memFree=26792428/32951124 swapFree=67057920/67111528
[pid=13087] ppid=13085 vsize=0 CPUtime=16.06 cores=0,2,4,6
/proc/13087/stat : 13087 (java) Z 13085 13087 11688 0 -1 4203548 670039 0 1 0 1518 88 0 0 18 0 2 0 858581070 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/13087/statm: 0 0 0 0 0 0 0
[pid=13087/tid=13089] ppid=13085 vsize=0 CPUtime=14.46 cores=0,2,4,6
/proc/13087/task/13089/stat : 13089 (java) R 13085 13087 11688 0 -1 4203588 651098 0 1 0 1361 85 0 0 25 0 2 0 858581071 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 16.06
Current children cumulated vsize (KiB) 0
Child status: 30
Real time (s): 14.5267
CPU time (s): 16.0966
CPU user time (s): 15.1867
CPU system time (s): 0.909861
CPU usage (%): 110.807
Max. virtual memory (cumulated for all children) (KiB): 10558740
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 15.1867
system time used= 0.909861
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 670039
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= 618
involuntary context switches= 57
runsolver used 0.029995 second user time and 0.054991 second system time
The end