0.31
0.31 Abscon 109 (November, 2006)
0.31
0.31 configuration
0.31 name=esac.xml
0.35
0.35 instance
0.35 name=/tmp/evaluation/215665-1168235639/unknown.xml
0.38
0.38 domains being loaded...
0.38
0.38 variables being loaded...
0.45 nbVariables=464 nbDomainTypes=1 minDomainSize=2 maxDomainSize=2
0.45 => wckTime=0.137 cpuTime=0.11 mem=7M50
0.45
0.45 predicates being loaded...
0.51
0.51 constraints being loaded...
0.98 nbConstraints=555 nbMergedConstraints=514 nbConvertedConstraints=168 nbConvertConstraintsChecks=524
0.98 nbExtensionStructures=1 nbSharedExtensionStructures=167 nbConflictsStructures=5 nbSharedConflictsStructures=540
0.98 nbUnbuiltConflictsStructures=9 nbSharedBinaryRepresentations=2 nbEvaluationManagers=13
0.98 nbSharedEvaluationManagers=374 maxDegree=30 maxArity=128
0.98 => wckTime=0.663 cpuTime=0.49 mem=10M150
1.02
1.02 solver IterativeSystematicSolver being built...
1.27 => wckTime=0.957 cpuTime=0.68 mem=23M60
15.81
15.81 preprocessing
15.81 nbConstraintChecks=4911306 nbValidityChecks=33158 nbPropagations=1320 nbRevisions=18836
15.81 nbUselessRevisions=18607 nbSingletonTests=658 nbEffectiveSingletonTests=0 nbESACBranches=7 nbRemovedValues=0
15.81 detectedInconsistency=no
15.81 => wckTime=14.538 cpuTime=14.45 mem=23M60
18.87
18.87 search
18.87 run=0 nbConstraintChecks=939618 nbValidityChecks=25423 nbPropagations=1744 nbRevisions=32697
18.87 nbUselessRevisions=31992 nbAssignments=82 nbFailedAssignments=13 nbBacktracks=13 nbVisitedNodes=101
18.87 nbRestartNogoods=0 mapSize=6 nbInferences=0 nbTooLargeKeys=0
18.87 => wckTime=17.589 cpuTime=17.47 mem=23M60
28.86
28.86 search
28.86 run=1 nbConstraintChecks=4220568 nbValidityChecks=171194 nbPropagations=5685 nbRevisions=143604
28.86 nbUselessRevisions=140283 nbAssignments=587 nbFailedAssignments=26 nbBacktracks=47 nbVisitedNodes=213
28.86 nbRestartNogoods=12 mapSize=21 nbInferences=0 nbTooLargeKeys=0
28.86 => wckTime=27.588 cpuTime=27.41 mem=23M60
37.77
37.78 search
37.78 run=2 nbConstraintChecks=7113490 nbValidityChecks=272601 nbPropagations=11140 nbRevisions=308893
37.78 nbUselessRevisions=301559 nbAssignments=936 nbFailedAssignments=38 nbBacktracks=88 nbVisitedNodes=327
37.78 nbRestartNogoods=21 mapSize=34 nbInferences=0 nbTooLargeKeys=0
37.78 => wckTime=36.499 cpuTime=36.27 mem=23M60
46.10
46.10 search
46.10 run=3 nbConstraintChecks=9850617 nbValidityChecks=361787 nbPropagations=18088 nbRevisions=522371
46.10 nbUselessRevisions=509481 nbAssignments=1223 nbFailedAssignments=58 nbBacktracks=123 nbVisitedNodes=458
46.10 nbRestartNogoods=28 mapSize=56 nbInferences=0 nbTooLargeKeys=0
46.10 => wckTime=44.818 cpuTime=44.55 mem=23M60
51.22
51.22 search
51.22 run=4 nbConstraintChecks=11539307 nbValidityChecks=455178 nbPropagations=26223 nbRevisions=786018
51.22 nbUselessRevisions=766619 nbAssignments=1539 nbFailedAssignments=73 nbBacktracks=176 nbVisitedNodes=578
51.22 nbRestartNogoods=38 mapSize=77 nbInferences=0 nbTooLargeKeys=0
51.22 => wckTime=49.945 cpuTime=49.65 mem=23M60
56.45
56.45 search
56.45 run=5 nbConstraintChecks=13258771 nbValidityChecks=529218 nbPropagations=35803 nbRevisions=1090833
56.45 nbUselessRevisions=1063243 nbAssignments=1803 nbFailedAssignments=112 nbBacktracks=251 nbVisitedNodes=817
56.45 nbRestartNogoods=43 mapSize=120 nbInferences=0 nbTooLargeKeys=0
56.45 => wckTime=55.171 cpuTime=54.84 mem=23M60
64.67
64.67 search
64.67 run=6 nbConstraintChecks=15934184 nbValidityChecks=717417 nbPropagations=48659 nbRevisions=1498697
64.67 nbUselessRevisions=1459740 nbAssignments=2524 nbFailedAssignments=154 nbBacktracks=364 nbVisitedNodes=1095
64.67 nbRestartNogoods=59 mapSize=183 nbInferences=0 nbTooLargeKeys=0
64.67 => wckTime=63.391 cpuTime=63.02 mem=24M54
69.67
69.67 search
69.67 run=7 nbConstraintChecks=17516689 nbValidityChecks=848785 nbPropagations=64127 nbRevisions=1980038
69.67 nbUselessRevisions=1926965 nbAssignments=3035 nbFailedAssignments=202 nbBacktracks=547 nbVisitedNodes=1486
69.67 nbRestartNogoods=68 mapSize=273 nbInferences=0 nbTooLargeKeys=0
69.67 => wckTime=68.397 cpuTime=68.0 mem=24M54
82.95
82.95 search
82.95 run=8 nbConstraintChecks=21786071 nbValidityChecks=1076646 nbPropagations=83165 nbRevisions=2588216
82.95 nbUselessRevisions=2516712 nbAssignments=3790 nbFailedAssignments=282 nbBacktracks=810 nbVisitedNodes=2006
82.95 nbRestartNogoods=83 mapSize=414 nbInferences=0 nbTooLargeKeys=0
82.95 => wckTime=81.669 cpuTime=81.2 mem=24M54
89.50
89.50 search
89.50 run=9 nbConstraintChecks=23898231 nbValidityChecks=1255539 nbPropagations=106138 nbRevisions=3297715
89.50 nbUselessRevisions=3202683 nbAssignments=4498 nbFailedAssignments=386 nbBacktracks=1194 nbVisitedNodes=2795
89.50 nbRestartNogoods=90 mapSize=603 nbInferences=0 nbTooLargeKeys=0
89.50 => wckTime=88.22 cpuTime=87.71 mem=24M54
99.98
99.98 search
99.98 run=10 nbConstraintChecks=27282620 nbValidityChecks=1594781 nbPropagations=136546 nbRevisions=4200424
99.98 nbUselessRevisions=4073568 nbAssignments=5869 nbFailedAssignments=544 nbBacktracks=1782 nbVisitedNodes=3901
99.98 nbRestartNogoods=114 mapSize=901 nbInferences=0 nbTooLargeKeys=0
99.98 => wckTime=98.706 cpuTime=98.14 mem=25M49
107.93
107.93 INFO : Stopping hyperNogood (mapSize=1013, nbTooLargekeys=0, mem=25M49)
112.27
112.27 search
112.27 run=11 nbConstraintChecks=31144509 nbValidityChecks=1985998 nbPropagations=175051 nbRevisions=5328792
112.27 nbUselessRevisions=5160474 nbAssignments=7280 nbFailedAssignments=775 nbBacktracks=2647 nbVisitedNodes=5467
112.27 nbRestartNogoods=127
112.27 => wckTime=110.997 cpuTime=110.38 mem=25M49
121.98
121.98 search
121.98 run=12 nbConstraintChecks=33534967 nbValidityChecks=2492359 nbPropagations=225560 nbRevisions=6754409
121.98 nbUselessRevisions=6528369 nbAssignments=9394 nbFailedAssignments=1096 nbBacktracks=3961 nbVisitedNodes=7830
121.98 nbRestartNogoods=141
121.98 => wckTime=120.708 cpuTime=120.05 mem=25M49
139.52
139.52 search
139.52 run=13 nbConstraintChecks=37860831 nbValidityChecks=3122069 nbPropagations=290652 nbRevisions=8544844
139.52 nbUselessRevisions=8243571 nbAssignments=12527 nbFailedAssignments=1464 nbBacktracks=5907 nbVisitedNodes=10915
139.52 nbRestartNogoods=165
139.52 => wckTime=138.248 cpuTime=137.5 mem=25M49
162.88
162.88 search
162.88 run=14 nbConstraintChecks=42975644 nbValidityChecks=3889625 nbPropagations=375585 nbRevisions=10786839
162.88 nbUselessRevisions=10384445 nbAssignments=16233 nbFailedAssignments=1989 nbBacktracks=8830 nbVisitedNodes=15545
162.88 nbRestartNogoods=178
162.88 => wckTime=161.604 cpuTime=160.74 mem=25M49
210.35
210.36 search
210.36 run=15 nbConstraintChecks=57604299 nbValidityChecks=5533045 nbPropagations=493065 nbRevisions=13989425
210.36 nbUselessRevisions=13441702 nbAssignments=21803 nbFailedAssignments=3020 nbBacktracks=13208
210.36 nbVisitedNodes=22906 nbRestartNogoods=189
210.36 => wckTime=209.079 cpuTime=207.99 mem=25M49
227.37
227.37 search
227.37 run=16 nbConstraintChecks=62444444 nbValidityChecks=6687316 nbPropagations=643420 nbRevisions=17875127
227.37 nbUselessRevisions=17141391 nbAssignments=29445 nbFailedAssignments=3953 nbBacktracks=19785
227.37 nbVisitedNodes=32481 nbRestartNogoods=198
227.37 => wckTime=226.091 cpuTime=224.92 mem=25M49
272.72
272.72 search
272.72 run=17 nbConstraintChecks=75946475 nbValidityChecks=8935258 nbPropagations=849516 nbRevisions=23083580
272.72 nbUselessRevisions=22093255 nbAssignments=41421 nbFailedAssignments=5785 nbBacktracks=29645
272.72 nbVisitedNodes=47777 nbRestartNogoods=212
272.72 => wckTime=271.442 cpuTime=270.06 mem=25M49
306.76
306.76 search
306.76 run=18 nbConstraintChecks=85510960 nbValidityChecks=11354046 nbPropagations=1127202 nbRevisions=29727637
306.76 nbUselessRevisions=28392881 nbAssignments=58395 nbFailedAssignments=7826 nbBacktracks=44434
306.76 nbVisitedNodes=68979 nbRestartNogoods=225
306.76 => wckTime=305.484 cpuTime=303.94 mem=25M49
315.51
315.51 search
315.51 run=19 nbConstraintChecks=88099165 nbValidityChecks=11800328 nbPropagations=1416035 nbRevisions=36633281
315.51 nbUselessRevisions=34940585 nbAssignments=61041 nbFailedAssignments=8167 nbBacktracks=46143
315.51 nbVisitedNodes=72177 nbRestartNogoods=235
315.51 => wckTime=314.233 cpuTime=312.65 mem=25M49
315.51
315.51 global
315.51 nbConstraintChecks=93010471 nbValidityChecks=11833486 nbPropagations=1417355 nbRevisions=36652117
315.51 nbUselessRevisions=34959192 nbRestartNogoods=235 solvingWckTime=314.234 solvingCpuTime=312.65 expiredTime=no
315.51 totalExploration=no nbFoundSolutions=1 globalCpuTime=313.38
315.51 => wckTime=315.194 cpuTime=313.33 mem=25M49
315.51
315.51 s SATISFIABLE
315.51 v 1 1 1 1 1 1 0 0 1 1 0 0 1 1 1 1 1 1 1 0 0 0 0 1 1 0 1 0 1 1 1 1 1 1 1 1 0 0 0 0 1 1 1 1 1 0 1 1 0 0 0 1 0 0 0 1 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 1 0 0 0 0 0 0 0 1 1 1 1 0 0 1 0 1 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 1 0 0 1 1 1 0 1 1 1 0 1 1 0 1 0 0 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 0 1 1 0 1 1 1 1 1 1 0 1 1 0 1 0 0 0 0 0 1 1 1 1 0 0 0 0 0 1 0 0 1 0 0 0 1 1 0 0 0 1 0 0 0 0 0 0 1 1 1 0 1 1 0 1 0 1 1 1 1 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 1 1 1 1 1 0 0 0 0 1 1 1 1 1 0 1 1 0 1 1 1 0 0 1 1 1 0 1 1 1 1 1 1 0 0 0 1 0 0 1 0 1 0 0 0 0 1 0 1 1 1 1 1 1 0 1 1 0 0 0 0 0 1 0 1 0 1 0 0 1 0 1 0 1 1 1 1 0 0 1 0 0 1 1 1 1 0 1 0 0 1 1 0 1 0 0 0 0 0 0 1 1 0 0 1 0 1 0 1 0 1 0 0 1 1 0 1 0 1 1 0 1 1 1 0 0 1 0 1 0 0 1 1 1 0 0 0 0 0 1 1 0 1 0 1 0 1 1 0 0 1 0 0 0 0 1 0 1 1 1 0 1 1 1 0 0 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1
315.51 d NODES 61041
315.51 d CHECKS 93010471
315.51
315.51 totalWckTime=315.276 totalCpuTime=313.39
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node14/watcher-215665-1168235639 -o ROOT/results/node14/solver-215665-1168235639 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/215665-1168235639/unknown.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 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
/proc/loadavg: 1.96 1.99 1.99 4/94 15590
/proc/meminfo: memFree=1094800/2055920 swapFree=4182236/4192956
[pid=15589] ppid=15587 vsize=18540 CPUtime=0
/proc/15589/stat : 15589 (runsolver) R 15587 15589 15522 0 -1 4194368 17 0 0 0 0 0 0 0 18 0 1 0 171958889 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 212234464551 0 2147483391 4096 24578 0 0 0 17 0 0 0
/proc/15589/statm: 4635 279 244 17 0 2626 0
[startup+0.106577 s]
/proc/loadavg: 1.96 1.99 1.99 4/94 15590
/proc/meminfo: memFree=1094800/2055920 swapFree=4182236/4192956
[pid=15589] ppid=15587 vsize=914988 CPUtime=0.09
/proc/15589/stat : 15589 (java) R 15587 15589 15522 0 -1 0 2995 0 1 0 7 2 0 0 20 0 8 0 171958889 936947712 2741 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072931672 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15589/statm: 228747 2741 1427 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.51461 s]
/proc/loadavg: 1.96 1.99 1.99 4/94 15590
/proc/meminfo: memFree=1094800/2055920 swapFree=4182236/4192956
[pid=15589] ppid=15587 vsize=915328 CPUtime=0.49
/proc/15589/stat : 15589 (java) R 15587 15589 15522 0 -1 0 7133 0 1 0 44 5 0 0 18 0 8 0 171958889 937295872 6872 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4155889221 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15589/statm: 228832 6872 2139 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.33969 s]
/proc/loadavg: 1.96 1.99 1.99 4/101 15597
/proc/meminfo: memFree=1024728/2055920 swapFree=4182236/4192956
[pid=15589] ppid=15587 vsize=915528 CPUtime=1.31
/proc/15589/stat : 15589 (java) R 15587 15589 15522 0 -1 0 18074 0 1 0 116 15 0 0 24 0 8 0 171958889 937500672 17811 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073758134 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15589/statm: 228882 17811 2545 14 0 215352 0
[pid=15589/tid=15591] ppid=15587 vsize=915528 CPUtime=0.04
/proc/15589/task/15591/stat : 15591 (java) S 15587 15589 15522 0 -1 64 1007 0 0 0 4 0 0 0 16 0 8 0 171958894 937500672 17811 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15589/tid=15592] ppid=15587 vsize=915528 CPUtime=0
/proc/15589/task/15592/stat : 15592 (java) S 15587 15589 15522 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 171958894 937500672 17811 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15589/tid=15593] ppid=15587 vsize=915528 CPUtime=0
/proc/15589/task/15593/stat : 15593 (java) S 15587 15589 15522 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 171958894 937500672 17811 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15589/tid=15594] ppid=15587 vsize=915528 CPUtime=0
/proc/15589/task/15594/stat : 15594 (java) S 15587 15589 15522 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 171958897 937500672 17811 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15589/tid=15595] ppid=15587 vsize=915528 CPUtime=0.27
/proc/15589/task/15595/stat : 15595 (java) S 15587 15589 15522 0 -1 64 417 0 0 0 25 2 0 0 15 0 8 0 171958897 937500672 17811 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15589/tid=15596] ppid=15587 vsize=915528 CPUtime=0
/proc/15589/task/15596/stat : 15596 (java) S 15587 15589 15522 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 171958897 937500672 17811 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15589/tid=15597] ppid=15587 vsize=915528 CPUtime=0
/proc/15589/task/15597/stat : 15597 (java) S 15587 15589 15522 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 171958897 937500672 17811 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915528
[startup+2.98784 s]
/proc/loadavg: 2.04 2.01 1.99 3/101 15597
/proc/meminfo: memFree=1006808/2055920 swapFree=4182236/4192956
[pid=15589] ppid=15587 vsize=915528 CPUtime=2.95
/proc/15589/stat : 15589 (java) R 15587 15589 15522 0 -1 0 18085 0 1 0 280 15 0 0 25 0 8 0 171958889 937500672 17821 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073999642 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15589/statm: 228882 17821 2547 14 0 215352 0
[pid=15589/tid=15591] ppid=15587 vsize=915528 CPUtime=0.04
/proc/15589/task/15591/stat : 15591 (java) S 15587 15589 15522 0 -1 64 1007 0 0 0 4 0 0 0 17 0 8 0 171958894 937500672 17821 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15589/tid=15592] ppid=15587 vsize=915528 CPUtime=0
/proc/15589/task/15592/stat : 15592 (java) S 15587 15589 15522 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 171958894 937500672 17821 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15589/tid=15593] ppid=15587 vsize=915528 CPUtime=0
/proc/15589/task/15593/stat : 15593 (java) S 15587 15589 15522 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 171958894 937500672 17821 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15589/tid=15594] ppid=15587 vsize=915528 CPUtime=0
/proc/15589/task/15594/stat : 15594 (java) S 15587 15589 15522 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 171958897 937500672 17821 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15589/tid=15595] ppid=15587 vsize=915528 CPUtime=0.28
/proc/15589/task/15595/stat : 15595 (java) S 15587 15589 15522 0 -1 64 423 0 0 0 26 2 0 0 15 0 8 0 171958897 937500672 17821 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15589/tid=15596] ppid=15587 vsize=915528 CPUtime=0
/proc/15589/task/15596/stat : 15596 (java) S 15587 15589 15522 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 171958897 937500672 17821 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15589/tid=15597] ppid=15587 vsize=915528 CPUtime=0
/proc/15589/task/15597/stat : 15597 (java) S 15587 15589 15522 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 171958897 937500672 17821 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 915528
[startup+6.19014 s]
/proc/loadavg: 2.04 2.01 1.99 4/101 15597
/proc/meminfo: memFree=1006488/2055920 swapFree=4182236/4192956
[pid=15589] ppid=15587 vsize=915528 CPUtime=6.14
/proc/15589/stat : 15589 (java) R 15587 15589 15522 0 -1 0 18086 0 1 0 599 15 0 0 25 0 8 0 171958889 937500672 17821 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073762784 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15589/statm: 228882 17821 2547 14 0 215352 0
[pid=15589/tid=15591] ppid=15587 vsize=915528 CPUtime=0.04
/proc/15589/task/15591/stat : 15591 (java) S 15587 15589 15522 0 -1 64 1007 0 0 0 4 0 0 0 16 0 8 0 171958894 937500672 17821 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15589/tid=15592] ppid=15587 vsize=915528 CPUtime=0
/proc/15589/task/15592/stat : 15592 (java) S 15587 15589 15522 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 171958894 937500672 17821 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15589/tid=15593] ppid=15587 vsize=915528 CPUtime=0
/proc/15589/task/15593/stat : 15593 (java) S 15587 15589 15522 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 171958894 937500672 17821 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15589/tid=15594] ppid=15587 vsize=915528 CPUtime=0
/proc/15589/task/15594/stat : 15594 (java) S 15587 15589 15522 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 171958897 937500672 17821 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15589/tid=15595] ppid=15587 vsize=915528 CPUtime=0.28
/proc/15589/task/15595/stat : 15595 (java) S 15587 15589 15522 0 -1 64 424 0 0 0 26 2 0 0 15 0 8 0 171958897 937500672 17821 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15589/tid=15596] ppid=15587 vsize=915528 CPUtime=0
/proc/15589/task/15596/stat : 15596 (java) S 15587 15589 15522 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 171958897 937500672 17821 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15589/tid=15597] ppid=15587 vsize=915528 CPUtime=0
/proc/15589/task/15597/stat : 15597 (java) S 15587 15589 15522 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 171958897 937500672 17821 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.14
Current children cumulated vsize (KiB) 915528
[startup+12.6638 s]
/proc/loadavg: 2.19 2.04 2.01 4/101 15597
/proc/meminfo: memFree=1006168/2055920 swapFree=4182236/4192956
[pid=15589] ppid=15587 vsize=915528 CPUtime=12.59
/proc/15589/stat : 15589 (java) R 15587 15589 15522 0 -1 0 18088 0 1 0 1243 16 0 0 25 0 8 0 171958889 937500672 17822 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073764136 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15589/statm: 228882 17822 2547 14 0 215352 0
[pid=15589/tid=15591] ppid=15587 vsize=915528 CPUtime=0.04
/proc/15589/task/15591/stat : 15591 (java) S 15587 15589 15522 0 -1 64 1007 0 0 0 4 0 0 0 16 0 8 0 171958894 937500672 17822 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15589/tid=15592] ppid=15587 vsize=915528 CPUtime=0
/proc/15589/task/15592/stat : 15592 (java) S 15587 15589 15522 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 171958894 937500672 17822 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15589/tid=15593] ppid=15587 vsize=915528 CPUtime=0
/proc/15589/task/15593/stat : 15593 (java) S 15587 15589 15522 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 171958894 937500672 17822 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15589/tid=15594] ppid=15587 vsize=915528 CPUtime=0
/proc/15589/task/15594/stat : 15594 (java) S 15587 15589 15522 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 171958897 937500672 17822 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15589/tid=15595] ppid=15587 vsize=915528 CPUtime=0.28
/proc/15589/task/15595/stat : 15595 (java) S 15587 15589 15522 0 -1 64 425 0 0 0 26 2 0 0 16 0 8 0 171958897 937500672 17822 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15589/tid=15596] ppid=15587 vsize=915528 CPUtime=0
/proc/15589/task/15596/stat : 15596 (java) S 15587 15589 15522 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 171958897 937500672 17822 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15589/tid=15597] ppid=15587 vsize=915528 CPUtime=0
/proc/15589/task/15597/stat : 15597 (java) S 15587 15589 15522 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 171958897 937500672 17822 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.59
Current children cumulated vsize (KiB) 915528
[startup+25.519 s]
/proc/loadavg: 2.31 2.07 2.02 4/101 15597
/proc/meminfo: memFree=1005784/2055920 swapFree=4182236/4192956
[pid=15589] ppid=15587 vsize=915528 CPUtime=25.38
/proc/15589/stat : 15589 (java) R 15587 15589 15522 0 -1 0 18104 0 1 0 2522 16 0 0 25 0 8 0 171958889 937500672 17833 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073763615 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15589/statm: 228882 17833 2548 14 0 215352 0
[pid=15589/tid=15591] ppid=15587 vsize=915528 CPUtime=0.04
/proc/15589/task/15591/stat : 15591 (java) S 15587 15589 15522 0 -1 64 1007 0 0 0 4 0 0 0 17 0 8 0 171958894 937500672 17833 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15589/tid=15592] ppid=15587 vsize=915528 CPUtime=0
/proc/15589/task/15592/stat : 15592 (java) S 15587 15589 15522 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 171958894 937500672 17833 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15589/tid=15593] ppid=15587 vsize=915528 CPUtime=0
/proc/15589/task/15593/stat : 15593 (java) S 15587 15589 15522 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 171958894 937500672 17833 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15589/tid=15594] ppid=15587 vsize=915528 CPUtime=0
/proc/15589/task/15594/stat : 15594 (java) S 15587 15589 15522 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 171958897 937500672 17833 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15589/tid=15595] ppid=15587 vsize=915528 CPUtime=0.3
/proc/15589/task/15595/stat : 15595 (java) S 15587 15589 15522 0 -1 64 438 0 0 0 28 2 0 0 15 0 8 0 171958897 937500672 17833 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15589/tid=15596] ppid=15587 vsize=915528 CPUtime=0
/proc/15589/task/15596/stat : 15596 (java) S 15587 15589 15522 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 171958897 937500672 17833 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15589/tid=15597] ppid=15587 vsize=915528 CPUtime=0
/proc/15589/task/15597/stat : 15597 (java) S 15587 15589 15522 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 171958897 937500672 17833 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.38
Current children cumulated vsize (KiB) 915528
[startup+51.1364 s]
/proc/loadavg: 2.56 2.15 2.04 4/101 15597
/proc/meminfo: memFree=1005400/2055920 swapFree=4182236/4192956
[pid=15589] ppid=15587 vsize=915528 CPUtime=50.87
/proc/15589/stat : 15589 (java) R 15587 15589 15522 0 -1 0 18114 0 1 0 5071 16 0 0 25 0 8 0 171958889 937500672 17839 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074001371 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15589/statm: 228882 17839 2548 14 0 215352 0
[pid=15589/tid=15591] ppid=15587 vsize=915528 CPUtime=0.04
/proc/15589/task/15591/stat : 15591 (java) S 15587 15589 15522 0 -1 64 1007 0 0 0 4 0 0 0 17 0 8 0 171958894 937500672 17839 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15589/tid=15592] ppid=15587 vsize=915528 CPUtime=0
/proc/15589/task/15592/stat : 15592 (java) S 15587 15589 15522 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 171958894 937500672 17839 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15589/tid=15593] ppid=15587 vsize=915528 CPUtime=0
/proc/15589/task/15593/stat : 15593 (java) S 15587 15589 15522 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 171958894 937500672 17839 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15589/tid=15594] ppid=15587 vsize=915528 CPUtime=0
/proc/15589/task/15594/stat : 15594 (java) S 15587 15589 15522 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 171958897 937500672 17839 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15589/tid=15595] ppid=15587 vsize=915528 CPUtime=0.31
/proc/15589/task/15595/stat : 15595 (java) S 15587 15589 15522 0 -1 64 446 0 0 0 29 2 0 0 17 0 8 0 171958897 937500672 17839 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15589/tid=15596] ppid=15587 vsize=915528 CPUtime=0
/proc/15589/task/15596/stat : 15596 (java) S 15587 15589 15522 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 171958897 937500672 17839 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15589/tid=15597] ppid=15587 vsize=915528 CPUtime=0
/proc/15589/task/15597/stat : 15597 (java) S 15587 15589 15522 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 171958897 937500672 17839 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.87
Current children cumulated vsize (KiB) 915528
[startup+102.359 s]
/proc/loadavg: 2.81 2.28 2.09 4/101 15597
/proc/meminfo: memFree=1004888/2055920 swapFree=4182236/4192956
[pid=15589] ppid=15587 vsize=915528 CPUtime=101.85
/proc/15589/stat : 15589 (java) R 15587 15589 15522 0 -1 0 18136 0 1 0 10168 17 0 0 25 0 8 0 171958889 937500672 17852 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073760231 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15589/statm: 228882 17852 2548 14 0 215352 0
[pid=15589/tid=15591] ppid=15587 vsize=915528 CPUtime=0.04
/proc/15589/task/15591/stat : 15591 (java) S 15587 15589 15522 0 -1 64 1007 0 0 0 4 0 0 0 16 0 8 0 171958894 937500672 17852 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15589/tid=15592] ppid=15587 vsize=915528 CPUtime=0
/proc/15589/task/15592/stat : 15592 (java) S 15587 15589 15522 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 171958894 937500672 17852 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15589/tid=15593] ppid=15587 vsize=915528 CPUtime=0
/proc/15589/task/15593/stat : 15593 (java) S 15587 15589 15522 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 171958894 937500672 17852 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15589/tid=15594] ppid=15587 vsize=915528 CPUtime=0
/proc/15589/task/15594/stat : 15594 (java) S 15587 15589 15522 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 171958897 937500672 17852 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15589/tid=15595] ppid=15587 vsize=915528 CPUtime=0.34
/proc/15589/task/15595/stat : 15595 (java) S 15587 15589 15522 0 -1 64 460 0 0 0 32 2 0 0 15 0 8 0 171958897 937500672 17852 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15589/tid=15596] ppid=15587 vsize=915528 CPUtime=0
/proc/15589/task/15596/stat : 15596 (java) S 15587 15589 15522 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 171958897 937500672 17852 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15589/tid=15597] ppid=15587 vsize=915528 CPUtime=0
/proc/15589/task/15597/stat : 15597 (java) S 15587 15589 15522 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 171958897 937500672 17852 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.85
Current children cumulated vsize (KiB) 915528
[startup+162.427 s]
/proc/loadavg: 2.50 2.30 2.10 3/101 15597
/proc/meminfo: memFree=1004440/2055920 swapFree=4182236/4192956
[pid=15589] ppid=15587 vsize=915528 CPUtime=161.64
/proc/15589/stat : 15589 (java) R 15587 15589 15522 0 -1 0 18140 0 1 0 16146 18 0 0 25 0 8 0 171958889 937500672 17854 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073758198 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15589/statm: 228882 17854 2548 14 0 215352 0
[pid=15589/tid=15591] ppid=15587 vsize=915528 CPUtime=0.04
/proc/15589/task/15591/stat : 15591 (java) S 15587 15589 15522 0 -1 64 1007 0 0 0 4 0 0 0 16 0 8 0 171958894 937500672 17854 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15589/tid=15592] ppid=15587 vsize=915528 CPUtime=0
/proc/15589/task/15592/stat : 15592 (java) S 15587 15589 15522 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 171958894 937500672 17854 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15589/tid=15593] ppid=15587 vsize=915528 CPUtime=0
/proc/15589/task/15593/stat : 15593 (java) S 15587 15589 15522 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 171958894 937500672 17854 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15589/tid=15594] ppid=15587 vsize=915528 CPUtime=0
/proc/15589/task/15594/stat : 15594 (java) S 15587 15589 15522 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 171958897 937500672 17854 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15589/tid=15595] ppid=15587 vsize=915528 CPUtime=0.35
/proc/15589/task/15595/stat : 15595 (java) S 15587 15589 15522 0 -1 64 463 0 0 0 33 2 0 0 16 0 8 0 171958897 937500672 17854 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15589/tid=15596] ppid=15587 vsize=915528 CPUtime=0
/proc/15589/task/15596/stat : 15596 (java) S 15587 15589 15522 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 171958897 937500672 17854 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15589/tid=15597] ppid=15587 vsize=915528 CPUtime=0
/proc/15589/task/15597/stat : 15597 (java) S 15587 15589 15522 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 171958897 937500672 17854 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 161.64
Current children cumulated vsize (KiB) 915528
[startup+222.499 s]
/proc/loadavg: 2.18 2.24 2.09 3/101 15597
/proc/meminfo: memFree=1004184/2055920 swapFree=4182236/4192956
[pid=15589] ppid=15587 vsize=915528 CPUtime=221.43
/proc/15589/stat : 15589 (java) R 15587 15589 15522 0 -1 0 18140 0 1 0 22125 18 0 0 25 0 8 0 171958889 937500672 17854 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073758125 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15589/statm: 228882 17854 2548 14 0 215352 0
[pid=15589/tid=15591] ppid=15587 vsize=915528 CPUtime=0.04
/proc/15589/task/15591/stat : 15591 (java) S 15587 15589 15522 0 -1 64 1007 0 0 0 4 0 0 0 16 0 8 0 171958894 937500672 17854 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15589/tid=15592] ppid=15587 vsize=915528 CPUtime=0
/proc/15589/task/15592/stat : 15592 (java) S 15587 15589 15522 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 171958894 937500672 17854 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15589/tid=15593] ppid=15587 vsize=915528 CPUtime=0
/proc/15589/task/15593/stat : 15593 (java) S 15587 15589 15522 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 171958894 937500672 17854 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15589/tid=15594] ppid=15587 vsize=915528 CPUtime=0
/proc/15589/task/15594/stat : 15594 (java) S 15587 15589 15522 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 171958897 937500672 17854 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15589/tid=15595] ppid=15587 vsize=915528 CPUtime=0.35
/proc/15589/task/15595/stat : 15595 (java) S 15587 15589 15522 0 -1 64 463 0 0 0 33 2 0 0 16 0 8 0 171958897 937500672 17854 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15589/tid=15596] ppid=15587 vsize=915528 CPUtime=0
/proc/15589/task/15596/stat : 15596 (java) S 15587 15589 15522 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 171958897 937500672 17854 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15589/tid=15597] ppid=15587 vsize=915528 CPUtime=0
/proc/15589/task/15597/stat : 15597 (java) S 15587 15589 15522 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 171958897 937500672 17854 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 221.43
Current children cumulated vsize (KiB) 915528
[startup+282.573 s]
/proc/loadavg: 2.07 2.19 2.09 3/101 15597
/proc/meminfo: memFree=1003928/2055920 swapFree=4182236/4192956
[pid=15589] ppid=15587 vsize=915528 CPUtime=281.23
/proc/15589/stat : 15589 (java) R 15587 15589 15522 0 -1 0 18141 0 1 0 28104 19 0 0 25 0 8 0 171958889 937500672 17855 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073758172 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15589/statm: 228882 17855 2548 14 0 215352 0
[pid=15589/tid=15591] ppid=15587 vsize=915528 CPUtime=0.04
/proc/15589/task/15591/stat : 15591 (java) S 15587 15589 15522 0 -1 64 1007 0 0 0 4 0 0 0 16 0 8 0 171958894 937500672 17855 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15589/tid=15592] ppid=15587 vsize=915528 CPUtime=0
/proc/15589/task/15592/stat : 15592 (java) S 15587 15589 15522 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 171958894 937500672 17855 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15589/tid=15593] ppid=15587 vsize=915528 CPUtime=0
/proc/15589/task/15593/stat : 15593 (java) S 15587 15589 15522 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 171958894 937500672 17855 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15589/tid=15594] ppid=15587 vsize=915528 CPUtime=0
/proc/15589/task/15594/stat : 15594 (java) S 15587 15589 15522 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 171958897 937500672 17855 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15589/tid=15595] ppid=15587 vsize=915528 CPUtime=0.36
/proc/15589/task/15595/stat : 15595 (java) S 15587 15589 15522 0 -1 64 464 0 0 0 33 3 0 0 16 0 8 0 171958897 937500672 17855 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15589/tid=15596] ppid=15587 vsize=915528 CPUtime=0
/proc/15589/task/15596/stat : 15596 (java) S 15587 15589 15522 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 171958897 937500672 17855 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15589/tid=15597] ppid=15587 vsize=915528 CPUtime=0
/proc/15589/task/15597/stat : 15597 (java) S 15587 15589 15522 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 171958897 937500672 17855 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 281.23
Current children cumulated vsize (KiB) 915528
Child status: 0
Real time (s): 315.561
CPU time (s): 314.036
CPU user time (s): 313.829
CPU system time (s): 0.206968
CPU usage (%): 99.5169
Max. virtual memory (cumulated for all children) (KiB): 915528
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 313.829
system time used= 0.206968
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18149
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= 7910
involuntary context switches= 17834
runsolver used 0.372943 s user time and 1.03284 s system time
The end
Begin job on node14 on Mon Jan 8 05:54:00 UTC 2007
IDJOB= 215665
IDBENCH= 5019
FILE ID= node14/215665-1168235639
PBS_JOBID= 3481256
Free space on /tmp= 66338 MiB
BENCH NAME= HOME/pub/bench/CPAI06/pseudoSeries/mps/mps-neos16.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/215665-1168235639/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node14/watcher-215665-1168235639 -o ROOT/results/node14/solver-215665-1168235639 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/215665-1168235639/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 35e47a33c9b2dd33e1201c282fdf8c6b
RANDOM SEED= 773140386
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
/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.227
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.227
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: 1095280 kB
Buffers: 52540 kB
Cached: 138548 kB
SwapCached: 4208 kB
Active: 804640 kB
Inactive: 102772 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1095280 kB
SwapTotal: 4192956 kB
SwapFree: 4182236 kB
Dirty: 2068 kB
Writeback: 0 kB
Mapped: 733096 kB
Slab: 36812 kB
Committed_AS: 6234812 kB
PageTables: 3544 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= 66338 MiB
End job on node14 on Mon Jan 8 05:59:15 UTC 2007