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-4091924-1467320292/watcher-4091924-1467320292 -o /tmp/evaluation-result-4091924-1467320292/solver-4091924-1467320292 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node121-1467318467-16220 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4091924-1467320292.wbo
pid=18975
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.73 2.07 2.05 2/192 18978
/proc/meminfo: memFree=30148408/32872528 swapFree=1299868/1463388
[pid=18978] ppid=18975 vsize=96260 CPUtime=0 cores=0,2,4,6
/proc/18978/stat : 18978 (java) S 18975 18978 16156 0 -1 4202496 1344 0 0 0 0 0 0 0 20 0 2 0 11055238 98570240 969 33554432000 1073741824 1073778376 140735921316784 140735921307920 227515859005 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18978/statm: 24065 969 737 9 0 16771 0
[pid=18978/tid=18979] ppid=18975 vsize=96260 CPUtime=0 cores=0,2,4,6
/proc/18978/task/18979/stat : 18979 (java) R 18975 18978 16156 0 -1 4202560 129 0 0 0 0 0 0 0 20 0 2 0 11055239 98570240 977 33554432000 1073741824 1073778376 140735921316784 140643874504232 227512501632 0 0 4096 0 0 0 0 -1 0 0 0 0 0 0
[startup+0.10011 s]
/proc/loadavg: 1.73 2.07 2.05 2/192 18978
/proc/meminfo: memFree=30148408/32872528 swapFree=1299868/1463388
[pid=18978] ppid=18975 vsize=9558476 CPUtime=0.1 cores=0,2,4,6
/proc/18978/stat : 18978 (java) S 18975 18978 16156 0 -1 4202496 4473 0 1 0 10 0 0 0 20 0 18 0 11055238 9787879424 5594 33554432000 1073741824 1073778376 140735921316784 140735921307920 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18978/statm: 2389619 5594 2138 9 0 2380296 0
[pid=18978/tid=18979] ppid=18975 vsize=9558476 CPUtime=0.08 cores=0,2,4,6
/proc/18978/task/18979/stat : 18979 (java) R 18975 18978 16156 0 -1 4202560 2445 0 1 0 8 0 0 0 20 0 18 0 11055239 9787879424 5594 33554432000 1073741824 1073778376 140735921316784 140643874507680 140643881660258 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558476
[startup+0.200252 s]
/proc/loadavg: 1.73 2.07 2.05 2/192 18978
/proc/meminfo: memFree=30148408/32872528 swapFree=1299868/1463388
[pid=18978] ppid=18975 vsize=9558476 CPUtime=0.25 cores=0,2,4,6
/proc/18978/stat : 18978 (java) S 18975 18978 16156 0 -1 4202496 4804 0 1 0 25 0 0 0 20 0 18 0 11055238 9787879424 6895 33554432000 1073741824 1073778376 140735921316784 140735921307920 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18978/statm: 2389619 6895 2211 9 0 2380296 0
[pid=18978/tid=18979] ppid=18975 vsize=9558476 CPUtime=0.17 cores=0,2,4,6
/proc/18978/task/18979/stat : 18979 (java) R 18975 18978 16156 0 -1 4202560 2482 0 1 0 17 0 0 0 20 0 18 0 11055239 9787879424 6895 33554432000 1073741824 1073778376 140735921316784 140643874508904 227515884717 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 9558476
[startup+0.30029 s]
/proc/loadavg: 1.73 2.07 2.05 2/192 18978
/proc/meminfo: memFree=30148408/32872528 swapFree=1299868/1463388
[pid=18978] ppid=18975 vsize=9824732 CPUtime=0.61 cores=0,2,4,6
/proc/18978/stat : 18978 (java) S 18975 18978 16156 0 -1 4202496 7627 0 1 0 60 1 0 0 20 0 22 0 11055238 10060525568 9700 33554432000 1073741824 1073778376 140735921316784 140735921307920 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18978/statm: 2456183 9700 2246 9 0 2446860 0
[pid=18978/tid=18979] ppid=18975 vsize=9824732 CPUtime=0.18 cores=0,2,4,6
/proc/18978/task/18979/stat : 18979 (java) S 18975 18978 16156 0 -1 4202560 2486 0 1 0 18 0 0 0 20 0 22 0 11055239 10060525568 9700 33554432000 1073741824 1073778376 140735921316784 140643874509688 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.61
Current children cumulated vsize (KiB) 9824732
[startup+0.700363 s]
/proc/loadavg: 1.73 2.07 2.05 2/192 18978
/proc/meminfo: memFree=30148408/32872528 swapFree=1299868/1463388
[pid=18978] ppid=18975 vsize=9824732 CPUtime=1.22 cores=0,2,4,6
/proc/18978/stat : 18978 (java) S 18975 18978 16156 0 -1 4202496 14750 0 1 0 117 5 0 0 20 0 19 0 11055238 10060525568 12888 33554432000 1073741824 1073778376 140735921316784 140735921307920 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18978/statm: 2456183 12888 2258 9 0 2446860 0
[pid=18978/tid=18979] ppid=18975 vsize=9824732 CPUtime=0.18 cores=0,2,4,6
/proc/18978/task/18979/stat : 18979 (java) S 18975 18978 16156 0 -1 4202560 2486 0 1 0 18 0 0 0 20 0 19 0 11055239 10060525568 12888 33554432000 1073741824 1073778376 140735921316784 140643874509688 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.22
Current children cumulated vsize (KiB) 9824732
[startup+1.50083 s]
/proc/loadavg: 1.73 2.07 2.05 3/211 19074
/proc/meminfo: memFree=30096580/32872528 swapFree=1299868/1463388
[pid=18978] ppid=18975 vsize=9824732 CPUtime=1.25 cores=0,2,4,6
/proc/18978/stat : 18978 (java) S 18975 18978 16156 0 -1 4202496 14838 0 1 0 120 5 0 0 20 0 19 0 11055238 10060525568 15450 33554432000 1073741824 1073778376 140735921316784 140735921307920 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18978/statm: 2456183 15450 2258 9 0 2446860 0
[pid=18978/tid=18979] ppid=18975 vsize=9824732 CPUtime=0.18 cores=0,2,4,6
/proc/18978/task/18979/stat : 18979 (java) S 18975 18978 16156 0 -1 4202560 2487 0 1 0 18 0 0 0 20 0 19 0 11055239 10060525568 15450 33554432000 1073741824 1073778376 140735921316784 140643874509688 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18978/tid=18981] ppid=18975 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/18978/task/18981/stat : 18981 (java) S 18975 18978 16156 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11055239 10060525568 15450 33554432000 1073741824 1073778376 140735921316784 140643718548264 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18978/tid=18982] ppid=18975 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/18978/task/18982/stat : 18982 (java) S 18975 18978 16156 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11055239 10060525568 15450 33554432000 1073741824 1073778376 140735921316784 140643717495464 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18978/tid=18983] ppid=18975 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/18978/task/18983/stat : 18983 (java) S 18975 18978 16156 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11055239 10060525568 15450 33554432000 1073741824 1073778376 140735921316784 140643716443176 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18978/tid=18984] ppid=18975 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/18978/task/18984/stat : 18984 (java) S 18975 18978 16156 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11055239 10060525568 15450 33554432000 1073741824 1073778376 140735921316784 140643715390376 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18978/tid=18985] ppid=18975 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/18978/task/18985/stat : 18985 (java) S 18975 18978 16156 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11055239 10060525568 15450 33554432000 1073741824 1073778376 140735921316784 140643714337064 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18978/tid=18986] ppid=18975 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/18978/task/18986/stat : 18986 (java) S 18975 18978 16156 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11055239 10060525568 15450 33554432000 1073741824 1073778376 140735921316784 140643713284264 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18978/tid=18987] ppid=18975 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/18978/task/18987/stat : 18987 (java) S 18975 18978 16156 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11055239 10060525568 15450 33554432000 1073741824 1073778376 140735921316784 140643712231976 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18978/tid=18988] ppid=18975 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/18978/task/18988/stat : 18988 (java) S 18975 18978 16156 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 11055239 10060525568 15450 33554432000 1073741824 1073778376 140735921316784 140643711179176 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18978/tid=18989] ppid=18975 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/18978/task/18989/stat : 18989 (java) S 18975 18978 16156 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 11055240 10060525568 15450 33554432000 1073741824 1073778376 140735921316784 140643698768616 227515873193 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18978/tid=18990] ppid=18975 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/18978/task/18990/stat : 18990 (java) S 18975 18978 16156 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 11055241 10060525568 15450 33554432000 1073741824 1073778376 140735921316784 140643697714680 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18978/tid=18991] ppid=18975 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/18978/task/18991/stat : 18991 (java) S 18975 18978 16156 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 11055241 10060525568 15450 33554432000 1073741824 1073778376 140735921316784 140643696662280 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18978/tid=18992] ppid=18975 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/18978/task/18992/stat : 18992 (java) S 18975 18978 16156 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11055243 10060525568 15450 33554432000 1073741824 1073778376 140735921316784 140643695610768 227515881248 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18978/tid=18993] ppid=18975 vsize=9824732 CPUtime=0.33 cores=0,2,4,6
/proc/18978/task/18993/stat : 18993 (java) S 18975 18978 16156 0 -1 4202560 5074 0 0 0 32 1 0 0 20 0 19 0 11055243 10060525568 15450 33554432000 1073741824 1073778376 140735921316784 140643694557368 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18978/tid=18994] ppid=18975 vsize=9824732 CPUtime=0.37 cores=0,2,4,6
/proc/18978/task/18994/stat : 18994 (java) S 18975 18978 16156 0 -1 4202560 5934 0 0 0 35 2 0 0 20 0 19 0 11055243 10060525568 15450 33554432000 1073741824 1073778376 140735921316784 140643693504568 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18978/tid=18995] ppid=18975 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/18978/task/18995/stat : 18995 (java) S 18975 18978 16156 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11055243 10060525568 15450 33554432000 1073741824 1073778376 140735921316784 140643692452472 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18978/tid=18996] ppid=18975 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/18978/task/18996/stat : 18996 (java) S 18975 18978 16156 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11055243 10060525568 15450 33554432000 1073741824 1073778376 140735921316784 140643691399880 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18978/tid=19002] ppid=18975 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/18978/task/19002/stat : 19002 (java) S 18975 18978 16156 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 11055259 10060525568 15450 33554432000 1073741824 1073778376 140735921316784 140643688191656 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1.25
Current children cumulated vsize (KiB) 9824732
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 18978 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1.60091 s]
/proc/loadavg: 1.73 2.07 2.05 3/211 19074
/proc/meminfo: memFree=30096580/32872528 swapFree=1299868/1463388
[pid=18978] ppid=18975 vsize=9824732 CPUtime=1.25 cores=0,2,4,6
/proc/18978/stat : 18978 (java) S 18975 18978 16156 0 -1 4202496 14838 0 1 0 120 5 0 0 20 0 19 0 11055238 10060525568 15450 33554432000 1073741824 1073778376 140735921316784 140735921307920 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18978/statm: 2456183 15450 2258 9 0 2446860 0
[pid=18978/tid=18979] ppid=18975 vsize=9824732 CPUtime=0.18 cores=0,2,4,6
/proc/18978/task/18979/stat : 18979 (java) S 18975 18978 16156 0 -1 4202560 2487 0 1 0 18 0 0 0 20 0 19 0 11055239 10060525568 15450 33554432000 1073741824 1073778376 140735921316784 140643874509688 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18978/tid=18981] ppid=18975 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/18978/task/18981/stat : 18981 (java) S 18975 18978 16156 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11055239 10060525568 15450 33554432000 1073741824 1073778376 140735921316784 140643718548264 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18978/tid=18982] ppid=18975 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/18978/task/18982/stat : 18982 (java) S 18975 18978 16156 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11055239 10060525568 15450 33554432000 1073741824 1073778376 140735921316784 140643717495464 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18978/tid=18983] ppid=18975 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/18978/task/18983/stat : 18983 (java) S 18975 18978 16156 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11055239 10060525568 15450 33554432000 1073741824 1073778376 140735921316784 140643716443176 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18978/tid=18984] ppid=18975 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/18978/task/18984/stat : 18984 (java) S 18975 18978 16156 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11055239 10060525568 15450 33554432000 1073741824 1073778376 140735921316784 140643715390376 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18978/tid=18985] ppid=18975 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/18978/task/18985/stat : 18985 (java) S 18975 18978 16156 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11055239 10060525568 15450 33554432000 1073741824 1073778376 140735921316784 140643714337064 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18978/tid=18986] ppid=18975 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/18978/task/18986/stat : 18986 (java) S 18975 18978 16156 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11055239 10060525568 15450 33554432000 1073741824 1073778376 140735921316784 140643713284264 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18978/tid=18987] ppid=18975 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/18978/task/18987/stat : 18987 (java) S 18975 18978 16156 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11055239 10060525568 15450 33554432000 1073741824 1073778376 140735921316784 140643712231976 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18978/tid=18988] ppid=18975 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/18978/task/18988/stat : 18988 (java) S 18975 18978 16156 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 11055239 10060525568 15450 33554432000 1073741824 1073778376 140735921316784 140643711179176 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18978/tid=18989] ppid=18975 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/18978/task/18989/stat : 18989 (java) S 18975 18978 16156 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 11055240 10060525568 15450 33554432000 1073741824 1073778376 140735921316784 140643698768616 227515873193 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18978/tid=18990] ppid=18975 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/18978/task/18990/stat : 18990 (java) S 18975 18978 16156 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 11055241 10060525568 15450 33554432000 1073741824 1073778376 140735921316784 140643697714680 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18978/tid=18991] ppid=18975 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/18978/task/18991/stat : 18991 (java) S 18975 18978 16156 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 11055241 10060525568 15450 33554432000 1073741824 1073778376 140735921316784 140643696662280 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18978/tid=18992] ppid=18975 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/18978/task/18992/stat : 18992 (java) S 18975 18978 16156 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11055243 10060525568 15450 33554432000 1073741824 1073778376 140735921316784 140643695610768 227515881248 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18978/tid=18993] ppid=18975 vsize=9824732 CPUtime=0.33 cores=0,2,4,6
/proc/18978/task/18993/stat : 18993 (java) S 18975 18978 16156 0 -1 4202560 5074 0 0 0 32 1 0 0 20 0 19 0 11055243 10060525568 15450 33554432000 1073741824 1073778376 140735921316784 140643694557368 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18978/tid=18994] ppid=18975 vsize=9824732 CPUtime=0.37 cores=0,2,4,6
/proc/18978/task/18994/stat : 18994 (java) S 18975 18978 16156 0 -1 4202560 5934 0 0 0 35 2 0 0 20 0 19 0 11055243 10060525568 15450 33554432000 1073741824 1073778376 140735921316784 140643693504568 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18978/tid=18995] ppid=18975 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/18978/task/18995/stat : 18995 (java) S 18975 18978 16156 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11055243 10060525568 15450 33554432000 1073741824 1073778376 140735921316784 140643692452472 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18978/tid=18996] ppid=18975 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/18978/task/18996/stat : 18996 (java) S 18975 18978 16156 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11055243 10060525568 15450 33554432000 1073741824 1073778376 140735921316784 140643691399880 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18978/tid=19002] ppid=18975 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/18978/task/19002/stat : 19002 (java) S 18975 18978 16156 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 11055259 10060525568 15450 33554432000 1073741824 1073778376 140735921316784 140643688191656 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1.25
Current children cumulated vsize (KiB) 9824732
[startup+1.7008 s]
/proc/loadavg: 1.73 2.07 2.05 3/211 19074
/proc/meminfo: memFree=30096580/32872528 swapFree=1299868/1463388
[pid=18978] ppid=18975 vsize=9824732 CPUtime=1.25 cores=0,2,4,6
/proc/18978/stat : 18978 (java) S 18975 18978 16156 0 -1 4202496 14838 0 1 0 120 5 0 0 20 0 19 0 11055238 10060525568 15450 33554432000 1073741824 1073778376 140735921316784 140735921307920 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18978/statm: 2456183 15450 2258 9 0 2446860 0
[pid=18978/tid=18979] ppid=18975 vsize=9824732 CPUtime=0.18 cores=0,2,4,6
/proc/18978/task/18979/stat : 18979 (java) S 18975 18978 16156 0 -1 4202560 2487 0 1 0 18 0 0 0 20 0 19 0 11055239 10060525568 15450 33554432000 1073741824 1073778376 140735921316784 140643874509688 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18978/tid=18981] ppid=18975 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/18978/task/18981/stat : 18981 (java) S 18975 18978 16156 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11055239 10060525568 15450 33554432000 1073741824 1073778376 140735921316784 140643718548264 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18978/tid=18982] ppid=18975 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/18978/task/18982/stat : 18982 (java) S 18975 18978 16156 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11055239 10060525568 15450 33554432000 1073741824 1073778376 140735921316784 140643717495464 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18978/tid=18983] ppid=18975 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/18978/task/18983/stat : 18983 (java) S 18975 18978 16156 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11055239 10060525568 15450 33554432000 1073741824 1073778376 140735921316784 140643716443176 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18978/tid=18984] ppid=18975 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/18978/task/18984/stat : 18984 (java) S 18975 18978 16156 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11055239 10060525568 15450 33554432000 1073741824 1073778376 140735921316784 140643715390376 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18978/tid=18985] ppid=18975 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/18978/task/18985/stat : 18985 (java) S 18975 18978 16156 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11055239 10060525568 15450 33554432000 1073741824 1073778376 140735921316784 140643714337064 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18978/tid=18986] ppid=18975 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/18978/task/18986/stat : 18986 (java) S 18975 18978 16156 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11055239 10060525568 15450 33554432000 1073741824 1073778376 140735921316784 140643713284264 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18978/tid=18987] ppid=18975 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/18978/task/18987/stat : 18987 (java) S 18975 18978 16156 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11055239 10060525568 15450 33554432000 1073741824 1073778376 140735921316784 140643712231976 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18978/tid=18988] ppid=18975 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/18978/task/18988/stat : 18988 (java) S 18975 18978 16156 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 11055239 10060525568 15450 33554432000 1073741824 1073778376 140735921316784 140643711179176 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18978/tid=18989] ppid=18975 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/18978/task/18989/stat : 18989 (java) S 18975 18978 16156 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 11055240 10060525568 15450 33554432000 1073741824 1073778376 140735921316784 140643698768616 227515873193 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18978/tid=18990] ppid=18975 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/18978/task/18990/stat : 18990 (java) S 18975 18978 16156 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 11055241 10060525568 15450 33554432000 1073741824 1073778376 140735921316784 140643697714680 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18978/tid=18991] ppid=18975 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/18978/task/18991/stat : 18991 (java) S 18975 18978 16156 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 11055241 10060525568 15450 33554432000 1073741824 1073778376 140735921316784 140643696662280 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18978/tid=18992] ppid=18975 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/18978/task/18992/stat : 18992 (java) S 18975 18978 16156 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11055243 10060525568 15450 33554432000 1073741824 1073778376 140735921316784 140643695610768 227515881248 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18978/tid=18993] ppid=18975 vsize=9824732 CPUtime=0.33 cores=0,2,4,6
/proc/18978/task/18993/stat : 18993 (java) S 18975 18978 16156 0 -1 4202560 5074 0 0 0 32 1 0 0 20 0 19 0 11055243 10060525568 15450 33554432000 1073741824 1073778376 140735921316784 140643694557368 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18978/tid=18994] ppid=18975 vsize=9824732 CPUtime=0.37 cores=0,2,4,6
/proc/18978/task/18994/stat : 18994 (java) S 18975 18978 16156 0 -1 4202560 5934 0 0 0 35 2 0 0 20 0 19 0 11055243 10060525568 15450 33554432000 1073741824 1073778376 140735921316784 140643693504568 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18978/tid=18995] ppid=18975 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/18978/task/18995/stat : 18995 (java) S 18975 18978 16156 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11055243 10060525568 15450 33554432000 1073741824 1073778376 140735921316784 140643692452472 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18978/tid=18996] ppid=18975 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/18978/task/18996/stat : 18996 (java) S 18975 18978 16156 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11055243 10060525568 15450 33554432000 1073741824 1073778376 140735921316784 140643691399880 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18978/tid=19002] ppid=18975 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/18978/task/19002/stat : 19002 (java) S 18975 18978 16156 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 11055259 10060525568 15450 33554432000 1073741824 1073778376 140735921316784 140643688191656 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1.25
Current children cumulated vsize (KiB) 9824732
Child status: 30
Real time (s): 1.71716
CPU time (s): 1.2858
CPU user time (s): 1.20282
CPU system time (s): 0.082987
CPU usage (%): 74.8795
Max. virtual memory (cumulated for all children) (KiB): 9824732
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.20282
system time used= 0.082987
maximum resident set size= 63888
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14856
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= 320
involuntary context switches= 46
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.014997 second user time and 0.013997 second system time
The end