runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 935)
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-3291789-1303791883/watcher-3291789-1303791883 -o /tmp/evaluation-result-3291789-1303791883/solver-3291789-1303791883 -C 2400 -W 1300 -M 7680 java -server -XX:MaxPermSize=256m -Xms7000m -Xmx7000m -jar org.sat4j.core.jar HOME/instance-3291789-1303791883.cnf
running on 2 cores: 1,3
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 7864320 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 7915520 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.99 3.82 3.81 4/221 12451
/proc/meminfo: memFree=14538244/32950928 swapFree=67111528/67111528
[pid=12451] ppid=12449 vsize=11800 CPUtime=0 cores=1,3
/proc/12451/stat : 12451 (runsolver) R 12449 12451 12362 0 -1 4202560 43 0 0 0 0 0 0 0 21 0 1 0 490787115 12083200 51 33554432000 4194304 5434984 140737190510048 18446744073709551615 4881607 0 2147483391 4096 24578 0 0 0 17 3 0 0 0
/proc/12451/statm: 2950 51 31 303 0 2644 0
[startup+0.065746 s]
/proc/loadavg: 2.99 3.82 3.81 4/221 12451
/proc/meminfo: memFree=14538244/32950928 swapFree=67111528/67111528
[pid=12451] ppid=12449 vsize=7569804 CPUtime=0.05 cores=1,3
/proc/12451/stat : 12451 (java) S 12449 12451 12362 0 -1 4202496 9237 0 1 0 4 1 0 0 21 0 18 0 490787115 7751479296 8932 33554432000 1073741824 1073778376 140736878553936 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/12451/statm: 1892451 8932 1738 9 0 1883189 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 7569804
[startup+0.100739 s]
/proc/loadavg: 2.99 3.82 3.81 4/221 12451
/proc/meminfo: memFree=14538244/32950928 swapFree=67111528/67111528
[pid=12451] ppid=12449 vsize=7636064 CPUtime=0.1 cores=1,3
/proc/12451/stat : 12451 (java) S 12449 12451 12362 0 -1 4202496 10802 0 1 0 9 1 0 0 21 0 18 0 490787115 7819329536 10497 33554432000 1073741824 1073778376 140736878553936 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/12451/statm: 1909016 10497 2089 9 0 1899754 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 7636064
[startup+0.300703 s]
/proc/loadavg: 2.99 3.82 3.81 4/221 12451
/proc/meminfo: memFree=14538244/32950928 swapFree=67111528/67111528
[pid=12451] ppid=12449 vsize=7637008 CPUtime=0.41 cores=1,3
/proc/12451/stat : 12451 (java) S 12449 12451 12362 0 -1 4202496 14819 0 1 0 39 2 0 0 21 0 18 0 490787115 7820296192 14310 33554432000 1073741824 1073778376 140736878553936 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/12451/statm: 1909252 14310 2197 9 0 1899990 0
Current children cumulated CPU time (s) 0.41
Current children cumulated vsize (KiB) 7637008
[startup+0.700632 s]
/proc/loadavg: 2.99 3.82 3.81 4/221 12451
/proc/meminfo: memFree=14538244/32950928 swapFree=67111528/67111528
[pid=12451] ppid=12449 vsize=7637008 CPUtime=0.81 cores=1,3
/proc/12451/stat : 12451 (java) S 12449 12451 12362 0 -1 4202496 24026 0 1 0 78 3 0 0 21 0 18 0 490787115 7820296192 23517 33554432000 1073741824 1073778376 140736878553936 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/12451/statm: 1909252 23517 2197 9 0 1899990 0
Current children cumulated CPU time (s) 0.81
Current children cumulated vsize (KiB) 7637008
[startup+1.5015 s]
/proc/loadavg: 2.99 3.82 3.81 6/261 12494
/proc/meminfo: memFree=14289856/32950928 swapFree=67111528/67111528
[pid=12451] ppid=12449 vsize=7640596 CPUtime=1.88 cores=1,3
/proc/12451/stat : 12451 (java) S 12449 12451 12362 0 -1 4202496 31274 0 1 0 184 4 0 0 21 0 19 0 490787115 7823970304 30136 33554432000 1073741824 1073778376 140736878553936 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/12451/statm: 1910149 30136 2225 9 0 1900887 0
[pid=12451/tid=12453] ppid=12449 vsize=7640596 CPUtime=1.48 cores=1,3
/proc/12451/task/12453/stat : 12453 (java) R 12449 12451 12362 0 -1 4202560 27641 0 1 0 144 4 0 0 25 0 19 0 490787116 7823970304 30136 33554432000 1073741824 1073778376 140736878553936 18446744073709551615 46912505679771 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=12451/tid=12454] ppid=12449 vsize=7640596 CPUtime=0 cores=1,3
/proc/12451/task/12454/stat : 12454 (java) S 12449 12451 12362 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 490787117 7823970304 30136 33554432000 1073741824 1073778376 140736878553936 18446744073709551615 235606682521 0 4 0 16800975 18446604464679540032 0 0 -1 3 0 0 0
[pid=12451/tid=12455] ppid=12449 vsize=7640596 CPUtime=0 cores=1,3
/proc/12451/task/12455/stat : 12455 (java) S 12449 12451 12362 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 490787117 7823970304 30136 33554432000 1073741824 1073778376 140736878553936 18446744073709551615 235606682521 0 4 0 16800975 18446604464679540032 0 0 -1 3 0 0 0
[pid=12451/tid=12456] ppid=12449 vsize=7640596 CPUtime=0 cores=1,3
/proc/12451/task/12456/stat : 12456 (java) S 12449 12451 12362 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 490787117 7823970304 30136 33554432000 1073741824 1073778376 140736878553936 18446744073709551615 235606682521 0 4 0 16800975 18446604464679540032 0 0 -1 3 0 0 0
[pid=12451/tid=12457] ppid=12449 vsize=7640596 CPUtime=0 cores=1,3
/proc/12451/task/12457/stat : 12457 (java) S 12449 12451 12362 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 490787117 7823970304 30136 33554432000 1073741824 1073778376 140736878553936 18446744073709551615 235606682521 0 4 0 16800975 18446604464679540032 0 0 -1 3 0 0 0
[pid=12451/tid=12458] ppid=12449 vsize=7640596 CPUtime=0 cores=1,3
/proc/12451/task/12458/stat : 12458 (java) S 12449 12451 12362 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 490787117 7823970304 30136 33554432000 1073741824 1073778376 140736878553936 18446744073709551615 235606682521 0 4 0 16800975 18446604464679540032 0 0 -1 3 0 0 0
[pid=12451/tid=12459] ppid=12449 vsize=7640596 CPUtime=0 cores=1,3
/proc/12451/task/12459/stat : 12459 (java) S 12449 12451 12362 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 490787117 7823970304 30136 33554432000 1073741824 1073778376 140736878553936 18446744073709551615 235606682521 0 4 0 16800975 18446604464679540032 0 0 -1 3 0 0 0
[pid=12451/tid=12460] ppid=12449 vsize=7640596 CPUtime=0 cores=1,3
/proc/12451/task/12460/stat : 12460 (java) S 12449 12451 12362 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 490787117 7823970304 30136 33554432000 1073741824 1073778376 140736878553936 18446744073709551615 235606682521 0 4 0 16800975 18446604464679540032 0 0 -1 3 0 0 0
[pid=12451/tid=12461] ppid=12449 vsize=7640596 CPUtime=0 cores=1,3
/proc/12451/task/12461/stat : 12461 (java) S 12449 12451 12362 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 490787117 7823970304 30136 33554432000 1073741824 1073778376 140736878553936 18446744073709551615 235606682521 0 4 0 16800975 18446604464679540032 0 0 -1 3 0 0 0
[pid=12451/tid=12462] ppid=12449 vsize=7640596 CPUtime=0 cores=1,3
/proc/12451/task/12462/stat : 12462 (java) S 12449 12451 12362 0 -1 4202560 5 0 0 0 0 0 0 0 17 0 19 0 490787118 7823970304 30136 33554432000 1073741824 1073778376 140736878553936 18446744073709551615 235606683136 0 0 0 16800975 18446604464679540032 0 0 -1 3 0 0 0
[pid=12451/tid=12463] ppid=12449 vsize=7640596 CPUtime=0 cores=1,3
/proc/12451/task/12463/stat : 12463 (java) S 12449 12451 12362 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 490787119 7823970304 30136 33554432000 1073741824 1073778376 140736878553936 18446744073709551615 235606682521 0 4 0 16800975 18446604464679540032 0 0 -1 3 0 0 0
[pid=12451/tid=12464] ppid=12449 vsize=7640596 CPUtime=0 cores=1,3
/proc/12451/task/12464/stat : 12464 (java) S 12449 12451 12362 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 490787119 7823970304 30136 33554432000 1073741824 1073778376 140736878553936 18446744073709551615 235606682521 0 4 0 16800975 18446604464679540032 0 0 -1 3 0 0 0
[pid=12451/tid=12465] ppid=12449 vsize=7640596 CPUtime=0 cores=1,3
/proc/12451/task/12465/stat : 12465 (java) S 12449 12451 12362 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 490787121 7823970304 30136 33554432000 1073741824 1073778376 140736878553936 18446744073709551615 235606690225 0 4 0 16800975 18446604464679540032 0 0 -1 3 0 0 0
[pid=12451/tid=12466] ppid=12449 vsize=7640596 CPUtime=0.19 cores=1,3
/proc/12451/task/12466/stat : 12466 (java) S 12449 12451 12362 0 -1 4202560 685 0 0 0 19 0 0 0 16 0 19 0 490787121 7823970304 30136 33554432000 1073741824 1073778376 140736878553936 18446744073709551615 235606682521 0 4 0 16800975 18446604464679540032 0 0 -1 1 0 0 0
[pid=12451/tid=12467] ppid=12449 vsize=7640596 CPUtime=0.2 cores=1,3
/proc/12451/task/12467/stat : 12467 (java) S 12449 12451 12362 0 -1 4202560 1786 0 0 0 20 0 0 0 16 0 19 0 490787121 7823970304 30136 33554432000 1073741824 1073778376 140736878553936 18446744073709551615 235606682521 0 4 0 16800975 18446604464679540032 0 0 -1 1 0 0 0
[pid=12451/tid=12468] ppid=12449 vsize=7640596 CPUtime=0 cores=1,3
/proc/12451/task/12468/stat : 12468 (java) S 12449 12451 12362 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 490787121 7823970304 30136 33554432000 1073741824 1073778376 140736878553936 18446744073709551615 235606682521 0 4 0 16800975 18446604464679540032 0 0 -1 3 0 0 0
[pid=12451/tid=12469] ppid=12449 vsize=7640596 CPUtime=0 cores=1,3
/proc/12451/task/12469/stat : 12469 (java) S 12449 12451 12362 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 490787121 7823970304 30136 33554432000 1073741824 1073778376 140736878553936 18446744073709551615 235606683136 0 4 0 16800975 18446604464679540032 0 0 -1 3 0 0 0
[pid=12451/tid=12494] ppid=12449 vsize=7640596 CPUtime=0 cores=1,3
/proc/12451/task/12494/stat : 12494 (java) S 12449 12451 12362 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 490787211 7823970304 30136 33554432000 1073741824 1073778376 140736878553936 18446744073709551615 235606683136 0 4 0 16800975 18446604464679540032 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.88
Current children cumulated vsize (KiB) 7640596
[startup+3.10121 s]
/proc/loadavg: 2.99 3.82 3.81 7/262 12495
/proc/meminfo: memFree=14059952/32950928 swapFree=67111528/67111528
[pid=12451] ppid=12449 vsize=7661424 CPUtime=3.97 cores=1,3
/proc/12451/stat : 12451 (java) S 12449 12451 12362 0 -1 4202496 61757 0 1 0 390 7 0 0 21 0 19 0 490787115 7845298176 58915 33554432000 1073741824 1073778376 140736878553936 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/12451/statm: 1915356 58915 2253 9 0 1906094 0
[pid=12451/tid=12453] ppid=12449 vsize=7661424 CPUtime=2.78 cores=1,3
/proc/12451/task/12453/stat : 12453 (java) R 12449 12451 12362 0 -1 4202560 27741 0 1 0 274 4 0 0 16 0 19 0 490787116 7845298176 58915 33554432000 1073741824 1073778376 140736878553936 18446744073709551615 46912505679647 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=12451/tid=12454] ppid=12449 vsize=7661424 CPUtime=0.04 cores=1,3
/proc/12451/task/12454/stat : 12454 (java) S 12449 12451 12362 0 -1 4202560 5343 0 0 0 4 0 0 0 18 0 19 0 490787117 7845298176 58915 33554432000 1073741824 1073778376 140736878553936 18446744073709551615 235606682521 0 4 0 16800975 18446604464679540032 0 0 -1 3 0 0 0
[pid=12451/tid=12455] ppid=12449 vsize=7661424 CPUtime=0.05 cores=1,3
/proc/12451/task/12455/stat : 12455 (java) S 12449 12451 12362 0 -1 4202560 6046 0 0 0 5 0 0 0 17 0 19 0 490787117 7845298176 58915 33554432000 1073741824 1073778376 140736878553936 18446744073709551615 235606682521 0 4 0 16800975 18446604464679540032 0 0 -1 3 0 0 0
[pid=12451/tid=12456] ppid=12449 vsize=7661424 CPUtime=0 cores=1,3
/proc/12451/task/12456/stat : 12456 (java) S 12449 12451 12362 0 -1 4202560 470 0 0 0 0 0 0 0 15 0 19 0 490787117 7845298176 58915 33554432000 1073741824 1073778376 140736878553936 18446744073709551615 235606682521 0 4 0 16800975 18446604464679540032 0 0 -1 3 0 0 0
[pid=12451/tid=12457] ppid=12449 vsize=7661424 CPUtime=0 cores=1,3
/proc/12451/task/12457/stat : 12457 (java) S 12449 12451 12362 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 490787117 7845298176 58915 33554432000 1073741824 1073778376 140736878553936 18446744073709551615 235606682521 0 4 0 16800975 18446604464679540032 0 0 -1 3 0 0 0
[pid=12451/tid=12458] ppid=12449 vsize=7661424 CPUtime=0 cores=1,3
/proc/12451/task/12458/stat : 12458 (java) S 12449 12451 12362 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 490787117 7845298176 58915 33554432000 1073741824 1073778376 140736878553936 18446744073709551615 235606682521 0 4 0 16800975 18446604464679540032 0 0 -1 3 0 0 0
[pid=12451/tid=12459] ppid=12449 vsize=7661424 CPUtime=0 cores=1,3
/proc/12451/task/12459/stat : 12459 (java) S 12449 12451 12362 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 490787117 7845298176 58915 33554432000 1073741824 1073778376 140736878553936 18446744073709551615 235606682521 0 4 0 16800975 18446604464679540032 0 0 -1 3 0 0 0
[pid=12451/tid=12460] ppid=12449 vsize=7661424 CPUtime=0 cores=1,3
/proc/12451/task/12460/stat : 12460 (java) S 12449 12451 12362 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 490787117 7845298176 58915 33554432000 1073741824 1073778376 140736878553936 18446744073709551615 235606682521 0 4 0 16800975 18446604464679540032 0 0 -1 3 0 0 0
[pid=12451/tid=12461] ppid=12449 vsize=7661424 CPUtime=0 cores=1,3
/proc/12451/task/12461/stat : 12461 (java) S 12449 12451 12362 0 -1 4202560 210 0 0 0 0 0 0 0 15 0 19 0 490787117 7845298176 58915 33554432000 1073741824 1073778376 140736878553936 18446744073709551615 235606682521 0 4 0 16800975 18446604464679540032 0 0 -1 3 0 0 0
[pid=12451/tid=12462] ppid=12449 vsize=7661424 CPUtime=0.2 cores=1,3
/proc/12451/task/12462/stat : 12462 (java) S 12449 12451 12362 0 -1 4202560 11900 0 0 0 20 0 0 0 16 0 19 0 490787118 7845298176 58915 33554432000 1073741824 1073778376 140736878553936 18446744073709551615 235606683136 0 0 0 16800975 18446604464679540032 0 0 -1 3 0 0 0
[pid=12451/tid=12463] ppid=12449 vsize=7661424 CPUtime=0 cores=1,3
/proc/12451/task/12463/stat : 12463 (java) S 12449 12451 12362 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 490787119 7845298176 58915 33554432000 1073741824 1073778376 140736878553936 18446744073709551615 235606682521 0 4 0 16800975 18446604464679540032 0 0 -1 3 0 0 0
[pid=12451/tid=12464] ppid=12449 vsize=7661424 CPUtime=0 cores=1,3
/proc/12451/task/12464/stat : 12464 (java) S 12449 12451 12362 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 490787119 7845298176 58915 33554432000 1073741824 1073778376 140736878553936 18446744073709551615 235606682521 0 4 0 16800975 18446604464679540032 0 0 -1 3 0 0 0
[pid=12451/tid=12465] ppid=12449 vsize=7661424 CPUtime=0 cores=1,3
/proc/12451/task/12465/stat : 12465 (java) S 12449 12451 12362 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 490787121 7845298176 58915 33554432000 1073741824 1073778376 140736878553936 18446744073709551615 235606690225 0 4 0 16800975 18446604464679540032 0 0 -1 3 0 0 0
[pid=12451/tid=12466] ppid=12449 vsize=7661424 CPUtime=0.22 cores=1,3
/proc/12451/task/12466/stat : 12466 (java) S 12449 12451 12362 0 -1 4202560 996 0 0 0 22 0 0 0 15 0 19 0 490787121 7845298176 58915 33554432000 1073741824 1073778376 140736878553936 18446744073709551615 235606682521 0 4 0 16800975 18446604464679540032 0 0 -1 3 0 0 0
[pid=12451/tid=12467] ppid=12449 vsize=7661424 CPUtime=0.61 cores=1,3
/proc/12451/task/12467/stat : 12467 (java) S 12449 12451 12362 0 -1 4202560 7895 0 0 0 61 0 0 0 16 0 19 0 490787121 7845298176 58915 33554432000 1073741824 1073778376 140736878553936 18446744073709551615 235606682521 0 4 0 16800975 18446604464679540032 0 0 -1 3 0 0 0
[pid=12451/tid=12468] ppid=12449 vsize=7661424 CPUtime=0 cores=1,3
/proc/12451/task/12468/stat : 12468 (java) S 12449 12451 12362 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 490787121 7845298176 58915 33554432000 1073741824 1073778376 140736878553936 18446744073709551615 235606682521 0 4 0 16800975 18446604464679540032 0 0 -1 3 0 0 0
[pid=12451/tid=12469] ppid=12449 vsize=7661424 CPUtime=0 cores=1,3
/proc/12451/task/12469/stat : 12469 (java) S 12449 12451 12362 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 490787121 7845298176 58915 33554432000 1073741824 1073778376 140736878553936 18446744073709551615 235606683136 0 4 0 16800975 18446604464679540032 0 0 -1 3 0 0 0
[pid=12451/tid=12494] ppid=12449 vsize=7661424 CPUtime=0 cores=1,3
/proc/12451/task/12494/stat : 12494 (java) S 12449 12451 12362 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 490787211 7845298176 58915 33554432000 1073741824 1073778376 140736878553936 18446744073709551615 235606683136 0 4 0 16800975 18446604464679540032 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3.97
Current children cumulated vsize (KiB) 7661424
[startup+6.30065 s]
/proc/loadavg: 3.23 3.86 3.82 5/262 12495
/proc/meminfo: memFree=14034572/32950928 swapFree=67111528/67111528
[pid=12451] ppid=12449 vsize=7661424 CPUtime=7.21 cores=1,3
/proc/12451/stat : 12451 (java) S 12449 12451 12362 0 -1 4202496 63784 0 1 0 713 8 0 0 21 0 19 0 490787115 7845298176 60938 33554432000 1073741824 1073778376 140736878553936 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/12451/statm: 1915356 60938 2253 9 0 1906094 0
[pid=12451/tid=12453] ppid=12449 vsize=7661424 CPUtime=5.56 cores=1,3
/proc/12451/task/12453/stat : 12453 (java) R 12449 12451 12362 0 -1 4202560 27743 0 1 0 552 4 0 0 15 0 19 0 490787116 7845298176 60938 33554432000 1073741824 1073778376 140736878553936 18446744073709551615 46912505623026 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=12451/tid=12454] ppid=12449 vsize=7661424 CPUtime=0.05 cores=1,3
/proc/12451/task/12454/stat : 12454 (java) S 12449 12451 12362 0 -1 4202560 5349 0 0 0 5 0 0 0 15 0 19 0 490787117 7845298176 60938 33554432000 1073741824 1073778376 140736878553936 18446744073709551615 235606682521 0 4 0 16800975 18446604464679540032 0 0 -1 3 0 0 0
[pid=12451/tid=12455] ppid=12449 vsize=7661424 CPUtime=0.05 cores=1,3
/proc/12451/task/12455/stat : 12455 (java) S 12449 12451 12362 0 -1 4202560 6055 0 0 0 5 0 0 0 15 0 19 0 490787117 7845298176 60938 33554432000 1073741824 1073778376 140736878553936 18446744073709551615 235606682521 0 4 0 16800975 18446604464679540032 0 0 -1 3 0 0 0
[pid=12451/tid=12456] ppid=12449 vsize=7661424 CPUtime=0 cores=1,3
/proc/12451/task/12456/stat : 12456 (java) S 12449 12451 12362 0 -1 4202560 471 0 0 0 0 0 0 0 16 0 19 0 490787117 7845298176 60938 33554432000 1073741824 1073778376 140736878553936 18446744073709551615 235606682521 0 4 0 16800975 18446604464679540032 0 0 -1 3 0 0 0
[pid=12451/tid=12457] ppid=12449 vsize=7661424 CPUtime=0 cores=1,3
/proc/12451/task/12457/stat : 12457 (java) S 12449 12451 12362 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 490787117 7845298176 60938 33554432000 1073741824 1073778376 140736878553936 18446744073709551615 235606682521 0 4 0 16800975 18446604464679540032 0 0 -1 3 0 0 0
[pid=12451/tid=12458] ppid=12449 vsize=7661424 CPUtime=0 cores=1,3
/proc/12451/task/12458/stat : 12458 (java) S 12449 12451 12362 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 490787117 7845298176 60938 33554432000 1073741824 1073778376 140736878553936 18446744073709551615 235606682521 0 4 0 16800975 18446604464679540032 0 0 -1 3 0 0 0
[pid=12451/tid=12459] ppid=12449 vsize=7661424 CPUtime=0 cores=1,3
/proc/12451/task/12459/stat : 12459 (java) S 12449 12451 12362 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 490787117 7845298176 60938 33554432000 1073741824 1073778376 140736878553936 18446744073709551615 235606682521 0 4 0 16800975 18446604464679540032 0 0 -1 3 0 0 0
[pid=12451/tid=12460] ppid=12449 vsize=7661424 CPUtime=0 cores=1,3
/proc/12451/task/12460/stat : 12460 (java) S 12449 12451 12362 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 490787117 7845298176 60938 33554432000 1073741824 1073778376 140736878553936 18446744073709551615 235606682521 0 4 0 16800975 18446604464679540032 0 0 -1 3 0 0 0
[pid=12451/tid=12461] ppid=12449 vsize=7661424 CPUtime=0 cores=1,3
/proc/12451/task/12461/stat : 12461 (java) S 12449 12451 12362 0 -1 4202560 253 0 0 0 0 0 0 0 15 0 19 0 490787117 7845298176 60938 33554432000 1073741824 1073778376 140736878553936 18446744073709551615 235606682521 0 4 0 16800975 18446604464679540032 0 0 -1 3 0 0 0
[pid=12451/tid=12462] ppid=12449 vsize=7661424 CPUtime=0.62 cores=1,3
/proc/12451/task/12462/stat : 12462 (java) S 12449 12451 12362 0 -1 4202560 13855 0 0 0 61 1 0 0 16 0 19 0 490787118 7845298176 60938 33554432000 1073741824 1073778376 140736878553936 18446744073709551615 235606683136 0 0 0 16800975 18446604464679540032 0 0 -1 3 0 0 0
[pid=12451/tid=12463] ppid=12449 vsize=7661424 CPUtime=0 cores=1,3
/proc/12451/task/12463/stat : 12463 (java) S 12449 12451 12362 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 490787119 7845298176 60938 33554432000 1073741824 1073778376 140736878553936 18446744073709551615 235606682521 0 4 0 16800975 18446604464679540032 0 0 -1 3 0 0 0
[pid=12451/tid=12464] ppid=12449 vsize=7661424 CPUtime=0 cores=1,3
/proc/12451/task/12464/stat : 12464 (java) S 12449 12451 12362 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 490787119 7845298176 60938 33554432000 1073741824 1073778376 140736878553936 18446744073709551615 235606682521 0 4 0 16800975 18446604464679540032 0 0 -1 3 0 0 0
[pid=12451/tid=12465] ppid=12449 vsize=7661424 CPUtime=0 cores=1,3
/proc/12451/task/12465/stat : 12465 (java) S 12449 12451 12362 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 490787121 7845298176 60938 33554432000 1073741824 1073778376 140736878553936 18446744073709551615 235606690225 0 4 0 16800975 18446604464679540032 0 0 -1 3 0 0 0
[pid=12451/tid=12466] ppid=12449 vsize=7661424 CPUtime=0.25 cores=1,3
/proc/12451/task/12466/stat : 12466 (java) S 12449 12451 12362 0 -1 4202560 1001 0 0 0 25 0 0 0 15 0 19 0 490787121 7845298176 60938 33554432000 1073741824 1073778376 140736878553936 18446744073709551615 235606682521 0 4 0 16800975 18446604464679540032 0 0 -1 3 0 0 0
[pid=12451/tid=12467] ppid=12449 vsize=7661424 CPUtime=0.61 cores=1,3
/proc/12451/task/12467/stat : 12467 (java) S 12449 12451 12362 0 -1 4202560 7895 0 0 0 61 0 0 0 15 0 19 0 490787121 7845298176 60938 33554432000 1073741824 1073778376 140736878553936 18446744073709551615 235606682521 0 4 0 16800975 18446604464679540032 0 0 -1 3 0 0 0
[pid=12451/tid=12468] ppid=12449 vsize=7661424 CPUtime=0 cores=1,3
/proc/12451/task/12468/stat : 12468 (java) S 12449 12451 12362 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 490787121 7845298176 60938 33554432000 1073741824 1073778376 140736878553936 18446744073709551615 235606682521 0 4 0 16800975 18446604464679540032 0 0 -1 3 0 0 0
[pid=12451/tid=12469] ppid=12449 vsize=7661424 CPUtime=0 cores=1,3
/proc/12451/task/12469/stat : 12469 (java) S 12449 12451 12362 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 490787121 7845298176 60938 33554432000 1073741824 1073778376 140736878553936 18446744073709551615 235606683136 0 4 0 16800975 18446604464679540032 0 0 -1 3 0 0 0
[pid=12451/tid=12494] ppid=12449 vsize=7661424 CPUtime=0 cores=1,3
/proc/12451/task/12494/stat : 12494 (java) S 12449 12451 12362 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 490787211 7845298176 60938 33554432000 1073741824 1073778376 140736878553936 18446744073709551615 235606683136 0 4 0 16800975 18446604464679540032 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 7.21
Current children cumulated vsize (KiB) 7661424
[startup+12.7015 s]
################
# More data... #
################
[pid=12451/tid=12459] ppid=12449 vsize=7661424 CPUtime=0.17 cores=1,3
/proc/12451/task/12459/stat : 12459 (java) S 12449 12451 12362 0 -1 4202560 44 0 0 0 17 0 0 0 15 0 19 0 490787117 7845298176 72824 33554432000 1073741824 1073778376 140736878553936 18446744073709551615 235606682521 0 4 0 16800975 18446604464679540032 0 0 -1 3 0 0 0
[pid=12451/tid=12460] ppid=12449 vsize=7661424 CPUtime=0.18 cores=1,3
/proc/12451/task/12460/stat : 12460 (java) S 12449 12451 12362 0 -1 4202560 42 0 0 0 18 0 0 0 15 0 19 0 490787117 7845298176 72824 33554432000 1073741824 1073778376 140736878553936 18446744073709551615 235606682521 0 4 0 16800975 18446604464679540032 0 0 -1 3 0 0 0
[pid=12451/tid=12461] ppid=12449 vsize=7661424 CPUtime=0.17 cores=1,3
/proc/12451/task/12461/stat : 12461 (java) S 12449 12451 12362 0 -1 4202560 1469 0 0 0 17 0 0 0 15 0 19 0 490787117 7845298176 72824 33554432000 1073741824 1073778376 140736878553936 18446744073709551615 235606682521 0 4 0 16800975 18446604464679540032 0 0 -1 3 0 0 0
[pid=12451/tid=12462] ppid=12449 vsize=7661424 CPUtime=16.24 cores=1,3
/proc/12451/task/12462/stat : 12462 (java) S 12449 12451 12362 0 -1 4202560 22985 0 0 0 1622 2 0 0 15 0 19 0 490787118 7845298176 72824 33554432000 1073741824 1073778376 140736878553936 18446744073709551615 235606683136 0 0 0 16800975 18446604464679540032 0 0 -1 1 0 0 0
[pid=12451/tid=12463] ppid=12449 vsize=7661424 CPUtime=0 cores=1,3
/proc/12451/task/12463/stat : 12463 (java) S 12449 12451 12362 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 490787119 7845298176 72824 33554432000 1073741824 1073778376 140736878553936 18446744073709551615 235606682521 0 4 0 16800975 18446604464679540032 0 0 -1 3 0 0 0
[pid=12451/tid=12464] ppid=12449 vsize=7661424 CPUtime=0 cores=1,3
/proc/12451/task/12464/stat : 12464 (java) S 12449 12451 12362 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 490787119 7845298176 72824 33554432000 1073741824 1073778376 140736878553936 18446744073709551615 235606682521 0 4 0 16800975 18446604464679540032 0 0 -1 3 0 0 0
[pid=12451/tid=12465] ppid=12449 vsize=7661424 CPUtime=0 cores=1,3
/proc/12451/task/12465/stat : 12465 (java) S 12449 12451 12362 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 490787121 7845298176 72824 33554432000 1073741824 1073778376 140736878553936 18446744073709551615 235606690225 0 4 0 16800975 18446604464679540032 0 0 -1 3 0 0 0
[pid=12451/tid=12466] ppid=12449 vsize=7661424 CPUtime=0.27 cores=1,3
/proc/12451/task/12466/stat : 12466 (java) S 12449 12451 12362 0 -1 4202560 1005 0 0 0 27 0 0 0 15 0 19 0 490787121 7845298176 72824 33554432000 1073741824 1073778376 140736878553936 18446744073709551615 235606682521 0 4 0 16800975 18446604464679540032 0 0 -1 3 0 0 0
[pid=12451/tid=12467] ppid=12449 vsize=7661424 CPUtime=0.61 cores=1,3
/proc/12451/task/12467/stat : 12467 (java) S 12449 12451 12362 0 -1 4202560 7895 0 0 0 61 0 0 0 15 0 19 0 490787121 7845298176 72824 33554432000 1073741824 1073778376 140736878553936 18446744073709551615 235606682521 0 4 0 16800975 18446604464679540032 0 0 -1 3 0 0 0
[pid=12451/tid=12468] ppid=12449 vsize=7661424 CPUtime=0 cores=1,3
/proc/12451/task/12468/stat : 12468 (java) S 12449 12451 12362 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 490787121 7845298176 72824 33554432000 1073741824 1073778376 140736878553936 18446744073709551615 235606682521 0 4 0 16800975 18446604464679540032 0 0 -1 3 0 0 0
[pid=12451/tid=12469] ppid=12449 vsize=7661424 CPUtime=0 cores=1,3
/proc/12451/task/12469/stat : 12469 (java) S 12449 12451 12362 0 -1 4202560 65 0 0 0 0 0 0 0 15 0 19 0 490787121 7845298176 72824 33554432000 1073741824 1073778376 140736878553936 18446744073709551615 235606683136 0 4 0 16800975 18446604464679540032 0 0 -1 3 0 0 0
[pid=12451/tid=12494] ppid=12449 vsize=7661424 CPUtime=0 cores=1,3
/proc/12451/task/12494/stat : 12494 (java) S 12449 12451 12362 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 490787211 7845298176 72824 33554432000 1073741824 1073778376 140736878553936 18446744073709551615 235606683136 0 4 0 16800975 18446604464679540032 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1123.98
Current children cumulated vsize (KiB) 7661424
[startup+1182.3 s]
/proc/loadavg: 4.00 4.01 3.94 5/262 12573
/proc/meminfo: memFree=13802724/32950928 swapFree=67111528/67111528
[pid=12451] ppid=12449 vsize=7661424 CPUtime=1184.01 cores=1,3
/proc/12451/stat : 12451 (java) S 12449 12451 12362 0 -1 4202496 76044 0 1 0 118391 10 0 0 21 0 19 0 490787115 7845298176 72945 33554432000 1073741824 1073778376 140736878553936 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/12451/statm: 1915356 72945 2254 9 0 1906094 0
[pid=12451/tid=12453] ppid=12449 vsize=7661424 CPUtime=1164.76 cores=1,3
/proc/12451/task/12453/stat : 12453 (java) R 12449 12451 12362 0 -1 4202560 27857 0 1 0 116472 4 0 0 24 0 19 0 490787116 7845298176 72945 33554432000 1073741824 1073778376 140736878553936 18446744073709551615 46912505623026 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=12451/tid=12454] ppid=12449 vsize=7661424 CPUtime=0.27 cores=1,3
/proc/12451/task/12454/stat : 12454 (java) S 12449 12451 12362 0 -1 4202560 5679 0 0 0 26 1 0 0 15 0 19 0 490787117 7845298176 72945 33554432000 1073741824 1073778376 140736878553936 18446744073709551615 235606682521 0 4 0 16800975 18446604464679540032 0 0 -1 3 0 0 0
[pid=12451/tid=12455] ppid=12449 vsize=7661424 CPUtime=0.31 cores=1,3
/proc/12451/task/12455/stat : 12455 (java) S 12449 12451 12362 0 -1 4202560 6989 0 0 0 31 0 0 0 15 0 19 0 490787117 7845298176 72945 33554432000 1073741824 1073778376 140736878553936 18446744073709551615 235606682521 0 4 0 16800975 18446604464679540032 0 0 -1 3 0 0 0
[pid=12451/tid=12456] ppid=12449 vsize=7661424 CPUtime=0.22 cores=1,3
/proc/12451/task/12456/stat : 12456 (java) S 12449 12451 12362 0 -1 4202560 596 0 0 0 22 0 0 0 15 0 19 0 490787117 7845298176 72945 33554432000 1073741824 1073778376 140736878553936 18446744073709551615 235606682521 0 4 0 16800975 18446604464679540032 0 0 -1 3 0 0 0
[pid=12451/tid=12457] ppid=12449 vsize=7661424 CPUtime=0.2 cores=1,3
/proc/12451/task/12457/stat : 12457 (java) S 12449 12451 12362 0 -1 4202560 25 0 0 0 20 0 0 0 15 0 19 0 490787117 7845298176 72945 33554432000 1073741824 1073778376 140736878553936 18446744073709551615 235606682521 0 4 0 16800975 18446604464679540032 0 0 -1 3 0 0 0
[pid=12451/tid=12458] ppid=12449 vsize=7661424 CPUtime=0.2 cores=1,3
/proc/12451/task/12458/stat : 12458 (java) S 12449 12451 12362 0 -1 4202560 143 0 0 0 20 0 0 0 16 0 19 0 490787117 7845298176 72945 33554432000 1073741824 1073778376 140736878553936 18446744073709551615 235606682521 0 4 0 16800975 18446604464679540032 0 0 -1 3 0 0 0
[pid=12451/tid=12459] ppid=12449 vsize=7661424 CPUtime=0.17 cores=1,3
/proc/12451/task/12459/stat : 12459 (java) S 12449 12451 12362 0 -1 4202560 44 0 0 0 17 0 0 0 15 0 19 0 490787117 7845298176 72945 33554432000 1073741824 1073778376 140736878553936 18446744073709551615 235606682521 0 4 0 16800975 18446604464679540032 0 0 -1 3 0 0 0
[pid=12451/tid=12460] ppid=12449 vsize=7661424 CPUtime=0.18 cores=1,3
/proc/12451/task/12460/stat : 12460 (java) S 12449 12451 12362 0 -1 4202560 42 0 0 0 18 0 0 0 15 0 19 0 490787117 7845298176 72945 33554432000 1073741824 1073778376 140736878553936 18446744073709551615 235606682521 0 4 0 16800975 18446604464679540032 0 0 -1 3 0 0 0
[pid=12451/tid=12461] ppid=12449 vsize=7661424 CPUtime=0.18 cores=1,3
/proc/12451/task/12461/stat : 12461 (java) S 12449 12451 12362 0 -1 4202560 1469 0 0 0 18 0 0 0 15 0 19 0 490787117 7845298176 72945 33554432000 1073741824 1073778376 140736878553936 18446744073709551615 235606682521 0 4 0 16800975 18446604464679540032 0 0 -1 3 0 0 0
[pid=12451/tid=12462] ppid=12449 vsize=7661424 CPUtime=16.55 cores=1,3
/proc/12451/task/12462/stat : 12462 (java) S 12449 12451 12362 0 -1 4202560 23080 0 0 0 1653 2 0 0 16 0 19 0 490787118 7845298176 72945 33554432000 1073741824 1073778376 140736878553936 18446744073709551615 235606683136 0 0 0 16800975 18446604464679540032 0 0 -1 1 0 0 0
[pid=12451/tid=12463] ppid=12449 vsize=7661424 CPUtime=0 cores=1,3
/proc/12451/task/12463/stat : 12463 (java) S 12449 12451 12362 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 490787119 7845298176 72945 33554432000 1073741824 1073778376 140736878553936 18446744073709551615 235606682521 0 4 0 16800975 18446604464679540032 0 0 -1 3 0 0 0
[pid=12451/tid=12464] ppid=12449 vsize=7661424 CPUtime=0 cores=1,3
/proc/12451/task/12464/stat : 12464 (java) S 12449 12451 12362 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 490787119 7845298176 72945 33554432000 1073741824 1073778376 140736878553936 18446744073709551615 235606682521 0 4 0 16800975 18446604464679540032 0 0 -1 3 0 0 0
[pid=12451/tid=12465] ppid=12449 vsize=7661424 CPUtime=0 cores=1,3
/proc/12451/task/12465/stat : 12465 (java) S 12449 12451 12362 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 490787121 7845298176 72945 33554432000 1073741824 1073778376 140736878553936 18446744073709551615 235606690225 0 4 0 16800975 18446604464679540032 0 0 -1 3 0 0 0
[pid=12451/tid=12466] ppid=12449 vsize=7661424 CPUtime=0.27 cores=1,3
/proc/12451/task/12466/stat : 12466 (java) S 12449 12451 12362 0 -1 4202560 1005 0 0 0 27 0 0 0 15 0 19 0 490787121 7845298176 72945 33554432000 1073741824 1073778376 140736878553936 18446744073709551615 235606682521 0 4 0 16800975 18446604464679540032 0 0 -1 3 0 0 0
[pid=12451/tid=12467] ppid=12449 vsize=7661424 CPUtime=0.61 cores=1,3
/proc/12451/task/12467/stat : 12467 (java) S 12449 12451 12362 0 -1 4202560 7895 0 0 0 61 0 0 0 15 0 19 0 490787121 7845298176 72945 33554432000 1073741824 1073778376 140736878553936 18446744073709551615 235606682521 0 4 0 16800975 18446604464679540032 0 0 -1 3 0 0 0
[pid=12451/tid=12468] ppid=12449 vsize=7661424 CPUtime=0 cores=1,3
/proc/12451/task/12468/stat : 12468 (java) S 12449 12451 12362 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 490787121 7845298176 72945 33554432000 1073741824 1073778376 140736878553936 18446744073709551615 235606682521 0 4 0 16800975 18446604464679540032 0 0 -1 3 0 0 0
[pid=12451/tid=12469] ppid=12449 vsize=7661424 CPUtime=0 cores=1,3
/proc/12451/task/12469/stat : 12469 (java) S 12449 12451 12362 0 -1 4202560 69 0 0 0 0 0 0 0 15 0 19 0 490787121 7845298176 72945 33554432000 1073741824 1073778376 140736878553936 18446744073709551615 235606683136 0 4 0 16800975 18446604464679540032 0 0 -1 3 0 0 0
[pid=12451/tid=12494] ppid=12449 vsize=7661424 CPUtime=0 cores=1,3
/proc/12451/task/12494/stat : 12494 (java) S 12449 12451 12362 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 490787211 7845298176 72945 33554432000 1073741824 1073778376 140736878553936 18446744073709551615 235606683136 0 4 0 16800975 18446604464679540032 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1184.01
Current children cumulated vsize (KiB) 7661424
[startup+1242.3 s]
/proc/loadavg: 4.00 4.00 3.94 5/262 12575
/proc/meminfo: memFree=13800708/32950928 swapFree=67111528/67111528
[pid=12451] ppid=12449 vsize=7661424 CPUtime=1244.03 cores=1,3
/proc/12451/stat : 12451 (java) S 12449 12451 12362 0 -1 4202496 76229 0 1 0 124393 10 0 0 21 0 19 0 490787115 7845298176 73120 33554432000 1073741824 1073778376 140736878553936 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/12451/statm: 1915356 73120 2254 9 0 1906094 0
[pid=12451/tid=12453] ppid=12449 vsize=7661424 CPUtime=1224.45 cores=1,3
/proc/12451/task/12453/stat : 12453 (java) R 12449 12451 12362 0 -1 4202560 27859 0 1 0 122441 4 0 0 25 0 19 0 490787116 7845298176 73120 33554432000 1073741824 1073778376 140736878553936 18446744073709551615 46912505623026 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=12451/tid=12454] ppid=12449 vsize=7661424 CPUtime=0.27 cores=1,3
/proc/12451/task/12454/stat : 12454 (java) S 12449 12451 12362 0 -1 4202560 5679 0 0 0 26 1 0 0 15 0 19 0 490787117 7845298176 73120 33554432000 1073741824 1073778376 140736878553936 18446744073709551615 235606682521 0 4 0 16800975 18446604464679540032 0 0 -1 3 0 0 0
[pid=12451/tid=12455] ppid=12449 vsize=7661424 CPUtime=0.32 cores=1,3
/proc/12451/task/12455/stat : 12455 (java) S 12449 12451 12362 0 -1 4202560 6989 0 0 0 32 0 0 0 15 0 19 0 490787117 7845298176 73120 33554432000 1073741824 1073778376 140736878553936 18446744073709551615 235606682521 0 4 0 16800975 18446604464679540032 0 0 -1 3 0 0 0
[pid=12451/tid=12456] ppid=12449 vsize=7661424 CPUtime=0.22 cores=1,3
/proc/12451/task/12456/stat : 12456 (java) S 12449 12451 12362 0 -1 4202560 596 0 0 0 22 0 0 0 15 0 19 0 490787117 7845298176 73120 33554432000 1073741824 1073778376 140736878553936 18446744073709551615 235606682521 0 4 0 16800975 18446604464679540032 0 0 -1 3 0 0 0
[pid=12451/tid=12457] ppid=12449 vsize=7661424 CPUtime=0.21 cores=1,3
/proc/12451/task/12457/stat : 12457 (java) S 12449 12451 12362 0 -1 4202560 25 0 0 0 21 0 0 0 15 0 19 0 490787117 7845298176 73120 33554432000 1073741824 1073778376 140736878553936 18446744073709551615 235606682521 0 4 0 16800975 18446604464679540032 0 0 -1 3 0 0 0
[pid=12451/tid=12458] ppid=12449 vsize=7661424 CPUtime=0.21 cores=1,3
/proc/12451/task/12458/stat : 12458 (java) S 12449 12451 12362 0 -1 4202560 143 0 0 0 21 0 0 0 15 0 19 0 490787117 7845298176 73120 33554432000 1073741824 1073778376 140736878553936 18446744073709551615 235606682521 0 4 0 16800975 18446604464679540032 0 0 -1 3 0 0 0
[pid=12451/tid=12459] ppid=12449 vsize=7661424 CPUtime=0.17 cores=1,3
/proc/12451/task/12459/stat : 12459 (java) S 12449 12451 12362 0 -1 4202560 44 0 0 0 17 0 0 0 15 0 19 0 490787117 7845298176 73120 33554432000 1073741824 1073778376 140736878553936 18446744073709551615 235606682521 0 4 0 16800975 18446604464679540032 0 0 -1 3 0 0 0
[pid=12451/tid=12460] ppid=12449 vsize=7661424 CPUtime=0.19 cores=1,3
/proc/12451/task/12460/stat : 12460 (java) S 12449 12451 12362 0 -1 4202560 42 0 0 0 19 0 0 0 16 0 19 0 490787117 7845298176 73120 33554432000 1073741824 1073778376 140736878553936 18446744073709551615 235606682521 0 4 0 16800975 18446604464679540032 0 0 -1 3 0 0 0
[pid=12451/tid=12461] ppid=12449 vsize=7661424 CPUtime=0.18 cores=1,3
/proc/12451/task/12461/stat : 12461 (java) S 12449 12451 12362 0 -1 4202560 1469 0 0 0 18 0 0 0 15 0 19 0 490787117 7845298176 73120 33554432000 1073741824 1073778376 140736878553936 18446744073709551615 235606682521 0 4 0 16800975 18446604464679540032 0 0 -1 3 0 0 0
[pid=12451/tid=12462] ppid=12449 vsize=7661424 CPUtime=16.85 cores=1,3
/proc/12451/task/12462/stat : 12462 (java) S 12449 12451 12362 0 -1 4202560 23259 0 0 0 1683 2 0 0 15 0 19 0 490787118 7845298176 73120 33554432000 1073741824 1073778376 140736878553936 18446744073709551615 235606683136 0 0 0 16800975 18446604464679540032 0 0 -1 1 0 0 0
[pid=12451/tid=12463] ppid=12449 vsize=7661424 CPUtime=0 cores=1,3
/proc/12451/task/12463/stat : 12463 (java) S 12449 12451 12362 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 490787119 7845298176 73120 33554432000 1073741824 1073778376 140736878553936 18446744073709551615 235606682521 0 4 0 16800975 18446604464679540032 0 0 -1 3 0 0 0
[pid=12451/tid=12464] ppid=12449 vsize=7661424 CPUtime=0 cores=1,3
/proc/12451/task/12464/stat : 12464 (java) S 12449 12451 12362 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 490787119 7845298176 73120 33554432000 1073741824 1073778376 140736878553936 18446744073709551615 235606682521 0 4 0 16800975 18446604464679540032 0 0 -1 3 0 0 0
[pid=12451/tid=12465] ppid=12449 vsize=7661424 CPUtime=0 cores=1,3
/proc/12451/task/12465/stat : 12465 (java) S 12449 12451 12362 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 490787121 7845298176 73120 33554432000 1073741824 1073778376 140736878553936 18446744073709551615 235606690225 0 4 0 16800975 18446604464679540032 0 0 -1 3 0 0 0
[pid=12451/tid=12466] ppid=12449 vsize=7661424 CPUtime=0.27 cores=1,3
/proc/12451/task/12466/stat : 12466 (java) S 12449 12451 12362 0 -1 4202560 1005 0 0 0 27 0 0 0 15 0 19 0 490787121 7845298176 73120 33554432000 1073741824 1073778376 140736878553936 18446744073709551615 235606682521 0 4 0 16800975 18446604464679540032 0 0 -1 3 0 0 0
[pid=12451/tid=12467] ppid=12449 vsize=7661424 CPUtime=0.61 cores=1,3
/proc/12451/task/12467/stat : 12467 (java) S 12449 12451 12362 0 -1 4202560 7895 0 0 0 61 0 0 0 15 0 19 0 490787121 7845298176 73120 33554432000 1073741824 1073778376 140736878553936 18446744073709551615 235606682521 0 4 0 16800975 18446604464679540032 0 0 -1 3 0 0 0
[pid=12451/tid=12468] ppid=12449 vsize=7661424 CPUtime=0 cores=1,3
/proc/12451/task/12468/stat : 12468 (java) S 12449 12451 12362 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 490787121 7845298176 73120 33554432000 1073741824 1073778376 140736878553936 18446744073709551615 235606682521 0 4 0 16800975 18446604464679540032 0 0 -1 3 0 0 0
[pid=12451/tid=12469] ppid=12449 vsize=7661424 CPUtime=0 cores=1,3
/proc/12451/task/12469/stat : 12469 (java) S 12449 12451 12362 0 -1 4202560 73 0 0 0 0 0 0 0 15 0 19 0 490787121 7845298176 73120 33554432000 1073741824 1073778376 140736878553936 18446744073709551615 235606683136 0 4 0 16800975 18446604464679540032 0 0 -1 3 0 0 0
[pid=12451/tid=12494] ppid=12449 vsize=7661424 CPUtime=0 cores=1,3
/proc/12451/task/12494/stat : 12494 (java) S 12449 12451 12362 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 490787211 7845298176 73120 33554432000 1073741824 1073778376 140736878553936 18446744073709551615 235606683136 0 4 0 16800975 18446604464679540032 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1244.03
Current children cumulated vsize (KiB) 7661424
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+1300 s]
/proc/loadavg: 4.00 4.00 3.94 4/242 12579
/proc/meminfo: memFree=13850316/32950928 swapFree=67111528/67111528
[pid=12451] ppid=12449 vsize=7661424 CPUtime=1301.76 cores=1,3
/proc/12451/stat : 12451 (java) S 12449 12451 12362 0 -1 4202496 76372 0 1 0 130166 10 0 0 21 0 19 0 490787115 7845298176 73255 33554432000 1073741824 1073778376 140736878553936 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/12451/statm: 1915356 73255 2254 9 0 1906094 0
[pid=12451/tid=12453] ppid=12449 vsize=7661424 CPUtime=1281.76 cores=1,3
/proc/12451/task/12453/stat : 12453 (java) R 12449 12451 12362 0 -1 4202560 27861 0 1 0 128172 4 0 0 25 0 19 0 490787116 7845298176 73255 33554432000 1073741824 1073778376 140736878553936 18446744073709551615 46912505623026 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=12451/tid=12454] ppid=12449 vsize=7661424 CPUtime=0.27 cores=1,3
/proc/12451/task/12454/stat : 12454 (java) S 12449 12451 12362 0 -1 4202560 5679 0 0 0 26 1 0 0 15 0 19 0 490787117 7845298176 73255 33554432000 1073741824 1073778376 140736878553936 18446744073709551615 235606682521 0 4 0 16800975 18446604464679540032 0 0 -1 3 0 0 0
[pid=12451/tid=12455] ppid=12449 vsize=7661424 CPUtime=0.32 cores=1,3
/proc/12451/task/12455/stat : 12455 (java) S 12449 12451 12362 0 -1 4202560 6989 0 0 0 32 0 0 0 15 0 19 0 490787117 7845298176 73255 33554432000 1073741824 1073778376 140736878553936 18446744073709551615 235606682521 0 4 0 16800975 18446604464679540032 0 0 -1 3 0 0 0
[pid=12451/tid=12456] ppid=12449 vsize=7661424 CPUtime=0.23 cores=1,3
/proc/12451/task/12456/stat : 12456 (java) S 12449 12451 12362 0 -1 4202560 596 0 0 0 23 0 0 0 16 0 19 0 490787117 7845298176 73255 33554432000 1073741824 1073778376 140736878553936 18446744073709551615 235606682521 0 4 0 16800975 18446604464679540032 0 0 -1 3 0 0 0
[pid=12451/tid=12457] ppid=12449 vsize=7661424 CPUtime=0.22 cores=1,3
/proc/12451/task/12457/stat : 12457 (java) S 12449 12451 12362 0 -1 4202560 25 0 0 0 22 0 0 0 16 0 19 0 490787117 7845298176 73255 33554432000 1073741824 1073778376 140736878553936 18446744073709551615 235606682521 0 4 0 16800975 18446604464679540032 0 0 -1 3 0 0 0
[pid=12451/tid=12458] ppid=12449 vsize=7661424 CPUtime=0.21 cores=1,3
/proc/12451/task/12458/stat : 12458 (java) S 12449 12451 12362 0 -1 4202560 143 0 0 0 21 0 0 0 15 0 19 0 490787117 7845298176 73255 33554432000 1073741824 1073778376 140736878553936 18446744073709551615 235606682521 0 4 0 16800975 18446604464679540032 0 0 -1 3 0 0 0
[pid=12451/tid=12459] ppid=12449 vsize=7661424 CPUtime=0.17 cores=1,3
/proc/12451/task/12459/stat : 12459 (java) S 12449 12451 12362 0 -1 4202560 44 0 0 0 17 0 0 0 15 0 19 0 490787117 7845298176 73255 33554432000 1073741824 1073778376 140736878553936 18446744073709551615 235606682521 0 4 0 16800975 18446604464679540032 0 0 -1 3 0 0 0
[pid=12451/tid=12460] ppid=12449 vsize=7661424 CPUtime=0.2 cores=1,3
/proc/12451/task/12460/stat : 12460 (java) S 12449 12451 12362 0 -1 4202560 51 0 0 0 20 0 0 0 15 0 19 0 490787117 7845298176 73255 33554432000 1073741824 1073778376 140736878553936 18446744073709551615 235606682521 0 4 0 16800975 18446604464679540032 0 0 -1 3 0 0 0
[pid=12451/tid=12461] ppid=12449 vsize=7661424 CPUtime=0.2 cores=1,3
/proc/12451/task/12461/stat : 12461 (java) S 12449 12451 12362 0 -1 4202560 1469 0 0 0 20 0 0 0 15 0 19 0 490787117 7845298176 73255 33554432000 1073741824 1073778376 140736878553936 18446744073709551615 235606682521 0 4 0 16800975 18446604464679540032 0 0 -1 3 0 0 0
[pid=12451/tid=12462] ppid=12449 vsize=7661424 CPUtime=17.21 cores=1,3
/proc/12451/task/12462/stat : 12462 (java) S 12449 12451 12362 0 -1 4202560 23387 0 0 0 1719 2 0 0 15 0 19 0 490787118 7845298176 73255 33554432000 1073741824 1073778376 140736878553936 18446744073709551615 235606683136 0 0 0 16800975 18446604464679540032 0 0 -1 1 0 0 0
[pid=12451/tid=12463] ppid=12449 vsize=7661424 CPUtime=0 cores=1,3
/proc/12451/task/12463/stat : 12463 (java) S 12449 12451 12362 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 490787119 7845298176 73255 33554432000 1073741824 1073778376 140736878553936 18446744073709551615 235606682521 0 4 0 16800975 18446604464679540032 0 0 -1 3 0 0 0
[pid=12451/tid=12464] ppid=12449 vsize=7661424 CPUtime=0 cores=1,3
/proc/12451/task/12464/stat : 12464 (java) S 12449 12451 12362 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 490787119 7845298176 73255 33554432000 1073741824 1073778376 140736878553936 18446744073709551615 235606682521 0 4 0 16800975 18446604464679540032 0 0 -1 3 0 0 0
[pid=12451/tid=12465] ppid=12449 vsize=7661424 CPUtime=0 cores=1,3
/proc/12451/task/12465/stat : 12465 (java) S 12449 12451 12362 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 490787121 7845298176 73255 33554432000 1073741824 1073778376 140736878553936 18446744073709551615 235606690225 0 4 0 16800975 18446604464679540032 0 0 -1 3 0 0 0
[pid=12451/tid=12466] ppid=12449 vsize=7661424 CPUtime=0.27 cores=1,3
/proc/12451/task/12466/stat : 12466 (java) S 12449 12451 12362 0 -1 4202560 1005 0 0 0 27 0 0 0 15 0 19 0 490787121 7845298176 73255 33554432000 1073741824 1073778376 140736878553936 18446744073709551615 235606682521 0 4 0 16800975 18446604464679540032 0 0 -1 3 0 0 0
[pid=12451/tid=12467] ppid=12449 vsize=7661424 CPUtime=0.61 cores=1,3
/proc/12451/task/12467/stat : 12467 (java) S 12449 12451 12362 0 -1 4202560 7895 0 0 0 61 0 0 0 15 0 19 0 490787121 7845298176 73255 33554432000 1073741824 1073778376 140736878553936 18446744073709551615 235606682521 0 4 0 16800975 18446604464679540032 0 0 -1 3 0 0 0
[pid=12451/tid=12468] ppid=12449 vsize=7661424 CPUtime=0 cores=1,3
/proc/12451/task/12468/stat : 12468 (java) S 12449 12451 12362 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 490787121 7845298176 73255 33554432000 1073741824 1073778376 140736878553936 18446744073709551615 235606682521 0 4 0 16800975 18446604464679540032 0 0 -1 3 0 0 0
[pid=12451/tid=12469] ppid=12449 vsize=7661424 CPUtime=0 cores=1,3
/proc/12451/task/12469/stat : 12469 (java) S 12449 12451 12362 0 -1 4202560 77 0 0 0 0 0 0 0 15 0 19 0 490787121 7845298176 73255 33554432000 1073741824 1073778376 140736878553936 18446744073709551615 235606683136 0 4 0 16800975 18446604464679540032 0 0 -1 3 0 0 0
[pid=12451/tid=12494] ppid=12449 vsize=7661424 CPUtime=0 cores=1,3
/proc/12451/task/12494/stat : 12494 (java) S 12449 12451 12362 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 490787211 7845298176 73255 33554432000 1073741824 1073778376 140736878553936 18446744073709551615 235606683136 0 4 0 16800975 18446604464679540032 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1301.76
Current children cumulated vsize (KiB) 7661424
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 143
Real time (s): 1300.07
CPU time (s): 1301.88
CPU user time (s): 1301.76
CPU system time (s): 0.121981
CPU usage (%): 100.139
Max. virtual memory (cumulated for all children) (KiB): 7661424
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1301.76
system time used= 0.121981
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 76408
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 30225
involuntary context switches= 5529
runsolver used 2.07768 second user time and 5.04623 second system time
The end