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-3453599-1307195811/watcher-3453599-1307195811 -o /tmp/evaluation-result-3453599-1307195811/solver-3453599-1307195811 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3453599-1307195811.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.93 2.84 3.18 3/596 3096
/proc/meminfo: memFree=23286612/32951124 swapFree=58940260/67111528
[pid=3096] ppid=3094 vsize=27172 CPUtime=0 cores=1,3,5,7
/proc/3096/stat : 3096 (java) S 3094 3096 2924 0 -1 4202496 1179 0 0 0 0 0 0 0 25 0 2 0 831178844 27824128 906 33554432000 1073741824 1073778376 140737151155792 18446744073709551615 212699477989 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0
/proc/3096/statm: 6793 906 688 9 0 381 0
[pid=3096/tid=3097] ppid=3094 vsize=10453028 CPUtime=0 cores=1,3,5,7
/proc/3096/task/3097/stat : 3097 (java) R 3094 3096 2924 0 -1 4202560 8814 0 1 0 0 0 0 0 25 0 10 0 831178844 10703900672 9639 33554432000 1073741824 1073778376 140737151155792 18446744073709551615 46956286075026 0 4 0 16784584 0 0 0 -1 3 0 0 0
[pid=3096/tid=3098] ppid=3094 vsize=10453028 CPUtime=0 cores=1,3,5,7
/proc/3096/task/3098/stat : 3098 (java) R 3094 3096 2924 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 10 0 831178846 10703900672 9640 33554432000 1073741824 1073778376 140737151155792 18446744073709551615 212699491225 0 4 0 16784584 0 0 0 -1 3 0 0 0
[pid=3096/tid=3101] ppid=3094 vsize=10453028 CPUtime=0 cores=1,3,5,7
/proc/3096/task/3101/stat : 3101 (java) R 3094 3096 2924 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 10 0 831178846 10703900672 9645 33554432000 1073741824 1073778376 140737151155792 18446744073709551615 212699491225 0 4 0 16784584 0 0 0 -1 3 0 0 0
[pid=3096/tid=3102] ppid=3094 vsize=10453028 CPUtime=0 cores=1,3,5,7
/proc/3096/task/3102/stat : 3102 (java) R 3094 3096 2924 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 10 0 831178846 10703900672 9647 33554432000 1073741824 1073778376 140737151155792 18446744073709551615 212699491225 0 4 0 16784584 0 0 0 -1 3 0 0 0
[pid=3096/tid=3103] ppid=3094 vsize=10453028 CPUtime=0 cores=1,3,5,7
/proc/3096/task/3103/stat : 3103 (java) R 3094 3096 2924 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 10 0 831178846 10703900672 9647 33554432000 1073741824 1073778376 140737151155792 18446744073709551615 212699491225 0 4 0 16784584 0 0 0 -1 3 0 0 0
[pid=3096/tid=3104] ppid=3094 vsize=10453028 CPUtime=0 cores=1,3,5,7
/proc/3096/task/3104/stat : 3104 (java) R 3094 3096 2924 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 10 0 831178846 10703900672 9648 33554432000 1073741824 1073778376 140737151155792 18446744073709551615 212699491225 0 4 0 16784584 0 0 0 -1 3 0 0 0
[pid=3096/tid=3105] ppid=3094 vsize=10453028 CPUtime=0 cores=1,3,5,7
/proc/3096/task/3105/stat : 3105 (java) R 3094 3096 2924 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 10 0 831178846 10703900672 9648 33554432000 1073741824 1073778376 140737151155792 18446744073709551615 212699491225 0 4 0 16784584 0 0 0 -1 3 0 0 0
[pid=3096/tid=3106] ppid=3094 vsize=10453028 CPUtime=0 cores=1,3,5,7
/proc/3096/task/3106/stat : 3106 (java) R 3094 3096 2924 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 10 0 831178846 10703900672 9649 33554432000 1073741824 1073778376 140737151155792 18446744073709551615 212699491225 0 4 0 16784584 0 0 0 -1 3 0 0 0
[pid=3096/tid=3107] ppid=3094 vsize=10453028 CPUtime=0 cores=1,3,5,7
/proc/3096/task/3107/stat : 3107 (java) R 3094 3096 2924 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 10 0 831178846 10703900672 9650 33554432000 1073741824 1073778376 140737151155792 18446744073709551615 212699491225 0 4 0 16784584 0 0 0 -1 3 0 0 0
[startup+0.0485569 s]
/proc/loadavg: 1.93 2.84 3.18 3/596 3096
/proc/meminfo: memFree=23286612/32951124 swapFree=58940260/67111528
[pid=3096] ppid=3094 vsize=10467616 CPUtime=0.04 cores=1,3,5,7
/proc/3096/stat : 3096 (java) S 3094 3096 2924 0 -1 4202496 11394 0 1 0 3 1 0 0 25 0 13 0 831178844 10718838784 11090 33554432000 1073741824 1073778376 140737151155792 18446744073709551615 212699477989 0 0 0 16800971 18446744073709551615 0 0 17 3 0 0 0
/proc/3096/statm: 2616904 11091 1682 9 0 2607652 0
[pid=3096/tid=3097] ppid=3094 vsize=10467616 CPUtime=0.04 cores=1,3,5,7
/proc/3096/task/3097/stat : 3097 (java) R 3094 3096 2924 0 -1 4202560 10247 0 1 0 3 1 0 0 25 0 13 0 831178844 10718838784 11092 33554432000 1073741824 1073778376 140737151155792 18446744073709551615 46956281855907 0 4 0 16800971 0 0 0 -1 3 0 0 0
[pid=3096/tid=3098] ppid=3094 vsize=10467616 CPUtime=0 cores=1,3,5,7
/proc/3096/task/3098/stat : 3098 (java) S 3094 3096 2924 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 13 0 831178846 10718838784 11092 33554432000 1073741824 1073778376 140737151155792 18446744073709551615 212699491225 0 4 0 16800971 18446604465008636928 0 0 -1 7 0 0 0
[pid=3096/tid=3101] ppid=3094 vsize=10467616 CPUtime=0 cores=1,3,5,7
/proc/3096/task/3101/stat : 3101 (java) S 3094 3096 2924 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 13 0 831178846 10718838784 11093 33554432000 1073741824 1073778376 140737151155792 18446744073709551615 212699491225 0 4 0 16800971 18446604465008636928 0 0 -1 7 0 0 0
[pid=3096/tid=3102] ppid=3094 vsize=10467616 CPUtime=0 cores=1,3,5,7
/proc/3096/task/3102/stat : 3102 (java) S 3094 3096 2924 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 13 0 831178846 10718838784 11094 33554432000 1073741824 1073778376 140737151155792 18446744073709551615 212699491225 0 4 0 16800971 18446604465008636928 0 0 -1 7 0 0 0
[pid=3096/tid=3103] ppid=3094 vsize=10467616 CPUtime=0 cores=1,3,5,7
/proc/3096/task/3103/stat : 3103 (java) S 3094 3096 2924 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 13 0 831178846 10718838784 11095 33554432000 1073741824 1073778376 140737151155792 18446744073709551615 212699491225 0 4 0 16800971 18446604465008636928 0 0 -1 7 0 0 0
[pid=3096/tid=3104] ppid=3094 vsize=10467616 CPUtime=0 cores=1,3,5,7
/proc/3096/task/3104/stat : 3104 (java) S 3094 3096 2924 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 13 0 831178846 10718838784 11096 33554432000 1073741824 1073778376 140737151155792 18446744073709551615 212699491225 0 4 0 16800971 18446604465008636928 0 0 -1 7 0 0 0
[pid=3096/tid=3105] ppid=3094 vsize=10467616 CPUtime=0 cores=1,3,5,7
/proc/3096/task/3105/stat : 3105 (java) S 3094 3096 2924 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 13 0 831178846 10718838784 11097 33554432000 1073741824 1073778376 140737151155792 18446744073709551615 212699491225 0 4 0 16800971 18446604465008636928 0 0 -1 7 0 0 0
[pid=3096/tid=3106] ppid=3094 vsize=10467616 CPUtime=0 cores=1,3,5,7
/proc/3096/task/3106/stat : 3106 (java) S 3094 3096 2924 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 13 0 831178846 10718838784 11097 33554432000 1073741824 1073778376 140737151155792 18446744073709551615 212699491225 0 4 0 16800971 18446604465008636928 0 0 -1 7 0 0 0
[pid=3096/tid=3107] ppid=3094 vsize=10467616 CPUtime=0 cores=1,3,5,7
/proc/3096/task/3107/stat : 3107 (java) S 3094 3096 2924 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 13 0 831178846 10718838784 11099 33554432000 1073741824 1073778376 140737151155792 18446744073709551615 212699491225 0 4 0 16800971 18446604465008636928 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 10467616
[startup+0.100548 s]
/proc/loadavg: 1.93 2.84 3.18 3/596 3096
/proc/meminfo: memFree=23286612/32951124 swapFree=58940260/67111528
[pid=3096] ppid=3094 vsize=10540072 CPUtime=0.1 cores=1,3,5,7
/proc/3096/stat : 3096 (java) S 3094 3096 2924 0 -1 4202496 13095 0 1 0 9 1 0 0 25 0 18 0 831178844 10793033728 12771 33554432000 1073741824 1073778376 140737151155792 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/3096/statm: 2635018 12772 2093 9 0 2625752 0
[pid=3096/tid=3097] ppid=3094 vsize=10540072 CPUtime=0.09 cores=1,3,5,7
/proc/3096/task/3097/stat : 3097 (java) R 3094 3096 2924 0 -1 4202560 11151 0 1 0 8 1 0 0 25 0 18 0 831178844 10793033728 12772 33554432000 1073741824 1073778376 140737151155792 18446744073709551615 46956284888600 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=3096/tid=3098] ppid=3094 vsize=10540072 CPUtime=0 cores=1,3,5,7
/proc/3096/task/3098/stat : 3098 (java) S 3094 3096 2924 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 831178846 10793033728 12772 33554432000 1073741824 1073778376 140737151155792 18446744073709551615 212699491225 0 4 0 16800975 18446604465008636928 0 0 -1 7 0 0 0
[pid=3096/tid=3101] ppid=3094 vsize=10540072 CPUtime=0 cores=1,3,5,7
/proc/3096/task/3101/stat : 3101 (java) S 3094 3096 2924 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 831178846 10793033728 12773 33554432000 1073741824 1073778376 140737151155792 18446744073709551615 212699491225 0 4 0 16800975 18446604465008636928 0 0 -1 7 0 0 0
[pid=3096/tid=3102] ppid=3094 vsize=10540072 CPUtime=0 cores=1,3,5,7
/proc/3096/task/3102/stat : 3102 (java) S 3094 3096 2924 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 831178846 10793033728 12773 33554432000 1073741824 1073778376 140737151155792 18446744073709551615 212699491225 0 4 0 16800975 18446604465008636928 0 0 -1 7 0 0 0
[pid=3096/tid=3103] ppid=3094 vsize=10540072 CPUtime=0 cores=1,3,5,7
/proc/3096/task/3103/stat : 3103 (java) S 3094 3096 2924 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 831178846 10793033728 12773 33554432000 1073741824 1073778376 140737151155792 18446744073709551615 212699491225 0 4 0 16800975 18446604465008636928 0 0 -1 7 0 0 0
[pid=3096/tid=3104] ppid=3094 vsize=10540072 CPUtime=0 cores=1,3,5,7
/proc/3096/task/3104/stat : 3104 (java) S 3094 3096 2924 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 831178846 10793033728 12773 33554432000 1073741824 1073778376 140737151155792 18446744073709551615 212699491225 0 4 0 16800975 18446604465008636928 0 0 -1 7 0 0 0
[pid=3096/tid=3105] ppid=3094 vsize=10540072 CPUtime=0 cores=1,3,5,7
/proc/3096/task/3105/stat : 3105 (java) S 3094 3096 2924 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 831178846 10793033728 12774 33554432000 1073741824 1073778376 140737151155792 18446744073709551615 212699491225 0 4 0 16800975 18446604465008636928 0 0 -1 7 0 0 0
[pid=3096/tid=3106] ppid=3094 vsize=10540072 CPUtime=0 cores=1,3,5,7
/proc/3096/task/3106/stat : 3106 (java) S 3094 3096 2924 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 831178846 10793033728 12774 33554432000 1073741824 1073778376 140737151155792 18446744073709551615 212699491225 0 4 0 16800975 18446604465008636928 0 0 -1 7 0 0 0
[pid=3096/tid=3107] ppid=3094 vsize=10540072 CPUtime=0 cores=1,3,5,7
/proc/3096/task/3107/stat : 3107 (java) S 3094 3096 2924 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 831178846 10793033728 12775 33554432000 1073741824 1073778376 140737151155792 18446744073709551615 212699491225 0 4 0 16800975 18446604465008636928 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10540072
[startup+0.300499 s]
/proc/loadavg: 1.93 2.84 3.18 3/596 3096
/proc/meminfo: memFree=23286612/32951124 swapFree=58940260/67111528
[pid=3096] ppid=3094 vsize=10540936 CPUtime=0.46 cores=1,3,5,7
/proc/3096/stat : 3096 (java) S 3094 3096 2924 0 -1 4202496 16109 0 1 0 44 2 0 0 25 0 18 0 831178844 10793918464 15591 33554432000 1073741824 1073778376 140737151155792 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/3096/statm: 2635234 15592 2209 9 0 2625968 0
[pid=3096/tid=3097] ppid=3094 vsize=10540936 CPUtime=0.28 cores=1,3,5,7
/proc/3096/task/3097/stat : 3097 (java) R 3094 3096 2924 0 -1 4202560 13263 0 1 0 27 1 0 0 25 0 18 0 831178844 10793918464 15592 33554432000 1073741824 1073778376 140737151155792 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=3096/tid=3098] ppid=3094 vsize=10540936 CPUtime=0 cores=1,3,5,7
/proc/3096/task/3098/stat : 3098 (java) S 3094 3096 2924 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 831178846 10793918464 15592 33554432000 1073741824 1073778376 140737151155792 18446744073709551615 212699491225 0 4 0 16800975 18446604465008636928 0 0 -1 7 0 0 0
[pid=3096/tid=3101] ppid=3094 vsize=10540936 CPUtime=0 cores=1,3,5,7
/proc/3096/task/3101/stat : 3101 (java) S 3094 3096 2924 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 831178846 10793918464 15593 33554432000 1073741824 1073778376 140737151155792 18446744073709551615 212699491225 0 4 0 16800975 18446604465008636928 0 0 -1 7 0 0 0
[pid=3096/tid=3102] ppid=3094 vsize=10540936 CPUtime=0 cores=1,3,5,7
/proc/3096/task/3102/stat : 3102 (java) S 3094 3096 2924 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 831178846 10793918464 15593 33554432000 1073741824 1073778376 140737151155792 18446744073709551615 212699491225 0 4 0 16800975 18446604465008636928 0 0 -1 7 0 0 0
[pid=3096/tid=3103] ppid=3094 vsize=10540936 CPUtime=0 cores=1,3,5,7
/proc/3096/task/3103/stat : 3103 (java) S 3094 3096 2924 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 831178846 10793918464 15593 33554432000 1073741824 1073778376 140737151155792 18446744073709551615 212699491225 0 4 0 16800975 18446604465008636928 0 0 -1 7 0 0 0
[pid=3096/tid=3104] ppid=3094 vsize=10540936 CPUtime=0 cores=1,3,5,7
/proc/3096/task/3104/stat : 3104 (java) S 3094 3096 2924 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 831178846 10793918464 15594 33554432000 1073741824 1073778376 140737151155792 18446744073709551615 212699491225 0 4 0 16800975 18446604465008636928 0 0 -1 7 0 0 0
[pid=3096/tid=3105] ppid=3094 vsize=10540936 CPUtime=0 cores=1,3,5,7
/proc/3096/task/3105/stat : 3105 (java) S 3094 3096 2924 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 831178846 10793918464 15594 33554432000 1073741824 1073778376 140737151155792 18446744073709551615 212699491225 0 4 0 16800975 18446604465008636928 0 0 -1 7 0 0 0
[pid=3096/tid=3106] ppid=3094 vsize=10540936 CPUtime=0 cores=1,3,5,7
/proc/3096/task/3106/stat : 3106 (java) S 3094 3096 2924 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 831178846 10793918464 15594 33554432000 1073741824 1073778376 140737151155792 18446744073709551615 212699491225 0 4 0 16800975 18446604465008636928 0 0 -1 7 0 0 0
[pid=3096/tid=3107] ppid=3094 vsize=10540936 CPUtime=0 cores=1,3,5,7
/proc/3096/task/3107/stat : 3107 (java) S 3094 3096 2924 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 831178846 10793918464 15595 33554432000 1073741824 1073778376 140737151155792 18446744073709551615 212699491225 0 4 0 16800975 18446604465008636928 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 10540936
[startup+0.700391 s]
/proc/loadavg: 1.93 2.84 3.18 3/596 3096
/proc/meminfo: memFree=23286612/32951124 swapFree=58940260/67111528
[pid=3096] ppid=3094 vsize=10552236 CPUtime=1.65 cores=1,3,5,7
/proc/3096/stat : 3096 (java) S 3094 3096 2924 0 -1 4202496 39837 0 1 0 159 6 0 0 25 0 22 0 831178844 10805489664 37256 33554432000 1073741824 1073778376 140737151155792 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/3096/statm: 2638059 37256 2231 9 0 2628793 0
[pid=3096/tid=3097] ppid=3094 vsize=10552236 CPUtime=0.6 cores=1,3,5,7
/proc/3096/task/3097/stat : 3097 (java) S 3094 3096 2924 0 -1 4202560 29809 0 1 0 57 3 0 0 25 0 22 0 831178844 10805489664 37256 33554432000 1073741824 1073778376 140737151155792 18446744073709551615 212699491840 0 4 0 16800975 18446604465008636928 0 0 -1 1 0 0 0
[pid=3096/tid=3098] ppid=3094 vsize=10552236 CPUtime=0 cores=1,3,5,7
/proc/3096/task/3098/stat : 3098 (java) S 3094 3096 2924 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831178846 10805489664 37256 33554432000 1073741824 1073778376 140737151155792 18446744073709551615 212699491225 0 4 0 16800975 18446604465008636928 0 0 -1 7 0 0 0
[pid=3096/tid=3101] ppid=3094 vsize=10552236 CPUtime=0 cores=1,3,5,7
/proc/3096/task/3101/stat : 3101 (java) S 3094 3096 2924 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 831178846 10805489664 37256 33554432000 1073741824 1073778376 140737151155792 18446744073709551615 212699491225 0 4 0 16800975 18446604465008636928 0 0 -1 7 0 0 0
[pid=3096/tid=3102] ppid=3094 vsize=10552236 CPUtime=0 cores=1,3,5,7
/proc/3096/task/3102/stat : 3102 (java) S 3094 3096 2924 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831178846 10805489664 37256 33554432000 1073741824 1073778376 140737151155792 18446744073709551615 212699491225 0 4 0 16800975 18446604465008636928 0 0 -1 7 0 0 0
[pid=3096/tid=3103] ppid=3094 vsize=10552236 CPUtime=0 cores=1,3,5,7
/proc/3096/task/3103/stat : 3103 (java) S 3094 3096 2924 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831178846 10805489664 37256 33554432000 1073741824 1073778376 140737151155792 18446744073709551615 212699491225 0 4 0 16800975 18446604465008636928 0 0 -1 7 0 0 0
[pid=3096/tid=3104] ppid=3094 vsize=10552236 CPUtime=0 cores=1,3,5,7
/proc/3096/task/3104/stat : 3104 (java) S 3094 3096 2924 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831178846 10805489664 37256 33554432000 1073741824 1073778376 140737151155792 18446744073709551615 212699491225 0 4 0 16800975 18446604465008636928 0 0 -1 7 0 0 0
[pid=3096/tid=3105] ppid=3094 vsize=10552236 CPUtime=0 cores=1,3,5,7
/proc/3096/task/3105/stat : 3105 (java) S 3094 3096 2924 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831178846 10805489664 37256 33554432000 1073741824 1073778376 140737151155792 18446744073709551615 212699491225 0 4 0 16800975 18446604465008636928 0 0 -1 7 0 0 0
[pid=3096/tid=3106] ppid=3094 vsize=10552236 CPUtime=0 cores=1,3,5,7
/proc/3096/task/3106/stat : 3106 (java) S 3094 3096 2924 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831178846 10805489664 37256 33554432000 1073741824 1073778376 140737151155792 18446744073709551615 212699491225 0 4 0 16800975 18446604465008636928 0 0 -1 7 0 0 0
[pid=3096/tid=3107] ppid=3094 vsize=10552236 CPUtime=0 cores=1,3,5,7
/proc/3096/task/3107/stat : 3107 (java) S 3094 3096 2924 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831178846 10805489664 37256 33554432000 1073741824 1073778376 140737151155792 18446744073709551615 212699491225 0 4 0 16800975 18446604465008636928 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.65
Current children cumulated vsize (KiB) 10552236
[startup+1.50128 s]
/proc/loadavg: 1.93 2.84 3.18 7/618 3122
/proc/meminfo: memFree=23114504/32951124 swapFree=58940260/67111528
[pid=3096] ppid=3094 vsize=10557104 CPUtime=4.21 cores=1,3,5,7
/proc/3096/stat : 3096 (java) S 3094 3096 2924 0 -1 4202496 49422 0 1 0 414 7 0 0 25 0 22 0 831178844 10810474496 45650 33554432000 1073741824 1073778376 140737151155792 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/3096/statm: 2639276 45651 2238 9 0 2630010 0
[pid=3096/tid=3097] ppid=3094 vsize=10557104 CPUtime=0.6 cores=1,3,5,7
/proc/3096/task/3097/stat : 3097 (java) S 3094 3096 2924 0 -1 4202560 29809 0 1 0 57 3 0 0 20 0 22 0 831178844 10810474496 45651 33554432000 1073741824 1073778376 140737151155792 18446744073709551615 212699491840 0 4 0 16800975 18446604465008636928 0 0 -1 1 0 0 0
[pid=3096/tid=3098] ppid=3094 vsize=10557104 CPUtime=0 cores=1,3,5,7
/proc/3096/task/3098/stat : 3098 (java) S 3094 3096 2924 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831178846 10810474496 45652 33554432000 1073741824 1073778376 140737151155792 18446744073709551615 212699491225 0 4 0 16800975 18446604465008636928 0 0 -1 7 0 0 0
[pid=3096/tid=3101] ppid=3094 vsize=10557104 CPUtime=0 cores=1,3,5,7
/proc/3096/task/3101/stat : 3101 (java) S 3094 3096 2924 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 831178846 10810474496 45654 33554432000 1073741824 1073778376 140737151155792 18446744073709551615 212699491225 0 4 0 16800975 18446604465008636928 0 0 -1 7 0 0 0
[pid=3096/tid=3102] ppid=3094 vsize=10557104 CPUtime=0 cores=1,3,5,7
/proc/3096/task/3102/stat : 3102 (java) S 3094 3096 2924 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831178846 10810474496 45654 33554432000 1073741824 1073778376 140737151155792 18446744073709551615 212699491225 0 4 0 16800975 18446604465008636928 0 0 -1 7 0 0 0
[pid=3096/tid=3103] ppid=3094 vsize=10557104 CPUtime=0 cores=1,3,5,7
/proc/3096/task/3103/stat : 3103 (java) S 3094 3096 2924 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831178846 10810474496 45655 33554432000 1073741824 1073778376 140737151155792 18446744073709551615 212699491225 0 4 0 16800975 18446604465008636928 0 0 -1 7 0 0 0
[pid=3096/tid=3104] ppid=3094 vsize=10557104 CPUtime=0 cores=1,3,5,7
/proc/3096/task/3104/stat : 3104 (java) S 3094 3096 2924 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831178846 10810474496 45655 33554432000 1073741824 1073778376 140737151155792 18446744073709551615 212699491225 0 4 0 16800975 18446604465008636928 0 0 -1 7 0 0 0
[pid=3096/tid=3105] ppid=3094 vsize=10557104 CPUtime=0 cores=1,3,5,7
/proc/3096/task/3105/stat : 3105 (java) S 3094 3096 2924 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831178846 10810474496 45656 33554432000 1073741824 1073778376 140737151155792 18446744073709551615 212699491225 0 4 0 16800975 18446604465008636928 0 0 -1 7 0 0 0
[pid=3096/tid=3106] ppid=3094 vsize=10557104 CPUtime=0 cores=1,3,5,7
/proc/3096/task/3106/stat : 3106 (java) S 3094 3096 2924 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831178846 10810474496 45656 33554432000 1073741824 1073778376 140737151155792 18446744073709551615 212699491225 0 4 0 16800975 18446604465008636928 0 0 -1 7 0 0 0
[pid=3096/tid=3107] ppid=3094 vsize=10557104 CPUtime=0 cores=1,3,5,7
/proc/3096/task/3107/stat : 3107 (java) S 3094 3096 2924 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831178846 10810474496 45657 33554432000 1073741824 1073778376 140737151155792 18446744073709551615 212699491225 0 4 0 16800975 18446604465008636928 0 0 -1 7 0 0 0
[pid=3096/tid=3109] ppid=3094 vsize=10557104 CPUtime=0 cores=1,3,5,7
/proc/3096/task/3109/stat : 3109 (java) S 3094 3096 2924 0 -1 4202560 4 0 0 0 0 0 0 0 18 0 22 0 831178847 10810474496 45658 33554432000 1073741824 1073778376 140737151155792 18446744073709551615 212699491840 0 0 0 16800975 18446604465008636928 0 0 -1 3 0 0 0
[pid=3096/tid=3110] ppid=3094 vsize=10557104 CPUtime=0 cores=1,3,5,7
/proc/3096/task/3110/stat : 3110 (java) S 3094 3096 2924 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 22 0 831178847 10810474496 45658 33554432000 1073741824 1073778376 140737151155792 18446744073709551615 212699491225 0 4 0 16800975 18446604465008636928 0 0 -1 3 0 0 0
[pid=3096/tid=3111] ppid=3094 vsize=10557104 CPUtime=0 cores=1,3,5,7
/proc/3096/task/3111/stat : 3111 (java) S 3094 3096 2924 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 831178847 10810474496 45659 33554432000 1073741824 1073778376 140737151155792 18446744073709551615 212699491225 0 4 0 16800975 18446604465008636928 0 0 -1 3 0 0 0
[pid=3096/tid=3112] ppid=3094 vsize=10557104 CPUtime=0 cores=1,3,5,7
/proc/3096/task/3112/stat : 3112 (java) S 3094 3096 2924 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831178849 10810474496 45660 33554432000 1073741824 1073778376 140737151155792 18446744073709551615 212699498929 0 4 0 16800975 18446604465008636928 0 0 -1 3 0 0 0
[pid=3096/tid=3114] ppid=3094 vsize=10557104 CPUtime=0.93 cores=1,3,5,7
/proc/3096/task/3114/stat : 3114 (java) S 3094 3096 2924 0 -1 4202560 7261 0 0 0 92 1 0 0 25 0 22 0 831178849 10810474496 45660 33554432000 1073741824 1073778376 140737151155792 18446744073709551615 212699491225 0 4 0 16800975 18446604465008636928 0 0 -1 5 0 0 0
[pid=3096/tid=3115] ppid=3094 vsize=10557104 CPUtime=0.89 cores=1,3,5,7
/proc/3096/task/3115/stat : 3115 (java) S 3094 3096 2924 0 -1 4202560 3962 0 0 0 89 0 0 0 25 0 22 0 831178850 10810474496 45661 33554432000 1073741824 1073778376 140737151155792 18446744073709551615 212699491225 0 4 0 16800975 18446604465008636928 0 0 -1 7 0 0 0
[pid=3096/tid=3116] ppid=3094 vsize=10557104 CPUtime=0 cores=1,3,5,7
/proc/3096/task/3116/stat : 3116 (java) S 3094 3096 2924 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831178850 10810474496 45661 33554432000 1073741824 1073778376 140737151155792 18446744073709551615 212699491225 0 4 0 16800975 18446604465008636928 0 0 -1 3 0 0 0
[pid=3096/tid=3117] ppid=3094 vsize=10557104 CPUtime=0 cores=1,3,5,7
/proc/3096/task/3117/stat : 3117 (java) S 3094 3096 2924 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 831178850 10810474496 45661 33554432000 1073741824 1073778376 140737151155792 18446744073709551615 212699491840 0 4 0 16800975 18446604465008636928 0 0 -1 1 0 0 0
[pid=3096/tid=3118] ppid=3094 vsize=10557104 CPUtime=0.87 cores=1,3,5,7
/proc/3096/task/3118/stat : 3118 (java) R 3094 3096 2924 0 -1 4202560 415 0 0 0 87 0 0 0 25 0 22 0 831178906 10810474496 45662 33554432000 1073741824 1073778376 140737151155792 18446744073709551615 46956286323539 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=3096/tid=3119] ppid=3094 vsize=10557104 CPUtime=0.86 cores=1,3,5,7
/proc/3096/task/3119/stat : 3119 (java) R 3094 3096 2924 0 -1 4202560 6819 0 0 0 86 0 0 0 25 0 22 0 831178907 10810474496 45662 33554432000 1073741824 1073778376 140737151155792 18446744073709551615 46912506052103 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=3096/tid=3121] ppid=3094 vsize=10557104 CPUtime=0 cores=1,3,5,7
/proc/3096/task/3121/stat : 3121 (java) S 3094 3096 2924 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 831178908 10810474496 45663 33554432000 1073741824 1073778376 140737151155792 18446744073709551615 212699491840 0 4 0 16800975 18446604465008636928 0 0 -1 3 0 0 0
################
# More data... #
################
[pid=3096/tid=3122] ppid=3094 vsize=10551248 CPUtime=0 cores=1,3,5,7
/proc/3096/task/3122/stat : 3122 (java) S 3094 3096 2924 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 831178908 10804477952 125988 33554432000 1073741824 1073778376 140737151155792 18446744073709551615 212699491840 0 4 0 16800975 18446604465008636928 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 13.98
Current children cumulated vsize (KiB) 10551248
[startup+12.7012 s]
/proc/loadavg: 2.33 2.89 3.20 5/618 3122
/proc/meminfo: memFree=21350776/32951124 swapFree=58940260/67111528
[pid=3096] ppid=3094 vsize=10551248 CPUtime=26.74 cores=1,3,5,7
/proc/3096/stat : 3096 (java) S 3094 3096 2924 0 -1 4202496 199611 0 1 0 2651 23 0 0 25 0 22 0 831178844 10804477952 194346 33554432000 1073741824 1073778376 140737151155792 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/3096/statm: 2637812 194346 2267 9 0 2628546 0
[pid=3096/tid=3097] ppid=3094 vsize=10551248 CPUtime=0.6 cores=1,3,5,7
/proc/3096/task/3097/stat : 3097 (java) S 3094 3096 2924 0 -1 4202560 29809 0 1 0 57 3 0 0 15 0 22 0 831178844 10804477952 194346 33554432000 1073741824 1073778376 140737151155792 18446744073709551615 212699491840 0 4 0 16800975 18446604465008636928 0 0 -1 1 0 0 0
[pid=3096/tid=3098] ppid=3094 vsize=10551248 CPUtime=0 cores=1,3,5,7
/proc/3096/task/3098/stat : 3098 (java) S 3094 3096 2924 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 831178846 10804477952 194346 33554432000 1073741824 1073778376 140737151155792 18446744073709551615 212699491225 0 4 0 16800975 18446604465008636928 0 0 -1 7 0 0 0
[pid=3096/tid=3101] ppid=3094 vsize=10551248 CPUtime=0 cores=1,3,5,7
/proc/3096/task/3101/stat : 3101 (java) S 3094 3096 2924 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 22 0 831178846 10804477952 194346 33554432000 1073741824 1073778376 140737151155792 18446744073709551615 212699491225 0 4 0 16800975 18446604465008636928 0 0 -1 7 0 0 0
[pid=3096/tid=3102] ppid=3094 vsize=10551248 CPUtime=0 cores=1,3,5,7
/proc/3096/task/3102/stat : 3102 (java) S 3094 3096 2924 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 831178846 10804477952 194346 33554432000 1073741824 1073778376 140737151155792 18446744073709551615 212699491225 0 4 0 16800975 18446604465008636928 0 0 -1 7 0 0 0
[pid=3096/tid=3103] ppid=3094 vsize=10551248 CPUtime=0 cores=1,3,5,7
/proc/3096/task/3103/stat : 3103 (java) S 3094 3096 2924 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 831178846 10804477952 194346 33554432000 1073741824 1073778376 140737151155792 18446744073709551615 212699491225 0 4 0 16800975 18446604465008636928 0 0 -1 7 0 0 0
[pid=3096/tid=3104] ppid=3094 vsize=10551248 CPUtime=0 cores=1,3,5,7
/proc/3096/task/3104/stat : 3104 (java) S 3094 3096 2924 0 -1 4202560 705 0 0 0 0 0 0 0 18 0 22 0 831178846 10804477952 194346 33554432000 1073741824 1073778376 140737151155792 18446744073709551615 212699491225 0 4 0 16800975 18446604465008636928 0 0 -1 5 0 0 0
[pid=3096/tid=3105] ppid=3094 vsize=10551248 CPUtime=0.01 cores=1,3,5,7
/proc/3096/task/3105/stat : 3105 (java) S 3094 3096 2924 0 -1 4202560 1512 0 0 0 1 0 0 0 18 0 22 0 831178846 10804477952 194346 33554432000 1073741824 1073778376 140737151155792 18446744073709551615 212699491225 0 4 0 16800975 18446604465008636928 0 0 -1 1 0 0 0
[pid=3096/tid=3106] ppid=3094 vsize=10551248 CPUtime=0.01 cores=1,3,5,7
/proc/3096/task/3106/stat : 3106 (java) S 3094 3096 2924 0 -1 4202560 1782 0 0 0 1 0 0 0 18 0 22 0 831178846 10804477952 194346 33554432000 1073741824 1073778376 140737151155792 18446744073709551615 212699491225 0 4 0 16800975 18446604465008636928 0 0 -1 1 0 0 0
[pid=3096/tid=3107] ppid=3094 vsize=10551248 CPUtime=0.01 cores=1,3,5,7
/proc/3096/task/3107/stat : 3107 (java) S 3094 3096 2924 0 -1 4202560 3446 0 0 0 1 0 0 0 18 0 22 0 831178846 10804477952 194346 33554432000 1073741824 1073778376 140737151155792 18446744073709551615 212699491225 0 4 0 16800975 18446604465008636928 0 0 -1 7 0 0 0
[pid=3096/tid=3109] ppid=3094 vsize=10551248 CPUtime=0.07 cores=1,3,5,7
/proc/3096/task/3109/stat : 3109 (java) S 3094 3096 2924 0 -1 4202560 8008 0 0 0 7 0 0 0 15 0 22 0 831178847 10804477952 194346 33554432000 1073741824 1073778376 140737151155792 18446744073709551615 212699491840 0 0 0 16800975 18446604465008636928 0 0 -1 3 0 0 0
[pid=3096/tid=3110] ppid=3094 vsize=10551248 CPUtime=0 cores=1,3,5,7
/proc/3096/task/3110/stat : 3110 (java) S 3094 3096 2924 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 831178847 10804477952 194346 33554432000 1073741824 1073778376 140737151155792 18446744073709551615 212699491225 0 4 0 16800975 18446604465008636928 0 0 -1 3 0 0 0
[pid=3096/tid=3111] ppid=3094 vsize=10551248 CPUtime=0 cores=1,3,5,7
/proc/3096/task/3111/stat : 3111 (java) S 3094 3096 2924 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 831178847 10804477952 194346 33554432000 1073741824 1073778376 140737151155792 18446744073709551615 212699491225 0 4 0 16800975 18446604465008636928 0 0 -1 3 0 0 0
[pid=3096/tid=3112] ppid=3094 vsize=10551248 CPUtime=0 cores=1,3,5,7
/proc/3096/task/3112/stat : 3112 (java) S 3094 3096 2924 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831178849 10804477952 194346 33554432000 1073741824 1073778376 140737151155792 18446744073709551615 212699498929 0 4 0 16800975 18446604465008636928 0 0 -1 3 0 0 0
[pid=3096/tid=3114] ppid=3094 vsize=10551248 CPUtime=1.11 cores=1,3,5,7
/proc/3096/task/3114/stat : 3114 (java) S 3094 3096 2924 0 -1 4202560 7290 0 0 0 110 1 0 0 15 0 22 0 831178849 10804477952 194346 33554432000 1073741824 1073778376 140737151155792 18446744073709551615 212699491225 0 4 0 16800975 18446604465008636928 0 0 -1 5 0 0 0
[pid=3096/tid=3115] ppid=3094 vsize=10551248 CPUtime=0.91 cores=1,3,5,7
/proc/3096/task/3115/stat : 3115 (java) S 3094 3096 2924 0 -1 4202560 3964 0 0 0 91 0 0 0 16 0 22 0 831178850 10804477952 194346 33554432000 1073741824 1073778376 140737151155792 18446744073709551615 212699491225 0 4 0 16800975 18446604465008636928 0 0 -1 7 0 0 0
[pid=3096/tid=3116] ppid=3094 vsize=10551248 CPUtime=0 cores=1,3,5,7
/proc/3096/task/3116/stat : 3116 (java) S 3094 3096 2924 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831178850 10804477952 194346 33554432000 1073741824 1073778376 140737151155792 18446744073709551615 212699491225 0 4 0 16800975 18446604465008636928 0 0 -1 3 0 0 0
[pid=3096/tid=3117] ppid=3094 vsize=10551248 CPUtime=0 cores=1,3,5,7
/proc/3096/task/3117/stat : 3117 (java) S 3094 3096 2924 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 831178850 10804477952 194346 33554432000 1073741824 1073778376 140737151155792 18446744073709551615 212699491840 0 4 0 16800975 18446604465008636928 0 0 -1 1 0 0 0
[pid=3096/tid=3118] ppid=3094 vsize=10551248 CPUtime=11.96 cores=1,3,5,7
/proc/3096/task/3118/stat : 3118 (java) R 3094 3096 2924 0 -1 4202560 5388 0 0 0 1195 1 0 0 25 0 22 0 831178906 10804477952 194346 33554432000 1073741824 1073778376 140737151155792 18446744073709551615 46912506095660 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=3096/tid=3119] ppid=3094 vsize=10551248 CPUtime=11.95 cores=1,3,5,7
/proc/3096/task/3119/stat : 3119 (java) R 3094 3096 2924 0 -1 4202560 136544 0 0 0 1181 14 0 0 25 0 22 0 831178907 10804477952 194346 33554432000 1073741824 1073778376 140737151155792 18446744073709551615 46912506054608 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=3096/tid=3121] ppid=3094 vsize=10551248 CPUtime=0 cores=1,3,5,7
/proc/3096/task/3121/stat : 3121 (java) S 3094 3096 2924 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 831178908 10804477952 194346 33554432000 1073741824 1073778376 140737151155792 18446744073709551615 212699491840 0 4 0 16800975 18446604465008636928 0 0 -1 3 0 0 0
[pid=3096/tid=3122] ppid=3094 vsize=10551248 CPUtime=0 cores=1,3,5,7
/proc/3096/task/3122/stat : 3122 (java) S 3094 3096 2924 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 831178908 10804477952 194346 33554432000 1073741824 1073778376 140737151155792 18446744073709551615 212699491840 0 4 0 16800975 18446604465008636928 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 26.74
Current children cumulated vsize (KiB) 10551248
Solver just ended. Dumping a history of the last processes samples
[startup+13.5011 s]
/proc/loadavg: 2.33 2.89 3.20 5/618 3122
/proc/meminfo: memFree=21268552/32951124 swapFree=58940260/67111528
[pid=3096] ppid=3094 vsize=10551248 CPUtime=28.34 cores=1,3,5,7
/proc/3096/stat : 3096 (java) S 3094 3096 2924 0 -1 4202496 199611 0 1 0 2811 23 0 0 25 0 22 0 831178844 10804477952 194346 33554432000 1073741824 1073778376 140737151155792 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/3096/statm: 2637812 194346 2267 9 0 2628546 0
[pid=3096/tid=3097] ppid=3094 vsize=10551248 CPUtime=0.6 cores=1,3,5,7
/proc/3096/task/3097/stat : 3097 (java) S 3094 3096 2924 0 -1 4202560 29809 0 1 0 57 3 0 0 15 0 22 0 831178844 10804477952 194346 33554432000 1073741824 1073778376 140737151155792 18446744073709551615 212699491840 0 4 0 16800975 18446604465008636928 0 0 -1 1 0 0 0
[pid=3096/tid=3098] ppid=3094 vsize=10551248 CPUtime=0 cores=1,3,5,7
/proc/3096/task/3098/stat : 3098 (java) S 3094 3096 2924 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 831178846 10804477952 194346 33554432000 1073741824 1073778376 140737151155792 18446744073709551615 212699491225 0 4 0 16800975 18446604465008636928 0 0 -1 7 0 0 0
[pid=3096/tid=3101] ppid=3094 vsize=10551248 CPUtime=0 cores=1,3,5,7
/proc/3096/task/3101/stat : 3101 (java) S 3094 3096 2924 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 22 0 831178846 10804477952 194346 33554432000 1073741824 1073778376 140737151155792 18446744073709551615 212699491225 0 4 0 16800975 18446604465008636928 0 0 -1 7 0 0 0
[pid=3096/tid=3102] ppid=3094 vsize=10551248 CPUtime=0 cores=1,3,5,7
/proc/3096/task/3102/stat : 3102 (java) S 3094 3096 2924 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 831178846 10804477952 194346 33554432000 1073741824 1073778376 140737151155792 18446744073709551615 212699491225 0 4 0 16800975 18446604465008636928 0 0 -1 7 0 0 0
[pid=3096/tid=3103] ppid=3094 vsize=10551248 CPUtime=0 cores=1,3,5,7
/proc/3096/task/3103/stat : 3103 (java) S 3094 3096 2924 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 831178846 10804477952 194346 33554432000 1073741824 1073778376 140737151155792 18446744073709551615 212699491225 0 4 0 16800975 18446604465008636928 0 0 -1 7 0 0 0
[pid=3096/tid=3104] ppid=3094 vsize=10551248 CPUtime=0 cores=1,3,5,7
/proc/3096/task/3104/stat : 3104 (java) S 3094 3096 2924 0 -1 4202560 705 0 0 0 0 0 0 0 18 0 22 0 831178846 10804477952 194346 33554432000 1073741824 1073778376 140737151155792 18446744073709551615 212699491225 0 4 0 16800975 18446604465008636928 0 0 -1 5 0 0 0
[pid=3096/tid=3105] ppid=3094 vsize=10551248 CPUtime=0.01 cores=1,3,5,7
/proc/3096/task/3105/stat : 3105 (java) S 3094 3096 2924 0 -1 4202560 1512 0 0 0 1 0 0 0 18 0 22 0 831178846 10804477952 194346 33554432000 1073741824 1073778376 140737151155792 18446744073709551615 212699491225 0 4 0 16800975 18446604465008636928 0 0 -1 1 0 0 0
[pid=3096/tid=3106] ppid=3094 vsize=10551248 CPUtime=0.01 cores=1,3,5,7
/proc/3096/task/3106/stat : 3106 (java) S 3094 3096 2924 0 -1 4202560 1782 0 0 0 1 0 0 0 18 0 22 0 831178846 10804477952 194346 33554432000 1073741824 1073778376 140737151155792 18446744073709551615 212699491225 0 4 0 16800975 18446604465008636928 0 0 -1 1 0 0 0
[pid=3096/tid=3107] ppid=3094 vsize=10551248 CPUtime=0.01 cores=1,3,5,7
/proc/3096/task/3107/stat : 3107 (java) S 3094 3096 2924 0 -1 4202560 3446 0 0 0 1 0 0 0 18 0 22 0 831178846 10804477952 194346 33554432000 1073741824 1073778376 140737151155792 18446744073709551615 212699491225 0 4 0 16800975 18446604465008636928 0 0 -1 7 0 0 0
[pid=3096/tid=3109] ppid=3094 vsize=10551248 CPUtime=0.07 cores=1,3,5,7
/proc/3096/task/3109/stat : 3109 (java) S 3094 3096 2924 0 -1 4202560 8008 0 0 0 7 0 0 0 15 0 22 0 831178847 10804477952 194346 33554432000 1073741824 1073778376 140737151155792 18446744073709551615 212699491840 0 0 0 16800975 18446604465008636928 0 0 -1 3 0 0 0
[pid=3096/tid=3110] ppid=3094 vsize=10551248 CPUtime=0 cores=1,3,5,7
/proc/3096/task/3110/stat : 3110 (java) S 3094 3096 2924 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 831178847 10804477952 194346 33554432000 1073741824 1073778376 140737151155792 18446744073709551615 212699491225 0 4 0 16800975 18446604465008636928 0 0 -1 3 0 0 0
[pid=3096/tid=3111] ppid=3094 vsize=10551248 CPUtime=0 cores=1,3,5,7
/proc/3096/task/3111/stat : 3111 (java) S 3094 3096 2924 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 831178847 10804477952 194346 33554432000 1073741824 1073778376 140737151155792 18446744073709551615 212699491225 0 4 0 16800975 18446604465008636928 0 0 -1 3 0 0 0
[pid=3096/tid=3112] ppid=3094 vsize=10551248 CPUtime=0 cores=1,3,5,7
/proc/3096/task/3112/stat : 3112 (java) S 3094 3096 2924 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831178849 10804477952 194346 33554432000 1073741824 1073778376 140737151155792 18446744073709551615 212699498929 0 4 0 16800975 18446604465008636928 0 0 -1 3 0 0 0
[pid=3096/tid=3114] ppid=3094 vsize=10551248 CPUtime=1.11 cores=1,3,5,7
/proc/3096/task/3114/stat : 3114 (java) S 3094 3096 2924 0 -1 4202560 7290 0 0 0 110 1 0 0 15 0 22 0 831178849 10804477952 194346 33554432000 1073741824 1073778376 140737151155792 18446744073709551615 212699491225 0 4 0 16800975 18446604465008636928 0 0 -1 5 0 0 0
[pid=3096/tid=3115] ppid=3094 vsize=10551248 CPUtime=0.91 cores=1,3,5,7
/proc/3096/task/3115/stat : 3115 (java) S 3094 3096 2924 0 -1 4202560 3964 0 0 0 91 0 0 0 16 0 22 0 831178850 10804477952 194346 33554432000 1073741824 1073778376 140737151155792 18446744073709551615 212699491225 0 4 0 16800975 18446604465008636928 0 0 -1 7 0 0 0
[pid=3096/tid=3116] ppid=3094 vsize=10551248 CPUtime=0 cores=1,3,5,7
/proc/3096/task/3116/stat : 3116 (java) S 3094 3096 2924 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831178850 10804477952 194346 33554432000 1073741824 1073778376 140737151155792 18446744073709551615 212699491225 0 4 0 16800975 18446604465008636928 0 0 -1 3 0 0 0
[pid=3096/tid=3117] ppid=3094 vsize=10551248 CPUtime=0 cores=1,3,5,7
/proc/3096/task/3117/stat : 3117 (java) S 3094 3096 2924 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 831178850 10804477952 194346 33554432000 1073741824 1073778376 140737151155792 18446744073709551615 212699491840 0 4 0 16800975 18446604465008636928 0 0 -1 1 0 0 0
[pid=3096/tid=3118] ppid=3094 vsize=10551248 CPUtime=12.76 cores=1,3,5,7
/proc/3096/task/3118/stat : 3118 (java) R 3094 3096 2924 0 -1 4202560 5388 0 0 0 1275 1 0 0 25 0 22 0 831178906 10804477952 194346 33554432000 1073741824 1073778376 140737151155792 18446744073709551615 46912506088672 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=3096/tid=3119] ppid=3094 vsize=10551248 CPUtime=12.75 cores=1,3,5,7
/proc/3096/task/3119/stat : 3119 (java) R 3094 3096 2924 0 -1 4202560 136544 0 0 0 1261 14 0 0 25 0 22 0 831178907 10804477952 194346 33554432000 1073741824 1073778376 140737151155792 18446744073709551615 46912506167927 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=3096/tid=3121] ppid=3094 vsize=10551248 CPUtime=0 cores=1,3,5,7
/proc/3096/task/3121/stat : 3121 (java) S 3094 3096 2924 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 831178908 10804477952 194346 33554432000 1073741824 1073778376 140737151155792 18446744073709551615 212699491840 0 4 0 16800975 18446604465008636928 0 0 -1 3 0 0 0
[pid=3096/tid=3122] ppid=3094 vsize=10551248 CPUtime=0 cores=1,3,5,7
/proc/3096/task/3122/stat : 3122 (java) S 3094 3096 2924 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 831178908 10804477952 194346 33554432000 1073741824 1073778376 140737151155792 18446744073709551615 212699491840 0 4 0 16800975 18446604465008636928 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 28.34
Current children cumulated vsize (KiB) 10551248
[startup+14.3229 s]
/proc/loadavg: 2.46 2.91 3.20 5/618 3122
/proc/meminfo: memFree=21269048/32951124 swapFree=58940260/67111528
[pid=3096] ppid=3094 vsize=10551248 CPUtime=30 cores=1,3,5,7
/proc/3096/stat : 3096 (java) S 3094 3096 2924 0 -1 4202496 199612 0 1 0 2977 23 0 0 25 0 22 0 831178844 10804477952 194347 33554432000 1073741824 1073778376 140737151155792 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/3096/statm: 2637812 194347 2267 9 0 2628546 0
[pid=3096/tid=3097] ppid=3094 vsize=10551248 CPUtime=0.6 cores=1,3,5,7
/proc/3096/task/3097/stat : 3097 (java) S 3094 3096 2924 0 -1 4202560 29809 0 1 0 57 3 0 0 15 0 22 0 831178844 10804477952 194347 33554432000 1073741824 1073778376 140737151155792 18446744073709551615 212699491840 0 4 0 16800975 18446604465008636928 0 0 -1 1 0 0 0
[pid=3096/tid=3098] ppid=3094 vsize=10551248 CPUtime=0 cores=1,3,5,7
/proc/3096/task/3098/stat : 3098 (java) S 3094 3096 2924 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 831178846 10804477952 194347 33554432000 1073741824 1073778376 140737151155792 18446744073709551615 212699491225 0 4 0 16800975 18446604465008636928 0 0 -1 7 0 0 0
[pid=3096/tid=3101] ppid=3094 vsize=10551248 CPUtime=0 cores=1,3,5,7
/proc/3096/task/3101/stat : 3101 (java) S 3094 3096 2924 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 22 0 831178846 10804477952 194347 33554432000 1073741824 1073778376 140737151155792 18446744073709551615 212699491225 0 4 0 16800975 18446604465008636928 0 0 -1 7 0 0 0
[pid=3096/tid=3102] ppid=3094 vsize=10551248 CPUtime=0 cores=1,3,5,7
/proc/3096/task/3102/stat : 3102 (java) S 3094 3096 2924 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 831178846 10804477952 194347 33554432000 1073741824 1073778376 140737151155792 18446744073709551615 212699491225 0 4 0 16800975 18446604465008636928 0 0 -1 7 0 0 0
[pid=3096/tid=3103] ppid=3094 vsize=10551248 CPUtime=0 cores=1,3,5,7
/proc/3096/task/3103/stat : 3103 (java) S 3094 3096 2924 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 831178846 10804477952 194347 33554432000 1073741824 1073778376 140737151155792 18446744073709551615 212699491225 0 4 0 16800975 18446604465008636928 0 0 -1 7 0 0 0
[pid=3096/tid=3104] ppid=3094 vsize=10551248 CPUtime=0 cores=1,3,5,7
/proc/3096/task/3104/stat : 3104 (java) S 3094 3096 2924 0 -1 4202560 705 0 0 0 0 0 0 0 18 0 22 0 831178846 10804477952 194347 33554432000 1073741824 1073778376 140737151155792 18446744073709551615 212699491225 0 4 0 16800975 18446604465008636928 0 0 -1 5 0 0 0
[pid=3096/tid=3105] ppid=3094 vsize=10551248 CPUtime=0.01 cores=1,3,5,7
/proc/3096/task/3105/stat : 3105 (java) S 3094 3096 2924 0 -1 4202560 1512 0 0 0 1 0 0 0 18 0 22 0 831178846 10804477952 194347 33554432000 1073741824 1073778376 140737151155792 18446744073709551615 212699491225 0 4 0 16800975 18446604465008636928 0 0 -1 1 0 0 0
[pid=3096/tid=3106] ppid=3094 vsize=10551248 CPUtime=0.01 cores=1,3,5,7
/proc/3096/task/3106/stat : 3106 (java) S 3094 3096 2924 0 -1 4202560 1782 0 0 0 1 0 0 0 18 0 22 0 831178846 10804477952 194347 33554432000 1073741824 1073778376 140737151155792 18446744073709551615 212699491225 0 4 0 16800975 18446604465008636928 0 0 -1 1 0 0 0
[pid=3096/tid=3107] ppid=3094 vsize=10551248 CPUtime=0.01 cores=1,3,5,7
/proc/3096/task/3107/stat : 3107 (java) S 3094 3096 2924 0 -1 4202560 3446 0 0 0 1 0 0 0 18 0 22 0 831178846 10804477952 194347 33554432000 1073741824 1073778376 140737151155792 18446744073709551615 212699491225 0 4 0 16800975 18446604465008636928 0 0 -1 7 0 0 0
[pid=3096/tid=3109] ppid=3094 vsize=10551248 CPUtime=0.07 cores=1,3,5,7
/proc/3096/task/3109/stat : 3109 (java) S 3094 3096 2924 0 -1 4202560 8008 0 0 0 7 0 0 0 15 0 22 0 831178847 10804477952 194347 33554432000 1073741824 1073778376 140737151155792 18446744073709551615 212699491840 0 0 0 16800975 18446604465008636928 0 0 -1 3 0 0 0
[pid=3096/tid=3110] ppid=3094 vsize=10551248 CPUtime=0 cores=1,3,5,7
/proc/3096/task/3110/stat : 3110 (java) S 3094 3096 2924 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 831178847 10804477952 194347 33554432000 1073741824 1073778376 140737151155792 18446744073709551615 212699491225 0 4 0 16800975 18446604465008636928 0 0 -1 3 0 0 0
[pid=3096/tid=3111] ppid=3094 vsize=10551248 CPUtime=0 cores=1,3,5,7
/proc/3096/task/3111/stat : 3111 (java) S 3094 3096 2924 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 831178847 10804477952 194347 33554432000 1073741824 1073778376 140737151155792 18446744073709551615 212699491225 0 4 0 16800975 18446604465008636928 0 0 -1 3 0 0 0
[pid=3096/tid=3112] ppid=3094 vsize=10551248 CPUtime=0 cores=1,3,5,7
/proc/3096/task/3112/stat : 3112 (java) S 3094 3096 2924 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831178849 10804477952 194347 33554432000 1073741824 1073778376 140737151155792 18446744073709551615 212699498929 0 4 0 16800975 18446604465008636928 0 0 -1 3 0 0 0
[pid=3096/tid=3114] ppid=3094 vsize=10551248 CPUtime=1.12 cores=1,3,5,7
/proc/3096/task/3114/stat : 3114 (java) S 3094 3096 2924 0 -1 4202560 7290 0 0 0 111 1 0 0 16 0 22 0 831178849 10804477952 194347 33554432000 1073741824 1073778376 140737151155792 18446744073709551615 212699491225 0 4 0 16800975 18446604465008636928 0 0 -1 5 0 0 0
[pid=3096/tid=3115] ppid=3094 vsize=10551248 CPUtime=0.91 cores=1,3,5,7
/proc/3096/task/3115/stat : 3115 (java) S 3094 3096 2924 0 -1 4202560 3964 0 0 0 91 0 0 0 15 0 22 0 831178850 10804477952 194347 33554432000 1073741824 1073778376 140737151155792 18446744073709551615 212699491225 0 4 0 16800975 18446604465008636928 0 0 -1 7 0 0 0
[pid=3096/tid=3116] ppid=3094 vsize=10551248 CPUtime=0 cores=1,3,5,7
/proc/3096/task/3116/stat : 3116 (java) S 3094 3096 2924 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831178850 10804477952 194347 33554432000 1073741824 1073778376 140737151155792 18446744073709551615 212699491225 0 4 0 16800975 18446604465008636928 0 0 -1 3 0 0 0
[pid=3096/tid=3117] ppid=3094 vsize=10551248 CPUtime=0 cores=1,3,5,7
/proc/3096/task/3117/stat : 3117 (java) S 3094 3096 2924 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 831178850 10804477952 194347 33554432000 1073741824 1073778376 140737151155792 18446744073709551615 212699491840 0 4 0 16800975 18446604465008636928 0 0 -1 1 0 0 0
[pid=3096/tid=3118] ppid=3094 vsize=10551248 CPUtime=13.58 cores=1,3,5,7
/proc/3096/task/3118/stat : 3118 (java) R 3094 3096 2924 0 -1 4202560 5388 0 0 0 1357 1 0 0 25 0 22 0 831178906 10804477952 194347 33554432000 1073741824 1073778376 140737151155792 18446744073709551615 46912506095833 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=3096/tid=3119] ppid=3094 vsize=10551248 CPUtime=13.58 cores=1,3,5,7
/proc/3096/task/3119/stat : 3119 (java) R 3094 3096 2924 0 -1 4202560 136545 0 0 0 1344 14 0 0 25 0 22 0 831178907 10804477952 194347 33554432000 1073741824 1073778376 140737151155792 18446744073709551615 46912506167904 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=3096/tid=3121] ppid=3094 vsize=10551248 CPUtime=0 cores=1,3,5,7
/proc/3096/task/3121/stat : 3121 (java) S 3094 3096 2924 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 831178908 10804477952 194347 33554432000 1073741824 1073778376 140737151155792 18446744073709551615 212699491840 0 4 0 16800975 18446604465008636928 0 0 -1 3 0 0 0
[pid=3096/tid=3122] ppid=3094 vsize=10551248 CPUtime=0 cores=1,3,5,7
/proc/3096/task/3122/stat : 3122 (java) S 3094 3096 2924 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 831178908 10804477952 194347 33554432000 1073741824 1073778376 140737151155792 18446744073709551615 212699491840 0 4 0 16800975 18446604465008636928 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 30
Current children cumulated vsize (KiB) 10551248
[startup+14.701 s]
/proc/loadavg: 2.46 2.91 3.20 5/618 3122
/proc/meminfo: memFree=21269048/32951124 swapFree=58940260/67111528
[pid=3096] ppid=3094 vsize=0 CPUtime=30.09 cores=1,3,5,7
/proc/3096/stat : 3096 (java) Z 3094 3096 2924 0 -1 4203548 199619 0 1 0 2985 24 0 0 18 0 2 0 831178844 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/3096/statm: 0 0 0 0 0 0 0
[pid=3096/tid=3107] ppid=3094 vsize=0 CPUtime=0.02 cores=1,3,5,7
/proc/3096/task/3107/stat : 3107 (java) R 3094 3096 2924 0 -1 4203588 3446 0 0 0 1 1 0 0 18 0 2 0 831178846 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 30.09
Current children cumulated vsize (KiB) 0
Child status: 10
Real time (s): 14.7294
CPU time (s): 30.1324
CPU user time (s): 29.8555
CPU system time (s): 0.276957
CPU usage (%): 204.573
Max. virtual memory (cumulated for all children) (KiB): 10557104
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 29.8555
system time used= 0.276957
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 199619
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= 721
involuntary context switches= 417
runsolver used 0.098984 second user time and 0.206968 second system time
The end