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-4089068-1466016849/watcher-4089068-1466016849 -o /tmp/evaluation-result-4089068-1466016849/solver-4089068-1466016849 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node105-1466009078-4983 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4089068-1466016849.opb
pid=7151
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.10 2.10 2.03 3/194 7154
/proc/meminfo: memFree=31005996/32872528 swapFree=162364/176672
[pid=7154] ppid=7151 vsize=96260 CPUtime=0 cores=1,3,5,7
/proc/7154/stat : 7154 (java) S 7151 7154 4966 0 -1 4202496 1354 0 0 0 0 0 0 0 20 0 2 0 3734845 98570240 979 33554432000 1073741824 1073778376 140734441622752 140734441613888 224925876285 0 0 4096 0 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7154/statm: 24065 979 744 9 0 16771 0
[pid=7154/tid=7155] ppid=7151 vsize=96260 CPUtime=0 cores=1,3,5,7
/proc/7154/task/7155/stat : 7155 (java) R 7151 7154 4966 0 -1 4202560 130 0 0 0 0 0 0 0 20 0 2 0 3734845 98570240 979 33554432000 1073741824 1073778376 140734441622752 140068726304296 224922518912 0 0 4096 0 0 0 0 -1 1 0 0 0 0 0
[startup+0.10006 s]
/proc/loadavg: 2.10 2.10 2.03 3/194 7154
/proc/meminfo: memFree=31005996/32872528 swapFree=162364/176672
[pid=7154] ppid=7151 vsize=9558476 CPUtime=0.11 cores=1,3,5,7
/proc/7154/stat : 7154 (java) S 7151 7154 4966 0 -1 4202496 4490 0 1 0 10 1 0 0 20 0 18 0 3734845 9787879424 6121 33554432000 1073741824 1073778376 140734441622752 140734441613888 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7154/statm: 2389619 6121 2157 9 0 2380296 0
[pid=7154/tid=7155] ppid=7151 vsize=9558476 CPUtime=0.07 cores=1,3,5,7
/proc/7154/task/7155/stat : 7155 (java) R 7151 7154 4966 0 -1 4202560 2382 0 1 0 7 0 0 0 20 0 18 0 3734845 9787879424 6121 33554432000 1073741824 1073778376 140734441622752 140068726307744 140068564088565 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 9558476
[startup+0.200382 s]
/proc/loadavg: 2.10 2.10 2.03 3/194 7154
/proc/meminfo: memFree=31005996/32872528 swapFree=162364/176672
[pid=7154] ppid=7151 vsize=9625040 CPUtime=0.3 cores=1,3,5,7
/proc/7154/stat : 7154 (java) S 7151 7154 4966 0 -1 4202496 6331 0 1 0 29 1 0 0 20 0 19 0 3734845 9856040960 7378 33554432000 1073741824 1073778376 140734441622752 140734441613888 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7154/statm: 2406260 7378 2238 9 0 2396937 0
[pid=7154/tid=7155] ppid=7151 vsize=9625040 CPUtime=0.17 cores=1,3,5,7
/proc/7154/task/7155/stat : 7155 (java) R 7151 7154 4966 0 -1 4202560 2408 0 1 0 17 0 0 0 20 0 19 0 3734845 9856040960 7378 33554432000 1073741824 1073778376 140734441622752 140068726309504 140068564071911 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 9625040
[startup+0.300391 s]
/proc/loadavg: 2.10 2.10 2.03 3/194 7154
/proc/meminfo: memFree=31005996/32872528 swapFree=162364/176672
[pid=7154] ppid=7151 vsize=9625040 CPUtime=0.53 cores=1,3,5,7
/proc/7154/stat : 7154 (java) S 7151 7154 4966 0 -1 4202496 6654 0 1 0 52 1 0 0 20 0 19 0 3734845 9856040960 7902 33554432000 1073741824 1073778376 140734441622752 140734441613888 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7154/statm: 2406260 7902 2245 9 0 2396937 0
[pid=7154/tid=7155] ppid=7151 vsize=9625040 CPUtime=0.27 cores=1,3,5,7
/proc/7154/task/7155/stat : 7155 (java) R 7151 7154 4966 0 -1 4202560 2409 0 1 0 27 0 0 0 20 0 19 0 3734845 9856040960 7902 33554432000 1073741824 1073778376 140734441622752 140068726308920 140068564039164 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.53
Current children cumulated vsize (KiB) 9625040
[startup+0.700336 s]
/proc/loadavg: 2.10 2.10 2.03 3/194 7154
/proc/meminfo: memFree=31005996/32872528 swapFree=162364/176672
[pid=7154] ppid=7151 vsize=9625040 CPUtime=1.07 cores=1,3,5,7
/proc/7154/stat : 7154 (java) S 7151 7154 4966 0 -1 4202496 8043 0 1 0 106 1 0 0 20 0 19 0 3734845 9856040960 10018 33554432000 1073741824 1073778376 140734441622752 140734441613888 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7154/statm: 2406260 10018 2254 9 0 2396937 0
[pid=7154/tid=7155] ppid=7151 vsize=9625040 CPUtime=0.67 cores=1,3,5,7
/proc/7154/task/7155/stat : 7155 (java) R 7151 7154 4966 0 -1 4202560 2412 0 1 0 67 0 0 0 20 0 19 0 3734845 9856040960 10018 33554432000 1073741824 1073778376 140734441622752 140068726309368 140068564529691 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.07
Current children cumulated vsize (KiB) 9625040
[startup+1.50081 s]
/proc/loadavg: 2.10 2.10 2.03 3/213 7173
/proc/meminfo: memFree=30967924/32872528 swapFree=162364/176672
[pid=7154] ppid=7151 vsize=9625040 CPUtime=1.9 cores=1,3,5,7
/proc/7154/stat : 7154 (java) S 7151 7154 4966 0 -1 4202496 8065 0 1 0 189 1 0 0 20 0 19 0 3734845 9856040960 12594 33554432000 1073741824 1073778376 140734441622752 140734441613888 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7154/statm: 2406260 12594 2256 9 0 2396937 0
[pid=7154/tid=7155] ppid=7151 vsize=9625040 CPUtime=1.48 cores=1,3,5,7
/proc/7154/task/7155/stat : 7155 (java) R 7151 7154 4966 0 -1 4202560 2418 0 1 0 146 2 0 0 20 0 19 0 3734845 9856040960 12594 33554432000 1073741824 1073778376 140734441622752 140068726309256 140068564244343 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=7154/tid=7157] ppid=7151 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7154/task/7157/stat : 7157 (java) S 7151 7154 4966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3734846 9856040960 12594 33554432000 1073741824 1073778376 140734441622752 140068687801128 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7154/tid=7158] ppid=7151 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7154/task/7158/stat : 7158 (java) S 7151 7154 4966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3734846 9856040960 12594 33554432000 1073741824 1073778376 140734441622752 140068686748328 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7154/tid=7159] ppid=7151 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7154/task/7159/stat : 7159 (java) S 7151 7154 4966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3734846 9856040960 12594 33554432000 1073741824 1073778376 140734441622752 140068685696040 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7154/tid=7160] ppid=7151 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7154/task/7160/stat : 7160 (java) S 7151 7154 4966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3734846 9856040960 12594 33554432000 1073741824 1073778376 140734441622752 140068684643240 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7154/tid=7161] ppid=7151 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7154/task/7161/stat : 7161 (java) S 7151 7154 4966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3734846 9856040960 12594 33554432000 1073741824 1073778376 140734441622752 140068683589928 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7154/tid=7162] ppid=7151 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7154/task/7162/stat : 7162 (java) S 7151 7154 4966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3734846 9856040960 12594 33554432000 1073741824 1073778376 140734441622752 140068682537128 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7154/tid=7163] ppid=7151 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7154/task/7163/stat : 7163 (java) S 7151 7154 4966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3734846 9856040960 12594 33554432000 1073741824 1073778376 140734441622752 140068563970600 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7154/tid=7164] ppid=7151 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7154/task/7164/stat : 7164 (java) S 7151 7154 4966 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 3734846 9856040960 12594 33554432000 1073741824 1073778376 140734441622752 140068562917800 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7154/tid=7165] ppid=7151 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7154/task/7165/stat : 7165 (java) S 7151 7154 4966 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 3734847 9856040960 12594 33554432000 1073741824 1073778376 140734441622752 140068550507240 224925890473 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7154/tid=7166] ppid=7151 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7154/task/7166/stat : 7166 (java) S 7151 7154 4966 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 3734847 9856040960 12594 33554432000 1073741824 1073778376 140734441622752 140068549453304 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7154/tid=7167] ppid=7151 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7154/task/7167/stat : 7167 (java) S 7151 7154 4966 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 3734848 9856040960 12594 33554432000 1073741824 1073778376 140734441622752 140068548400904 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7154/tid=7168] ppid=7151 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7154/task/7168/stat : 7168 (java) S 7151 7154 4966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3734850 9856040960 12594 33554432000 1073741824 1073778376 140734441622752 140067808996240 224925898528 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7154/tid=7169] ppid=7151 vsize=9625040 CPUtime=0.25 cores=1,3,5,7
/proc/7154/task/7169/stat : 7169 (java) S 7151 7154 4966 0 -1 4202560 2382 0 0 0 25 0 0 0 20 0 19 0 3734850 9856040960 12594 33554432000 1073741824 1073778376 140734441622752 140067807942840 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7154/tid=7170] ppid=7151 vsize=9625040 CPUtime=0.14 cores=1,3,5,7
/proc/7154/task/7170/stat : 7170 (java) S 7151 7154 4966 0 -1 4202560 1993 0 0 0 14 0 0 0 20 0 19 0 3734850 9856040960 12594 33554432000 1073741824 1073778376 140734441622752 140067806890040 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7154/tid=7171] ppid=7151 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7154/task/7171/stat : 7171 (java) S 7151 7154 4966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3734850 9856040960 12594 33554432000 1073741824 1073778376 140734441622752 140067805837944 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7154/tid=7172] ppid=7151 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7154/task/7172/stat : 7172 (java) S 7151 7154 4966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3734850 9856040960 12594 33554432000 1073741824 1073778376 140734441622752 140067804785352 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7154/tid=7173] ppid=7151 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7154/task/7173/stat : 7173 (java) S 7151 7154 4966 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 3734861 9856040960 12594 33554432000 1073741824 1073778376 140734441622752 140067803731368 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.9
Current children cumulated vsize (KiB) 9625040
[startup+3.10084 s]
/proc/loadavg: 2.10 2.10 2.03 3/213 7173
/proc/meminfo: memFree=30955140/32872528 swapFree=162364/176672
[pid=7154] ppid=7151 vsize=9625040 CPUtime=3.5 cores=1,3,5,7
/proc/7154/stat : 7154 (java) S 7151 7154 4966 0 -1 4202496 8074 0 1 0 349 1 0 0 20 0 19 0 3734845 9856040960 17202 33554432000 1073741824 1073778376 140734441622752 140734441613888 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7154/statm: 2406260 17202 2256 9 0 2396937 0
[pid=7154/tid=7155] ppid=7151 vsize=9625040 CPUtime=3.08 cores=1,3,5,7
/proc/7154/task/7155/stat : 7155 (java) R 7151 7154 4966 0 -1 4202560 2427 0 1 0 306 2 0 0 20 0 19 0 3734845 9856040960 17202 33554432000 1073741824 1073778376 140734441622752 140068726300352 140068564529746 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=7154/tid=7157] ppid=7151 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7154/task/7157/stat : 7157 (java) S 7151 7154 4966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3734846 9856040960 17202 33554432000 1073741824 1073778376 140734441622752 140068687801128 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7154/tid=7158] ppid=7151 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7154/task/7158/stat : 7158 (java) S 7151 7154 4966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3734846 9856040960 17202 33554432000 1073741824 1073778376 140734441622752 140068686748328 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7154/tid=7159] ppid=7151 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7154/task/7159/stat : 7159 (java) S 7151 7154 4966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3734846 9856040960 17202 33554432000 1073741824 1073778376 140734441622752 140068685696040 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7154/tid=7160] ppid=7151 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7154/task/7160/stat : 7160 (java) S 7151 7154 4966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3734846 9856040960 17202 33554432000 1073741824 1073778376 140734441622752 140068684643240 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7154/tid=7161] ppid=7151 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7154/task/7161/stat : 7161 (java) S 7151 7154 4966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3734846 9856040960 17202 33554432000 1073741824 1073778376 140734441622752 140068683589928 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7154/tid=7162] ppid=7151 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7154/task/7162/stat : 7162 (java) S 7151 7154 4966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3734846 9856040960 17202 33554432000 1073741824 1073778376 140734441622752 140068682537128 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7154/tid=7163] ppid=7151 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7154/task/7163/stat : 7163 (java) S 7151 7154 4966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3734846 9856040960 17202 33554432000 1073741824 1073778376 140734441622752 140068563970600 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7154/tid=7164] ppid=7151 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7154/task/7164/stat : 7164 (java) S 7151 7154 4966 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 3734846 9856040960 17202 33554432000 1073741824 1073778376 140734441622752 140068562917800 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7154/tid=7165] ppid=7151 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7154/task/7165/stat : 7165 (java) S 7151 7154 4966 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 3734847 9856040960 17202 33554432000 1073741824 1073778376 140734441622752 140068550507240 224925890473 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7154/tid=7166] ppid=7151 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7154/task/7166/stat : 7166 (java) S 7151 7154 4966 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 3734847 9856040960 17202 33554432000 1073741824 1073778376 140734441622752 140068549453304 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7154/tid=7167] ppid=7151 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7154/task/7167/stat : 7167 (java) S 7151 7154 4966 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 3734848 9856040960 17202 33554432000 1073741824 1073778376 140734441622752 140068548400904 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7154/tid=7168] ppid=7151 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7154/task/7168/stat : 7168 (java) S 7151 7154 4966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3734850 9856040960 17202 33554432000 1073741824 1073778376 140734441622752 140067808996240 224925898528 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7154/tid=7169] ppid=7151 vsize=9625040 CPUtime=0.25 cores=1,3,5,7
/proc/7154/task/7169/stat : 7169 (java) S 7151 7154 4966 0 -1 4202560 2382 0 0 0 25 0 0 0 20 0 19 0 3734850 9856040960 17202 33554432000 1073741824 1073778376 140734441622752 140067807942840 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7154/tid=7170] ppid=7151 vsize=9625040 CPUtime=0.14 cores=1,3,5,7
/proc/7154/task/7170/stat : 7170 (java) S 7151 7154 4966 0 -1 4202560 1993 0 0 0 14 0 0 0 20 0 19 0 3734850 9856040960 17202 33554432000 1073741824 1073778376 140734441622752 140067806890040 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7154/tid=7171] ppid=7151 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7154/task/7171/stat : 7171 (java) S 7151 7154 4966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3734850 9856040960 17202 33554432000 1073741824 1073778376 140734441622752 140067805837944 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7154/tid=7172] ppid=7151 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7154/task/7172/stat : 7172 (java) S 7151 7154 4966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3734850 9856040960 17202 33554432000 1073741824 1073778376 140734441622752 140067804785352 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7154/tid=7173] ppid=7151 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7154/task/7173/stat : 7173 (java) S 7151 7154 4966 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 3734861 9856040960 17202 33554432000 1073741824 1073778376 140734441622752 140067803731368 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.5
Current children cumulated vsize (KiB) 9625040
[startup+6.30089 s]
/proc/loadavg: 2.18 2.11 2.03 3/213 7173
/proc/meminfo: memFree=30917924/32872528 swapFree=162364/176672
[pid=7154] ppid=7151 vsize=9625040 CPUtime=6.72 cores=1,3,5,7
/proc/7154/stat : 7154 (java) S 7151 7154 4966 0 -1 4202496 8094 0 1 0 670 2 0 0 20 0 19 0 3734845 9856040960 25850 33554432000 1073741824 1073778376 140734441622752 140734441613888 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7154/statm: 2406260 25850 2257 9 0 2396937 0
[pid=7154/tid=7155] ppid=7151 vsize=9625040 CPUtime=6.28 cores=1,3,5,7
/proc/7154/task/7155/stat : 7155 (java) R 7151 7154 4966 0 -1 4202560 2445 0 1 0 626 2 0 0 20 0 19 0 3734845 9856040960 25850 33554432000 1073741824 1073778376 140734441622752 140068726300352 140068564609395 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=7154/tid=7157] ppid=7151 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7154/task/7157/stat : 7157 (java) S 7151 7154 4966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3734846 9856040960 25850 33554432000 1073741824 1073778376 140734441622752 140068687801128 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7154/tid=7158] ppid=7151 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7154/task/7158/stat : 7158 (java) S 7151 7154 4966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3734846 9856040960 25850 33554432000 1073741824 1073778376 140734441622752 140068686748328 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7154/tid=7159] ppid=7151 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7154/task/7159/stat : 7159 (java) S 7151 7154 4966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3734846 9856040960 25850 33554432000 1073741824 1073778376 140734441622752 140068685696040 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7154/tid=7160] ppid=7151 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7154/task/7160/stat : 7160 (java) S 7151 7154 4966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3734846 9856040960 25850 33554432000 1073741824 1073778376 140734441622752 140068684643240 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7154/tid=7161] ppid=7151 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7154/task/7161/stat : 7161 (java) S 7151 7154 4966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3734846 9856040960 25850 33554432000 1073741824 1073778376 140734441622752 140068683589928 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7154/tid=7162] ppid=7151 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7154/task/7162/stat : 7162 (java) S 7151 7154 4966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3734846 9856040960 25850 33554432000 1073741824 1073778376 140734441622752 140068682537128 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7154/tid=7163] ppid=7151 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7154/task/7163/stat : 7163 (java) S 7151 7154 4966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3734846 9856040960 25850 33554432000 1073741824 1073778376 140734441622752 140068563970600 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7154/tid=7164] ppid=7151 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7154/task/7164/stat : 7164 (java) S 7151 7154 4966 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 3734846 9856040960 25850 33554432000 1073741824 1073778376 140734441622752 140068562917800 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7154/tid=7165] ppid=7151 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7154/task/7165/stat : 7165 (java) S 7151 7154 4966 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 3734847 9856040960 25850 33554432000 1073741824 1073778376 140734441622752 140068550507240 224925890473 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7154/tid=7166] ppid=7151 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7154/task/7166/stat : 7166 (java) S 7151 7154 4966 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 3734847 9856040960 25850 33554432000 1073741824 1073778376 140734441622752 140068549453304 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7154/tid=7167] ppid=7151 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7154/task/7167/stat : 7167 (java) S 7151 7154 4966 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 3734848 9856040960 25850 33554432000 1073741824 1073778376 140734441622752 140068548400904 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7154/tid=7168] ppid=7151 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7154/task/7168/stat : 7168 (java) S 7151 7154 4966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3734850 9856040960 25850 33554432000 1073741824 1073778376 140734441622752 140067808996240 224925898528 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7154/tid=7169] ppid=7151 vsize=9625040 CPUtime=0.26 cores=1,3,5,7
/proc/7154/task/7169/stat : 7169 (java) S 7151 7154 4966 0 -1 4202560 2383 0 0 0 26 0 0 0 20 0 19 0 3734850 9856040960 25850 33554432000 1073741824 1073778376 140734441622752 140067807942840 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7154/tid=7170] ppid=7151 vsize=9625040 CPUtime=0.14 cores=1,3,5,7
################
# More data... #
################
[pid=7154/tid=7166] ppid=7151 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7154/task/7166/stat : 7166 (java) S 7151 7154 4966 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 3734847 9856040960 73431 33554432000 1073741824 1073778376 140734441622752 140068549453304 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7154/tid=7167] ppid=7151 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7154/task/7167/stat : 7167 (java) S 7151 7154 4966 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 3734848 9856040960 73431 33554432000 1073741824 1073778376 140734441622752 140068548400904 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7154/tid=7168] ppid=7151 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7154/task/7168/stat : 7168 (java) S 7151 7154 4966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3734850 9856040960 73431 33554432000 1073741824 1073778376 140734441622752 140067808996240 224925898528 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7154/tid=7169] ppid=7151 vsize=9625040 CPUtime=0.28 cores=1,3,5,7
/proc/7154/task/7169/stat : 7169 (java) S 7151 7154 4966 0 -1 4202560 2458 0 0 0 28 0 0 0 20 0 19 0 3734850 9856040960 73431 33554432000 1073741824 1073778376 140734441622752 140067807942840 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7154/tid=7170] ppid=7151 vsize=9625040 CPUtime=0.14 cores=1,3,5,7
/proc/7154/task/7170/stat : 7170 (java) S 7151 7154 4966 0 -1 4202560 1993 0 0 0 14 0 0 0 20 0 19 0 3734850 9856040960 73431 33554432000 1073741824 1073778376 140734441622752 140067806890040 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7154/tid=7171] ppid=7151 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7154/task/7171/stat : 7171 (java) S 7151 7154 4966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3734850 9856040960 73431 33554432000 1073741824 1073778376 140734441622752 140067805837944 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7154/tid=7172] ppid=7151 vsize=9625040 CPUtime=0.5 cores=1,3,5,7
/proc/7154/task/7172/stat : 7172 (java) S 7151 7154 4966 0 -1 4202560 100 0 0 0 21 29 0 0 20 0 19 0 3734850 9856040960 73431 33554432000 1073741824 1073778376 140734441622752 140067804785352 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7154/tid=7173] ppid=7151 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7154/task/7173/stat : 7173 (java) S 7151 7154 4966 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 3734861 9856040960 73431 33554432000 1073741824 1073778376 140734441622752 140067803731368 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1730.85
Current children cumulated vsize (KiB) 9625040
[startup+1782.3 s]
/proc/loadavg: 2.00 2.04 2.06 3/213 7306
/proc/meminfo: memFree=30875480/32872528 swapFree=162364/176672
[pid=7154] ppid=7151 vsize=9625040 CPUtime=1791.23 cores=1,3,5,7
/proc/7154/stat : 7154 (java) S 7151 7154 4966 0 -1 4202496 11858 0 1 0 179036 87 0 0 20 0 19 0 3734845 9856040960 71980 33554432000 1073741824 1073778376 140734441622752 140734441613888 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7154/statm: 2406260 71980 2279 9 0 2396937 0
[pid=7154/tid=7155] ppid=7151 vsize=9625040 CPUtime=1776.94 cores=1,3,5,7
/proc/7154/task/7155/stat : 7155 (java) R 7151 7154 4966 0 -1 4202560 2621 0 1 0 177662 32 0 0 20 0 19 0 3734845 9856040960 71980 33554432000 1073741824 1073778376 140734441622752 140068726308064 140068564529746 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=7154/tid=7157] ppid=7151 vsize=9625040 CPUtime=1.45 cores=1,3,5,7
/proc/7154/task/7157/stat : 7157 (java) S 7151 7154 4966 0 -1 4202560 521 0 0 0 139 6 0 0 20 0 19 0 3734846 9856040960 71980 33554432000 1073741824 1073778376 140734441622752 140068687801128 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7154/tid=7158] ppid=7151 vsize=9625040 CPUtime=1.43 cores=1,3,5,7
/proc/7154/task/7158/stat : 7158 (java) S 7151 7154 4966 0 -1 4202560 468 0 0 0 136 7 0 0 20 0 19 0 3734846 9856040960 71980 33554432000 1073741824 1073778376 140734441622752 140068686748328 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7154/tid=7159] ppid=7151 vsize=9625040 CPUtime=1.53 cores=1,3,5,7
/proc/7154/task/7159/stat : 7159 (java) S 7151 7154 4966 0 -1 4202560 443 0 0 0 145 8 0 0 20 0 19 0 3734846 9856040960 71980 33554432000 1073741824 1073778376 140734441622752 140068685696040 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7154/tid=7160] ppid=7151 vsize=9625040 CPUtime=1.54 cores=1,3,5,7
/proc/7154/task/7160/stat : 7160 (java) S 7151 7154 4966 0 -1 4202560 342 0 0 0 144 10 0 0 20 0 19 0 3734846 9856040960 71980 33554432000 1073741824 1073778376 140734441622752 140068684643240 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7154/tid=7161] ppid=7151 vsize=9625040 CPUtime=1.49 cores=1,3,5,7
/proc/7154/task/7161/stat : 7161 (java) S 7151 7154 4966 0 -1 4202560 312 0 0 0 143 6 0 0 20 0 19 0 3734846 9856040960 71980 33554432000 1073741824 1073778376 140734441622752 140068683589928 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7154/tid=7162] ppid=7151 vsize=9625040 CPUtime=1.53 cores=1,3,5,7
/proc/7154/task/7162/stat : 7162 (java) S 7151 7154 4966 0 -1 4202560 290 0 0 0 145 8 0 0 20 0 19 0 3734846 9856040960 71980 33554432000 1073741824 1073778376 140734441622752 140068682537128 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7154/tid=7163] ppid=7151 vsize=9625040 CPUtime=1.47 cores=1,3,5,7
/proc/7154/task/7163/stat : 7163 (java) S 7151 7154 4966 0 -1 4202560 359 0 0 0 137 10 0 0 20 0 19 0 3734846 9856040960 71980 33554432000 1073741824 1073778376 140734441622752 140068563970600 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7154/tid=7164] ppid=7151 vsize=9625040 CPUtime=1.5 cores=1,3,5,7
/proc/7154/task/7164/stat : 7164 (java) S 7151 7154 4966 0 -1 4202560 300 0 0 0 143 7 0 0 20 0 19 0 3734846 9856040960 71980 33554432000 1073741824 1073778376 140734441622752 140068562917800 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7154/tid=7165] ppid=7151 vsize=9625040 CPUtime=1.75 cores=1,3,5,7
/proc/7154/task/7165/stat : 7165 (java) S 7151 7154 4966 0 -1 4202560 389 0 0 0 172 3 0 0 20 0 19 0 3734847 9856040960 71980 33554432000 1073741824 1073778376 140734441622752 140068550507240 224925890473 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7154/tid=7166] ppid=7151 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7154/task/7166/stat : 7166 (java) S 7151 7154 4966 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 3734847 9856040960 71980 33554432000 1073741824 1073778376 140734441622752 140068549453304 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7154/tid=7167] ppid=7151 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7154/task/7167/stat : 7167 (java) S 7151 7154 4966 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 3734848 9856040960 71980 33554432000 1073741824 1073778376 140734441622752 140068548400904 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7154/tid=7168] ppid=7151 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7154/task/7168/stat : 7168 (java) S 7151 7154 4966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3734850 9856040960 71980 33554432000 1073741824 1073778376 140734441622752 140067808996240 224925898528 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7154/tid=7169] ppid=7151 vsize=9625040 CPUtime=0.28 cores=1,3,5,7
/proc/7154/task/7169/stat : 7169 (java) S 7151 7154 4966 0 -1 4202560 2458 0 0 0 28 0 0 0 20 0 19 0 3734850 9856040960 71980 33554432000 1073741824 1073778376 140734441622752 140067807942840 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7154/tid=7170] ppid=7151 vsize=9625040 CPUtime=0.14 cores=1,3,5,7
/proc/7154/task/7170/stat : 7170 (java) S 7151 7154 4966 0 -1 4202560 1993 0 0 0 14 0 0 0 20 0 19 0 3734850 9856040960 71980 33554432000 1073741824 1073778376 140734441622752 140067806890040 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7154/tid=7171] ppid=7151 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7154/task/7171/stat : 7171 (java) S 7151 7154 4966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3734850 9856040960 71980 33554432000 1073741824 1073778376 140734441622752 140067805837944 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7154/tid=7172] ppid=7151 vsize=9625040 CPUtime=0.53 cores=1,3,5,7
/proc/7154/task/7172/stat : 7172 (java) S 7151 7154 4966 0 -1 4202560 104 0 0 0 22 31 0 0 20 0 19 0 3734850 9856040960 71980 33554432000 1073741824 1073778376 140734441622752 140067804785352 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7154/tid=7173] ppid=7151 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7154/task/7173/stat : 7173 (java) S 7151 7154 4966 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 3734861 9856040960 71980 33554432000 1073741824 1073778376 140734441622752 140067803731368 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1791.23
Current children cumulated vsize (KiB) 9625040
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1791.1 s]
/proc/loadavg: 2.00 2.03 2.06 3/213 7306
/proc/meminfo: memFree=30878084/32872528 swapFree=162364/176672
[pid=7154] ppid=7151 vsize=9625040 CPUtime=1800.08 cores=1,3,5,7
/proc/7154/stat : 7154 (java) S 7151 7154 4966 0 -1 4202496 11859 0 1 0 179920 88 0 0 20 0 19 0 3734845 9856040960 71644 33554432000 1073741824 1073778376 140734441622752 140734441613888 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7154/statm: 2406260 71644 2279 9 0 2396937 0
[pid=7154/tid=7155] ppid=7151 vsize=9625040 CPUtime=1785.72 cores=1,3,5,7
/proc/7154/task/7155/stat : 7155 (java) R 7151 7154 4966 0 -1 4202560 2622 0 1 0 178540 32 0 0 20 0 19 0 3734845 9856040960 71644 33554432000 1073741824 1073778376 140734441622752 140068726308064 140068564421516 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=7154/tid=7157] ppid=7151 vsize=9625040 CPUtime=1.45 cores=1,3,5,7
/proc/7154/task/7157/stat : 7157 (java) S 7151 7154 4966 0 -1 4202560 521 0 0 0 139 6 0 0 20 0 19 0 3734846 9856040960 71644 33554432000 1073741824 1073778376 140734441622752 140068687801128 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7154/tid=7158] ppid=7151 vsize=9625040 CPUtime=1.44 cores=1,3,5,7
/proc/7154/task/7158/stat : 7158 (java) S 7151 7154 4966 0 -1 4202560 468 0 0 0 136 8 0 0 20 0 19 0 3734846 9856040960 71644 33554432000 1073741824 1073778376 140734441622752 140068686748328 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7154/tid=7159] ppid=7151 vsize=9625040 CPUtime=1.54 cores=1,3,5,7
/proc/7154/task/7159/stat : 7159 (java) S 7151 7154 4966 0 -1 4202560 443 0 0 0 146 8 0 0 20 0 19 0 3734846 9856040960 71644 33554432000 1073741824 1073778376 140734441622752 140068685696040 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7154/tid=7160] ppid=7151 vsize=9625040 CPUtime=1.55 cores=1,3,5,7
/proc/7154/task/7160/stat : 7160 (java) S 7151 7154 4966 0 -1 4202560 342 0 0 0 145 10 0 0 20 0 19 0 3734846 9856040960 71644 33554432000 1073741824 1073778376 140734441622752 140068684643240 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7154/tid=7161] ppid=7151 vsize=9625040 CPUtime=1.49 cores=1,3,5,7
/proc/7154/task/7161/stat : 7161 (java) S 7151 7154 4966 0 -1 4202560 312 0 0 0 143 6 0 0 20 0 19 0 3734846 9856040960 71644 33554432000 1073741824 1073778376 140734441622752 140068683589928 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7154/tid=7162] ppid=7151 vsize=9625040 CPUtime=1.53 cores=1,3,5,7
/proc/7154/task/7162/stat : 7162 (java) S 7151 7154 4966 0 -1 4202560 290 0 0 0 145 8 0 0 20 0 19 0 3734846 9856040960 71644 33554432000 1073741824 1073778376 140734441622752 140068682537128 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7154/tid=7163] ppid=7151 vsize=9625040 CPUtime=1.49 cores=1,3,5,7
/proc/7154/task/7163/stat : 7163 (java) S 7151 7154 4966 0 -1 4202560 359 0 0 0 139 10 0 0 20 0 19 0 3734846 9856040960 71644 33554432000 1073741824 1073778376 140734441622752 140068563970600 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7154/tid=7164] ppid=7151 vsize=9625040 CPUtime=1.51 cores=1,3,5,7
/proc/7154/task/7164/stat : 7164 (java) S 7151 7154 4966 0 -1 4202560 300 0 0 0 144 7 0 0 20 0 19 0 3734846 9856040960 71644 33554432000 1073741824 1073778376 140734441622752 140068562917800 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7154/tid=7165] ppid=7151 vsize=9625040 CPUtime=1.75 cores=1,3,5,7
/proc/7154/task/7165/stat : 7165 (java) S 7151 7154 4966 0 -1 4202560 389 0 0 0 172 3 0 0 20 0 19 0 3734847 9856040960 71644 33554432000 1073741824 1073778376 140734441622752 140068550507240 224925890473 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7154/tid=7166] ppid=7151 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7154/task/7166/stat : 7166 (java) S 7151 7154 4966 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 3734847 9856040960 71644 33554432000 1073741824 1073778376 140734441622752 140068549453304 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7154/tid=7167] ppid=7151 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7154/task/7167/stat : 7167 (java) S 7151 7154 4966 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 3734848 9856040960 71644 33554432000 1073741824 1073778376 140734441622752 140068548400904 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7154/tid=7168] ppid=7151 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7154/task/7168/stat : 7168 (java) S 7151 7154 4966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3734850 9856040960 71644 33554432000 1073741824 1073778376 140734441622752 140067808996240 224925898528 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7154/tid=7169] ppid=7151 vsize=9625040 CPUtime=0.28 cores=1,3,5,7
/proc/7154/task/7169/stat : 7169 (java) S 7151 7154 4966 0 -1 4202560 2458 0 0 0 28 0 0 0 20 0 19 0 3734850 9856040960 71644 33554432000 1073741824 1073778376 140734441622752 140067807942840 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7154/tid=7170] ppid=7151 vsize=9625040 CPUtime=0.14 cores=1,3,5,7
/proc/7154/task/7170/stat : 7170 (java) S 7151 7154 4966 0 -1 4202560 1993 0 0 0 14 0 0 0 20 0 19 0 3734850 9856040960 71644 33554432000 1073741824 1073778376 140734441622752 140067806890040 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7154/tid=7171] ppid=7151 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7154/task/7171/stat : 7171 (java) S 7151 7154 4966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3734850 9856040960 71644 33554432000 1073741824 1073778376 140734441622752 140067805837944 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7154/tid=7172] ppid=7151 vsize=9625040 CPUtime=0.54 cores=1,3,5,7
/proc/7154/task/7172/stat : 7172 (java) S 7151 7154 4966 0 -1 4202560 104 0 0 0 23 31 0 0 20 0 19 0 3734850 9856040960 71644 33554432000 1073741824 1073778376 140734441622752 140067804785352 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7154/tid=7173] ppid=7151 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7154/task/7173/stat : 7173 (java) S 7151 7154 4966 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 3734861 9856040960 71644 33554432000 1073741824 1073778376 140734441622752 140067803731368 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 9625040
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 7154 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1791.1 s]
/proc/loadavg: 2.00 2.03 2.06 3/213 7306
/proc/meminfo: memFree=30878084/32872528 swapFree=162364/176672
[pid=7154] ppid=7151 vsize=9625040 CPUtime=1800.08 cores=1,3,5,7
/proc/7154/stat : 7154 (java) S 7151 7154 4966 0 -1 4202496 11859 0 1 0 179920 88 0 0 20 0 19 0 3734845 9856040960 71644 33554432000 1073741824 1073778376 140734441622752 140734441613888 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7154/statm: 2406260 71644 2279 9 0 2396937 0
[pid=7154/tid=7155] ppid=7151 vsize=9625040 CPUtime=1785.72 cores=1,3,5,7
/proc/7154/task/7155/stat : 7155 (java) R 7151 7154 4966 0 -1 4202560 2622 0 1 0 178540 32 0 0 20 0 19 0 3734845 9856040960 71644 33554432000 1073741824 1073778376 140734441622752 140068726308064 140068564421516 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=7154/tid=7157] ppid=7151 vsize=9625040 CPUtime=1.45 cores=1,3,5,7
/proc/7154/task/7157/stat : 7157 (java) S 7151 7154 4966 0 -1 4202560 521 0 0 0 139 6 0 0 20 0 19 0 3734846 9856040960 71644 33554432000 1073741824 1073778376 140734441622752 140068687801128 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7154/tid=7158] ppid=7151 vsize=9625040 CPUtime=1.44 cores=1,3,5,7
/proc/7154/task/7158/stat : 7158 (java) S 7151 7154 4966 0 -1 4202560 468 0 0 0 136 8 0 0 20 0 19 0 3734846 9856040960 71644 33554432000 1073741824 1073778376 140734441622752 140068686748328 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7154/tid=7159] ppid=7151 vsize=9625040 CPUtime=1.54 cores=1,3,5,7
/proc/7154/task/7159/stat : 7159 (java) S 7151 7154 4966 0 -1 4202560 443 0 0 0 146 8 0 0 20 0 19 0 3734846 9856040960 71644 33554432000 1073741824 1073778376 140734441622752 140068685696040 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7154/tid=7160] ppid=7151 vsize=9625040 CPUtime=1.55 cores=1,3,5,7
/proc/7154/task/7160/stat : 7160 (java) S 7151 7154 4966 0 -1 4202560 342 0 0 0 145 10 0 0 20 0 19 0 3734846 9856040960 71644 33554432000 1073741824 1073778376 140734441622752 140068684643240 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7154/tid=7161] ppid=7151 vsize=9625040 CPUtime=1.49 cores=1,3,5,7
/proc/7154/task/7161/stat : 7161 (java) S 7151 7154 4966 0 -1 4202560 312 0 0 0 143 6 0 0 20 0 19 0 3734846 9856040960 71644 33554432000 1073741824 1073778376 140734441622752 140068683589928 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7154/tid=7162] ppid=7151 vsize=9625040 CPUtime=1.53 cores=1,3,5,7
/proc/7154/task/7162/stat : 7162 (java) S 7151 7154 4966 0 -1 4202560 290 0 0 0 145 8 0 0 20 0 19 0 3734846 9856040960 71644 33554432000 1073741824 1073778376 140734441622752 140068682537128 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7154/tid=7163] ppid=7151 vsize=9625040 CPUtime=1.49 cores=1,3,5,7
/proc/7154/task/7163/stat : 7163 (java) S 7151 7154 4966 0 -1 4202560 359 0 0 0 139 10 0 0 20 0 19 0 3734846 9856040960 71644 33554432000 1073741824 1073778376 140734441622752 140068563970600 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7154/tid=7164] ppid=7151 vsize=9625040 CPUtime=1.51 cores=1,3,5,7
/proc/7154/task/7164/stat : 7164 (java) S 7151 7154 4966 0 -1 4202560 300 0 0 0 144 7 0 0 20 0 19 0 3734846 9856040960 71644 33554432000 1073741824 1073778376 140734441622752 140068562917800 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7154/tid=7165] ppid=7151 vsize=9625040 CPUtime=1.75 cores=1,3,5,7
/proc/7154/task/7165/stat : 7165 (java) S 7151 7154 4966 0 -1 4202560 389 0 0 0 172 3 0 0 20 0 19 0 3734847 9856040960 71644 33554432000 1073741824 1073778376 140734441622752 140068550507240 224925890473 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7154/tid=7166] ppid=7151 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7154/task/7166/stat : 7166 (java) S 7151 7154 4966 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 3734847 9856040960 71644 33554432000 1073741824 1073778376 140734441622752 140068549453304 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7154/tid=7167] ppid=7151 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7154/task/7167/stat : 7167 (java) S 7151 7154 4966 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 3734848 9856040960 71644 33554432000 1073741824 1073778376 140734441622752 140068548400904 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7154/tid=7168] ppid=7151 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7154/task/7168/stat : 7168 (java) S 7151 7154 4966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3734850 9856040960 71644 33554432000 1073741824 1073778376 140734441622752 140067808996240 224925898528 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7154/tid=7169] ppid=7151 vsize=9625040 CPUtime=0.28 cores=1,3,5,7
/proc/7154/task/7169/stat : 7169 (java) S 7151 7154 4966 0 -1 4202560 2458 0 0 0 28 0 0 0 20 0 19 0 3734850 9856040960 71644 33554432000 1073741824 1073778376 140734441622752 140067807942840 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7154/tid=7170] ppid=7151 vsize=9625040 CPUtime=0.14 cores=1,3,5,7
/proc/7154/task/7170/stat : 7170 (java) S 7151 7154 4966 0 -1 4202560 1993 0 0 0 14 0 0 0 20 0 19 0 3734850 9856040960 71644 33554432000 1073741824 1073778376 140734441622752 140067806890040 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7154/tid=7171] ppid=7151 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7154/task/7171/stat : 7171 (java) S 7151 7154 4966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3734850 9856040960 71644 33554432000 1073741824 1073778376 140734441622752 140067805837944 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7154/tid=7172] ppid=7151 vsize=9625040 CPUtime=0.54 cores=1,3,5,7
/proc/7154/task/7172/stat : 7172 (java) S 7151 7154 4966 0 -1 4202560 104 0 0 0 23 31 0 0 20 0 19 0 3734850 9856040960 71644 33554432000 1073741824 1073778376 140734441622752 140067804785352 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7154/tid=7173] ppid=7151 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7154/task/7173/stat : 7173 (java) S 7151 7154 4966 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 3734861 9856040960 71644 33554432000 1073741824 1073778376 140734441622752 140067803731368 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 9625040
Child status: 143
Real time (s): 1791.14
CPU time (s): 1800.76
CPU user time (s): 1799.33
CPU system time (s): 1.43078
CPU usage (%): 100.537
Max. virtual memory (cumulated for all children) (KiB): 9625040
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.33
system time used= 1.43078
maximum resident set size= 628176
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11901
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1720
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 42418
involuntary context switches= 34283
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 11.3913 second user time and 12.6841 second system time
The end