0.00/0.09
0.00/0.09 Abscon 112 (May, 2008)
0.19/0.24
0.19/0.24 configuration
0.19/0.24 name=esac.xml
0.19/0.29
0.19/0.29 instance
0.19/0.29 name=HOME/instance-2097146-1247411769.xml
0.28/0.33
0.28/0.34 domains being loaded...
0.28/0.35
0.28/0.35 variables being loaded...
0.28/0.38 nbVariables=20 nbDomainTypes=1 minDomainSize=20 maxDomainSize=20 nbTotalValues=400
0.28/0.38 => wckTime=0.139 cpuTime=0.13 mem=7M892
0.28/0.38
0.28/0.38 relations being loaded...
0.77/0.83
0.77/0.83 constraints being loaded...
0.97/1.07 nbConstraints=59 nbRelationTypes=59 nbGlobalConstraints=59 nbExtensionStructures=59
0.97/1.07 nbSharedExtensionStructures=0 nbConflictsStructures=59 nbSharedConflictsStructures=0
0.97/1.08 nbSharedBinaryRepresentations=0 minDegree=5 maxDegree=12 minArity=3 maxArity=3 nbGenerators=0 nbFusions=0
0.97/1.08 symmetryWckTime=0.044 symmetryCpuTime=0.02
0.97/1.08 => wckTime=0.831 cpuTime=0.7 mem=48M239
1.06/1.19
1.06/1.19 solver IterativeSystematicSolver being built...
1.15/1.27
1.15/1.27 INFO : Forward propagation technique limited
1.25/1.34 => wckTime=1.094 cpuTime=0.83 mem=29M713
1.35/1.45
1.35/1.45 preprocessing
1.35/1.45 nbConstraintChecks=0 nbValidityChecks=974380 nbPropagations=149 nbRevisions=0 nbUselessRevisions=0
1.35/1.45 nbSingletonTests=23 nbEffectiveSingletonTests=0 nbACRemovals=0 nbFoundSingletons=0 nbRemovedValues=0
1.35/1.45 detectedInconsistency=no
1.35/1.45 => wckTime=0.108 cpuTime=0.09 mem=29M713
1.95/2.06
1.95/2.06 INFO : Stopping use of transposition table (mapSize=101, nbTooLargekeys=0, mem=30M729)
1657.90/1660.08
1657.90/1660.08 search
1657.90/1660.08 run=25 nbConstraintChecks=13050965 nbValidityChecks=22941168217 minDepth=0 maxDepth=10 nbPropagations=37084448
1657.90/1660.08 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1119505 nbFailedAssignments=710218 nbBacktracks=409153
1657.90/1660.08 nbVisitedNodes=2118158 nbRestartNogoods=401 nbSEliminables=0.01 nbREliminables=3.51 nbIEliminables=10.75
1657.90/1660.08 nbDEliminables=0 nbPEliminables=0
1657.90/1660.08 => wckTime=1658.735 cpuTime=1656.55 mem=58M304
1657.90/1660.08
1657.90/1660.08 global
1657.90/1660.08 nbConstraintChecks=13050965 nbValidityChecks=22942142597 nbPropagations=37084597 nbRestartNogoods=401
1657.90/1660.08 solvingWckTime=1658.74 solvingCpuTime=1656.55 expiredTime=no totalExploration=yes nbFoundSolutions=0
1657.90/1660.08 globalCpuTime=1657.43
1657.90/1660.08 => wckTime=1659.836 cpuTime=1657.38 mem=58M304
1657.90/1660.08
1657.90/1660.08 s UNSATISFIABLE
1657.90/1660.08 d NODES 1119505
1657.90/1660.08 d CHECKS 13050965
1657.90/1660.08
1657.90/1660.08 totalWckTime=1659.892 totalCpuTime=1657.43
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2097146-1247411769/watcher-2097146-1247411769 -o /tmp/evaluation-result-2097146-1247411769/solver-2097146-1247411769 -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-2097146-1247411769.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: 1.99 1.97 1.99 3/81 31281
/proc/meminfo: memFree=1738352/2055920 swapFree=4192812/4192956
[pid=31281] ppid=31279 vsize=18576 CPUtime=0
/proc/31281/stat : 31281 (runsolver) R 31279 31281 28996 0 -1 4194368 16 0 0 0 0 0 0 0 19 0 1 0 28242280 19021824 284 996147200 4194304 4302564 548682068384 18446744073709551615 210723466535 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/31281/statm: 4644 284 249 26 0 2626 0
[startup+0.0128519 s]
/proc/loadavg: 1.99 1.97 1.99 3/81 31281
/proc/meminfo: memFree=1738352/2055920 swapFree=4192812/4192956
[pid=31281] ppid=31279 vsize=272 CPUtime=0
/proc/31281/stat : 31281 (java) D 31279 31281 28996 0 -1 0 217 0 0 0 0 0 0 0 18 0 1 0 28242280 278528 37 996147200 134512640 134550932 4294955968 18446744073709551615 7709476 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0
/proc/31281/statm: 68 37 28 9 0 6 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 272
[startup+0.104006 s]
/proc/loadavg: 1.99 1.97 1.99 3/81 31281
/proc/meminfo: memFree=1738352/2055920 swapFree=4192812/4192956
[pid=31281] ppid=31279 vsize=865984 CPUtime=0.09
/proc/31281/stat : 31281 (java) S 31279 31281 28996 0 -1 0 3731 0 1 0 7 2 0 0 18 0 9 0 28242280 886767616 3197 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31281/statm: 216496 3197 1690 9 0 210981 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 865984
[startup+0.302028 s]
/proc/loadavg: 1.99 1.97 1.99 3/81 31281
/proc/meminfo: memFree=1738352/2055920 swapFree=4192812/4192956
[pid=31281] ppid=31279 vsize=866224 CPUtime=0.28
/proc/31281/stat : 31281 (java) S 31279 31281 28996 0 -1 0 5810 0 1 0 24 4 0 0 18 0 9 0 28242280 887013376 5176 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31281/statm: 216556 5176 1974 9 0 211014 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 866224
[startup+0.702097 s]
/proc/loadavg: 1.99 1.97 1.99 3/81 31281
/proc/meminfo: memFree=1738352/2055920 swapFree=4192812/4192956
[pid=31281] ppid=31279 vsize=866496 CPUtime=0.67
/proc/31281/stat : 31281 (java) S 31279 31281 28996 0 -1 0 8434 0 1 0 62 5 0 0 18 0 9 0 28242280 887291904 7796 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31281/statm: 216624 7796 1998 9 0 211082 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 866496
[startup+1.50202 s]
/proc/loadavg: 1.99 1.97 1.99 3/90 31290
/proc/meminfo: memFree=1688232/2055920 swapFree=4192812/4192956
[pid=31281] ppid=31279 vsize=867364 CPUtime=1.45
/proc/31281/stat : 31281 (java) S 31279 31281 28996 0 -1 0 28185 270 1 0 132 13 0 0 18 0 9 0 28242280 888180736 19085 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31281/statm: 216841 19085 2655 9 0 211277 0
[pid=31281/tid=31283] ppid=31279 vsize=867364 CPUtime=1.16
/proc/31281/task/31283/stat : 31283 (java) R 31279 31281 28996 0 -1 64 19389 270 1 0 106 10 0 0 25 0 9 0 28242281 888180736 19085 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31281/tid=31284] ppid=31279 vsize=867364 CPUtime=0.1
/proc/31281/task/31284/stat : 31284 (java) S 31279 31281 28996 0 -1 64 7432 270 0 0 8 2 0 0 17 0 9 0 28242283 888180736 19085 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31281/tid=31285] ppid=31279 vsize=867364 CPUtime=0
/proc/31281/task/31285/stat : 31285 (java) S 31279 31281 28996 0 -1 64 16 270 0 0 0 0 0 0 16 0 9 0 28242283 888180736 19085 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31281/tid=31286] ppid=31279 vsize=867364 CPUtime=0
/proc/31281/task/31286/stat : 31286 (java) S 31279 31281 28996 0 -1 64 8 270 0 0 0 0 0 0 16 0 9 0 28242283 888180736 19085 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31281/tid=31287] ppid=31279 vsize=867364 CPUtime=0
/proc/31281/task/31287/stat : 31287 (java) S 31279 31281 28996 0 -1 64 2 270 0 0 0 0 0 0 18 0 9 0 28242285 888180736 19085 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31281/tid=31288] ppid=31279 vsize=867364 CPUtime=0.16
/proc/31281/task/31288/stat : 31288 (java) S 31279 31281 28996 0 -1 64 517 270 0 0 16 0 0 0 15 0 9 0 28242285 888180736 19085 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31281/tid=31289] ppid=31279 vsize=867364 CPUtime=0
/proc/31281/task/31289/stat : 31289 (java) S 31279 31281 28996 0 -1 64 1 270 0 0 0 0 0 0 19 0 9 0 28242285 888180736 19085 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31281/tid=31290] ppid=31279 vsize=867364 CPUtime=0
/proc/31281/task/31290/stat : 31290 (java) S 31279 31281 28996 0 -1 64 12 270 0 0 0 0 0 0 15 0 9 0 28242285 888180736 19085 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.45
Current children cumulated vsize (KiB) 867364
[startup+3.10144 s]
/proc/loadavg: 1.99 1.97 1.99 3/90 31294
/proc/meminfo: memFree=1671976/2055920 swapFree=4192812/4192956
[pid=31281] ppid=31279 vsize=867364 CPUtime=3.04
/proc/31281/stat : 31281 (java) S 31279 31281 28996 0 -1 0 28225 270 1 0 290 14 0 0 18 0 9 0 28242280 888180736 19109 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31281/statm: 216841 19109 2656 9 0 211277 0
[pid=31281/tid=31283] ppid=31279 vsize=867364 CPUtime=2.71
/proc/31281/task/31283/stat : 31283 (java) R 31279 31281 28996 0 -1 64 19404 270 1 0 261 10 0 0 25 0 9 0 28242281 888180736 19109 996147200 134512640 134550932 4294955968 18446744073709551615 4126770947 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31281/tid=31284] ppid=31279 vsize=867364 CPUtime=0.1
/proc/31281/task/31284/stat : 31284 (java) S 31279 31281 28996 0 -1 64 7433 270 0 0 8 2 0 0 16 0 9 0 28242283 888180736 19109 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31281/tid=31285] ppid=31279 vsize=867364 CPUtime=0
/proc/31281/task/31285/stat : 31285 (java) S 31279 31281 28996 0 -1 64 16 270 0 0 0 0 0 0 16 0 9 0 28242283 888180736 19109 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31281/tid=31286] ppid=31279 vsize=867364 CPUtime=0
/proc/31281/task/31286/stat : 31286 (java) S 31279 31281 28996 0 -1 64 8 270 0 0 0 0 0 0 16 0 9 0 28242283 888180736 19109 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31281/tid=31287] ppid=31279 vsize=867364 CPUtime=0
/proc/31281/task/31287/stat : 31287 (java) S 31279 31281 28996 0 -1 64 2 270 0 0 0 0 0 0 18 0 9 0 28242285 888180736 19109 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31281/tid=31288] ppid=31279 vsize=867364 CPUtime=0.19
/proc/31281/task/31288/stat : 31288 (java) S 31279 31281 28996 0 -1 64 541 270 0 0 19 0 0 0 15 0 9 0 28242285 888180736 19109 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31281/tid=31289] ppid=31279 vsize=867364 CPUtime=0
/proc/31281/task/31289/stat : 31289 (java) S 31279 31281 28996 0 -1 64 1 270 0 0 0 0 0 0 19 0 9 0 28242285 888180736 19109 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31281/tid=31290] ppid=31279 vsize=867364 CPUtime=0
/proc/31281/task/31290/stat : 31290 (java) S 31279 31281 28996 0 -1 64 12 270 0 0 0 0 0 0 15 0 9 0 28242285 888180736 19109 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.04
Current children cumulated vsize (KiB) 867364
[startup+6.30274 s]
/proc/loadavg: 1.99 1.97 1.99 3/90 31294
/proc/meminfo: memFree=1671728/2055920 swapFree=4192812/4192956
[pid=31281] ppid=31279 vsize=867496 CPUtime=6.21
/proc/31281/stat : 31281 (java) S 31279 31281 28996 0 -1 0 28254 270 1 0 606 15 0 0 18 0 9 0 28242280 888315904 19123 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31281/statm: 216874 19123 2656 9 0 211310 0
[pid=31281/tid=31283] ppid=31279 vsize=867496 CPUtime=5.86
/proc/31281/task/31283/stat : 31283 (java) R 31279 31281 28996 0 -1 64 19418 270 1 0 575 11 0 0 25 0 9 0 28242281 888315904 19123 996147200 134512640 134550932 4294955968 18446744073709551615 4126780183 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31281/tid=31284] ppid=31279 vsize=867496 CPUtime=0.1
/proc/31281/task/31284/stat : 31284 (java) S 31279 31281 28996 0 -1 64 7433 270 0 0 8 2 0 0 16 0 9 0 28242283 888315904 19123 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31281/tid=31285] ppid=31279 vsize=867496 CPUtime=0
/proc/31281/task/31285/stat : 31285 (java) S 31279 31281 28996 0 -1 64 16 270 0 0 0 0 0 0 16 0 9 0 28242283 888315904 19123 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31281/tid=31286] ppid=31279 vsize=867496 CPUtime=0
/proc/31281/task/31286/stat : 31286 (java) S 31279 31281 28996 0 -1 64 8 270 0 0 0 0 0 0 16 0 9 0 28242283 888315904 19123 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31281/tid=31287] ppid=31279 vsize=867496 CPUtime=0
/proc/31281/task/31287/stat : 31287 (java) S 31279 31281 28996 0 -1 64 2 270 0 0 0 0 0 0 18 0 9 0 28242285 888315904 19123 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31281/tid=31288] ppid=31279 vsize=867496 CPUtime=0.22
/proc/31281/task/31288/stat : 31288 (java) S 31279 31281 28996 0 -1 64 556 270 0 0 22 0 0 0 15 0 9 0 28242285 888315904 19123 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31281/tid=31289] ppid=31279 vsize=867496 CPUtime=0
/proc/31281/task/31289/stat : 31289 (java) S 31279 31281 28996 0 -1 64 1 270 0 0 0 0 0 0 19 0 9 0 28242285 888315904 19123 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31281/tid=31290] ppid=31279 vsize=867496 CPUtime=0
/proc/31281/task/31290/stat : 31290 (java) S 31279 31281 28996 0 -1 64 12 270 0 0 0 0 0 0 15 0 9 0 28242285 888315904 19123 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 867496
[startup+12.7015 s]
/proc/loadavg: 1.99 1.97 1.99 3/90 31294
/proc/meminfo: memFree=1671472/2055920 swapFree=4192812/4192956
[pid=31281] ppid=31279 vsize=867496 CPUtime=12.55
/proc/31281/stat : 31281 (java) S 31279 31281 28996 0 -1 0 28282 270 1 0 1240 15 0 0 18 0 9 0 28242280 888315904 19127 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31281/statm: 216874 19127 2656 9 0 211310 0
[pid=31281/tid=31283] ppid=31279 vsize=867496 CPUtime=12.19
/proc/31281/task/31283/stat : 31283 (java) R 31279 31281 28996 0 -1 64 19441 270 1 0 1208 11 0 0 25 0 9 0 28242281 888315904 19127 996147200 134512640 134550932 4294955968 18446744073709551615 4126771152 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31281/tid=31284] ppid=31279 vsize=867496 CPUtime=0.1
/proc/31281/task/31284/stat : 31284 (java) S 31279 31281 28996 0 -1 64 7433 270 0 0 8 2 0 0 16 0 9 0 28242283 888315904 19127 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31281/tid=31285] ppid=31279 vsize=867496 CPUtime=0
/proc/31281/task/31285/stat : 31285 (java) S 31279 31281 28996 0 -1 64 16 270 0 0 0 0 0 0 16 0 9 0 28242283 888315904 19127 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31281/tid=31286] ppid=31279 vsize=867496 CPUtime=0
/proc/31281/task/31286/stat : 31286 (java) S 31279 31281 28996 0 -1 64 8 270 0 0 0 0 0 0 16 0 9 0 28242283 888315904 19127 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31281/tid=31287] ppid=31279 vsize=867496 CPUtime=0
/proc/31281/task/31287/stat : 31287 (java) S 31279 31281 28996 0 -1 64 2 270 0 0 0 0 0 0 18 0 9 0 28242285 888315904 19127 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31281/tid=31288] ppid=31279 vsize=867496 CPUtime=0.23
/proc/31281/task/31288/stat : 31288 (java) S 31279 31281 28996 0 -1 64 561 270 0 0 23 0 0 0 16 0 9 0 28242285 888315904 19127 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31281/tid=31289] ppid=31279 vsize=867496 CPUtime=0
/proc/31281/task/31289/stat : 31289 (java) S 31279 31281 28996 0 -1 64 1 270 0 0 0 0 0 0 19 0 9 0 28242285 888315904 19127 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31281/tid=31290] ppid=31279 vsize=867496 CPUtime=0
/proc/31281/task/31290/stat : 31290 (java) S 31279 31281 28996 0 -1 64 12 270 0 0 0 0 0 0 15 0 9 0 28242285 888315904 19127 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.55
Current children cumulated vsize (KiB) 867496
[startup+25.503 s]
/proc/loadavg: 1.99 1.97 1.99 3/90 31294
/proc/meminfo: memFree=1671536/2055920 swapFree=4192812/4192956
[pid=31281] ppid=31279 vsize=867496 CPUtime=25.23
/proc/31281/stat : 31281 (java) S 31279 31281 28996 0 -1 0 28309 270 1 0 2508 15 0 0 18 0 9 0 28242280 888315904 19129 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31281/statm: 216874 19129 2656 9 0 211310 0
[pid=31281/tid=31283] ppid=31279 vsize=867496 CPUtime=24.86
/proc/31281/task/31283/stat : 31283 (java) R 31279 31281 28996 0 -1 64 19466 270 1 0 2475 11 0 0 25 0 9 0 28242281 888315904 19129 996147200 134512640 134550932 4294955968 18446744073709551615 4126770990 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31281/tid=31284] ppid=31279 vsize=867496 CPUtime=0.1
/proc/31281/task/31284/stat : 31284 (java) S 31279 31281 28996 0 -1 64 7433 270 0 0 8 2 0 0 16 0 9 0 28242283 888315904 19129 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31281/tid=31285] ppid=31279 vsize=867496 CPUtime=0
/proc/31281/task/31285/stat : 31285 (java) S 31279 31281 28996 0 -1 64 16 270 0 0 0 0 0 0 16 0 9 0 28242283 888315904 19129 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31281/tid=31286] ppid=31279 vsize=867496 CPUtime=0
/proc/31281/task/31286/stat : 31286 (java) S 31279 31281 28996 0 -1 64 8 270 0 0 0 0 0 0 16 0 9 0 28242283 888315904 19129 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31281/tid=31287] ppid=31279 vsize=867496 CPUtime=0
/proc/31281/task/31287/stat : 31287 (java) S 31279 31281 28996 0 -1 64 2 270 0 0 0 0 0 0 18 0 9 0 28242285 888315904 19129 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31281/tid=31288] ppid=31279 vsize=867496 CPUtime=0.23
/proc/31281/task/31288/stat : 31288 (java) S 31279 31281 28996 0 -1 64 563 270 0 0 23 0 0 0 16 0 9 0 28242285 888315904 19129 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31281/tid=31289] ppid=31279 vsize=867496 CPUtime=0
/proc/31281/task/31289/stat : 31289 (java) S 31279 31281 28996 0 -1 64 1 270 0 0 0 0 0 0 19 0 9 0 28242285 888315904 19129 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31281/tid=31290] ppid=31279 vsize=867496 CPUtime=0
/proc/31281/task/31290/stat : 31290 (java) S 31279 31281 28996 0 -1 64 12 270 0 0 0 0 0 0 15 0 9 0 28242285 888315904 19129 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.23
Current children cumulated vsize (KiB) 867496
[startup+51.102 s]
/proc/loadavg: 1.99 1.97 1.99 3/90 31294
/proc/meminfo: memFree=1671536/2055920 swapFree=4192812/4192956
[pid=31281] ppid=31279 vsize=867496 CPUtime=50.59
/proc/31281/stat : 31281 (java) S 31279 31281 28996 0 -1 0 28365 270 1 0 5044 15 0 0 18 0 9 0 28242280 888315904 19130 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31281/statm: 216874 19130 2656 9 0 211310 0
[pid=31281/tid=31283] ppid=31279 vsize=867496 CPUtime=50.22
/proc/31281/task/31283/stat : 31283 (java) R 31279 31281 28996 0 -1 64 19521 270 1 0 5011 11 0 0 25 0 9 0 28242281 888315904 19130 996147200 134512640 134550932 4294955968 18446744073709551615 4126770944 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31281/tid=31284] ppid=31279 vsize=867496 CPUtime=0.1
/proc/31281/task/31284/stat : 31284 (java) S 31279 31281 28996 0 -1 64 7433 270 0 0 8 2 0 0 16 0 9 0 28242283 888315904 19130 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31281/tid=31285] ppid=31279 vsize=867496 CPUtime=0
/proc/31281/task/31285/stat : 31285 (java) S 31279 31281 28996 0 -1 64 16 270 0 0 0 0 0 0 16 0 9 0 28242283 888315904 19130 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31281/tid=31286] ppid=31279 vsize=867496 CPUtime=0
/proc/31281/task/31286/stat : 31286 (java) S 31279 31281 28996 0 -1 64 8 270 0 0 0 0 0 0 16 0 9 0 28242283 888315904 19130 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31281/tid=31287] ppid=31279 vsize=867496 CPUtime=0
/proc/31281/task/31287/stat : 31287 (java) S 31279 31281 28996 0 -1 64 2 270 0 0 0 0 0 0 18 0 9 0 28242285 888315904 19130 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31281/tid=31288] ppid=31279 vsize=867496 CPUtime=0.23
/proc/31281/task/31288/stat : 31288 (java) S 31279 31281 28996 0 -1 64 564 270 0 0 23 0 0 0 16 0 9 0 28242285 888315904 19130 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31281/tid=31289] ppid=31279 vsize=867496 CPUtime=0
/proc/31281/task/31289/stat : 31289 (java) S 31279 31281 28996 0 -1 64 1 270 0 0 0 0 0 0 19 0 9 0 28242285 888315904 19130 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
################
# More data... #
################
/proc/31281/task/31286/stat : 31286 (java) S 31279 31281 28996 0 -1 64 8 270 0 0 0 0 0 0 16 0 9 0 28242283 888315904 19218 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31281/tid=31287] ppid=31279 vsize=867496 CPUtime=0
/proc/31281/task/31287/stat : 31287 (java) S 31279 31281 28996 0 -1 64 2 270 0 0 0 0 0 0 18 0 9 0 28242285 888315904 19218 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31281/tid=31288] ppid=31279 vsize=867496 CPUtime=0.24
/proc/31281/task/31288/stat : 31288 (java) S 31279 31281 28996 0 -1 64 565 270 0 0 24 0 0 0 16 0 9 0 28242285 888315904 19218 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31281/tid=31289] ppid=31279 vsize=867496 CPUtime=0
/proc/31281/task/31289/stat : 31289 (java) S 31279 31281 28996 0 -1 64 1 270 0 0 0 0 0 0 19 0 9 0 28242285 888315904 19218 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31281/tid=31290] ppid=31279 vsize=867496 CPUtime=0
/proc/31281/task/31290/stat : 31290 (java) S 31279 31281 28996 0 -1 64 12 270 0 0 0 0 0 0 15 0 9 0 28242285 888315904 19218 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1610.62
Current children cumulated vsize (KiB) 867496
[startup+1638.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/90 31333
/proc/meminfo: memFree=1633656/2055920 swapFree=4192812/4192956
[pid=31281] ppid=31279 vsize=867496 CPUtime=1636.21
/proc/31281/stat : 31281 (java) S 31279 31281 28996 0 -1 0 32744 270 1 0 163599 22 0 0 18 0 9 0 28242280 888315904 19323 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31281/statm: 216874 19323 2656 9 0 211310 0
[pid=31281/tid=31283] ppid=31279 vsize=867496 CPUtime=1635.82
/proc/31281/task/31283/stat : 31283 (java) R 31279 31281 28996 0 -1 64 23899 270 1 0 163565 17 0 0 25 0 9 0 28242281 888315904 19323 996147200 134512640 134550932 4294955968 18446744073709551615 4126759271 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31281/tid=31284] ppid=31279 vsize=867496 CPUtime=0.1
/proc/31281/task/31284/stat : 31284 (java) S 31279 31281 28996 0 -1 64 7433 270 0 0 8 2 0 0 16 0 9 0 28242283 888315904 19323 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31281/tid=31285] ppid=31279 vsize=867496 CPUtime=0
/proc/31281/task/31285/stat : 31285 (java) S 31279 31281 28996 0 -1 64 16 270 0 0 0 0 0 0 16 0 9 0 28242283 888315904 19323 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31281/tid=31286] ppid=31279 vsize=867496 CPUtime=0
/proc/31281/task/31286/stat : 31286 (java) S 31279 31281 28996 0 -1 64 8 270 0 0 0 0 0 0 16 0 9 0 28242283 888315904 19323 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31281/tid=31287] ppid=31279 vsize=867496 CPUtime=0
/proc/31281/task/31287/stat : 31287 (java) S 31279 31281 28996 0 -1 64 2 270 0 0 0 0 0 0 18 0 9 0 28242285 888315904 19323 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31281/tid=31288] ppid=31279 vsize=867496 CPUtime=0.24
/proc/31281/task/31288/stat : 31288 (java) S 31279 31281 28996 0 -1 64 565 270 0 0 24 0 0 0 16 0 9 0 28242285 888315904 19323 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31281/tid=31289] ppid=31279 vsize=867496 CPUtime=0
/proc/31281/task/31289/stat : 31289 (java) S 31279 31281 28996 0 -1 64 1 270 0 0 0 0 0 0 19 0 9 0 28242285 888315904 19323 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31281/tid=31290] ppid=31279 vsize=867496 CPUtime=0
/proc/31281/task/31290/stat : 31290 (java) S 31279 31281 28996 0 -1 64 12 270 0 0 0 0 0 0 15 0 9 0 28242285 888315904 19323 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1636.21
Current children cumulated vsize (KiB) 867496
[startup+1651.11 s]
/proc/loadavg: 2.00 2.00 2.00 3/90 31333
/proc/meminfo: memFree=1633464/2055920 swapFree=4192812/4192956
[pid=31281] ppid=31279 vsize=867496 CPUtime=1649.01
/proc/31281/stat : 31281 (java) S 31279 31281 28996 0 -1 0 32792 270 1 0 164879 22 0 0 18 0 9 0 28242280 888315904 19371 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31281/statm: 216874 19371 2656 9 0 211310 0
[pid=31281/tid=31283] ppid=31279 vsize=867496 CPUtime=1648.62
/proc/31281/task/31283/stat : 31283 (java) R 31279 31281 28996 0 -1 64 23947 270 1 0 164845 17 0 0 25 0 9 0 28242281 888315904 19371 996147200 134512640 134550932 4294955968 18446744073709551615 4126770833 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31281/tid=31284] ppid=31279 vsize=867496 CPUtime=0.1
/proc/31281/task/31284/stat : 31284 (java) S 31279 31281 28996 0 -1 64 7433 270 0 0 8 2 0 0 16 0 9 0 28242283 888315904 19371 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31281/tid=31285] ppid=31279 vsize=867496 CPUtime=0
/proc/31281/task/31285/stat : 31285 (java) S 31279 31281 28996 0 -1 64 16 270 0 0 0 0 0 0 16 0 9 0 28242283 888315904 19371 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31281/tid=31286] ppid=31279 vsize=867496 CPUtime=0
/proc/31281/task/31286/stat : 31286 (java) S 31279 31281 28996 0 -1 64 8 270 0 0 0 0 0 0 16 0 9 0 28242283 888315904 19371 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31281/tid=31287] ppid=31279 vsize=867496 CPUtime=0
/proc/31281/task/31287/stat : 31287 (java) S 31279 31281 28996 0 -1 64 2 270 0 0 0 0 0 0 18 0 9 0 28242285 888315904 19371 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31281/tid=31288] ppid=31279 vsize=867496 CPUtime=0.24
/proc/31281/task/31288/stat : 31288 (java) S 31279 31281 28996 0 -1 64 565 270 0 0 24 0 0 0 16 0 9 0 28242285 888315904 19371 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31281/tid=31289] ppid=31279 vsize=867496 CPUtime=0
/proc/31281/task/31289/stat : 31289 (java) S 31279 31281 28996 0 -1 64 1 270 0 0 0 0 0 0 19 0 9 0 28242285 888315904 19371 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31281/tid=31290] ppid=31279 vsize=867496 CPUtime=0
/proc/31281/task/31290/stat : 31290 (java) S 31279 31281 28996 0 -1 64 12 270 0 0 0 0 0 0 15 0 9 0 28242285 888315904 19371 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1649.01
Current children cumulated vsize (KiB) 867496
[startup+1654.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/90 31333
/proc/meminfo: memFree=1633400/2055920 swapFree=4192812/4192956
[pid=31281] ppid=31279 vsize=867496 CPUtime=1652.2
/proc/31281/stat : 31281 (java) S 31279 31281 28996 0 -1 0 32805 270 1 0 165198 22 0 0 18 0 9 0 28242280 888315904 19384 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31281/statm: 216874 19384 2656 9 0 211310 0
[pid=31281/tid=31283] ppid=31279 vsize=867496 CPUtime=1651.82
/proc/31281/task/31283/stat : 31283 (java) R 31279 31281 28996 0 -1 64 23960 270 1 0 165165 17 0 0 25 0 9 0 28242281 888315904 19384 996147200 134512640 134550932 4294955968 18446744073709551615 4126759264 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31281/tid=31284] ppid=31279 vsize=867496 CPUtime=0.1
/proc/31281/task/31284/stat : 31284 (java) S 31279 31281 28996 0 -1 64 7433 270 0 0 8 2 0 0 16 0 9 0 28242283 888315904 19384 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31281/tid=31285] ppid=31279 vsize=867496 CPUtime=0
/proc/31281/task/31285/stat : 31285 (java) S 31279 31281 28996 0 -1 64 16 270 0 0 0 0 0 0 16 0 9 0 28242283 888315904 19384 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31281/tid=31286] ppid=31279 vsize=867496 CPUtime=0
/proc/31281/task/31286/stat : 31286 (java) S 31279 31281 28996 0 -1 64 8 270 0 0 0 0 0 0 16 0 9 0 28242283 888315904 19384 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31281/tid=31287] ppid=31279 vsize=867496 CPUtime=0
/proc/31281/task/31287/stat : 31287 (java) S 31279 31281 28996 0 -1 64 2 270 0 0 0 0 0 0 18 0 9 0 28242285 888315904 19384 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31281/tid=31288] ppid=31279 vsize=867496 CPUtime=0.24
/proc/31281/task/31288/stat : 31288 (java) S 31279 31281 28996 0 -1 64 565 270 0 0 24 0 0 0 16 0 9 0 28242285 888315904 19384 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31281/tid=31289] ppid=31279 vsize=867496 CPUtime=0
/proc/31281/task/31289/stat : 31289 (java) S 31279 31281 28996 0 -1 64 1 270 0 0 0 0 0 0 19 0 9 0 28242285 888315904 19384 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31281/tid=31290] ppid=31279 vsize=867496 CPUtime=0
/proc/31281/task/31290/stat : 31290 (java) S 31279 31281 28996 0 -1 64 12 270 0 0 0 0 0 0 15 0 9 0 28242285 888315904 19384 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1652.2
Current children cumulated vsize (KiB) 867496
[startup+1657.5 s]
/proc/loadavg: 2.00 2.00 2.00 4/90 31333
/proc/meminfo: memFree=1633400/2055920 swapFree=4192812/4192956
[pid=31281] ppid=31279 vsize=867496 CPUtime=1655.4
/proc/31281/stat : 31281 (java) S 31279 31281 28996 0 -1 0 32818 270 1 0 165518 22 0 0 18 0 9 0 28242280 888315904 19397 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31281/statm: 216874 19397 2656 9 0 211310 0
[pid=31281/tid=31283] ppid=31279 vsize=867496 CPUtime=1655.01
/proc/31281/task/31283/stat : 31283 (java) R 31279 31281 28996 0 -1 64 23973 270 1 0 165484 17 0 0 25 0 9 0 28242281 888315904 19397 996147200 134512640 134550932 4294955968 18446744073709551615 4126771156 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31281/tid=31284] ppid=31279 vsize=867496 CPUtime=0.1
/proc/31281/task/31284/stat : 31284 (java) S 31279 31281 28996 0 -1 64 7433 270 0 0 8 2 0 0 16 0 9 0 28242283 888315904 19397 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31281/tid=31285] ppid=31279 vsize=867496 CPUtime=0
/proc/31281/task/31285/stat : 31285 (java) S 31279 31281 28996 0 -1 64 16 270 0 0 0 0 0 0 16 0 9 0 28242283 888315904 19397 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31281/tid=31286] ppid=31279 vsize=867496 CPUtime=0
/proc/31281/task/31286/stat : 31286 (java) S 31279 31281 28996 0 -1 64 8 270 0 0 0 0 0 0 16 0 9 0 28242283 888315904 19397 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31281/tid=31287] ppid=31279 vsize=867496 CPUtime=0
/proc/31281/task/31287/stat : 31287 (java) S 31279 31281 28996 0 -1 64 2 270 0 0 0 0 0 0 18 0 9 0 28242285 888315904 19397 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31281/tid=31288] ppid=31279 vsize=867496 CPUtime=0.24
/proc/31281/task/31288/stat : 31288 (java) S 31279 31281 28996 0 -1 64 565 270 0 0 24 0 0 0 16 0 9 0 28242285 888315904 19397 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31281/tid=31289] ppid=31279 vsize=867496 CPUtime=0
/proc/31281/task/31289/stat : 31289 (java) S 31279 31281 28996 0 -1 64 1 270 0 0 0 0 0 0 19 0 9 0 28242285 888315904 19397 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31281/tid=31290] ppid=31279 vsize=867496 CPUtime=0
/proc/31281/task/31290/stat : 31290 (java) S 31279 31281 28996 0 -1 64 12 270 0 0 0 0 0 0 15 0 9 0 28242285 888315904 19397 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1655.4
Current children cumulated vsize (KiB) 867496
[startup+1659.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/90 31333
/proc/meminfo: memFree=1633336/2055920 swapFree=4192812/4192956
[pid=31281] ppid=31279 vsize=867496 CPUtime=1657
/proc/31281/stat : 31281 (java) S 31279 31281 28996 0 -1 0 32825 270 1 0 165678 22 0 0 18 0 9 0 28242280 888315904 19404 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31281/statm: 216874 19404 2656 9 0 211310 0
[pid=31281/tid=31283] ppid=31279 vsize=867496 CPUtime=1656.61
/proc/31281/task/31283/stat : 31283 (java) R 31279 31281 28996 0 -1 64 23980 270 1 0 165644 17 0 0 25 0 9 0 28242281 888315904 19404 996147200 134512640 134550932 4294955968 18446744073709551615 4126790989 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31281/tid=31284] ppid=31279 vsize=867496 CPUtime=0.1
/proc/31281/task/31284/stat : 31284 (java) S 31279 31281 28996 0 -1 64 7433 270 0 0 8 2 0 0 16 0 9 0 28242283 888315904 19404 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31281/tid=31285] ppid=31279 vsize=867496 CPUtime=0
/proc/31281/task/31285/stat : 31285 (java) S 31279 31281 28996 0 -1 64 16 270 0 0 0 0 0 0 16 0 9 0 28242283 888315904 19404 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31281/tid=31286] ppid=31279 vsize=867496 CPUtime=0
/proc/31281/task/31286/stat : 31286 (java) S 31279 31281 28996 0 -1 64 8 270 0 0 0 0 0 0 16 0 9 0 28242283 888315904 19404 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31281/tid=31287] ppid=31279 vsize=867496 CPUtime=0
/proc/31281/task/31287/stat : 31287 (java) S 31279 31281 28996 0 -1 64 2 270 0 0 0 0 0 0 18 0 9 0 28242285 888315904 19404 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31281/tid=31288] ppid=31279 vsize=867496 CPUtime=0.24
/proc/31281/task/31288/stat : 31288 (java) S 31279 31281 28996 0 -1 64 565 270 0 0 24 0 0 0 16 0 9 0 28242285 888315904 19404 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31281/tid=31289] ppid=31279 vsize=867496 CPUtime=0
/proc/31281/task/31289/stat : 31289 (java) S 31279 31281 28996 0 -1 64 1 270 0 0 0 0 0 0 19 0 9 0 28242285 888315904 19404 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31281/tid=31290] ppid=31279 vsize=867496 CPUtime=0
/proc/31281/task/31290/stat : 31290 (java) S 31279 31281 28996 0 -1 64 12 270 0 0 0 0 0 0 15 0 9 0 28242285 888315904 19404 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1657
Current children cumulated vsize (KiB) 867496
[startup+1659.91 s]
/proc/loadavg: 2.00 2.00 2.00 3/90 31333
/proc/meminfo: memFree=1633336/2055920 swapFree=4192812/4192956
[pid=31281] ppid=31279 vsize=867496 CPUtime=1657.81
/proc/31281/stat : 31281 (java) S 31279 31281 28996 0 -1 0 32827 270 1 0 165759 22 0 0 18 0 9 0 28242280 888315904 19406 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31281/statm: 216874 19406 2656 9 0 211310 0
[pid=31281/tid=31283] ppid=31279 vsize=867496 CPUtime=1657.42
/proc/31281/task/31283/stat : 31283 (java) R 31279 31281 28996 0 -1 64 23982 270 1 0 165725 17 0 0 25 0 9 0 28242281 888315904 19406 996147200 134512640 134550932 4294955968 18446744073709551615 4126771107 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31281/tid=31284] ppid=31279 vsize=867496 CPUtime=0.1
/proc/31281/task/31284/stat : 31284 (java) S 31279 31281 28996 0 -1 64 7433 270 0 0 8 2 0 0 16 0 9 0 28242283 888315904 19406 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31281/tid=31285] ppid=31279 vsize=867496 CPUtime=0
/proc/31281/task/31285/stat : 31285 (java) S 31279 31281 28996 0 -1 64 16 270 0 0 0 0 0 0 16 0 9 0 28242283 888315904 19406 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31281/tid=31286] ppid=31279 vsize=867496 CPUtime=0
/proc/31281/task/31286/stat : 31286 (java) S 31279 31281 28996 0 -1 64 8 270 0 0 0 0 0 0 16 0 9 0 28242283 888315904 19406 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31281/tid=31287] ppid=31279 vsize=867496 CPUtime=0
/proc/31281/task/31287/stat : 31287 (java) S 31279 31281 28996 0 -1 64 2 270 0 0 0 0 0 0 18 0 9 0 28242285 888315904 19406 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31281/tid=31288] ppid=31279 vsize=867496 CPUtime=0.24
/proc/31281/task/31288/stat : 31288 (java) S 31279 31281 28996 0 -1 64 565 270 0 0 24 0 0 0 16 0 9 0 28242285 888315904 19406 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31281/tid=31289] ppid=31279 vsize=867496 CPUtime=0
/proc/31281/task/31289/stat : 31289 (java) S 31279 31281 28996 0 -1 64 1 270 0 0 0 0 0 0 19 0 9 0 28242285 888315904 19406 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31281/tid=31290] ppid=31279 vsize=867496 CPUtime=0
/proc/31281/task/31290/stat : 31290 (java) S 31279 31281 28996 0 -1 64 12 270 0 0 0 0 0 0 15 0 9 0 28242285 888315904 19406 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1657.81
Current children cumulated vsize (KiB) 867496
[startup+1660.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/90 31333
/proc/meminfo: memFree=1633336/2055920 swapFree=4192812/4192956
[pid=31281] ppid=31279 vsize=0 CPUtime=1657.99
/proc/31281/stat : 31281 (java) Z 31279 31281 28996 0 -1 12 32942 270 1 0 165776 23 0 0 16 0 2 0 28242280 0 0 996147200 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/31281/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1657.99
Current children cumulated vsize (KiB) 0
Child status: 0
Real time (s): 1660.11
CPU time (s): 1658.02
CPU user time (s): 1657.77
CPU system time (s): 0.248962
CPU usage (%): 99.8741
Max. virtual memory (cumulated for all children) (KiB): 867496
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1657.77
system time used= 0.248962
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 33212
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= 34580
involuntary context switches= 41402
runsolver used 1.9677 second user time and 5.65914 second system time
The end
Begin job on node73 at 2009-07-12 17:16:09
IDJOB=2097146
IDBENCH=56942
IDSOLVER=774
FILE ID=node73/2097146-1247411769
PBS_JOBID= 9510504
Free space on /tmp= 66480 MiB
SOLVER NAME= Abscon 112v4 ESAC
BENCH NAME= CPAI08/csp/rand-3-20-20/normalized-rand-3-20-20-60-632-34_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-2097146-1247411769/watcher-2097146-1247411769 -o /tmp/evaluation-result-2097146-1247411769/solver-2097146-1247411769 -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-2097146-1247411769.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MAX NB THREAD= 0
MD5SUM BENCH= f2a5642d0d3cc3bfc3ccc1bbf7de0804
RANDOM SEED=425384424
node73.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.213
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.213
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: 1738832 kB
Buffers: 38052 kB
Cached: 139836 kB
SwapCached: 0 kB
Active: 152680 kB
Inactive: 109112 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1738832 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 3276 kB
Writeback: 0 kB
Mapped: 104336 kB
Slab: 40476 kB
Committed_AS: 989024 kB
PageTables: 1928 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66480 MiB
End job on node73 at 2009-07-12 17:43:50