0.04/0.09
0.04/0.09 Abscon 112 (May, 2008)
0.18/0.24
0.18/0.24 configuration
0.18/0.24 name=esac.xml
0.28/0.32
0.28/0.32 instance
0.28/0.32 name=HOME/instance-2097140-1247411751.xml
0.28/0.36
0.28/0.36 domains being loaded...
0.28/0.37
0.28/0.37 variables being loaded...
0.28/0.39 nbVariables=20 nbDomainTypes=1 minDomainSize=20 maxDomainSize=20 nbTotalValues=400
0.28/0.39 => wckTime=0.145 cpuTime=0.1 mem=7M892
0.28/0.39
0.28/0.39 relations being loaded...
0.68/0.74
0.68/0.74 constraints being loaded...
0.88/0.98 nbConstraints=60 nbRelationTypes=60 nbGlobalConstraints=60 nbExtensionStructures=60
0.88/0.98 nbSharedExtensionStructures=0 nbConflictsStructures=60 nbSharedConflictsStructures=0
0.88/0.98 nbSharedBinaryRepresentations=0 minDegree=5 maxDegree=16 minArity=3 maxArity=3 nbGenerators=0 nbFusions=0
0.88/0.98 symmetryWckTime=0.045 symmetryCpuTime=0.02
0.88/0.98 => wckTime=0.732 cpuTime=0.62 mem=48M758
1.07/1.11
1.07/1.11 solver IterativeSystematicSolver being built...
1.07/1.18
1.07/1.18 INFO : Forward propagation technique limited
1.17/1.25 => wckTime=1.008 cpuTime=0.74 mem=29M974
1.37/1.41
1.37/1.41 preprocessing
1.37/1.41 nbConstraintChecks=0 nbValidityChecks=1510384 nbPropagations=192 nbRevisions=0 nbUselessRevisions=0
1.37/1.41 nbSingletonTests=30 nbEffectiveSingletonTests=0 nbACRemovals=0 nbFoundSingletons=0 nbRemovedValues=0
1.37/1.41 detectedInconsistency=no
1.37/1.41 => wckTime=0.151 cpuTime=0.13 mem=29M974
1.96/2.09
1.96/2.09 INFO : Stopping use of transposition table (mapSize=101, nbTooLargekeys=0, mem=31M29)
142.24/143.61
142.24/143.61 search
142.24/143.61 run=19 nbConstraintChecks=652393 nbValidityChecks=1773971323 minDepth=1 maxDepth=20 nbPropagations=3553303
142.24/143.61 nbRevisions=0 nbUselessRevisions=0 nbAssignments=84700 nbFailedAssignments=55208 nbBacktracks=29383
142.24/143.61 nbVisitedNodes=160805 nbRestartNogoods=226 nbFoundSolutions=1 nbSEliminables=0 nbREliminables=3.49
142.24/143.61 nbIEliminables=11.58 nbDEliminables=0 nbPEliminables=0
142.24/143.61 => wckTime=142.347 cpuTime=140.91 mem=32M940
142.24/143.61
142.24/143.61 global
142.24/143.61 nbConstraintChecks=652393 nbValidityChecks=1775481707 nbPropagations=3553495 nbRestartNogoods=226
142.24/143.61 solvingWckTime=142.351 solvingCpuTime=140.91 expiredTime=no totalExploration=no nbFoundSolutions=1
142.24/143.61 firstSolutionCpuTime=141.65 globalCpuTime=141.7
142.24/143.61 => wckTime=143.362 cpuTime=141.65 mem=32M940
142.24/143.61
142.24/143.61 s SATISFIABLE
142.24/143.61 v 1 18 15 19 13 15 8 9 11 10 11 6 8 0 1 3 10 3 6 0
142.24/143.61 d NODES 84700
142.24/143.61 d CHECKS 652393
142.24/143.61
142.24/143.61 totalWckTime=143.419 totalCpuTime=141.7
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2097140-1247411751/watcher-2097140-1247411751 -o /tmp/evaluation-result-2097140-1247411751/solver-2097140-1247411751 -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-2097140-1247411751.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.21 2.06 2.02 3/80 28012
/proc/meminfo: memFree=1726064/2055920 swapFree=4192812/4192956
[pid=28012] ppid=28010 vsize=18576 CPUtime=0
/proc/28012/stat : 28012 (runsolver) R 28010 28012 26990 0 -1 4194368 16 0 0 0 0 0 0 0 18 0 1 0 28241246 19021824 284 996147200 4194304 4302564 548682068384 18446744073709551615 225612197159 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/28012/statm: 4644 284 249 26 0 2626 0
[startup+0.0697431 s]
/proc/loadavg: 2.21 2.06 2.02 3/80 28012
/proc/meminfo: memFree=1726064/2055920 swapFree=4192812/4192956
[pid=28012] ppid=28010 vsize=864024 CPUtime=0.04
/proc/28012/stat : 28012 (java) S 28010 28012 26990 0 -1 0 2817 0 1 0 3 1 0 0 18 0 9 0 28241246 884760576 2353 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/28012/statm: 216006 2353 1117 9 0 210899 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 864024
[startup+0.102691 s]
/proc/loadavg: 2.21 2.06 2.02 3/80 28012
/proc/meminfo: memFree=1726064/2055920 swapFree=4192812/4192956
[pid=28012] ppid=28010 vsize=865984 CPUtime=0.08
/proc/28012/stat : 28012 (java) S 28010 28012 26990 0 -1 0 3720 0 1 0 6 2 0 0 18 0 9 0 28241246 886767616 3188 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/28012/statm: 216496 3188 1690 9 0 210981 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 865984
[startup+0.30171 s]
/proc/loadavg: 2.21 2.06 2.02 3/80 28012
/proc/meminfo: memFree=1726064/2055920 swapFree=4192812/4192956
[pid=28012] ppid=28010 vsize=866144 CPUtime=0.28
/proc/28012/stat : 28012 (java) S 28010 28012 26990 0 -1 0 5661 0 1 0 24 4 0 0 18 0 9 0 28241246 886931456 5064 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/28012/statm: 216536 5064 1927 9 0 211014 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 866144
[startup+0.701742 s]
/proc/loadavg: 2.21 2.06 2.02 3/80 28012
/proc/meminfo: memFree=1726064/2055920 swapFree=4192812/4192956
[pid=28012] ppid=28010 vsize=866500 CPUtime=0.68
/proc/28012/stat : 28012 (java) S 28010 28012 26990 0 -1 0 10636 0 1 0 63 5 0 0 18 0 9 0 28241246 887296000 9998 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/28012/statm: 216625 9998 1998 9 0 211083 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 866500
[startup+1.50281 s]
/proc/loadavg: 2.21 2.06 2.02 5/89 28025
/proc/meminfo: memFree=1670888/2055920 swapFree=4192812/4192956
[pid=28012] ppid=28010 vsize=867360 CPUtime=1.47
/proc/28012/stat : 28012 (java) S 28010 28012 26990 0 -1 0 28594 270 1 0 134 12 0 1 18 0 9 0 28241246 888176640 19392 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/28012/statm: 216840 19392 2655 9 0 211276 0
[pid=28012/tid=28014] ppid=28010 vsize=867360 CPUtime=1.17
/proc/28012/task/28014/stat : 28014 (java) R 28010 28012 26990 0 -1 64 19642 270 1 0 107 9 0 1 25 0 9 0 28241248 888176640 19392 996147200 134512640 134550932 4294955968 18446744073709551615 4126758561 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28012/tid=28015] ppid=28010 vsize=867360 CPUtime=0.11
/proc/28012/task/28015/stat : 28015 (java) S 28010 28012 26990 0 -1 64 7596 270 0 0 9 1 0 1 18 0 9 0 28241250 888176640 19392 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=28012/tid=28016] ppid=28010 vsize=867360 CPUtime=0.01
/proc/28012/task/28016/stat : 28016 (java) S 28010 28012 26990 0 -1 64 19 270 0 0 0 0 0 1 17 0 9 0 28241250 888176640 19392 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28012/tid=28017] ppid=28010 vsize=867360 CPUtime=0.01
/proc/28012/task/28017/stat : 28017 (java) S 28010 28012 26990 0 -1 64 9 270 0 0 0 0 0 1 16 0 9 0 28241250 888176640 19392 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28012/tid=28018] ppid=28010 vsize=867360 CPUtime=0.01
/proc/28012/task/28018/stat : 28018 (java) S 28010 28012 26990 0 -1 64 2 270 0 0 0 0 0 1 18 0 9 0 28241252 888176640 19392 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28012/tid=28019] ppid=28010 vsize=867360 CPUtime=0.17
/proc/28012/task/28019/stat : 28019 (java) S 28010 28012 26990 0 -1 64 513 270 0 0 16 0 0 1 15 0 9 0 28241252 888176640 19392 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28012/tid=28020] ppid=28010 vsize=867360 CPUtime=0.01
/proc/28012/task/28020/stat : 28020 (java) S 28010 28012 26990 0 -1 64 0 270 0 0 0 0 0 1 19 0 9 0 28241252 888176640 19392 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28012/tid=28021] ppid=28010 vsize=867360 CPUtime=0.01
/proc/28012/task/28021/stat : 28021 (java) S 28010 28012 26990 0 -1 64 2 270 0 0 0 0 0 1 15 0 9 0 28241252 888176640 19392 996147200 134512640 134550932 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) 867360
[startup+3.10196 s]
/proc/loadavg: 2.21 2.06 2.02 3/89 28025
/proc/meminfo: memFree=1658472/2055920 swapFree=4192812/4192956
[pid=28012] ppid=28010 vsize=867360 CPUtime=3.05
/proc/28012/stat : 28012 (java) S 28010 28012 26990 0 -1 0 28629 270 1 0 292 12 0 1 18 0 9 0 28241246 888176640 19413 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/28012/statm: 216840 19413 2656 9 0 211276 0
[pid=28012/tid=28014] ppid=28010 vsize=867360 CPUtime=2.72
/proc/28012/task/28014/stat : 28014 (java) R 28010 28012 26990 0 -1 64 19657 270 1 0 262 9 0 1 25 0 9 0 28241248 888176640 19413 996147200 134512640 134550932 4294955968 18446744073709551615 4126770240 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28012/tid=28015] ppid=28010 vsize=867360 CPUtime=0.11
/proc/28012/task/28015/stat : 28015 (java) S 28010 28012 26990 0 -1 64 7596 270 0 0 9 1 0 1 16 0 9 0 28241250 888176640 19413 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=28012/tid=28016] ppid=28010 vsize=867360 CPUtime=0.01
/proc/28012/task/28016/stat : 28016 (java) S 28010 28012 26990 0 -1 64 19 270 0 0 0 0 0 1 17 0 9 0 28241250 888176640 19413 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28012/tid=28017] ppid=28010 vsize=867360 CPUtime=0.01
/proc/28012/task/28017/stat : 28017 (java) S 28010 28012 26990 0 -1 64 9 270 0 0 0 0 0 1 16 0 9 0 28241250 888176640 19413 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28012/tid=28018] ppid=28010 vsize=867360 CPUtime=0.01
/proc/28012/task/28018/stat : 28018 (java) S 28010 28012 26990 0 -1 64 2 270 0 0 0 0 0 1 18 0 9 0 28241252 888176640 19413 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28012/tid=28019] ppid=28010 vsize=867360 CPUtime=0.2
/proc/28012/task/28019/stat : 28019 (java) S 28010 28012 26990 0 -1 64 533 270 0 0 19 0 0 1 15 0 9 0 28241252 888176640 19413 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28012/tid=28020] ppid=28010 vsize=867360 CPUtime=0.01
/proc/28012/task/28020/stat : 28020 (java) S 28010 28012 26990 0 -1 64 0 270 0 0 0 0 0 1 19 0 9 0 28241252 888176640 19413 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28012/tid=28021] ppid=28010 vsize=867360 CPUtime=0.01
/proc/28012/task/28021/stat : 28021 (java) S 28010 28012 26990 0 -1 64 2 270 0 0 0 0 0 1 15 0 9 0 28241252 888176640 19413 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 867360
[startup+6.30223 s]
/proc/loadavg: 2.19 2.06 2.02 4/89 28025
/proc/meminfo: memFree=1658152/2055920 swapFree=4192812/4192956
[pid=28012] ppid=28010 vsize=867492 CPUtime=6.23
/proc/28012/stat : 28012 (java) S 28010 28012 26990 0 -1 0 28653 270 1 0 609 13 0 1 18 0 9 0 28241246 888311808 19428 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/28012/statm: 216873 19428 2656 9 0 211309 0
[pid=28012/tid=28014] ppid=28010 vsize=867492 CPUtime=5.86
/proc/28012/task/28014/stat : 28014 (java) R 28010 28012 26990 0 -1 64 19663 270 1 0 576 9 0 1 25 0 9 0 28241248 888311808 19428 996147200 134512640 134550932 4294955968 18446744073709551615 4126770754 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28012/tid=28015] ppid=28010 vsize=867492 CPUtime=0.11
/proc/28012/task/28015/stat : 28015 (java) S 28010 28012 26990 0 -1 64 7596 270 0 0 9 1 0 1 17 0 9 0 28241250 888311808 19428 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=28012/tid=28016] ppid=28010 vsize=867492 CPUtime=0.01
/proc/28012/task/28016/stat : 28016 (java) S 28010 28012 26990 0 -1 64 19 270 0 0 0 0 0 1 17 0 9 0 28241250 888311808 19428 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28012/tid=28017] ppid=28010 vsize=867492 CPUtime=0.01
/proc/28012/task/28017/stat : 28017 (java) S 28010 28012 26990 0 -1 64 9 270 0 0 0 0 0 1 16 0 9 0 28241250 888311808 19428 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28012/tid=28018] ppid=28010 vsize=867492 CPUtime=0.01
/proc/28012/task/28018/stat : 28018 (java) S 28010 28012 26990 0 -1 64 2 270 0 0 0 0 0 1 18 0 9 0 28241252 888311808 19428 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28012/tid=28019] ppid=28010 vsize=867492 CPUtime=0.23
/proc/28012/task/28019/stat : 28019 (java) S 28010 28012 26990 0 -1 64 551 270 0 0 22 0 0 1 17 0 9 0 28241252 888311808 19428 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28012/tid=28020] ppid=28010 vsize=867492 CPUtime=0.01
/proc/28012/task/28020/stat : 28020 (java) S 28010 28012 26990 0 -1 64 0 270 0 0 0 0 0 1 19 0 9 0 28241252 888311808 19428 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28012/tid=28021] ppid=28010 vsize=867492 CPUtime=0.01
/proc/28012/task/28021/stat : 28021 (java) S 28010 28012 26990 0 -1 64 2 270 0 0 0 0 0 1 15 0 9 0 28241252 888311808 19428 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 867492
[startup+12.7018 s]
/proc/loadavg: 2.18 2.06 2.01 4/89 28025
/proc/meminfo: memFree=1658024/2055920 swapFree=4192812/4192956
[pid=28012] ppid=28010 vsize=867492 CPUtime=12.56
/proc/28012/stat : 28012 (java) S 28010 28012 26990 0 -1 0 28664 270 1 0 1242 13 0 1 18 0 9 0 28241246 888311808 19431 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/28012/statm: 216873 19431 2656 9 0 211309 0
[pid=28012/tid=28014] ppid=28010 vsize=867492 CPUtime=12.19
/proc/28012/task/28014/stat : 28014 (java) R 28010 28012 26990 0 -1 64 19670 270 1 0 1209 9 0 1 25 0 9 0 28241248 888311808 19431 996147200 134512640 134550932 4294955968 18446744073709551615 4126770165 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28012/tid=28015] ppid=28010 vsize=867492 CPUtime=0.11
/proc/28012/task/28015/stat : 28015 (java) S 28010 28012 26990 0 -1 64 7596 270 0 0 9 1 0 1 16 0 9 0 28241250 888311808 19431 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=28012/tid=28016] ppid=28010 vsize=867492 CPUtime=0.01
/proc/28012/task/28016/stat : 28016 (java) S 28010 28012 26990 0 -1 64 19 270 0 0 0 0 0 1 17 0 9 0 28241250 888311808 19431 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28012/tid=28017] ppid=28010 vsize=867492 CPUtime=0.01
/proc/28012/task/28017/stat : 28017 (java) S 28010 28012 26990 0 -1 64 9 270 0 0 0 0 0 1 16 0 9 0 28241250 888311808 19431 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28012/tid=28018] ppid=28010 vsize=867492 CPUtime=0.01
/proc/28012/task/28018/stat : 28018 (java) S 28010 28012 26990 0 -1 64 2 270 0 0 0 0 0 1 18 0 9 0 28241252 888311808 19431 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28012/tid=28019] ppid=28010 vsize=867492 CPUtime=0.24
/proc/28012/task/28019/stat : 28019 (java) S 28010 28012 26990 0 -1 64 555 270 0 0 23 0 0 1 16 0 9 0 28241252 888311808 19431 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28012/tid=28020] ppid=28010 vsize=867492 CPUtime=0.01
/proc/28012/task/28020/stat : 28020 (java) S 28010 28012 26990 0 -1 64 0 270 0 0 0 0 0 1 19 0 9 0 28241252 888311808 19431 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28012/tid=28021] ppid=28010 vsize=867492 CPUtime=0.01
/proc/28012/task/28021/stat : 28021 (java) S 28010 28012 26990 0 -1 64 2 270 0 0 0 0 0 1 15 0 9 0 28241252 888311808 19431 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 867492
[startup+25.5029 s]
/proc/loadavg: 2.14 2.05 2.01 4/89 28025
/proc/meminfo: memFree=1658024/2055920 swapFree=4192812/4192956
[pid=28012] ppid=28010 vsize=867492 CPUtime=25.24
/proc/28012/stat : 28012 (java) S 28010 28012 26990 0 -1 0 28708 270 1 0 2510 13 0 1 18 0 9 0 28241246 888311808 19431 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/28012/statm: 216873 19431 2656 9 0 211309 0
[pid=28012/tid=28014] ppid=28010 vsize=867492 CPUtime=24.87
/proc/28012/task/28014/stat : 28014 (java) R 28010 28012 26990 0 -1 64 19714 270 1 0 2476 10 0 1 25 0 9 0 28241248 888311808 19431 996147200 134512640 134550932 4294955968 18446744073709551615 4126770228 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28012/tid=28015] ppid=28010 vsize=867492 CPUtime=0.11
/proc/28012/task/28015/stat : 28015 (java) S 28010 28012 26990 0 -1 64 7596 270 0 0 9 1 0 1 16 0 9 0 28241250 888311808 19431 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=28012/tid=28016] ppid=28010 vsize=867492 CPUtime=0.01
/proc/28012/task/28016/stat : 28016 (java) S 28010 28012 26990 0 -1 64 19 270 0 0 0 0 0 1 17 0 9 0 28241250 888311808 19431 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28012/tid=28017] ppid=28010 vsize=867492 CPUtime=0.01
/proc/28012/task/28017/stat : 28017 (java) S 28010 28012 26990 0 -1 64 9 270 0 0 0 0 0 1 16 0 9 0 28241250 888311808 19431 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28012/tid=28018] ppid=28010 vsize=867492 CPUtime=0.01
/proc/28012/task/28018/stat : 28018 (java) S 28010 28012 26990 0 -1 64 2 270 0 0 0 0 0 1 18 0 9 0 28241252 888311808 19431 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28012/tid=28019] ppid=28010 vsize=867492 CPUtime=0.24
/proc/28012/task/28019/stat : 28019 (java) S 28010 28012 26990 0 -1 64 555 270 0 0 23 0 0 1 16 0 9 0 28241252 888311808 19431 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28012/tid=28020] ppid=28010 vsize=867492 CPUtime=0.01
/proc/28012/task/28020/stat : 28020 (java) S 28010 28012 26990 0 -1 64 0 270 0 0 0 0 0 1 19 0 9 0 28241252 888311808 19431 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28012/tid=28021] ppid=28010 vsize=867492 CPUtime=0.01
/proc/28012/task/28021/stat : 28021 (java) S 28010 28012 26990 0 -1 64 2 270 0 0 0 0 0 1 15 0 9 0 28241252 888311808 19431 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.24
Current children cumulated vsize (KiB) 867492
[startup+51.1021 s]
/proc/loadavg: 2.09 2.05 2.01 3/89 28025
/proc/meminfo: memFree=1658024/2055920 swapFree=4192812/4192956
[pid=28012] ppid=28010 vsize=867492 CPUtime=50.6
/proc/28012/stat : 28012 (java) S 28010 28012 26990 0 -1 0 28784 270 1 0 5046 13 0 1 18 0 9 0 28241246 888311808 19433 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/28012/statm: 216873 19433 2656 9 0 211309 0
[pid=28012/tid=28014] ppid=28010 vsize=867492 CPUtime=50.23
/proc/28012/task/28014/stat : 28014 (java) R 28010 28012 26990 0 -1 64 19788 270 1 0 5012 10 0 1 25 0 9 0 28241248 888311808 19433 996147200 134512640 134550932 4294955968 18446744073709551615 4126770155 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28012/tid=28015] ppid=28010 vsize=867492 CPUtime=0.11
/proc/28012/task/28015/stat : 28015 (java) S 28010 28012 26990 0 -1 64 7596 270 0 0 9 1 0 1 16 0 9 0 28241250 888311808 19433 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=28012/tid=28016] ppid=28010 vsize=867492 CPUtime=0.01
/proc/28012/task/28016/stat : 28016 (java) S 28010 28012 26990 0 -1 64 19 270 0 0 0 0 0 1 17 0 9 0 28241250 888311808 19433 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28012/tid=28017] ppid=28010 vsize=867492 CPUtime=0.01
/proc/28012/task/28017/stat : 28017 (java) S 28010 28012 26990 0 -1 64 9 270 0 0 0 0 0 1 16 0 9 0 28241250 888311808 19433 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28012/tid=28018] ppid=28010 vsize=867492 CPUtime=0.01
/proc/28012/task/28018/stat : 28018 (java) S 28010 28012 26990 0 -1 64 2 270 0 0 0 0 0 1 18 0 9 0 28241252 888311808 19433 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28012/tid=28019] ppid=28010 vsize=867492 CPUtime=0.24
/proc/28012/task/28019/stat : 28019 (java) S 28010 28012 26990 0 -1 64 557 270 0 0 23 0 0 1 17 0 9 0 28241252 888311808 19433 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28012/tid=28020] ppid=28010 vsize=867492 CPUtime=0.01
/proc/28012/task/28020/stat : 28020 (java) S 28010 28012 26990 0 -1 64 0 270 0 0 0 0 0 1 19 0 9 0 28241252 888311808 19433 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
################
# More data... #
################
/proc/28012/stat : 28012 (java) S 28010 28012 26990 0 -1 0 28993 270 1 0 13288 13 0 1 18 0 9 0 28241246 888311808 19434 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/28012/statm: 216873 19434 2656 9 0 211309 0
[pid=28012/tid=28014] ppid=28010 vsize=867492 CPUtime=132.65
/proc/28012/task/28014/stat : 28014 (java) R 28010 28012 26990 0 -1 64 19996 270 1 0 13254 10 0 1 25 0 9 0 28241248 888311808 19434 996147200 134512640 134550932 4294955968 18446744073709551615 4126770129 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28012/tid=28015] ppid=28010 vsize=867492 CPUtime=0.11
/proc/28012/task/28015/stat : 28015 (java) S 28010 28012 26990 0 -1 64 7596 270 0 0 9 1 0 1 16 0 9 0 28241250 888311808 19434 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=28012/tid=28016] ppid=28010 vsize=867492 CPUtime=0.01
/proc/28012/task/28016/stat : 28016 (java) S 28010 28012 26990 0 -1 64 19 270 0 0 0 0 0 1 17 0 9 0 28241250 888311808 19434 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28012/tid=28017] ppid=28010 vsize=867492 CPUtime=0.01
/proc/28012/task/28017/stat : 28017 (java) S 28010 28012 26990 0 -1 64 9 270 0 0 0 0 0 1 16 0 9 0 28241250 888311808 19434 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28012/tid=28018] ppid=28010 vsize=867492 CPUtime=0.01
/proc/28012/task/28018/stat : 28018 (java) S 28010 28012 26990 0 -1 64 2 270 0 0 0 0 0 1 18 0 9 0 28241252 888311808 19434 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28012/tid=28019] ppid=28010 vsize=867492 CPUtime=0.24
/proc/28012/task/28019/stat : 28019 (java) S 28010 28012 26990 0 -1 64 558 270 0 0 23 0 0 1 16 0 9 0 28241252 888311808 19434 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28012/tid=28020] ppid=28010 vsize=867492 CPUtime=0.01
/proc/28012/task/28020/stat : 28020 (java) S 28010 28012 26990 0 -1 64 0 270 0 0 0 0 0 1 19 0 9 0 28241252 888311808 19434 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28012/tid=28021] ppid=28010 vsize=867492 CPUtime=0.01
/proc/28012/task/28021/stat : 28021 (java) S 28010 28012 26990 0 -1 64 2 270 0 0 0 0 0 1 15 0 9 0 28241252 888311808 19434 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 133.02
Current children cumulated vsize (KiB) 867492
[startup+137.508 s]
/proc/loadavg: 2.02 2.03 2.00 4/89 28025
/proc/meminfo: memFree=1657960/2055920 swapFree=4192812/4192956
[pid=28012] ppid=28010 vsize=867492 CPUtime=136.19
/proc/28012/stat : 28012 (java) S 28010 28012 26990 0 -1 0 29004 270 1 0 13605 13 0 1 18 0 9 0 28241246 888311808 19434 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/28012/statm: 216873 19434 2656 9 0 211309 0
[pid=28012/tid=28014] ppid=28010 vsize=867492 CPUtime=135.82
/proc/28012/task/28014/stat : 28014 (java) R 28010 28012 26990 0 -1 64 20007 270 1 0 13571 10 0 1 25 0 9 0 28241248 888311808 19434 996147200 134512640 134550932 4294955968 18446744073709551615 4126770400 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28012/tid=28015] ppid=28010 vsize=867492 CPUtime=0.11
/proc/28012/task/28015/stat : 28015 (java) S 28010 28012 26990 0 -1 64 7596 270 0 0 9 1 0 1 16 0 9 0 28241250 888311808 19434 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=28012/tid=28016] ppid=28010 vsize=867492 CPUtime=0.01
/proc/28012/task/28016/stat : 28016 (java) S 28010 28012 26990 0 -1 64 19 270 0 0 0 0 0 1 17 0 9 0 28241250 888311808 19434 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28012/tid=28017] ppid=28010 vsize=867492 CPUtime=0.01
/proc/28012/task/28017/stat : 28017 (java) S 28010 28012 26990 0 -1 64 9 270 0 0 0 0 0 1 16 0 9 0 28241250 888311808 19434 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28012/tid=28018] ppid=28010 vsize=867492 CPUtime=0.01
/proc/28012/task/28018/stat : 28018 (java) S 28010 28012 26990 0 -1 64 2 270 0 0 0 0 0 1 18 0 9 0 28241252 888311808 19434 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28012/tid=28019] ppid=28010 vsize=867492 CPUtime=0.24
/proc/28012/task/28019/stat : 28019 (java) S 28010 28012 26990 0 -1 64 558 270 0 0 23 0 0 1 16 0 9 0 28241252 888311808 19434 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28012/tid=28020] ppid=28010 vsize=867492 CPUtime=0.01
/proc/28012/task/28020/stat : 28020 (java) S 28010 28012 26990 0 -1 64 0 270 0 0 0 0 0 1 19 0 9 0 28241252 888311808 19434 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28012/tid=28021] ppid=28010 vsize=867492 CPUtime=0.01
/proc/28012/task/28021/stat : 28021 (java) R 28010 28012 26990 0 -1 64 2 270 0 0 0 0 0 1 15 0 9 0 28241252 888311808 19434 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 136.19
Current children cumulated vsize (KiB) 867492
[startup+140.703 s]
/proc/loadavg: 2.02 2.03 2.00 3/89 28025
/proc/meminfo: memFree=1657960/2055920 swapFree=4192812/4192956
[pid=28012] ppid=28010 vsize=867492 CPUtime=139.37
/proc/28012/stat : 28012 (java) S 28010 28012 26990 0 -1 0 29018 270 1 0 13922 14 0 1 18 0 9 0 28241246 888311808 19434 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/28012/statm: 216873 19434 2656 9 0 211309 0
[pid=28012/tid=28014] ppid=28010 vsize=867492 CPUtime=138.99
/proc/28012/task/28014/stat : 28014 (java) R 28010 28012 26990 0 -1 64 20021 270 1 0 13888 10 0 1 25 0 9 0 28241248 888311808 19434 996147200 134512640 134550932 4294955968 18446744073709551615 4126770129 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28012/tid=28015] ppid=28010 vsize=867492 CPUtime=0.11
/proc/28012/task/28015/stat : 28015 (java) S 28010 28012 26990 0 -1 64 7596 270 0 0 9 1 0 1 16 0 9 0 28241250 888311808 19434 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=28012/tid=28016] ppid=28010 vsize=867492 CPUtime=0.01
/proc/28012/task/28016/stat : 28016 (java) S 28010 28012 26990 0 -1 64 19 270 0 0 0 0 0 1 17 0 9 0 28241250 888311808 19434 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28012/tid=28017] ppid=28010 vsize=867492 CPUtime=0.01
/proc/28012/task/28017/stat : 28017 (java) S 28010 28012 26990 0 -1 64 9 270 0 0 0 0 0 1 16 0 9 0 28241250 888311808 19434 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28012/tid=28018] ppid=28010 vsize=867492 CPUtime=0.01
/proc/28012/task/28018/stat : 28018 (java) S 28010 28012 26990 0 -1 64 2 270 0 0 0 0 0 1 18 0 9 0 28241252 888311808 19434 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28012/tid=28019] ppid=28010 vsize=867492 CPUtime=0.24
/proc/28012/task/28019/stat : 28019 (java) S 28010 28012 26990 0 -1 64 558 270 0 0 23 0 0 1 16 0 9 0 28241252 888311808 19434 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28012/tid=28020] ppid=28010 vsize=867492 CPUtime=0.01
/proc/28012/task/28020/stat : 28020 (java) S 28010 28012 26990 0 -1 64 0 270 0 0 0 0 0 1 19 0 9 0 28241252 888311808 19434 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28012/tid=28021] ppid=28010 vsize=867492 CPUtime=0.01
/proc/28012/task/28021/stat : 28021 (java) S 28010 28012 26990 0 -1 64 2 270 0 0 0 0 0 1 15 0 9 0 28241252 888311808 19434 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 139.37
Current children cumulated vsize (KiB) 867492
[startup+142.302 s]
/proc/loadavg: 2.02 2.03 2.00 3/89 28025
/proc/meminfo: memFree=1657960/2055920 swapFree=4192812/4192956
[pid=28012] ppid=28010 vsize=867492 CPUtime=140.95
/proc/28012/stat : 28012 (java) S 28010 28012 26990 0 -1 0 29023 270 1 0 14080 14 0 1 18 0 9 0 28241246 888311808 19434 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/28012/statm: 216873 19434 2656 9 0 211309 0
[pid=28012/tid=28014] ppid=28010 vsize=867492 CPUtime=140.57
/proc/28012/task/28014/stat : 28014 (java) R 28010 28012 26990 0 -1 64 20026 270 1 0 14046 10 0 1 25 0 9 0 28241248 888311808 19434 996147200 134512640 134550932 4294955968 18446744073709551615 4126770139 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28012/tid=28015] ppid=28010 vsize=867492 CPUtime=0.11
/proc/28012/task/28015/stat : 28015 (java) S 28010 28012 26990 0 -1 64 7596 270 0 0 9 1 0 1 16 0 9 0 28241250 888311808 19434 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=28012/tid=28016] ppid=28010 vsize=867492 CPUtime=0.01
/proc/28012/task/28016/stat : 28016 (java) S 28010 28012 26990 0 -1 64 19 270 0 0 0 0 0 1 17 0 9 0 28241250 888311808 19434 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28012/tid=28017] ppid=28010 vsize=867492 CPUtime=0.01
/proc/28012/task/28017/stat : 28017 (java) S 28010 28012 26990 0 -1 64 9 270 0 0 0 0 0 1 16 0 9 0 28241250 888311808 19434 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28012/tid=28018] ppid=28010 vsize=867492 CPUtime=0.01
/proc/28012/task/28018/stat : 28018 (java) S 28010 28012 26990 0 -1 64 2 270 0 0 0 0 0 1 18 0 9 0 28241252 888311808 19434 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28012/tid=28019] ppid=28010 vsize=867492 CPUtime=0.24
/proc/28012/task/28019/stat : 28019 (java) S 28010 28012 26990 0 -1 64 558 270 0 0 23 0 0 1 16 0 9 0 28241252 888311808 19434 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28012/tid=28020] ppid=28010 vsize=867492 CPUtime=0.01
/proc/28012/task/28020/stat : 28020 (java) S 28010 28012 26990 0 -1 64 0 270 0 0 0 0 0 1 19 0 9 0 28241252 888311808 19434 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28012/tid=28021] ppid=28010 vsize=867492 CPUtime=0.01
/proc/28012/task/28021/stat : 28021 (java) S 28010 28012 26990 0 -1 64 2 270 0 0 0 0 0 1 15 0 9 0 28241252 888311808 19434 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 140.95
Current children cumulated vsize (KiB) 867492
[startup+143.102 s]
/proc/loadavg: 2.02 2.03 2.00 3/89 28025
/proc/meminfo: memFree=1657960/2055920 swapFree=4192812/4192956
[pid=28012] ppid=28010 vsize=867492 CPUtime=141.74
/proc/28012/stat : 28012 (java) S 28010 28012 26990 0 -1 0 29026 270 1 0 14159 14 0 1 18 0 9 0 28241246 888311808 19434 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/28012/statm: 216873 19434 2656 9 0 211309 0
[pid=28012/tid=28014] ppid=28010 vsize=867492 CPUtime=141.36
/proc/28012/task/28014/stat : 28014 (java) R 28010 28012 26990 0 -1 64 20029 270 1 0 14125 10 0 1 25 0 9 0 28241248 888311808 19434 996147200 134512640 134550932 4294955968 18446744073709551615 4126770375 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28012/tid=28015] ppid=28010 vsize=867492 CPUtime=0.11
/proc/28012/task/28015/stat : 28015 (java) S 28010 28012 26990 0 -1 64 7596 270 0 0 9 1 0 1 16 0 9 0 28241250 888311808 19434 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=28012/tid=28016] ppid=28010 vsize=867492 CPUtime=0.01
/proc/28012/task/28016/stat : 28016 (java) S 28010 28012 26990 0 -1 64 19 270 0 0 0 0 0 1 17 0 9 0 28241250 888311808 19434 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28012/tid=28017] ppid=28010 vsize=867492 CPUtime=0.01
/proc/28012/task/28017/stat : 28017 (java) S 28010 28012 26990 0 -1 64 9 270 0 0 0 0 0 1 16 0 9 0 28241250 888311808 19434 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28012/tid=28018] ppid=28010 vsize=867492 CPUtime=0.01
/proc/28012/task/28018/stat : 28018 (java) S 28010 28012 26990 0 -1 64 2 270 0 0 0 0 0 1 18 0 9 0 28241252 888311808 19434 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28012/tid=28019] ppid=28010 vsize=867492 CPUtime=0.24
/proc/28012/task/28019/stat : 28019 (java) S 28010 28012 26990 0 -1 64 558 270 0 0 23 0 0 1 16 0 9 0 28241252 888311808 19434 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28012/tid=28020] ppid=28010 vsize=867492 CPUtime=0.01
/proc/28012/task/28020/stat : 28020 (java) S 28010 28012 26990 0 -1 64 0 270 0 0 0 0 0 1 19 0 9 0 28241252 888311808 19434 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28012/tid=28021] ppid=28010 vsize=867492 CPUtime=0.01
/proc/28012/task/28021/stat : 28021 (java) S 28010 28012 26990 0 -1 64 2 270 0 0 0 0 0 1 15 0 9 0 28241252 888311808 19434 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 141.74
Current children cumulated vsize (KiB) 867492
[startup+143.502 s]
/proc/loadavg: 2.02 2.03 2.00 3/89 28025
/proc/meminfo: memFree=1657960/2055920 swapFree=4192812/4192956
[pid=28012] ppid=28010 vsize=867492 CPUtime=142.14
/proc/28012/stat : 28012 (java) S 28010 28012 26990 0 -1 0 29028 270 1 0 14199 14 0 1 18 0 9 0 28241246 888311808 19434 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/28012/statm: 216873 19434 2656 9 0 211309 0
[pid=28012/tid=28014] ppid=28010 vsize=867492 CPUtime=141.76
/proc/28012/task/28014/stat : 28014 (java) R 28010 28012 26990 0 -1 64 20031 270 1 0 14165 10 0 1 25 0 9 0 28241248 888311808 19434 996147200 134512640 134550932 4294955968 18446744073709551615 4126770139 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28012/tid=28015] ppid=28010 vsize=867492 CPUtime=0.11
/proc/28012/task/28015/stat : 28015 (java) S 28010 28012 26990 0 -1 64 7596 270 0 0 9 1 0 1 16 0 9 0 28241250 888311808 19434 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=28012/tid=28016] ppid=28010 vsize=867492 CPUtime=0.01
/proc/28012/task/28016/stat : 28016 (java) S 28010 28012 26990 0 -1 64 19 270 0 0 0 0 0 1 17 0 9 0 28241250 888311808 19434 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28012/tid=28017] ppid=28010 vsize=867492 CPUtime=0.01
/proc/28012/task/28017/stat : 28017 (java) S 28010 28012 26990 0 -1 64 9 270 0 0 0 0 0 1 16 0 9 0 28241250 888311808 19434 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28012/tid=28018] ppid=28010 vsize=867492 CPUtime=0.01
/proc/28012/task/28018/stat : 28018 (java) S 28010 28012 26990 0 -1 64 2 270 0 0 0 0 0 1 18 0 9 0 28241252 888311808 19434 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28012/tid=28019] ppid=28010 vsize=867492 CPUtime=0.24
/proc/28012/task/28019/stat : 28019 (java) S 28010 28012 26990 0 -1 64 558 270 0 0 23 0 0 1 16 0 9 0 28241252 888311808 19434 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28012/tid=28020] ppid=28010 vsize=867492 CPUtime=0.01
/proc/28012/task/28020/stat : 28020 (java) S 28010 28012 26990 0 -1 64 0 270 0 0 0 0 0 1 19 0 9 0 28241252 888311808 19434 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28012/tid=28021] ppid=28010 vsize=867492 CPUtime=0.01
/proc/28012/task/28021/stat : 28021 (java) S 28010 28012 26990 0 -1 64 2 270 0 0 0 0 0 1 15 0 9 0 28241252 888311808 19434 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 142.14
Current children cumulated vsize (KiB) 867492
[startup+143.602 s]
/proc/loadavg: 2.02 2.03 2.00 3/89 28025
/proc/meminfo: memFree=1657960/2055920 swapFree=4192812/4192956
[pid=28012] ppid=28010 vsize=867492 CPUtime=142.24
/proc/28012/stat : 28012 (java) S 28010 28012 26990 0 -1 0 29028 270 1 0 14209 14 0 1 18 0 9 0 28241246 888311808 19434 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/28012/statm: 216873 19434 2656 9 0 211309 0
[pid=28012/tid=28014] ppid=28010 vsize=867492 CPUtime=141.86
/proc/28012/task/28014/stat : 28014 (java) R 28010 28012 26990 0 -1 64 20031 270 1 0 14175 10 0 1 25 0 9 0 28241248 888311808 19434 996147200 134512640 134550932 4294955968 18446744073709551615 4126758595 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28012/tid=28015] ppid=28010 vsize=867492 CPUtime=0.11
/proc/28012/task/28015/stat : 28015 (java) S 28010 28012 26990 0 -1 64 7596 270 0 0 9 1 0 1 16 0 9 0 28241250 888311808 19434 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=28012/tid=28016] ppid=28010 vsize=867492 CPUtime=0.01
/proc/28012/task/28016/stat : 28016 (java) S 28010 28012 26990 0 -1 64 19 270 0 0 0 0 0 1 17 0 9 0 28241250 888311808 19434 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28012/tid=28017] ppid=28010 vsize=867492 CPUtime=0.01
/proc/28012/task/28017/stat : 28017 (java) S 28010 28012 26990 0 -1 64 9 270 0 0 0 0 0 1 16 0 9 0 28241250 888311808 19434 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28012/tid=28018] ppid=28010 vsize=867492 CPUtime=0.01
/proc/28012/task/28018/stat : 28018 (java) S 28010 28012 26990 0 -1 64 2 270 0 0 0 0 0 1 18 0 9 0 28241252 888311808 19434 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28012/tid=28019] ppid=28010 vsize=867492 CPUtime=0.24
/proc/28012/task/28019/stat : 28019 (java) S 28010 28012 26990 0 -1 64 558 270 0 0 23 0 0 1 16 0 9 0 28241252 888311808 19434 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28012/tid=28020] ppid=28010 vsize=867492 CPUtime=0.01
/proc/28012/task/28020/stat : 28020 (java) S 28010 28012 26990 0 -1 64 0 270 0 0 0 0 0 1 19 0 9 0 28241252 888311808 19434 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28012/tid=28021] ppid=28010 vsize=867492 CPUtime=0.01
/proc/28012/task/28021/stat : 28021 (java) S 28010 28012 26990 0 -1 64 2 270 0 0 0 0 0 1 15 0 9 0 28241252 888311808 19434 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 142.24
Current children cumulated vsize (KiB) 867492
Child status: 0
Real time (s): 143.68
CPU time (s): 142.274
CPU user time (s): 142.11
CPU system time (s): 0.163975
CPU usage (%): 99.0214
Max. virtual memory (cumulated for all children) (KiB): 867492
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 142.11
system time used= 0.163975
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 29396
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= 3947
involuntary context switches= 6936
runsolver used 0.174973 second user time and 0.488925 second system time
The end
Begin job on node31 at 2009-07-12 17:15:51
IDJOB=2097140
IDBENCH=56938
IDSOLVER=774
FILE ID=node31/2097140-1247411751
PBS_JOBID= 9510582
Free space on /tmp= 66396 MiB
SOLVER NAME= Abscon 112v4 ESAC
BENCH NAME= CPAI08/csp/rand-3-20-20/normalized-rand-3-20-20-60-632-1_ext.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-2097140-1247411751/watcher-2097140-1247411751 -o /tmp/evaluation-result-2097140-1247411751/solver-2097140-1247411751 -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-2097140-1247411751.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MAX NB THREAD= 0
MD5SUM BENCH= fc3ea51f147b1da003c7c6dfcba76e43
RANDOM SEED=1849139635
node31.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.216
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 : 5931.00
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.216
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: 1726544 kB
Buffers: 37076 kB
Cached: 135712 kB
SwapCached: 0 kB
Active: 192572 kB
Inactive: 83676 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1726544 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 3392 kB
Writeback: 0 kB
Mapped: 123928 kB
Slab: 37896 kB
Committed_AS: 989036 kB
PageTables: 2068 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= 66396 MiB
End job on node31 at 2009-07-12 17:18:15