0.00/0.09
0.00/0.09 Abscon 112 (May, 2008)
0.19/0.26
0.19/0.26 configuration
0.19/0.26 name=esac.xml
0.19/0.30
0.19/0.30 instance
0.19/0.30 name=HOME/instance-2094294-1247403319.xml
0.29/0.33
0.29/0.33 domains being loaded...
0.29/0.35
0.29/0.35 variables being loaded...
0.39/0.49 nbVariables=700 nbDomainTypes=25 minDomainSize=1 maxDomainSize=45 nbTotalValues=16517
0.39/0.49 => wckTime=0.225 cpuTime=0.15 mem=9M843
0.39/0.49
0.39/0.49 predicates being loaded...
0.48/0.55
0.48/0.55 constraints being loaded...
6.55/6.69 nbConstraints=21438 nbGlobalConstraints=301 nbSingletonDomainVariables=155 nbConflictsStructures=51
6.55/6.69 nbSharedConflictsStructures=9874 nbUnbuiltConflictsStructures=166 nbSharedBinaryRepresentations=0
6.55/6.69 nbEvaluationManagers=217 nbSharedEvaluationManagers=20920 minDegree=29 maxDegree=349 minArity=4 avgArity=4.19
6.55/6.69 maxArity=20 nbGenerators=1 nbFusions=0 symmetryWckTime=1.195 symmetryCpuTime=0.39
6.55/6.69 => wckTime=6.427 cpuTime=4.84 mem=129M532
7.05/7.11
7.05/7.11 solver IterativeSystematicSolver being built...
8.34/8.50
8.34/8.50 INFO : Forward propagation technique limited
8.44/8.59 => wckTime=8.323 cpuTime=5.78 mem=198M955
23.37/23.59
23.37/23.59 preprocessing
23.37/23.59 nbConstraintChecks=7666483 nbValidityChecks=39818260 nbPropagations=20000 nbRevisions=1896791
23.37/23.59 nbUselessRevisions=1892213 nbSingletonTests=798 nbEffectiveSingletonTests=0 nbACRemovals=0 nbFoundSingletons=0
23.37/23.59 nbRemovedValues=0 detectedInconsistency=no
23.37/23.59 => wckTime=15.002 cpuTime=14.89 mem=202M19
39.09/39.34
39.09/39.34 INFO : Stopping use of transposition table (mapSize=101, nbTooLargekeys=0, mem=205M150)
1271.85/1275.28
1271.85/1275.28 search
1271.85/1275.28 run=17 nbConstraintChecks=936388125 nbValidityChecks=2713753087 minDepth=178 maxDepth=700
1271.85/1275.28 nbPropagations=9436897 nbRevisions=594445224 nbUselessRevisions=590564176 nbAssignments=61033
1271.85/1275.28 nbFailedAssignments=19713 nbInferredBacktracks=2 nbBacktracks=33951 nbVisitedNodes=102612 nbRestartNogoods=122
1271.85/1275.28 nbFoundSolutions=1 nbSEliminables=0 nbREliminables=555.28 nbIEliminables=39.31 nbDEliminables=0
1271.85/1275.28 nbPEliminables=0
1271.85/1275.28 => wckTime=1266.691 cpuTime=1263.29 mem=205M150
1271.85/1275.28
1271.85/1275.28 global
1271.85/1275.28 nbConstraintChecks=944054608 nbValidityChecks=2753571347 nbPropagations=9456897 nbRevisions=596342015
1271.85/1275.28 nbUselessRevisions=592456389 nbRestartNogoods=122 solvingWckTime=1266.693 solvingCpuTime=1263.29 expiredTime=no
1271.85/1275.28 totalExploration=no nbFoundSolutions=1 firstSolutionCpuTime=1269.01 globalCpuTime=1269.13
1271.85/1275.28 => wckTime=1275.02 cpuTime=1269.08 mem=205M150
1271.85/1275.28
1271.85/1275.28 s SATISFIABLE
1271.85/1275.28 v 2 14 2 5 11 18 19 1 4 36 0 5 26 24 0 7 19 19 35 10 3 0 25 16 27 23 25 7 37 7 31 35 20 27 21 34 29 15 1 17 20 21 28 34 3 37 13 17 34 30 29 19 28 24 21 16 29 5 33 30 40 23 23 16 35 5 5 8 22 20 6 7 11 30 17 13 19 26 17 35 17 18 3 13 18 0 40 12 11 34 19 15 35 3 26 32 38 41 36 21 11 39 15 23 33 14 43 44 0 6 1 20 27 2 14 9 22 6 6 8 0 7 17 32 32 35 16 27 23 3 31 7 30 21 37 16 4 11 26 36 36 27 33 34 20 19 42 0 40 22 15 34 39 14 29 42 17 41 18 0 0 43 4 30 18 1 24 13 2 7 2 18 13 8 8 25 8 29 4 31 18 24 24 24 37 31 23 12 0 10 13 14 32 12 16 22 19 28 32 17 6 22 14 34 16 38 25 15 9 31 3 9 1 30 32 5 31 18 20 9 2 10 26 13 7 38 35 1 13 5 42 10 9 14 38 7 36 28 6 28 28 12 2 33 22 10 15 8 11 25 1 12 26 20 27 29 30 3 5 25 41 33 40 6 4 3 32 8 34 39 32 15 21 15 33 29 27 43 10 12 9 9 4 17 14 15 29 14 22 26 36 19 6 38 33 2 6 26 37 9 31 23 20 21 16 10 42 25 21 11 11 7 22 15 43 4 37 23 9 8 2 8 3 28 36 1 22 12 27 26 44 11 12 3 1 39 9 21 27 6 37 10 4 13 24 16 4 4 2 1 2 1 3 2 0 6 6 3 9 5 8 7 1 5 9 1 0 2 1 5 6 6 2 8 2 5 9 9 0 6 0 7 8 4 5 5 4 8 0 1 0 8 2 1 5 5 1 2 9 2 7 5 7 0 1 5 9 8 7 5 5 1 0 6 5 5 0 6 1 1 9 5 4 1 8 7 1 5 0 0 5 1 9 9 0 7 9 5 2 7 7 7 9 1 4 5 7 9 4 9 1 0 9 9 0 8 5 5 4 8 7 2 0 0 5 6 7 1 0 1 2 8 7 0 7 2 0 5 6 4 1 4 7 0 1 7 8 6 9 8 1 1 6 6 5 8 0 0 0 4 0 4 1 7 8 8 6 0 4 3 5 4 5 0 7 5 2 6 7 0 6 5 0 9 3 1 7 5 0 9 2 1 9 8 9 7 2 1 1 0 4 2 8 8 1 6 4 5 9 9 7 0 9 0 9 2 0 6 9 5 7 4 4 8 2 9 2 9 7 1 4 2 8 5 3 4 4 1 2 6 5 9 8 6 8 2 0 9 5 1 0 9 9 8 2 7 2 8 7 7 2 6 6 9 8 1 9 8 1 6 4 9 1 6 1 3 6 0 2 4 1 5 7 3 1 0 9 8 1 7 7 3 6 4 0 1 2 4 8 7 9 9 4 0 4 8 3 2 2 0 6 7 4 3 2 8 1 5 2 3 8 7 5 4 0 4 4 4 5 5 5 2 2 6 7 9 9 2 7 0 9 9 0 0 8 2 2 6 6 2 7 6 2 8 7 4 3 7 1 6
1271.85/1275.28 d NODES 61033
1271.85/1275.28 d CHECKS 944054608
1271.85/1275.29
1271.85/1275.29 totalWckTime=1275.093 totalCpuTime=1269.13
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2094294-1247403319/watcher-2094294-1247403319 -o /tmp/evaluation-result-2094294-1247403319/solver-2094294-1247403319 -C 1800 -W 2000 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution esac.xml 1 XSax HOME/instance-2094294-1247403319.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): 2000 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
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.07 1.99 1.79 4/80 27871
/proc/meminfo: memFree=1458048/2055920 swapFree=4192812/4192956
[pid=27871] ppid=27869 vsize=18576 CPUtime=0
/proc/27871/stat : 27871 (runsolver) R 27869 27871 27184 0 -1 4194368 16 0 0 0 0 0 0 0 19 0 1 0 27395250 19021824 284 996147200 4194304 4302564 548682068384 18446744073709551615 251255123239 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/27871/statm: 4644 284 249 26 0 2626 0
[startup+0.016349 s]
/proc/loadavg: 2.07 1.99 1.79 4/80 27871
/proc/meminfo: memFree=1458048/2055920 swapFree=4192812/4192956
[pid=27871] ppid=27869 vsize=10764 CPUtime=0
/proc/27871/stat : 27871 (java) S 27869 27871 27184 0 -1 0 740 0 0 0 0 0 0 0 18 0 2 0 27395250 11022336 520 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0
/proc/27871/statm: 2741 577 284 9 0 1198 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 10764
[startup+0.103891 s]
/proc/loadavg: 2.07 1.99 1.79 4/80 27871
/proc/meminfo: memFree=1458048/2055920 swapFree=4192812/4192956
[pid=27871] ppid=27869 vsize=865984 CPUtime=0.09
/proc/27871/stat : 27871 (java) S 27869 27871 27184 0 -1 0 3736 0 1 0 7 2 0 0 18 0 9 0 27395250 886767616 3204 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/27871/statm: 216496 3204 1700 9 0 210981 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 865984
[startup+0.302909 s]
/proc/loadavg: 2.07 1.99 1.79 4/80 27871
/proc/meminfo: memFree=1458048/2055920 swapFree=4192812/4192956
[pid=27871] ppid=27869 vsize=866380 CPUtime=0.29
/proc/27871/stat : 27871 (java) S 27869 27871 27184 0 -1 0 5857 0 1 0 25 4 0 0 18 0 9 0 27395250 887173120 5223 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/27871/statm: 216595 5223 1981 9 0 211053 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 866380
[startup+0.702958 s]
/proc/loadavg: 2.07 1.99 1.79 4/80 27871
/proc/meminfo: memFree=1458048/2055920 swapFree=4192812/4192956
[pid=27871] ppid=27869 vsize=867780 CPUtime=0.68
/proc/27871/stat : 27871 (java) S 27869 27871 27184 0 -1 0 8890 0 1 0 62 6 0 0 18 0 9 0 27395250 888606720 8244 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/27871/statm: 216945 8244 2038 9 0 211381 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 867780
[startup+1.50105 s]
/proc/loadavg: 2.07 1.99 1.79 3/89 27880
/proc/meminfo: memFree=1415736/2055920 swapFree=4192812/4192956
[pid=27871] ppid=27869 vsize=867692 CPUtime=1.48
/proc/27871/stat : 27871 (java) S 27869 27871 27184 0 -1 0 18531 0 1 0 137 11 0 0 18 0 9 0 27395250 888516608 17859 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/27871/statm: 216923 17859 2028 9 0 211381 0
[pid=27871/tid=27873] ppid=27869 vsize=867692 CPUtime=1.21
/proc/27871/task/27873/stat : 27873 (java) R 27869 27871 27184 0 -1 64 15797 0 1 0 112 9 0 0 25 0 9 0 27395252 888516608 17859 996147200 134512640 134550932 4294955968 18446744073709551615 4126536517 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27871/tid=27874] ppid=27869 vsize=867692 CPUtime=0.05
/proc/27871/task/27874/stat : 27874 (java) S 27869 27871 27184 0 -1 64 1357 0 0 0 5 0 0 0 16 0 9 0 27395253 888516608 17859 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=27871/tid=27875] ppid=27869 vsize=867692 CPUtime=0
/proc/27871/task/27875/stat : 27875 (java) S 27869 27871 27184 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 27395253 888516608 17859 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27871/tid=27876] ppid=27869 vsize=867692 CPUtime=0
/proc/27871/task/27876/stat : 27876 (java) S 27869 27871 27184 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 27395253 888516608 17859 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27871/tid=27877] ppid=27869 vsize=867692 CPUtime=0
/proc/27871/task/27877/stat : 27877 (java) S 27869 27871 27184 0 -1 64 2 0 0 0 0 0 0 0 18 0 9 0 27395255 888516608 17859 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27871/tid=27878] ppid=27869 vsize=867692 CPUtime=0.18
/proc/27871/task/27878/stat : 27878 (java) S 27869 27871 27184 0 -1 64 676 0 0 0 18 0 0 0 16 0 9 0 27395255 888516608 17859 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27871/tid=27879] ppid=27869 vsize=867692 CPUtime=0
/proc/27871/task/27879/stat : 27879 (java) S 27869 27871 27184 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 27395256 888516608 17859 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27871/tid=27880] ppid=27869 vsize=867692 CPUtime=0
/proc/27871/task/27880/stat : 27880 (java) S 27869 27871 27184 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 27395256 888516608 17859 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 867692
[startup+3.10122 s]
/proc/loadavg: 2.07 1.99 1.79 3/89 27880
/proc/meminfo: memFree=1383224/2055920 swapFree=4192812/4192956
[pid=27871] ppid=27869 vsize=867692 CPUtime=3.07
/proc/27871/stat : 27871 (java) S 27869 27871 27184 0 -1 0 21412 0 1 0 271 36 0 0 18 0 9 0 27395250 888516608 20738 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/27871/statm: 216923 20738 2029 9 0 211381 0
[pid=27871/tid=27873] ppid=27869 vsize=867692 CPUtime=2.62
/proc/27871/task/27873/stat : 27873 (java) R 27869 27871 27184 0 -1 64 15820 0 1 0 229 33 0 0 25 0 9 0 27395252 888516608 20738 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27871/tid=27874] ppid=27869 vsize=867692 CPUtime=0.17
/proc/27871/task/27874/stat : 27874 (java) R 27869 27871 27184 0 -1 64 4158 0 0 0 16 1 0 0 17 0 9 0 27395253 888516608 20738 996147200 134512640 134550932 4294955968 18446744073709551615 102549393 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=27871/tid=27875] ppid=27869 vsize=867692 CPUtime=0
/proc/27871/task/27875/stat : 27875 (java) S 27869 27871 27184 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 27395253 888516608 20738 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27871/tid=27876] ppid=27869 vsize=867692 CPUtime=0
/proc/27871/task/27876/stat : 27876 (java) S 27869 27871 27184 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 27395253 888516608 20738 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27871/tid=27877] ppid=27869 vsize=867692 CPUtime=0
/proc/27871/task/27877/stat : 27877 (java) S 27869 27871 27184 0 -1 64 2 0 0 0 0 0 0 0 18 0 9 0 27395255 888516608 20738 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27871/tid=27878] ppid=27869 vsize=867692 CPUtime=0.26
/proc/27871/task/27878/stat : 27878 (java) S 27869 27871 27184 0 -1 64 733 0 0 0 25 1 0 0 15 0 9 0 27395255 888516608 20738 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27871/tid=27879] ppid=27869 vsize=867692 CPUtime=0
/proc/27871/task/27879/stat : 27879 (java) S 27869 27871 27184 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 27395256 888516608 20738 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27871/tid=27880] ppid=27869 vsize=867692 CPUtime=0
/proc/27871/task/27880/stat : 27880 (java) S 27869 27871 27184 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 27395256 888516608 20738 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 867692
[startup+6.30256 s]
/proc/loadavg: 2.14 2.00 1.80 3/89 27880
/proc/meminfo: memFree=1320440/2055920 swapFree=4192812/4192956
[pid=27871] ppid=27869 vsize=868016 CPUtime=5.87
/proc/27871/stat : 27871 (java) S 27869 27871 27184 0 -1 0 42912 0 1 0 470 117 0 0 18 0 10 0 27395250 888848384 42111 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/27871/statm: 217004 42111 2035 9 0 211462 0
[pid=27871/tid=27873] ppid=27869 vsize=868016 CPUtime=4.89
/proc/27871/task/27873/stat : 27873 (java) S 27869 27871 27184 0 -1 64 15902 0 1 0 385 104 0 0 24 0 10 0 27395252 888848384 42111 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=27871/tid=27874] ppid=27869 vsize=868016 CPUtime=0.65
/proc/27871/task/27874/stat : 27874 (java) S 27869 27871 27184 0 -1 64 25487 0 0 0 55 10 0 0 17 0 10 0 27395253 888848384 42111 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=27871/tid=27875] ppid=27869 vsize=868016 CPUtime=0
/proc/27871/task/27875/stat : 27875 (java) S 27869 27871 27184 0 -1 64 16 0 0 0 0 0 0 0 16 0 10 0 27395253 888848384 42111 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27871/tid=27876] ppid=27869 vsize=868016 CPUtime=0
/proc/27871/task/27876/stat : 27876 (java) S 27869 27871 27184 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 27395253 888848384 42111 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27871/tid=27877] ppid=27869 vsize=868016 CPUtime=0
/proc/27871/task/27877/stat : 27877 (java) S 27869 27871 27184 0 -1 64 2 0 0 0 0 0 0 0 18 0 10 0 27395255 888848384 42111 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27871/tid=27878] ppid=27869 vsize=868016 CPUtime=0.29
/proc/27871/task/27878/stat : 27878 (java) S 27869 27871 27184 0 -1 64 750 0 0 0 28 1 0 0 15 0 10 0 27395255 888848384 42111 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27871/tid=27879] ppid=27869 vsize=868016 CPUtime=0
/proc/27871/task/27879/stat : 27879 (java) S 27869 27871 27184 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 27395256 888848384 42111 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27871/tid=27880] ppid=27869 vsize=868016 CPUtime=0
/proc/27871/task/27880/stat : 27880 (java) S 27869 27871 27184 0 -1 64 6 0 0 0 0 0 0 0 15 0 10 0 27395256 888848384 42111 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 5.87
Current children cumulated vsize (KiB) 868016
[startup+12.7013 s]
/proc/loadavg: 2.13 2.00 1.80 3/89 27884
/proc/meminfo: memFree=1222456/2055920 swapFree=4192812/4192956
[pid=27871] ppid=27869 vsize=868104 CPUtime=12.62
/proc/27871/stat : 27871 (java) S 27869 27871 27184 0 -1 0 100231 2064 1 0 1069 134 55 4 18 0 9 0 27395250 888938496 61251 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/27871/statm: 217026 61251 2662 9 0 211462 0
[pid=27871/tid=27873] ppid=27869 vsize=868104 CPUtime=10.63
/proc/27871/task/27873/stat : 27873 (java) R 27869 27871 27184 0 -1 64 28717 2064 1 0 897 107 55 4 25 0 9 0 27395252 888938496 61251 996147200 134512640 134550932 4294955968 18446744073709551615 4126467491 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27871/tid=27874] ppid=27869 vsize=868104 CPUtime=2.15
/proc/27871/task/27874/stat : 27874 (java) S 27869 27871 27184 0 -1 64 69634 2064 0 0 132 24 55 4 16 0 9 0 27395253 888938496 61251 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=27871/tid=27875] ppid=27869 vsize=868104 CPUtime=0.59
/proc/27871/task/27875/stat : 27875 (java) S 27869 27871 27184 0 -1 64 21 2064 0 0 0 0 55 4 16 0 9 0 27395253 888938496 61251 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27871/tid=27876] ppid=27869 vsize=868104 CPUtime=0.59
/proc/27871/task/27876/stat : 27876 (java) S 27869 27871 27184 0 -1 64 25 2064 0 0 0 0 55 4 15 0 9 0 27395253 888938496 61251 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27871/tid=27877] ppid=27869 vsize=868104 CPUtime=0.59
/proc/27871/task/27877/stat : 27877 (java) S 27869 27871 27184 0 -1 64 2 2064 0 0 0 0 55 4 18 0 9 0 27395255 888938496 61251 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27871/tid=27878] ppid=27869 vsize=868104 CPUtime=0.98
/proc/27871/task/27878/stat : 27878 (java) S 27869 27871 27184 0 -1 64 1018 2064 0 0 38 1 55 4 15 0 9 0 27395255 888938496 61251 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27871/tid=27879] ppid=27869 vsize=868104 CPUtime=0.59
/proc/27871/task/27879/stat : 27879 (java) S 27869 27871 27184 0 -1 64 0 2064 0 0 0 0 55 4 19 0 9 0 27395256 888938496 61251 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27871/tid=27880] ppid=27869 vsize=868104 CPUtime=0.59
/proc/27871/task/27880/stat : 27880 (java) S 27869 27871 27184 0 -1 64 10 2064 0 0 0 0 55 4 15 0 9 0 27395256 888938496 61251 996147200 134512640 134550932 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) 868104
[startup+25.5026 s]
/proc/loadavg: 2.10 2.00 1.80 3/89 27884
/proc/meminfo: memFree=1222328/2055920 swapFree=4192812/4192956
[pid=27871] ppid=27869 vsize=868104 CPUtime=25.36
/proc/27871/stat : 27871 (java) S 27869 27871 27184 0 -1 0 100260 2064 1 0 2342 135 55 4 18 0 9 0 27395250 888938496 61270 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/27871/statm: 217026 61270 2662 9 0 211462 0
[pid=27871/tid=27873] ppid=27869 vsize=868104 CPUtime=23.34
/proc/27871/task/27873/stat : 27873 (java) R 27869 27871 27184 0 -1 64 28729 2064 1 0 2168 107 55 4 25 0 9 0 27395252 888938496 61270 996147200 134512640 134550932 4294955968 18446744073709551615 4126950279 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27871/tid=27874] ppid=27869 vsize=868104 CPUtime=2.15
/proc/27871/task/27874/stat : 27874 (java) S 27869 27871 27184 0 -1 64 69634 2064 0 0 132 24 55 4 17 0 9 0 27395253 888938496 61270 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=27871/tid=27875] ppid=27869 vsize=868104 CPUtime=0.59
/proc/27871/task/27875/stat : 27875 (java) S 27869 27871 27184 0 -1 64 21 2064 0 0 0 0 55 4 16 0 9 0 27395253 888938496 61270 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27871/tid=27876] ppid=27869 vsize=868104 CPUtime=0.59
/proc/27871/task/27876/stat : 27876 (java) S 27869 27871 27184 0 -1 64 25 2064 0 0 0 0 55 4 15 0 9 0 27395253 888938496 61270 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27871/tid=27877] ppid=27869 vsize=868104 CPUtime=0.59
/proc/27871/task/27877/stat : 27877 (java) S 27869 27871 27184 0 -1 64 2 2064 0 0 0 0 55 4 18 0 9 0 27395255 888938496 61270 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27871/tid=27878] ppid=27869 vsize=868104 CPUtime=1
/proc/27871/task/27878/stat : 27878 (java) S 27869 27871 27184 0 -1 64 1035 2064 0 0 40 1 55 4 15 0 9 0 27395255 888938496 61270 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27871/tid=27879] ppid=27869 vsize=868104 CPUtime=0.59
/proc/27871/task/27879/stat : 27879 (java) S 27869 27871 27184 0 -1 64 0 2064 0 0 0 0 55 4 19 0 9 0 27395256 888938496 61270 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27871/tid=27880] ppid=27869 vsize=868104 CPUtime=0.59
/proc/27871/task/27880/stat : 27880 (java) S 27869 27871 27184 0 -1 64 10 2064 0 0 0 0 55 4 15 0 9 0 27395256 888938496 61270 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.36
Current children cumulated vsize (KiB) 868104
[startup+51.1024 s]
/proc/loadavg: 2.07 2.00 1.81 3/89 27884
/proc/meminfo: memFree=1222328/2055920 swapFree=4192812/4192956
[pid=27871] ppid=27869 vsize=868104 CPUtime=50.83
/proc/27871/stat : 27871 (java) S 27869 27871 27184 0 -1 0 100287 2064 1 0 4889 135 55 4 18 0 9 0 27395250 888938496 61288 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/27871/statm: 217026 61288 2662 9 0 211462 0
[pid=27871/tid=27873] ppid=27869 vsize=868104 CPUtime=48.79
/proc/27871/task/27873/stat : 27873 (java) R 27869 27871 27184 0 -1 64 28736 2064 1 0 4712 108 55 4 25 0 9 0 27395252 888938496 61288 996147200 134512640 134550932 4294955968 18446744073709551615 4127394679 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27871/tid=27874] ppid=27869 vsize=868104 CPUtime=2.15
/proc/27871/task/27874/stat : 27874 (java) S 27869 27871 27184 0 -1 64 69634 2064 0 0 132 24 55 4 16 0 9 0 27395253 888938496 61288 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=27871/tid=27875] ppid=27869 vsize=868104 CPUtime=0.59
/proc/27871/task/27875/stat : 27875 (java) S 27869 27871 27184 0 -1 64 21 2064 0 0 0 0 55 4 16 0 9 0 27395253 888938496 61288 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27871/tid=27876] ppid=27869 vsize=868104 CPUtime=0.59
/proc/27871/task/27876/stat : 27876 (java) S 27869 27871 27184 0 -1 64 25 2064 0 0 0 0 55 4 15 0 9 0 27395253 888938496 61288 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27871/tid=27877] ppid=27869 vsize=868104 CPUtime=0.59
/proc/27871/task/27877/stat : 27877 (java) S 27869 27871 27184 0 -1 64 2 2064 0 0 0 0 55 4 18 0 9 0 27395255 888938496 61288 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27871/tid=27878] ppid=27869 vsize=868104 CPUtime=1.04
/proc/27871/task/27878/stat : 27878 (java) S 27869 27871 27184 0 -1 64 1055 2064 0 0 44 1 55 4 16 0 9 0 27395255 888938496 61288 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27871/tid=27879] ppid=27869 vsize=868104 CPUtime=0.59
/proc/27871/task/27879/stat : 27879 (java) S 27869 27871 27184 0 -1 64 0 2064 0 0 0 0 55 4 19 0 9 0 27395256 888938496 61288 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
################
# More data... #
################
/proc/27871/stat : 27871 (java) S 27869 27871 27184 0 -1 0 100307 2064 1 0 124898 139 55 4 18 0 9 0 27395250 888938496 61294 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/27871/statm: 217026 61294 2662 9 0 211462 0
[pid=27871/tid=27873] ppid=27869 vsize=868104 CPUtime=1248.89
/proc/27871/task/27873/stat : 27873 (java) R 27869 27871 27184 0 -1 64 28744 2064 1 0 124719 111 55 4 25 0 9 0 27395252 888938496 61294 996147200 134512640 134550932 4294955968 18446744073709551615 4127368715 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27871/tid=27874] ppid=27869 vsize=868104 CPUtime=2.15
/proc/27871/task/27874/stat : 27874 (java) S 27869 27871 27184 0 -1 64 69634 2064 0 0 132 24 55 4 16 0 9 0 27395253 888938496 61294 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=27871/tid=27875] ppid=27869 vsize=868104 CPUtime=0.59
/proc/27871/task/27875/stat : 27875 (java) S 27869 27871 27184 0 -1 64 21 2064 0 0 0 0 55 4 16 0 9 0 27395253 888938496 61294 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27871/tid=27876] ppid=27869 vsize=868104 CPUtime=0.59
/proc/27871/task/27876/stat : 27876 (java) S 27869 27871 27184 0 -1 64 25 2064 0 0 0 0 55 4 15 0 9 0 27395253 888938496 61294 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27871/tid=27877] ppid=27869 vsize=868104 CPUtime=0.59
/proc/27871/task/27877/stat : 27877 (java) S 27869 27871 27184 0 -1 64 2 2064 0 0 0 0 55 4 18 0 9 0 27395255 888938496 61294 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27871/tid=27878] ppid=27869 vsize=868104 CPUtime=1.05
/proc/27871/task/27878/stat : 27878 (java) S 27869 27871 27184 0 -1 64 1067 2064 0 0 45 1 55 4 16 0 9 0 27395255 888938496 61294 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27871/tid=27879] ppid=27869 vsize=868104 CPUtime=0.59
/proc/27871/task/27879/stat : 27879 (java) S 27869 27871 27184 0 -1 64 0 2064 0 0 0 0 55 4 19 0 9 0 27395256 888938496 61294 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27871/tid=27880] ppid=27869 vsize=868104 CPUtime=0.59
/proc/27871/task/27880/stat : 27880 (java) S 27869 27871 27184 0 -1 64 10 2064 0 0 0 0 55 4 15 0 9 0 27395256 888938496 61294 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1250.96
Current children cumulated vsize (KiB) 868104
[startup+1267.1 s]
/proc/loadavg: 2.00 2.00 1.91 3/89 27929
/proc/meminfo: memFree=1309752/2055920 swapFree=4192812/4192956
[pid=27871] ppid=27869 vsize=868104 CPUtime=1263.76
/proc/27871/stat : 27871 (java) S 27869 27871 27184 0 -1 0 100307 2064 1 0 126178 139 55 4 18 0 9 0 27395250 888938496 61294 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/27871/statm: 217026 61294 2662 9 0 211462 0
[pid=27871/tid=27873] ppid=27869 vsize=868104 CPUtime=1261.69
/proc/27871/task/27873/stat : 27873 (java) R 27869 27871 27184 0 -1 64 28744 2064 1 0 125999 111 55 4 25 0 9 0 27395252 888938496 61294 996147200 134512640 134550932 4294955968 18446744073709551615 4127378304 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27871/tid=27874] ppid=27869 vsize=868104 CPUtime=2.15
/proc/27871/task/27874/stat : 27874 (java) S 27869 27871 27184 0 -1 64 69634 2064 0 0 132 24 55 4 16 0 9 0 27395253 888938496 61294 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=27871/tid=27875] ppid=27869 vsize=868104 CPUtime=0.59
/proc/27871/task/27875/stat : 27875 (java) S 27869 27871 27184 0 -1 64 21 2064 0 0 0 0 55 4 16 0 9 0 27395253 888938496 61294 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27871/tid=27876] ppid=27869 vsize=868104 CPUtime=0.59
/proc/27871/task/27876/stat : 27876 (java) S 27869 27871 27184 0 -1 64 25 2064 0 0 0 0 55 4 15 0 9 0 27395253 888938496 61294 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27871/tid=27877] ppid=27869 vsize=868104 CPUtime=0.59
/proc/27871/task/27877/stat : 27877 (java) S 27869 27871 27184 0 -1 64 2 2064 0 0 0 0 55 4 18 0 9 0 27395255 888938496 61294 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27871/tid=27878] ppid=27869 vsize=868104 CPUtime=1.05
/proc/27871/task/27878/stat : 27878 (java) S 27869 27871 27184 0 -1 64 1067 2064 0 0 45 1 55 4 16 0 9 0 27395255 888938496 61294 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27871/tid=27879] ppid=27869 vsize=868104 CPUtime=0.59
/proc/27871/task/27879/stat : 27879 (java) S 27869 27871 27184 0 -1 64 0 2064 0 0 0 0 55 4 19 0 9 0 27395256 888938496 61294 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27871/tid=27880] ppid=27869 vsize=868104 CPUtime=0.59
/proc/27871/task/27880/stat : 27880 (java) R 27869 27871 27184 0 -1 64 10 2064 0 0 0 0 55 4 15 0 9 0 27395256 888938496 61294 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1263.76
Current children cumulated vsize (KiB) 868104
[startup+1270.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/89 27929
/proc/meminfo: memFree=1309752/2055920 swapFree=4192812/4192956
[pid=27871] ppid=27869 vsize=868104 CPUtime=1266.95
/proc/27871/stat : 27871 (java) S 27869 27871 27184 0 -1 0 100307 2064 1 0 126497 139 55 4 18 0 9 0 27395250 888938496 61294 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/27871/statm: 217026 61294 2662 9 0 211462 0
[pid=27871/tid=27873] ppid=27869 vsize=868104 CPUtime=1264.89
/proc/27871/task/27873/stat : 27873 (java) R 27869 27871 27184 0 -1 64 28744 2064 1 0 126319 111 55 4 25 0 9 0 27395252 888938496 61294 996147200 134512640 134550932 4294955968 18446744073709551615 4127381796 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27871/tid=27874] ppid=27869 vsize=868104 CPUtime=2.15
/proc/27871/task/27874/stat : 27874 (java) S 27869 27871 27184 0 -1 64 69634 2064 0 0 132 24 55 4 16 0 9 0 27395253 888938496 61294 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=27871/tid=27875] ppid=27869 vsize=868104 CPUtime=0.59
/proc/27871/task/27875/stat : 27875 (java) S 27869 27871 27184 0 -1 64 21 2064 0 0 0 0 55 4 16 0 9 0 27395253 888938496 61294 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27871/tid=27876] ppid=27869 vsize=868104 CPUtime=0.59
/proc/27871/task/27876/stat : 27876 (java) S 27869 27871 27184 0 -1 64 25 2064 0 0 0 0 55 4 15 0 9 0 27395253 888938496 61294 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27871/tid=27877] ppid=27869 vsize=868104 CPUtime=0.59
/proc/27871/task/27877/stat : 27877 (java) S 27869 27871 27184 0 -1 64 2 2064 0 0 0 0 55 4 18 0 9 0 27395255 888938496 61294 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27871/tid=27878] ppid=27869 vsize=868104 CPUtime=1.05
/proc/27871/task/27878/stat : 27878 (java) S 27869 27871 27184 0 -1 64 1067 2064 0 0 45 1 55 4 16 0 9 0 27395255 888938496 61294 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27871/tid=27879] ppid=27869 vsize=868104 CPUtime=0.59
/proc/27871/task/27879/stat : 27879 (java) S 27869 27871 27184 0 -1 64 0 2064 0 0 0 0 55 4 19 0 9 0 27395256 888938496 61294 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27871/tid=27880] ppid=27869 vsize=868104 CPUtime=0.59
/proc/27871/task/27880/stat : 27880 (java) S 27869 27871 27184 0 -1 64 10 2064 0 0 0 0 55 4 15 0 9 0 27395256 888938496 61294 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1266.95
Current children cumulated vsize (KiB) 868104
[startup+1273.5 s]
/proc/loadavg: 2.00 2.00 1.91 3/89 27929
/proc/meminfo: memFree=1309752/2055920 swapFree=4192812/4192956
[pid=27871] ppid=27869 vsize=868104 CPUtime=1270.15
/proc/27871/stat : 27871 (java) S 27869 27871 27184 0 -1 0 100307 2064 1 0 126817 139 55 4 18 0 9 0 27395250 888938496 61294 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/27871/statm: 217026 61294 2662 9 0 211462 0
[pid=27871/tid=27873] ppid=27869 vsize=868104 CPUtime=1268.09
/proc/27871/task/27873/stat : 27873 (java) R 27869 27871 27184 0 -1 64 28744 2064 1 0 126639 111 55 4 25 0 9 0 27395252 888938496 61294 996147200 134512640 134550932 4294955968 18446744073709551615 4127408745 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27871/tid=27874] ppid=27869 vsize=868104 CPUtime=2.15
/proc/27871/task/27874/stat : 27874 (java) S 27869 27871 27184 0 -1 64 69634 2064 0 0 132 24 55 4 16 0 9 0 27395253 888938496 61294 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=27871/tid=27875] ppid=27869 vsize=868104 CPUtime=0.59
/proc/27871/task/27875/stat : 27875 (java) S 27869 27871 27184 0 -1 64 21 2064 0 0 0 0 55 4 16 0 9 0 27395253 888938496 61294 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27871/tid=27876] ppid=27869 vsize=868104 CPUtime=0.59
/proc/27871/task/27876/stat : 27876 (java) S 27869 27871 27184 0 -1 64 25 2064 0 0 0 0 55 4 15 0 9 0 27395253 888938496 61294 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27871/tid=27877] ppid=27869 vsize=868104 CPUtime=0.59
/proc/27871/task/27877/stat : 27877 (java) S 27869 27871 27184 0 -1 64 2 2064 0 0 0 0 55 4 18 0 9 0 27395255 888938496 61294 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27871/tid=27878] ppid=27869 vsize=868104 CPUtime=1.05
/proc/27871/task/27878/stat : 27878 (java) S 27869 27871 27184 0 -1 64 1067 2064 0 0 45 1 55 4 16 0 9 0 27395255 888938496 61294 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27871/tid=27879] ppid=27869 vsize=868104 CPUtime=0.59
/proc/27871/task/27879/stat : 27879 (java) S 27869 27871 27184 0 -1 64 0 2064 0 0 0 0 55 4 19 0 9 0 27395256 888938496 61294 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27871/tid=27880] ppid=27869 vsize=868104 CPUtime=0.59
/proc/27871/task/27880/stat : 27880 (java) S 27869 27871 27184 0 -1 64 10 2064 0 0 0 0 55 4 15 0 9 0 27395256 888938496 61294 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1270.15
Current children cumulated vsize (KiB) 868104
[startup+1274.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/89 27929
/proc/meminfo: memFree=1309752/2055920 swapFree=4192812/4192956
[pid=27871] ppid=27869 vsize=868104 CPUtime=1270.95
/proc/27871/stat : 27871 (java) S 27869 27871 27184 0 -1 0 100307 2064 1 0 126897 139 55 4 18 0 9 0 27395250 888938496 61294 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/27871/statm: 217026 61294 2662 9 0 211462 0
[pid=27871/tid=27873] ppid=27869 vsize=868104 CPUtime=1268.89
/proc/27871/task/27873/stat : 27873 (java) R 27869 27871 27184 0 -1 64 28744 2064 1 0 126719 111 55 4 25 0 9 0 27395252 888938496 61294 996147200 134512640 134550932 4294955968 18446744073709551615 4127368715 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27871/tid=27874] ppid=27869 vsize=868104 CPUtime=2.15
/proc/27871/task/27874/stat : 27874 (java) S 27869 27871 27184 0 -1 64 69634 2064 0 0 132 24 55 4 16 0 9 0 27395253 888938496 61294 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=27871/tid=27875] ppid=27869 vsize=868104 CPUtime=0.59
/proc/27871/task/27875/stat : 27875 (java) S 27869 27871 27184 0 -1 64 21 2064 0 0 0 0 55 4 16 0 9 0 27395253 888938496 61294 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27871/tid=27876] ppid=27869 vsize=868104 CPUtime=0.59
/proc/27871/task/27876/stat : 27876 (java) S 27869 27871 27184 0 -1 64 25 2064 0 0 0 0 55 4 15 0 9 0 27395253 888938496 61294 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27871/tid=27877] ppid=27869 vsize=868104 CPUtime=0.59
/proc/27871/task/27877/stat : 27877 (java) S 27869 27871 27184 0 -1 64 2 2064 0 0 0 0 55 4 18 0 9 0 27395255 888938496 61294 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27871/tid=27878] ppid=27869 vsize=868104 CPUtime=1.05
/proc/27871/task/27878/stat : 27878 (java) S 27869 27871 27184 0 -1 64 1067 2064 0 0 45 1 55 4 16 0 9 0 27395255 888938496 61294 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27871/tid=27879] ppid=27869 vsize=868104 CPUtime=0.59
/proc/27871/task/27879/stat : 27879 (java) S 27869 27871 27184 0 -1 64 0 2064 0 0 0 0 55 4 19 0 9 0 27395256 888938496 61294 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27871/tid=27880] ppid=27869 vsize=868104 CPUtime=0.59
/proc/27871/task/27880/stat : 27880 (java) S 27869 27871 27184 0 -1 64 10 2064 0 0 0 0 55 4 15 0 9 0 27395256 888938496 61294 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1270.95
Current children cumulated vsize (KiB) 868104
[startup+1275.1 s]
/proc/loadavg: 2.00 2.00 1.91 3/89 27929
/proc/meminfo: memFree=1309752/2055920 swapFree=4192812/4192956
[pid=27871] ppid=27869 vsize=868104 CPUtime=1271.75
/proc/27871/stat : 27871 (java) S 27869 27871 27184 0 -1 0 100307 2064 1 0 126977 139 55 4 18 0 9 0 27395250 888938496 61294 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/27871/statm: 217026 61294 2662 9 0 211462 0
[pid=27871/tid=27873] ppid=27869 vsize=868104 CPUtime=1269.69
/proc/27871/task/27873/stat : 27873 (java) R 27869 27871 27184 0 -1 64 28744 2064 1 0 126799 111 55 4 25 0 9 0 27395252 888938496 61294 996147200 134512640 134550932 4294955968 18446744073709551615 4127363035 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27871/tid=27874] ppid=27869 vsize=868104 CPUtime=2.15
/proc/27871/task/27874/stat : 27874 (java) S 27869 27871 27184 0 -1 64 69634 2064 0 0 132 24 55 4 16 0 9 0 27395253 888938496 61294 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=27871/tid=27875] ppid=27869 vsize=868104 CPUtime=0.59
/proc/27871/task/27875/stat : 27875 (java) S 27869 27871 27184 0 -1 64 21 2064 0 0 0 0 55 4 16 0 9 0 27395253 888938496 61294 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27871/tid=27876] ppid=27869 vsize=868104 CPUtime=0.59
/proc/27871/task/27876/stat : 27876 (java) S 27869 27871 27184 0 -1 64 25 2064 0 0 0 0 55 4 15 0 9 0 27395253 888938496 61294 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27871/tid=27877] ppid=27869 vsize=868104 CPUtime=0.59
/proc/27871/task/27877/stat : 27877 (java) S 27869 27871 27184 0 -1 64 2 2064 0 0 0 0 55 4 18 0 9 0 27395255 888938496 61294 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27871/tid=27878] ppid=27869 vsize=868104 CPUtime=1.05
/proc/27871/task/27878/stat : 27878 (java) S 27869 27871 27184 0 -1 64 1067 2064 0 0 45 1 55 4 16 0 9 0 27395255 888938496 61294 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27871/tid=27879] ppid=27869 vsize=868104 CPUtime=0.59
/proc/27871/task/27879/stat : 27879 (java) S 27869 27871 27184 0 -1 64 0 2064 0 0 0 0 55 4 19 0 9 0 27395256 888938496 61294 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27871/tid=27880] ppid=27869 vsize=868104 CPUtime=0.59
/proc/27871/task/27880/stat : 27880 (java) S 27869 27871 27184 0 -1 64 10 2064 0 0 0 0 55 4 15 0 9 0 27395256 888938496 61294 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1271.75
Current children cumulated vsize (KiB) 868104
[startup+1275.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/89 27929
/proc/meminfo: memFree=1309752/2055920 swapFree=4192812/4192956
[pid=27871] ppid=27869 vsize=868104 CPUtime=1271.94
/proc/27871/stat : 27871 (java) S 27869 27871 27184 0 -1 0 100314 2064 1 0 126996 139 55 4 18 0 9 0 27395250 888938496 61299 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/27871/statm: 217026 61299 2662 9 0 211462 0
[pid=27871/tid=27873] ppid=27869 vsize=868104 CPUtime=1269.87
/proc/27871/task/27873/stat : 27873 (java) S 27869 27871 27184 0 -1 64 28748 2064 1 0 126817 111 55 4 25 0 9 0 27395252 888938496 61299 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27871/tid=27874] ppid=27869 vsize=868104 CPUtime=2.15
/proc/27871/task/27874/stat : 27874 (java) S 27869 27871 27184 0 -1 64 69634 2064 0 0 132 24 55 4 16 0 9 0 27395253 888938496 61299 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=27871/tid=27875] ppid=27869 vsize=868104 CPUtime=0.59
/proc/27871/task/27875/stat : 27875 (java) S 27869 27871 27184 0 -1 64 21 2064 0 0 0 0 55 4 16 0 9 0 27395253 888938496 61299 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27871/tid=27876] ppid=27869 vsize=868104 CPUtime=0.59
/proc/27871/task/27876/stat : 27876 (java) S 27869 27871 27184 0 -1 64 25 2064 0 0 0 0 55 4 15 0 9 0 27395253 888938496 61299 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27871/tid=27877] ppid=27869 vsize=868104 CPUtime=0.59
/proc/27871/task/27877/stat : 27877 (java) S 27869 27871 27184 0 -1 64 2 2064 0 0 0 0 55 4 18 0 9 0 27395255 888938496 61299 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27871/tid=27878] ppid=27869 vsize=868104 CPUtime=1.06
/proc/27871/task/27878/stat : 27878 (java) S 27869 27871 27184 0 -1 64 1070 2064 0 0 46 1 55 4 16 0 9 0 27395255 888938496 61299 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27871/tid=27879] ppid=27869 vsize=868104 CPUtime=0.59
/proc/27871/task/27879/stat : 27879 (java) S 27869 27871 27184 0 -1 64 0 2064 0 0 0 0 55 4 19 0 9 0 27395256 888938496 61299 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27871/tid=27880] ppid=27869 vsize=868104 CPUtime=0.59
/proc/27871/task/27880/stat : 27880 (java) S 27869 27871 27184 0 -1 64 10 2064 0 0 0 0 55 4 15 0 9 0 27395256 888938496 61299 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1271.94
Current children cumulated vsize (KiB) 868104
Child status: 0
Real time (s): 1275.37
CPU time (s): 1271.99
CPU user time (s): 1270.52
CPU system time (s): 1.46978
CPU usage (%): 99.7349
Max. virtual memory (cumulated for all children) (KiB): 868104
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1270.52
system time used= 1.46978
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 102407
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= 28104
involuntary context switches= 37572
runsolver used 1.84472 second user time and 3.9664 second system time
The end
Begin job on node64 at 2009-07-12 14:55:19
IDJOB=2094294
IDBENCH=54117
IDSOLVER=774
FILE ID=node64/2094294-1247403319
PBS_JOBID= 9510518
Free space on /tmp= 66344 MiB
SOLVER NAME= Abscon 112v4 ESAC
BENCH NAME= CPAI08/csp/compet02/normalized-patat-02-comp-15.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= BIN/runsolver --timestamp -w /tmp/evaluation-result-2094294-1247403319/watcher-2094294-1247403319 -o /tmp/evaluation-result-2094294-1247403319/solver-2094294-1247403319 -C 1800 -W 2000 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution esac.xml 1 XSax HOME/instance-2094294-1247403319.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MAX NB THREAD= 0
MD5SUM BENCH= fa28d59847bbf3c05de00d920280fcee
RANDOM SEED=547760564
node64.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.220
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.220
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 : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1458528 kB
Buffers: 67156 kB
Cached: 227896 kB
SwapCached: 0 kB
Active: 379960 kB
Inactive: 139356 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1458528 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 9864 kB
Writeback: 0 kB
Mapped: 244736 kB
Slab: 62684 kB
Committed_AS: 1015616 kB
PageTables: 2192 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= 66336 MiB
End job on node64 at 2009-07-12 15:16:35