0.07/0.08
0.07/0.08 Abscon 112 (May, 2008)
0.18/0.24
0.18/0.24 configuration
0.18/0.24 name=mac.xml
0.18/0.27
0.18/0.27 instance
0.18/0.27 name=HOME/instance-1044258-1215022771.xml
0.28/0.30
0.28/0.30 domains being loaded...
0.28/0.31
0.28/0.31 variables being loaded...
0.39/0.40 nbVariables=400 nbDomainTypes=21 minDomainSize=1 maxDomainSize=20 nbTotalValues=3953
0.39/0.40 => wckTime=0.16 cpuTime=0.13 mem=8M894
0.39/0.40
0.39/0.40 relations being loaded...
0.39/0.42
0.39/0.42 constraints being loaded...
0.96/1.07 nbConstraints=5562 nbRelationTypes=21 nbGlobalConstraints=22 nbSingletonDomainVariables=213
0.96/1.07 nbExtensionStructures=41 nbSharedExtensionStructures=5499 nbConflictsStructures=41
0.96/1.07 nbSharedConflictsStructures=5499 nbSharedBinaryRepresentations=858 minDegree=18 maxDegree=39 minArity=2
0.96/1.07 avgArity=2.03 maxArity=11 nbGenerators=0 nbFusions=0 symmetryWckTime=0.288 symmetryCpuTime=0.18 nbCliques=22
0.96/1.07 => wckTime=0.831 cpuTime=0.56 mem=42M108
1.07/1.20
1.16/1.20 solver IterativeSystematicSolver being built...
1.16/1.27
1.16/1.27 INFO : Forward propagation technique limited
1.26/1.35 => wckTime=1.108 cpuTime=0.7 mem=26M547
1.35/1.40
1.35/1.40 preprocessing
1.35/1.40 nbConstraintChecks=45363 nbPropagations=400 nbRevisions=3974 nbUselessRevisions=1080 nbRemovedValues=2894
1.35/1.40 detectedInconsistency=no
1.35/1.40 => wckTime=0.05 cpuTime=0.03 mem=26M547
1.66/1.79
1.66/1.79 INFO : Stopping use of transposition table (mapSize=101, nbTooLargekeys=0, mem=27M514)
246.94/249.37
246.94/249.37 search
246.94/249.37 run=22 nbConstraintChecks=194773627 minDepth=17 maxDepth=400 nbPropagations=25158461 nbRevisions=420124633
246.94/249.37 nbUselessRevisions=378693495 nbAssignments=894042 nbFailedAssignments=167817 nbBacktracks=723832
246.94/249.37 nbVisitedNodes=1212865 nbRestartNogoods=196 nbFoundSolutions=1 nbSEliminables=0 nbREliminables=213
246.94/249.37 nbIEliminables=173.6 nbDEliminables=0 nbPEliminables=0
246.94/249.38 => wckTime=248.024 cpuTime=245.55 mem=15M602
246.94/249.38
246.94/249.38 global
246.94/249.38 nbConstraintChecks=194818990 nbPropagations=25158861 nbRevisions=420128607 nbUselessRevisions=378694575
246.94/249.38 nbRestartNogoods=196 solvingWckTime=248.026 solvingCpuTime=245.56 expiredTime=no totalExploration=no
246.94/249.38 nbFoundSolutions=1 firstSolutionCpuTime=246.24 globalCpuTime=246.3
246.94/249.38 => wckTime=249.137 cpuTime=246.26 mem=15M602
246.94/249.38
246.94/249.38 s SATISFIABLE
246.94/249.38 v 6 18 5 3 0 2 7 4 14 1 19 8 12 17 13 9 16 10 15 11 5 6 19 4 10 16 18 11 2 17 7 14 1 13 0 3 15 8 9 12 17 11 2 7 19 5 14 15 3 6 1 12 18 9 8 10 13 16 4 0 10 12 9 14 16 4 15 1 6 19 18 13 2 11 3 17 0 5 7 8 15 4 18 8 6 17 19 13 1 2 3 9 7 5 11 12 10 14 0 16 3 19 13 15 18 6 4 14 0 5 16 7 8 10 17 11 12 9 1 2 16 10 7 11 2 9 0 19 13 12 8 1 17 15 4 14 6 18 3 5 19 2 17 18 9 12 11 16 8 0 14 3 15 1 5 7 4 13 10 6 13 7 16 10 11 18 2 12 5 15 4 0 19 6 1 8 14 3 17 9 8 15 3 6 5 1 13 0 12 16 11 2 9 4 7 19 18 17 14 10 2 8 6 5 12 19 10 7 15 13 9 17 11 18 14 4 1 0 16 3 7 0 15 1 3 8 12 5 19 10 6 4 16 14 9 13 11 2 18 17 0 17 4 2 1 15 9 6 16 18 13 10 14 12 19 5 3 11 8 7 9 1 11 13 7 10 3 2 18 14 15 19 0 8 12 16 17 6 5 4 4 16 14 12 8 11 6 3 17 7 10 18 5 0 15 2 9 1 13 19 1 13 12 17 14 7 16 9 4 3 0 5 6 2 10 15 8 19 11 18 11 5 1 19 13 14 17 8 10 9 12 6 3 16 18 0 7 4 2 15 14 9 10 16 17 0 1 18 7 8 5 11 4 3 2 6 19 15 12 13 18 3 0 9 15 13 8 17 11 4 2 16 10 7 6 1 5 12 19 14 12 14 8 0 4 3 5 10 9 11 17 15 13 19 16 18 2 7 6 1
246.94/249.38 d NODES 894042
246.94/249.38 d CHECKS 194818990
246.94/249.38
246.94/249.38 totalWckTime=249.203 totalCpuTime=246.3
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1044258-1215022771/watcher-1044258-1215022771 -o /tmp/evaluation-result-1044258-1215022771/solver-1044258-1215022771 -C 1800 -W 2200 -M 900 --output-limit 1,15 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution mac.xml 1 XSax HOME/instance-1044258-1215022771.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2200 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.01 1.96 4/80 15087
/proc/meminfo: memFree=1533472/2055920 swapFree=4180024/4192956
[pid=15087] ppid=15085 vsize=152 CPUtime=0
/proc/15087/stat : 15087 (java) R 15085 15087 14442 0 -1 0 41 0 0 0 0 0 0 0 18 0 1 0 1981252465 155648 26 996147200 134512640 134550740 4294956144 18446744073709551615 10588964 0 0 4096 0 0 0 0 17 0 0 0
/proc/15087/statm: 38 26 19 9 0 4 0
[startup+0.0807589 s]
/proc/loadavg: 2.00 2.01 1.96 4/80 15087
/proc/meminfo: memFree=1533472/2055920 swapFree=4180024/4192956
[pid=15087] ppid=15085 vsize=865856 CPUtime=0.07
/proc/15087/stat : 15087 (java) S 15085 15087 14442 0 -1 0 3562 0 1 0 5 2 0 0 18 0 9 0 1981252465 886636544 3052 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/15087/statm: 216464 3053 1639 9 0 211026 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 865856
[startup+0.101761 s]
/proc/loadavg: 2.00 2.01 1.96 4/80 15087
/proc/meminfo: memFree=1533472/2055920 swapFree=4180024/4192956
[pid=15087] ppid=15085 vsize=865884 CPUtime=0.08
/proc/15087/stat : 15087 (java) S 15085 15087 14442 0 -1 0 3751 0 1 0 6 2 0 0 18 0 9 0 1981252465 886665216 3213 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/15087/statm: 216471 3215 1705 9 0 211026 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 865884
[startup+0.301778 s]
/proc/loadavg: 2.00 2.01 1.96 4/80 15087
/proc/meminfo: memFree=1533472/2055920 swapFree=4180024/4192956
[pid=15087] ppid=15085 vsize=866400 CPUtime=0.28
/proc/15087/stat : 15087 (java) S 15085 15087 14442 0 -1 0 6033 0 1 0 25 3 0 0 18 0 9 0 1981252465 887193600 5407 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/15087/statm: 216600 5407 1956 9 0 211128 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 866400
[startup+0.701818 s]
/proc/loadavg: 2.00 2.01 1.96 4/80 15087
/proc/meminfo: memFree=1533472/2055920 swapFree=4180024/4192956
[pid=15087] ppid=15085 vsize=867432 CPUtime=0.68
/proc/15087/stat : 15087 (java) S 15085 15087 14442 0 -1 0 10704 0 1 0 62 6 0 0 18 0 9 0 1981252465 888250368 10064 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/15087/statm: 216858 10064 1983 9 0 211386 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 867432
[startup+1.5029 s]
/proc/loadavg: 2.00 2.01 1.96 5/91 15100
/proc/meminfo: memFree=1485192/2055920 swapFree=4180024/4192956
[pid=15087] ppid=15085 vsize=867844 CPUtime=1.46
/proc/15087/stat : 15087 (java) S 15085 15087 14442 0 -1 0 26208 588 1 0 128 11 6 1 18 0 9 0 1981252465 888672256 16648 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/15087/statm: 216961 16648 2633 9 0 211467 0
[pid=15087/tid=15089] ppid=15085 vsize=867844 CPUtime=1.06
/proc/15087/task/15089/stat : 15089 (java) R 15085 15087 14442 0 -1 64 19890 588 1 0 91 8 6 1 18 0 9 0 1981252466 888672256 16648 996147200 134512640 134550740 4294955984 18446744073709551615 4127088755 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15087/tid=15090] ppid=15085 vsize=867844 CPUtime=0.18
/proc/15087/task/15090/stat : 15090 (java) S 15085 15087 14442 0 -1 64 4623 588 0 0 10 1 6 1 17 0 9 0 1981252467 888672256 16648 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15087/tid=15091] ppid=15085 vsize=867844 CPUtime=0.07
/proc/15087/task/15091/stat : 15091 (java) S 15085 15087 14442 0 -1 64 16 588 0 0 0 0 6 1 16 0 9 0 1981252468 888672256 16648 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15087/tid=15092] ppid=15085 vsize=867844 CPUtime=0.07
/proc/15087/task/15092/stat : 15092 (java) S 15085 15087 14442 0 -1 64 9 588 0 0 0 0 6 1 16 0 9 0 1981252468 888672256 16648 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15087/tid=15093] ppid=15085 vsize=867844 CPUtime=0.07
/proc/15087/task/15093/stat : 15093 (java) S 15085 15087 14442 0 -1 64 1 588 0 0 0 0 6 1 24 0 9 0 1981252469 888672256 16648 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15087/tid=15094] ppid=15085 vsize=867844 CPUtime=0.34
/proc/15087/task/15094/stat : 15094 (java) S 15085 15087 14442 0 -1 64 862 588 0 0 27 0 6 1 16 0 9 0 1981252469 888672256 16648 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15087/tid=15095] ppid=15085 vsize=867844 CPUtime=0.07
/proc/15087/task/15095/stat : 15095 (java) S 15085 15087 14442 0 -1 64 1 588 0 0 0 0 6 1 25 0 9 0 1981252470 888672256 16648 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15087/tid=15096] ppid=15085 vsize=867844 CPUtime=0.07
/proc/15087/task/15096/stat : 15096 (java) S 15085 15087 14442 0 -1 64 6 588 0 0 0 0 6 1 15 0 9 0 1981252470 888672256 16648 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 867844
[startup+3.10205 s]
/proc/loadavg: 2.00 2.01 1.96 3/89 15100
/proc/meminfo: memFree=1476752/2055920 swapFree=4180024/4192956
[pid=15087] ppid=15085 vsize=867976 CPUtime=3.05
/proc/15087/stat : 15087 (java) S 15085 15087 14442 0 -1 0 26251 588 1 0 286 12 6 1 18 0 9 0 1981252465 888807424 16684 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/15087/statm: 216994 16684 2633 9 0 211500 0
[pid=15087/tid=15089] ppid=15085 vsize=867976 CPUtime=2.59
/proc/15087/task/15089/stat : 15089 (java) R 15085 15087 14442 0 -1 64 19900 588 1 0 244 8 6 1 25 0 9 0 1981252466 888807424 16684 996147200 134512640 134550740 4294955984 18446744073709551615 4127087687 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15087/tid=15090] ppid=15085 vsize=867976 CPUtime=0.18
/proc/15087/task/15090/stat : 15090 (java) S 15085 15087 14442 0 -1 64 4623 588 0 0 10 1 6 1 17 0 9 0 1981252467 888807424 16684 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15087/tid=15091] ppid=15085 vsize=867976 CPUtime=0.07
/proc/15087/task/15091/stat : 15091 (java) S 15085 15087 14442 0 -1 64 16 588 0 0 0 0 6 1 16 0 9 0 1981252468 888807424 16684 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15087/tid=15092] ppid=15085 vsize=867976 CPUtime=0.07
/proc/15087/task/15092/stat : 15092 (java) S 15085 15087 14442 0 -1 64 9 588 0 0 0 0 6 1 16 0 9 0 1981252468 888807424 16684 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15087/tid=15093] ppid=15085 vsize=867976 CPUtime=0.07
/proc/15087/task/15093/stat : 15093 (java) S 15085 15087 14442 0 -1 64 1 588 0 0 0 0 6 1 24 0 9 0 1981252469 888807424 16684 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15087/tid=15094] ppid=15085 vsize=867976 CPUtime=0.4
/proc/15087/task/15094/stat : 15094 (java) S 15085 15087 14442 0 -1 64 895 588 0 0 32 1 6 1 15 0 9 0 1981252469 888807424 16684 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15087/tid=15095] ppid=15085 vsize=867976 CPUtime=0.07
/proc/15087/task/15095/stat : 15095 (java) S 15085 15087 14442 0 -1 64 1 588 0 0 0 0 6 1 25 0 9 0 1981252470 888807424 16684 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15087/tid=15096] ppid=15085 vsize=867976 CPUtime=0.07
/proc/15087/task/15096/stat : 15096 (java) S 15085 15087 14442 0 -1 64 6 588 0 0 0 0 6 1 15 0 9 0 1981252470 888807424 16684 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 867976
[startup+6.30136 s]
/proc/loadavg: 2.08 2.03 1.96 3/89 15100
/proc/meminfo: memFree=1476624/2055920 swapFree=4180024/4192956
[pid=15087] ppid=15085 vsize=867976 CPUtime=6.21
/proc/15087/stat : 15087 (java) S 15085 15087 14442 0 -1 0 27611 588 1 0 602 12 6 1 18 0 9 0 1981252465 888807424 16685 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/15087/statm: 216994 16685 2633 9 0 211500 0
[pid=15087/tid=15089] ppid=15085 vsize=867976 CPUtime=5.75
/proc/15087/task/15089/stat : 15089 (java) R 15085 15087 14442 0 -1 64 21235 588 1 0 560 8 6 1 25 0 9 0 1981252466 888807424 16685 996147200 134512640 134550740 4294955984 18446744073709551615 4127093558 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15087/tid=15090] ppid=15085 vsize=867976 CPUtime=0.18
/proc/15087/task/15090/stat : 15090 (java) S 15085 15087 14442 0 -1 64 4623 588 0 0 10 1 6 1 16 0 9 0 1981252467 888807424 16685 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=15087/tid=15091] ppid=15085 vsize=867976 CPUtime=0.07
/proc/15087/task/15091/stat : 15091 (java) S 15085 15087 14442 0 -1 64 16 588 0 0 0 0 6 1 16 0 9 0 1981252468 888807424 16685 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15087/tid=15092] ppid=15085 vsize=867976 CPUtime=0.07
/proc/15087/task/15092/stat : 15092 (java) S 15085 15087 14442 0 -1 64 9 588 0 0 0 0 6 1 16 0 9 0 1981252468 888807424 16685 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15087/tid=15093] ppid=15085 vsize=867976 CPUtime=0.07
/proc/15087/task/15093/stat : 15093 (java) S 15085 15087 14442 0 -1 64 1 588 0 0 0 0 6 1 24 0 9 0 1981252469 888807424 16685 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15087/tid=15094] ppid=15085 vsize=867976 CPUtime=0.4
/proc/15087/task/15094/stat : 15094 (java) S 15085 15087 14442 0 -1 64 896 588 0 0 32 1 6 1 16 0 9 0 1981252469 888807424 16685 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15087/tid=15095] ppid=15085 vsize=867976 CPUtime=0.07
/proc/15087/task/15095/stat : 15095 (java) S 15085 15087 14442 0 -1 64 1 588 0 0 0 0 6 1 25 0 9 0 1981252470 888807424 16685 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15087/tid=15096] ppid=15085 vsize=867976 CPUtime=0.07
/proc/15087/task/15096/stat : 15096 (java) S 15085 15087 14442 0 -1 64 30 588 0 0 0 0 6 1 15 0 9 0 1981252470 888807424 16685 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 867976
[startup+12.703 s]
/proc/loadavg: 2.07 2.03 1.96 3/89 15100
/proc/meminfo: memFree=1463248/2055920 swapFree=4180024/4192956
[pid=15087] ppid=15085 vsize=867888 CPUtime=12.56
/proc/15087/stat : 15087 (java) S 15085 15087 14442 0 -1 0 31731 588 1 0 1235 14 6 1 18 0 9 0 1981252465 888717312 20006 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/15087/statm: 216972 20006 2615 9 0 211500 0
[pid=15087/tid=15089] ppid=15085 vsize=867888 CPUtime=12.08
/proc/15087/task/15089/stat : 15089 (java) R 15085 15087 14442 0 -1 64 24275 588 1 0 1191 10 6 1 25 0 9 0 1981252466 888717312 20006 996147200 134512640 134550740 4294955984 18446744073709551615 4127088755 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15087/tid=15090] ppid=15085 vsize=867888 CPUtime=0.19
/proc/15087/task/15090/stat : 15090 (java) S 15085 15087 14442 0 -1 64 5700 588 0 0 11 1 6 1 16 0 9 0 1981252467 888717312 20006 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15087/tid=15091] ppid=15085 vsize=867888 CPUtime=0.07
/proc/15087/task/15091/stat : 15091 (java) S 15085 15087 14442 0 -1 64 16 588 0 0 0 0 6 1 16 0 9 0 1981252468 888717312 20006 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15087/tid=15092] ppid=15085 vsize=867888 CPUtime=0.07
/proc/15087/task/15092/stat : 15092 (java) S 15085 15087 14442 0 -1 64 11 588 0 0 0 0 6 1 16 0 9 0 1981252468 888717312 20006 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15087/tid=15093] ppid=15085 vsize=867888 CPUtime=0.07
/proc/15087/task/15093/stat : 15093 (java) S 15085 15087 14442 0 -1 64 1 588 0 0 0 0 6 1 24 0 9 0 1981252469 888717312 20006 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15087/tid=15094] ppid=15085 vsize=867888 CPUtime=0.4
/proc/15087/task/15094/stat : 15094 (java) S 15085 15087 14442 0 -1 64 897 588 0 0 32 1 6 1 16 0 9 0 1981252469 888717312 20006 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15087/tid=15095] ppid=15085 vsize=867888 CPUtime=0.07
/proc/15087/task/15095/stat : 15095 (java) S 15085 15087 14442 0 -1 64 1 588 0 0 0 0 6 1 25 0 9 0 1981252470 888717312 20006 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15087/tid=15096] ppid=15085 vsize=867888 CPUtime=0.07
/proc/15087/task/15096/stat : 15096 (java) S 15085 15087 14442 0 -1 64 30 588 0 0 0 0 6 1 15 0 9 0 1981252470 888717312 20006 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 867888
[startup+25.5012 s]
/proc/loadavg: 2.06 2.03 1.96 3/89 15100
/proc/meminfo: memFree=1463376/2055920 swapFree=4180024/4192956
[pid=15087] ppid=15085 vsize=867888 CPUtime=25.23
/proc/15087/stat : 15087 (java) S 15085 15087 14442 0 -1 0 32811 588 1 0 2502 14 6 1 18 0 9 0 1981252465 888717312 21079 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/15087/statm: 216972 21079 2615 9 0 211500 0
[pid=15087/tid=15089] ppid=15085 vsize=867888 CPUtime=24.74
/proc/15087/task/15089/stat : 15089 (java) R 15085 15087 14442 0 -1 64 24279 588 1 0 2457 10 6 1 25 0 9 0 1981252466 888717312 21079 996147200 134512640 134550740 4294955984 18446744073709551615 4127089200 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15087/tid=15090] ppid=15085 vsize=867888 CPUtime=0.19
/proc/15087/task/15090/stat : 15090 (java) S 15085 15087 14442 0 -1 64 6775 588 0 0 11 1 6 1 17 0 9 0 1981252467 888717312 21079 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15087/tid=15091] ppid=15085 vsize=867888 CPUtime=0.07
/proc/15087/task/15091/stat : 15091 (java) S 15085 15087 14442 0 -1 64 16 588 0 0 0 0 6 1 16 0 9 0 1981252468 888717312 21079 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15087/tid=15092] ppid=15085 vsize=867888 CPUtime=0.07
/proc/15087/task/15092/stat : 15092 (java) S 15085 15087 14442 0 -1 64 11 588 0 0 0 0 6 1 16 0 9 0 1981252468 888717312 21079 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15087/tid=15093] ppid=15085 vsize=867888 CPUtime=0.07
/proc/15087/task/15093/stat : 15093 (java) S 15085 15087 14442 0 -1 64 1 588 0 0 0 0 6 1 24 0 9 0 1981252469 888717312 21079 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15087/tid=15094] ppid=15085 vsize=867888 CPUtime=0.4
/proc/15087/task/15094/stat : 15094 (java) S 15085 15087 14442 0 -1 64 898 588 0 0 32 1 6 1 16 0 9 0 1981252469 888717312 21079 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15087/tid=15095] ppid=15085 vsize=867888 CPUtime=0.07
/proc/15087/task/15095/stat : 15095 (java) S 15085 15087 14442 0 -1 64 1 588 0 0 0 0 6 1 25 0 9 0 1981252470 888717312 21079 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15087/tid=15096] ppid=15085 vsize=867888 CPUtime=0.07
/proc/15087/task/15096/stat : 15096 (java) S 15085 15087 14442 0 -1 64 30 588 0 0 0 0 6 1 15 0 9 0 1981252470 888717312 21079 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.23
Current children cumulated vsize (KiB) 867888
[startup+51.1016 s]
/proc/loadavg: 2.04 2.02 1.96 3/89 15100
/proc/meminfo: memFree=1459216/2055920 swapFree=4180024/4192956
[pid=15087] ppid=15085 vsize=867888 CPUtime=50.59
/proc/15087/stat : 15087 (java) S 15085 15087 14442 0 -1 0 32813 588 1 0 5038 14 6 1 18 0 9 0 1981252465 888717312 21079 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/15087/statm: 216972 21079 2615 9 0 211500 0
[pid=15087/tid=15089] ppid=15085 vsize=867888 CPUtime=50.1
/proc/15087/task/15089/stat : 15089 (java) R 15085 15087 14442 0 -1 64 24280 588 1 0 4993 10 6 1 25 0 9 0 1981252466 888717312 21079 996147200 134512640 134550740 4294955984 18446744073709551615 4127128820 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15087/tid=15090] ppid=15085 vsize=867888 CPUtime=0.2
/proc/15087/task/15090/stat : 15090 (java) S 15085 15087 14442 0 -1 64 6775 588 0 0 11 2 6 1 16 0 9 0 1981252467 888717312 21079 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15087/tid=15091] ppid=15085 vsize=867888 CPUtime=0.07
/proc/15087/task/15091/stat : 15091 (java) S 15085 15087 14442 0 -1 64 16 588 0 0 0 0 6 1 16 0 9 0 1981252468 888717312 21079 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15087/tid=15092] ppid=15085 vsize=867888 CPUtime=0.07
/proc/15087/task/15092/stat : 15092 (java) S 15085 15087 14442 0 -1 64 11 588 0 0 0 0 6 1 16 0 9 0 1981252468 888717312 21079 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15087/tid=15093] ppid=15085 vsize=867888 CPUtime=0.07
/proc/15087/task/15093/stat : 15093 (java) S 15085 15087 14442 0 -1 64 1 588 0 0 0 0 6 1 24 0 9 0 1981252469 888717312 21079 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15087/tid=15094] ppid=15085 vsize=867888 CPUtime=0.4
/proc/15087/task/15094/stat : 15094 (java) S 15085 15087 14442 0 -1 64 899 588 0 0 32 1 6 1 16 0 9 0 1981252469 888717312 21079 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15087/tid=15095] ppid=15085 vsize=867888 CPUtime=0.07
################
# More data... #
################
/proc/15087/stat : 15087 (java) S 15085 15087 14442 0 -1 0 32828 588 1 0 24059 15 6 1 18 0 9 0 1981252465 888717312 21084 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/15087/statm: 216972 21084 2615 9 0 211500 0
[pid=15087/tid=15089] ppid=15085 vsize=867888 CPUtime=240.29
/proc/15087/task/15089/stat : 15089 (java) R 15085 15087 14442 0 -1 64 24290 588 1 0 24012 10 6 1 25 0 9 0 1981252466 888717312 21084 996147200 134512640 134550740 4294955984 18446744073709551615 4127132496 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15087/tid=15090] ppid=15085 vsize=867888 CPUtime=0.22
/proc/15087/task/15090/stat : 15090 (java) S 15085 15087 14442 0 -1 64 6780 588 0 0 13 2 6 1 16 0 9 0 1981252467 888717312 21084 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15087/tid=15091] ppid=15085 vsize=867888 CPUtime=0.07
/proc/15087/task/15091/stat : 15091 (java) S 15085 15087 14442 0 -1 64 16 588 0 0 0 0 6 1 16 0 9 0 1981252468 888717312 21084 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15087/tid=15092] ppid=15085 vsize=867888 CPUtime=0.07
/proc/15087/task/15092/stat : 15092 (java) S 15085 15087 14442 0 -1 64 11 588 0 0 0 0 6 1 16 0 9 0 1981252468 888717312 21084 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15087/tid=15093] ppid=15085 vsize=867888 CPUtime=0.07
/proc/15087/task/15093/stat : 15093 (java) S 15085 15087 14442 0 -1 64 1 588 0 0 0 0 6 1 24 0 9 0 1981252469 888717312 21084 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15087/tid=15094] ppid=15085 vsize=867888 CPUtime=0.4
/proc/15087/task/15094/stat : 15094 (java) S 15085 15087 14442 0 -1 64 899 588 0 0 32 1 6 1 16 0 9 0 1981252469 888717312 21084 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15087/tid=15095] ppid=15085 vsize=867888 CPUtime=0.07
/proc/15087/task/15095/stat : 15095 (java) S 15085 15087 14442 0 -1 64 1 588 0 0 0 0 6 1 25 0 9 0 1981252470 888717312 21084 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15087/tid=15096] ppid=15085 vsize=867888 CPUtime=0.07
/proc/15087/task/15096/stat : 15096 (java) S 15085 15087 14442 0 -1 64 30 588 0 0 0 0 6 1 15 0 9 0 1981252470 888717312 21084 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 240.81
Current children cumulated vsize (KiB) 867888
[startup+246.301 s]
/proc/loadavg: 2.00 2.00 1.96 3/89 15100
/proc/meminfo: memFree=1459024/2055920 swapFree=4180024/4192956
[pid=15087] ppid=15085 vsize=867888 CPUtime=243.97
/proc/15087/stat : 15087 (java) S 15085 15087 14442 0 -1 0 32828 588 1 0 24375 15 6 1 18 0 9 0 1981252465 888717312 21084 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/15087/statm: 216972 21084 2615 9 0 211500 0
[pid=15087/tid=15089] ppid=15085 vsize=867888 CPUtime=243.46
/proc/15087/task/15089/stat : 15089 (java) R 15085 15087 14442 0 -1 64 24290 588 1 0 24329 10 6 1 25 0 9 0 1981252466 888717312 21084 996147200 134512640 134550740 4294955984 18446744073709551615 4127096549 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15087/tid=15090] ppid=15085 vsize=867888 CPUtime=0.22
/proc/15087/task/15090/stat : 15090 (java) S 15085 15087 14442 0 -1 64 6780 588 0 0 13 2 6 1 16 0 9 0 1981252467 888717312 21084 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15087/tid=15091] ppid=15085 vsize=867888 CPUtime=0.07
/proc/15087/task/15091/stat : 15091 (java) S 15085 15087 14442 0 -1 64 16 588 0 0 0 0 6 1 16 0 9 0 1981252468 888717312 21084 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15087/tid=15092] ppid=15085 vsize=867888 CPUtime=0.07
/proc/15087/task/15092/stat : 15092 (java) S 15085 15087 14442 0 -1 64 11 588 0 0 0 0 6 1 16 0 9 0 1981252468 888717312 21084 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15087/tid=15093] ppid=15085 vsize=867888 CPUtime=0.07
/proc/15087/task/15093/stat : 15093 (java) S 15085 15087 14442 0 -1 64 1 588 0 0 0 0 6 1 24 0 9 0 1981252469 888717312 21084 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15087/tid=15094] ppid=15085 vsize=867888 CPUtime=0.4
/proc/15087/task/15094/stat : 15094 (java) S 15085 15087 14442 0 -1 64 899 588 0 0 32 1 6 1 16 0 9 0 1981252469 888717312 21084 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15087/tid=15095] ppid=15085 vsize=867888 CPUtime=0.07
/proc/15087/task/15095/stat : 15095 (java) S 15085 15087 14442 0 -1 64 1 588 0 0 0 0 6 1 25 0 9 0 1981252470 888717312 21084 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15087/tid=15096] ppid=15085 vsize=867888 CPUtime=0.07
/proc/15087/task/15096/stat : 15096 (java) S 15085 15087 14442 0 -1 64 30 588 0 0 0 0 6 1 15 0 9 0 1981252470 888717312 21084 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 243.97
Current children cumulated vsize (KiB) 867888
[startup+247.901 s]
/proc/loadavg: 2.00 2.00 1.96 3/89 15100
/proc/meminfo: memFree=1459024/2055920 swapFree=4180024/4192956
[pid=15087] ppid=15085 vsize=867888 CPUtime=245.55
/proc/15087/stat : 15087 (java) S 15085 15087 14442 0 -1 0 32830 588 1 0 24533 15 6 1 18 0 9 0 1981252465 888717312 21085 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/15087/statm: 216972 21085 2615 9 0 211500 0
[pid=15087/tid=15089] ppid=15085 vsize=867888 CPUtime=245.04
/proc/15087/task/15089/stat : 15089 (java) R 15085 15087 14442 0 -1 64 24291 588 1 0 24487 10 6 1 25 0 9 0 1981252466 888717312 21085 996147200 134512640 134550740 4294955984 18446744073709551615 4127147652 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15087/tid=15090] ppid=15085 vsize=867888 CPUtime=0.22
/proc/15087/task/15090/stat : 15090 (java) S 15085 15087 14442 0 -1 64 6781 588 0 0 13 2 6 1 17 0 9 0 1981252467 888717312 21085 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15087/tid=15091] ppid=15085 vsize=867888 CPUtime=0.07
/proc/15087/task/15091/stat : 15091 (java) S 15085 15087 14442 0 -1 64 16 588 0 0 0 0 6 1 16 0 9 0 1981252468 888717312 21085 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15087/tid=15092] ppid=15085 vsize=867888 CPUtime=0.07
/proc/15087/task/15092/stat : 15092 (java) S 15085 15087 14442 0 -1 64 11 588 0 0 0 0 6 1 16 0 9 0 1981252468 888717312 21085 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15087/tid=15093] ppid=15085 vsize=867888 CPUtime=0.07
/proc/15087/task/15093/stat : 15093 (java) S 15085 15087 14442 0 -1 64 1 588 0 0 0 0 6 1 24 0 9 0 1981252469 888717312 21085 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15087/tid=15094] ppid=15085 vsize=867888 CPUtime=0.4
/proc/15087/task/15094/stat : 15094 (java) S 15085 15087 14442 0 -1 64 899 588 0 0 32 1 6 1 16 0 9 0 1981252469 888717312 21085 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15087/tid=15095] ppid=15085 vsize=867888 CPUtime=0.07
/proc/15087/task/15095/stat : 15095 (java) S 15085 15087 14442 0 -1 64 1 588 0 0 0 0 6 1 25 0 9 0 1981252470 888717312 21085 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15087/tid=15096] ppid=15085 vsize=867888 CPUtime=0.07
/proc/15087/task/15096/stat : 15096 (java) S 15085 15087 14442 0 -1 64 30 588 0 0 0 0 6 1 15 0 9 0 1981252470 888717312 21085 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 245.55
Current children cumulated vsize (KiB) 867888
[startup+248.702 s]
/proc/loadavg: 2.00 2.00 1.96 3/89 15100
/proc/meminfo: memFree=1459024/2055920 swapFree=4180024/4192956
[pid=15087] ppid=15085 vsize=867888 CPUtime=246.34
/proc/15087/stat : 15087 (java) S 15085 15087 14442 0 -1 0 32830 588 1 0 24612 15 6 1 18 0 9 0 1981252465 888717312 21085 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/15087/statm: 216972 21085 2615 9 0 211500 0
[pid=15087/tid=15089] ppid=15085 vsize=867888 CPUtime=245.83
/proc/15087/task/15089/stat : 15089 (java) R 15085 15087 14442 0 -1 64 24291 588 1 0 24566 10 6 1 25 0 9 0 1981252466 888717312 21085 996147200 134512640 134550740 4294955984 18446744073709551615 4127087536 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15087/tid=15090] ppid=15085 vsize=867888 CPUtime=0.22
/proc/15087/task/15090/stat : 15090 (java) S 15085 15087 14442 0 -1 64 6781 588 0 0 13 2 6 1 16 0 9 0 1981252467 888717312 21085 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15087/tid=15091] ppid=15085 vsize=867888 CPUtime=0.07
/proc/15087/task/15091/stat : 15091 (java) S 15085 15087 14442 0 -1 64 16 588 0 0 0 0 6 1 16 0 9 0 1981252468 888717312 21085 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15087/tid=15092] ppid=15085 vsize=867888 CPUtime=0.07
/proc/15087/task/15092/stat : 15092 (java) S 15085 15087 14442 0 -1 64 11 588 0 0 0 0 6 1 16 0 9 0 1981252468 888717312 21085 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15087/tid=15093] ppid=15085 vsize=867888 CPUtime=0.07
/proc/15087/task/15093/stat : 15093 (java) S 15085 15087 14442 0 -1 64 1 588 0 0 0 0 6 1 24 0 9 0 1981252469 888717312 21085 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15087/tid=15094] ppid=15085 vsize=867888 CPUtime=0.4
/proc/15087/task/15094/stat : 15094 (java) S 15085 15087 14442 0 -1 64 899 588 0 0 32 1 6 1 16 0 9 0 1981252469 888717312 21085 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15087/tid=15095] ppid=15085 vsize=867888 CPUtime=0.07
/proc/15087/task/15095/stat : 15095 (java) S 15085 15087 14442 0 -1 64 1 588 0 0 0 0 6 1 25 0 9 0 1981252470 888717312 21085 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15087/tid=15096] ppid=15085 vsize=867888 CPUtime=0.07
/proc/15087/task/15096/stat : 15096 (java) S 15085 15087 14442 0 -1 64 30 588 0 0 0 0 6 1 15 0 9 0 1981252470 888717312 21085 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 246.34
Current children cumulated vsize (KiB) 867888
[startup+249.103 s]
/proc/loadavg: 2.00 2.00 1.96 3/89 15100
/proc/meminfo: memFree=1459024/2055920 swapFree=4180024/4192956
[pid=15087] ppid=15085 vsize=867888 CPUtime=246.74
/proc/15087/stat : 15087 (java) S 15085 15087 14442 0 -1 0 32830 588 1 0 24652 15 6 1 18 0 9 0 1981252465 888717312 21085 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/15087/statm: 216972 21085 2615 9 0 211500 0
[pid=15087/tid=15089] ppid=15085 vsize=867888 CPUtime=246.23
/proc/15087/task/15089/stat : 15089 (java) R 15085 15087 14442 0 -1 64 24291 588 1 0 24606 10 6 1 25 0 9 0 1981252466 888717312 21085 996147200 134512640 134550740 4294955984 18446744073709551615 4127123022 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15087/tid=15090] ppid=15085 vsize=867888 CPUtime=0.22
/proc/15087/task/15090/stat : 15090 (java) S 15085 15087 14442 0 -1 64 6781 588 0 0 13 2 6 1 16 0 9 0 1981252467 888717312 21085 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15087/tid=15091] ppid=15085 vsize=867888 CPUtime=0.07
/proc/15087/task/15091/stat : 15091 (java) S 15085 15087 14442 0 -1 64 16 588 0 0 0 0 6 1 16 0 9 0 1981252468 888717312 21085 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15087/tid=15092] ppid=15085 vsize=867888 CPUtime=0.07
/proc/15087/task/15092/stat : 15092 (java) S 15085 15087 14442 0 -1 64 11 588 0 0 0 0 6 1 16 0 9 0 1981252468 888717312 21085 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15087/tid=15093] ppid=15085 vsize=867888 CPUtime=0.07
/proc/15087/task/15093/stat : 15093 (java) S 15085 15087 14442 0 -1 64 1 588 0 0 0 0 6 1 24 0 9 0 1981252469 888717312 21085 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15087/tid=15094] ppid=15085 vsize=867888 CPUtime=0.4
/proc/15087/task/15094/stat : 15094 (java) S 15085 15087 14442 0 -1 64 899 588 0 0 32 1 6 1 16 0 9 0 1981252469 888717312 21085 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15087/tid=15095] ppid=15085 vsize=867888 CPUtime=0.07
/proc/15087/task/15095/stat : 15095 (java) S 15085 15087 14442 0 -1 64 1 588 0 0 0 0 6 1 25 0 9 0 1981252470 888717312 21085 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15087/tid=15096] ppid=15085 vsize=867888 CPUtime=0.07
/proc/15087/task/15096/stat : 15096 (java) S 15085 15087 14442 0 -1 64 30 588 0 0 0 0 6 1 15 0 9 0 1981252470 888717312 21085 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 246.74
Current children cumulated vsize (KiB) 867888
[startup+249.303 s]
/proc/loadavg: 2.00 2.00 1.96 3/89 15100
/proc/meminfo: memFree=1459024/2055920 swapFree=4180024/4192956
[pid=15087] ppid=15085 vsize=867888 CPUtime=246.94
/proc/15087/stat : 15087 (java) S 15085 15087 14442 0 -1 0 32830 588 1 0 24672 15 6 1 18 0 9 0 1981252465 888717312 21085 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/15087/statm: 216972 21085 2615 9 0 211500 0
[pid=15087/tid=15089] ppid=15085 vsize=867888 CPUtime=246.43
/proc/15087/task/15089/stat : 15089 (java) R 15085 15087 14442 0 -1 64 24291 588 1 0 24626 10 6 1 25 0 9 0 1981252466 888717312 21085 996147200 134512640 134550740 4294955984 18446744073709551615 4127087588 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15087/tid=15090] ppid=15085 vsize=867888 CPUtime=0.22
/proc/15087/task/15090/stat : 15090 (java) S 15085 15087 14442 0 -1 64 6781 588 0 0 13 2 6 1 16 0 9 0 1981252467 888717312 21085 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15087/tid=15091] ppid=15085 vsize=867888 CPUtime=0.07
/proc/15087/task/15091/stat : 15091 (java) S 15085 15087 14442 0 -1 64 16 588 0 0 0 0 6 1 16 0 9 0 1981252468 888717312 21085 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15087/tid=15092] ppid=15085 vsize=867888 CPUtime=0.07
/proc/15087/task/15092/stat : 15092 (java) S 15085 15087 14442 0 -1 64 11 588 0 0 0 0 6 1 16 0 9 0 1981252468 888717312 21085 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15087/tid=15093] ppid=15085 vsize=867888 CPUtime=0.07
/proc/15087/task/15093/stat : 15093 (java) S 15085 15087 14442 0 -1 64 1 588 0 0 0 0 6 1 24 0 9 0 1981252469 888717312 21085 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15087/tid=15094] ppid=15085 vsize=867888 CPUtime=0.4
/proc/15087/task/15094/stat : 15094 (java) S 15085 15087 14442 0 -1 64 899 588 0 0 32 1 6 1 16 0 9 0 1981252469 888717312 21085 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15087/tid=15095] ppid=15085 vsize=867888 CPUtime=0.07
/proc/15087/task/15095/stat : 15095 (java) S 15085 15087 14442 0 -1 64 1 588 0 0 0 0 6 1 25 0 9 0 1981252470 888717312 21085 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15087/tid=15096] ppid=15085 vsize=867888 CPUtime=0.07
/proc/15087/task/15096/stat : 15096 (java) S 15085 15087 14442 0 -1 64 30 588 0 0 0 0 6 1 15 0 9 0 1981252470 888717312 21085 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 246.94
Current children cumulated vsize (KiB) 867888
[startup+249.403 s]
/proc/loadavg: 2.00 2.00 1.96 3/89 15100
/proc/meminfo: memFree=1459024/2055920 swapFree=4180024/4192956
[pid=15087] ppid=15085 vsize=867888 CPUtime=247.02
/proc/15087/stat : 15087 (java) S 15085 15087 14442 0 -1 0 32838 588 1 0 24680 15 6 1 18 0 9 0 1981252465 888717312 21090 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/15087/statm: 216972 21090 2615 9 0 211500 0
[pid=15087/tid=15089] ppid=15085 vsize=867888 CPUtime=246.51
/proc/15087/task/15089/stat : 15089 (java) S 15085 15087 14442 0 -1 64 24297 588 1 0 24634 10 6 1 23 0 9 0 1981252466 888717312 21090 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15087/tid=15090] ppid=15085 vsize=867888 CPUtime=0.22
/proc/15087/task/15090/stat : 15090 (java) S 15085 15087 14442 0 -1 64 6781 588 0 0 13 2 6 1 16 0 9 0 1981252467 888717312 21090 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15087/tid=15091] ppid=15085 vsize=867888 CPUtime=0.07
/proc/15087/task/15091/stat : 15091 (java) S 15085 15087 14442 0 -1 64 16 588 0 0 0 0 6 1 16 0 9 0 1981252468 888717312 21090 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15087/tid=15092] ppid=15085 vsize=867888 CPUtime=0.07
/proc/15087/task/15092/stat : 15092 (java) S 15085 15087 14442 0 -1 64 11 588 0 0 0 0 6 1 16 0 9 0 1981252468 888717312 21090 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15087/tid=15093] ppid=15085 vsize=867888 CPUtime=0.07
/proc/15087/task/15093/stat : 15093 (java) S 15085 15087 14442 0 -1 64 1 588 0 0 0 0 6 1 24 0 9 0 1981252469 888717312 21090 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15087/tid=15094] ppid=15085 vsize=867888 CPUtime=0.4
/proc/15087/task/15094/stat : 15094 (java) S 15085 15087 14442 0 -1 64 901 588 0 0 32 1 6 1 16 0 9 0 1981252469 888717312 21090 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15087/tid=15095] ppid=15085 vsize=867888 CPUtime=0.07
/proc/15087/task/15095/stat : 15095 (java) S 15085 15087 14442 0 -1 64 1 588 0 0 0 0 6 1 25 0 9 0 1981252470 888717312 21090 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15087/tid=15096] ppid=15085 vsize=867888 CPUtime=0.07
/proc/15087/task/15096/stat : 15096 (java) S 15085 15087 14442 0 -1 64 30 588 0 0 0 0 6 1 15 0 9 0 1981252470 888717312 21090 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 247.02
Current children cumulated vsize (KiB) 867888
Child status: 0
Real time (s): 249.432
CPU time (s): 247.054
CPU user time (s): 246.874
CPU system time (s): 0.179972
CPU usage (%): 99.0469
Max. virtual memory (cumulated for all children) (KiB): 867988
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 246.874
system time used= 0.179972
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 33453
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= 6646
involuntary context switches= 12193
runsolver used 0.347947 second user time and 0.799878 second system time
The end
Begin job on node4 at 2008-07-02 20:19:31
IDJOB=1044258
IDBENCH=53526
IDSOLVER=363
FILE ID=node4/1044258-1215022771
PBS_JOBID= 7874462
Free space on /tmp= 66548 MiB
SOLVER NAME= Abscon 112v4 AC
BENCH NAME= CPAI08/csp/QCP-20/normalized-qcp-20-187-1_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution mac.xml 1 XSax BENCHNAME
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1044258-1215022771/watcher-1044258-1215022771 -o /tmp/evaluation-result-1044258-1215022771/solver-1044258-1215022771 -C 1800 -W 2200 -M 900 --output-limit 1,15 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution mac.xml 1 XSax HOME/instance-1044258-1215022771.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= f3ee39aa6f2efa7f9f3ad629962df693
RANDOM SEED=288625233
node4.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: 1533952 kB
Buffers: 60412 kB
Cached: 339292 kB
SwapCached: 7004 kB
Active: 192836 kB
Inactive: 250632 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1533952 kB
SwapTotal: 4192956 kB
SwapFree: 4180024 kB
Dirty: 2692 kB
Writeback: 0 kB
Mapped: 60132 kB
Slab: 63520 kB
Committed_AS: 3947416 kB
PageTables: 2004 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= 66548 MiB
End job on node4 at 2008-07-02 20:23:40