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-4085160-1465222546/watcher-4085160-1465222546 -o /tmp/evaluation-result-4085160-1465222546/solver-4085160-1465222546 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node107-1465220764-32604 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4085160-1465222546.opb
pid=1104
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.07 2.06 2.01 3/194 1107
/proc/meminfo: memFree=30853136/32872528 swapFree=12744/274376
[pid=1107] ppid=1104 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/1107/stat : 1107 (java) D 1104 1107 32587 0 -1 4202496 318 0 0 0 0 0 0 0 20 0 1 0 104189319 9515008 175 33554432000 1073741824 1073778376 140733442944800 140733442927528 251143209872 0 0 4096 0 18446744072100588836 0 0 17 3 0 0 0 0 0
/proc/1107/statm: 2323 175 133 9 0 71 0
[startup+0.100065 s]
/proc/loadavg: 2.07 2.06 2.01 3/194 1107
/proc/meminfo: memFree=30853136/32872528 swapFree=12744/274376
[pid=1107] ppid=1104 vsize=9558476 CPUtime=0.08 cores=1,3,5,7
/proc/1107/stat : 1107 (java) S 1104 1107 32587 0 -1 4202496 4313 0 1 0 7 1 0 0 20 0 18 0 104189319 9787879424 5439 33554432000 1073741824 1073778376 140734164260256 140734164251392 251146567741 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1107/statm: 2389619 5439 2097 9 0 2380296 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 9558476
[startup+0.200235 s]
/proc/loadavg: 2.07 2.06 2.01 3/194 1107
/proc/meminfo: memFree=30853136/32872528 swapFree=12744/274376
[pid=1107] ppid=1104 vsize=9558476 CPUtime=0.28 cores=1,3,5,7
/proc/1107/stat : 1107 (java) S 1104 1107 32587 0 -1 4202496 5063 0 1 0 27 1 0 0 20 0 18 0 104189319 9787879424 6919 33554432000 1073741824 1073778376 140734164260256 140734164251392 251146567741 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1107/statm: 2389619 6919 2220 9 0 2380296 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 9558476
[startup+0.300262 s]
/proc/loadavg: 2.07 2.06 2.01 3/194 1107
/proc/meminfo: memFree=30853136/32872528 swapFree=12744/274376
[pid=1107] ppid=1104 vsize=9558476 CPUtime=0.54 cores=1,3,5,7
/proc/1107/stat : 1107 (java) S 1104 1107 32587 0 -1 4202496 7282 0 1 0 52 2 0 0 20 0 18 0 104189319 9787879424 10762 33554432000 1073741824 1073778376 140734164260256 140734164251392 251146567741 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1107/statm: 2389619 10762 2233 9 0 2380296 0
Current children cumulated CPU time (s) 0.54
Current children cumulated vsize (KiB) 9558476
[startup+0.700132 s]
/proc/loadavg: 2.07 2.06 2.01 3/194 1107
/proc/meminfo: memFree=30853136/32872528 swapFree=12744/274376
[pid=1107] ppid=1104 vsize=9625040 CPUtime=1.25 cores=1,3,5,7
/proc/1107/stat : 1107 (java) S 1104 1107 32587 0 -1 4202496 9230 0 1 0 122 3 0 0 20 0 19 0 104189319 9856040960 12875 33554432000 1073741824 1073778376 140734164260256 140734164251392 251146567741 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1107/statm: 2406260 12875 2253 9 0 2396937 0
Current children cumulated CPU time (s) 1.25
Current children cumulated vsize (KiB) 9625040
[startup+1.50082 s]
/proc/loadavg: 2.07 2.06 2.00 3/213 1126
/proc/meminfo: memFree=30805032/32872528 swapFree=12744/274376
[pid=1107] ppid=1104 vsize=9625040 CPUtime=2.11 cores=1,3,5,7
/proc/1107/stat : 1107 (java) S 1104 1107 32587 0 -1 4202496 9348 0 1 0 208 3 0 0 20 0 19 0 104189319 9856040960 15587 33554432000 1073741824 1073778376 140734164260256 140734164251392 251146567741 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1107/statm: 2406260 15587 2260 9 0 2396937 0
[pid=1107/tid=1109] ppid=1104 vsize=9625040 CPUtime=1.46 cores=1,3,5,7
/proc/1107/task/1109/stat : 1109 (java) R 1104 1107 32587 0 -1 4202560 2421 0 1 0 144 2 0 0 20 0 19 0 104189320 9856040960 15587 33554432000 1073741824 1073778376 140734164260256 140496984256904 140496853375059 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=1107/tid=1110] ppid=1104 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/1107/task/1110/stat : 1110 (java) S 1104 1107 32587 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104189321 9856040960 15587 33554432000 1073741824 1073778376 140734164260256 140496973318824 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1107/tid=1111] ppid=1104 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/1107/task/1111/stat : 1111 (java) S 1104 1107 32587 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104189321 9856040960 15587 33554432000 1073741824 1073778376 140734164260256 140496972266280 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1107/tid=1112] ppid=1104 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/1107/task/1112/stat : 1112 (java) S 1104 1107 32587 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104189321 9856040960 15587 33554432000 1073741824 1073778376 140734164260256 140496825170856 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1107/tid=1113] ppid=1104 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/1107/task/1113/stat : 1113 (java) S 1104 1107 32587 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104189321 9856040960 15587 33554432000 1073741824 1073778376 140734164260256 140496824118312 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1107/tid=1114] ppid=1104 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/1107/task/1114/stat : 1114 (java) S 1104 1107 32587 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104189321 9856040960 15587 33554432000 1073741824 1073778376 140734164260256 140496823064744 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1107/tid=1115] ppid=1104 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/1107/task/1115/stat : 1115 (java) S 1104 1107 32587 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104189321 9856040960 15587 33554432000 1073741824 1073778376 140734164260256 140496822012200 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1107/tid=1116] ppid=1104 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/1107/task/1116/stat : 1116 (java) S 1104 1107 32587 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104189321 9856040960 15587 33554432000 1073741824 1073778376 140734164260256 140496820959656 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1107/tid=1117] ppid=1104 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/1107/task/1117/stat : 1117 (java) S 1104 1107 32587 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 104189321 9856040960 15587 33554432000 1073741824 1073778376 140734164260256 140496819907112 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1107/tid=1118] ppid=1104 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/1107/task/1118/stat : 1118 (java) S 1104 1107 32587 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 104189322 9856040960 15587 33554432000 1073741824 1073778376 140734164260256 140496807709288 251146581929 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1107/tid=1119] ppid=1104 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/1107/task/1119/stat : 1119 (java) S 1104 1107 32587 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 104189323 9856040960 15587 33554432000 1073741824 1073778376 140734164260256 140496806655608 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1107/tid=1120] ppid=1104 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/1107/task/1120/stat : 1120 (java) S 1104 1107 32587 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 104189323 9856040960 15587 33554432000 1073741824 1073778376 140734164260256 140496805602952 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1107/tid=1121] ppid=1104 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/1107/task/1121/stat : 1121 (java) S 1104 1107 32587 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104189326 9856040960 15587 33554432000 1073741824 1073778376 140734164260256 140496804551696 251146589984 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1107/tid=1122] ppid=1104 vsize=9625040 CPUtime=0.33 cores=1,3,5,7
/proc/1107/task/1122/stat : 1122 (java) S 1104 1107 32587 0 -1 4202560 3227 0 0 0 33 0 0 0 20 0 19 0 104189326 9856040960 15587 33554432000 1073741824 1073778376 140734164260256 140496803498040 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1107/tid=1123] ppid=1104 vsize=9625040 CPUtime=0.28 cores=1,3,5,7
/proc/1107/task/1123/stat : 1123 (java) S 1104 1107 32587 0 -1 4202560 2423 0 0 0 28 0 0 0 20 0 19 0 104189326 9856040960 15587 33554432000 1073741824 1073778376 140734164260256 140496802445496 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1107/tid=1124] ppid=1104 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/1107/task/1124/stat : 1124 (java) S 1104 1107 32587 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104189326 9856040960 15587 33554432000 1073741824 1073778376 140734164260256 140496801393144 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1107/tid=1125] ppid=1104 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/1107/task/1125/stat : 1125 (java) S 1104 1107 32587 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104189326 9856040960 15587 33554432000 1073741824 1073778376 140734164260256 140496800340808 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1107/tid=1126] ppid=1104 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/1107/task/1126/stat : 1126 (java) S 1104 1107 32587 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 104189351 9856040960 15587 33554432000 1073741824 1073778376 140734164260256 140496799286568 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 2.11
Current children cumulated vsize (KiB) 9625040
[startup+3.1008 s]
/proc/loadavg: 2.07 2.06 2.00 3/213 1126
/proc/meminfo: memFree=30790200/32872528 swapFree=12744/274376
[pid=1107] ppid=1104 vsize=9625040 CPUtime=3.77 cores=1,3,5,7
/proc/1107/stat : 1107 (java) S 1104 1107 32587 0 -1 4202496 9362 0 1 0 374 3 0 0 20 0 19 0 104189319 9856040960 21220 33554432000 1073741824 1073778376 140734164260256 140734164251392 251146567741 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1107/statm: 2406260 21220 2260 9 0 2396937 0
[pid=1107/tid=1109] ppid=1104 vsize=9625040 CPUtime=3.06 cores=1,3,5,7
/proc/1107/task/1109/stat : 1109 (java) R 1104 1107 32587 0 -1 4202560 2433 0 1 0 304 2 0 0 20 0 19 0 104189320 9856040960 21220 33554432000 1073741824 1073778376 140734164260256 140496984248032 140496853351593 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=1107/tid=1110] ppid=1104 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/1107/task/1110/stat : 1110 (java) S 1104 1107 32587 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104189321 9856040960 21220 33554432000 1073741824 1073778376 140734164260256 140496973318824 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1107/tid=1111] ppid=1104 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/1107/task/1111/stat : 1111 (java) S 1104 1107 32587 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104189321 9856040960 21220 33554432000 1073741824 1073778376 140734164260256 140496972266280 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1107/tid=1112] ppid=1104 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/1107/task/1112/stat : 1112 (java) S 1104 1107 32587 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104189321 9856040960 21220 33554432000 1073741824 1073778376 140734164260256 140496825170856 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1107/tid=1113] ppid=1104 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/1107/task/1113/stat : 1113 (java) S 1104 1107 32587 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104189321 9856040960 21220 33554432000 1073741824 1073778376 140734164260256 140496824118312 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1107/tid=1114] ppid=1104 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/1107/task/1114/stat : 1114 (java) S 1104 1107 32587 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104189321 9856040960 21220 33554432000 1073741824 1073778376 140734164260256 140496823064744 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1107/tid=1115] ppid=1104 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/1107/task/1115/stat : 1115 (java) S 1104 1107 32587 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104189321 9856040960 21220 33554432000 1073741824 1073778376 140734164260256 140496822012200 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1107/tid=1116] ppid=1104 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/1107/task/1116/stat : 1116 (java) S 1104 1107 32587 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104189321 9856040960 21220 33554432000 1073741824 1073778376 140734164260256 140496820959656 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1107/tid=1117] ppid=1104 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/1107/task/1117/stat : 1117 (java) S 1104 1107 32587 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 104189321 9856040960 21220 33554432000 1073741824 1073778376 140734164260256 140496819907112 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1107/tid=1118] ppid=1104 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/1107/task/1118/stat : 1118 (java) S 1104 1107 32587 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 104189322 9856040960 21220 33554432000 1073741824 1073778376 140734164260256 140496807709288 251146581929 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1107/tid=1119] ppid=1104 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/1107/task/1119/stat : 1119 (java) S 1104 1107 32587 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 104189323 9856040960 21220 33554432000 1073741824 1073778376 140734164260256 140496806655608 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1107/tid=1120] ppid=1104 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/1107/task/1120/stat : 1120 (java) S 1104 1107 32587 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 104189323 9856040960 21220 33554432000 1073741824 1073778376 140734164260256 140496805602952 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1107/tid=1121] ppid=1104 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/1107/task/1121/stat : 1121 (java) S 1104 1107 32587 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104189326 9856040960 21220 33554432000 1073741824 1073778376 140734164260256 140496804551696 251146589984 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1107/tid=1122] ppid=1104 vsize=9625040 CPUtime=0.34 cores=1,3,5,7
/proc/1107/task/1122/stat : 1122 (java) S 1104 1107 32587 0 -1 4202560 3227 0 0 0 34 0 0 0 20 0 19 0 104189326 9856040960 21220 33554432000 1073741824 1073778376 140734164260256 140496803498040 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1107/tid=1123] ppid=1104 vsize=9625040 CPUtime=0.33 cores=1,3,5,7
/proc/1107/task/1123/stat : 1123 (java) S 1104 1107 32587 0 -1 4202560 2425 0 0 0 33 0 0 0 20 0 19 0 104189326 9856040960 21220 33554432000 1073741824 1073778376 140734164260256 140496802445496 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1107/tid=1124] ppid=1104 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/1107/task/1124/stat : 1124 (java) S 1104 1107 32587 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104189326 9856040960 21220 33554432000 1073741824 1073778376 140734164260256 140496801393144 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1107/tid=1125] ppid=1104 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/1107/task/1125/stat : 1125 (java) S 1104 1107 32587 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104189326 9856040960 21220 33554432000 1073741824 1073778376 140734164260256 140496800340808 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1107/tid=1126] ppid=1104 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/1107/task/1126/stat : 1126 (java) S 1104 1107 32587 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 104189351 9856040960 21220 33554432000 1073741824 1073778376 140734164260256 140496799286568 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.77
Current children cumulated vsize (KiB) 9625040
[startup+6.30084 s]
/proc/loadavg: 2.06 2.06 2.00 3/213 1126
/proc/meminfo: memFree=30743008/32872528 swapFree=12744/274376
[pid=1107] ppid=1104 vsize=9625040 CPUtime=6.97 cores=1,3,5,7
/proc/1107/stat : 1107 (java) S 1104 1107 32587 0 -1 4202496 9384 0 1 0 693 4 0 0 20 0 19 0 104189319 9856040960 31461 33554432000 1073741824 1073778376 140734164260256 140734164251392 251146567741 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1107/statm: 2406260 31461 2261 9 0 2396937 0
[pid=1107/tid=1109] ppid=1104 vsize=9625040 CPUtime=6.26 cores=1,3,5,7
/proc/1107/task/1109/stat : 1109 (java) R 1104 1107 32587 0 -1 4202560 2454 0 1 0 623 3 0 0 20 0 19 0 104189320 9856040960 31461 33554432000 1073741824 1073778376 140734164260256 140496984248016 140496853351480 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=1107/tid=1110] ppid=1104 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/1107/task/1110/stat : 1110 (java) S 1104 1107 32587 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104189321 9856040960 31461 33554432000 1073741824 1073778376 140734164260256 140496973318824 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1107/tid=1111] ppid=1104 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/1107/task/1111/stat : 1111 (java) S 1104 1107 32587 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104189321 9856040960 31461 33554432000 1073741824 1073778376 140734164260256 140496972266280 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1107/tid=1112] ppid=1104 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/1107/task/1112/stat : 1112 (java) S 1104 1107 32587 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104189321 9856040960 31461 33554432000 1073741824 1073778376 140734164260256 140496825170856 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1107/tid=1113] ppid=1104 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/1107/task/1113/stat : 1113 (java) S 1104 1107 32587 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104189321 9856040960 31461 33554432000 1073741824 1073778376 140734164260256 140496824118312 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1107/tid=1114] ppid=1104 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/1107/task/1114/stat : 1114 (java) S 1104 1107 32587 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104189321 9856040960 31461 33554432000 1073741824 1073778376 140734164260256 140496823064744 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1107/tid=1115] ppid=1104 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/1107/task/1115/stat : 1115 (java) S 1104 1107 32587 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104189321 9856040960 31461 33554432000 1073741824 1073778376 140734164260256 140496822012200 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1107/tid=1116] ppid=1104 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/1107/task/1116/stat : 1116 (java) S 1104 1107 32587 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104189321 9856040960 31461 33554432000 1073741824 1073778376 140734164260256 140496820959656 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1107/tid=1117] ppid=1104 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/1107/task/1117/stat : 1117 (java) S 1104 1107 32587 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 104189321 9856040960 31461 33554432000 1073741824 1073778376 140734164260256 140496819907112 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1107/tid=1118] ppid=1104 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/1107/task/1118/stat : 1118 (java) S 1104 1107 32587 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 104189322 9856040960 31461 33554432000 1073741824 1073778376 140734164260256 140496807709288 251146581929 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1107/tid=1119] ppid=1104 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/1107/task/1119/stat : 1119 (java) S 1104 1107 32587 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 104189323 9856040960 31461 33554432000 1073741824 1073778376 140734164260256 140496806655608 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1107/tid=1120] ppid=1104 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/1107/task/1120/stat : 1120 (java) S 1104 1107 32587 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 104189323 9856040960 31461 33554432000 1073741824 1073778376 140734164260256 140496805602952 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1107/tid=1121] ppid=1104 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/1107/task/1121/stat : 1121 (java) S 1104 1107 32587 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104189326 9856040960 31461 33554432000 1073741824 1073778376 140734164260256 140496804551696 251146589984 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1107/tid=1122] ppid=1104 vsize=9625040 CPUtime=0.34 cores=1,3,5,7
/proc/1107/task/1122/stat : 1122 (java) S 1104 1107 32587 0 -1 4202560 3227 0 0 0 34 0 0 0 20 0 19 0 104189326 9856040960 31461 33554432000 1073741824 1073778376 140734164260256 140496803498040 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1107/tid=1123] ppid=1104 vsize=9625040 CPUtime=0.33 cores=1,3,5,7
/proc/1107/task/1123/stat : 1123 (java) S 1104 1107 32587 0 -1 4202560 2425 0 0 0 33 0 0 0 20 0 19 0 104189326 9856040960 31461 33554432000 1073741824 1073778376 140734164260256 140496802445496 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1107/tid=1124] ppid=1104 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/1107/task/1124/stat : 1124 (java) S 1104 1107 32587 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104189326 9856040960 31461 33554432000 1073741824 1073778376 140734164260256 140496801393144 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1107/tid=1125] ppid=1104 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/1107/task/1125/stat : 1125 (java) S 1104 1107 32587 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 104189326 9856040960 31461 33554432000 1073741824 1073778376 140734164260256 140496800340808 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1107/tid=1126] ppid=1104 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/1107/task/1126/stat : 1126 (java) S 1104 1107 32587 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 104189351 9856040960 31461 33554432000 1073741824 1073778376 140734164260256 140496799286568 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.97
Current children cumulated vsize (KiB) 9625040
################
# More data... #
################
[pid=1107/tid=1119] ppid=1104 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/1107/task/1119/stat : 1119 (java) S 1104 1107 32587 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 104189323 9856040960 190107 33554432000 1073741824 1073778376 140734164260256 140496806655608 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1107/tid=1120] ppid=1104 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/1107/task/1120/stat : 1120 (java) S 1104 1107 32587 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 104189323 9856040960 190107 33554432000 1073741824 1073778376 140734164260256 140496805602952 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1107/tid=1121] ppid=1104 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/1107/task/1121/stat : 1121 (java) S 1104 1107 32587 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104189326 9856040960 190107 33554432000 1073741824 1073778376 140734164260256 140496804551696 251146589984 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1107/tid=1122] ppid=1104 vsize=9625040 CPUtime=1.35 cores=1,3,5,7
/proc/1107/task/1122/stat : 1122 (java) S 1104 1107 32587 0 -1 4202560 16983 0 0 0 133 2 0 0 20 0 19 0 104189326 9856040960 190107 33554432000 1073741824 1073778376 140734164260256 140496803498040 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1107/tid=1123] ppid=1104 vsize=9625040 CPUtime=0.68 cores=1,3,5,7
/proc/1107/task/1123/stat : 1123 (java) S 1104 1107 32587 0 -1 4202560 9181 0 0 0 66 2 0 0 20 0 19 0 104189326 9856040960 190107 33554432000 1073741824 1073778376 140734164260256 140496802445496 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1107/tid=1124] ppid=1104 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/1107/task/1124/stat : 1124 (java) S 1104 1107 32587 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104189326 9856040960 190107 33554432000 1073741824 1073778376 140734164260256 140496801393144 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1107/tid=1125] ppid=1104 vsize=9625040 CPUtime=0.58 cores=1,3,5,7
/proc/1107/task/1125/stat : 1125 (java) S 1104 1107 32587 0 -1 4202560 96 0 0 0 30 28 0 0 20 0 19 0 104189326 9856040960 190107 33554432000 1073741824 1073778376 140734164260256 140496800340808 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1107/tid=1126] ppid=1104 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/1107/task/1126/stat : 1126 (java) S 1104 1107 32587 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 104189351 9856040960 190107 33554432000 1073741824 1073778376 140734164260256 140496799286568 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1685.18
Current children cumulated vsize (KiB) 9625040
[startup+1722.3 s]
/proc/loadavg: 2.04 2.05 2.01 3/213 1233
/proc/meminfo: memFree=30790004/32872528 swapFree=12744/274376
[pid=1107] ppid=1104 vsize=9625040 CPUtime=1745.66 cores=1,3,5,7
/proc/1107/stat : 1107 (java) S 1104 1107 32587 0 -1 4202496 44602 0 1 0 174346 220 0 0 20 0 19 0 104189319 9856040960 188993 33554432000 1073741824 1073778376 140734164260256 140734164251392 251146567741 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1107/statm: 2406260 188993 2286 9 0 2396937 0
[pid=1107/tid=1109] ppid=1104 vsize=9625040 CPUtime=1707.61 cores=1,3,5,7
/proc/1107/task/1109/stat : 1109 (java) R 1104 1107 32587 0 -1 4202560 2843 0 1 0 170730 31 0 0 20 0 19 0 104189320 9856040960 188993 33554432000 1073741824 1073778376 140734164260256 140496984255664 140496853396012 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=1107/tid=1110] ppid=1104 vsize=9625040 CPUtime=3.77 cores=1,3,5,7
/proc/1107/task/1110/stat : 1110 (java) S 1104 1107 32587 0 -1 4202560 1970 0 0 0 352 25 0 0 20 0 19 0 104189321 9856040960 188993 33554432000 1073741824 1073778376 140734164260256 140496973318824 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1107/tid=1111] ppid=1104 vsize=9625040 CPUtime=3.61 cores=1,3,5,7
/proc/1107/task/1111/stat : 1111 (java) S 1104 1107 32587 0 -1 4202560 1744 0 0 0 337 24 0 0 20 0 19 0 104189321 9856040960 188993 33554432000 1073741824 1073778376 140734164260256 140496972266280 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1107/tid=1112] ppid=1104 vsize=9625040 CPUtime=3.5 cores=1,3,5,7
/proc/1107/task/1112/stat : 1112 (java) S 1104 1107 32587 0 -1 4202560 1323 0 0 0 325 25 0 0 20 0 19 0 104189321 9856040960 188993 33554432000 1073741824 1073778376 140734164260256 140496825170856 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1107/tid=1113] ppid=1104 vsize=9625040 CPUtime=3.62 cores=1,3,5,7
/proc/1107/task/1113/stat : 1113 (java) S 1104 1107 32587 0 -1 4202560 1483 0 0 0 338 24 0 0 20 0 19 0 104189321 9856040960 188993 33554432000 1073741824 1073778376 140734164260256 140496824118312 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1107/tid=1114] ppid=1104 vsize=9625040 CPUtime=3.75 cores=1,3,5,7
/proc/1107/task/1114/stat : 1114 (java) S 1104 1107 32587 0 -1 4202560 1411 0 0 0 356 19 0 0 20 0 19 0 104189321 9856040960 188993 33554432000 1073741824 1073778376 140734164260256 140496823064744 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1107/tid=1115] ppid=1104 vsize=9625040 CPUtime=3.76 cores=1,3,5,7
/proc/1107/task/1115/stat : 1115 (java) S 1104 1107 32587 0 -1 4202560 1390 0 0 0 355 21 0 0 20 0 19 0 104189321 9856040960 188993 33554432000 1073741824 1073778376 140734164260256 140496822012200 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1107/tid=1116] ppid=1104 vsize=9625040 CPUtime=3.83 cores=1,3,5,7
/proc/1107/task/1116/stat : 1116 (java) S 1104 1107 32587 0 -1 4202560 1668 0 0 0 360 23 0 0 20 0 19 0 104189321 9856040960 188993 33554432000 1073741824 1073778376 140734164260256 140496820959656 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1107/tid=1117] ppid=1104 vsize=9625040 CPUtime=3.63 cores=1,3,5,7
/proc/1107/task/1117/stat : 1117 (java) S 1104 1107 32587 0 -1 4202560 1528 0 0 0 344 19 0 0 20 0 19 0 104189321 9856040960 188993 33554432000 1073741824 1073778376 140734164260256 140496819907112 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1107/tid=1118] ppid=1104 vsize=9625040 CPUtime=6.14 cores=1,3,5,7
/proc/1107/task/1118/stat : 1118 (java) S 1104 1107 32587 0 -1 4202560 1715 0 0 0 609 5 0 0 20 0 19 0 104189322 9856040960 188993 33554432000 1073741824 1073778376 140734164260256 140496807709288 251146581929 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1107/tid=1119] ppid=1104 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/1107/task/1119/stat : 1119 (java) S 1104 1107 32587 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 104189323 9856040960 188993 33554432000 1073741824 1073778376 140734164260256 140496806655608 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1107/tid=1120] ppid=1104 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/1107/task/1120/stat : 1120 (java) S 1104 1107 32587 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 104189323 9856040960 188993 33554432000 1073741824 1073778376 140734164260256 140496805602952 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1107/tid=1121] ppid=1104 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/1107/task/1121/stat : 1121 (java) S 1104 1107 32587 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104189326 9856040960 188993 33554432000 1073741824 1073778376 140734164260256 140496804551696 251146589984 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1107/tid=1122] ppid=1104 vsize=9625040 CPUtime=1.35 cores=1,3,5,7
/proc/1107/task/1122/stat : 1122 (java) S 1104 1107 32587 0 -1 4202560 16983 0 0 0 133 2 0 0 20 0 19 0 104189326 9856040960 188993 33554432000 1073741824 1073778376 140734164260256 140496803498040 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1107/tid=1123] ppid=1104 vsize=9625040 CPUtime=0.68 cores=1,3,5,7
/proc/1107/task/1123/stat : 1123 (java) S 1104 1107 32587 0 -1 4202560 9181 0 0 0 66 2 0 0 20 0 19 0 104189326 9856040960 188993 33554432000 1073741824 1073778376 140734164260256 140496802445496 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1107/tid=1124] ppid=1104 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/1107/task/1124/stat : 1124 (java) S 1104 1107 32587 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104189326 9856040960 188993 33554432000 1073741824 1073778376 140734164260256 140496801393144 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1107/tid=1125] ppid=1104 vsize=9625040 CPUtime=0.6 cores=1,3,5,7
/proc/1107/task/1125/stat : 1125 (java) S 1104 1107 32587 0 -1 4202560 100 0 0 0 31 29 0 0 20 0 19 0 104189326 9856040960 188993 33554432000 1073741824 1073778376 140734164260256 140496800340808 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1107/tid=1126] ppid=1104 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/1107/task/1126/stat : 1126 (java) S 1104 1107 32587 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 104189351 9856040960 188993 33554432000 1073741824 1073778376 140734164260256 140496799286568 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1745.66
Current children cumulated vsize (KiB) 9625040
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1775.9 s]
/proc/loadavg: 2.02 2.04 2.00 3/213 1234
/proc/meminfo: memFree=30853292/32872528 swapFree=12744/274376
[pid=1107] ppid=1104 vsize=9625040 CPUtime=1800.05 cores=1,3,5,7
/proc/1107/stat : 1107 (java) S 1104 1107 32587 0 -1 4202496 44721 0 1 0 179783 222 0 0 20 0 19 0 104189319 9856040960 183362 33554432000 1073741824 1073778376 140734164260256 140734164251392 251146567741 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1107/statm: 2406260 183362 2286 9 0 2396937 0
[pid=1107/tid=1109] ppid=1104 vsize=9625040 CPUtime=1760.54 cores=1,3,5,7
/proc/1107/task/1109/stat : 1109 (java) R 1104 1107 32587 0 -1 4202560 2856 0 1 0 176022 32 0 0 20 0 19 0 104189320 9856040960 183362 33554432000 1073741824 1073778376 140734164260256 140496984255664 140496853395920 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=1107/tid=1110] ppid=1104 vsize=9625040 CPUtime=3.9 cores=1,3,5,7
/proc/1107/task/1110/stat : 1110 (java) S 1104 1107 32587 0 -1 4202560 1970 0 0 0 365 25 0 0 20 0 19 0 104189321 9856040960 183362 33554432000 1073741824 1073778376 140734164260256 140496973318824 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1107/tid=1111] ppid=1104 vsize=9625040 CPUtime=3.77 cores=1,3,5,7
/proc/1107/task/1111/stat : 1111 (java) S 1104 1107 32587 0 -1 4202560 1744 0 0 0 353 24 0 0 20 0 19 0 104189321 9856040960 183362 33554432000 1073741824 1073778376 140734164260256 140496972266280 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1107/tid=1112] ppid=1104 vsize=9625040 CPUtime=3.63 cores=1,3,5,7
/proc/1107/task/1112/stat : 1112 (java) S 1104 1107 32587 0 -1 4202560 1323 0 0 0 338 25 0 0 20 0 19 0 104189321 9856040960 183362 33554432000 1073741824 1073778376 140734164260256 140496825170856 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1107/tid=1113] ppid=1104 vsize=9625040 CPUtime=3.75 cores=1,3,5,7
/proc/1107/task/1113/stat : 1113 (java) S 1104 1107 32587 0 -1 4202560 1483 0 0 0 351 24 0 0 20 0 19 0 104189321 9856040960 183362 33554432000 1073741824 1073778376 140734164260256 140496824118312 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1107/tid=1114] ppid=1104 vsize=9625040 CPUtime=3.86 cores=1,3,5,7
/proc/1107/task/1114/stat : 1114 (java) S 1104 1107 32587 0 -1 4202560 1411 0 0 0 367 19 0 0 20 0 19 0 104189321 9856040960 183362 33554432000 1073741824 1073778376 140734164260256 140496823064744 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1107/tid=1115] ppid=1104 vsize=9625040 CPUtime=3.87 cores=1,3,5,7
/proc/1107/task/1115/stat : 1115 (java) S 1104 1107 32587 0 -1 4202560 1390 0 0 0 366 21 0 0 20 0 19 0 104189321 9856040960 183362 33554432000 1073741824 1073778376 140734164260256 140496822012200 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1107/tid=1116] ppid=1104 vsize=9625040 CPUtime=4.02 cores=1,3,5,7
/proc/1107/task/1116/stat : 1116 (java) S 1104 1107 32587 0 -1 4202560 1668 0 0 0 379 23 0 0 20 0 19 0 104189321 9856040960 183362 33554432000 1073741824 1073778376 140734164260256 140496820959656 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1107/tid=1117] ppid=1104 vsize=9625040 CPUtime=3.79 cores=1,3,5,7
/proc/1107/task/1117/stat : 1117 (java) S 1104 1107 32587 0 -1 4202560 1528 0 0 0 360 19 0 0 20 0 19 0 104189321 9856040960 183362 33554432000 1073741824 1073778376 140734164260256 140496819907112 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1107/tid=1118] ppid=1104 vsize=9625040 CPUtime=6.48 cores=1,3,5,7
/proc/1107/task/1118/stat : 1118 (java) S 1104 1107 32587 0 -1 4202560 1820 0 0 0 642 6 0 0 20 0 19 0 104189322 9856040960 183362 33554432000 1073741824 1073778376 140734164260256 140496807709288 251146581929 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1107/tid=1119] ppid=1104 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/1107/task/1119/stat : 1119 (java) S 1104 1107 32587 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 104189323 9856040960 183362 33554432000 1073741824 1073778376 140734164260256 140496806655608 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1107/tid=1120] ppid=1104 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/1107/task/1120/stat : 1120 (java) S 1104 1107 32587 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 104189323 9856040960 183362 33554432000 1073741824 1073778376 140734164260256 140496805602952 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1107/tid=1121] ppid=1104 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/1107/task/1121/stat : 1121 (java) S 1104 1107 32587 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104189326 9856040960 183362 33554432000 1073741824 1073778376 140734164260256 140496804551696 251146589984 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1107/tid=1122] ppid=1104 vsize=9625040 CPUtime=1.35 cores=1,3,5,7
/proc/1107/task/1122/stat : 1122 (java) S 1104 1107 32587 0 -1 4202560 16983 0 0 0 133 2 0 0 20 0 19 0 104189326 9856040960 183362 33554432000 1073741824 1073778376 140734164260256 140496803498040 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1107/tid=1123] ppid=1104 vsize=9625040 CPUtime=0.68 cores=1,3,5,7
/proc/1107/task/1123/stat : 1123 (java) S 1104 1107 32587 0 -1 4202560 9181 0 0 0 66 2 0 0 20 0 19 0 104189326 9856040960 183362 33554432000 1073741824 1073778376 140734164260256 140496802445496 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1107/tid=1124] ppid=1104 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/1107/task/1124/stat : 1124 (java) S 1104 1107 32587 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104189326 9856040960 183362 33554432000 1073741824 1073778376 140734164260256 140496801393144 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1107/tid=1125] ppid=1104 vsize=9625040 CPUtime=0.62 cores=1,3,5,7
/proc/1107/task/1125/stat : 1125 (java) S 1104 1107 32587 0 -1 4202560 101 0 0 0 32 30 0 0 20 0 19 0 104189326 9856040960 183362 33554432000 1073741824 1073778376 140734164260256 140496800340808 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1107/tid=1126] ppid=1104 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/1107/task/1126/stat : 1126 (java) S 1104 1107 32587 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 104189351 9856040960 183362 33554432000 1073741824 1073778376 140734164260256 140496799286568 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
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 1107 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1775.9 s]
/proc/loadavg: 2.02 2.04 2.00 3/213 1234
/proc/meminfo: memFree=30853292/32872528 swapFree=12744/274376
[pid=1107] ppid=1104 vsize=9625040 CPUtime=1800.05 cores=1,3,5,7
/proc/1107/stat : 1107 (java) S 1104 1107 32587 0 -1 4202496 44721 0 1 0 179783 222 0 0 20 0 19 0 104189319 9856040960 183362 33554432000 1073741824 1073778376 140734164260256 140734164251392 251146567741 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1107/statm: 2406260 183362 2286 9 0 2396937 0
[pid=1107/tid=1109] ppid=1104 vsize=9625040 CPUtime=1760.54 cores=1,3,5,7
/proc/1107/task/1109/stat : 1109 (java) R 1104 1107 32587 0 -1 4202560 2856 0 1 0 176022 32 0 0 20 0 19 0 104189320 9856040960 183362 33554432000 1073741824 1073778376 140734164260256 140496984255664 140496853395920 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=1107/tid=1110] ppid=1104 vsize=9625040 CPUtime=3.9 cores=1,3,5,7
/proc/1107/task/1110/stat : 1110 (java) S 1104 1107 32587 0 -1 4202560 1970 0 0 0 365 25 0 0 20 0 19 0 104189321 9856040960 183362 33554432000 1073741824 1073778376 140734164260256 140496973318824 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1107/tid=1111] ppid=1104 vsize=9625040 CPUtime=3.77 cores=1,3,5,7
/proc/1107/task/1111/stat : 1111 (java) S 1104 1107 32587 0 -1 4202560 1744 0 0 0 353 24 0 0 20 0 19 0 104189321 9856040960 183362 33554432000 1073741824 1073778376 140734164260256 140496972266280 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1107/tid=1112] ppid=1104 vsize=9625040 CPUtime=3.63 cores=1,3,5,7
/proc/1107/task/1112/stat : 1112 (java) S 1104 1107 32587 0 -1 4202560 1323 0 0 0 338 25 0 0 20 0 19 0 104189321 9856040960 183362 33554432000 1073741824 1073778376 140734164260256 140496825170856 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1107/tid=1113] ppid=1104 vsize=9625040 CPUtime=3.75 cores=1,3,5,7
/proc/1107/task/1113/stat : 1113 (java) S 1104 1107 32587 0 -1 4202560 1483 0 0 0 351 24 0 0 20 0 19 0 104189321 9856040960 183362 33554432000 1073741824 1073778376 140734164260256 140496824118312 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1107/tid=1114] ppid=1104 vsize=9625040 CPUtime=3.86 cores=1,3,5,7
/proc/1107/task/1114/stat : 1114 (java) S 1104 1107 32587 0 -1 4202560 1411 0 0 0 367 19 0 0 20 0 19 0 104189321 9856040960 183362 33554432000 1073741824 1073778376 140734164260256 140496823064744 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1107/tid=1115] ppid=1104 vsize=9625040 CPUtime=3.87 cores=1,3,5,7
/proc/1107/task/1115/stat : 1115 (java) S 1104 1107 32587 0 -1 4202560 1390 0 0 0 366 21 0 0 20 0 19 0 104189321 9856040960 183362 33554432000 1073741824 1073778376 140734164260256 140496822012200 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1107/tid=1116] ppid=1104 vsize=9625040 CPUtime=4.02 cores=1,3,5,7
/proc/1107/task/1116/stat : 1116 (java) S 1104 1107 32587 0 -1 4202560 1668 0 0 0 379 23 0 0 20 0 19 0 104189321 9856040960 183362 33554432000 1073741824 1073778376 140734164260256 140496820959656 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1107/tid=1117] ppid=1104 vsize=9625040 CPUtime=3.79 cores=1,3,5,7
/proc/1107/task/1117/stat : 1117 (java) S 1104 1107 32587 0 -1 4202560 1528 0 0 0 360 19 0 0 20 0 19 0 104189321 9856040960 183362 33554432000 1073741824 1073778376 140734164260256 140496819907112 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1107/tid=1118] ppid=1104 vsize=9625040 CPUtime=6.48 cores=1,3,5,7
/proc/1107/task/1118/stat : 1118 (java) S 1104 1107 32587 0 -1 4202560 1820 0 0 0 642 6 0 0 20 0 19 0 104189322 9856040960 183362 33554432000 1073741824 1073778376 140734164260256 140496807709288 251146581929 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1107/tid=1119] ppid=1104 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/1107/task/1119/stat : 1119 (java) S 1104 1107 32587 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 104189323 9856040960 183362 33554432000 1073741824 1073778376 140734164260256 140496806655608 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1107/tid=1120] ppid=1104 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/1107/task/1120/stat : 1120 (java) S 1104 1107 32587 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 104189323 9856040960 183362 33554432000 1073741824 1073778376 140734164260256 140496805602952 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1107/tid=1121] ppid=1104 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/1107/task/1121/stat : 1121 (java) S 1104 1107 32587 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104189326 9856040960 183362 33554432000 1073741824 1073778376 140734164260256 140496804551696 251146589984 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1107/tid=1122] ppid=1104 vsize=9625040 CPUtime=1.35 cores=1,3,5,7
/proc/1107/task/1122/stat : 1122 (java) S 1104 1107 32587 0 -1 4202560 16983 0 0 0 133 2 0 0 20 0 19 0 104189326 9856040960 183362 33554432000 1073741824 1073778376 140734164260256 140496803498040 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1107/tid=1123] ppid=1104 vsize=9625040 CPUtime=0.68 cores=1,3,5,7
/proc/1107/task/1123/stat : 1123 (java) S 1104 1107 32587 0 -1 4202560 9181 0 0 0 66 2 0 0 20 0 19 0 104189326 9856040960 183362 33554432000 1073741824 1073778376 140734164260256 140496802445496 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1107/tid=1124] ppid=1104 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/1107/task/1124/stat : 1124 (java) S 1104 1107 32587 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104189326 9856040960 183362 33554432000 1073741824 1073778376 140734164260256 140496801393144 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1107/tid=1125] ppid=1104 vsize=9625040 CPUtime=0.62 cores=1,3,5,7
/proc/1107/task/1125/stat : 1125 (java) S 1104 1107 32587 0 -1 4202560 101 0 0 0 32 30 0 0 20 0 19 0 104189326 9856040960 183362 33554432000 1073741824 1073778376 140734164260256 140496800340808 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1107/tid=1126] ppid=1104 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/1107/task/1126/stat : 1126 (java) S 1104 1107 32587 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 104189351 9856040960 183362 33554432000 1073741824 1073778376 140734164260256 140496799286568 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 9625040
Child status: 143
Real time (s): 1775.94
CPU time (s): 1800.57
CPU user time (s): 1797.91
CPU system time (s): 2.66259
CPU usage (%): 101.387
Max. virtual memory (cumulated for all children) (KiB): 9625040
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.91
system time used= 2.6626
maximum resident set size= 872740
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 44759
page faults= 1
swaps= 0
block input operations= 16
block output operations= 1768
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 48951
involuntary context switches= 47989
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 12.0232 second user time and 12.1332 second system time
The end