runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3688560-1337878512/watcher-3688560-1337878512 -o /tmp/evaluation-result-3688560-1337878512/solver-3688560-1337878512 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar Both HOME/instance-3688560-1337878512.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: 3.94 3.84 3.82 4/195 3091
/proc/meminfo: memFree=28293188/32873852 swapFree=6848/6848
[pid=3091] ppid=3089 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/3091/stat : 3091 (java) D 3089 3091 718 0 -1 4202496 249 0 0 0 0 0 0 0 20 0 1 0 253976632 9515008 182 33554432000 1073741824 1073778376 140736365535840 140736365526872 229355896501 0 0 4096 0 18446744072100588836 0 0 17 5 0 0 0 0 0
/proc/3091/statm: 2323 182 140 9 0 71 0
[startup+0.0653019 s]
/proc/loadavg: 3.94 3.84 3.82 4/195 3091
/proc/meminfo: memFree=28293188/32873852 swapFree=6848/6848
[pid=3091] ppid=3089 vsize=9225560 CPUtime=0.03 cores=1,3,5,7
/proc/3091/stat : 3091 (java) S 3089 3091 718 0 -1 4202496 3084 0 1 0 3 0 0 0 20 0 13 0 253976632 9446973440 4292 33554432000 1073741824 1073778376 140735502942368 140735502933504 229359255613 0 0 0 16800971 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/3091/statm: 2306390 4292 1708 9 0 2297091 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 9225560
[startup+0.100337 s]
/proc/loadavg: 3.94 3.84 3.82 4/195 3091
/proc/meminfo: memFree=28293188/32873852 swapFree=6848/6848
[pid=3091] ppid=3089 vsize=9558412 CPUtime=0.07 cores=1,3,5,7
/proc/3091/stat : 3091 (java) S 3089 3091 718 0 -1 4202496 4161 0 1 0 7 0 0 0 20 0 18 0 253976632 9787813888 5345 33554432000 1073741824 1073778376 140735502942368 140735502933504 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/3091/statm: 2389603 5345 2079 9 0 2380296 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 9558412
[startup+0.300173 s]
/proc/loadavg: 3.94 3.84 3.82 4/195 3091
/proc/meminfo: memFree=28293188/32873852 swapFree=6848/6848
[pid=3091] ppid=3089 vsize=9824668 CPUtime=0.53 cores=1,3,5,7
/proc/3091/stat : 3091 (java) S 3089 3091 718 0 -1 4202496 6905 0 1 0 51 2 0 0 20 0 22 0 253976632 10060460032 9588 33554432000 1073741824 1073778376 140735502942368 140735502933504 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/3091/statm: 2456167 9588 2220 9 0 2446860 0
Current children cumulated CPU time (s) 0.53
Current children cumulated vsize (KiB) 9824668
[startup+0.700174 s]
/proc/loadavg: 3.94 3.84 3.82 4/195 3091
/proc/meminfo: memFree=28293188/32873852 swapFree=6848/6848
[pid=3091] ppid=3089 vsize=9824668 CPUtime=2.11 cores=1,3,5,7
/proc/3091/stat : 3091 (java) S 3089 3091 718 0 -1 4202496 21258 0 1 0 206 5 0 0 20 0 22 0 253976632 10060460032 22371 33554432000 1073741824 1073778376 140735502942368 140735502933504 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/3091/statm: 2456167 22371 2227 9 0 2446860 0
Current children cumulated CPU time (s) 2.11
Current children cumulated vsize (KiB) 9824668
[startup+1.5007 s]
/proc/loadavg: 3.94 3.84 3.82 7/217 3113
/proc/meminfo: memFree=28183452/32873852 swapFree=6848/6848
[pid=3091] ppid=3089 vsize=9824668 CPUtime=4.96 cores=1,3,5,7
/proc/3091/stat : 3091 (java) S 3089 3091 718 0 -1 4202496 37881 0 1 0 483 13 0 0 20 0 20 0 253976632 10060460032 46482 33554432000 1073741824 1073778376 140735502942368 140735502933504 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/3091/statm: 2456167 46482 2274 9 0 2446860 0
[pid=3091/tid=3093] ppid=3089 vsize=9824668 CPUtime=0.18 cores=1,3,5,7
/proc/3091/task/3093/stat : 3093 (java) S 3089 3091 718 0 -1 4202560 2444 0 1 0 18 0 0 0 20 0 20 0 253976633 10060460032 46482 33554432000 1073741824 1073778376 140735502942368 139788738012152 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3091/tid=3094] ppid=3089 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/3091/task/3094/stat : 3094 (java) S 3089 3091 718 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 20 0 253976634 10060460032 46482 33554432000 1073741824 1073778376 140735502942368 139788710464168 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3091/tid=3095] ppid=3089 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/3091/task/3095/stat : 3095 (java) S 3089 3091 718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 253976634 10060460032 46482 33554432000 1073741824 1073778376 140735502942368 139788709411624 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3091/tid=3096] ppid=3089 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/3091/task/3096/stat : 3096 (java) S 3089 3091 718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 253976634 10060460032 46482 33554432000 1073741824 1073778376 140735502942368 139788708359080 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3091/tid=3097] ppid=3089 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/3091/task/3097/stat : 3097 (java) S 3089 3091 718 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 20 0 253976634 10060460032 46482 33554432000 1073741824 1073778376 140735502942368 139788707306536 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3091/tid=3098] ppid=3089 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/3091/task/3098/stat : 3098 (java) S 3089 3091 718 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 20 0 253976634 10060460032 46482 33554432000 1073741824 1073778376 140735502942368 139788706252968 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3091/tid=3099] ppid=3089 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/3091/task/3099/stat : 3099 (java) S 3089 3091 718 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 20 0 253976634 10060460032 46482 33554432000 1073741824 1073778376 140735502942368 139788705200424 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3091/tid=3100] ppid=3089 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/3091/task/3100/stat : 3100 (java) S 3089 3091 718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 253976634 10060460032 46482 33554432000 1073741824 1073778376 140735502942368 139788574828968 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3091/tid=3101] ppid=3089 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/3091/task/3101/stat : 3101 (java) S 3089 3091 718 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 20 0 253976634 10060460032 46482 33554432000 1073741824 1073778376 140735502942368 139788573776424 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3091/tid=3102] ppid=3089 vsize=9824668 CPUtime=0.02 cores=1,3,5,7
/proc/3091/task/3102/stat : 3102 (java) S 3089 3091 718 0 -1 4202560 34 0 0 0 2 0 0 0 20 0 20 0 253976635 10060460032 46482 33554432000 1073741824 1073778376 140735502942368 139788090829416 229359269801 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3091/tid=3103] ppid=3089 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/3091/task/3103/stat : 3103 (java) S 3089 3091 718 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 20 0 253976636 10060460032 46482 33554432000 1073741824 1073778376 140735502942368 139788089775736 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3091/tid=3104] ppid=3089 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/3091/task/3104/stat : 3104 (java) S 3089 3091 718 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 20 0 253976636 10060460032 46482 33554432000 1073741824 1073778376 140735502942368 139788088723080 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3091/tid=3105] ppid=3089 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/3091/task/3105/stat : 3105 (java) S 3089 3091 718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 253976638 10060460032 46482 33554432000 1073741824 1073778376 140735502942368 139788087671824 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3091/tid=3106] ppid=3089 vsize=9824668 CPUtime=1.25 cores=1,3,5,7
/proc/3091/task/3106/stat : 3106 (java) R 3089 3091 718 0 -1 4202560 23220 0 0 0 120 5 0 0 20 0 20 0 253976638 10060460032 46482 33554432000 1073741824 1073778376 140735502942368 139788086595416 139788744800527 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=3091/tid=3107] ppid=3089 vsize=9824668 CPUtime=1.25 cores=1,3,5,7
/proc/3091/task/3107/stat : 3107 (java) R 3089 3091 718 0 -1 4202560 10766 0 0 0 122 3 0 0 20 0 20 0 253976638 10060460032 46482 33554432000 1073741824 1073778376 140735502942368 139788085551416 139788743972272 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=3091/tid=3108] ppid=3089 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/3091/task/3108/stat : 3108 (java) S 3089 3091 718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 253976638 10060460032 46482 33554432000 1073741824 1073778376 140735502942368 139788084513272 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3091/tid=3109] ppid=3089 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/3091/task/3109/stat : 3109 (java) S 3089 3091 718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 253976638 10060460032 46482 33554432000 1073741824 1073778376 140735502942368 139788083460936 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3091/tid=3113] ppid=3089 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/3091/task/3113/stat : 3113 (java) S 3089 3091 718 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 253976654 10060460032 46482 33554432000 1073741824 1073778376 140735502942368 139788079249064 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 4.96
Current children cumulated vsize (KiB) 9824668
Solver just ended. Dumping a history of the last processes samples
[startup+1.90069 s]
/proc/loadavg: 3.94 3.84 3.82 7/217 3113
/proc/meminfo: memFree=28183452/32873852 swapFree=6848/6848
[pid=3091] ppid=3089 vsize=9824668 CPUtime=5.36 cores=1,3,5,7
/proc/3091/stat : 3091 (java) S 3089 3091 718 0 -1 4202496 38232 0 1 0 522 14 0 0 20 0 19 0 253976632 10060460032 45797 33554432000 1073741824 1073778376 140735502942368 140735502933504 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/3091/statm: 2456167 45797 2274 9 0 2446860 0
[pid=3091/tid=3093] ppid=3089 vsize=9824668 CPUtime=0.18 cores=1,3,5,7
/proc/3091/task/3093/stat : 3093 (java) S 3089 3091 718 0 -1 4202560 2444 0 1 0 18 0 0 0 20 0 19 0 253976633 10060460032 45797 33554432000 1073741824 1073778376 140735502942368 139788738012152 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3091/tid=3094] ppid=3089 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/3091/task/3094/stat : 3094 (java) S 3089 3091 718 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 253976634 10060460032 45797 33554432000 1073741824 1073778376 140735502942368 139788710464168 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3091/tid=3095] ppid=3089 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/3091/task/3095/stat : 3095 (java) S 3089 3091 718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253976634 10060460032 45797 33554432000 1073741824 1073778376 140735502942368 139788709411624 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3091/tid=3096] ppid=3089 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/3091/task/3096/stat : 3096 (java) S 3089 3091 718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253976634 10060460032 45797 33554432000 1073741824 1073778376 140735502942368 139788708359080 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3091/tid=3097] ppid=3089 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/3091/task/3097/stat : 3097 (java) S 3089 3091 718 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 19 0 253976634 10060460032 45797 33554432000 1073741824 1073778376 140735502942368 139788707306536 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3091/tid=3098] ppid=3089 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/3091/task/3098/stat : 3098 (java) S 3089 3091 718 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 253976634 10060460032 45797 33554432000 1073741824 1073778376 140735502942368 139788706252968 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3091/tid=3099] ppid=3089 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/3091/task/3099/stat : 3099 (java) S 3089 3091 718 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253976634 10060460032 45797 33554432000 1073741824 1073778376 140735502942368 139788705200424 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3091/tid=3100] ppid=3089 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/3091/task/3100/stat : 3100 (java) S 3089 3091 718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253976634 10060460032 45797 33554432000 1073741824 1073778376 140735502942368 139788574828968 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3091/tid=3101] ppid=3089 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/3091/task/3101/stat : 3101 (java) S 3089 3091 718 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 253976634 10060460032 45797 33554432000 1073741824 1073778376 140735502942368 139788573776424 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3091/tid=3102] ppid=3089 vsize=9824668 CPUtime=0.02 cores=1,3,5,7
/proc/3091/task/3102/stat : 3102 (java) S 3089 3091 718 0 -1 4202560 34 0 0 0 2 0 0 0 20 0 19 0 253976635 10060460032 45797 33554432000 1073741824 1073778376 140735502942368 139788090829416 229359269801 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3091/tid=3103] ppid=3089 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/3091/task/3103/stat : 3103 (java) S 3089 3091 718 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253976636 10060460032 45797 33554432000 1073741824 1073778376 140735502942368 139788089775736 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3091/tid=3104] ppid=3089 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/3091/task/3104/stat : 3104 (java) S 3089 3091 718 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253976636 10060460032 45797 33554432000 1073741824 1073778376 140735502942368 139788088723080 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3091/tid=3105] ppid=3089 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/3091/task/3105/stat : 3105 (java) S 3089 3091 718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253976638 10060460032 45797 33554432000 1073741824 1073778376 140735502942368 139788087671824 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3091/tid=3106] ppid=3089 vsize=9824668 CPUtime=1.45 cores=1,3,5,7
/proc/3091/task/3106/stat : 3106 (java) S 3089 3091 718 0 -1 4202560 23567 0 0 0 140 5 0 0 20 0 19 0 253976638 10060460032 45797 33554432000 1073741824 1073778376 140735502942368 139788086618168 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3091/tid=3107] ppid=3089 vsize=9824668 CPUtime=1.44 cores=1,3,5,7
/proc/3091/task/3107/stat : 3107 (java) S 3089 3091 718 0 -1 4202560 10766 0 0 0 141 3 0 0 20 0 19 0 253976638 10060460032 45797 33554432000 1073741824 1073778376 140735502942368 139788085565624 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3091/tid=3108] ppid=3089 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/3091/task/3108/stat : 3108 (java) S 3089 3091 718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253976638 10060460032 45797 33554432000 1073741824 1073778376 140735502942368 139788084513272 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3091/tid=3109] ppid=3089 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/3091/task/3109/stat : 3109 (java) S 3089 3091 718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253976638 10060460032 45797 33554432000 1073741824 1073778376 140735502942368 139788083460936 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3091/tid=3113] ppid=3089 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/3091/task/3113/stat : 3113 (java) S 3089 3091 718 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253976654 10060460032 45797 33554432000 1073741824 1073778376 140735502942368 139788079249064 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 5.36
Current children cumulated vsize (KiB) 9824668
[startup+2.10069 s]
/proc/loadavg: 3.94 3.84 3.82 3/214 3118
/proc/meminfo: memFree=28117600/32873852 swapFree=6848/6848
[pid=3091] ppid=3089 vsize=9824668 CPUtime=5.36 cores=1,3,5,7
/proc/3091/stat : 3091 (java) S 3089 3091 718 0 -1 4202496 38232 0 1 0 522 14 0 0 20 0 19 0 253976632 10060460032 45797 33554432000 1073741824 1073778376 140735502942368 140735502933504 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/3091/statm: 2456167 45797 2274 9 0 2446860 0
[pid=3091/tid=3093] ppid=3089 vsize=9824668 CPUtime=0.18 cores=1,3,5,7
/proc/3091/task/3093/stat : 3093 (java) S 3089 3091 718 0 -1 4202560 2444 0 1 0 18 0 0 0 20 0 19 0 253976633 10060460032 45797 33554432000 1073741824 1073778376 140735502942368 139788738012152 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3091/tid=3094] ppid=3089 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/3091/task/3094/stat : 3094 (java) S 3089 3091 718 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 253976634 10060460032 45797 33554432000 1073741824 1073778376 140735502942368 139788710464168 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3091/tid=3095] ppid=3089 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/3091/task/3095/stat : 3095 (java) S 3089 3091 718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253976634 10060460032 45797 33554432000 1073741824 1073778376 140735502942368 139788709411624 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3091/tid=3096] ppid=3089 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/3091/task/3096/stat : 3096 (java) S 3089 3091 718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253976634 10060460032 45797 33554432000 1073741824 1073778376 140735502942368 139788708359080 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3091/tid=3097] ppid=3089 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/3091/task/3097/stat : 3097 (java) S 3089 3091 718 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 19 0 253976634 10060460032 45797 33554432000 1073741824 1073778376 140735502942368 139788707306536 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3091/tid=3098] ppid=3089 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/3091/task/3098/stat : 3098 (java) S 3089 3091 718 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 253976634 10060460032 45797 33554432000 1073741824 1073778376 140735502942368 139788706252968 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3091/tid=3099] ppid=3089 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/3091/task/3099/stat : 3099 (java) S 3089 3091 718 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253976634 10060460032 45797 33554432000 1073741824 1073778376 140735502942368 139788705200424 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3091/tid=3100] ppid=3089 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/3091/task/3100/stat : 3100 (java) S 3089 3091 718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253976634 10060460032 45797 33554432000 1073741824 1073778376 140735502942368 139788574828968 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3091/tid=3101] ppid=3089 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/3091/task/3101/stat : 3101 (java) S 3089 3091 718 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 253976634 10060460032 45797 33554432000 1073741824 1073778376 140735502942368 139788573776424 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3091/tid=3102] ppid=3089 vsize=9824668 CPUtime=0.02 cores=1,3,5,7
/proc/3091/task/3102/stat : 3102 (java) S 3089 3091 718 0 -1 4202560 34 0 0 0 2 0 0 0 20 0 19 0 253976635 10060460032 45797 33554432000 1073741824 1073778376 140735502942368 139788090829416 229359269801 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3091/tid=3103] ppid=3089 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/3091/task/3103/stat : 3103 (java) S 3089 3091 718 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253976636 10060460032 45797 33554432000 1073741824 1073778376 140735502942368 139788089775736 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3091/tid=3104] ppid=3089 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/3091/task/3104/stat : 3104 (java) S 3089 3091 718 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253976636 10060460032 45797 33554432000 1073741824 1073778376 140735502942368 139788088723080 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3091/tid=3105] ppid=3089 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/3091/task/3105/stat : 3105 (java) S 3089 3091 718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253976638 10060460032 45797 33554432000 1073741824 1073778376 140735502942368 139788087671824 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3091/tid=3106] ppid=3089 vsize=9824668 CPUtime=1.45 cores=1,3,5,7
/proc/3091/task/3106/stat : 3106 (java) S 3089 3091 718 0 -1 4202560 23567 0 0 0 140 5 0 0 20 0 19 0 253976638 10060460032 45797 33554432000 1073741824 1073778376 140735502942368 139788086618168 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3091/tid=3107] ppid=3089 vsize=9824668 CPUtime=1.44 cores=1,3,5,7
/proc/3091/task/3107/stat : 3107 (java) S 3089 3091 718 0 -1 4202560 10766 0 0 0 141 3 0 0 20 0 19 0 253976638 10060460032 45797 33554432000 1073741824 1073778376 140735502942368 139788085565624 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3091/tid=3108] ppid=3089 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/3091/task/3108/stat : 3108 (java) S 3089 3091 718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253976638 10060460032 45797 33554432000 1073741824 1073778376 140735502942368 139788084513272 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3091/tid=3109] ppid=3089 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/3091/task/3109/stat : 3109 (java) S 3089 3091 718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253976638 10060460032 45797 33554432000 1073741824 1073778376 140735502942368 139788083460936 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3091/tid=3113] ppid=3089 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/3091/task/3113/stat : 3113 (java) S 3089 3091 718 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253976654 10060460032 45797 33554432000 1073741824 1073778376 140735502942368 139788079249064 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 5.36
Current children cumulated vsize (KiB) 9824668
[startup+2.20714 s]
/proc/loadavg: 3.94 3.84 3.82 3/214 3118
/proc/meminfo: memFree=28117600/32873852 swapFree=6848/6848
[pid=3091] ppid=3089 vsize=9824668 CPUtime=5.36 cores=1,3,5,7
/proc/3091/stat : 3091 (java) S 3089 3091 718 0 -1 4202496 38232 0 1 0 522 14 0 0 20 0 19 0 253976632 10060460032 45797 33554432000 1073741824 1073778376 140735502942368 140735502933504 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/3091/statm: 2456167 45797 2274 9 0 2446860 0
[pid=3091/tid=3093] ppid=3089 vsize=9824668 CPUtime=0.18 cores=1,3,5,7
/proc/3091/task/3093/stat : 3093 (java) S 3089 3091 718 0 -1 4202560 2444 0 1 0 18 0 0 0 20 0 19 0 253976633 10060460032 45797 33554432000 1073741824 1073778376 140735502942368 139788738012152 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3091/tid=3094] ppid=3089 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/3091/task/3094/stat : 3094 (java) S 3089 3091 718 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 253976634 10060460032 45797 33554432000 1073741824 1073778376 140735502942368 139788710464168 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3091/tid=3095] ppid=3089 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/3091/task/3095/stat : 3095 (java) S 3089 3091 718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253976634 10060460032 45797 33554432000 1073741824 1073778376 140735502942368 139788709411624 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3091/tid=3096] ppid=3089 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/3091/task/3096/stat : 3096 (java) S 3089 3091 718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253976634 10060460032 45797 33554432000 1073741824 1073778376 140735502942368 139788708359080 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3091/tid=3097] ppid=3089 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/3091/task/3097/stat : 3097 (java) S 3089 3091 718 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 19 0 253976634 10060460032 45797 33554432000 1073741824 1073778376 140735502942368 139788707306536 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3091/tid=3098] ppid=3089 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/3091/task/3098/stat : 3098 (java) S 3089 3091 718 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 253976634 10060460032 45797 33554432000 1073741824 1073778376 140735502942368 139788706252968 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3091/tid=3099] ppid=3089 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/3091/task/3099/stat : 3099 (java) S 3089 3091 718 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253976634 10060460032 45797 33554432000 1073741824 1073778376 140735502942368 139788705200424 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3091/tid=3100] ppid=3089 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/3091/task/3100/stat : 3100 (java) S 3089 3091 718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253976634 10060460032 45797 33554432000 1073741824 1073778376 140735502942368 139788574828968 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3091/tid=3101] ppid=3089 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/3091/task/3101/stat : 3101 (java) S 3089 3091 718 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 253976634 10060460032 45797 33554432000 1073741824 1073778376 140735502942368 139788573776424 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3091/tid=3102] ppid=3089 vsize=9824668 CPUtime=0.02 cores=1,3,5,7
/proc/3091/task/3102/stat : 3102 (java) S 3089 3091 718 0 -1 4202560 34 0 0 0 2 0 0 0 20 0 19 0 253976635 10060460032 45797 33554432000 1073741824 1073778376 140735502942368 139788090829416 229359269801 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3091/tid=3103] ppid=3089 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/3091/task/3103/stat : 3103 (java) S 3089 3091 718 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253976636 10060460032 45797 33554432000 1073741824 1073778376 140735502942368 139788089775736 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3091/tid=3104] ppid=3089 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/3091/task/3104/stat : 3104 (java) S 3089 3091 718 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253976636 10060460032 45797 33554432000 1073741824 1073778376 140735502942368 139788088723080 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3091/tid=3105] ppid=3089 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/3091/task/3105/stat : 3105 (java) S 3089 3091 718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253976638 10060460032 45797 33554432000 1073741824 1073778376 140735502942368 139788087671824 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3091/tid=3106] ppid=3089 vsize=9824668 CPUtime=1.45 cores=1,3,5,7
/proc/3091/task/3106/stat : 3106 (java) S 3089 3091 718 0 -1 4202560 23567 0 0 0 140 5 0 0 20 0 19 0 253976638 10060460032 45797 33554432000 1073741824 1073778376 140735502942368 139788086618168 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3091/tid=3107] ppid=3089 vsize=9824668 CPUtime=1.44 cores=1,3,5,7
/proc/3091/task/3107/stat : 3107 (java) S 3089 3091 718 0 -1 4202560 10766 0 0 0 141 3 0 0 20 0 19 0 253976638 10060460032 45797 33554432000 1073741824 1073778376 140735502942368 139788085565624 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3091/tid=3108] ppid=3089 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/3091/task/3108/stat : 3108 (java) S 3089 3091 718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253976638 10060460032 45797 33554432000 1073741824 1073778376 140735502942368 139788084513272 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3091/tid=3109] ppid=3089 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/3091/task/3109/stat : 3109 (java) S 3089 3091 718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253976638 10060460032 45797 33554432000 1073741824 1073778376 140735502942368 139788083460936 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3091/tid=3113] ppid=3089 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/3091/task/3113/stat : 3113 (java) S 3089 3091 718 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253976654 10060460032 45797 33554432000 1073741824 1073778376 140735502942368 139788079249064 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 5.36
Current children cumulated vsize (KiB) 9824668
Child status: 30
Real time (s): 2.24042
CPU time (s): 5.39318
CPU user time (s): 5.22021
CPU system time (s): 0.172973
CPU usage (%): 240.722
Max. virtual memory (cumulated for all children) (KiB): 9825768
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 5.22021
system time used= 0.172973
maximum resident set size= 198632
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 38242
page faults= 1
swaps= 0
block input operations= 240
block output operations= 64
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 508
involuntary context switches= 118
runsolver used 0.003999 second user time and 0.018997 second system time
The end