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-3455909-1307225086/watcher-3455909-1307225086 -o /tmp/evaluation-result-3455909-1307225086/solver-3455909-1307225086 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3455909-1307225086.opb
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: 1.92 2.01 2.00 2/590 6085
/proc/meminfo: memFree=28105260/32950928 swapFree=43925852/67111528
[pid=6085] ppid=6083 vsize=36924 CPUtime=0 cores=1,3,5,7
/proc/6085/stat : 6085 (java) S 6083 6085 5129 0 -1 4202496 1370 0 1 0 0 0 0 0 24 0 2 0 834107396 37810176 1072 33554432000 1073741824 1073778376 140736873842464 18446744073709551615 268284491749 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0
/proc/6085/statm: 9231 1072 832 9 0 387 0
[pid=6085/tid=6086] ppid=6083 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/6085/task/6086/stat : 6086 (java) R 6083 6085 5129 0 -1 4202560 7141 0 1 0 0 0 0 0 25 0 2 0 834107396 10694979584 7957 33554432000 1073741824 1073778376 140736873842464 18446744073709551615 268272383035 0 4 0 16784584 0 0 0 -1 1 0 0 0
[startup+0.0702391 s]
/proc/loadavg: 1.92 2.01 2.00 2/590 6085
/proc/meminfo: memFree=28105260/32950928 swapFree=43925852/67111528
[pid=6085] ppid=6083 vsize=10472952 CPUtime=0.05 cores=1,3,5,7
/proc/6085/stat : 6085 (java) S 6083 6085 5129 0 -1 4202496 11791 0 1 0 4 1 0 0 24 0 18 0 834107396 10724302848 11487 33554432000 1073741824 1073778376 140736873842464 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/6085/statm: 2618238 11488 1742 9 0 2608972 0
[pid=6085/tid=6086] ppid=6083 vsize=10472952 CPUtime=0.05 cores=1,3,5,7
/proc/6085/task/6086/stat : 6086 (java) R 6083 6085 5129 0 -1 4202560 10619 0 1 0 4 1 0 0 25 0 18 0 834107396 10724302848 11490 33554432000 1073741824 1073778376 140736873842464 18446744073709551615 47493587714053 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 10472952
[startup+0.101198 s]
/proc/loadavg: 1.92 2.01 2.00 2/590 6085
/proc/meminfo: memFree=28105260/32950928 swapFree=43925852/67111528
[pid=6085] ppid=6083 vsize=10540316 CPUtime=0.09 cores=1,3,5,7
/proc/6085/stat : 6085 (java) S 6083 6085 5129 0 -1 4202496 13068 0 1 0 8 1 0 0 24 0 18 0 834107396 10793283584 12764 33554432000 1073741824 1073778376 140736873842464 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/6085/statm: 2635079 12764 2093 9 0 2625813 0
[pid=6085/tid=6086] ppid=6083 vsize=10540316 CPUtime=0.08 cores=1,3,5,7
/proc/6085/task/6086/stat : 6086 (java) R 6083 6085 5129 0 -1 4202560 11156 0 1 0 7 1 0 0 25 0 18 0 834107396 10793283584 12764 33554432000 1073741824 1073778376 140736873842464 18446744073709551615 46912505193359 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10540316
[startup+0.300143 s]
/proc/loadavg: 1.92 2.01 2.00 2/590 6085
/proc/meminfo: memFree=28105260/32950928 swapFree=43925852/67111528
[pid=6085] ppid=6083 vsize=10545932 CPUtime=0.58 cores=1,3,5,7
/proc/6085/stat : 6085 (java) S 6083 6085 5129 0 -1 4202496 19784 0 1 0 55 3 0 0 24 0 19 0 834107396 10799034368 17732 33554432000 1073741824 1073778376 140736873842464 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/6085/statm: 2636483 17733 2194 9 0 2627217 0
[pid=6085/tid=6086] ppid=6083 vsize=10545932 CPUtime=0.28 cores=1,3,5,7
/proc/6085/task/6086/stat : 6086 (java) R 6083 6085 5129 0 -1 4202560 13449 0 1 0 27 1 0 0 25 0 19 0 834107396 10799034368 17734 33554432000 1073741824 1073778376 140736873842464 18446744073709551615 46912505517141 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.58
Current children cumulated vsize (KiB) 10545932
[startup+0.701074 s]
/proc/loadavg: 1.92 2.01 2.00 2/590 6085
/proc/meminfo: memFree=28105260/32950928 swapFree=43925852/67111528
[pid=6085] ppid=6083 vsize=10558192 CPUtime=1.77 cores=1,3,5,7
/proc/6085/stat : 6085 (java) S 6083 6085 5129 0 -1 4202496 49307 0 1 0 170 7 0 0 24 0 19 0 834107396 10811588608 42978 33554432000 1073741824 1073778376 140736873842464 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/6085/statm: 2639548 42982 2218 9 0 2630282 0
[pid=6085/tid=6086] ppid=6083 vsize=10558192 CPUtime=0.68 cores=1,3,5,7
/proc/6085/task/6086/stat : 6086 (java) R 6083 6085 5129 0 -1 4202560 34091 0 1 0 63 5 0 0 25 0 19 0 834107396 10811588608 42983 33554432000 1073741824 1073778376 140736873842464 18446744073709551615 46912505592706 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.77
Current children cumulated vsize (KiB) 10558192
[startup+1.50093 s]
/proc/loadavg: 1.92 2.01 2.00 3/609 6104
/proc/meminfo: memFree=27820232/32950928 swapFree=43925852/67111528
[pid=6085] ppid=6083 vsize=10558192 CPUtime=2.71 cores=1,3,5,7
/proc/6085/stat : 6085 (java) S 6083 6085 5129 0 -1 4202496 129059 0 1 0 254 17 0 0 24 0 19 0 834107396 10811588608 122729 33554432000 1073741824 1073778376 140736873842464 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/6085/statm: 2639548 122733 2221 9 0 2630282 0
[pid=6085/tid=6086] ppid=6083 vsize=10558192 CPUtime=1.48 cores=1,3,5,7
/proc/6085/task/6086/stat : 6086 (java) R 6083 6085 5129 0 -1 4202560 113825 0 1 0 134 14 0 0 25 0 19 0 834107396 10811588608 122735 33554432000 1073741824 1073778376 140736873842464 18446744073709551615 46912505561894 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=6085/tid=6088] ppid=6083 vsize=10558192 CPUtime=0 cores=1,3,5,7
/proc/6085/task/6088/stat : 6088 (java) S 6083 6085 5129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834107398 10811588608 122737 33554432000 1073741824 1073778376 140736873842464 18446744073709551615 268284504985 0 4 0 16800975 18446604460700481344 0 0 -1 7 0 0 0
[pid=6085/tid=6089] ppid=6083 vsize=10558192 CPUtime=0 cores=1,3,5,7
/proc/6085/task/6089/stat : 6089 (java) S 6083 6085 5129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834107398 10811588608 122739 33554432000 1073741824 1073778376 140736873842464 18446744073709551615 268284504985 0 4 0 16800975 18446604460700481344 0 0 -1 7 0 0 0
[pid=6085/tid=6090] ppid=6083 vsize=10558192 CPUtime=0 cores=1,3,5,7
/proc/6085/task/6090/stat : 6090 (java) S 6083 6085 5129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834107398 10811588608 122741 33554432000 1073741824 1073778376 140736873842464 18446744073709551615 268284504985 0 4 0 16800975 18446604460700481344 0 0 -1 7 0 0 0
[pid=6085/tid=6091] ppid=6083 vsize=10558192 CPUtime=0 cores=1,3,5,7
/proc/6085/task/6091/stat : 6091 (java) S 6083 6085 5129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834107398 10811588608 122743 33554432000 1073741824 1073778376 140736873842464 18446744073709551615 268284504985 0 4 0 16800975 18446604460700481344 0 0 -1 7 0 0 0
[pid=6085/tid=6092] ppid=6083 vsize=10558192 CPUtime=0 cores=1,3,5,7
/proc/6085/task/6092/stat : 6092 (java) S 6083 6085 5129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834107398 10811588608 122746 33554432000 1073741824 1073778376 140736873842464 18446744073709551615 268284504985 0 4 0 16800975 18446604460700481344 0 0 -1 7 0 0 0
[pid=6085/tid=6093] ppid=6083 vsize=10558192 CPUtime=0 cores=1,3,5,7
/proc/6085/task/6093/stat : 6093 (java) S 6083 6085 5129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834107398 10811588608 122748 33554432000 1073741824 1073778376 140736873842464 18446744073709551615 268284504985 0 4 0 16800975 18446604460700481344 0 0 -1 7 0 0 0
[pid=6085/tid=6094] ppid=6083 vsize=10558192 CPUtime=0 cores=1,3,5,7
/proc/6085/task/6094/stat : 6094 (java) S 6083 6085 5129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834107398 10811588608 122750 33554432000 1073741824 1073778376 140736873842464 18446744073709551615 268284504985 0 4 0 16800975 18446604460700481344 0 0 -1 7 0 0 0
[pid=6085/tid=6095] ppid=6083 vsize=10558192 CPUtime=0 cores=1,3,5,7
/proc/6085/task/6095/stat : 6095 (java) S 6083 6085 5129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834107398 10811588608 122752 33554432000 1073741824 1073778376 140736873842464 18446744073709551615 268284504985 0 4 0 16800975 18446604460700481344 0 0 -1 7 0 0 0
[pid=6085/tid=6096] ppid=6083 vsize=10558192 CPUtime=0 cores=1,3,5,7
/proc/6085/task/6096/stat : 6096 (java) S 6083 6085 5129 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 834107399 10811588608 122755 33554432000 1073741824 1073778376 140736873842464 18446744073709551615 268284505600 0 0 0 16800975 18446604460700481344 0 0 -1 1 0 0 0
[pid=6085/tid=6097] ppid=6083 vsize=10558192 CPUtime=0 cores=1,3,5,7
/proc/6085/task/6097/stat : 6097 (java) S 6083 6085 5129 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 834107400 10811588608 122757 33554432000 1073741824 1073778376 140736873842464 18446744073709551615 268284504985 0 4 0 16800975 18446604460700481344 0 0 -1 1 0 0 0
[pid=6085/tid=6098] ppid=6083 vsize=10558192 CPUtime=0 cores=1,3,5,7
/proc/6085/task/6098/stat : 6098 (java) S 6083 6085 5129 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 834107400 10811588608 122759 33554432000 1073741824 1073778376 140736873842464 18446744073709551615 268284504985 0 4 0 16800975 18446604460700481344 0 0 -1 1 0 0 0
[pid=6085/tid=6099] ppid=6083 vsize=10558192 CPUtime=0 cores=1,3,5,7
/proc/6085/task/6099/stat : 6099 (java) S 6083 6085 5129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834107402 10811588608 122762 33554432000 1073741824 1073778376 140736873842464 18446744073709551615 268284512689 0 4 0 16800975 18446604460700481344 0 0 -1 1 0 0 0
[pid=6085/tid=6100] ppid=6083 vsize=10558192 CPUtime=0.58 cores=1,3,5,7
/proc/6085/task/6100/stat : 6100 (java) S 6083 6085 5129 0 -1 4202560 9128 0 0 0 57 1 0 0 21 0 19 0 834107402 10811588608 122764 33554432000 1073741824 1073778376 140736873842464 18446744073709551615 268284504985 0 4 0 16800975 18446604460700481344 0 0 -1 7 0 0 0
[pid=6085/tid=6101] ppid=6083 vsize=10558192 CPUtime=0.62 cores=1,3,5,7
/proc/6085/task/6101/stat : 6101 (java) S 6083 6085 5129 0 -1 4202560 4951 0 0 0 62 0 0 0 15 0 19 0 834107402 10811588608 122766 33554432000 1073741824 1073778376 140736873842464 18446744073709551615 268284504985 0 4 0 16800975 18446604460700481344 0 0 -1 5 0 0 0
[pid=6085/tid=6102] ppid=6083 vsize=10558192 CPUtime=0 cores=1,3,5,7
/proc/6085/task/6102/stat : 6102 (java) S 6083 6085 5129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834107402 10811588608 122768 33554432000 1073741824 1073778376 140736873842464 18446744073709551615 268284504985 0 4 0 16800975 18446604460700481344 0 0 -1 1 0 0 0
[pid=6085/tid=6103] ppid=6083 vsize=10558192 CPUtime=0 cores=1,3,5,7
/proc/6085/task/6103/stat : 6103 (java) R 6083 6085 5129 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 834107402 10811588608 122771 33554432000 1073741824 1073778376 140736873842464 18446744073709551615 268284505600 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=6085/tid=6104] ppid=6083 vsize=10558192 CPUtime=0 cores=1,3,5,7
/proc/6085/task/6104/stat : 6104 (java) S 6083 6085 5129 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 834107409 10811588608 122773 33554432000 1073741824 1073778376 140736873842464 18446744073709551615 268284505600 0 4 0 16800975 18446604460700481344 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2.71
Current children cumulated vsize (KiB) 10558192
[startup+3.10064 s]
/proc/loadavg: 1.92 2.01 2.00 3/609 6104
/proc/meminfo: memFree=27385112/32950928 swapFree=43925852/67111528
[pid=6085] ppid=6083 vsize=10558192 CPUtime=4.34 cores=1,3,5,7
/proc/6085/stat : 6085 (java) S 6083 6085 5129 0 -1 4202496 285506 0 1 0 398 36 0 0 24 0 19 0 834107396 10811588608 279176 33554432000 1073741824 1073778376 140736873842464 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/6085/statm: 2639548 279180 2221 9 0 2630282 0
[pid=6085/tid=6086] ppid=6083 vsize=10558192 CPUtime=3.07 cores=1,3,5,7
/proc/6085/task/6086/stat : 6086 (java) R 6083 6085 5129 0 -1 4202560 270269 0 1 0 274 33 0 0 25 0 19 0 834107396 10811588608 279182 33554432000 1073741824 1073778376 140736873842464 18446744073709551615 46912505592703 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=6085/tid=6088] ppid=6083 vsize=10558192 CPUtime=0 cores=1,3,5,7
/proc/6085/task/6088/stat : 6088 (java) S 6083 6085 5129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834107398 10811588608 279185 33554432000 1073741824 1073778376 140736873842464 18446744073709551615 268284504985 0 4 0 16800975 18446604460700481344 0 0 -1 7 0 0 0
[pid=6085/tid=6089] ppid=6083 vsize=10558192 CPUtime=0 cores=1,3,5,7
/proc/6085/task/6089/stat : 6089 (java) S 6083 6085 5129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834107398 10811588608 279188 33554432000 1073741824 1073778376 140736873842464 18446744073709551615 268284504985 0 4 0 16800975 18446604460700481344 0 0 -1 7 0 0 0
[pid=6085/tid=6090] ppid=6083 vsize=10558192 CPUtime=0 cores=1,3,5,7
/proc/6085/task/6090/stat : 6090 (java) S 6083 6085 5129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834107398 10811588608 279191 33554432000 1073741824 1073778376 140736873842464 18446744073709551615 268284504985 0 4 0 16800975 18446604460700481344 0 0 -1 7 0 0 0
[pid=6085/tid=6091] ppid=6083 vsize=10558192 CPUtime=0 cores=1,3,5,7
/proc/6085/task/6091/stat : 6091 (java) S 6083 6085 5129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834107398 10811588608 279193 33554432000 1073741824 1073778376 140736873842464 18446744073709551615 268284504985 0 4 0 16800975 18446604460700481344 0 0 -1 7 0 0 0
[pid=6085/tid=6092] ppid=6083 vsize=10558192 CPUtime=0 cores=1,3,5,7
/proc/6085/task/6092/stat : 6092 (java) S 6083 6085 5129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834107398 10811588608 279196 33554432000 1073741824 1073778376 140736873842464 18446744073709551615 268284504985 0 4 0 16800975 18446604460700481344 0 0 -1 7 0 0 0
[pid=6085/tid=6093] ppid=6083 vsize=10558192 CPUtime=0 cores=1,3,5,7
/proc/6085/task/6093/stat : 6093 (java) S 6083 6085 5129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834107398 10811588608 279198 33554432000 1073741824 1073778376 140736873842464 18446744073709551615 268284504985 0 4 0 16800975 18446604460700481344 0 0 -1 7 0 0 0
[pid=6085/tid=6094] ppid=6083 vsize=10558192 CPUtime=0 cores=1,3,5,7
/proc/6085/task/6094/stat : 6094 (java) S 6083 6085 5129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834107398 10811588608 279201 33554432000 1073741824 1073778376 140736873842464 18446744073709551615 268284504985 0 4 0 16800975 18446604460700481344 0 0 -1 7 0 0 0
[pid=6085/tid=6095] ppid=6083 vsize=10558192 CPUtime=0 cores=1,3,5,7
/proc/6085/task/6095/stat : 6095 (java) S 6083 6085 5129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834107398 10811588608 279203 33554432000 1073741824 1073778376 140736873842464 18446744073709551615 268284504985 0 4 0 16800975 18446604460700481344 0 0 -1 7 0 0 0
[pid=6085/tid=6096] ppid=6083 vsize=10558192 CPUtime=0 cores=1,3,5,7
/proc/6085/task/6096/stat : 6096 (java) S 6083 6085 5129 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 834107399 10811588608 279206 33554432000 1073741824 1073778376 140736873842464 18446744073709551615 268284505600 0 0 0 16800975 18446604460700481344 0 0 -1 1 0 0 0
[pid=6085/tid=6097] ppid=6083 vsize=10558192 CPUtime=0 cores=1,3,5,7
/proc/6085/task/6097/stat : 6097 (java) S 6083 6085 5129 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 834107400 10811588608 279208 33554432000 1073741824 1073778376 140736873842464 18446744073709551615 268284504985 0 4 0 16800975 18446604460700481344 0 0 -1 1 0 0 0
[pid=6085/tid=6098] ppid=6083 vsize=10558192 CPUtime=0 cores=1,3,5,7
/proc/6085/task/6098/stat : 6098 (java) S 6083 6085 5129 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 834107400 10811588608 279210 33554432000 1073741824 1073778376 140736873842464 18446744073709551615 268284504985 0 4 0 16800975 18446604460700481344 0 0 -1 1 0 0 0
[pid=6085/tid=6099] ppid=6083 vsize=10558192 CPUtime=0 cores=1,3,5,7
/proc/6085/task/6099/stat : 6099 (java) S 6083 6085 5129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834107402 10811588608 279213 33554432000 1073741824 1073778376 140736873842464 18446744073709551615 268284512689 0 4 0 16800975 18446604460700481344 0 0 -1 1 0 0 0
[pid=6085/tid=6100] ppid=6083 vsize=10558192 CPUtime=0.58 cores=1,3,5,7
/proc/6085/task/6100/stat : 6100 (java) S 6083 6085 5129 0 -1 4202560 9128 0 0 0 57 1 0 0 21 0 19 0 834107402 10811588608 279215 33554432000 1073741824 1073778376 140736873842464 18446744073709551615 268284504985 0 4 0 16800975 18446604460700481344 0 0 -1 7 0 0 0
[pid=6085/tid=6101] ppid=6083 vsize=10558192 CPUtime=0.66 cores=1,3,5,7
/proc/6085/task/6101/stat : 6101 (java) S 6083 6085 5129 0 -1 4202560 4955 0 0 0 66 0 0 0 15 0 19 0 834107402 10811588608 279217 33554432000 1073741824 1073778376 140736873842464 18446744073709551615 268284504985 0 4 0 16800975 18446604460700481344 0 0 -1 5 0 0 0
[pid=6085/tid=6102] ppid=6083 vsize=10558192 CPUtime=0 cores=1,3,5,7
/proc/6085/task/6102/stat : 6102 (java) S 6083 6085 5129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834107402 10811588608 279219 33554432000 1073741824 1073778376 140736873842464 18446744073709551615 268284504985 0 4 0 16800975 18446604460700481344 0 0 -1 1 0 0 0
[pid=6085/tid=6103] ppid=6083 vsize=10558192 CPUtime=0 cores=1,3,5,7
/proc/6085/task/6103/stat : 6103 (java) S 6083 6085 5129 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 834107402 10811588608 279223 33554432000 1073741824 1073778376 140736873842464 18446744073709551615 268284505600 0 4 0 16800975 18446604460700481344 0 0 -1 7 0 0 0
[pid=6085/tid=6104] ppid=6083 vsize=10558192 CPUtime=0 cores=1,3,5,7
/proc/6085/task/6104/stat : 6104 (java) S 6083 6085 5129 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 834107409 10811588608 279226 33554432000 1073741824 1073778376 140736873842464 18446744073709551615 268284505600 0 4 0 16800975 18446604460700481344 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4.34
Current children cumulated vsize (KiB) 10558192
Solver just ended. Dumping a history of the last processes samples
[startup+4.70139 s]
/proc/loadavg: 1.93 2.01 2.00 3/609 6104
/proc/meminfo: memFree=26528400/32950928 swapFree=43925852/67111528
[pid=6085] ppid=6083 vsize=10558192 CPUtime=5.95 cores=1,3,5,7
/proc/6085/stat : 6085 (java) S 6083 6085 5129 0 -1 4202496 436803 0 1 0 543 52 0 0 24 0 19 0 834107396 10811588608 430471 33554432000 1073741824 1073778376 140736873842464 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/6085/statm: 2639548 430475 2222 9 0 2630282 0
[pid=6085/tid=6086] ppid=6083 vsize=10558192 CPUtime=4.68 cores=1,3,5,7
/proc/6085/task/6086/stat : 6086 (java) R 6083 6085 5129 0 -1 4202560 421564 0 1 0 419 49 0 0 25 0 19 0 834107396 10811588608 430477 33554432000 1073741824 1073778376 140736873842464 18446744073709551615 46912505594205 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=6085/tid=6088] ppid=6083 vsize=10558192 CPUtime=0 cores=1,3,5,7
/proc/6085/task/6088/stat : 6088 (java) S 6083 6085 5129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834107398 10811588608 430480 33554432000 1073741824 1073778376 140736873842464 18446744073709551615 268284504985 0 4 0 16800975 18446604460700481344 0 0 -1 7 0 0 0
[pid=6085/tid=6089] ppid=6083 vsize=10558192 CPUtime=0 cores=1,3,5,7
/proc/6085/task/6089/stat : 6089 (java) S 6083 6085 5129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834107398 10811588608 430482 33554432000 1073741824 1073778376 140736873842464 18446744073709551615 268284504985 0 4 0 16800975 18446604460700481344 0 0 -1 7 0 0 0
[pid=6085/tid=6090] ppid=6083 vsize=10558192 CPUtime=0 cores=1,3,5,7
/proc/6085/task/6090/stat : 6090 (java) S 6083 6085 5129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834107398 10811588608 430484 33554432000 1073741824 1073778376 140736873842464 18446744073709551615 268284504985 0 4 0 16800975 18446604460700481344 0 0 -1 7 0 0 0
[pid=6085/tid=6091] ppid=6083 vsize=10558192 CPUtime=0 cores=1,3,5,7
/proc/6085/task/6091/stat : 6091 (java) S 6083 6085 5129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834107398 10811588608 430487 33554432000 1073741824 1073778376 140736873842464 18446744073709551615 268284504985 0 4 0 16800975 18446604460700481344 0 0 -1 7 0 0 0
[pid=6085/tid=6092] ppid=6083 vsize=10558192 CPUtime=0 cores=1,3,5,7
/proc/6085/task/6092/stat : 6092 (java) S 6083 6085 5129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834107398 10811588608 430489 33554432000 1073741824 1073778376 140736873842464 18446744073709551615 268284504985 0 4 0 16800975 18446604460700481344 0 0 -1 7 0 0 0
[pid=6085/tid=6093] ppid=6083 vsize=10558192 CPUtime=0 cores=1,3,5,7
/proc/6085/task/6093/stat : 6093 (java) S 6083 6085 5129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834107398 10811588608 430492 33554432000 1073741824 1073778376 140736873842464 18446744073709551615 268284504985 0 4 0 16800975 18446604460700481344 0 0 -1 7 0 0 0
[pid=6085/tid=6094] ppid=6083 vsize=10558192 CPUtime=0 cores=1,3,5,7
/proc/6085/task/6094/stat : 6094 (java) S 6083 6085 5129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834107398 10811588608 430493 33554432000 1073741824 1073778376 140736873842464 18446744073709551615 268284504985 0 4 0 16800975 18446604460700481344 0 0 -1 7 0 0 0
[pid=6085/tid=6095] ppid=6083 vsize=10558192 CPUtime=0 cores=1,3,5,7
/proc/6085/task/6095/stat : 6095 (java) S 6083 6085 5129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834107398 10811588608 430496 33554432000 1073741824 1073778376 140736873842464 18446744073709551615 268284504985 0 4 0 16800975 18446604460700481344 0 0 -1 7 0 0 0
[pid=6085/tid=6096] ppid=6083 vsize=10558192 CPUtime=0 cores=1,3,5,7
/proc/6085/task/6096/stat : 6096 (java) S 6083 6085 5129 0 -1 4202560 5 0 0 0 0 0 0 0 16 0 19 0 834107399 10811588608 430498 33554432000 1073741824 1073778376 140736873842464 18446744073709551615 268284505600 0 0 0 16800975 18446604460700481344 0 0 -1 1 0 0 0
[pid=6085/tid=6097] ppid=6083 vsize=10558192 CPUtime=0 cores=1,3,5,7
/proc/6085/task/6097/stat : 6097 (java) S 6083 6085 5129 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 834107400 10811588608 430501 33554432000 1073741824 1073778376 140736873842464 18446744073709551615 268284504985 0 4 0 16800975 18446604460700481344 0 0 -1 1 0 0 0
[pid=6085/tid=6098] ppid=6083 vsize=10558192 CPUtime=0 cores=1,3,5,7
/proc/6085/task/6098/stat : 6098 (java) S 6083 6085 5129 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 834107400 10811588608 430503 33554432000 1073741824 1073778376 140736873842464 18446744073709551615 268284504985 0 4 0 16800975 18446604460700481344 0 0 -1 1 0 0 0
[pid=6085/tid=6099] ppid=6083 vsize=10558192 CPUtime=0 cores=1,3,5,7
/proc/6085/task/6099/stat : 6099 (java) S 6083 6085 5129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834107402 10811588608 430506 33554432000 1073741824 1073778376 140736873842464 18446744073709551615 268284512689 0 4 0 16800975 18446604460700481344 0 0 -1 1 0 0 0
[pid=6085/tid=6100] ppid=6083 vsize=10558192 CPUtime=0.58 cores=1,3,5,7
/proc/6085/task/6100/stat : 6100 (java) S 6083 6085 5129 0 -1 4202560 9128 0 0 0 57 1 0 0 21 0 19 0 834107402 10811588608 430508 33554432000 1073741824 1073778376 140736873842464 18446744073709551615 268284504985 0 4 0 16800975 18446604460700481344 0 0 -1 7 0 0 0
[pid=6085/tid=6101] ppid=6083 vsize=10558192 CPUtime=0.66 cores=1,3,5,7
/proc/6085/task/6101/stat : 6101 (java) S 6083 6085 5129 0 -1 4202560 4955 0 0 0 66 0 0 0 15 0 19 0 834107402 10811588608 430510 33554432000 1073741824 1073778376 140736873842464 18446744073709551615 268284504985 0 4 0 16800975 18446604460700481344 0 0 -1 5 0 0 0
[pid=6085/tid=6102] ppid=6083 vsize=10558192 CPUtime=0 cores=1,3,5,7
/proc/6085/task/6102/stat : 6102 (java) S 6083 6085 5129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834107402 10811588608 430513 33554432000 1073741824 1073778376 140736873842464 18446744073709551615 268284504985 0 4 0 16800975 18446604460700481344 0 0 -1 1 0 0 0
[pid=6085/tid=6103] ppid=6083 vsize=10558192 CPUtime=0 cores=1,3,5,7
/proc/6085/task/6103/stat : 6103 (java) S 6083 6085 5129 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 834107402 10811588608 430515 33554432000 1073741824 1073778376 140736873842464 18446744073709551615 268284505600 0 4 0 16800975 18446604460700481344 0 0 -1 5 0 0 0
[pid=6085/tid=6104] ppid=6083 vsize=10558192 CPUtime=0 cores=1,3,5,7
/proc/6085/task/6104/stat : 6104 (java) S 6083 6085 5129 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 834107409 10811588608 430518 33554432000 1073741824 1073778376 140736873842464 18446744073709551615 268284505600 0 4 0 16800975 18446604460700481344 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 5.95
Current children cumulated vsize (KiB) 10558192
[startup+5.52221 s]
/proc/loadavg: 1.93 2.01 2.00 3/609 6104
/proc/meminfo: memFree=26125976/32950928 swapFree=43925852/67111528
[pid=6085] ppid=6083 vsize=10558192 CPUtime=6.77 cores=1,3,5,7
/proc/6085/stat : 6085 (java) S 6083 6085 5129 0 -1 4202496 512796 0 1 0 616 61 0 0 24 0 19 0 834107396 10811588608 505616 33554432000 1073741824 1073778376 140736873842464 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/6085/statm: 2639548 505620 2222 9 0 2630282 0
[pid=6085/tid=6086] ppid=6083 vsize=10558192 CPUtime=5.5 cores=1,3,5,7
/proc/6085/task/6086/stat : 6086 (java) R 6083 6085 5129 0 -1 4202560 497558 0 1 0 492 58 0 0 25 0 19 0 834107396 10811588608 505623 33554432000 1073741824 1073778376 140736873842464 18446744073709551615 46912505592160 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=6085/tid=6088] ppid=6083 vsize=10558192 CPUtime=0 cores=1,3,5,7
/proc/6085/task/6088/stat : 6088 (java) S 6083 6085 5129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834107398 10811588608 505625 33554432000 1073741824 1073778376 140736873842464 18446744073709551615 268284504985 0 4 0 16800975 18446604460700481344 0 0 -1 7 0 0 0
[pid=6085/tid=6089] ppid=6083 vsize=10558192 CPUtime=0 cores=1,3,5,7
/proc/6085/task/6089/stat : 6089 (java) S 6083 6085 5129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834107398 10811588608 505628 33554432000 1073741824 1073778376 140736873842464 18446744073709551615 268284504985 0 4 0 16800975 18446604460700481344 0 0 -1 7 0 0 0
[pid=6085/tid=6090] ppid=6083 vsize=10558192 CPUtime=0 cores=1,3,5,7
/proc/6085/task/6090/stat : 6090 (java) S 6083 6085 5129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834107398 10811588608 505630 33554432000 1073741824 1073778376 140736873842464 18446744073709551615 268284504985 0 4 0 16800975 18446604460700481344 0 0 -1 7 0 0 0
[pid=6085/tid=6091] ppid=6083 vsize=10558192 CPUtime=0 cores=1,3,5,7
/proc/6085/task/6091/stat : 6091 (java) S 6083 6085 5129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834107398 10811588608 505632 33554432000 1073741824 1073778376 140736873842464 18446744073709551615 268284504985 0 4 0 16800975 18446604460700481344 0 0 -1 7 0 0 0
[pid=6085/tid=6092] ppid=6083 vsize=10558192 CPUtime=0 cores=1,3,5,7
/proc/6085/task/6092/stat : 6092 (java) S 6083 6085 5129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834107398 10811588608 505634 33554432000 1073741824 1073778376 140736873842464 18446744073709551615 268284504985 0 4 0 16800975 18446604460700481344 0 0 -1 7 0 0 0
[pid=6085/tid=6093] ppid=6083 vsize=10558192 CPUtime=0 cores=1,3,5,7
/proc/6085/task/6093/stat : 6093 (java) S 6083 6085 5129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834107398 10811588608 505636 33554432000 1073741824 1073778376 140736873842464 18446744073709551615 268284504985 0 4 0 16800975 18446604460700481344 0 0 -1 7 0 0 0
[pid=6085/tid=6094] ppid=6083 vsize=10558192 CPUtime=0 cores=1,3,5,7
/proc/6085/task/6094/stat : 6094 (java) S 6083 6085 5129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834107398 10811588608 505638 33554432000 1073741824 1073778376 140736873842464 18446744073709551615 268284504985 0 4 0 16800975 18446604460700481344 0 0 -1 7 0 0 0
[pid=6085/tid=6095] ppid=6083 vsize=10558192 CPUtime=0 cores=1,3,5,7
/proc/6085/task/6095/stat : 6095 (java) S 6083 6085 5129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834107398 10811588608 505640 33554432000 1073741824 1073778376 140736873842464 18446744073709551615 268284504985 0 4 0 16800975 18446604460700481344 0 0 -1 7 0 0 0
[pid=6085/tid=6096] ppid=6083 vsize=10558192 CPUtime=0 cores=1,3,5,7
/proc/6085/task/6096/stat : 6096 (java) S 6083 6085 5129 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 834107399 10811588608 505642 33554432000 1073741824 1073778376 140736873842464 18446744073709551615 268284505600 0 0 0 16800975 18446604460700481344 0 0 -1 1 0 0 0
[pid=6085/tid=6097] ppid=6083 vsize=10558192 CPUtime=0 cores=1,3,5,7
/proc/6085/task/6097/stat : 6097 (java) S 6083 6085 5129 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 834107400 10811588608 505644 33554432000 1073741824 1073778376 140736873842464 18446744073709551615 268284504985 0 4 0 16800975 18446604460700481344 0 0 -1 1 0 0 0
[pid=6085/tid=6098] ppid=6083 vsize=10558192 CPUtime=0 cores=1,3,5,7
/proc/6085/task/6098/stat : 6098 (java) S 6083 6085 5129 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 834107400 10811588608 505647 33554432000 1073741824 1073778376 140736873842464 18446744073709551615 268284504985 0 4 0 16800975 18446604460700481344 0 0 -1 1 0 0 0
[pid=6085/tid=6099] ppid=6083 vsize=10558192 CPUtime=0 cores=1,3,5,7
/proc/6085/task/6099/stat : 6099 (java) S 6083 6085 5129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834107402 10811588608 505649 33554432000 1073741824 1073778376 140736873842464 18446744073709551615 268284512689 0 4 0 16800975 18446604460700481344 0 0 -1 1 0 0 0
[pid=6085/tid=6100] ppid=6083 vsize=10558192 CPUtime=0.58 cores=1,3,5,7
/proc/6085/task/6100/stat : 6100 (java) S 6083 6085 5129 0 -1 4202560 9128 0 0 0 57 1 0 0 21 0 19 0 834107402 10811588608 505651 33554432000 1073741824 1073778376 140736873842464 18446744073709551615 268284504985 0 4 0 16800975 18446604460700481344 0 0 -1 7 0 0 0
[pid=6085/tid=6101] ppid=6083 vsize=10558192 CPUtime=0.66 cores=1,3,5,7
/proc/6085/task/6101/stat : 6101 (java) S 6083 6085 5129 0 -1 4202560 4955 0 0 0 66 0 0 0 15 0 19 0 834107402 10811588608 505654 33554432000 1073741824 1073778376 140736873842464 18446744073709551615 268284504985 0 4 0 16800975 18446604460700481344 0 0 -1 5 0 0 0
[pid=6085/tid=6102] ppid=6083 vsize=10558192 CPUtime=0 cores=1,3,5,7
/proc/6085/task/6102/stat : 6102 (java) S 6083 6085 5129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834107402 10811588608 505656 33554432000 1073741824 1073778376 140736873842464 18446744073709551615 268284504985 0 4 0 16800975 18446604460700481344 0 0 -1 1 0 0 0
[pid=6085/tid=6103] ppid=6083 vsize=10558192 CPUtime=0 cores=1,3,5,7
/proc/6085/task/6103/stat : 6103 (java) S 6083 6085 5129 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 834107402 10811588608 505658 33554432000 1073741824 1073778376 140736873842464 18446744073709551615 268284505600 0 4 0 16800975 18446604460700481344 0 0 -1 5 0 0 0
[pid=6085/tid=6104] ppid=6083 vsize=10558192 CPUtime=0 cores=1,3,5,7
/proc/6085/task/6104/stat : 6104 (java) S 6083 6085 5129 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 834107409 10811588608 505661 33554432000 1073741824 1073778376 140736873842464 18446744073709551615 268284505600 0 4 0 16800975 18446604460700481344 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 6.77
Current children cumulated vsize (KiB) 10558192
[startup+5.90115 s]
/proc/loadavg: 1.93 2.01 2.00 3/609 6104
/proc/meminfo: memFree=26125976/32950928 swapFree=43925852/67111528
[pid=6085] ppid=6083 vsize=10558192 CPUtime=7.14 cores=1,3,5,7
/proc/6085/stat : 6085 (java) S 6083 6085 5129 0 -1 4202496 546267 0 1 0 650 64 0 0 24 0 19 0 834107396 10811588608 539087 33554432000 1073741824 1073778376 140736873842464 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/6085/statm: 2639548 539090 2222 9 0 2630282 0
[pid=6085/tid=6086] ppid=6083 vsize=10558192 CPUtime=5.88 cores=1,3,5,7
/proc/6085/task/6086/stat : 6086 (java) R 6083 6085 5129 0 -1 4202560 531027 0 1 0 526 62 0 0 25 0 19 0 834107396 10811588608 539092 33554432000 1073741824 1073778376 140736873842464 18446744073709551615 46912505562034 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=6085/tid=6088] ppid=6083 vsize=10558192 CPUtime=0 cores=1,3,5,7
/proc/6085/task/6088/stat : 6088 (java) S 6083 6085 5129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834107398 10811588608 539093 33554432000 1073741824 1073778376 140736873842464 18446744073709551615 268284504985 0 4 0 16800975 18446604460700481344 0 0 -1 7 0 0 0
[pid=6085/tid=6089] ppid=6083 vsize=10558192 CPUtime=0 cores=1,3,5,7
/proc/6085/task/6089/stat : 6089 (java) S 6083 6085 5129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834107398 10811588608 539095 33554432000 1073741824 1073778376 140736873842464 18446744073709551615 268284504985 0 4 0 16800975 18446604460700481344 0 0 -1 7 0 0 0
[pid=6085/tid=6090] ppid=6083 vsize=10558192 CPUtime=0 cores=1,3,5,7
/proc/6085/task/6090/stat : 6090 (java) S 6083 6085 5129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834107398 10811588608 539097 33554432000 1073741824 1073778376 140736873842464 18446744073709551615 268284504985 0 4 0 16800975 18446604460700481344 0 0 -1 7 0 0 0
[pid=6085/tid=6091] ppid=6083 vsize=10558192 CPUtime=0 cores=1,3,5,7
/proc/6085/task/6091/stat : 6091 (java) S 6083 6085 5129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834107398 10811588608 539098 33554432000 1073741824 1073778376 140736873842464 18446744073709551615 268284504985 0 4 0 16800975 18446604460700481344 0 0 -1 7 0 0 0
[pid=6085/tid=6092] ppid=6083 vsize=10558192 CPUtime=0 cores=1,3,5,7
/proc/6085/task/6092/stat : 6092 (java) S 6083 6085 5129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834107398 10811588608 539100 33554432000 1073741824 1073778376 140736873842464 18446744073709551615 268284504985 0 4 0 16800975 18446604460700481344 0 0 -1 7 0 0 0
[pid=6085/tid=6093] ppid=6083 vsize=10558192 CPUtime=0 cores=1,3,5,7
/proc/6085/task/6093/stat : 6093 (java) S 6083 6085 5129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834107398 10811588608 539102 33554432000 1073741824 1073778376 140736873842464 18446744073709551615 268284504985 0 4 0 16800975 18446604460700481344 0 0 -1 7 0 0 0
[pid=6085/tid=6094] ppid=6083 vsize=10558192 CPUtime=0 cores=1,3,5,7
/proc/6085/task/6094/stat : 6094 (java) S 6083 6085 5129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834107398 10811588608 539103 33554432000 1073741824 1073778376 140736873842464 18446744073709551615 268284504985 0 4 0 16800975 18446604460700481344 0 0 -1 7 0 0 0
[pid=6085/tid=6095] ppid=6083 vsize=10558192 CPUtime=0 cores=1,3,5,7
/proc/6085/task/6095/stat : 6095 (java) S 6083 6085 5129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834107398 10811588608 539105 33554432000 1073741824 1073778376 140736873842464 18446744073709551615 268284504985 0 4 0 16800975 18446604460700481344 0 0 -1 7 0 0 0
[pid=6085/tid=6096] ppid=6083 vsize=10558192 CPUtime=0 cores=1,3,5,7
/proc/6085/task/6096/stat : 6096 (java) S 6083 6085 5129 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 834107399 10811588608 539107 33554432000 1073741824 1073778376 140736873842464 18446744073709551615 268284505600 0 0 0 16800975 18446604460700481344 0 0 -1 1 0 0 0
[pid=6085/tid=6097] ppid=6083 vsize=10558192 CPUtime=0 cores=1,3,5,7
/proc/6085/task/6097/stat : 6097 (java) S 6083 6085 5129 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 834107400 10811588608 539108 33554432000 1073741824 1073778376 140736873842464 18446744073709551615 268284504985 0 4 0 16800975 18446604460700481344 0 0 -1 1 0 0 0
[pid=6085/tid=6098] ppid=6083 vsize=10558192 CPUtime=0 cores=1,3,5,7
/proc/6085/task/6098/stat : 6098 (java) S 6083 6085 5129 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 834107400 10811588608 539110 33554432000 1073741824 1073778376 140736873842464 18446744073709551615 268284504985 0 4 0 16800975 18446604460700481344 0 0 -1 1 0 0 0
[pid=6085/tid=6099] ppid=6083 vsize=10558192 CPUtime=0 cores=1,3,5,7
/proc/6085/task/6099/stat : 6099 (java) S 6083 6085 5129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834107402 10811588608 539112 33554432000 1073741824 1073778376 140736873842464 18446744073709551615 268284512689 0 4 0 16800975 18446604460700481344 0 0 -1 1 0 0 0
[pid=6085/tid=6100] ppid=6083 vsize=10558192 CPUtime=0.58 cores=1,3,5,7
/proc/6085/task/6100/stat : 6100 (java) S 6083 6085 5129 0 -1 4202560 9128 0 0 0 57 1 0 0 21 0 19 0 834107402 10811588608 539113 33554432000 1073741824 1073778376 140736873842464 18446744073709551615 268284504985 0 4 0 16800975 18446604460700481344 0 0 -1 7 0 0 0
[pid=6085/tid=6101] ppid=6083 vsize=10558192 CPUtime=0.66 cores=1,3,5,7
/proc/6085/task/6101/stat : 6101 (java) S 6083 6085 5129 0 -1 4202560 4955 0 0 0 66 0 0 0 15 0 19 0 834107402 10811588608 539115 33554432000 1073741824 1073778376 140736873842464 18446744073709551615 268284504985 0 4 0 16800975 18446604460700481344 0 0 -1 5 0 0 0
[pid=6085/tid=6102] ppid=6083 vsize=10558192 CPUtime=0 cores=1,3,5,7
/proc/6085/task/6102/stat : 6102 (java) S 6083 6085 5129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834107402 10811588608 539117 33554432000 1073741824 1073778376 140736873842464 18446744073709551615 268284504985 0 4 0 16800975 18446604460700481344 0 0 -1 1 0 0 0
[pid=6085/tid=6103] ppid=6083 vsize=10558192 CPUtime=0 cores=1,3,5,7
/proc/6085/task/6103/stat : 6103 (java) S 6083 6085 5129 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 834107402 10811588608 539118 33554432000 1073741824 1073778376 140736873842464 18446744073709551615 268284505600 0 4 0 16800975 18446604460700481344 0 0 -1 5 0 0 0
[pid=6085/tid=6104] ppid=6083 vsize=10558192 CPUtime=0 cores=1,3,5,7
/proc/6085/task/6104/stat : 6104 (java) S 6083 6085 5129 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 834107409 10811588608 539120 33554432000 1073741824 1073778376 140736873842464 18446744073709551615 268284505600 0 4 0 16800975 18446604460700481344 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 7.14
Current children cumulated vsize (KiB) 10558192
[startup+6.00113 s]
/proc/loadavg: 1.93 2.01 2.00 3/609 6104
/proc/meminfo: memFree=26125976/32950928 swapFree=43925852/67111528
[pid=6085] ppid=6083 vsize=0 CPUtime=7.26 cores=1,3,5,7
/proc/6085/stat : 6085 (java) R 6083 6085 5129 0 -1 4203524 546607 0 1 0 654 72 0 0 18 0 1 0 834107396 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/6085/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 7.26
Current children cumulated vsize (KiB) 0
Child status: 30
Real time (s): 6.00984
CPU time (s): 7.27589
CPU user time (s): 6.547
CPU system time (s): 0.728889
CPU usage (%): 121.066
Max. virtual memory (cumulated for all children) (KiB): 10558192
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 6.547
system time used= 0.728889
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 546607
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= 376
involuntary context switches= 58
runsolver used 0.042993 second user time and 0.088986 second system time
The end