runsolver Copyright (C) 2010-2013 Olivier ROUSSEL
This is runsolver version 3.3.7 (svn: 2553)
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-4119577-1467321428/watcher-4119577-1467321428 -o /tmp/evaluation-result-4119577-1467321428/solver-4119577-1467321428 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node124-1467321265-1394 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4119577-1467321428.opb
pid=10952
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: 0.74 1.63 2.10 2/194 10955
/proc/meminfo: memFree=30140500/32872528 swapFree=1498612/1645780
[pid=10955] ppid=10952 vsize=96260 CPUtime=0 cores=1,3,5,7
/proc/10955/stat : 10955 (java) S 10952 10955 13393 0 -1 4202496 1354 0 0 0 0 0 0 0 20 0 2 0 13099637 98570240 977 33554432000 1073741824 1073778376 140736016660656 140736016651792 259115745341 0 0 4096 0 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10955/statm: 24065 977 743 9 0 16771 0
[pid=10955/tid=10956] ppid=10952 vsize=96260 CPUtime=0 cores=1,3,5,7
/proc/10955/task/10956/stat : 10956 (java) R 10952 10955 13393 0 -1 4202560 130 0 0 0 0 0 0 0 20 0 2 0 13099637 98570240 978 33554432000 1073741824 1073778376 140736016660656 140323595861544 259112387968 0 0 4096 0 0 0 0 -1 1 0 0 0 0 0
[startup+0.100157 s]
/proc/loadavg: 0.74 1.63 2.10 2/194 10955
/proc/meminfo: memFree=30140500/32872528 swapFree=1498612/1645780
[pid=10955] ppid=10952 vsize=9558476 CPUtime=0.11 cores=1,3,5,7
/proc/10955/stat : 10955 (java) S 10952 10955 13393 0 -1 4202496 4484 0 1 0 10 1 0 0 20 0 18 0 13099637 9787879424 6109 33554432000 1073741824 1073778376 140736016660656 140736016651792 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10955/statm: 2389619 6109 2156 9 0 2380296 0
[pid=10955/tid=10956] ppid=10952 vsize=9558476 CPUtime=0.07 cores=1,3,5,7
/proc/10955/task/10956/stat : 10956 (java) R 10952 10955 13393 0 -1 4202560 2388 0 1 0 7 0 0 0 20 0 18 0 13099637 9787879424 6109 33554432000 1073741824 1073778376 140736016660656 140323595864992 140323600190666 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 9558476
[startup+0.200365 s]
/proc/loadavg: 0.74 1.63 2.10 2/194 10955
/proc/meminfo: memFree=30140500/32872528 swapFree=1498612/1645780
[pid=10955] ppid=10952 vsize=9824732 CPUtime=0.15 cores=1,3,5,7
/proc/10955/stat : 10955 (java) S 10952 10955 13393 0 -1 4202496 4592 0 1 0 14 1 0 0 20 0 19 0 13099637 10060525568 7708 33554432000 1073741824 1073778376 140736016660656 140736016651792 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10955/statm: 2456183 7708 2173 9 0 2446860 0
[pid=10955/tid=10956] ppid=10952 vsize=9824732 CPUtime=0.11 cores=1,3,5,7
/proc/10955/task/10956/stat : 10956 (java) S 10952 10955 13393 0 -1 4202560 2406 0 1 0 11 0 0 0 20 0 19 0 13099637 10060525568 7708 33554432000 1073741824 1073778376 140736016660656 140323595867000 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.15
Current children cumulated vsize (KiB) 9824732
[startup+0.300372 s]
/proc/loadavg: 0.74 1.63 2.10 2/194 10955
/proc/meminfo: memFree=30140500/32872528 swapFree=1498612/1645780
[pid=10955] ppid=10952 vsize=9824732 CPUtime=0.15 cores=1,3,5,7
/proc/10955/stat : 10955 (java) S 10952 10955 13393 0 -1 4202496 4592 0 1 0 14 1 0 0 20 0 19 0 13099637 10060525568 7708 33554432000 1073741824 1073778376 140736016660656 140736016651792 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10955/statm: 2456183 7708 2173 9 0 2446860 0
[pid=10955/tid=10956] ppid=10952 vsize=9824732 CPUtime=0.11 cores=1,3,5,7
/proc/10955/task/10956/stat : 10956 (java) S 10952 10955 13393 0 -1 4202560 2406 0 1 0 11 0 0 0 20 0 19 0 13099637 10060525568 7708 33554432000 1073741824 1073778376 140736016660656 140323595867000 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.15
Current children cumulated vsize (KiB) 9824732
[startup+0.700258 s]
/proc/loadavg: 0.74 1.63 2.10 2/194 10955
/proc/meminfo: memFree=30140500/32872528 swapFree=1498612/1645780
[pid=10955] ppid=10952 vsize=9824732 CPUtime=0.15 cores=1,3,5,7
/proc/10955/stat : 10955 (java) S 10952 10955 13393 0 -1 4202496 4618 0 1 0 14 1 0 0 20 0 19 0 13099637 10060525568 8743 33554432000 1073741824 1073778376 140736016660656 140736016651792 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10955/statm: 2456183 8743 2174 9 0 2446860 0
[pid=10955/tid=10956] ppid=10952 vsize=9824732 CPUtime=0.11 cores=1,3,5,7
/proc/10955/task/10956/stat : 10956 (java) S 10952 10955 13393 0 -1 4202560 2406 0 1 0 11 0 0 0 20 0 19 0 13099637 10060525568 8743 33554432000 1073741824 1073778376 140736016660656 140323595867000 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.15
Current children cumulated vsize (KiB) 9824732
[startup+1.50081 s]
/proc/loadavg: 0.74 1.63 2.10 2/213 10986
/proc/meminfo: memFree=30102596/32872528 swapFree=1498612/1645780
[pid=10955] ppid=10952 vsize=9824732 CPUtime=0.15 cores=1,3,5,7
/proc/10955/stat : 10955 (java) S 10952 10955 13393 0 -1 4202496 4627 0 1 0 14 1 0 0 20 0 20 0 13099637 10060525568 9770 33554432000 1073741824 1073778376 140736016660656 140736016651792 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10955/statm: 2456183 9770 2174 9 0 2446860 0
[pid=10955/tid=10956] ppid=10952 vsize=9824732 CPUtime=0.11 cores=1,3,5,7
/proc/10955/task/10956/stat : 10956 (java) S 10952 10955 13393 0 -1 4202560 2406 0 1 0 11 0 0 0 20 0 20 0 13099637 10060525568 9770 33554432000 1073741824 1073778376 140736016660656 140323595867000 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10955/tid=10958] ppid=10952 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10955/task/10958/stat : 10958 (java) S 10952 10955 13393 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 13099638 10060525568 9770 33554432000 1073741824 1073778376 140736016660656 140323568319144 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10955/tid=10959] ppid=10952 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10955/task/10959/stat : 10959 (java) S 10952 10955 13393 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 13099638 10060525568 9770 33554432000 1073741824 1073778376 140736016660656 140323567266600 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10955/tid=10960] ppid=10952 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10955/task/10960/stat : 10960 (java) S 10952 10955 13393 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 13099638 10060525568 9770 33554432000 1073741824 1073778376 140736016660656 140323566214056 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10955/tid=10961] ppid=10952 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10955/task/10961/stat : 10961 (java) S 10952 10955 13393 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 13099638 10060525568 9770 33554432000 1073741824 1073778376 140736016660656 140323565161512 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10955/tid=10962] ppid=10952 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10955/task/10962/stat : 10962 (java) S 10952 10955 13393 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 13099638 10060525568 9770 33554432000 1073741824 1073778376 140736016660656 140323564107944 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10955/tid=10963] ppid=10952 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10955/task/10963/stat : 10963 (java) S 10952 10955 13393 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 13099638 10060525568 9770 33554432000 1073741824 1073778376 140736016660656 140323563055400 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10955/tid=10964] ppid=10952 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10955/task/10964/stat : 10964 (java) S 10952 10955 13393 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 13099638 10060525568 9770 33554432000 1073741824 1073778376 140736016660656 140323562002856 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10955/tid=10965] ppid=10952 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10955/task/10965/stat : 10965 (java) S 10952 10955 13393 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 20 0 13099638 10060525568 9770 33554432000 1073741824 1073778376 140736016660656 140323432475176 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10955/tid=10966] ppid=10952 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10955/task/10966/stat : 10966 (java) S 10952 10955 13393 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 20 0 13099639 10060525568 9770 33554432000 1073741824 1073778376 140736016660656 140322949528168 259115759529 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10955/tid=10967] ppid=10952 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10955/task/10967/stat : 10967 (java) S 10952 10955 13393 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 20 0 13099639 10060525568 9770 33554432000 1073741824 1073778376 140736016660656 140322948474488 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10955/tid=10968] ppid=10952 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10955/task/10968/stat : 10968 (java) S 10952 10955 13393 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 13099639 10060525568 9770 33554432000 1073741824 1073778376 140736016660656 140322947421832 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10955/tid=10969] ppid=10952 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10955/task/10969/stat : 10969 (java) S 10952 10955 13393 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 13099642 10060525568 9770 33554432000 1073741824 1073778376 140736016660656 140322946370576 259115767584 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10955/tid=10970] ppid=10952 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10955/task/10970/stat : 10970 (java) S 10952 10955 13393 0 -1 4202560 358 0 0 0 0 0 0 0 20 0 20 0 13099642 10060525568 9770 33554432000 1073741824 1073778376 140736016660656 140322945316920 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10955/tid=10971] ppid=10952 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10955/task/10971/stat : 10971 (java) S 10952 10955 13393 0 -1 4202560 514 0 0 0 0 0 0 0 20 0 20 0 13099642 10060525568 9770 33554432000 1073741824 1073778376 140736016660656 140322944264376 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10955/tid=10972] ppid=10952 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10955/task/10972/stat : 10972 (java) S 10952 10955 13393 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 13099642 10060525568 9770 33554432000 1073741824 1073778376 140736016660656 140322943212024 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10955/tid=10973] ppid=10952 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10955/task/10973/stat : 10973 (java) S 10952 10955 13393 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 13099642 10060525568 9770 33554432000 1073741824 1073778376 140736016660656 140322942159688 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10955/tid=10976] ppid=10952 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10955/task/10976/stat : 10976 (java) S 10952 10955 13393 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 13099650 10060525568 9770 33554432000 1073741824 1073778376 140736016660656 140322939000360 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 0.15
Current children cumulated vsize (KiB) 9824732
[startup+3.10079 s]
/proc/loadavg: 0.74 1.63 2.10 2/213 11000
/proc/meminfo: memFree=30075048/32872528 swapFree=1498612/1645780
[pid=10955] ppid=10952 vsize=9824732 CPUtime=0.21 cores=1,3,5,7
/proc/10955/stat : 10955 (java) S 10952 10955 13393 0 -1 4202496 4798 0 1 0 18 3 0 0 20 0 19 0 13099637 10060525568 12948 33554432000 1073741824 1073778376 140736016660656 140736016651792 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10955/statm: 2456183 12948 2204 9 0 2446860 0
[pid=10955/tid=10956] ppid=10952 vsize=9824732 CPUtime=0.11 cores=1,3,5,7
/proc/10955/task/10956/stat : 10956 (java) S 10952 10955 13393 0 -1 4202560 2406 0 1 0 11 0 0 0 20 0 19 0 13099637 10060525568 12948 33554432000 1073741824 1073778376 140736016660656 140323595867000 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10955/tid=10958] ppid=10952 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10955/task/10958/stat : 10958 (java) S 10952 10955 13393 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13099638 10060525568 12948 33554432000 1073741824 1073778376 140736016660656 140323568319144 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10955/tid=10959] ppid=10952 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10955/task/10959/stat : 10959 (java) S 10952 10955 13393 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13099638 10060525568 12948 33554432000 1073741824 1073778376 140736016660656 140323567266600 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10955/tid=10960] ppid=10952 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10955/task/10960/stat : 10960 (java) S 10952 10955 13393 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13099638 10060525568 12948 33554432000 1073741824 1073778376 140736016660656 140323566214056 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10955/tid=10961] ppid=10952 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10955/task/10961/stat : 10961 (java) S 10952 10955 13393 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13099638 10060525568 12948 33554432000 1073741824 1073778376 140736016660656 140323565161512 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10955/tid=10962] ppid=10952 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10955/task/10962/stat : 10962 (java) S 10952 10955 13393 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13099638 10060525568 12948 33554432000 1073741824 1073778376 140736016660656 140323564107944 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10955/tid=10963] ppid=10952 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10955/task/10963/stat : 10963 (java) S 10952 10955 13393 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13099638 10060525568 12948 33554432000 1073741824 1073778376 140736016660656 140323563055400 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10955/tid=10964] ppid=10952 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10955/task/10964/stat : 10964 (java) S 10952 10955 13393 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13099638 10060525568 12948 33554432000 1073741824 1073778376 140736016660656 140323562002856 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10955/tid=10965] ppid=10952 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10955/task/10965/stat : 10965 (java) S 10952 10955 13393 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 13099638 10060525568 12948 33554432000 1073741824 1073778376 140736016660656 140323432475176 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10955/tid=10966] ppid=10952 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10955/task/10966/stat : 10966 (java) S 10952 10955 13393 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 13099639 10060525568 12948 33554432000 1073741824 1073778376 140736016660656 140322949528168 259115759529 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10955/tid=10967] ppid=10952 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10955/task/10967/stat : 10967 (java) S 10952 10955 13393 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 13099639 10060525568 12948 33554432000 1073741824 1073778376 140736016660656 140322948474488 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10955/tid=10968] ppid=10952 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10955/task/10968/stat : 10968 (java) S 10952 10955 13393 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 13099639 10060525568 12948 33554432000 1073741824 1073778376 140736016660656 140322947421832 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10955/tid=10969] ppid=10952 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10955/task/10969/stat : 10969 (java) S 10952 10955 13393 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13099642 10060525568 12948 33554432000 1073741824 1073778376 140736016660656 140322946370576 259115767584 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10955/tid=10970] ppid=10952 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/10955/task/10970/stat : 10970 (java) S 10952 10955 13393 0 -1 4202560 380 0 0 0 1 0 0 0 20 0 19 0 13099642 10060525568 12948 33554432000 1073741824 1073778376 140736016660656 140322945316920 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10955/tid=10971] ppid=10952 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/10955/task/10971/stat : 10971 (java) S 10952 10955 13393 0 -1 4202560 639 0 0 0 1 0 0 0 20 0 19 0 13099642 10060525568 12948 33554432000 1073741824 1073778376 140736016660656 140322944264376 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10955/tid=10972] ppid=10952 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10955/task/10972/stat : 10972 (java) S 10952 10955 13393 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13099642 10060525568 12948 33554432000 1073741824 1073778376 140736016660656 140322943212024 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10955/tid=10973] ppid=10952 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10955/task/10973/stat : 10973 (java) S 10952 10955 13393 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13099642 10060525568 12948 33554432000 1073741824 1073778376 140736016660656 140322942159688 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.21
Current children cumulated vsize (KiB) 9824732
heavy processes:
%CPU=30 pid=1821 uid=0 cmd=
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 10955 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3.20861 s]
/proc/loadavg: 0.74 1.63 2.10 1/213 11009
/proc/meminfo: memFree=30060200/32872528 swapFree=1498612/1645780
[pid=10955] ppid=10952 vsize=9824732 CPUtime=0.43 cores=1,3,5,7
/proc/10955/stat : 10955 (java) S 10952 10955 13393 0 -1 4202496 7798 0 1 0 37 6 0 0 20 0 19 0 13099637 10060525568 15651 33554432000 1073741824 1073778376 140736016660656 140736016651792 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10955/statm: 2456183 15651 2228 9 0 2446860 0
[pid=10955/tid=10956] ppid=10952 vsize=9824732 CPUtime=0.11 cores=1,3,5,7
/proc/10955/task/10956/stat : 10956 (java) S 10952 10955 13393 0 -1 4202560 2406 0 1 0 11 0 0 0 20 0 19 0 13099637 10060525568 15651 33554432000 1073741824 1073778376 140736016660656 140323595867000 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10955/tid=10958] ppid=10952 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10955/task/10958/stat : 10958 (java) S 10952 10955 13393 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13099638 10060525568 15651 33554432000 1073741824 1073778376 140736016660656 140323568319144 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10955/tid=10959] ppid=10952 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10955/task/10959/stat : 10959 (java) S 10952 10955 13393 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13099638 10060525568 15651 33554432000 1073741824 1073778376 140736016660656 140323567266600 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10955/tid=10960] ppid=10952 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10955/task/10960/stat : 10960 (java) S 10952 10955 13393 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13099638 10060525568 15651 33554432000 1073741824 1073778376 140736016660656 140323566214056 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10955/tid=10961] ppid=10952 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10955/task/10961/stat : 10961 (java) S 10952 10955 13393 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13099638 10060525568 15651 33554432000 1073741824 1073778376 140736016660656 140323565161512 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10955/tid=10962] ppid=10952 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10955/task/10962/stat : 10962 (java) S 10952 10955 13393 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13099638 10060525568 15651 33554432000 1073741824 1073778376 140736016660656 140323564107944 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10955/tid=10963] ppid=10952 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10955/task/10963/stat : 10963 (java) S 10952 10955 13393 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13099638 10060525568 15651 33554432000 1073741824 1073778376 140736016660656 140323563055400 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10955/tid=10964] ppid=10952 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10955/task/10964/stat : 10964 (java) S 10952 10955 13393 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13099638 10060525568 15651 33554432000 1073741824 1073778376 140736016660656 140323562002856 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10955/tid=10965] ppid=10952 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10955/task/10965/stat : 10965 (java) S 10952 10955 13393 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 13099638 10060525568 15651 33554432000 1073741824 1073778376 140736016660656 140323432475176 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10955/tid=10966] ppid=10952 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10955/task/10966/stat : 10966 (java) S 10952 10955 13393 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 13099639 10060525568 15651 33554432000 1073741824 1073778376 140736016660656 140322949528168 259115759529 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10955/tid=10967] ppid=10952 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10955/task/10967/stat : 10967 (java) S 10952 10955 13393 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 13099639 10060525568 15651 33554432000 1073741824 1073778376 140736016660656 140322948474488 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10955/tid=10968] ppid=10952 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10955/task/10968/stat : 10968 (java) S 10952 10955 13393 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 13099639 10060525568 15651 33554432000 1073741824 1073778376 140736016660656 140322947421832 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10955/tid=10969] ppid=10952 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10955/task/10969/stat : 10969 (java) S 10952 10955 13393 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13099642 10060525568 15651 33554432000 1073741824 1073778376 140736016660656 140322946370576 259115767584 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10955/tid=10970] ppid=10952 vsize=9824732 CPUtime=0.07 cores=1,3,5,7
/proc/10955/task/10970/stat : 10970 (java) R 10952 10955 13393 0 -1 4202560 1995 0 0 0 7 0 0 0 20 0 19 0 13099642 10060525568 15651 33554432000 1073741824 1073778376 140736016660656 140322945304200 259115749905 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=10955/tid=10971] ppid=10952 vsize=9824732 CPUtime=0.08 cores=1,3,5,7
/proc/10955/task/10971/stat : 10971 (java) R 10952 10955 13393 0 -1 4202560 2008 0 0 0 8 0 0 0 20 0 19 0 13099642 10060525568 15651 33554432000 1073741824 1073778376 140736016660656 140322944251904 140323598552870 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=10955/tid=10972] ppid=10952 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10955/task/10972/stat : 10972 (java) S 10952 10955 13393 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13099642 10060525568 15651 33554432000 1073741824 1073778376 140736016660656 140322943212024 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10955/tid=10973] ppid=10952 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10955/task/10973/stat : 10973 (java) S 10952 10955 13393 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13099642 10060525568 15651 33554432000 1073741824 1073778376 140736016660656 140322942159688 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10955/tid=11006] ppid=10952 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10955/task/11006/stat : 11006 (java) S 10952 10955 13393 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 13099901 10060525568 15651 33554432000 1073741824 1073778376 140736016660656 140322940052904 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 0.43
Current children cumulated vsize (KiB) 9824732
[startup+3.60078 s]
/proc/loadavg: 0.74 1.63 2.10 6/216 11015
/proc/meminfo: memFree=30046228/32872528 swapFree=1498612/1645780
[pid=10955] ppid=10952 vsize=9824732 CPUtime=0.57 cores=1,3,5,7
/proc/10955/stat : 10955 (java) S 10952 10955 13393 0 -1 4202496 8701 0 1 0 51 6 0 0 20 0 19 0 13099637 10060525568 15827 33554432000 1073741824 1073778376 140736016660656 140736016651792 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10955/statm: 2456183 15827 2231 9 0 2446860 0
[pid=10955/tid=10956] ppid=10952 vsize=9824732 CPUtime=0.11 cores=1,3,5,7
/proc/10955/task/10956/stat : 10956 (java) S 10952 10955 13393 0 -1 4202560 2406 0 1 0 11 0 0 0 20 0 19 0 13099637 10060525568 15827 33554432000 1073741824 1073778376 140736016660656 140323595867000 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10955/tid=10958] ppid=10952 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10955/task/10958/stat : 10958 (java) S 10952 10955 13393 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13099638 10060525568 15827 33554432000 1073741824 1073778376 140736016660656 140323568319144 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10955/tid=10959] ppid=10952 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10955/task/10959/stat : 10959 (java) S 10952 10955 13393 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13099638 10060525568 15827 33554432000 1073741824 1073778376 140736016660656 140323567266600 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10955/tid=10960] ppid=10952 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10955/task/10960/stat : 10960 (java) S 10952 10955 13393 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13099638 10060525568 15827 33554432000 1073741824 1073778376 140736016660656 140323566214056 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10955/tid=10961] ppid=10952 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10955/task/10961/stat : 10961 (java) S 10952 10955 13393 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13099638 10060525568 15827 33554432000 1073741824 1073778376 140736016660656 140323565161512 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10955/tid=10962] ppid=10952 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10955/task/10962/stat : 10962 (java) S 10952 10955 13393 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13099638 10060525568 15827 33554432000 1073741824 1073778376 140736016660656 140323564107944 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10955/tid=10963] ppid=10952 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10955/task/10963/stat : 10963 (java) S 10952 10955 13393 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13099638 10060525568 15827 33554432000 1073741824 1073778376 140736016660656 140323563055400 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10955/tid=10964] ppid=10952 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10955/task/10964/stat : 10964 (java) S 10952 10955 13393 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13099638 10060525568 15827 33554432000 1073741824 1073778376 140736016660656 140323562002856 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10955/tid=10965] ppid=10952 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10955/task/10965/stat : 10965 (java) S 10952 10955 13393 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 13099638 10060525568 15827 33554432000 1073741824 1073778376 140736016660656 140323432475176 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10955/tid=10966] ppid=10952 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10955/task/10966/stat : 10966 (java) S 10952 10955 13393 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 13099639 10060525568 15827 33554432000 1073741824 1073778376 140736016660656 140322949528168 259115759529 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10955/tid=10967] ppid=10952 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10955/task/10967/stat : 10967 (java) S 10952 10955 13393 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 13099639 10060525568 15827 33554432000 1073741824 1073778376 140736016660656 140322948474488 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10955/tid=10968] ppid=10952 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10955/task/10968/stat : 10968 (java) S 10952 10955 13393 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 13099639 10060525568 15827 33554432000 1073741824 1073778376 140736016660656 140322947421832 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10955/tid=10969] ppid=10952 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10955/task/10969/stat : 10969 (java) S 10952 10955 13393 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13099642 10060525568 15827 33554432000 1073741824 1073778376 140736016660656 140322946370576 259115767584 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10955/tid=10970] ppid=10952 vsize=9824732 CPUtime=0.12 cores=1,3,5,7
/proc/10955/task/10970/stat : 10970 (java) S 10952 10955 13393 0 -1 4202560 2141 0 0 0 12 0 0 0 20 0 19 0 13099642 10060525568 15827 33554432000 1073741824 1073778376 140736016660656 140322945316920 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10955/tid=10971] ppid=10952 vsize=9824732 CPUtime=0.16 cores=1,3,5,7
/proc/10955/task/10971/stat : 10971 (java) S 10952 10955 13393 0 -1 4202560 2765 0 0 0 16 0 0 0 20 0 19 0 13099642 10060525568 15827 33554432000 1073741824 1073778376 140736016660656 140322944264376 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10955/tid=10972] ppid=10952 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10955/task/10972/stat : 10972 (java) S 10952 10955 13393 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13099642 10060525568 15827 33554432000 1073741824 1073778376 140736016660656 140322943212024 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10955/tid=10973] ppid=10952 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10955/task/10973/stat : 10973 (java) S 10952 10955 13393 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13099642 10060525568 15827 33554432000 1073741824 1073778376 140736016660656 140322942159688 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10955/tid=11006] ppid=10952 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10955/task/11006/stat : 11006 (java) S 10952 10955 13393 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 13099901 10060525568 15827 33554432000 1073741824 1073778376 140736016660656 140322940052904 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 0.57
Current children cumulated vsize (KiB) 9824732
Child status: 30
Real time (s): 3.6492
CPU time (s): 0.594908
CPU user time (s): 0.52092
CPU system time (s): 0.073988
CPU usage (%): 16.3024
Max. virtual memory (cumulated for all children) (KiB): 9824732
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.52092
system time used= 0.073988
maximum resident set size= 65384
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8715
page faults= 1
swaps= 0
block input operations= 0
block output operations= 64
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 374
involuntary context switches= 40
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.023996 second user time and 0.037994 second system time
The end