runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3709847-1338133076/watcher-3709847-1338133076 -o /tmp/evaluation-result-3709847-1338133076/solver-3709847-1338133076 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3709847-1338133076.opb
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: 2.02 2.02 2.00 2/194 2072
/proc/meminfo: memFree=28936964/32873648 swapFree=6864/6864
[pid=2072] ppid=2070 vsize=91880 CPUtime=0 cores=0,2,4,6
/proc/2072/stat : 2072 (java) S 2070 2072 32120 0 -1 4202496 1186 0 0 0 0 0 0 0 20 0 2 0 279433042 94085120 906 33554432000 1073741824 1073778376 140736812983856 140736812974992 270710898749 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/2072/statm: 22954 904 685 9 0 16769 0
[pid=2072/tid=2073] ppid=2070 vsize=92900 CPUtime=0 cores=0,2,4,6
/proc/2072/task/2073/stat : 2073 (java) D 2070 2072 32120 0 -1 4202560 70 0 0 0 0 0 0 0 20 0 2 0 279433043 95129600 927 33554432000 1073741824 1073778376 140736812983856 140146613567016 270698376487 0 0 4096 0 18446744072100609316 0 0 -1 0 0 0 0 0 0
[startup+0.0278049 s]
/proc/loadavg: 2.02 2.02 2.00 2/194 2072
/proc/meminfo: memFree=28936964/32873648 swapFree=6864/6864
[pid=2072] ppid=2070 vsize=9225560 CPUtime=0.01 cores=0,2,4,6
/proc/2072/stat : 2072 (java) S 2070 2072 32120 0 -1 4202496 2953 0 1 0 1 0 0 0 20 0 13 0 279433042 9446973440 3653 33554432000 1073741824 1073778376 140736812983856 140736812974992 270710898749 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/2072/statm: 2306390 3659 1656 9 0 2297091 0
[pid=2072/tid=2073] ppid=2070 vsize=9225560 CPUtime=0 cores=0,2,4,6
/proc/2072/task/2073/stat : 2073 (java) R 2070 2072 32120 0 -1 4202560 1778 0 1 0 0 0 0 0 20 0 13 0 279433043 9446973440 3659 33554432000 1073741824 1073778376 140736812983856 140146613572928 270710924557 0 4 0 16784584 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9225560
[startup+0.100293 s]
/proc/loadavg: 2.02 2.02 2.00 2/194 2072
/proc/meminfo: memFree=28936964/32873648 swapFree=6864/6864
[pid=2072] ppid=2070 vsize=9558440 CPUtime=0.1 cores=0,2,4,6
/proc/2072/stat : 2072 (java) S 2070 2072 32120 0 -1 4202496 4377 0 1 0 9 1 0 0 20 0 18 0 279433042 9787842560 6088 33554432000 1073741824 1073778376 140736812983856 140736812974992 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/2072/statm: 2389610 6088 2131 9 0 2380296 0
[pid=2072/tid=2073] ppid=2070 vsize=9558440 CPUtime=0.07 cores=0,2,4,6
/proc/2072/task/2073/stat : 2073 (java) R 2070 2072 32120 0 -1 4202560 2487 0 1 0 6 1 0 0 20 0 18 0 279433043 9787842560 6088 33554432000 1073741824 1073778376 140736812983856 140146613564984 270710924557 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) 9558440
[startup+0.300193 s]
/proc/loadavg: 2.02 2.02 2.00 2/194 2072
/proc/meminfo: memFree=28936964/32873648 swapFree=6864/6864
[pid=2072] ppid=2070 vsize=9558440 CPUtime=0.51 cores=0,2,4,6
/proc/2072/stat : 2072 (java) S 2070 2072 32120 0 -1 4202496 5638 0 1 0 49 2 0 0 20 0 18 0 279433042 9787842560 8944 33554432000 1073741824 1073778376 140736812983856 140736812974992 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/2072/statm: 2389610 8944 2225 9 0 2380296 0
[pid=2072/tid=2073] ppid=2070 vsize=9558440 CPUtime=0.27 cores=0,2,4,6
/proc/2072/task/2073/stat : 2073 (java) R 2070 2072 32120 0 -1 4202560 2501 0 1 0 26 1 0 0 20 0 18 0 279433043 9787842560 8944 33554432000 1073741824 1073778376 140736812983856 140146613563168 140146477444143 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 9558440
[startup+0.700254 s]
/proc/loadavg: 2.02 2.02 2.00 2/194 2072
/proc/meminfo: memFree=28936964/32873648 swapFree=6864/6864
[pid=2072] ppid=2070 vsize=9558440 CPUtime=1.12 cores=0,2,4,6
/proc/2072/stat : 2072 (java) S 2070 2072 32120 0 -1 4202496 7630 0 1 0 107 5 0 0 20 0 18 0 279433042 9787842560 41951 33554432000 1073741824 1073778376 140736812983856 140736812974992 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/2072/statm: 2389610 41951 2253 9 0 2380296 0
[pid=2072/tid=2073] ppid=2070 vsize=9558440 CPUtime=0.66 cores=0,2,4,6
/proc/2072/task/2073/stat : 2073 (java) R 2070 2072 32120 0 -1 4202560 2563 0 1 0 63 3 0 0 20 0 18 0 279433043 9787842560 41951 33554432000 1073741824 1073778376 140736812983856 140146613570984 140146477799214 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.12
Current children cumulated vsize (KiB) 9558440
[startup+1.50063 s]
/proc/loadavg: 2.02 2.02 2.00 3/212 2090
/proc/meminfo: memFree=28756872/32873648 swapFree=6864/6864
[pid=2072] ppid=2070 vsize=9558440 CPUtime=2.08 cores=0,2,4,6
/proc/2072/stat : 2072 (java) S 2070 2072 32120 0 -1 4202496 7764 0 1 0 198 10 0 0 20 0 18 0 279433042 9787842560 79349 33554432000 1073741824 1073778376 140736812983856 140736812974992 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/2072/statm: 2389610 79349 2263 9 0 2380296 0
[pid=2072/tid=2073] ppid=2070 vsize=9558440 CPUtime=1.41 cores=0,2,4,6
/proc/2072/task/2073/stat : 2073 (java) S 2070 2072 32120 0 -1 4202560 2630 0 1 0 136 5 0 0 20 0 18 0 279433043 9787842560 79349 33554432000 1073741824 1073778376 140736812983856 140146613570904 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2072/tid=2075] ppid=2070 vsize=9558440 CPUtime=0.01 cores=0,2,4,6
/proc/2072/task/2075/stat : 2075 (java) R 2070 2072 32120 0 -1 4202560 14 0 0 0 1 0 0 0 20 0 18 0 279433044 9787842560 79349 33554432000 1073741824 1073778376 140736812983856 140146602634280 140146616043209 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=2072/tid=2076] ppid=2070 vsize=9558440 CPUtime=0 cores=0,2,4,6
/proc/2072/task/2076/stat : 2076 (java) R 2070 2072 32120 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 279433044 9787842560 79349 33554432000 1073741824 1073778376 140736812983856 140146601581480 140146616043209 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=2072/tid=2077] ppid=2070 vsize=9558440 CPUtime=0.02 cores=0,2,4,6
/proc/2072/task/2077/stat : 2077 (java) R 2070 2072 32120 0 -1 4202560 13 0 0 0 2 0 0 0 20 0 18 0 279433044 9787842560 79349 33554432000 1073741824 1073778376 140736812983856 140146600528856 140146616043201 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=2072/tid=2078] ppid=2070 vsize=9558440 CPUtime=0.02 cores=0,2,4,6
/proc/2072/task/2078/stat : 2078 (java) R 2070 2072 32120 0 -1 4202560 26 0 0 0 2 0 0 0 20 0 18 0 279433044 9787842560 79349 33554432000 1073741824 1073778376 140736812983856 140146599476056 140146616043209 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=2072/tid=2079] ppid=2070 vsize=9558440 CPUtime=0.02 cores=0,2,4,6
/proc/2072/task/2079/stat : 2079 (java) R 2070 2072 32120 0 -1 4202560 14 0 0 0 2 0 0 0 20 0 18 0 279433044 9787842560 79349 33554432000 1073741824 1073778376 140736812983856 140146598423256 140146616043193 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=2072/tid=2080] ppid=2070 vsize=9558440 CPUtime=0.01 cores=0,2,4,6
/proc/2072/task/2080/stat : 2080 (java) R 2070 2072 32120 0 -1 4202560 10 0 0 0 1 0 0 0 20 0 18 0 279433044 9787842560 79349 33554432000 1073741824 1073778376 140736812983856 140146597370456 140146616043201 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=2072/tid=2081] ppid=2070 vsize=9558440 CPUtime=0.02 cores=0,2,4,6
/proc/2072/task/2081/stat : 2081 (java) R 2070 2072 32120 0 -1 4202560 12 0 0 0 2 0 0 0 20 0 18 0 279433044 9787842560 79349 33554432000 1073741824 1073778376 140736812983856 140146596317480 140146616043209 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=2072/tid=2082] ppid=2070 vsize=9558440 CPUtime=0.01 cores=0,2,4,6
/proc/2072/task/2082/stat : 2082 (java) R 2070 2072 32120 0 -1 4202560 12 0 0 0 1 0 0 0 20 0 18 0 279433044 9787842560 79349 33554432000 1073741824 1073778376 140736812983856 140146449791144 270710912060 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=2072/tid=2083] ppid=2070 vsize=9558440 CPUtime=0 cores=0,2,4,6
/proc/2072/task/2083/stat : 2083 (java) S 2070 2072 32120 0 -1 4202560 71 0 0 0 0 0 0 0 20 0 18 0 279433045 9787842560 79349 33554432000 1073741824 1073778376 140736812983856 140146437592968 270710912060 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2072/tid=2084] ppid=2070 vsize=9558440 CPUtime=0 cores=0,2,4,6
/proc/2072/task/2084/stat : 2084 (java) S 2070 2072 32120 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 279433045 9787842560 79349 33554432000 1073741824 1073778376 140736812983856 140146436540152 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2072/tid=2085] ppid=2070 vsize=9558440 CPUtime=0 cores=0,2,4,6
/proc/2072/task/2085/stat : 2085 (java) S 2070 2072 32120 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 279433045 9787842560 79349 33554432000 1073741824 1073778376 140736812983856 140146435487240 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2072/tid=2086] ppid=2070 vsize=9558440 CPUtime=0 cores=0,2,4,6
/proc/2072/task/2086/stat : 2086 (java) S 2070 2072 32120 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 279433047 9787842560 79349 33554432000 1073741824 1073778376 140736812983856 140146434435728 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2072/tid=2087] ppid=2070 vsize=9558440 CPUtime=0.19 cores=0,2,4,6
/proc/2072/task/2087/stat : 2087 (java) S 2070 2072 32120 0 -1 4202560 1337 0 0 0 19 0 0 0 20 0 18 0 279433047 9787842560 79349 33554432000 1073741824 1073778376 140736812983856 140146433382840 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2072/tid=2088] ppid=2070 vsize=9558440 CPUtime=0.22 cores=0,2,4,6
/proc/2072/task/2088/stat : 2088 (java) S 2070 2072 32120 0 -1 4202560 2450 0 0 0 22 0 0 0 20 0 18 0 279433047 9787842560 79349 33554432000 1073741824 1073778376 140736812983856 140146432330040 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2072/tid=2089] ppid=2070 vsize=9558440 CPUtime=0 cores=0,2,4,6
/proc/2072/task/2089/stat : 2089 (java) S 2070 2072 32120 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 279433047 9787842560 79861 33554432000 1073741824 1073778376 140736812983856 140146431277432 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2072/tid=2090] ppid=2070 vsize=9558440 CPUtime=0 cores=0,2,4,6
/proc/2072/task/2090/stat : 2090 (java) S 2070 2072 32120 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 279433047 9787842560 79861 33554432000 1073741824 1073778376 140736812983856 140146430224840 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 2.08
Current children cumulated vsize (KiB) 9558440
[startup+3.10072 s]
/proc/loadavg: 2.02 2.02 2.00 3/213 2091
/proc/meminfo: memFree=28600856/32873648 swapFree=6864/6864
[pid=2072] ppid=2070 vsize=9625004 CPUtime=4.29 cores=0,2,4,6
/proc/2072/stat : 2072 (java) S 2070 2072 32120 0 -1 4202496 11306 0 1 0 415 14 0 0 20 0 19 0 279433042 9856004096 85883 33554432000 1073741824 1073778376 140736812983856 140736812974992 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/2072/statm: 2406251 85883 2270 9 0 2396937 0
[pid=2072/tid=2073] ppid=2070 vsize=9625004 CPUtime=2.98 cores=0,2,4,6
/proc/2072/task/2073/stat : 2073 (java) R 2070 2072 32120 0 -1 4202560 2635 0 1 0 292 6 0 0 20 0 19 0 279433043 9856004096 85883 33554432000 1073741824 1073778376 140736812983856 140146613570088 140146478104829 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=2072/tid=2075] ppid=2070 vsize=9625004 CPUtime=0.03 cores=0,2,4,6
/proc/2072/task/2075/stat : 2075 (java) S 2070 2072 32120 0 -1 4202560 22 0 0 0 3 0 0 0 20 0 19 0 279433044 9856004096 85883 33554432000 1073741824 1073778376 140736812983856 140146602634280 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2072/tid=2076] ppid=2070 vsize=9625004 CPUtime=0.02 cores=0,2,4,6
/proc/2072/task/2076/stat : 2076 (java) S 2070 2072 32120 0 -1 4202560 10 0 0 0 2 0 0 0 20 0 19 0 279433044 9856004096 85883 33554432000 1073741824 1073778376 140736812983856 140146601581480 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2072/tid=2077] ppid=2070 vsize=9625004 CPUtime=0.03 cores=0,2,4,6
/proc/2072/task/2077/stat : 2077 (java) S 2070 2072 32120 0 -1 4202560 18 0 0 0 3 0 0 0 20 0 19 0 279433044 9856004096 85883 33554432000 1073741824 1073778376 140736812983856 140146600528680 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2072/tid=2078] ppid=2070 vsize=9625004 CPUtime=0.06 cores=0,2,4,6
/proc/2072/task/2078/stat : 2078 (java) S 2070 2072 32120 0 -1 4202560 40 0 0 0 4 2 0 0 20 0 19 0 279433044 9856004096 85883 33554432000 1073741824 1073778376 140736812983856 140146599475880 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2072/tid=2079] ppid=2070 vsize=9625004 CPUtime=0.03 cores=0,2,4,6
/proc/2072/task/2079/stat : 2079 (java) S 2070 2072 32120 0 -1 4202560 20 0 0 0 3 0 0 0 20 0 19 0 279433044 9856004096 85883 33554432000 1073741824 1073778376 140736812983856 140146598423080 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2072/tid=2080] ppid=2070 vsize=9625004 CPUtime=0.02 cores=0,2,4,6
/proc/2072/task/2080/stat : 2080 (java) S 2070 2072 32120 0 -1 4202560 13 0 0 0 2 0 0 0 20 0 19 0 279433044 9856004096 85883 33554432000 1073741824 1073778376 140736812983856 140146597370280 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2072/tid=2081] ppid=2070 vsize=9625004 CPUtime=0.04 cores=0,2,4,6
/proc/2072/task/2081/stat : 2081 (java) S 2070 2072 32120 0 -1 4202560 21 0 0 0 4 0 0 0 20 0 19 0 279433044 9856004096 85883 33554432000 1073741824 1073778376 140736812983856 140146596317480 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2072/tid=2082] ppid=2070 vsize=9625004 CPUtime=0.02 cores=0,2,4,6
/proc/2072/task/2082/stat : 2082 (java) S 2070 2072 32120 0 -1 4202560 18 0 0 0 2 0 0 0 20 0 19 0 279433044 9856004096 85883 33554432000 1073741824 1073778376 140736812983856 140146449791144 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2072/tid=2083] ppid=2070 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/2072/task/2083/stat : 2083 (java) S 2070 2072 32120 0 -1 4202560 198 0 0 0 0 0 0 0 20 0 19 0 279433045 9856004096 85883 33554432000 1073741824 1073778376 140736812983856 140146437594088 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2072/tid=2084] ppid=2070 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/2072/task/2084/stat : 2084 (java) S 2070 2072 32120 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 279433045 9856004096 85883 33554432000 1073741824 1073778376 140736812983856 140146436540152 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2072/tid=2085] ppid=2070 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/2072/task/2085/stat : 2085 (java) S 2070 2072 32120 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 279433045 9856004096 85883 33554432000 1073741824 1073778376 140736812983856 140146435487240 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2072/tid=2086] ppid=2070 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/2072/task/2086/stat : 2086 (java) S 2070 2072 32120 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 279433047 9856004096 85883 33554432000 1073741824 1073778376 140736812983856 140146434435728 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2072/tid=2087] ppid=2070 vsize=9625004 CPUtime=0.4 cores=0,2,4,6
/proc/2072/task/2087/stat : 2087 (java) S 2070 2072 32120 0 -1 4202560 3210 0 0 0 40 0 0 0 20 0 19 0 279433047 9856004096 85883 33554432000 1073741824 1073778376 140736812983856 140146433382840 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2072/tid=2088] ppid=2070 vsize=9625004 CPUtime=0.51 cores=0,2,4,6
/proc/2072/task/2088/stat : 2088 (java) S 2070 2072 32120 0 -1 4202560 3920 0 0 0 50 1 0 0 20 0 19 0 279433047 9856004096 85883 33554432000 1073741824 1073778376 140736812983856 140146432330040 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2072/tid=2089] ppid=2070 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/2072/task/2089/stat : 2089 (java) S 2070 2072 32120 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 279433047 9856004096 85883 33554432000 1073741824 1073778376 140736812983856 140146431277432 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2072/tid=2090] ppid=2070 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/2072/task/2090/stat : 2090 (java) S 2070 2072 32120 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 279433047 9856004096 85883 33554432000 1073741824 1073778376 140736812983856 140146430224840 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2072/tid=2091] ppid=2070 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/2072/task/2091/stat : 2091 (java) S 2070 2072 32120 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 279433202 9856004096 85883 33554432000 1073741824 1073778376 140736812983856 140146429171368 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 4.29
Current children cumulated vsize (KiB) 9625004
[startup+6.3007 s]
/proc/loadavg: 2.01 2.02 2.00 3/213 2091
/proc/meminfo: memFree=28600476/32873648 swapFree=6864/6864
[pid=2072] ppid=2070 vsize=9625004 CPUtime=7.53 cores=0,2,4,6
/proc/2072/stat : 2072 (java) S 2070 2072 32120 0 -1 4202496 11897 0 1 0 739 14 0 0 20 0 19 0 279433042 9856004096 85839 33554432000 1073741824 1073778376 140736812983856 140736812974992 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/2072/statm: 2406251 85839 2273 9 0 2396937 0
[pid=2072/tid=2073] ppid=2070 vsize=9625004 CPUtime=6.18 cores=0,2,4,6
/proc/2072/task/2073/stat : 2073 (java) R 2070 2072 32120 0 -1 4202560 2638 0 1 0 612 6 0 0 20 0 19 0 279433043 9856004096 85839 33554432000 1073741824 1073778376 140736812983856 140146613570016 140146478104829 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=2072/tid=2075] ppid=2070 vsize=9625004 CPUtime=0.03 cores=0,2,4,6
/proc/2072/task/2075/stat : 2075 (java) S 2070 2072 32120 0 -1 4202560 22 0 0 0 3 0 0 0 20 0 19 0 279433044 9856004096 85839 33554432000 1073741824 1073778376 140736812983856 140146602634280 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2072/tid=2076] ppid=2070 vsize=9625004 CPUtime=0.02 cores=0,2,4,6
/proc/2072/task/2076/stat : 2076 (java) S 2070 2072 32120 0 -1 4202560 10 0 0 0 2 0 0 0 20 0 19 0 279433044 9856004096 85839 33554432000 1073741824 1073778376 140736812983856 140146601581480 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2072/tid=2077] ppid=2070 vsize=9625004 CPUtime=0.03 cores=0,2,4,6
/proc/2072/task/2077/stat : 2077 (java) S 2070 2072 32120 0 -1 4202560 18 0 0 0 3 0 0 0 20 0 19 0 279433044 9856004096 85839 33554432000 1073741824 1073778376 140736812983856 140146600528680 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2072/tid=2078] ppid=2070 vsize=9625004 CPUtime=0.06 cores=0,2,4,6
/proc/2072/task/2078/stat : 2078 (java) S 2070 2072 32120 0 -1 4202560 40 0 0 0 4 2 0 0 20 0 19 0 279433044 9856004096 85839 33554432000 1073741824 1073778376 140736812983856 140146599475880 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2072/tid=2079] ppid=2070 vsize=9625004 CPUtime=0.03 cores=0,2,4,6
/proc/2072/task/2079/stat : 2079 (java) S 2070 2072 32120 0 -1 4202560 20 0 0 0 3 0 0 0 20 0 19 0 279433044 9856004096 85839 33554432000 1073741824 1073778376 140736812983856 140146598423080 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2072/tid=2080] ppid=2070 vsize=9625004 CPUtime=0.02 cores=0,2,4,6
/proc/2072/task/2080/stat : 2080 (java) S 2070 2072 32120 0 -1 4202560 13 0 0 0 2 0 0 0 20 0 19 0 279433044 9856004096 85839 33554432000 1073741824 1073778376 140736812983856 140146597370280 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2072/tid=2081] ppid=2070 vsize=9625004 CPUtime=0.04 cores=0,2,4,6
/proc/2072/task/2081/stat : 2081 (java) S 2070 2072 32120 0 -1 4202560 21 0 0 0 4 0 0 0 20 0 19 0 279433044 9856004096 85839 33554432000 1073741824 1073778376 140736812983856 140146596317480 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2072/tid=2082] ppid=2070 vsize=9625004 CPUtime=0.02 cores=0,2,4,6
/proc/2072/task/2082/stat : 2082 (java) S 2070 2072 32120 0 -1 4202560 18 0 0 0 2 0 0 0 20 0 19 0 279433044 9856004096 85839 33554432000 1073741824 1073778376 140736812983856 140146449791144 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2072/tid=2083] ppid=2070 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/2072/task/2083/stat : 2083 (java) S 2070 2072 32120 0 -1 4202560 198 0 0 0 0 0 0 0 20 0 19 0 279433045 9856004096 85839 33554432000 1073741824 1073778376 140736812983856 140146437594088 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2072/tid=2084] ppid=2070 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/2072/task/2084/stat : 2084 (java) S 2070 2072 32120 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 279433045 9856004096 85839 33554432000 1073741824 1073778376 140736812983856 140146436540152 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2072/tid=2085] ppid=2070 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/2072/task/2085/stat : 2085 (java) S 2070 2072 32120 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 279433045 9856004096 85839 33554432000 1073741824 1073778376 140736812983856 140146435487240 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2072/tid=2086] ppid=2070 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/2072/task/2086/stat : 2086 (java) S 2070 2072 32120 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 279433047 9856004096 85839 33554432000 1073741824 1073778376 140736812983856 140146434435728 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2072/tid=2087] ppid=2070 vsize=9625004 CPUtime=0.45 cores=0,2,4,6
/proc/2072/task/2087/stat : 2087 (java) S 2070 2072 32120 0 -1 4202560 3798 0 0 0 45 0 0 0 20 0 19 0 279433047 9856004096 85839 33554432000 1073741824 1073778376 140736812983856 140146433382840 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2072/tid=2088] ppid=2070 vsize=9625004 CPUtime=0.51 cores=0,2,4,6
/proc/2072/task/2088/stat : 2088 (java) S 2070 2072 32120 0 -1 4202560 3920 0 0 0 50 1 0 0 20 0 19 0 279433047 9856004096 85839 33554432000 1073741824 1073778376 140736812983856 140146432330040 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2072/tid=2089] ppid=2070 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/2072/task/2089/stat : 2089 (java) S 2070 2072 32120 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 279433047 9856004096 85839 33554432000 1073741824 1073778376 140736812983856 140146431277432 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
################
# More data... #
################
/proc/2072/task/2076/stat : 2076 (java) S 2070 2072 32120 0 -1 4202560 45 0 0 0 3 2 0 0 20 0 19 0 279433044 9856004096 100801 33554432000 1073741824 1073778376 140736812983856 140146601581480 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2072/tid=2077] ppid=2070 vsize=9625004 CPUtime=0.04 cores=0,2,4,6
/proc/2072/task/2077/stat : 2077 (java) S 2070 2072 32120 0 -1 4202560 24 0 0 0 4 0 0 0 20 0 19 0 279433044 9856004096 100801 33554432000 1073741824 1073778376 140736812983856 140146600528680 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2072/tid=2078] ppid=2070 vsize=9625004 CPUtime=0.1 cores=0,2,4,6
/proc/2072/task/2078/stat : 2078 (java) S 2070 2072 32120 0 -1 4202560 75 0 0 0 7 3 0 0 20 0 19 0 279433044 9856004096 100801 33554432000 1073741824 1073778376 140736812983856 140146599475880 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2072/tid=2079] ppid=2070 vsize=9625004 CPUtime=0.05 cores=0,2,4,6
/proc/2072/task/2079/stat : 2079 (java) S 2070 2072 32120 0 -1 4202560 44 0 0 0 3 2 0 0 20 0 19 0 279433044 9856004096 100801 33554432000 1073741824 1073778376 140736812983856 140146598423080 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2072/tid=2080] ppid=2070 vsize=9625004 CPUtime=0.03 cores=0,2,4,6
/proc/2072/task/2080/stat : 2080 (java) S 2070 2072 32120 0 -1 4202560 26 0 0 0 2 1 0 0 20 0 19 0 279433044 9856004096 100801 33554432000 1073741824 1073778376 140736812983856 140146597370280 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2072/tid=2081] ppid=2070 vsize=9625004 CPUtime=0.06 cores=0,2,4,6
/proc/2072/task/2081/stat : 2081 (java) S 2070 2072 32120 0 -1 4202560 35 0 0 0 4 2 0 0 20 0 19 0 279433044 9856004096 100801 33554432000 1073741824 1073778376 140736812983856 140146596317480 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2072/tid=2082] ppid=2070 vsize=9625004 CPUtime=0.04 cores=0,2,4,6
/proc/2072/task/2082/stat : 2082 (java) S 2070 2072 32120 0 -1 4202560 24 0 0 0 4 0 0 0 20 0 19 0 279433044 9856004096 100801 33554432000 1073741824 1073778376 140736812983856 140146449791144 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2072/tid=2083] ppid=2070 vsize=9625004 CPUtime=0.21 cores=0,2,4,6
/proc/2072/task/2083/stat : 2083 (java) S 2070 2072 32120 0 -1 4202560 233 0 0 0 21 0 0 0 20 0 19 0 279433045 9856004096 100801 33554432000 1073741824 1073778376 140736812983856 140146437594088 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2072/tid=2084] ppid=2070 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/2072/task/2084/stat : 2084 (java) S 2070 2072 32120 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 279433045 9856004096 100801 33554432000 1073741824 1073778376 140736812983856 140146436540152 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2072/tid=2085] ppid=2070 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/2072/task/2085/stat : 2085 (java) S 2070 2072 32120 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 279433045 9856004096 100801 33554432000 1073741824 1073778376 140736812983856 140146435487240 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2072/tid=2086] ppid=2070 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/2072/task/2086/stat : 2086 (java) S 2070 2072 32120 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 279433047 9856004096 100801 33554432000 1073741824 1073778376 140736812983856 140146434435728 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2072/tid=2087] ppid=2070 vsize=9625004 CPUtime=0.52 cores=0,2,4,6
/proc/2072/task/2087/stat : 2087 (java) S 2070 2072 32120 0 -1 4202560 3888 0 0 0 52 0 0 0 20 0 19 0 279433047 9856004096 100801 33554432000 1073741824 1073778376 140736812983856 140146433382840 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2072/tid=2088] ppid=2070 vsize=9625004 CPUtime=0.54 cores=0,2,4,6
/proc/2072/task/2088/stat : 2088 (java) S 2070 2072 32120 0 -1 4202560 3921 0 0 0 53 1 0 0 20 0 19 0 279433047 9856004096 100801 33554432000 1073741824 1073778376 140736812983856 140146432330040 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2072/tid=2089] ppid=2070 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/2072/task/2089/stat : 2089 (java) S 2070 2072 32120 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 279433047 9856004096 100801 33554432000 1073741824 1073778376 140736812983856 140146431277432 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2072/tid=2090] ppid=2070 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/2072/task/2090/stat : 2090 (java) S 2070 2072 32120 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 279433047 9856004096 100801 33554432000 1073741824 1073778376 140736812983856 140146430224840 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2072/tid=2091] ppid=2070 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/2072/task/2091/stat : 2091 (java) S 2070 2072 32120 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 279433202 9856004096 100801 33554432000 1073741824 1073778376 140736812983856 140146429171368 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 26.93
Current children cumulated vsize (KiB) 9625004
Solver just ended. Dumping a history of the last processes samples
[startup+27.1007 s]
/proc/loadavg: 2.01 2.01 2.00 3/213 2091
/proc/meminfo: memFree=28540152/32873648 swapFree=6864/6864
[pid=2072] ppid=2070 vsize=9625004 CPUtime=28.53 cores=0,2,4,6
/proc/2072/stat : 2072 (java) S 2070 2072 32120 0 -1 4202496 12161 0 1 0 2834 19 0 0 20 0 19 0 279433042 9856004096 100801 33554432000 1073741824 1073778376 140736812983856 140736812974992 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/2072/statm: 2406251 100801 2286 9 0 2396937 0
[pid=2072/tid=2073] ppid=2070 vsize=9625004 CPUtime=26.69 cores=0,2,4,6
/proc/2072/task/2073/stat : 2073 (java) R 2070 2072 32120 0 -1 4202560 2640 0 1 0 2663 6 0 0 20 0 19 0 279433043 9856004096 100801 33554432000 1073741824 1073778376 140736812983856 140146613571968 140146477635450 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=2072/tid=2075] ppid=2070 vsize=9625004 CPUtime=0.04 cores=0,2,4,6
/proc/2072/task/2075/stat : 2075 (java) S 2070 2072 32120 0 -1 4202560 25 0 0 0 4 0 0 0 20 0 19 0 279433044 9856004096 100801 33554432000 1073741824 1073778376 140736812983856 140146602634280 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2072/tid=2076] ppid=2070 vsize=9625004 CPUtime=0.05 cores=0,2,4,6
/proc/2072/task/2076/stat : 2076 (java) S 2070 2072 32120 0 -1 4202560 45 0 0 0 3 2 0 0 20 0 19 0 279433044 9856004096 100801 33554432000 1073741824 1073778376 140736812983856 140146601581480 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2072/tid=2077] ppid=2070 vsize=9625004 CPUtime=0.04 cores=0,2,4,6
/proc/2072/task/2077/stat : 2077 (java) S 2070 2072 32120 0 -1 4202560 24 0 0 0 4 0 0 0 20 0 19 0 279433044 9856004096 100801 33554432000 1073741824 1073778376 140736812983856 140146600528680 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2072/tid=2078] ppid=2070 vsize=9625004 CPUtime=0.1 cores=0,2,4,6
/proc/2072/task/2078/stat : 2078 (java) S 2070 2072 32120 0 -1 4202560 75 0 0 0 7 3 0 0 20 0 19 0 279433044 9856004096 100801 33554432000 1073741824 1073778376 140736812983856 140146599475880 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2072/tid=2079] ppid=2070 vsize=9625004 CPUtime=0.05 cores=0,2,4,6
/proc/2072/task/2079/stat : 2079 (java) S 2070 2072 32120 0 -1 4202560 44 0 0 0 3 2 0 0 20 0 19 0 279433044 9856004096 100801 33554432000 1073741824 1073778376 140736812983856 140146598423080 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2072/tid=2080] ppid=2070 vsize=9625004 CPUtime=0.03 cores=0,2,4,6
/proc/2072/task/2080/stat : 2080 (java) S 2070 2072 32120 0 -1 4202560 26 0 0 0 2 1 0 0 20 0 19 0 279433044 9856004096 100801 33554432000 1073741824 1073778376 140736812983856 140146597370280 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2072/tid=2081] ppid=2070 vsize=9625004 CPUtime=0.06 cores=0,2,4,6
/proc/2072/task/2081/stat : 2081 (java) S 2070 2072 32120 0 -1 4202560 35 0 0 0 4 2 0 0 20 0 19 0 279433044 9856004096 100801 33554432000 1073741824 1073778376 140736812983856 140146596317480 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2072/tid=2082] ppid=2070 vsize=9625004 CPUtime=0.04 cores=0,2,4,6
/proc/2072/task/2082/stat : 2082 (java) S 2070 2072 32120 0 -1 4202560 24 0 0 0 4 0 0 0 20 0 19 0 279433044 9856004096 100801 33554432000 1073741824 1073778376 140736812983856 140146449791144 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2072/tid=2083] ppid=2070 vsize=9625004 CPUtime=0.21 cores=0,2,4,6
/proc/2072/task/2083/stat : 2083 (java) S 2070 2072 32120 0 -1 4202560 233 0 0 0 21 0 0 0 20 0 19 0 279433045 9856004096 100801 33554432000 1073741824 1073778376 140736812983856 140146437594088 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2072/tid=2084] ppid=2070 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/2072/task/2084/stat : 2084 (java) S 2070 2072 32120 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 279433045 9856004096 100801 33554432000 1073741824 1073778376 140736812983856 140146436540152 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2072/tid=2085] ppid=2070 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/2072/task/2085/stat : 2085 (java) S 2070 2072 32120 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 279433045 9856004096 100801 33554432000 1073741824 1073778376 140736812983856 140146435487240 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2072/tid=2086] ppid=2070 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/2072/task/2086/stat : 2086 (java) S 2070 2072 32120 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 279433047 9856004096 100801 33554432000 1073741824 1073778376 140736812983856 140146434435728 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2072/tid=2087] ppid=2070 vsize=9625004 CPUtime=0.52 cores=0,2,4,6
/proc/2072/task/2087/stat : 2087 (java) S 2070 2072 32120 0 -1 4202560 3888 0 0 0 52 0 0 0 20 0 19 0 279433047 9856004096 100801 33554432000 1073741824 1073778376 140736812983856 140146433382840 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2072/tid=2088] ppid=2070 vsize=9625004 CPUtime=0.54 cores=0,2,4,6
/proc/2072/task/2088/stat : 2088 (java) S 2070 2072 32120 0 -1 4202560 3921 0 0 0 53 1 0 0 20 0 19 0 279433047 9856004096 100801 33554432000 1073741824 1073778376 140736812983856 140146432330040 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2072/tid=2089] ppid=2070 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/2072/task/2089/stat : 2089 (java) S 2070 2072 32120 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 279433047 9856004096 100801 33554432000 1073741824 1073778376 140736812983856 140146431277432 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2072/tid=2090] ppid=2070 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/2072/task/2090/stat : 2090 (java) S 2070 2072 32120 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 279433047 9856004096 100801 33554432000 1073741824 1073778376 140736812983856 140146430224840 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2072/tid=2091] ppid=2070 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/2072/task/2091/stat : 2091 (java) S 2070 2072 32120 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 279433202 9856004096 100801 33554432000 1073741824 1073778376 140736812983856 140146429171368 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 28.53
Current children cumulated vsize (KiB) 9625004
[startup+27.9007 s]
/proc/loadavg: 2.01 2.01 2.00 3/213 2091
/proc/meminfo: memFree=28540152/32873648 swapFree=6864/6864
[pid=2072] ppid=2070 vsize=9625004 CPUtime=29.34 cores=0,2,4,6
/proc/2072/stat : 2072 (java) S 2070 2072 32120 0 -1 4202496 12161 0 1 0 2915 19 0 0 20 0 19 0 279433042 9856004096 100801 33554432000 1073741824 1073778376 140736812983856 140736812974992 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/2072/statm: 2406251 100801 2286 9 0 2396937 0
[pid=2072/tid=2073] ppid=2070 vsize=9625004 CPUtime=27.49 cores=0,2,4,6
/proc/2072/task/2073/stat : 2073 (java) R 2070 2072 32120 0 -1 4202560 2640 0 1 0 2743 6 0 0 20 0 19 0 279433043 9856004096 100801 33554432000 1073741824 1073778376 140736812983856 140146613571968 140146478104796 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=2072/tid=2075] ppid=2070 vsize=9625004 CPUtime=0.04 cores=0,2,4,6
/proc/2072/task/2075/stat : 2075 (java) S 2070 2072 32120 0 -1 4202560 25 0 0 0 4 0 0 0 20 0 19 0 279433044 9856004096 100801 33554432000 1073741824 1073778376 140736812983856 140146602634280 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2072/tid=2076] ppid=2070 vsize=9625004 CPUtime=0.05 cores=0,2,4,6
/proc/2072/task/2076/stat : 2076 (java) S 2070 2072 32120 0 -1 4202560 45 0 0 0 3 2 0 0 20 0 19 0 279433044 9856004096 100801 33554432000 1073741824 1073778376 140736812983856 140146601581480 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2072/tid=2077] ppid=2070 vsize=9625004 CPUtime=0.04 cores=0,2,4,6
/proc/2072/task/2077/stat : 2077 (java) S 2070 2072 32120 0 -1 4202560 24 0 0 0 4 0 0 0 20 0 19 0 279433044 9856004096 100801 33554432000 1073741824 1073778376 140736812983856 140146600528680 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2072/tid=2078] ppid=2070 vsize=9625004 CPUtime=0.1 cores=0,2,4,6
/proc/2072/task/2078/stat : 2078 (java) S 2070 2072 32120 0 -1 4202560 75 0 0 0 7 3 0 0 20 0 19 0 279433044 9856004096 100801 33554432000 1073741824 1073778376 140736812983856 140146599475880 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2072/tid=2079] ppid=2070 vsize=9625004 CPUtime=0.05 cores=0,2,4,6
/proc/2072/task/2079/stat : 2079 (java) S 2070 2072 32120 0 -1 4202560 44 0 0 0 3 2 0 0 20 0 19 0 279433044 9856004096 100801 33554432000 1073741824 1073778376 140736812983856 140146598423080 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2072/tid=2080] ppid=2070 vsize=9625004 CPUtime=0.03 cores=0,2,4,6
/proc/2072/task/2080/stat : 2080 (java) S 2070 2072 32120 0 -1 4202560 26 0 0 0 2 1 0 0 20 0 19 0 279433044 9856004096 100801 33554432000 1073741824 1073778376 140736812983856 140146597370280 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2072/tid=2081] ppid=2070 vsize=9625004 CPUtime=0.06 cores=0,2,4,6
/proc/2072/task/2081/stat : 2081 (java) S 2070 2072 32120 0 -1 4202560 35 0 0 0 4 2 0 0 20 0 19 0 279433044 9856004096 100801 33554432000 1073741824 1073778376 140736812983856 140146596317480 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2072/tid=2082] ppid=2070 vsize=9625004 CPUtime=0.04 cores=0,2,4,6
/proc/2072/task/2082/stat : 2082 (java) S 2070 2072 32120 0 -1 4202560 24 0 0 0 4 0 0 0 20 0 19 0 279433044 9856004096 100801 33554432000 1073741824 1073778376 140736812983856 140146449791144 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2072/tid=2083] ppid=2070 vsize=9625004 CPUtime=0.21 cores=0,2,4,6
/proc/2072/task/2083/stat : 2083 (java) S 2070 2072 32120 0 -1 4202560 233 0 0 0 21 0 0 0 20 0 19 0 279433045 9856004096 100801 33554432000 1073741824 1073778376 140736812983856 140146437594088 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2072/tid=2084] ppid=2070 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/2072/task/2084/stat : 2084 (java) S 2070 2072 32120 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 279433045 9856004096 100801 33554432000 1073741824 1073778376 140736812983856 140146436540152 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2072/tid=2085] ppid=2070 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/2072/task/2085/stat : 2085 (java) S 2070 2072 32120 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 279433045 9856004096 100801 33554432000 1073741824 1073778376 140736812983856 140146435487240 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2072/tid=2086] ppid=2070 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/2072/task/2086/stat : 2086 (java) S 2070 2072 32120 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 279433047 9856004096 100801 33554432000 1073741824 1073778376 140736812983856 140146434435728 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2072/tid=2087] ppid=2070 vsize=9625004 CPUtime=0.52 cores=0,2,4,6
/proc/2072/task/2087/stat : 2087 (java) S 2070 2072 32120 0 -1 4202560 3888 0 0 0 52 0 0 0 20 0 19 0 279433047 9856004096 100801 33554432000 1073741824 1073778376 140736812983856 140146433382840 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2072/tid=2088] ppid=2070 vsize=9625004 CPUtime=0.54 cores=0,2,4,6
/proc/2072/task/2088/stat : 2088 (java) S 2070 2072 32120 0 -1 4202560 3921 0 0 0 53 1 0 0 20 0 19 0 279433047 9856004096 100801 33554432000 1073741824 1073778376 140736812983856 140146432330040 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2072/tid=2089] ppid=2070 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/2072/task/2089/stat : 2089 (java) S 2070 2072 32120 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 279433047 9856004096 100801 33554432000 1073741824 1073778376 140736812983856 140146431277432 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2072/tid=2090] ppid=2070 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/2072/task/2090/stat : 2090 (java) S 2070 2072 32120 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 279433047 9856004096 100801 33554432000 1073741824 1073778376 140736812983856 140146430224840 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2072/tid=2091] ppid=2070 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/2072/task/2091/stat : 2091 (java) S 2070 2072 32120 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 279433202 9856004096 100801 33554432000 1073741824 1073778376 140736812983856 140146429171368 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 29.34
Current children cumulated vsize (KiB) 9625004
[startup+28.1007 s]
/proc/loadavg: 2.01 2.01 2.00 3/213 2091
/proc/meminfo: memFree=28540152/32873648 swapFree=6864/6864
[pid=2072] ppid=2070 vsize=9625004 CPUtime=29.55 cores=0,2,4,6
/proc/2072/stat : 2072 (java) S 2070 2072 32120 0 -1 4202496 12161 0 1 0 2936 19 0 0 20 0 19 0 279433042 9856004096 100801 33554432000 1073741824 1073778376 140736812983856 140736812974992 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/2072/statm: 2406251 100801 2286 9 0 2396937 0
[pid=2072/tid=2073] ppid=2070 vsize=9625004 CPUtime=27.69 cores=0,2,4,6
/proc/2072/task/2073/stat : 2073 (java) R 2070 2072 32120 0 -1 4202560 2640 0 1 0 2763 6 0 0 20 0 19 0 279433043 9856004096 100801 33554432000 1073741824 1073778376 140736812983856 140146613571968 140146478291856 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=2072/tid=2075] ppid=2070 vsize=9625004 CPUtime=0.04 cores=0,2,4,6
/proc/2072/task/2075/stat : 2075 (java) S 2070 2072 32120 0 -1 4202560 25 0 0 0 4 0 0 0 20 0 19 0 279433044 9856004096 100801 33554432000 1073741824 1073778376 140736812983856 140146602634280 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2072/tid=2076] ppid=2070 vsize=9625004 CPUtime=0.05 cores=0,2,4,6
/proc/2072/task/2076/stat : 2076 (java) S 2070 2072 32120 0 -1 4202560 45 0 0 0 3 2 0 0 20 0 19 0 279433044 9856004096 100801 33554432000 1073741824 1073778376 140736812983856 140146601581480 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2072/tid=2077] ppid=2070 vsize=9625004 CPUtime=0.04 cores=0,2,4,6
/proc/2072/task/2077/stat : 2077 (java) S 2070 2072 32120 0 -1 4202560 24 0 0 0 4 0 0 0 20 0 19 0 279433044 9856004096 100801 33554432000 1073741824 1073778376 140736812983856 140146600528680 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2072/tid=2078] ppid=2070 vsize=9625004 CPUtime=0.1 cores=0,2,4,6
/proc/2072/task/2078/stat : 2078 (java) S 2070 2072 32120 0 -1 4202560 75 0 0 0 7 3 0 0 20 0 19 0 279433044 9856004096 100801 33554432000 1073741824 1073778376 140736812983856 140146599475880 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2072/tid=2079] ppid=2070 vsize=9625004 CPUtime=0.05 cores=0,2,4,6
/proc/2072/task/2079/stat : 2079 (java) S 2070 2072 32120 0 -1 4202560 44 0 0 0 3 2 0 0 20 0 19 0 279433044 9856004096 100801 33554432000 1073741824 1073778376 140736812983856 140146598423080 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2072/tid=2080] ppid=2070 vsize=9625004 CPUtime=0.03 cores=0,2,4,6
/proc/2072/task/2080/stat : 2080 (java) S 2070 2072 32120 0 -1 4202560 26 0 0 0 2 1 0 0 20 0 19 0 279433044 9856004096 100801 33554432000 1073741824 1073778376 140736812983856 140146597370280 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2072/tid=2081] ppid=2070 vsize=9625004 CPUtime=0.06 cores=0,2,4,6
/proc/2072/task/2081/stat : 2081 (java) S 2070 2072 32120 0 -1 4202560 35 0 0 0 4 2 0 0 20 0 19 0 279433044 9856004096 100801 33554432000 1073741824 1073778376 140736812983856 140146596317480 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2072/tid=2082] ppid=2070 vsize=9625004 CPUtime=0.04 cores=0,2,4,6
/proc/2072/task/2082/stat : 2082 (java) S 2070 2072 32120 0 -1 4202560 24 0 0 0 4 0 0 0 20 0 19 0 279433044 9856004096 100801 33554432000 1073741824 1073778376 140736812983856 140146449791144 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2072/tid=2083] ppid=2070 vsize=9625004 CPUtime=0.21 cores=0,2,4,6
/proc/2072/task/2083/stat : 2083 (java) S 2070 2072 32120 0 -1 4202560 233 0 0 0 21 0 0 0 20 0 19 0 279433045 9856004096 100801 33554432000 1073741824 1073778376 140736812983856 140146437594088 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2072/tid=2084] ppid=2070 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/2072/task/2084/stat : 2084 (java) S 2070 2072 32120 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 279433045 9856004096 100801 33554432000 1073741824 1073778376 140736812983856 140146436540152 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2072/tid=2085] ppid=2070 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/2072/task/2085/stat : 2085 (java) S 2070 2072 32120 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 279433045 9856004096 100801 33554432000 1073741824 1073778376 140736812983856 140146435487240 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2072/tid=2086] ppid=2070 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/2072/task/2086/stat : 2086 (java) S 2070 2072 32120 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 279433047 9856004096 100801 33554432000 1073741824 1073778376 140736812983856 140146434435728 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2072/tid=2087] ppid=2070 vsize=9625004 CPUtime=0.52 cores=0,2,4,6
/proc/2072/task/2087/stat : 2087 (java) S 2070 2072 32120 0 -1 4202560 3888 0 0 0 52 0 0 0 20 0 19 0 279433047 9856004096 100801 33554432000 1073741824 1073778376 140736812983856 140146433382840 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2072/tid=2088] ppid=2070 vsize=9625004 CPUtime=0.55 cores=0,2,4,6
/proc/2072/task/2088/stat : 2088 (java) S 2070 2072 32120 0 -1 4202560 3921 0 0 0 54 1 0 0 20 0 19 0 279433047 9856004096 100801 33554432000 1073741824 1073778376 140736812983856 140146432330040 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2072/tid=2089] ppid=2070 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/2072/task/2089/stat : 2089 (java) S 2070 2072 32120 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 279433047 9856004096 100801 33554432000 1073741824 1073778376 140736812983856 140146431277432 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2072/tid=2090] ppid=2070 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/2072/task/2090/stat : 2090 (java) S 2070 2072 32120 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 279433047 9856004096 100801 33554432000 1073741824 1073778376 140736812983856 140146430224840 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2072/tid=2091] ppid=2070 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/2072/task/2091/stat : 2091 (java) S 2070 2072 32120 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 279433202 9856004096 100801 33554432000 1073741824 1073778376 140736812983856 140146429171368 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 29.55
Current children cumulated vsize (KiB) 9625004
Child status: 20
Real time (s): 28.1436
CPU time (s): 29.6805
CPU user time (s): 29.3775
CPU system time (s): 0.302953
CPU usage (%): 105.461
Max. virtual memory (cumulated for all children) (KiB): 9625004
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 29.3775
system time used= 0.302953
maximum resident set size= 403404
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12178
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= 1026
involuntary context switches= 854
runsolver used 0.080987 second user time and 0.254961 second system time
The end