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-3453857-1307194333/watcher-3453857-1307194333 -o /tmp/evaluation-result-3453857-1307194333/solver-3453857-1307194333 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3453857-1307194333.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: 2.94 3.56 3.53 3/348 31095
/proc/meminfo: memFree=23513992/32951124 swapFree=67056304/67111528
[pid=31095] ppid=31093 vsize=35788 CPUtime=0 cores=1,3,5,7
/proc/31095/stat : 31095 (java) S 31093 31095 27326 0 -1 4202496 1316 0 0 0 0 0 0 0 25 0 2 0 909663853 36646912 1018 33554432000 1073741824 1073778376 140736525566544 18446744073709551615 260032198629 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0
/proc/31095/statm: 8947 1018 782 9 0 386 0
[pid=31095/tid=31096] ppid=31093 vsize=35788 CPUtime=0 cores=1,3,5,7
/proc/31095/task/31096/stat : 31096 (java) S 31093 31095 27326 0 -1 4202560 202 0 0 0 0 0 0 0 25 0 2 0 909663853 36646912 1018 33554432000 1073741824 1073778376 140736525566544 18446744073709551615 260020416070 0 0 0 16784584 3087222496659767295 0 0 -1 1 0 0 0
[startup+0.066614 s]
/proc/loadavg: 2.94 3.56 3.53 3/348 31095
/proc/meminfo: memFree=23513992/32951124 swapFree=67056304/67111528
[pid=31095] ppid=31093 vsize=10472924 CPUtime=0.05 cores=1,3,5,7
/proc/31095/stat : 31095 (java) S 31093 31095 27326 0 -1 4202496 11683 0 1 0 4 1 0 0 25 0 18 0 909663853 10724274176 11380 33554432000 1073741824 1073778376 140736525566544 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/31095/statm: 2618231 11381 1733 9 0 2608972 0
[pid=31095/tid=31096] ppid=31093 vsize=10472924 CPUtime=0.05 cores=1,3,5,7
/proc/31095/task/31096/stat : 31096 (java) R 31093 31095 27326 0 -1 4202560 10510 0 1 0 4 1 0 0 25 0 18 0 909663853 10724274176 11382 33554432000 1073741824 1073778376 140736525566544 18446744073709551615 47919801284339 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 10472924
[startup+0.100611 s]
/proc/loadavg: 2.94 3.56 3.53 3/348 31095
/proc/meminfo: memFree=23513992/32951124 swapFree=67056304/67111528
[pid=31095] ppid=31093 vsize=10540256 CPUtime=0.1 cores=1,3,5,7
/proc/31095/stat : 31095 (java) S 31093 31095 27326 0 -1 4202496 12976 0 1 0 9 1 0 0 25 0 18 0 909663853 10793222144 12673 33554432000 1073741824 1073778376 140736525566544 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/31095/statm: 2635064 12674 2092 9 0 2625798 0
[pid=31095/tid=31096] ppid=31093 vsize=10540256 CPUtime=0.08 cores=1,3,5,7
/proc/31095/task/31096/stat : 31096 (java) R 31093 31095 27326 0 -1 4202560 11085 0 1 0 7 1 0 0 25 0 18 0 909663853 10793222144 12676 33554432000 1073741824 1073778376 140736525566544 18446744073709551615 47919802077189 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10540256
[startup+0.300529 s]
/proc/loadavg: 2.94 3.56 3.53 3/348 31095
/proc/meminfo: memFree=23513992/32951124 swapFree=67056304/67111528
[pid=31095] ppid=31093 vsize=10551880 CPUtime=0.62 cores=1,3,5,7
/proc/31095/stat : 31095 (java) S 31093 31095 27326 0 -1 4202496 17245 0 1 0 60 2 0 0 25 0 22 0 909663853 10805125120 16110 33554432000 1073741824 1073778376 140736525566544 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/31095/statm: 2637970 16110 2212 9 0 2628704 0
[pid=31095/tid=31096] ppid=31093 vsize=10551880 CPUtime=0.18 cores=1,3,5,7
/proc/31095/task/31096/stat : 31096 (java) S 31093 31095 27326 0 -1 4202560 11961 0 1 0 17 1 0 0 25 0 22 0 909663853 10805125120 16110 33554432000 1073741824 1073778376 140736525566544 18446744073709551615 260032212480 0 4 0 16800975 18446604466516395136 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.62
Current children cumulated vsize (KiB) 10551880
[startup+0.700457 s]
/proc/loadavg: 2.94 3.56 3.53 3/348 31095
/proc/meminfo: memFree=23513992/32951124 swapFree=67056304/67111528
[pid=31095] ppid=31093 vsize=10564196 CPUtime=2.21 cores=1,3,5,7
/proc/31095/stat : 31095 (java) S 31093 31095 27326 0 -1 4202496 37611 0 1 0 216 5 0 0 25 0 22 0 909663853 10817736704 33771 33554432000 1073741824 1073778376 140736525566544 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/31095/statm: 2641049 33772 2225 9 0 2631783 0
[pid=31095/tid=31096] ppid=31093 vsize=10564196 CPUtime=0.18 cores=1,3,5,7
/proc/31095/task/31096/stat : 31096 (java) S 31093 31095 27326 0 -1 4202560 11961 0 1 0 17 1 0 0 25 0 22 0 909663853 10817736704 33773 33554432000 1073741824 1073778376 140736525566544 18446744073709551615 260032212480 0 4 0 16800975 18446604466516395136 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2.21
Current children cumulated vsize (KiB) 10564196
[startup+1.50134 s]
/proc/loadavg: 2.94 3.56 3.53 6/370 31117
/proc/meminfo: memFree=23286736/32951124 swapFree=67056304/67111528
[pid=31095] ppid=31093 vsize=10561544 CPUtime=4.43 cores=1,3,5,7
/proc/31095/stat : 31095 (java) S 31093 31095 27326 0 -1 4202496 97407 0 1 0 430 13 0 0 25 0 22 0 909663853 10815021056 87125 33554432000 1073741824 1073778376 140736525566544 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/31095/statm: 2640386 87129 2256 9 0 2631120 0
[pid=31095/tid=31096] ppid=31093 vsize=10561544 CPUtime=0.18 cores=1,3,5,7
/proc/31095/task/31096/stat : 31096 (java) S 31093 31095 27326 0 -1 4202560 11961 0 1 0 17 1 0 0 15 0 22 0 909663853 10815021056 87131 33554432000 1073741824 1073778376 140736525566544 18446744073709551615 260032212480 0 4 0 16800975 18446604466516395136 0 0 -1 1 0 0 0
[pid=31095/tid=31098] ppid=31093 vsize=10561544 CPUtime=0 cores=1,3,5,7
/proc/31095/task/31098/stat : 31098 (java) S 31093 31095 27326 0 -1 4202560 303 0 0 0 0 0 0 0 16 0 22 0 909663855 10815021056 87133 33554432000 1073741824 1073778376 140736525566544 18446744073709551615 260032211865 0 4 0 16800975 18446604466516395136 0 0 -1 7 0 0 0
[pid=31095/tid=31099] ppid=31093 vsize=10561544 CPUtime=0 cores=1,3,5,7
/proc/31095/task/31099/stat : 31099 (java) S 31093 31095 27326 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 22 0 909663855 10815021056 87135 33554432000 1073741824 1073778376 140736525566544 18446744073709551615 260032211865 0 4 0 16800975 18446604466516395136 0 0 -1 1 0 0 0
[pid=31095/tid=31100] ppid=31093 vsize=10561544 CPUtime=0 cores=1,3,5,7
/proc/31095/task/31100/stat : 31100 (java) S 31093 31095 27326 0 -1 4202560 208 0 0 0 0 0 0 0 16 0 22 0 909663855 10815021056 87137 33554432000 1073741824 1073778376 140736525566544 18446744073709551615 260032211865 0 4 0 16800975 18446604466516395136 0 0 -1 5 0 0 0
[pid=31095/tid=31101] ppid=31093 vsize=10561544 CPUtime=0 cores=1,3,5,7
/proc/31095/task/31101/stat : 31101 (java) S 31093 31095 27326 0 -1 4202560 82 0 0 0 0 0 0 0 16 0 22 0 909663855 10815021056 87143 33554432000 1073741824 1073778376 140736525566544 18446744073709551615 260032211865 0 4 0 16800975 18446604466516395136 0 0 -1 5 0 0 0
[pid=31095/tid=31102] ppid=31093 vsize=10561544 CPUtime=0 cores=1,3,5,7
/proc/31095/task/31102/stat : 31102 (java) S 31093 31095 27326 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 909663855 10815021056 87145 33554432000 1073741824 1073778376 140736525566544 18446744073709551615 260032211865 0 4 0 16800975 18446604466516395136 0 0 -1 7 0 0 0
[pid=31095/tid=31103] ppid=31093 vsize=10561544 CPUtime=0 cores=1,3,5,7
/proc/31095/task/31103/stat : 31103 (java) S 31093 31095 27326 0 -1 4202560 251 0 0 0 0 0 0 0 15 0 22 0 909663855 10815021056 87148 33554432000 1073741824 1073778376 140736525566544 18446744073709551615 260032211865 0 4 0 16800975 18446604466516395136 0 0 -1 5 0 0 0
[pid=31095/tid=31104] ppid=31093 vsize=10561544 CPUtime=0 cores=1,3,5,7
/proc/31095/task/31104/stat : 31104 (java) S 31093 31095 27326 0 -1 4202560 199 0 0 0 0 0 0 0 15 0 22 0 909663855 10815021056 87150 33554432000 1073741824 1073778376 140736525566544 18446744073709551615 260032211865 0 4 0 16800975 18446604466516395136 0 0 -1 5 0 0 0
[pid=31095/tid=31105] ppid=31093 vsize=10561544 CPUtime=0 cores=1,3,5,7
/proc/31095/task/31105/stat : 31105 (java) S 31093 31095 27326 0 -1 4202560 210 0 0 0 0 0 0 0 15 0 22 0 909663855 10815021056 87153 33554432000 1073741824 1073778376 140736525566544 18446744073709551615 260032211865 0 4 0 16800975 18446604466516395136 0 0 -1 7 0 0 0
[pid=31095/tid=31106] ppid=31093 vsize=10561544 CPUtime=0.03 cores=1,3,5,7
/proc/31095/task/31106/stat : 31106 (java) S 31093 31095 27326 0 -1 4202560 1154 0 0 0 3 0 0 0 15 0 22 0 909663856 10815021056 87158 33554432000 1073741824 1073778376 140736525566544 18446744073709551615 260032212480 0 0 0 16800975 18446604466516395136 0 0 -1 1 0 0 0
[pid=31095/tid=31107] ppid=31093 vsize=10561544 CPUtime=0 cores=1,3,5,7
/proc/31095/task/31107/stat : 31107 (java) S 31093 31095 27326 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 909663857 10815021056 87160 33554432000 1073741824 1073778376 140736525566544 18446744073709551615 260032211865 0 4 0 16800975 18446604466516395136 0 0 -1 1 0 0 0
[pid=31095/tid=31108] ppid=31093 vsize=10561544 CPUtime=0 cores=1,3,5,7
/proc/31095/task/31108/stat : 31108 (java) S 31093 31095 27326 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 909663857 10815021056 87162 33554432000 1073741824 1073778376 140736525566544 18446744073709551615 260032211865 0 4 0 16800975 18446604466516395136 0 0 -1 1 0 0 0
[pid=31095/tid=31109] ppid=31093 vsize=10561544 CPUtime=0 cores=1,3,5,7
/proc/31095/task/31109/stat : 31109 (java) S 31093 31095 27326 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909663859 10815021056 87164 33554432000 1073741824 1073778376 140736525566544 18446744073709551615 260032219569 0 4 0 16800975 18446604466516395136 0 0 -1 1 0 0 0
[pid=31095/tid=31110] ppid=31093 vsize=10561544 CPUtime=0.75 cores=1,3,5,7
/proc/31095/task/31110/stat : 31110 (java) S 31093 31095 27326 0 -1 4202560 7008 0 0 0 74 1 0 0 22 0 22 0 909663859 10815021056 87167 33554432000 1073741824 1073778376 140736525566544 18446744073709551615 260032211865 0 4 0 16800975 18446604466516395136 0 0 -1 7 0 0 0
[pid=31095/tid=31111] ppid=31093 vsize=10561544 CPUtime=0.92 cores=1,3,5,7
/proc/31095/task/31111/stat : 31111 (java) S 31093 31095 27326 0 -1 4202560 10587 0 0 0 91 1 0 0 24 0 22 0 909663859 10815021056 87170 33554432000 1073741824 1073778376 140736525566544 18446744073709551615 260032211865 0 4 0 16800975 18446604466516395136 0 0 -1 3 0 0 0
[pid=31095/tid=31112] ppid=31093 vsize=10561544 CPUtime=0 cores=1,3,5,7
/proc/31095/task/31112/stat : 31112 (java) S 31093 31095 27326 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909663859 10815021056 87172 33554432000 1073741824 1073778376 140736525566544 18446744073709551615 260032211865 0 4 0 16800975 18446604466516395136 0 0 -1 1 0 0 0
[pid=31095/tid=31113] ppid=31093 vsize=10561544 CPUtime=0 cores=1,3,5,7
/proc/31095/task/31113/stat : 31113 (java) S 31093 31095 27326 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 909663859 10815021056 87174 33554432000 1073741824 1073778376 140736525566544 18446744073709551615 260032212480 0 4 0 16800975 18446604466516395136 0 0 -1 7 0 0 0
[pid=31095/tid=31114] ppid=31093 vsize=10561544 CPUtime=1.24 cores=1,3,5,7
/proc/31095/task/31114/stat : 31114 (java) R 31093 31095 27326 0 -1 4202560 472 0 0 0 124 0 0 0 25 0 22 0 909663873 10815021056 87177 33554432000 1073741824 1073778376 140736525566544 18446744073709551615 46912505661911 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=31095/tid=31115] ppid=31093 vsize=10561544 CPUtime=1.24 cores=1,3,5,7
/proc/31095/task/31115/stat : 31115 (java) R 31093 31095 27326 0 -1 4202560 63865 0 0 0 116 8 0 0 25 0 22 0 909663873 10815021056 87179 33554432000 1073741824 1073778376 140736525566544 18446744073709551615 46912505636247 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=31095/tid=31116] ppid=31093 vsize=10561544 CPUtime=0 cores=1,3,5,7
/proc/31095/task/31116/stat : 31116 (java) S 31093 31095 27326 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 909663873 10815021056 87182 33554432000 1073741824 1073778376 140736525566544 18446744073709551615 260032212480 0 4 0 16800975 18446604466516395136 0 0 -1 1 0 0 0
[pid=31095/tid=31117] ppid=31093 vsize=10561544 CPUtime=0 cores=1,3,5,7
/proc/31095/task/31117/stat : 31117 (java) S 31093 31095 27326 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 909663874 10815021056 87184 33554432000 1073741824 1073778376 140736525566544 18446744073709551615 260032212480 0 4 0 16800975 18446604466516395136 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4.43
Current children cumulated vsize (KiB) 10561544
[startup+3.10105 s]
/proc/loadavg: 2.94 3.56 3.53 5/370 31117
/proc/meminfo: memFree=23071260/32951124 swapFree=67056304/67111528
[pid=31095] ppid=31093 vsize=10566596 CPUtime=7.6 cores=1,3,5,7
/proc/31095/stat : 31095 (java) S 31093 31095 27326 0 -1 4202496 132372 0 1 0 743 17 0 0 25 0 19 0 909663853 10820194304 121644 33554432000 1073741824 1073778376 140736525566544 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/31095/statm: 2641649 121645 2258 9 0 2632383 0
[pid=31095/tid=31096] ppid=31093 vsize=10566596 CPUtime=0.18 cores=1,3,5,7
/proc/31095/task/31096/stat : 31096 (java) S 31093 31095 27326 0 -1 4202560 11961 0 1 0 17 1 0 0 15 0 19 0 909663853 10820194304 121648 33554432000 1073741824 1073778376 140736525566544 18446744073709551615 260032212480 0 4 0 16800975 18446604466516395136 0 0 -1 1 0 0 0
[pid=31095/tid=31098] ppid=31093 vsize=10566596 CPUtime=0 cores=1,3,5,7
/proc/31095/task/31098/stat : 31098 (java) S 31093 31095 27326 0 -1 4202560 303 0 0 0 0 0 0 0 15 0 19 0 909663855 10820194304 121648 33554432000 1073741824 1073778376 140736525566544 18446744073709551615 260032211865 0 4 0 16800975 18446604466516395136 0 0 -1 7 0 0 0
[pid=31095/tid=31099] ppid=31093 vsize=10566596 CPUtime=0 cores=1,3,5,7
/proc/31095/task/31099/stat : 31099 (java) S 31093 31095 27326 0 -1 4202560 15 0 0 0 0 0 0 0 16 0 19 0 909663855 10820194304 121648 33554432000 1073741824 1073778376 140736525566544 18446744073709551615 260032211865 0 4 0 16800975 18446604466516395136 0 0 -1 5 0 0 0
[pid=31095/tid=31100] ppid=31093 vsize=10566596 CPUtime=0 cores=1,3,5,7
/proc/31095/task/31100/stat : 31100 (java) S 31093 31095 27326 0 -1 4202560 249 0 0 0 0 0 0 0 16 0 19 0 909663855 10820194304 121648 33554432000 1073741824 1073778376 140736525566544 18446744073709551615 260032211865 0 4 0 16800975 18446604466516395136 0 0 -1 3 0 0 0
[pid=31095/tid=31101] ppid=31093 vsize=10566596 CPUtime=0 cores=1,3,5,7
/proc/31095/task/31101/stat : 31101 (java) S 31093 31095 27326 0 -1 4202560 82 0 0 0 0 0 0 0 15 0 19 0 909663855 10820194304 121648 33554432000 1073741824 1073778376 140736525566544 18446744073709551615 260032211865 0 4 0 16800975 18446604466516395136 0 0 -1 5 0 0 0
[pid=31095/tid=31102] ppid=31093 vsize=10566596 CPUtime=0 cores=1,3,5,7
/proc/31095/task/31102/stat : 31102 (java) S 31093 31095 27326 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 909663855 10820194304 121648 33554432000 1073741824 1073778376 140736525566544 18446744073709551615 260032211865 0 4 0 16800975 18446604466516395136 0 0 -1 7 0 0 0
[pid=31095/tid=31103] ppid=31093 vsize=10566596 CPUtime=0 cores=1,3,5,7
/proc/31095/task/31103/stat : 31103 (java) S 31093 31095 27326 0 -1 4202560 367 0 0 0 0 0 0 0 15 0 19 0 909663855 10820194304 121648 33554432000 1073741824 1073778376 140736525566544 18446744073709551615 260032211865 0 4 0 16800975 18446604466516395136 0 0 -1 5 0 0 0
[pid=31095/tid=31104] ppid=31093 vsize=10566596 CPUtime=0 cores=1,3,5,7
/proc/31095/task/31104/stat : 31104 (java) S 31093 31095 27326 0 -1 4202560 277 0 0 0 0 0 0 0 16 0 19 0 909663855 10820194304 121648 33554432000 1073741824 1073778376 140736525566544 18446744073709551615 260032211865 0 4 0 16800975 18446604466516395136 0 0 -1 5 0 0 0
[pid=31095/tid=31105] ppid=31093 vsize=10566596 CPUtime=0 cores=1,3,5,7
/proc/31095/task/31105/stat : 31105 (java) S 31093 31095 27326 0 -1 4202560 214 0 0 0 0 0 0 0 15 0 19 0 909663855 10820194304 121648 33554432000 1073741824 1073778376 140736525566544 18446744073709551615 260032211865 0 4 0 16800975 18446604466516395136 0 0 -1 5 0 0 0
[pid=31095/tid=31106] ppid=31093 vsize=10566596 CPUtime=0.08 cores=1,3,5,7
/proc/31095/task/31106/stat : 31106 (java) S 31093 31095 27326 0 -1 4202560 1875 0 0 0 8 0 0 0 16 0 19 0 909663856 10820194304 121648 33554432000 1073741824 1073778376 140736525566544 18446744073709551615 260032212480 0 0 0 16800975 18446604466516395136 0 0 -1 1 0 0 0
[pid=31095/tid=31107] ppid=31093 vsize=10566596 CPUtime=0 cores=1,3,5,7
/proc/31095/task/31107/stat : 31107 (java) S 31093 31095 27326 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 909663857 10820194304 121648 33554432000 1073741824 1073778376 140736525566544 18446744073709551615 260032211865 0 4 0 16800975 18446604466516395136 0 0 -1 1 0 0 0
[pid=31095/tid=31108] ppid=31093 vsize=10566596 CPUtime=0 cores=1,3,5,7
/proc/31095/task/31108/stat : 31108 (java) S 31093 31095 27326 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 909663857 10820194304 121648 33554432000 1073741824 1073778376 140736525566544 18446744073709551615 260032211865 0 4 0 16800975 18446604466516395136 0 0 -1 1 0 0 0
[pid=31095/tid=31109] ppid=31093 vsize=10566596 CPUtime=0 cores=1,3,5,7
/proc/31095/task/31109/stat : 31109 (java) S 31093 31095 27326 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909663859 10820194304 121648 33554432000 1073741824 1073778376 140736525566544 18446744073709551615 260032219569 0 4 0 16800975 18446604466516395136 0 0 -1 1 0 0 0
[pid=31095/tid=31110] ppid=31093 vsize=10566596 CPUtime=0.79 cores=1,3,5,7
/proc/31095/task/31110/stat : 31110 (java) S 31093 31095 27326 0 -1 4202560 7019 0 0 0 78 1 0 0 15 0 19 0 909663859 10820194304 121648 33554432000 1073741824 1073778376 140736525566544 18446744073709551615 260032211865 0 4 0 16800975 18446604466516395136 0 0 -1 7 0 0 0
[pid=31095/tid=31111] ppid=31093 vsize=10566596 CPUtime=1.36 cores=1,3,5,7
/proc/31095/task/31111/stat : 31111 (java) R 31093 31095 27326 0 -1 4202560 11992 0 0 0 135 1 0 0 16 0 19 0 909663859 10820194304 121648 33554432000 1073741824 1073778376 140736525566544 18446744073709551615 260020089837 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=31095/tid=31112] ppid=31093 vsize=10566596 CPUtime=0 cores=1,3,5,7
/proc/31095/task/31112/stat : 31112 (java) S 31093 31095 27326 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909663859 10820194304 121648 33554432000 1073741824 1073778376 140736525566544 18446744073709551615 260032211865 0 4 0 16800975 18446604466516395136 0 0 -1 1 0 0 0
[pid=31095/tid=31113] ppid=31093 vsize=10566596 CPUtime=0 cores=1,3,5,7
/proc/31095/task/31113/stat : 31113 (java) S 31093 31095 27326 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 909663859 10820194304 121648 33554432000 1073741824 1073778376 140736525566544 18446744073709551615 260032212480 0 4 0 16800975 18446604466516395136 0 0 -1 7 0 0 0
[pid=31095/tid=31116] ppid=31093 vsize=10566596 CPUtime=0 cores=1,3,5,7
/proc/31095/task/31116/stat : 31116 (java) S 31093 31095 27326 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 909663873 10820194304 121648 33554432000 1073741824 1073778376 140736525566544 18446744073709551615 260032212480 0 4 0 16800975 18446604466516395136 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 7.6
Current children cumulated vsize (KiB) 10566596
Solver just ended. Dumping a history of the last processes samples
[startup+3.90091 s]
/proc/loadavg: 2.94 3.56 3.53 3/367 31117
/proc/meminfo: memFree=23028380/32951124 swapFree=67056304/67111528
[pid=31095] ppid=31093 vsize=10567708 CPUtime=9.19 cores=1,3,5,7
/proc/31095/stat : 31095 (java) S 31093 31095 27326 0 -1 4202496 133780 0 1 0 902 17 0 0 25 0 19 0 909663853 10821332992 122577 33554432000 1073741824 1073778376 140736525566544 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/31095/statm: 2641927 122577 2258 9 0 2632661 0
[pid=31095/tid=31096] ppid=31093 vsize=10567708 CPUtime=0.18 cores=1,3,5,7
/proc/31095/task/31096/stat : 31096 (java) S 31093 31095 27326 0 -1 4202560 11961 0 1 0 17 1 0 0 15 0 19 0 909663853 10821332992 122577 33554432000 1073741824 1073778376 140736525566544 18446744073709551615 260032212480 0 4 0 16800975 18446604466516395136 0 0 -1 7 0 0 0
[pid=31095/tid=31098] ppid=31093 vsize=10567708 CPUtime=0 cores=1,3,5,7
/proc/31095/task/31098/stat : 31098 (java) S 31093 31095 27326 0 -1 4202560 303 0 0 0 0 0 0 0 15 0 19 0 909663855 10821332992 122577 33554432000 1073741824 1073778376 140736525566544 18446744073709551615 260032211865 0 4 0 16800975 18446604466516395136 0 0 -1 5 0 0 0
[pid=31095/tid=31099] ppid=31093 vsize=10567708 CPUtime=0.01 cores=1,3,5,7
/proc/31095/task/31099/stat : 31099 (java) S 31093 31095 27326 0 -1 4202560 15 0 0 0 1 0 0 0 15 0 19 0 909663855 10821332992 122577 33554432000 1073741824 1073778376 140736525566544 18446744073709551615 260032211865 0 4 0 16800975 18446604466516395136 0 0 -1 5 0 0 0
[pid=31095/tid=31100] ppid=31093 vsize=10567708 CPUtime=0 cores=1,3,5,7
/proc/31095/task/31100/stat : 31100 (java) S 31093 31095 27326 0 -1 4202560 249 0 0 0 0 0 0 0 15 0 19 0 909663855 10821332992 122577 33554432000 1073741824 1073778376 140736525566544 18446744073709551615 260032211865 0 4 0 16800975 18446604466516395136 0 0 -1 7 0 0 0
[pid=31095/tid=31101] ppid=31093 vsize=10567708 CPUtime=0 cores=1,3,5,7
/proc/31095/task/31101/stat : 31101 (java) S 31093 31095 27326 0 -1 4202560 82 0 0 0 0 0 0 0 15 0 19 0 909663855 10821332992 122577 33554432000 1073741824 1073778376 140736525566544 18446744073709551615 260032211865 0 4 0 16800975 18446604466516395136 0 0 -1 5 0 0 0
[pid=31095/tid=31102] ppid=31093 vsize=10567708 CPUtime=0 cores=1,3,5,7
/proc/31095/task/31102/stat : 31102 (java) S 31093 31095 27326 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 909663855 10821332992 122577 33554432000 1073741824 1073778376 140736525566544 18446744073709551615 260032211865 0 4 0 16800975 18446604466516395136 0 0 -1 7 0 0 0
[pid=31095/tid=31103] ppid=31093 vsize=10567708 CPUtime=0 cores=1,3,5,7
/proc/31095/task/31103/stat : 31103 (java) S 31093 31095 27326 0 -1 4202560 367 0 0 0 0 0 0 0 15 0 19 0 909663855 10821332992 122577 33554432000 1073741824 1073778376 140736525566544 18446744073709551615 260032211865 0 4 0 16800975 18446604466516395136 0 0 -1 5 0 0 0
[pid=31095/tid=31104] ppid=31093 vsize=10567708 CPUtime=0 cores=1,3,5,7
/proc/31095/task/31104/stat : 31104 (java) S 31093 31095 27326 0 -1 4202560 277 0 0 0 0 0 0 0 15 0 19 0 909663855 10821332992 122577 33554432000 1073741824 1073778376 140736525566544 18446744073709551615 260032211865 0 4 0 16800975 18446604466516395136 0 0 -1 7 0 0 0
[pid=31095/tid=31105] ppid=31093 vsize=10567708 CPUtime=0 cores=1,3,5,7
/proc/31095/task/31105/stat : 31105 (java) S 31093 31095 27326 0 -1 4202560 214 0 0 0 0 0 0 0 15 0 19 0 909663855 10821332992 122577 33554432000 1073741824 1073778376 140736525566544 18446744073709551615 260032211865 0 4 0 16800975 18446604466516395136 0 0 -1 5 0 0 0
[pid=31095/tid=31106] ppid=31093 vsize=10567708 CPUtime=0.11 cores=1,3,5,7
/proc/31095/task/31106/stat : 31106 (java) S 31093 31095 27326 0 -1 4202560 2153 0 0 0 11 0 0 0 16 0 19 0 909663856 10821332992 122577 33554432000 1073741824 1073778376 140736525566544 18446744073709551615 260032212480 0 0 0 16800975 18446604466516395136 0 0 -1 1 0 0 0
[pid=31095/tid=31107] ppid=31093 vsize=10567708 CPUtime=0 cores=1,3,5,7
/proc/31095/task/31107/stat : 31107 (java) S 31093 31095 27326 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 909663857 10821332992 122577 33554432000 1073741824 1073778376 140736525566544 18446744073709551615 260032211865 0 4 0 16800975 18446604466516395136 0 0 -1 7 0 0 0
[pid=31095/tid=31108] ppid=31093 vsize=10567708 CPUtime=0 cores=1,3,5,7
/proc/31095/task/31108/stat : 31108 (java) S 31093 31095 27326 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 909663857 10821332992 122577 33554432000 1073741824 1073778376 140736525566544 18446744073709551615 260032211865 0 4 0 16800975 18446604466516395136 0 0 -1 7 0 0 0
[pid=31095/tid=31109] ppid=31093 vsize=10567708 CPUtime=0 cores=1,3,5,7
/proc/31095/task/31109/stat : 31109 (java) S 31093 31095 27326 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909663859 10821332992 122577 33554432000 1073741824 1073778376 140736525566544 18446744073709551615 260032219569 0 4 0 16800975 18446604466516395136 0 0 -1 1 0 0 0
[pid=31095/tid=31110] ppid=31093 vsize=10567708 CPUtime=0.81 cores=1,3,5,7
/proc/31095/task/31110/stat : 31110 (java) S 31093 31095 27326 0 -1 4202560 7019 0 0 0 80 1 0 0 15 0 19 0 909663859 10821332992 122577 33554432000 1073741824 1073778376 140736525566544 18446744073709551615 260032211865 0 4 0 16800975 18446604466516395136 0 0 -1 7 0 0 0
[pid=31095/tid=31111] ppid=31093 vsize=10567708 CPUtime=1.75 cores=1,3,5,7
/proc/31095/task/31111/stat : 31111 (java) S 31093 31095 27326 0 -1 4202560 13117 0 0 0 174 1 0 0 16 0 19 0 909663859 10821332992 122577 33554432000 1073741824 1073778376 140736525566544 18446744073709551615 260032211865 0 4 0 16800975 18446604466516395136 0 0 -1 3 0 0 0
[pid=31095/tid=31112] ppid=31093 vsize=10567708 CPUtime=0 cores=1,3,5,7
/proc/31095/task/31112/stat : 31112 (java) S 31093 31095 27326 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909663859 10821332992 122577 33554432000 1073741824 1073778376 140736525566544 18446744073709551615 260032211865 0 4 0 16800975 18446604466516395136 0 0 -1 1 0 0 0
[pid=31095/tid=31113] ppid=31093 vsize=10567708 CPUtime=0 cores=1,3,5,7
/proc/31095/task/31113/stat : 31113 (java) S 31093 31095 27326 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 909663859 10821332992 122577 33554432000 1073741824 1073778376 140736525566544 18446744073709551615 260032212480 0 4 0 16800975 18446604466516395136 0 0 -1 7 0 0 0
[pid=31095/tid=31116] ppid=31093 vsize=10567708 CPUtime=0 cores=1,3,5,7
/proc/31095/task/31116/stat : 31116 (java) S 31093 31095 27326 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 909663873 10821332992 122577 33554432000 1073741824 1073778376 140736525566544 18446744073709551615 260032212480 0 4 0 16800975 18446604466516395136 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 9.19
Current children cumulated vsize (KiB) 10567708
[startup+4.30084 s]
/proc/loadavg: 2.94 3.56 3.53 2/367 31122
/proc/meminfo: memFree=23023668/32951124 swapFree=67056304/67111528
[pid=31095] ppid=31093 vsize=10567708 CPUtime=9.19 cores=1,3,5,7
/proc/31095/stat : 31095 (java) S 31093 31095 27326 0 -1 4202496 133780 0 1 0 902 17 0 0 25 0 19 0 909663853 10821332992 122577 33554432000 1073741824 1073778376 140736525566544 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/31095/statm: 2641927 122577 2258 9 0 2632661 0
[pid=31095/tid=31096] ppid=31093 vsize=10567708 CPUtime=0.18 cores=1,3,5,7
/proc/31095/task/31096/stat : 31096 (java) S 31093 31095 27326 0 -1 4202560 11961 0 1 0 17 1 0 0 16 0 19 0 909663853 10821332992 122577 33554432000 1073741824 1073778376 140736525566544 18446744073709551615 260032212480 0 4 0 16800975 18446604466516395136 0 0 -1 7 0 0 0
[pid=31095/tid=31098] ppid=31093 vsize=10567708 CPUtime=0 cores=1,3,5,7
/proc/31095/task/31098/stat : 31098 (java) S 31093 31095 27326 0 -1 4202560 303 0 0 0 0 0 0 0 15 0 19 0 909663855 10821332992 122577 33554432000 1073741824 1073778376 140736525566544 18446744073709551615 260032211865 0 4 0 16800975 18446604466516395136 0 0 -1 5 0 0 0
[pid=31095/tid=31099] ppid=31093 vsize=10567708 CPUtime=0.01 cores=1,3,5,7
/proc/31095/task/31099/stat : 31099 (java) S 31093 31095 27326 0 -1 4202560 15 0 0 0 1 0 0 0 15 0 19 0 909663855 10821332992 122577 33554432000 1073741824 1073778376 140736525566544 18446744073709551615 260032211865 0 4 0 16800975 18446604466516395136 0 0 -1 5 0 0 0
[pid=31095/tid=31100] ppid=31093 vsize=10567708 CPUtime=0 cores=1,3,5,7
/proc/31095/task/31100/stat : 31100 (java) S 31093 31095 27326 0 -1 4202560 249 0 0 0 0 0 0 0 15 0 19 0 909663855 10821332992 122577 33554432000 1073741824 1073778376 140736525566544 18446744073709551615 260032211865 0 4 0 16800975 18446604466516395136 0 0 -1 7 0 0 0
[pid=31095/tid=31101] ppid=31093 vsize=10567708 CPUtime=0 cores=1,3,5,7
/proc/31095/task/31101/stat : 31101 (java) S 31093 31095 27326 0 -1 4202560 82 0 0 0 0 0 0 0 15 0 19 0 909663855 10821332992 122577 33554432000 1073741824 1073778376 140736525566544 18446744073709551615 260032211865 0 4 0 16800975 18446604466516395136 0 0 -1 5 0 0 0
[pid=31095/tid=31102] ppid=31093 vsize=10567708 CPUtime=0 cores=1,3,5,7
/proc/31095/task/31102/stat : 31102 (java) S 31093 31095 27326 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 909663855 10821332992 122577 33554432000 1073741824 1073778376 140736525566544 18446744073709551615 260032211865 0 4 0 16800975 18446604466516395136 0 0 -1 7 0 0 0
[pid=31095/tid=31103] ppid=31093 vsize=10567708 CPUtime=0 cores=1,3,5,7
/proc/31095/task/31103/stat : 31103 (java) S 31093 31095 27326 0 -1 4202560 367 0 0 0 0 0 0 0 15 0 19 0 909663855 10821332992 122577 33554432000 1073741824 1073778376 140736525566544 18446744073709551615 260032211865 0 4 0 16800975 18446604466516395136 0 0 -1 5 0 0 0
[pid=31095/tid=31104] ppid=31093 vsize=10567708 CPUtime=0 cores=1,3,5,7
/proc/31095/task/31104/stat : 31104 (java) S 31093 31095 27326 0 -1 4202560 277 0 0 0 0 0 0 0 15 0 19 0 909663855 10821332992 122577 33554432000 1073741824 1073778376 140736525566544 18446744073709551615 260032211865 0 4 0 16800975 18446604466516395136 0 0 -1 7 0 0 0
[pid=31095/tid=31105] ppid=31093 vsize=10567708 CPUtime=0 cores=1,3,5,7
/proc/31095/task/31105/stat : 31105 (java) S 31093 31095 27326 0 -1 4202560 214 0 0 0 0 0 0 0 15 0 19 0 909663855 10821332992 122577 33554432000 1073741824 1073778376 140736525566544 18446744073709551615 260032211865 0 4 0 16800975 18446604466516395136 0 0 -1 5 0 0 0
[pid=31095/tid=31106] ppid=31093 vsize=10567708 CPUtime=0.11 cores=1,3,5,7
/proc/31095/task/31106/stat : 31106 (java) S 31093 31095 27326 0 -1 4202560 2153 0 0 0 11 0 0 0 15 0 19 0 909663856 10821332992 122577 33554432000 1073741824 1073778376 140736525566544 18446744073709551615 260032212480 0 0 0 16800975 18446604466516395136 0 0 -1 1 0 0 0
[pid=31095/tid=31107] ppid=31093 vsize=10567708 CPUtime=0 cores=1,3,5,7
/proc/31095/task/31107/stat : 31107 (java) S 31093 31095 27326 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 909663857 10821332992 122577 33554432000 1073741824 1073778376 140736525566544 18446744073709551615 260032211865 0 4 0 16800975 18446604466516395136 0 0 -1 7 0 0 0
[pid=31095/tid=31108] ppid=31093 vsize=10567708 CPUtime=0 cores=1,3,5,7
/proc/31095/task/31108/stat : 31108 (java) S 31093 31095 27326 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 909663857 10821332992 122577 33554432000 1073741824 1073778376 140736525566544 18446744073709551615 260032211865 0 4 0 16800975 18446604466516395136 0 0 -1 7 0 0 0
[pid=31095/tid=31109] ppid=31093 vsize=10567708 CPUtime=0 cores=1,3,5,7
/proc/31095/task/31109/stat : 31109 (java) S 31093 31095 27326 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909663859 10821332992 122577 33554432000 1073741824 1073778376 140736525566544 18446744073709551615 260032219569 0 4 0 16800975 18446604466516395136 0 0 -1 1 0 0 0
[pid=31095/tid=31110] ppid=31093 vsize=10567708 CPUtime=0.81 cores=1,3,5,7
/proc/31095/task/31110/stat : 31110 (java) S 31093 31095 27326 0 -1 4202560 7019 0 0 0 80 1 0 0 15 0 19 0 909663859 10821332992 122577 33554432000 1073741824 1073778376 140736525566544 18446744073709551615 260032211865 0 4 0 16800975 18446604466516395136 0 0 -1 7 0 0 0
[pid=31095/tid=31111] ppid=31093 vsize=10567708 CPUtime=1.75 cores=1,3,5,7
/proc/31095/task/31111/stat : 31111 (java) S 31093 31095 27326 0 -1 4202560 13117 0 0 0 174 1 0 0 16 0 19 0 909663859 10821332992 122577 33554432000 1073741824 1073778376 140736525566544 18446744073709551615 260032211865 0 4 0 16800975 18446604466516395136 0 0 -1 3 0 0 0
[pid=31095/tid=31112] ppid=31093 vsize=10567708 CPUtime=0 cores=1,3,5,7
/proc/31095/task/31112/stat : 31112 (java) S 31093 31095 27326 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909663859 10821332992 122577 33554432000 1073741824 1073778376 140736525566544 18446744073709551615 260032211865 0 4 0 16800975 18446604466516395136 0 0 -1 1 0 0 0
[pid=31095/tid=31113] ppid=31093 vsize=10567708 CPUtime=0 cores=1,3,5,7
/proc/31095/task/31113/stat : 31113 (java) S 31093 31095 27326 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 909663859 10821332992 122577 33554432000 1073741824 1073778376 140736525566544 18446744073709551615 260032212480 0 4 0 16800975 18446604466516395136 0 0 -1 7 0 0 0
[pid=31095/tid=31116] ppid=31093 vsize=10567708 CPUtime=0 cores=1,3,5,7
/proc/31095/task/31116/stat : 31116 (java) S 31093 31095 27326 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 909663873 10821332992 122577 33554432000 1073741824 1073778376 140736525566544 18446744073709551615 260032212480 0 4 0 16800975 18446604466516395136 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 9.19
Current children cumulated vsize (KiB) 10567708
[startup+4.70076 s]
/proc/loadavg: 2.94 3.56 3.53 2/367 31122
/proc/meminfo: memFree=23023668/32951124 swapFree=67056304/67111528
[pid=31095] ppid=31093 vsize=10567708 CPUtime=9.19 cores=1,3,5,7
/proc/31095/stat : 31095 (java) S 31093 31095 27326 0 -1 4202496 133780 0 1 0 902 17 0 0 25 0 19 0 909663853 10821332992 122577 33554432000 1073741824 1073778376 140736525566544 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/31095/statm: 2641927 122577 2258 9 0 2632661 0
[pid=31095/tid=31096] ppid=31093 vsize=10567708 CPUtime=0.18 cores=1,3,5,7
/proc/31095/task/31096/stat : 31096 (java) S 31093 31095 27326 0 -1 4202560 11961 0 1 0 17 1 0 0 16 0 19 0 909663853 10821332992 122577 33554432000 1073741824 1073778376 140736525566544 18446744073709551615 260032212480 0 4 0 16800975 18446604466516395136 0 0 -1 7 0 0 0
[pid=31095/tid=31098] ppid=31093 vsize=10567708 CPUtime=0 cores=1,3,5,7
/proc/31095/task/31098/stat : 31098 (java) S 31093 31095 27326 0 -1 4202560 303 0 0 0 0 0 0 0 15 0 19 0 909663855 10821332992 122577 33554432000 1073741824 1073778376 140736525566544 18446744073709551615 260032211865 0 4 0 16800975 18446604466516395136 0 0 -1 5 0 0 0
[pid=31095/tid=31099] ppid=31093 vsize=10567708 CPUtime=0.01 cores=1,3,5,7
/proc/31095/task/31099/stat : 31099 (java) S 31093 31095 27326 0 -1 4202560 15 0 0 0 1 0 0 0 15 0 19 0 909663855 10821332992 122577 33554432000 1073741824 1073778376 140736525566544 18446744073709551615 260032211865 0 4 0 16800975 18446604466516395136 0 0 -1 5 0 0 0
[pid=31095/tid=31100] ppid=31093 vsize=10567708 CPUtime=0 cores=1,3,5,7
/proc/31095/task/31100/stat : 31100 (java) S 31093 31095 27326 0 -1 4202560 249 0 0 0 0 0 0 0 15 0 19 0 909663855 10821332992 122577 33554432000 1073741824 1073778376 140736525566544 18446744073709551615 260032211865 0 4 0 16800975 18446604466516395136 0 0 -1 7 0 0 0
[pid=31095/tid=31101] ppid=31093 vsize=10567708 CPUtime=0 cores=1,3,5,7
/proc/31095/task/31101/stat : 31101 (java) S 31093 31095 27326 0 -1 4202560 82 0 0 0 0 0 0 0 15 0 19 0 909663855 10821332992 122577 33554432000 1073741824 1073778376 140736525566544 18446744073709551615 260032211865 0 4 0 16800975 18446604466516395136 0 0 -1 5 0 0 0
[pid=31095/tid=31102] ppid=31093 vsize=10567708 CPUtime=0 cores=1,3,5,7
/proc/31095/task/31102/stat : 31102 (java) S 31093 31095 27326 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 909663855 10821332992 122577 33554432000 1073741824 1073778376 140736525566544 18446744073709551615 260032211865 0 4 0 16800975 18446604466516395136 0 0 -1 7 0 0 0
[pid=31095/tid=31103] ppid=31093 vsize=10567708 CPUtime=0 cores=1,3,5,7
/proc/31095/task/31103/stat : 31103 (java) S 31093 31095 27326 0 -1 4202560 367 0 0 0 0 0 0 0 15 0 19 0 909663855 10821332992 122577 33554432000 1073741824 1073778376 140736525566544 18446744073709551615 260032211865 0 4 0 16800975 18446604466516395136 0 0 -1 5 0 0 0
[pid=31095/tid=31104] ppid=31093 vsize=10567708 CPUtime=0 cores=1,3,5,7
/proc/31095/task/31104/stat : 31104 (java) S 31093 31095 27326 0 -1 4202560 277 0 0 0 0 0 0 0 15 0 19 0 909663855 10821332992 122577 33554432000 1073741824 1073778376 140736525566544 18446744073709551615 260032211865 0 4 0 16800975 18446604466516395136 0 0 -1 7 0 0 0
[pid=31095/tid=31105] ppid=31093 vsize=10567708 CPUtime=0 cores=1,3,5,7
/proc/31095/task/31105/stat : 31105 (java) S 31093 31095 27326 0 -1 4202560 214 0 0 0 0 0 0 0 15 0 19 0 909663855 10821332992 122577 33554432000 1073741824 1073778376 140736525566544 18446744073709551615 260032211865 0 4 0 16800975 18446604466516395136 0 0 -1 5 0 0 0
[pid=31095/tid=31106] ppid=31093 vsize=10567708 CPUtime=0.11 cores=1,3,5,7
/proc/31095/task/31106/stat : 31106 (java) S 31093 31095 27326 0 -1 4202560 2153 0 0 0 11 0 0 0 15 0 19 0 909663856 10821332992 122577 33554432000 1073741824 1073778376 140736525566544 18446744073709551615 260032212480 0 0 0 16800975 18446604466516395136 0 0 -1 1 0 0 0
[pid=31095/tid=31107] ppid=31093 vsize=10567708 CPUtime=0 cores=1,3,5,7
/proc/31095/task/31107/stat : 31107 (java) S 31093 31095 27326 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 909663857 10821332992 122577 33554432000 1073741824 1073778376 140736525566544 18446744073709551615 260032211865 0 4 0 16800975 18446604466516395136 0 0 -1 7 0 0 0
[pid=31095/tid=31108] ppid=31093 vsize=10567708 CPUtime=0 cores=1,3,5,7
/proc/31095/task/31108/stat : 31108 (java) S 31093 31095 27326 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 909663857 10821332992 122577 33554432000 1073741824 1073778376 140736525566544 18446744073709551615 260032211865 0 4 0 16800975 18446604466516395136 0 0 -1 7 0 0 0
[pid=31095/tid=31109] ppid=31093 vsize=10567708 CPUtime=0 cores=1,3,5,7
/proc/31095/task/31109/stat : 31109 (java) S 31093 31095 27326 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909663859 10821332992 122577 33554432000 1073741824 1073778376 140736525566544 18446744073709551615 260032219569 0 4 0 16800975 18446604466516395136 0 0 -1 1 0 0 0
[pid=31095/tid=31110] ppid=31093 vsize=10567708 CPUtime=0.81 cores=1,3,5,7
/proc/31095/task/31110/stat : 31110 (java) S 31093 31095 27326 0 -1 4202560 7019 0 0 0 80 1 0 0 15 0 19 0 909663859 10821332992 122577 33554432000 1073741824 1073778376 140736525566544 18446744073709551615 260032211865 0 4 0 16800975 18446604466516395136 0 0 -1 7 0 0 0
[pid=31095/tid=31111] ppid=31093 vsize=10567708 CPUtime=1.75 cores=1,3,5,7
/proc/31095/task/31111/stat : 31111 (java) S 31093 31095 27326 0 -1 4202560 13117 0 0 0 174 1 0 0 16 0 19 0 909663859 10821332992 122577 33554432000 1073741824 1073778376 140736525566544 18446744073709551615 260032211865 0 4 0 16800975 18446604466516395136 0 0 -1 3 0 0 0
[pid=31095/tid=31112] ppid=31093 vsize=10567708 CPUtime=0 cores=1,3,5,7
/proc/31095/task/31112/stat : 31112 (java) S 31093 31095 27326 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909663859 10821332992 122577 33554432000 1073741824 1073778376 140736525566544 18446744073709551615 260032211865 0 4 0 16800975 18446604466516395136 0 0 -1 1 0 0 0
[pid=31095/tid=31113] ppid=31093 vsize=10567708 CPUtime=0 cores=1,3,5,7
/proc/31095/task/31113/stat : 31113 (java) S 31093 31095 27326 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 909663859 10821332992 122577 33554432000 1073741824 1073778376 140736525566544 18446744073709551615 260032212480 0 4 0 16800975 18446604466516395136 0 0 -1 7 0 0 0
[pid=31095/tid=31116] ppid=31093 vsize=10567708 CPUtime=0 cores=1,3,5,7
/proc/31095/task/31116/stat : 31116 (java) S 31093 31095 27326 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 909663873 10821332992 122577 33554432000 1073741824 1073778376 140736525566544 18446744073709551615 260032212480 0 4 0 16800975 18446604466516395136 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 9.19
Current children cumulated vsize (KiB) 10567708
Child status: 30
Real time (s): 4.78875
CPU time (s): 9.27959
CPU user time (s): 9.08062
CPU system time (s): 0.198969
CPU usage (%): 193.779
Max. virtual memory (cumulated for all children) (KiB): 10572752
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 9.08062
system time used= 0.198969
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 133787
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= 532
involuntary context switches= 284
runsolver used 0.022996 second user time and 0.039993 second system time
The end