0.00/0.09
0.00/0.09 Abscon 112 (May, 2008)
0.18/0.25
0.18/0.25 configuration
0.18/0.25 name=esac.xml
0.18/0.28
0.18/0.28 instance
0.18/0.28 name=HOME/instance-1077618-1215193997.xml
0.27/0.31
0.27/0.32 domains being loaded...
0.27/0.33
0.27/0.33 variables being loaded...
0.37/0.48 nbVariables=800 nbDomainTypes=32 minDomainSize=1 maxDomainSize=45 nbTotalValues=19530
0.37/0.48 => wckTime=0.231 cpuTime=0.16 mem=10M812
0.37/0.48
0.37/0.48 predicates being loaded...
0.48/0.54
0.48/0.54 constraints being loaded...
16.88/17.02 nbConstraints=65133 nbGlobalConstraints=200 nbSingletonDomainVariables=24 nbConflictsStructures=20
16.88/17.02 nbSharedConflictsStructures=6286 nbUnbuiltConflictsStructures=470 nbSharedBinaryRepresentations=0
16.88/17.02 nbEvaluationManagers=490 nbSharedEvaluationManagers=64443 minDegree=272 maxDegree=399 minArity=4 avgArity=4.04
16.88/17.02 maxArity=20 nbGenerators=0 nbFusions=0 symmetryWckTime=3.158 symmetryCpuTime=0.98
16.88/17.02 => wckTime=16.769 cpuTime=12.35 mem=366M591
17.98/18.12
17.98/18.12 solver IterativeSystematicSolver being built...
21.57/21.78
21.57/21.78 INFO : Forward propagation technique limited
21.76/21.96 => wckTime=21.71 cpuTime=14.41 mem=575M642
75.90/76.32
75.90/76.32 INFO : Stopping ESAC
75.90/76.32
75.90/76.32 preprocessing
75.90/76.32 nbConstraintChecks=42642792 nbValidityChecks=165108700 nbPropagations=14288 nbRevisions=8476707
75.90/76.32 nbUselessRevisions=8474926 nbSingletonTests=646 nbEffectiveSingletonTests=0 nbACRemovals=0 nbFoundSingletons=0
75.90/76.32 nbRemovedValues=0 detectedInconsistency=no
75.90/76.32 => wckTime=54.359 cpuTime=54.05 mem=584M777
206.06/207.14
206.06/207.14 INFO : Stopping use of transposition table (mapSize=101, nbTooLargekeys=0, mem=588M853)
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1077618-1215193997/watcher-1077618-1215193997 -o /tmp/evaluation-result-1077618-1215193997/solver-1077618-1215193997 -C 1800 -W 2200 -M 900 --output-limit 1,15 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution esac.xml 1 XSax HOME/instance-1077618-1215193997.xml
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): 2200 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.99 2.02 2.00 3/74 7187
/proc/meminfo: memFree=1494128/2055920 swapFree=4179560/4192956
[pid=7187] ppid=7185 vsize=18572 CPUtime=0
/proc/7187/stat : 7187 (runsolver) R 7185 7187 3002 0 -1 4194368 16 0 0 0 0 0 0 0 19 0 1 0 1998374822 19017728 292 996147200 4194304 4296836 548682068336 18446744073709551615 228706544935 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/7187/statm: 4643 292 257 25 0 2626 0
[startup+0.0306271 s]
/proc/loadavg: 1.99 2.02 2.00 3/74 7187
/proc/meminfo: memFree=1494128/2055920 swapFree=4179560/4192956
[pid=7187] ppid=7185 vsize=861228 CPUtime=0
/proc/7187/stat : 7187 (java) S 7185 7187 3002 0 -1 0 1709 0 1 0 0 0 0 0 18 0 3 0 1998374822 881897472 1406 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0
/proc/7187/statm: 215307 1406 563 9 0 210286 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 861228
[startup+0.101009 s]
/proc/loadavg: 1.99 2.02 2.00 3/74 7187
/proc/meminfo: memFree=1494128/2055920 swapFree=4179560/4192956
[pid=7187] ppid=7185 vsize=865884 CPUtime=0.08
/proc/7187/stat : 7187 (java) S 7185 7187 3002 0 -1 0 3715 0 1 0 6 2 0 0 18 0 9 0 1998374822 886665216 3181 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/7187/statm: 216471 3181 1686 9 0 211026 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 865884
[startup+0.30103 s]
/proc/loadavg: 1.99 2.02 2.00 3/74 7187
/proc/meminfo: memFree=1494128/2055920 swapFree=4179560/4192956
[pid=7187] ppid=7185 vsize=866284 CPUtime=0.27
/proc/7187/stat : 7187 (java) S 7185 7187 3002 0 -1 0 5869 0 1 0 25 2 0 0 18 0 9 0 1998374822 887074816 5243 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/7187/statm: 216571 5243 1953 9 0 211099 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 866284
[startup+0.701072 s]
/proc/loadavg: 1.99 2.02 2.00 3/74 7187
/proc/meminfo: memFree=1494128/2055920 swapFree=4179560/4192956
[pid=7187] ppid=7185 vsize=867684 CPUtime=0.68
/proc/7187/stat : 7187 (java) S 7185 7187 3002 0 -1 0 9306 0 1 0 63 5 0 0 18 0 9 0 1998374822 888508416 8666 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/7187/statm: 216921 8666 2011 9 0 211427 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 867684
[startup+1.50115 s]
/proc/loadavg: 1.99 2.02 2.00 3/83 7196
/proc/meminfo: memFree=1447784/2055920 swapFree=4179560/4192956
[pid=7187] ppid=7185 vsize=867596 CPUtime=1.47
/proc/7187/stat : 7187 (java) S 7185 7187 3002 0 -1 0 18501 0 1 0 137 10 0 0 18 0 9 0 1998374822 888418304 17836 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/7187/statm: 216899 17836 2004 9 0 211427 0
[pid=7187/tid=7189] ppid=7185 vsize=867596 CPUtime=1.22
/proc/7187/task/7189/stat : 7189 (java) R 7185 7187 3002 0 -1 64 15746 0 1 0 114 8 0 0 25 0 9 0 1998374823 888418304 17836 996147200 134512640 134550740 4294955968 18446744073709551615 102888750 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7187/tid=7190] ppid=7185 vsize=867596 CPUtime=0.06
/proc/7187/task/7190/stat : 7190 (java) S 7185 7187 3002 0 -1 64 1389 0 0 0 6 0 0 0 16 0 9 0 1998374825 888418304 17836 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=7187/tid=7191] ppid=7185 vsize=867596 CPUtime=0
/proc/7187/task/7191/stat : 7191 (java) S 7185 7187 3002 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 1998374825 888418304 17836 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7187/tid=7192] ppid=7185 vsize=867596 CPUtime=0
/proc/7187/task/7192/stat : 7192 (java) S 7185 7187 3002 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1998374825 888418304 17836 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7187/tid=7193] ppid=7185 vsize=867596 CPUtime=0
/proc/7187/task/7193/stat : 7193 (java) S 7185 7187 3002 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 1998374827 888418304 17836 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7187/tid=7194] ppid=7185 vsize=867596 CPUtime=0.16
/proc/7187/task/7194/stat : 7194 (java) S 7185 7187 3002 0 -1 64 669 0 0 0 16 0 0 0 16 0 9 0 1998374827 888418304 17836 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7187/tid=7195] ppid=7185 vsize=867596 CPUtime=0
/proc/7187/task/7195/stat : 7195 (java) S 7185 7187 3002 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 1998374827 888418304 17836 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7187/tid=7196] ppid=7185 vsize=867596 CPUtime=0
/proc/7187/task/7196/stat : 7196 (java) S 7185 7187 3002 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1998374827 888418304 17836 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 867596
[startup+3.1013 s]
/proc/loadavg: 1.99 2.02 2.00 3/83 7196
/proc/meminfo: memFree=1419048/2055920 swapFree=4179560/4192956
[pid=7187] ppid=7185 vsize=867596 CPUtime=3.06
/proc/7187/stat : 7187 (java) S 7185 7187 3002 0 -1 0 22754 0 1 0 293 13 0 0 18 0 9 0 1998374822 888418304 22087 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/7187/statm: 216899 22087 2004 9 0 211427 0
[pid=7187/tid=7189] ppid=7185 vsize=867596 CPUtime=2.6
/proc/7187/task/7189/stat : 7189 (java) R 7185 7187 3002 0 -1 64 15749 0 1 0 251 9 0 0 25 0 9 0 1998374823 888418304 22087 996147200 134512640 134550740 4294955968 18446744073709551615 102902349 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7187/tid=7190] ppid=7185 vsize=867596 CPUtime=0.28
/proc/7187/task/7190/stat : 7190 (java) S 7185 7187 3002 0 -1 64 5639 0 0 0 25 3 0 0 17 0 9 0 1998374825 888418304 22087 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=7187/tid=7191] ppid=7185 vsize=867596 CPUtime=0
/proc/7187/task/7191/stat : 7191 (java) S 7185 7187 3002 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 1998374825 888418304 22087 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7187/tid=7192] ppid=7185 vsize=867596 CPUtime=0
/proc/7187/task/7192/stat : 7192 (java) S 7185 7187 3002 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1998374825 888418304 22087 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7187/tid=7193] ppid=7185 vsize=867596 CPUtime=0
/proc/7187/task/7193/stat : 7193 (java) S 7185 7187 3002 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 1998374827 888418304 22087 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7187/tid=7194] ppid=7185 vsize=867596 CPUtime=0.16
/proc/7187/task/7194/stat : 7194 (java) S 7185 7187 3002 0 -1 64 669 0 0 0 16 0 0 0 17 0 9 0 1998374827 888418304 22087 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7187/tid=7195] ppid=7185 vsize=867596 CPUtime=0
/proc/7187/task/7195/stat : 7195 (java) S 7185 7187 3002 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 1998374827 888418304 22087 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7187/tid=7196] ppid=7185 vsize=867596 CPUtime=0
/proc/7187/task/7196/stat : 7196 (java) S 7185 7187 3002 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1998374827 888418304 22087 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 867596
[startup+6.3026 s]
/proc/loadavg: 1.99 2.02 2.00 3/83 7196
/proc/meminfo: memFree=1392552/2055920 swapFree=4179560/4192956
[pid=7187] ppid=7185 vsize=867596 CPUtime=6.25
/proc/7187/stat : 7187 (java) S 7185 7187 3002 0 -1 0 33036 0 1 0 576 49 0 0 18 0 9 0 1998374822 888418304 32364 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/7187/statm: 216899 32364 2005 9 0 211427 0
[pid=7187/tid=7189] ppid=7185 vsize=867596 CPUtime=5.24
/proc/7187/task/7189/stat : 7189 (java) R 7185 7187 3002 0 -1 64 15778 0 1 0 485 39 0 0 25 0 9 0 1998374823 888418304 32364 996147200 134512640 134550740 4294955968 18446744073709551615 102902657 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7187/tid=7190] ppid=7185 vsize=867596 CPUtime=0.74
/proc/7187/task/7190/stat : 7190 (java) S 7185 7187 3002 0 -1 64 15830 0 0 0 66 8 0 0 17 0 9 0 1998374825 888418304 32364 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=7187/tid=7191] ppid=7185 vsize=867596 CPUtime=0
/proc/7187/task/7191/stat : 7191 (java) S 7185 7187 3002 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 1998374825 888418304 32364 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7187/tid=7192] ppid=7185 vsize=867596 CPUtime=0
/proc/7187/task/7192/stat : 7192 (java) S 7185 7187 3002 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1998374825 888418304 32364 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7187/tid=7193] ppid=7185 vsize=867596 CPUtime=0
/proc/7187/task/7193/stat : 7193 (java) S 7185 7187 3002 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 1998374827 888418304 32364 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7187/tid=7194] ppid=7185 vsize=867596 CPUtime=0.23
/proc/7187/task/7194/stat : 7194 (java) S 7185 7187 3002 0 -1 64 731 0 0 0 23 0 0 0 15 0 9 0 1998374827 888418304 32364 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7187/tid=7195] ppid=7185 vsize=867596 CPUtime=0
/proc/7187/task/7195/stat : 7195 (java) S 7185 7187 3002 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 1998374827 888418304 32364 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7187/tid=7196] ppid=7185 vsize=867596 CPUtime=0
/proc/7187/task/7196/stat : 7196 (java) S 7185 7187 3002 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1998374827 888418304 32364 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 867596
[startup+12.7022 s]
/proc/loadavg: 1.99 2.02 2.00 4/83 7196
/proc/meminfo: memFree=1214248/2055920 swapFree=4179560/4192956
[pid=7187] ppid=7185 vsize=867596 CPUtime=12.62
/proc/7187/stat : 7187 (java) S 7185 7187 3002 0 -1 0 77895 0 1 0 1019 243 0 0 18 0 9 0 1998374822 888418304 77215 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/7187/statm: 216899 77215 2005 9 0 211427 0
[pid=7187/tid=7189] ppid=7185 vsize=867596 CPUtime=10.63
/proc/7187/task/7189/stat : 7189 (java) R 7185 7187 3002 0 -1 64 15786 0 1 0 850 213 0 0 25 0 9 0 1998374823 888418304 77215 996147200 134512640 134550740 4294955968 18446744073709551615 102888935 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7187/tid=7190] ppid=7185 vsize=867596 CPUtime=1.71
/proc/7187/task/7190/stat : 7190 (java) S 7185 7187 3002 0 -1 64 60678 0 0 0 143 28 0 0 17 0 9 0 1998374825 888418304 77215 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=7187/tid=7191] ppid=7185 vsize=867596 CPUtime=0
/proc/7187/task/7191/stat : 7191 (java) S 7185 7187 3002 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 1998374825 888418304 77215 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7187/tid=7192] ppid=7185 vsize=867596 CPUtime=0
/proc/7187/task/7192/stat : 7192 (java) S 7185 7187 3002 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1998374825 888418304 77215 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7187/tid=7193] ppid=7185 vsize=867596 CPUtime=0
/proc/7187/task/7193/stat : 7193 (java) S 7185 7187 3002 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 1998374827 888418304 77215 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7187/tid=7194] ppid=7185 vsize=867596 CPUtime=0.24
/proc/7187/task/7194/stat : 7194 (java) S 7185 7187 3002 0 -1 64 734 0 0 0 24 0 0 0 15 0 9 0 1998374827 888418304 77215 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7187/tid=7195] ppid=7185 vsize=867596 CPUtime=0
/proc/7187/task/7195/stat : 7195 (java) S 7185 7187 3002 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 1998374827 888418304 77215 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7187/tid=7196] ppid=7185 vsize=867596 CPUtime=0
/proc/7187/task/7196/stat : 7196 (java) S 7185 7187 3002 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1998374827 888418304 77215 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 867596
[startup+25.5014 s]
/proc/loadavg: 1.99 2.01 2.00 3/83 7200
/proc/meminfo: memFree=872352/2055920 swapFree=4179560/4192956
[pid=7187] ppid=7185 vsize=868244 CPUtime=25.34
/proc/7187/stat : 7187 (java) S 7185 7187 3002 0 -1 0 247918 5535 1 0 2023 332 170 9 18 0 9 0 1998374822 889081856 157594 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/7187/statm: 217061 157594 2615 9 0 211589 0
[pid=7187/tid=7189] ppid=7185 vsize=868244 CPUtime=19.88
/proc/7187/task/7189/stat : 7189 (java) R 7185 7187 3002 0 -1 64 29032 5535 1 0 1559 250 170 9 25 0 9 0 1998374823 889081856 157594 996147200 134512640 134550740 4294955968 18446744073709551615 4126095752 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7187/tid=7190] ppid=7185 vsize=868244 CPUtime=6.85
/proc/7187/task/7190/stat : 7190 (java) S 7185 7187 3002 0 -1 64 217058 5535 0 0 429 77 170 9 16 0 9 0 1998374825 889081856 157594 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=7187/tid=7191] ppid=7185 vsize=868244 CPUtime=1.79
/proc/7187/task/7191/stat : 7191 (java) S 7185 7187 3002 0 -1 64 17 5535 0 0 0 0 170 9 16 0 9 0 1998374825 889081856 157594 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7187/tid=7192] ppid=7185 vsize=868244 CPUtime=1.79
/proc/7187/task/7192/stat : 7192 (java) S 7185 7187 3002 0 -1 64 23 5535 0 0 0 0 170 9 16 0 9 0 1998374825 889081856 157594 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7187/tid=7193] ppid=7185 vsize=868244 CPUtime=1.79
/proc/7187/task/7193/stat : 7193 (java) S 7185 7187 3002 0 -1 64 0 5535 0 0 0 0 170 9 18 0 9 0 1998374827 889081856 157594 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7187/tid=7194] ppid=7185 vsize=868244 CPUtime=2.14
/proc/7187/task/7194/stat : 7194 (java) S 7185 7187 3002 0 -1 64 949 5535 0 0 34 1 170 9 15 0 9 0 1998374827 889081856 157594 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7187/tid=7195] ppid=7185 vsize=868244 CPUtime=1.79
/proc/7187/task/7195/stat : 7195 (java) S 7185 7187 3002 0 -1 64 2 5535 0 0 0 0 170 9 19 0 9 0 1998374827 889081856 157594 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7187/tid=7196] ppid=7185 vsize=868244 CPUtime=1.79
/proc/7187/task/7196/stat : 7196 (java) S 7185 7187 3002 0 -1 64 21 5535 0 0 0 0 170 9 15 0 9 0 1998374827 889081856 157594 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.34
Current children cumulated vsize (KiB) 868244
[startup+51.1018 s]
/proc/loadavg: 1.99 2.01 2.00 3/83 7200
/proc/meminfo: memFree=872224/2055920 swapFree=4179560/4192956
[pid=7187] ppid=7185 vsize=868244 CPUtime=50.82
/proc/7187/stat : 7187 (java) S 7185 7187 3002 0 -1 0 247943 5535 1 0 4570 333 170 9 18 0 9 0 1998374822 889081856 157608 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/7187/statm: 217061 157608 2615 9 0 211589 0
[pid=7187/tid=7189] ppid=7185 vsize=868244 CPUtime=45.33
/proc/7187/task/7189/stat : 7189 (java) R 7185 7187 3002 0 -1 64 29043 5535 1 0 4104 250 170 9 25 0 9 0 1998374823 889081856 157608 996147200 134512640 134550740 4294955968 18446744073709551615 4127344923 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7187/tid=7190] ppid=7185 vsize=868244 CPUtime=6.85
/proc/7187/task/7190/stat : 7190 (java) S 7185 7187 3002 0 -1 64 217058 5535 0 0 429 77 170 9 17 0 9 0 1998374825 889081856 157608 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=7187/tid=7191] ppid=7185 vsize=868244 CPUtime=1.79
/proc/7187/task/7191/stat : 7191 (java) S 7185 7187 3002 0 -1 64 17 5535 0 0 0 0 170 9 16 0 9 0 1998374825 889081856 157608 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7187/tid=7192] ppid=7185 vsize=868244 CPUtime=1.79
/proc/7187/task/7192/stat : 7192 (java) S 7185 7187 3002 0 -1 64 23 5535 0 0 0 0 170 9 16 0 9 0 1998374825 889081856 157608 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7187/tid=7193] ppid=7185 vsize=868244 CPUtime=1.79
/proc/7187/task/7193/stat : 7193 (java) S 7185 7187 3002 0 -1 64 0 5535 0 0 0 0 170 9 18 0 9 0 1998374827 889081856 157608 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7187/tid=7194] ppid=7185 vsize=868244 CPUtime=2.16
/proc/7187/task/7194/stat : 7194 (java) S 7185 7187 3002 0 -1 64 963 5535 0 0 36 1 170 9 16 0 9 0 1998374827 889081856 157608 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7187/tid=7195] ppid=7185 vsize=868244 CPUtime=1.79
################
# More data... #
################
Current children cumulated CPU time (s) 1475.14
Current children cumulated vsize (KiB) 868244
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 7206
/proc/meminfo: memFree=871712/2055920 swapFree=4179560/4192956
[pid=7187] ppid=7185 vsize=868244 CPUtime=1534.85
/proc/7187/stat : 7187 (java) S 7185 7187 3002 0 -1 0 248006 5535 1 0 152973 333 170 9 18 0 9 0 1998374822 889081856 157642 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/7187/statm: 217061 157642 2615 9 0 211589 0
[pid=7187/tid=7189] ppid=7185 vsize=868244 CPUtime=1529.31
/proc/7187/task/7189/stat : 7189 (java) R 7185 7187 3002 0 -1 64 29064 5535 1 0 152501 251 170 9 25 0 9 0 1998374823 889081856 157642 996147200 134512640 134550740 4294955968 18446744073709551615 4127342679 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7187/tid=7190] ppid=7185 vsize=868244 CPUtime=6.85
/proc/7187/task/7190/stat : 7190 (java) S 7185 7187 3002 0 -1 64 217058 5535 0 0 429 77 170 9 16 0 9 0 1998374825 889081856 157642 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=7187/tid=7191] ppid=7185 vsize=868244 CPUtime=1.79
/proc/7187/task/7191/stat : 7191 (java) S 7185 7187 3002 0 -1 64 17 5535 0 0 0 0 170 9 16 0 9 0 1998374825 889081856 157642 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7187/tid=7192] ppid=7185 vsize=868244 CPUtime=1.79
/proc/7187/task/7192/stat : 7192 (java) S 7185 7187 3002 0 -1 64 23 5535 0 0 0 0 170 9 16 0 9 0 1998374825 889081856 157642 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7187/tid=7193] ppid=7185 vsize=868244 CPUtime=1.79
/proc/7187/task/7193/stat : 7193 (java) S 7185 7187 3002 0 -1 64 0 5535 0 0 0 0 170 9 18 0 9 0 1998374827 889081856 157642 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7187/tid=7194] ppid=7185 vsize=868244 CPUtime=2.22
/proc/7187/task/7194/stat : 7194 (java) S 7185 7187 3002 0 -1 64 1005 5535 0 0 42 1 170 9 17 0 9 0 1998374827 889081856 157642 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7187/tid=7195] ppid=7185 vsize=868244 CPUtime=1.79
/proc/7187/task/7195/stat : 7195 (java) S 7185 7187 3002 0 -1 64 2 5535 0 0 0 0 170 9 19 0 9 0 1998374827 889081856 157642 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7187/tid=7196] ppid=7185 vsize=868244 CPUtime=1.79
/proc/7187/task/7196/stat : 7196 (java) S 7185 7187 3002 0 -1 64 21 5535 0 0 0 0 170 9 15 0 9 0 1998374827 889081856 157642 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1534.85
Current children cumulated vsize (KiB) 868244
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 7206
/proc/meminfo: memFree=871648/2055920 swapFree=4179560/4192956
[pid=7187] ppid=7185 vsize=868244 CPUtime=1594.57
/proc/7187/stat : 7187 (java) S 7185 7187 3002 0 -1 0 248006 5535 1 0 158945 333 170 9 18 0 9 0 1998374822 889081856 157642 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/7187/statm: 217061 157642 2615 9 0 211589 0
[pid=7187/tid=7189] ppid=7185 vsize=868244 CPUtime=1589.02
/proc/7187/task/7189/stat : 7189 (java) R 7185 7187 3002 0 -1 64 29064 5535 1 0 158472 251 170 9 25 0 9 0 1998374823 889081856 157642 996147200 134512640 134550740 4294955968 18446744073709551615 4127337557 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7187/tid=7190] ppid=7185 vsize=868244 CPUtime=6.85
/proc/7187/task/7190/stat : 7190 (java) S 7185 7187 3002 0 -1 64 217058 5535 0 0 429 77 170 9 16 0 9 0 1998374825 889081856 157642 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=7187/tid=7191] ppid=7185 vsize=868244 CPUtime=1.79
/proc/7187/task/7191/stat : 7191 (java) S 7185 7187 3002 0 -1 64 17 5535 0 0 0 0 170 9 16 0 9 0 1998374825 889081856 157642 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7187/tid=7192] ppid=7185 vsize=868244 CPUtime=1.79
/proc/7187/task/7192/stat : 7192 (java) S 7185 7187 3002 0 -1 64 23 5535 0 0 0 0 170 9 16 0 9 0 1998374825 889081856 157642 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7187/tid=7193] ppid=7185 vsize=868244 CPUtime=1.79
/proc/7187/task/7193/stat : 7193 (java) S 7185 7187 3002 0 -1 64 0 5535 0 0 0 0 170 9 18 0 9 0 1998374827 889081856 157642 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7187/tid=7194] ppid=7185 vsize=868244 CPUtime=2.22
/proc/7187/task/7194/stat : 7194 (java) S 7185 7187 3002 0 -1 64 1005 5535 0 0 42 1 170 9 17 0 9 0 1998374827 889081856 157642 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7187/tid=7195] ppid=7185 vsize=868244 CPUtime=1.79
/proc/7187/task/7195/stat : 7195 (java) S 7185 7187 3002 0 -1 64 2 5535 0 0 0 0 170 9 19 0 9 0 1998374827 889081856 157642 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7187/tid=7196] ppid=7185 vsize=868244 CPUtime=1.79
/proc/7187/task/7196/stat : 7196 (java) S 7185 7187 3002 0 -1 64 21 5535 0 0 0 0 170 9 15 0 9 0 1998374827 889081856 157642 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1594.57
Current children cumulated vsize (KiB) 868244
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 7206
/proc/meminfo: memFree=871584/2055920 swapFree=4179560/4192956
[pid=7187] ppid=7185 vsize=868244 CPUtime=1654.28
/proc/7187/stat : 7187 (java) S 7185 7187 3002 0 -1 0 248006 5535 1 0 164916 333 170 9 18 0 9 0 1998374822 889081856 157642 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/7187/statm: 217061 157642 2615 9 0 211589 0
[pid=7187/tid=7189] ppid=7185 vsize=868244 CPUtime=1648.73
/proc/7187/task/7189/stat : 7189 (java) R 7185 7187 3002 0 -1 64 29064 5535 1 0 164443 251 170 9 25 0 9 0 1998374823 889081856 157642 996147200 134512640 134550740 4294955968 18446744073709551615 4127329879 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7187/tid=7190] ppid=7185 vsize=868244 CPUtime=6.85
/proc/7187/task/7190/stat : 7190 (java) S 7185 7187 3002 0 -1 64 217058 5535 0 0 429 77 170 9 16 0 9 0 1998374825 889081856 157642 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=7187/tid=7191] ppid=7185 vsize=868244 CPUtime=1.79
/proc/7187/task/7191/stat : 7191 (java) S 7185 7187 3002 0 -1 64 17 5535 0 0 0 0 170 9 16 0 9 0 1998374825 889081856 157642 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7187/tid=7192] ppid=7185 vsize=868244 CPUtime=1.79
/proc/7187/task/7192/stat : 7192 (java) S 7185 7187 3002 0 -1 64 23 5535 0 0 0 0 170 9 16 0 9 0 1998374825 889081856 157642 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7187/tid=7193] ppid=7185 vsize=868244 CPUtime=1.79
/proc/7187/task/7193/stat : 7193 (java) S 7185 7187 3002 0 -1 64 0 5535 0 0 0 0 170 9 18 0 9 0 1998374827 889081856 157642 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7187/tid=7194] ppid=7185 vsize=868244 CPUtime=2.22
/proc/7187/task/7194/stat : 7194 (java) S 7185 7187 3002 0 -1 64 1005 5535 0 0 42 1 170 9 17 0 9 0 1998374827 889081856 157642 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7187/tid=7195] ppid=7185 vsize=868244 CPUtime=1.79
/proc/7187/task/7195/stat : 7195 (java) S 7185 7187 3002 0 -1 64 2 5535 0 0 0 0 170 9 19 0 9 0 1998374827 889081856 157642 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7187/tid=7196] ppid=7185 vsize=868244 CPUtime=1.79
/proc/7187/task/7196/stat : 7196 (java) S 7185 7187 3002 0 -1 64 21 5535 0 0 0 0 170 9 15 0 9 0 1998374827 889081856 157642 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1654.28
Current children cumulated vsize (KiB) 868244
[startup+1722.3 s]
/proc/loadavg: 1.96 1.98 1.99 3/90 7273
/proc/meminfo: memFree=874992/2055920 swapFree=4179560/4192956
[pid=7187] ppid=7185 vsize=868244 CPUtime=1713.49
/proc/7187/stat : 7187 (java) S 7185 7187 3002 0 -1 0 248006 5535 1 0 170835 335 170 9 18 0 9 0 1998374822 889081856 157642 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/7187/statm: 217061 157642 2615 9 0 211589 0
[pid=7187/tid=7189] ppid=7185 vsize=868244 CPUtime=1707.93
/proc/7187/task/7189/stat : 7189 (java) R 7185 7187 3002 0 -1 64 29064 5535 1 0 170362 252 170 9 25 0 9 0 1998374823 889081856 157642 996147200 134512640 134550740 4294955968 18446744073709551615 4127338435 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7187/tid=7190] ppid=7185 vsize=868244 CPUtime=6.85
/proc/7187/task/7190/stat : 7190 (java) S 7185 7187 3002 0 -1 64 217058 5535 0 0 429 77 170 9 16 0 9 0 1998374825 889081856 157642 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=7187/tid=7191] ppid=7185 vsize=868244 CPUtime=1.79
/proc/7187/task/7191/stat : 7191 (java) S 7185 7187 3002 0 -1 64 17 5535 0 0 0 0 170 9 16 0 9 0 1998374825 889081856 157642 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7187/tid=7192] ppid=7185 vsize=868244 CPUtime=1.79
/proc/7187/task/7192/stat : 7192 (java) S 7185 7187 3002 0 -1 64 23 5535 0 0 0 0 170 9 16 0 9 0 1998374825 889081856 157642 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7187/tid=7193] ppid=7185 vsize=868244 CPUtime=1.79
/proc/7187/task/7193/stat : 7193 (java) S 7185 7187 3002 0 -1 64 0 5535 0 0 0 0 170 9 18 0 9 0 1998374827 889081856 157642 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7187/tid=7194] ppid=7185 vsize=868244 CPUtime=2.22
/proc/7187/task/7194/stat : 7194 (java) S 7185 7187 3002 0 -1 64 1005 5535 0 0 42 1 170 9 17 0 9 0 1998374827 889081856 157642 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7187/tid=7195] ppid=7185 vsize=868244 CPUtime=1.79
/proc/7187/task/7195/stat : 7195 (java) S 7185 7187 3002 0 -1 64 2 5535 0 0 0 0 170 9 19 0 9 0 1998374827 889081856 157642 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7187/tid=7196] ppid=7185 vsize=868244 CPUtime=1.79
/proc/7187/task/7196/stat : 7196 (java) S 7185 7187 3002 0 -1 64 21 5535 0 0 0 0 170 9 15 0 9 0 1998374827 889081856 157642 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1713.49
Current children cumulated vsize (KiB) 868244
[startup+1782.3 s]
/proc/loadavg: 1.98 1.98 1.99 3/90 7273
/proc/meminfo: memFree=874800/2055920 swapFree=4179560/4192956
[pid=7187] ppid=7185 vsize=868244 CPUtime=1772.72
/proc/7187/stat : 7187 (java) S 7185 7187 3002 0 -1 0 248006 5535 1 0 176756 337 170 9 18 0 9 0 1998374822 889081856 157642 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/7187/statm: 217061 157642 2615 9 0 211589 0
[pid=7187/tid=7189] ppid=7185 vsize=868244 CPUtime=1767.16
/proc/7187/task/7189/stat : 7189 (java) R 7185 7187 3002 0 -1 64 29064 5535 1 0 176283 254 170 9 25 0 9 0 1998374823 889081856 157642 996147200 134512640 134550740 4294955968 18446744073709551615 4126095752 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7187/tid=7190] ppid=7185 vsize=868244 CPUtime=6.85
/proc/7187/task/7190/stat : 7190 (java) S 7185 7187 3002 0 -1 64 217058 5535 0 0 429 77 170 9 16 0 9 0 1998374825 889081856 157642 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=7187/tid=7191] ppid=7185 vsize=868244 CPUtime=1.79
/proc/7187/task/7191/stat : 7191 (java) S 7185 7187 3002 0 -1 64 17 5535 0 0 0 0 170 9 16 0 9 0 1998374825 889081856 157642 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7187/tid=7192] ppid=7185 vsize=868244 CPUtime=1.79
/proc/7187/task/7192/stat : 7192 (java) S 7185 7187 3002 0 -1 64 23 5535 0 0 0 0 170 9 16 0 9 0 1998374825 889081856 157642 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7187/tid=7193] ppid=7185 vsize=868244 CPUtime=1.79
/proc/7187/task/7193/stat : 7193 (java) S 7185 7187 3002 0 -1 64 0 5535 0 0 0 0 170 9 18 0 9 0 1998374827 889081856 157642 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7187/tid=7194] ppid=7185 vsize=868244 CPUtime=2.22
/proc/7187/task/7194/stat : 7194 (java) S 7185 7187 3002 0 -1 64 1005 5535 0 0 42 1 170 9 17 0 9 0 1998374827 889081856 157642 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7187/tid=7195] ppid=7185 vsize=868244 CPUtime=1.79
/proc/7187/task/7195/stat : 7195 (java) S 7185 7187 3002 0 -1 64 2 5535 0 0 0 0 170 9 19 0 9 0 1998374827 889081856 157642 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7187/tid=7196] ppid=7185 vsize=868244 CPUtime=1.79
/proc/7187/task/7196/stat : 7196 (java) S 7185 7187 3002 0 -1 64 21 5535 0 0 0 0 170 9 15 0 9 0 1998374827 889081856 157642 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1772.72
Current children cumulated vsize (KiB) 868244
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1810 s]
/proc/loadavg: 1.99 1.98 1.99 3/90 7273
/proc/meminfo: memFree=874800/2055920 swapFree=4179560/4192956
[pid=7187] ppid=7185 vsize=868244 CPUtime=1800.04
/proc/7187/stat : 7187 (java) S 7185 7187 3002 0 -1 0 248006 5535 1 0 179488 337 170 9 18 0 9 0 1998374822 889081856 157642 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/7187/statm: 217061 157642 2615 9 0 211589 0
[pid=7187/tid=7189] ppid=7185 vsize=868244 CPUtime=1794.48
/proc/7187/task/7189/stat : 7189 (java) R 7185 7187 3002 0 -1 64 29064 5535 1 0 179015 254 170 9 25 0 9 0 1998374823 889081856 157642 996147200 134512640 134550740 4294955968 18446744073709551615 4127339978 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7187/tid=7190] ppid=7185 vsize=868244 CPUtime=6.85
/proc/7187/task/7190/stat : 7190 (java) S 7185 7187 3002 0 -1 64 217058 5535 0 0 429 77 170 9 16 0 9 0 1998374825 889081856 157642 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=7187/tid=7191] ppid=7185 vsize=868244 CPUtime=1.79
/proc/7187/task/7191/stat : 7191 (java) S 7185 7187 3002 0 -1 64 17 5535 0 0 0 0 170 9 16 0 9 0 1998374825 889081856 157642 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7187/tid=7192] ppid=7185 vsize=868244 CPUtime=1.79
/proc/7187/task/7192/stat : 7192 (java) S 7185 7187 3002 0 -1 64 23 5535 0 0 0 0 170 9 16 0 9 0 1998374825 889081856 157642 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7187/tid=7193] ppid=7185 vsize=868244 CPUtime=1.79
/proc/7187/task/7193/stat : 7193 (java) S 7185 7187 3002 0 -1 64 0 5535 0 0 0 0 170 9 18 0 9 0 1998374827 889081856 157642 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7187/tid=7194] ppid=7185 vsize=868244 CPUtime=2.22
/proc/7187/task/7194/stat : 7194 (java) S 7185 7187 3002 0 -1 64 1005 5535 0 0 42 1 170 9 17 0 9 0 1998374827 889081856 157642 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7187/tid=7195] ppid=7185 vsize=868244 CPUtime=1.79
/proc/7187/task/7195/stat : 7195 (java) S 7185 7187 3002 0 -1 64 2 5535 0 0 0 0 170 9 19 0 9 0 1998374827 889081856 157642 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7187/tid=7196] ppid=7185 vsize=868244 CPUtime=1.79
/proc/7187/task/7196/stat : 7196 (java) S 7185 7187 3002 0 -1 64 21 5535 0 0 0 0 170 9 15 0 9 0 1998374827 889081856 157642 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 868244
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1810.11 s]
/proc/loadavg: 1.99 1.98 1.99 3/90 7273
/proc/meminfo: memFree=874800/2055920 swapFree=4179560/4192956
[pid=7187] ppid=7185 vsize=0 CPUtime=1800.14
/proc/7187/stat : 7187 (java) Z 7185 7187 3002 0 -1 1036 248036 5535 1 0 179490 345 170 9 16 0 2 0 1998374822 0 0 996147200 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/7187/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.14
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1810.12
CPU time (s): 1800.17
CPU user time (s): 1796.62
CPU system time (s): 3.55446
CPU usage (%): 99.4505
Max. virtual memory (cumulated for all children) (KiB): 902472
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.62
system time used= 3.55446
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 253571
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= 39040
involuntary context switches= 56479
runsolver used 2.25666 second user time and 6.03008 second system time
The end
Begin job on node8 at 2008-07-04 19:53:18
IDJOB=1077618
IDBENCH=56692
IDSOLVER=364
FILE ID=node8/1077618-1215193997
PBS_JOBID= 7881560
Free space on /tmp= 66300 MiB
SOLVER NAME= Abscon 112v4 ESAC
BENCH NAME= CPAI08/csp/medium/normalized-patat-02-medium-2.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution esac.xml 1 XSax BENCHNAME
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1077618-1215193997/watcher-1077618-1215193997 -o /tmp/evaluation-result-1077618-1215193997/solver-1077618-1215193997 -C 1800 -W 2200 -M 900 --output-limit 1,15 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution esac.xml 1 XSax HOME/instance-1077618-1215193997.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= deee800a676362b8ba7ef4a56056f1e3
RANDOM SEED=2068255476
node8.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.222
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.222
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5996.54
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1494608 kB
Buffers: 56124 kB
Cached: 427188 kB
SwapCached: 6900 kB
Active: 213260 kB
Inactive: 288068 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1494608 kB
SwapTotal: 4192956 kB
SwapFree: 4179560 kB
Dirty: 11080 kB
Writeback: 0 kB
Mapped: 25276 kB
Slab: 45120 kB
Committed_AS: 3335984 kB
PageTables: 1772 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264960 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66324 MiB
End job on node8 at 2008-07-04 20:23:30