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-3459153-1307134140/watcher-3459153-1307134140 -o /tmp/evaluation-result-3459153-1307134140/solver-3459153-1307134140 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3459153-1307134140.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: 2.18 2.48 3.08 2/464 16729
/proc/meminfo: memFree=31329800/32950928 swapFree=34365992/67111528
[pid=16729] ppid=16727 vsize=13508980 CPUtime=0 cores=0,2,4,6
/proc/16729/stat : 16729 (java) S 16727 16729 12983 0 -1 4202496 2979 0 1 0 0 0 0 0 25 0 2 0 825012742 13833195520 2681 33554432000 1073741824 1073778376 140735228352352 18446744073709551615 235606669285 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0
/proc/16729/statm: 3377245 2695 906 9 0 3368401 0
[pid=16729/tid=16730] ppid=16727 vsize=13526316 CPUtime=0 cores=0,2,4,6
/proc/16729/task/16730/stat : 16730 (java) R 16727 16729 12983 0 -1 4202560 6223 0 1 0 0 0 0 0 25 0 2 0 825012742 13850947584 7039 33554432000 1073741824 1073778376 140735228352352 18446744073709551615 235594560571 0 4 0 16784584 0 0 0 -1 4 0 0 0
[startup+0.0445271 s]
/proc/loadavg: 2.18 2.48 3.08 2/464 16729
/proc/meminfo: memFree=31329800/32950928 swapFree=34365992/67111528
[pid=16729] ppid=16727 vsize=13549480 CPUtime=0.03 cores=0,2,4,6
/proc/16729/stat : 16729 (java) S 16727 16729 12983 0 -1 4202496 13740 0 1 0 2 1 0 0 25 0 13 0 825012742 13874667520 13437 33554432000 1073741824 1073778376 140735228352352 18446744073709551615 235606669285 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0
/proc/16729/statm: 3387370 13438 1669 9 0 3378118 0
[pid=16729/tid=16730] ppid=16727 vsize=13549480 CPUtime=0.03 cores=0,2,4,6
/proc/16729/task/16730/stat : 16730 (java) R 16727 16729 12983 0 -1 4202560 12594 0 1 0 2 1 0 0 25 0 13 0 825012742 13874667520 13438 33554432000 1073741824 1073778376 140735228352352 18446744073709551615 47746037458675 0 4 0 16784584 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13549480
[startup+0.100447 s]
/proc/loadavg: 2.18 2.48 3.08 2/464 16729
/proc/meminfo: memFree=31329800/32950928 swapFree=34365992/67111528
[pid=16729] ppid=16727 vsize=13621496 CPUtime=0.11 cores=0,2,4,6
/proc/16729/stat : 16729 (java) S 16727 16729 12983 0 -1 4202496 15548 0 1 0 9 2 0 0 25 0 18 0 825012742 13948411904 15245 33554432000 1073741824 1073778376 140735228352352 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/16729/statm: 3405374 15248 2092 9 0 3396108 0
[pid=16729/tid=16730] ppid=16727 vsize=13621496 CPUtime=0.08 cores=0,2,4,6
/proc/16729/task/16730/stat : 16730 (java) R 16727 16729 12983 0 -1 4202560 13645 0 1 0 7 1 0 0 18 0 18 0 825012742 13948411904 15249 33554432000 1073741824 1073778376 140735228352352 18446744073709551615 47746042414271 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 13621496
[startup+0.300491 s]
/proc/loadavg: 2.18 2.48 3.08 2/464 16729
/proc/meminfo: memFree=31329800/32950928 swapFree=34365992/67111528
[pid=16729] ppid=16727 vsize=13624736 CPUtime=0.55 cores=0,2,4,6
/proc/16729/stat : 16729 (java) S 16727 16729 12983 0 -1 4202496 18511 0 1 0 53 2 0 0 25 0 19 0 825012742 13951729664 17204 33554432000 1073741824 1073778376 140735228352352 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/16729/statm: 3406184 17204 2214 9 0 3396918 0
[pid=16729/tid=16730] ppid=16727 vsize=13624736 CPUtime=0.28 cores=0,2,4,6
/proc/16729/task/16730/stat : 16730 (java) R 16727 16729 12983 0 -1 4202560 14229 0 1 0 27 1 0 0 19 0 19 0 825012742 13951729664 17204 33554432000 1073741824 1073778376 140735228352352 18446744073709551615 46912505334592 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.55
Current children cumulated vsize (KiB) 13624736
[startup+0.700341 s]
/proc/loadavg: 2.18 2.48 3.08 2/464 16729
/proc/meminfo: memFree=31329800/32950928 swapFree=34365992/67111528
[pid=16729] ppid=16727 vsize=13625036 CPUtime=1.06 cores=0,2,4,6
/proc/16729/stat : 16729 (java) S 16727 16729 12983 0 -1 4202496 19371 0 1 0 104 2 0 0 25 0 19 0 825012742 13952036864 17891 33554432000 1073741824 1073778376 140735228352352 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/16729/statm: 3406259 17891 2246 9 0 3396993 0
[pid=16729/tid=16730] ppid=16727 vsize=13625036 CPUtime=0.67 cores=0,2,4,6
/proc/16729/task/16730/stat : 16730 (java) R 16727 16729 12983 0 -1 4202560 14443 0 1 0 66 1 0 0 19 0 19 0 825012742 13952036864 17891 33554432000 1073741824 1073778376 140735228352352 18446744073709551615 46912505580640 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1.06
Current children cumulated vsize (KiB) 13625036
[startup+1.50115 s]
/proc/loadavg: 2.18 2.48 3.08 3/483 16748
/proc/meminfo: memFree=31265008/32950928 swapFree=34365992/67111528
[pid=16729] ppid=16727 vsize=13625208 CPUtime=1.89 cores=0,2,4,6
/proc/16729/stat : 16729 (java) S 16727 16729 12983 0 -1 4202496 20000 0 1 0 187 2 0 0 25 0 19 0 825012742 13952212992 18517 33554432000 1073741824 1073778376 140735228352352 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/16729/statm: 3406302 18517 2247 9 0 3397036 0
[pid=16729/tid=16730] ppid=16727 vsize=13625208 CPUtime=1.42 cores=0,2,4,6
/proc/16729/task/16730/stat : 16730 (java) R 16727 16729 12983 0 -1 4202560 14445 0 1 0 141 1 0 0 20 0 19 0 825012742 13952212992 18517 33554432000 1073741824 1073778376 140735228352352 18446744073709551615 46912505539630 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=16729/tid=16732] ppid=16727 vsize=13625208 CPUtime=0 cores=0,2,4,6
/proc/16729/task/16732/stat : 16732 (java) S 16727 16729 12983 0 -1 4202560 126 0 0 0 0 0 0 0 15 0 19 0 825012744 13952212992 18517 33554432000 1073741824 1073778376 140735228352352 18446744073709551615 235606682521 0 4 0 16800975 18446604452885097344 0 0 -1 6 0 0 0
[pid=16729/tid=16733] ppid=16727 vsize=13625208 CPUtime=0 cores=0,2,4,6
/proc/16729/task/16733/stat : 16733 (java) S 16727 16729 12983 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 19 0 825012744 13952212992 18517 33554432000 1073741824 1073778376 140735228352352 18446744073709551615 235606682521 0 4 0 16800975 18446604452885097344 0 0 -1 6 0 0 0
[pid=16729/tid=16734] ppid=16727 vsize=13625208 CPUtime=0 cores=0,2,4,6
/proc/16729/task/16734/stat : 16734 (java) S 16727 16729 12983 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 19 0 825012744 13952212992 18517 33554432000 1073741824 1073778376 140735228352352 18446744073709551615 235606682521 0 4 0 16800975 18446604452885097344 0 0 -1 4 0 0 0
[pid=16729/tid=16735] ppid=16727 vsize=13625208 CPUtime=0 cores=0,2,4,6
/proc/16729/task/16735/stat : 16735 (java) S 16727 16729 12983 0 -1 4202560 46 0 0 0 0 0 0 0 15 0 19 0 825012744 13952212992 18517 33554432000 1073741824 1073778376 140735228352352 18446744073709551615 235606682521 0 4 0 16800975 18446604452885097344 0 0 -1 4 0 0 0
[pid=16729/tid=16736] ppid=16727 vsize=13625208 CPUtime=0 cores=0,2,4,6
/proc/16729/task/16736/stat : 16736 (java) S 16727 16729 12983 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 19 0 825012744 13952212992 18517 33554432000 1073741824 1073778376 140735228352352 18446744073709551615 235606682521 0 4 0 16800975 18446604452885097344 0 0 -1 4 0 0 0
[pid=16729/tid=16737] ppid=16727 vsize=13625208 CPUtime=0 cores=0,2,4,6
/proc/16729/task/16737/stat : 16737 (java) S 16727 16729 12983 0 -1 4202560 51 0 0 0 0 0 0 0 15 0 19 0 825012744 13952212992 18517 33554432000 1073741824 1073778376 140735228352352 18446744073709551615 235606682521 0 4 0 16800975 18446604452885097344 0 0 -1 0 0 0 0
[pid=16729/tid=16738] ppid=16727 vsize=13625208 CPUtime=0 cores=0,2,4,6
/proc/16729/task/16738/stat : 16738 (java) S 16727 16729 12983 0 -1 4202560 201 0 0 0 0 0 0 0 15 0 19 0 825012744 13952212992 18517 33554432000 1073741824 1073778376 140735228352352 18446744073709551615 235606682521 0 4 0 16800975 18446604452885097344 0 0 -1 0 0 0 0
[pid=16729/tid=16739] ppid=16727 vsize=13625208 CPUtime=0 cores=0,2,4,6
/proc/16729/task/16739/stat : 16739 (java) S 16727 16729 12983 0 -1 4202560 120 0 0 0 0 0 0 0 16 0 19 0 825012744 13952212992 18517 33554432000 1073741824 1073778376 140735228352352 18446744073709551615 235606682521 0 4 0 16800975 18446604452885097344 0 0 -1 6 0 0 0
[pid=16729/tid=16740] ppid=16727 vsize=13625208 CPUtime=0.05 cores=0,2,4,6
/proc/16729/task/16740/stat : 16740 (java) S 16727 16729 12983 0 -1 4202560 412 0 0 0 5 0 0 0 15 0 19 0 825012745 13952212992 18517 33554432000 1073741824 1073778376 140735228352352 18446744073709551615 235606683136 0 0 0 16800975 18446604452885097344 0 0 -1 2 0 0 0
[pid=16729/tid=16741] ppid=16727 vsize=13625208 CPUtime=0 cores=0,2,4,6
/proc/16729/task/16741/stat : 16741 (java) S 16727 16729 12983 0 -1 4202560 17 0 0 0 0 0 0 0 21 0 19 0 825012746 13952212992 18517 33554432000 1073741824 1073778376 140735228352352 18446744073709551615 235606682521 0 4 0 16800975 18446604452885097344 0 0 -1 6 0 0 0
[pid=16729/tid=16742] ppid=16727 vsize=13625208 CPUtime=0 cores=0,2,4,6
/proc/16729/task/16742/stat : 16742 (java) S 16727 16729 12983 0 -1 4202560 9 0 0 0 0 0 0 0 21 0 19 0 825012746 13952212992 18517 33554432000 1073741824 1073778376 140735228352352 18446744073709551615 235606682521 0 4 0 16800975 18446604452885097344 0 0 -1 6 0 0 0
[pid=16729/tid=16743] ppid=16727 vsize=13625208 CPUtime=0 cores=0,2,4,6
/proc/16729/task/16743/stat : 16743 (java) S 16727 16729 12983 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825012748 13952212992 18517 33554432000 1073741824 1073778376 140735228352352 18446744073709551615 235606690225 0 4 0 16800975 18446604452885097344 0 0 -1 6 0 0 0
[pid=16729/tid=16744] ppid=16727 vsize=13625208 CPUtime=0.18 cores=0,2,4,6
/proc/16729/task/16744/stat : 16744 (java) S 16727 16729 12983 0 -1 4202560 1102 0 0 0 18 0 0 0 16 0 19 0 825012748 13952212992 18517 33554432000 1073741824 1073778376 140735228352352 18446744073709551615 235606682521 0 4 0 16800975 18446604452885097344 0 0 -1 2 0 0 0
[pid=16729/tid=16745] ppid=16727 vsize=13625208 CPUtime=0.2 cores=0,2,4,6
/proc/16729/task/16745/stat : 16745 (java) S 16727 16729 12983 0 -1 4202560 2317 0 0 0 20 0 0 0 15 0 19 0 825012748 13952212992 18517 33554432000 1073741824 1073778376 140735228352352 18446744073709551615 235606682521 0 4 0 16800975 18446604452885097344 0 0 -1 0 0 0 0
[pid=16729/tid=16746] ppid=16727 vsize=13625208 CPUtime=0 cores=0,2,4,6
/proc/16729/task/16746/stat : 16746 (java) S 16727 16729 12983 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825012748 13952212992 18517 33554432000 1073741824 1073778376 140735228352352 18446744073709551615 235606682521 0 4 0 16800975 18446604452885097344 0 0 -1 4 0 0 0
[pid=16729/tid=16747] ppid=16727 vsize=13625208 CPUtime=0 cores=0,2,4,6
/proc/16729/task/16747/stat : 16747 (java) S 16727 16729 12983 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 825012748 13952212992 18517 33554432000 1073741824 1073778376 140735228352352 18446744073709551615 235606683136 0 4 0 16800975 18446604452885097344 0 0 -1 4 0 0 0
[pid=16729/tid=16748] ppid=16727 vsize=13625208 CPUtime=0 cores=0,2,4,6
/proc/16729/task/16748/stat : 16748 (java) S 16727 16729 12983 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 825012758 13952212992 18517 33554432000 1073741824 1073778376 140735228352352 18446744073709551615 235606683136 0 4 0 16800975 18446604452885097344 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.89
Current children cumulated vsize (KiB) 13625208
[startup+3.10098 s]
/proc/loadavg: 2.18 2.48 3.08 4/483 16748
/proc/meminfo: memFree=31262536/32950928 swapFree=34365992/67111528
[pid=16729] ppid=16727 vsize=13625208 CPUtime=3.5 cores=0,2,4,6
/proc/16729/stat : 16729 (java) S 16727 16729 12983 0 -1 4202496 20286 0 1 0 348 2 0 0 25 0 19 0 825012742 13952212992 18799 33554432000 1073741824 1073778376 140735228352352 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/16729/statm: 3406302 18799 2247 9 0 3397036 0
[pid=16729/tid=16730] ppid=16727 vsize=13625208 CPUtime=2.96 cores=0,2,4,6
/proc/16729/task/16730/stat : 16730 (java) R 16727 16729 12983 0 -1 4202560 14449 0 1 0 295 1 0 0 25 0 19 0 825012742 13952212992 18799 33554432000 1073741824 1073778376 140735228352352 18446744073709551615 46912505609940 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=16729/tid=16732] ppid=16727 vsize=13625208 CPUtime=0 cores=0,2,4,6
/proc/16729/task/16732/stat : 16732 (java) S 16727 16729 12983 0 -1 4202560 132 0 0 0 0 0 0 0 16 0 19 0 825012744 13952212992 18799 33554432000 1073741824 1073778376 140735228352352 18446744073709551615 235606682521 0 4 0 16800975 18446604452885097344 0 0 -1 4 0 0 0
[pid=16729/tid=16733] ppid=16727 vsize=13625208 CPUtime=0 cores=0,2,4,6
/proc/16729/task/16733/stat : 16733 (java) S 16727 16729 12983 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 19 0 825012744 13952212992 18799 33554432000 1073741824 1073778376 140735228352352 18446744073709551615 235606682521 0 4 0 16800975 18446604452885097344 0 0 -1 0 0 0 0
[pid=16729/tid=16734] ppid=16727 vsize=13625208 CPUtime=0 cores=0,2,4,6
/proc/16729/task/16734/stat : 16734 (java) S 16727 16729 12983 0 -1 4202560 23 0 0 0 0 0 0 0 15 0 19 0 825012744 13952212992 18799 33554432000 1073741824 1073778376 140735228352352 18446744073709551615 235606682521 0 4 0 16800975 18446604452885097344 0 0 -1 4 0 0 0
[pid=16729/tid=16735] ppid=16727 vsize=13625208 CPUtime=0 cores=0,2,4,6
/proc/16729/task/16735/stat : 16735 (java) S 16727 16729 12983 0 -1 4202560 46 0 0 0 0 0 0 0 15 0 19 0 825012744 13952212992 18799 33554432000 1073741824 1073778376 140735228352352 18446744073709551615 235606682521 0 4 0 16800975 18446604452885097344 0 0 -1 4 0 0 0
[pid=16729/tid=16736] ppid=16727 vsize=13625208 CPUtime=0 cores=0,2,4,6
/proc/16729/task/16736/stat : 16736 (java) S 16727 16729 12983 0 -1 4202560 37 0 0 0 0 0 0 0 16 0 19 0 825012744 13952212992 18799 33554432000 1073741824 1073778376 140735228352352 18446744073709551615 235606682521 0 4 0 16800975 18446604452885097344 0 0 -1 6 0 0 0
[pid=16729/tid=16737] ppid=16727 vsize=13625208 CPUtime=0 cores=0,2,4,6
/proc/16729/task/16737/stat : 16737 (java) S 16727 16729 12983 0 -1 4202560 51 0 0 0 0 0 0 0 15 0 19 0 825012744 13952212992 18799 33554432000 1073741824 1073778376 140735228352352 18446744073709551615 235606682521 0 4 0 16800975 18446604452885097344 0 0 -1 4 0 0 0
[pid=16729/tid=16738] ppid=16727 vsize=13625208 CPUtime=0 cores=0,2,4,6
/proc/16729/task/16738/stat : 16738 (java) S 16727 16729 12983 0 -1 4202560 201 0 0 0 0 0 0 0 15 0 19 0 825012744 13952212992 18799 33554432000 1073741824 1073778376 140735228352352 18446744073709551615 235606682521 0 4 0 16800975 18446604452885097344 0 0 -1 0 0 0 0
[pid=16729/tid=16739] ppid=16727 vsize=13625208 CPUtime=0 cores=0,2,4,6
/proc/16729/task/16739/stat : 16739 (java) S 16727 16729 12983 0 -1 4202560 122 0 0 0 0 0 0 0 15 0 19 0 825012744 13952212992 18799 33554432000 1073741824 1073778376 140735228352352 18446744073709551615 235606682521 0 4 0 16800975 18446604452885097344 0 0 -1 0 0 0 0
[pid=16729/tid=16740] ppid=16727 vsize=13625208 CPUtime=0.1 cores=0,2,4,6
/proc/16729/task/16740/stat : 16740 (java) S 16727 16729 12983 0 -1 4202560 649 0 0 0 10 0 0 0 15 0 19 0 825012745 13952212992 18799 33554432000 1073741824 1073778376 140735228352352 18446744073709551615 235606683136 0 0 0 16800975 18446604452885097344 0 0 -1 2 0 0 0
[pid=16729/tid=16741] ppid=16727 vsize=13625208 CPUtime=0 cores=0,2,4,6
/proc/16729/task/16741/stat : 16741 (java) S 16727 16729 12983 0 -1 4202560 17 0 0 0 0 0 0 0 21 0 19 0 825012746 13952212992 18799 33554432000 1073741824 1073778376 140735228352352 18446744073709551615 235606682521 0 4 0 16800975 18446604452885097344 0 0 -1 6 0 0 0
[pid=16729/tid=16742] ppid=16727 vsize=13625208 CPUtime=0 cores=0,2,4,6
/proc/16729/task/16742/stat : 16742 (java) S 16727 16729 12983 0 -1 4202560 9 0 0 0 0 0 0 0 21 0 19 0 825012746 13952212992 18799 33554432000 1073741824 1073778376 140735228352352 18446744073709551615 235606682521 0 4 0 16800975 18446604452885097344 0 0 -1 6 0 0 0
[pid=16729/tid=16743] ppid=16727 vsize=13625208 CPUtime=0 cores=0,2,4,6
/proc/16729/task/16743/stat : 16743 (java) S 16727 16729 12983 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825012748 13952212992 18799 33554432000 1073741824 1073778376 140735228352352 18446744073709551615 235606690225 0 4 0 16800975 18446604452885097344 0 0 -1 6 0 0 0
[pid=16729/tid=16744] ppid=16727 vsize=13625208 CPUtime=0.18 cores=0,2,4,6
/proc/16729/task/16744/stat : 16744 (java) S 16727 16729 12983 0 -1 4202560 1102 0 0 0 18 0 0 0 16 0 19 0 825012748 13952212992 18799 33554432000 1073741824 1073778376 140735228352352 18446744073709551615 235606682521 0 4 0 16800975 18446604452885097344 0 0 -1 2 0 0 0
[pid=16729/tid=16745] ppid=16727 vsize=13625208 CPUtime=0.2 cores=0,2,4,6
/proc/16729/task/16745/stat : 16745 (java) S 16727 16729 12983 0 -1 4202560 2317 0 0 0 20 0 0 0 15 0 19 0 825012748 13952212992 18799 33554432000 1073741824 1073778376 140735228352352 18446744073709551615 235606682521 0 4 0 16800975 18446604452885097344 0 0 -1 0 0 0 0
[pid=16729/tid=16746] ppid=16727 vsize=13625208 CPUtime=0 cores=0,2,4,6
/proc/16729/task/16746/stat : 16746 (java) S 16727 16729 12983 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825012748 13952212992 18799 33554432000 1073741824 1073778376 140735228352352 18446744073709551615 235606682521 0 4 0 16800975 18446604452885097344 0 0 -1 4 0 0 0
[pid=16729/tid=16747] ppid=16727 vsize=13625208 CPUtime=0 cores=0,2,4,6
/proc/16729/task/16747/stat : 16747 (java) S 16727 16729 12983 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 825012748 13952212992 18799 33554432000 1073741824 1073778376 140735228352352 18446744073709551615 235606683136 0 4 0 16800975 18446604452885097344 0 0 -1 4 0 0 0
[pid=16729/tid=16748] ppid=16727 vsize=13625208 CPUtime=0 cores=0,2,4,6
/proc/16729/task/16748/stat : 16748 (java) S 16727 16729 12983 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 825012758 13952212992 18799 33554432000 1073741824 1073778376 140735228352352 18446744073709551615 235606683136 0 4 0 16800975 18446604452885097344 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.5
Current children cumulated vsize (KiB) 13625208
Solver just ended. Dumping a history of the last processes samples
[startup+4.70062 s]
/proc/loadavg: 2.16 2.48 3.08 3/483 16748
/proc/meminfo: memFree=31260552/32950928 swapFree=34365992/67111528
[pid=16729] ppid=16727 vsize=13625208 CPUtime=5.1 cores=0,2,4,6
/proc/16729/stat : 16729 (java) S 16727 16729 12983 0 -1 4202496 20356 0 1 0 508 2 0 0 25 0 19 0 825012742 13952212992 18864 33554432000 1073741824 1073778376 140735228352352 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/16729/statm: 3406302 18864 2247 9 0 3397036 0
[pid=16729/tid=16730] ppid=16727 vsize=13625208 CPUtime=4.49 cores=0,2,4,6
/proc/16729/task/16730/stat : 16730 (java) R 16727 16729 12983 0 -1 4202560 14454 0 1 0 448 1 0 0 18 0 19 0 825012742 13952212992 18864 33554432000 1073741824 1073778376 140735228352352 18446744073709551615 46912505556080 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=16729/tid=16732] ppid=16727 vsize=13625208 CPUtime=0 cores=0,2,4,6
/proc/16729/task/16732/stat : 16732 (java) S 16727 16729 12983 0 -1 4202560 132 0 0 0 0 0 0 0 15 0 19 0 825012744 13952212992 18864 33554432000 1073741824 1073778376 140735228352352 18446744073709551615 235606682521 0 4 0 16800975 18446604452885097344 0 0 -1 4 0 0 0
[pid=16729/tid=16733] ppid=16727 vsize=13625208 CPUtime=0 cores=0,2,4,6
/proc/16729/task/16733/stat : 16733 (java) S 16727 16729 12983 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 19 0 825012744 13952212992 18864 33554432000 1073741824 1073778376 140735228352352 18446744073709551615 235606682521 0 4 0 16800975 18446604452885097344 0 0 -1 0 0 0 0
[pid=16729/tid=16734] ppid=16727 vsize=13625208 CPUtime=0 cores=0,2,4,6
/proc/16729/task/16734/stat : 16734 (java) S 16727 16729 12983 0 -1 4202560 23 0 0 0 0 0 0 0 15 0 19 0 825012744 13952212992 18864 33554432000 1073741824 1073778376 140735228352352 18446744073709551615 235606682521 0 4 0 16800975 18446604452885097344 0 0 -1 4 0 0 0
[pid=16729/tid=16735] ppid=16727 vsize=13625208 CPUtime=0 cores=0,2,4,6
/proc/16729/task/16735/stat : 16735 (java) S 16727 16729 12983 0 -1 4202560 46 0 0 0 0 0 0 0 16 0 19 0 825012744 13952212992 18864 33554432000 1073741824 1073778376 140735228352352 18446744073709551615 235606682521 0 4 0 16800975 18446604452885097344 0 0 -1 0 0 0 0
[pid=16729/tid=16736] ppid=16727 vsize=13625208 CPUtime=0 cores=0,2,4,6
/proc/16729/task/16736/stat : 16736 (java) S 16727 16729 12983 0 -1 4202560 40 0 0 0 0 0 0 0 15 0 19 0 825012744 13952212992 18864 33554432000 1073741824 1073778376 140735228352352 18446744073709551615 235606682521 0 4 0 16800975 18446604452885097344 0 0 -1 6 0 0 0
[pid=16729/tid=16737] ppid=16727 vsize=13625208 CPUtime=0 cores=0,2,4,6
/proc/16729/task/16737/stat : 16737 (java) S 16727 16729 12983 0 -1 4202560 51 0 0 0 0 0 0 0 16 0 19 0 825012744 13952212992 18864 33554432000 1073741824 1073778376 140735228352352 18446744073709551615 235606682521 0 4 0 16800975 18446604452885097344 0 0 -1 4 0 0 0
[pid=16729/tid=16738] ppid=16727 vsize=13625208 CPUtime=0 cores=0,2,4,6
/proc/16729/task/16738/stat : 16738 (java) S 16727 16729 12983 0 -1 4202560 205 0 0 0 0 0 0 0 15 0 19 0 825012744 13952212992 18864 33554432000 1073741824 1073778376 140735228352352 18446744073709551615 235606682521 0 4 0 16800975 18446604452885097344 0 0 -1 0 0 0 0
[pid=16729/tid=16739] ppid=16727 vsize=13625208 CPUtime=0 cores=0,2,4,6
/proc/16729/task/16739/stat : 16739 (java) S 16727 16729 12983 0 -1 4202560 122 0 0 0 0 0 0 0 15 0 19 0 825012744 13952212992 18864 33554432000 1073741824 1073778376 140735228352352 18446744073709551615 235606682521 0 4 0 16800975 18446604452885097344 0 0 -1 4 0 0 0
[pid=16729/tid=16740] ppid=16727 vsize=13625208 CPUtime=0.16 cores=0,2,4,6
/proc/16729/task/16740/stat : 16740 (java) S 16727 16729 12983 0 -1 4202560 707 0 0 0 16 0 0 0 15 0 19 0 825012745 13952212992 18864 33554432000 1073741824 1073778376 140735228352352 18446744073709551615 235606683136 0 0 0 16800975 18446604452885097344 0 0 -1 2 0 0 0
[pid=16729/tid=16741] ppid=16727 vsize=13625208 CPUtime=0 cores=0,2,4,6
/proc/16729/task/16741/stat : 16741 (java) S 16727 16729 12983 0 -1 4202560 17 0 0 0 0 0 0 0 21 0 19 0 825012746 13952212992 18864 33554432000 1073741824 1073778376 140735228352352 18446744073709551615 235606682521 0 4 0 16800975 18446604452885097344 0 0 -1 6 0 0 0
[pid=16729/tid=16742] ppid=16727 vsize=13625208 CPUtime=0 cores=0,2,4,6
/proc/16729/task/16742/stat : 16742 (java) S 16727 16729 12983 0 -1 4202560 9 0 0 0 0 0 0 0 21 0 19 0 825012746 13952212992 18864 33554432000 1073741824 1073778376 140735228352352 18446744073709551615 235606682521 0 4 0 16800975 18446604452885097344 0 0 -1 6 0 0 0
[pid=16729/tid=16743] ppid=16727 vsize=13625208 CPUtime=0 cores=0,2,4,6
/proc/16729/task/16743/stat : 16743 (java) S 16727 16729 12983 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825012748 13952212992 18864 33554432000 1073741824 1073778376 140735228352352 18446744073709551615 235606690225 0 4 0 16800975 18446604452885097344 0 0 -1 6 0 0 0
[pid=16729/tid=16744] ppid=16727 vsize=13625208 CPUtime=0.18 cores=0,2,4,6
/proc/16729/task/16744/stat : 16744 (java) S 16727 16729 12983 0 -1 4202560 1102 0 0 0 18 0 0 0 16 0 19 0 825012748 13952212992 18864 33554432000 1073741824 1073778376 140735228352352 18446744073709551615 235606682521 0 4 0 16800975 18446604452885097344 0 0 -1 2 0 0 0
[pid=16729/tid=16745] ppid=16727 vsize=13625208 CPUtime=0.2 cores=0,2,4,6
/proc/16729/task/16745/stat : 16745 (java) S 16727 16729 12983 0 -1 4202560 2317 0 0 0 20 0 0 0 15 0 19 0 825012748 13952212992 18864 33554432000 1073741824 1073778376 140735228352352 18446744073709551615 235606682521 0 4 0 16800975 18446604452885097344 0 0 -1 0 0 0 0
[pid=16729/tid=16746] ppid=16727 vsize=13625208 CPUtime=0 cores=0,2,4,6
/proc/16729/task/16746/stat : 16746 (java) S 16727 16729 12983 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825012748 13952212992 18864 33554432000 1073741824 1073778376 140735228352352 18446744073709551615 235606682521 0 4 0 16800975 18446604452885097344 0 0 -1 4 0 0 0
[pid=16729/tid=16747] ppid=16727 vsize=13625208 CPUtime=0 cores=0,2,4,6
/proc/16729/task/16747/stat : 16747 (java) S 16727 16729 12983 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 825012748 13952212992 18864 33554432000 1073741824 1073778376 140735228352352 18446744073709551615 235606683136 0 4 0 16800975 18446604452885097344 0 0 -1 4 0 0 0
[pid=16729/tid=16748] ppid=16727 vsize=13625208 CPUtime=0 cores=0,2,4,6
/proc/16729/task/16748/stat : 16748 (java) S 16727 16729 12983 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 825012758 13952212992 18864 33554432000 1073741824 1073778376 140735228352352 18446744073709551615 235606683136 0 4 0 16800975 18446604452885097344 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.1
Current children cumulated vsize (KiB) 13625208
[startup+5.10058 s]
/proc/loadavg: 2.16 2.48 3.08 3/483 16748
/proc/meminfo: memFree=31260552/32950928 swapFree=34365992/67111528
[pid=16729] ppid=16727 vsize=13625208 CPUtime=5.5 cores=0,2,4,6
/proc/16729/stat : 16729 (java) S 16727 16729 12983 0 -1 4202496 20358 0 1 0 548 2 0 0 25 0 19 0 825012742 13952212992 18865 33554432000 1073741824 1073778376 140735228352352 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/16729/statm: 3406302 18865 2247 9 0 3397036 0
[pid=16729/tid=16730] ppid=16727 vsize=13625208 CPUtime=4.88 cores=0,2,4,6
/proc/16729/task/16730/stat : 16730 (java) R 16727 16729 12983 0 -1 4202560 14455 0 1 0 487 1 0 0 18 0 19 0 825012742 13952212992 18865 33554432000 1073741824 1073778376 140735228352352 18446744073709551615 46912505609959 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=16729/tid=16732] ppid=16727 vsize=13625208 CPUtime=0 cores=0,2,4,6
/proc/16729/task/16732/stat : 16732 (java) S 16727 16729 12983 0 -1 4202560 132 0 0 0 0 0 0 0 15 0 19 0 825012744 13952212992 18865 33554432000 1073741824 1073778376 140735228352352 18446744073709551615 235606682521 0 4 0 16800975 18446604452885097344 0 0 -1 4 0 0 0
[pid=16729/tid=16733] ppid=16727 vsize=13625208 CPUtime=0 cores=0,2,4,6
/proc/16729/task/16733/stat : 16733 (java) S 16727 16729 12983 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 19 0 825012744 13952212992 18865 33554432000 1073741824 1073778376 140735228352352 18446744073709551615 235606682521 0 4 0 16800975 18446604452885097344 0 0 -1 0 0 0 0
[pid=16729/tid=16734] ppid=16727 vsize=13625208 CPUtime=0 cores=0,2,4,6
/proc/16729/task/16734/stat : 16734 (java) S 16727 16729 12983 0 -1 4202560 23 0 0 0 0 0 0 0 15 0 19 0 825012744 13952212992 18865 33554432000 1073741824 1073778376 140735228352352 18446744073709551615 235606682521 0 4 0 16800975 18446604452885097344 0 0 -1 4 0 0 0
[pid=16729/tid=16735] ppid=16727 vsize=13625208 CPUtime=0 cores=0,2,4,6
/proc/16729/task/16735/stat : 16735 (java) S 16727 16729 12983 0 -1 4202560 46 0 0 0 0 0 0 0 16 0 19 0 825012744 13952212992 18865 33554432000 1073741824 1073778376 140735228352352 18446744073709551615 235606682521 0 4 0 16800975 18446604452885097344 0 0 -1 0 0 0 0
[pid=16729/tid=16736] ppid=16727 vsize=13625208 CPUtime=0 cores=0,2,4,6
/proc/16729/task/16736/stat : 16736 (java) S 16727 16729 12983 0 -1 4202560 40 0 0 0 0 0 0 0 15 0 19 0 825012744 13952212992 18865 33554432000 1073741824 1073778376 140735228352352 18446744073709551615 235606682521 0 4 0 16800975 18446604452885097344 0 0 -1 6 0 0 0
[pid=16729/tid=16737] ppid=16727 vsize=13625208 CPUtime=0 cores=0,2,4,6
/proc/16729/task/16737/stat : 16737 (java) S 16727 16729 12983 0 -1 4202560 51 0 0 0 0 0 0 0 16 0 19 0 825012744 13952212992 18865 33554432000 1073741824 1073778376 140735228352352 18446744073709551615 235606682521 0 4 0 16800975 18446604452885097344 0 0 -1 6 0 0 0
[pid=16729/tid=16738] ppid=16727 vsize=13625208 CPUtime=0 cores=0,2,4,6
/proc/16729/task/16738/stat : 16738 (java) S 16727 16729 12983 0 -1 4202560 205 0 0 0 0 0 0 0 15 0 19 0 825012744 13952212992 18865 33554432000 1073741824 1073778376 140735228352352 18446744073709551615 235606682521 0 4 0 16800975 18446604452885097344 0 0 -1 0 0 0 0
[pid=16729/tid=16739] ppid=16727 vsize=13625208 CPUtime=0 cores=0,2,4,6
/proc/16729/task/16739/stat : 16739 (java) S 16727 16729 12983 0 -1 4202560 123 0 0 0 0 0 0 0 16 0 19 0 825012744 13952212992 18865 33554432000 1073741824 1073778376 140735228352352 18446744073709551615 235606682521 0 4 0 16800975 18446604452885097344 0 0 -1 4 0 0 0
[pid=16729/tid=16740] ppid=16727 vsize=13625208 CPUtime=0.17 cores=0,2,4,6
/proc/16729/task/16740/stat : 16740 (java) S 16727 16729 12983 0 -1 4202560 707 0 0 0 17 0 0 0 15 0 19 0 825012745 13952212992 18865 33554432000 1073741824 1073778376 140735228352352 18446744073709551615 235606683136 0 0 0 16800975 18446604452885097344 0 0 -1 2 0 0 0
[pid=16729/tid=16741] ppid=16727 vsize=13625208 CPUtime=0 cores=0,2,4,6
/proc/16729/task/16741/stat : 16741 (java) S 16727 16729 12983 0 -1 4202560 17 0 0 0 0 0 0 0 21 0 19 0 825012746 13952212992 18865 33554432000 1073741824 1073778376 140735228352352 18446744073709551615 235606682521 0 4 0 16800975 18446604452885097344 0 0 -1 6 0 0 0
[pid=16729/tid=16742] ppid=16727 vsize=13625208 CPUtime=0 cores=0,2,4,6
/proc/16729/task/16742/stat : 16742 (java) S 16727 16729 12983 0 -1 4202560 9 0 0 0 0 0 0 0 21 0 19 0 825012746 13952212992 18865 33554432000 1073741824 1073778376 140735228352352 18446744073709551615 235606682521 0 4 0 16800975 18446604452885097344 0 0 -1 6 0 0 0
[pid=16729/tid=16743] ppid=16727 vsize=13625208 CPUtime=0 cores=0,2,4,6
/proc/16729/task/16743/stat : 16743 (java) S 16727 16729 12983 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825012748 13952212992 18865 33554432000 1073741824 1073778376 140735228352352 18446744073709551615 235606690225 0 4 0 16800975 18446604452885097344 0 0 -1 6 0 0 0
[pid=16729/tid=16744] ppid=16727 vsize=13625208 CPUtime=0.18 cores=0,2,4,6
/proc/16729/task/16744/stat : 16744 (java) S 16727 16729 12983 0 -1 4202560 1102 0 0 0 18 0 0 0 16 0 19 0 825012748 13952212992 18865 33554432000 1073741824 1073778376 140735228352352 18446744073709551615 235606682521 0 4 0 16800975 18446604452885097344 0 0 -1 2 0 0 0
[pid=16729/tid=16745] ppid=16727 vsize=13625208 CPUtime=0.2 cores=0,2,4,6
/proc/16729/task/16745/stat : 16745 (java) S 16727 16729 12983 0 -1 4202560 2317 0 0 0 20 0 0 0 15 0 19 0 825012748 13952212992 18865 33554432000 1073741824 1073778376 140735228352352 18446744073709551615 235606682521 0 4 0 16800975 18446604452885097344 0 0 -1 0 0 0 0
[pid=16729/tid=16746] ppid=16727 vsize=13625208 CPUtime=0 cores=0,2,4,6
/proc/16729/task/16746/stat : 16746 (java) S 16727 16729 12983 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825012748 13952212992 18865 33554432000 1073741824 1073778376 140735228352352 18446744073709551615 235606682521 0 4 0 16800975 18446604452885097344 0 0 -1 4 0 0 0
[pid=16729/tid=16747] ppid=16727 vsize=13625208 CPUtime=0 cores=0,2,4,6
/proc/16729/task/16747/stat : 16747 (java) S 16727 16729 12983 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 825012748 13952212992 18865 33554432000 1073741824 1073778376 140735228352352 18446744073709551615 235606683136 0 4 0 16800975 18446604452885097344 0 0 -1 4 0 0 0
[pid=16729/tid=16748] ppid=16727 vsize=13625208 CPUtime=0 cores=0,2,4,6
/proc/16729/task/16748/stat : 16748 (java) S 16727 16729 12983 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 825012758 13952212992 18865 33554432000 1073741824 1073778376 140735228352352 18446744073709551615 235606683136 0 4 0 16800975 18446604452885097344 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.5
Current children cumulated vsize (KiB) 13625208
[startup+5.30155 s]
/proc/loadavg: 2.16 2.48 3.08 3/483 16748
/proc/meminfo: memFree=31260552/32950928 swapFree=34365992/67111528
[pid=16729] ppid=16727 vsize=13627392 CPUtime=5.88 cores=0,2,4,6
/proc/16729/stat : 16729 (java) S 16727 16729 12983 0 -1 4202496 25982 0 1 0 585 3 0 0 25 0 19 0 825012742 13954449408 22810 33554432000 1073741824 1073778376 140735228352352 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/16729/statm: 3406848 22810 2248 9 0 3397582 0
[pid=16729/tid=16730] ppid=16727 vsize=13627392 CPUtime=5.05 cores=0,2,4,6
/proc/16729/task/16730/stat : 16730 (java) R 16727 16729 12983 0 -1 4202560 14464 0 1 0 504 1 0 0 18 0 19 0 825012742 13954449408 22810 33554432000 1073741824 1073778376 140735228352352 18446744073709551615 46912505581341 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=16729/tid=16732] ppid=16727 vsize=13627392 CPUtime=0 cores=0,2,4,6
/proc/16729/task/16732/stat : 16732 (java) S 16727 16729 12983 0 -1 4202560 132 0 0 0 0 0 0 0 15 0 19 0 825012744 13954449408 22810 33554432000 1073741824 1073778376 140735228352352 18446744073709551615 235606682521 0 4 0 16800975 18446604452885097344 0 0 -1 4 0 0 0
[pid=16729/tid=16733] ppid=16727 vsize=13627392 CPUtime=0 cores=0,2,4,6
/proc/16729/task/16733/stat : 16733 (java) S 16727 16729 12983 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 19 0 825012744 13954449408 22810 33554432000 1073741824 1073778376 140735228352352 18446744073709551615 235606682521 0 4 0 16800975 18446604452885097344 0 0 -1 6 0 0 0
[pid=16729/tid=16734] ppid=16727 vsize=13627392 CPUtime=0 cores=0,2,4,6
/proc/16729/task/16734/stat : 16734 (java) S 16727 16729 12983 0 -1 4202560 23 0 0 0 0 0 0 0 15 0 19 0 825012744 13954449408 22810 33554432000 1073741824 1073778376 140735228352352 18446744073709551615 235606682521 0 4 0 16800975 18446604452885097344 0 0 -1 4 0 0 0
[pid=16729/tid=16735] ppid=16727 vsize=13627392 CPUtime=0 cores=0,2,4,6
/proc/16729/task/16735/stat : 16735 (java) S 16727 16729 12983 0 -1 4202560 46 0 0 0 0 0 0 0 15 0 19 0 825012744 13954449408 22810 33554432000 1073741824 1073778376 140735228352352 18446744073709551615 235606682521 0 4 0 16800975 18446604452885097344 0 0 -1 6 0 0 0
[pid=16729/tid=16736] ppid=16727 vsize=13627392 CPUtime=0.01 cores=0,2,4,6
/proc/16729/task/16736/stat : 16736 (java) S 16727 16729 12983 0 -1 4202560 40 0 0 0 1 0 0 0 15 0 19 0 825012744 13954449408 22810 33554432000 1073741824 1073778376 140735228352352 18446744073709551615 235606682521 0 4 0 16800975 18446604452885097344 0 0 -1 6 0 0 0
[pid=16729/tid=16737] ppid=16727 vsize=13627392 CPUtime=0 cores=0,2,4,6
/proc/16729/task/16737/stat : 16737 (java) S 16727 16729 12983 0 -1 4202560 51 0 0 0 0 0 0 0 15 0 19 0 825012744 13954449408 22810 33554432000 1073741824 1073778376 140735228352352 18446744073709551615 235606682521 0 4 0 16800975 18446604452885097344 0 0 -1 6 0 0 0
[pid=16729/tid=16738] ppid=16727 vsize=13627392 CPUtime=0 cores=0,2,4,6
/proc/16729/task/16738/stat : 16738 (java) S 16727 16729 12983 0 -1 4202560 205 0 0 0 0 0 0 0 15 0 19 0 825012744 13954449408 22810 33554432000 1073741824 1073778376 140735228352352 18446744073709551615 235606682521 0 4 0 16800975 18446604452885097344 0 0 -1 4 0 0 0
[pid=16729/tid=16739] ppid=16727 vsize=13627392 CPUtime=0 cores=0,2,4,6
/proc/16729/task/16739/stat : 16739 (java) S 16727 16729 12983 0 -1 4202560 123 0 0 0 0 0 0 0 15 0 19 0 825012744 13954449408 22810 33554432000 1073741824 1073778376 140735228352352 18446744073709551615 235606682521 0 4 0 16800975 18446604452885097344 0 0 -1 4 0 0 0
[pid=16729/tid=16740] ppid=16727 vsize=13627392 CPUtime=0.19 cores=0,2,4,6
/proc/16729/task/16740/stat : 16740 (java) S 16727 16729 12983 0 -1 4202560 707 0 0 0 19 0 0 0 15 0 19 0 825012745 13954449408 22810 33554432000 1073741824 1073778376 140735228352352 18446744073709551615 235606683136 0 0 0 16800975 18446604452885097344 0 0 -1 2 0 0 0
[pid=16729/tid=16741] ppid=16727 vsize=13627392 CPUtime=0 cores=0,2,4,6
/proc/16729/task/16741/stat : 16741 (java) S 16727 16729 12983 0 -1 4202560 17 0 0 0 0 0 0 0 21 0 19 0 825012746 13954449408 22810 33554432000 1073741824 1073778376 140735228352352 18446744073709551615 235606682521 0 4 0 16800975 18446604452885097344 0 0 -1 6 0 0 0
[pid=16729/tid=16742] ppid=16727 vsize=13627392 CPUtime=0 cores=0,2,4,6
/proc/16729/task/16742/stat : 16742 (java) S 16727 16729 12983 0 -1 4202560 9 0 0 0 0 0 0 0 21 0 19 0 825012746 13954449408 22810 33554432000 1073741824 1073778376 140735228352352 18446744073709551615 235606682521 0 4 0 16800975 18446604452885097344 0 0 -1 6 0 0 0
[pid=16729/tid=16743] ppid=16727 vsize=13627392 CPUtime=0 cores=0,2,4,6
/proc/16729/task/16743/stat : 16743 (java) S 16727 16729 12983 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825012748 13954449408 22810 33554432000 1073741824 1073778376 140735228352352 18446744073709551615 235606690225 0 4 0 16800975 18446604452885097344 0 0 -1 6 0 0 0
[pid=16729/tid=16744] ppid=16727 vsize=13627392 CPUtime=0.22 cores=0,2,4,6
/proc/16729/task/16744/stat : 16744 (java) S 16727 16729 12983 0 -1 4202560 1562 0 0 0 22 0 0 0 16 0 19 0 825012748 13954449408 22810 33554432000 1073741824 1073778376 140735228352352 18446744073709551615 235606682521 0 4 0 16800975 18446604452885097344 0 0 -1 2 0 0 0
[pid=16729/tid=16745] ppid=16727 vsize=13627392 CPUtime=0.34 cores=0,2,4,6
/proc/16729/task/16745/stat : 16745 (java) R 16727 16729 12983 0 -1 4202560 7472 0 0 0 33 1 0 0 16 0 19 0 825012748 13954449408 22810 33554432000 1073741824 1073778376 140735228352352 18446744073709551615 47746040834264 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=16729/tid=16746] ppid=16727 vsize=13627392 CPUtime=0 cores=0,2,4,6
/proc/16729/task/16746/stat : 16746 (java) S 16727 16729 12983 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825012748 13954449408 22810 33554432000 1073741824 1073778376 140735228352352 18446744073709551615 235606682521 0 4 0 16800975 18446604452885097344 0 0 -1 4 0 0 0
[pid=16729/tid=16747] ppid=16727 vsize=13627392 CPUtime=0 cores=0,2,4,6
/proc/16729/task/16747/stat : 16747 (java) S 16727 16729 12983 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 825012748 13954449408 22810 33554432000 1073741824 1073778376 140735228352352 18446744073709551615 235606683136 0 4 0 16800975 18446604452885097344 0 0 -1 4 0 0 0
[pid=16729/tid=16748] ppid=16727 vsize=13627392 CPUtime=0 cores=0,2,4,6
/proc/16729/task/16748/stat : 16748 (java) S 16727 16729 12983 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 825012758 13954449408 22810 33554432000 1073741824 1073778376 140735228352352 18446744073709551615 235606683136 0 4 0 16800975 18446604452885097344 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.88
Current children cumulated vsize (KiB) 13627392
[startup+5.40147 s]
/proc/loadavg: 2.16 2.48 3.08 4/483 16794
/proc/meminfo: memFree=31246860/32950928 swapFree=34365992/67111528
[pid=16729] ppid=16727 vsize=13628420 CPUtime=6.11 cores=0,2,4,6
/proc/16729/stat : 16729 (java) S 16727 16729 12983 0 -1 4202496 26216 0 1 0 608 3 0 0 25 0 20 0 825012742 13955502080 23044 33554432000 1073741824 1073778376 140735228352352 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/16729/statm: 3407105 23044 2248 9 0 3397839 0
[pid=16729/tid=16730] ppid=16727 vsize=13628420 CPUtime=5.16 cores=0,2,4,6
/proc/16729/task/16730/stat : 16730 (java) S 16727 16729 12983 0 -1 4202560 14468 0 1 0 515 1 0 0 19 0 20 0 825012742 13955502080 23047 33554432000 1073741824 1073778376 140735228352352 18446744073709551615 235606682521 0 4 0 16800975 18446604452885097344 0 0 -1 4 0 0 0
[pid=16729/tid=16732] ppid=16727 vsize=13628420 CPUtime=0 cores=0,2,4,6
/proc/16729/task/16732/stat : 16732 (java) S 16727 16729 12983 0 -1 4202560 132 0 0 0 0 0 0 0 15 0 20 0 825012744 13955502080 23047 33554432000 1073741824 1073778376 140735228352352 18446744073709551615 235606682521 0 4 0 16800975 18446604452885097344 0 0 -1 4 0 0 0
[pid=16729/tid=16733] ppid=16727 vsize=13628420 CPUtime=0 cores=0,2,4,6
/proc/16729/task/16733/stat : 16733 (java) S 16727 16729 12983 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 20 0 825012744 13955502080 23047 33554432000 1073741824 1073778376 140735228352352 18446744073709551615 235606682521 0 4 0 16800975 18446604452885097344 0 0 -1 6 0 0 0
[pid=16729/tid=16734] ppid=16727 vsize=13628420 CPUtime=0 cores=0,2,4,6
/proc/16729/task/16734/stat : 16734 (java) S 16727 16729 12983 0 -1 4202560 23 0 0 0 0 0 0 0 15 0 20 0 825012744 13955502080 23047 33554432000 1073741824 1073778376 140735228352352 18446744073709551615 235606682521 0 4 0 16800975 18446604452885097344 0 0 -1 4 0 0 0
[pid=16729/tid=16735] ppid=16727 vsize=13628420 CPUtime=0 cores=0,2,4,6
/proc/16729/task/16735/stat : 16735 (java) S 16727 16729 12983 0 -1 4202560 46 0 0 0 0 0 0 0 15 0 20 0 825012744 13955502080 23047 33554432000 1073741824 1073778376 140735228352352 18446744073709551615 235606682521 0 4 0 16800975 18446604452885097344 0 0 -1 6 0 0 0
[pid=16729/tid=16736] ppid=16727 vsize=13628420 CPUtime=0.01 cores=0,2,4,6
/proc/16729/task/16736/stat : 16736 (java) S 16727 16729 12983 0 -1 4202560 40 0 0 0 1 0 0 0 15 0 20 0 825012744 13955502080 23047 33554432000 1073741824 1073778376 140735228352352 18446744073709551615 235606682521 0 4 0 16800975 18446604452885097344 0 0 -1 6 0 0 0
[pid=16729/tid=16737] ppid=16727 vsize=13628420 CPUtime=0 cores=0,2,4,6
/proc/16729/task/16737/stat : 16737 (java) S 16727 16729 12983 0 -1 4202560 51 0 0 0 0 0 0 0 15 0 20 0 825012744 13955502080 23047 33554432000 1073741824 1073778376 140735228352352 18446744073709551615 235606682521 0 4 0 16800975 18446604452885097344 0 0 -1 6 0 0 0
[pid=16729/tid=16738] ppid=16727 vsize=13628420 CPUtime=0 cores=0,2,4,6
/proc/16729/task/16738/stat : 16738 (java) S 16727 16729 12983 0 -1 4202560 205 0 0 0 0 0 0 0 15 0 20 0 825012744 13955502080 23047 33554432000 1073741824 1073778376 140735228352352 18446744073709551615 235606682521 0 4 0 16800975 18446604452885097344 0 0 -1 4 0 0 0
[pid=16729/tid=16739] ppid=16727 vsize=13628420 CPUtime=0 cores=0,2,4,6
/proc/16729/task/16739/stat : 16739 (java) S 16727 16729 12983 0 -1 4202560 123 0 0 0 0 0 0 0 15 0 20 0 825012744 13955502080 23047 33554432000 1073741824 1073778376 140735228352352 18446744073709551615 235606682521 0 4 0 16800975 18446604452885097344 0 0 -1 4 0 0 0
[pid=16729/tid=16740] ppid=16727 vsize=13628420 CPUtime=0.19 cores=0,2,4,6
/proc/16729/task/16740/stat : 16740 (java) S 16727 16729 12983 0 -1 4202560 707 0 0 0 19 0 0 0 15 0 20 0 825012745 13955502080 23047 33554432000 1073741824 1073778376 140735228352352 18446744073709551615 235606683136 0 0 0 16800975 18446604452885097344 0 0 -1 2 0 0 0
[pid=16729/tid=16741] ppid=16727 vsize=13628420 CPUtime=0 cores=0,2,4,6
/proc/16729/task/16741/stat : 16741 (java) S 16727 16729 12983 0 -1 4202560 17 0 0 0 0 0 0 0 21 0 20 0 825012746 13955502080 23047 33554432000 1073741824 1073778376 140735228352352 18446744073709551615 235606682521 0 4 0 16800975 18446604452885097344 0 0 -1 6 0 0 0
[pid=16729/tid=16742] ppid=16727 vsize=13628420 CPUtime=0 cores=0,2,4,6
/proc/16729/task/16742/stat : 16742 (java) S 16727 16729 12983 0 -1 4202560 9 0 0 0 0 0 0 0 21 0 20 0 825012746 13955502080 23047 33554432000 1073741824 1073778376 140735228352352 18446744073709551615 235606682521 0 4 0 16800975 18446604452885097344 0 0 -1 6 0 0 0
[pid=16729/tid=16743] ppid=16727 vsize=13628420 CPUtime=0 cores=0,2,4,6
/proc/16729/task/16743/stat : 16743 (java) S 16727 16729 12983 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 825012748 13955502080 23047 33554432000 1073741824 1073778376 140735228352352 18446744073709551615 235606690225 0 4 0 16800975 18446604452885097344 0 0 -1 6 0 0 0
[pid=16729/tid=16744] ppid=16727 vsize=13628420 CPUtime=0.23 cores=0,2,4,6
/proc/16729/task/16744/stat : 16744 (java) R 16727 16729 12983 0 -1 4202560 1568 0 0 0 23 0 0 0 15 0 20 0 825012748 13955502080 23047 33554432000 1073741824 1073778376 140735228352352 18446744073709551615 47746039104864 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=16729/tid=16745] ppid=16727 vsize=13628420 CPUtime=0.45 cores=0,2,4,6
/proc/16729/task/16745/stat : 16745 (java) R 16727 16729 12983 0 -1 4202560 7688 0 0 0 44 1 0 0 16 0 20 0 825012748 13955502080 23047 33554432000 1073741824 1073778376 140735228352352 18446744073709551615 47746037532836 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=16729/tid=16746] ppid=16727 vsize=13628420 CPUtime=0 cores=0,2,4,6
/proc/16729/task/16746/stat : 16746 (java) S 16727 16729 12983 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 825012748 13955502080 23047 33554432000 1073741824 1073778376 140735228352352 18446744073709551615 235606682521 0 4 0 16800975 18446604452885097344 0 0 -1 4 0 0 0
[pid=16729/tid=16747] ppid=16727 vsize=13628420 CPUtime=0 cores=0,2,4,6
/proc/16729/task/16747/stat : 16747 (java) S 16727 16729 12983 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 20 0 825012748 13955502080 23047 33554432000 1073741824 1073778376 140735228352352 18446744073709551615 235606683136 0 4 0 16800975 18446604452885097344 0 0 -1 4 0 0 0
[pid=16729/tid=16748] ppid=16727 vsize=13628420 CPUtime=0 cores=0,2,4,6
/proc/16729/task/16748/stat : 16748 (java) S 16727 16729 12983 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 20 0 825012758 13955502080 23047 33554432000 1073741824 1073778376 140735228352352 18446744073709551615 235606683136 0 4 0 16800975 18446604452885097344 0 0 -1 0 0 0 0
[pid=16729/tid=16795] ppid=16727 vsize=13628420 CPUtime=0 cores=0,2,4,6
/proc/16729/task/16795/stat : 16795 (java) R 16727 16729 12983 0 -1 4202560 11 0 0 0 0 0 0 0 19 0 20 0 825013283 13955502080 23047 33554432000 1073741824 1073778376 140735228352352 18446744073709551615 46912505227973 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 6.11
Current children cumulated vsize (KiB) 13628420
Child status: 20
Real time (s): 5.43695
CPU time (s): 6.15306
CPU user time (s): 6.11107
CPU system time (s): 0.041993
CPU usage (%): 113.171
Max. virtual memory (cumulated for all children) (KiB): 13628420
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 6.11107
system time used= 0.041993
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 26229
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= 644
involuntary context switches= 559
runsolver used 0.032994 second user time and 0.065989 second system time
The end