0.29
0.29 Abscon 109 (November, 2006)
0.29
0.29 configuration
0.29 name=pfc.xml
0.32
0.32 instance
0.32 name=/tmp/evaluation/275118-1169217181/unknown.xml
0.35
0.35 domains being loaded...
0.35
0.35 variables being loaded...
0.38 nbVariables=10 nbDomainTypes=1 minDomainSize=45 maxDomainSize=45
0.38 => wckTime=0.092 cpuTime=0.09 mem=6M910
0.38
0.38 predicates being loaded...
0.39
0.39 constraints being loaded...
0.76 nbConstraints=915 nbConvertedConstraints=45 nbConvertConstraintsChecks=184275 nbExtensionStructures=1
0.76 nbSharedExtensionStructures=44 nbConflictsStructures=3 nbSharedConflictsStructures=282
0.76 nbUnbuiltConflictsStructures=3 nbSharedBinaryRepresentations=1 nbEvaluationManagers=5
0.76 nbSharedEvaluationManagers=865 maxDegree=333 maxArity=4
0.76 => wckTime=0.467 cpuTime=0.34 mem=11M851
0.80
0.80 solver LocalSearchSolver being built...
0.84 => wckTime=0.55 cpuTime=0.39 mem=5M940
0.85
0.85 s SATISFIABLE
0.85 o 891
0.85 c 24
0.86 o 898
0.86 c 17
0.87 o 902
0.87 c 13
0.90 o 904
0.90 c 11
0.90 o 906
0.90 c 9
0.92 o 907
0.92 c 8
1.01 o 909
1.01 c 6
1.68 o 911
1.68 c 4
2.19 o 912
2.19 c 3
8.23 o 913
8.24 c 2
38.40
38.40 search
38.40 run=0 nbConstraintChecks=101053231 nbAssignments=4798
38.40 => wckTime=37.556 cpuTime=37.36 mem=5M940
38.40
38.40 global
38.40 nbConstraintChecks=101053231 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
38.40 solvingWckTime=37.554 solvingCpuTime=37.36 expiredTime=no totalExploration=no nbFoundSolutions=0
38.40 globalCpuTime=37.8
38.40 => wckTime=38.106 cpuTime=37.75 mem=5M940
38.40
38.40 solver IterativeSystematicSolver being built...
38.59 => wckTime=38.3 cpuTime=37.91 mem=26M648
38.73
38.73 preprocessing
38.73 nbConstraintChecks=118150 nbValidityChecks=122769 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
38.73 nbRemovedValues=20 detectedInconsistency=no
38.73 => wckTime=0.132 cpuTime=0.1 mem=26M648
40.47
40.47 search
40.47 run=0 nbConstraintChecks=1665470 nbValidityChecks=5643064 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
40.47 nbAssignments=34 nbFailedAssignments=23 nbBacktracks=10 nbVisitedNodes=68 nbRestartNogoods=0
40.47 => wckTime=1.873 cpuTime=1.82 mem=27M640
41.59
41.59 search
41.59 run=1 nbConstraintChecks=2713742 nbValidityChecks=8521294 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
41.59 nbAssignments=85 nbFailedAssignments=56 nbBacktracks=25 nbVisitedNodes=167 nbRestartNogoods=6
41.59 => wckTime=2.995 cpuTime=2.92 mem=27M640
44.76
44.76 search
44.76 run=2 nbConstraintChecks=5728334 nbValidityChecks=18562069 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
44.76 nbAssignments=173 nbFailedAssignments=120 nbBacktracks=47 nbVisitedNodes=340 nbRestartNogoods=35
44.76 => wckTime=6.171 cpuTime=6.08 mem=27M640
46.10
46.10 search
46.10 run=3 nbConstraintChecks=6686646 nbValidityChecks=21877120 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
46.10 nbAssignments=307 nbFailedAssignments=218 nbBacktracks=80 nbVisitedNodes=605 nbRestartNogoods=43
46.10 => wckTime=7.508 cpuTime=7.41 mem=27M640
53.26
53.26 search
53.26 run=4 nbConstraintChecks=13602163 nbValidityChecks=43628226 nbPropagations=0 nbRevisions=0
53.26 nbUselessRevisions=0 nbAssignments=537 nbFailedAssignments=395 nbBacktracks=130 nbVisitedNodes=1061
53.26 nbRestartNogoods=58
53.26 => wckTime=14.669 cpuTime=14.54 mem=27M640
56.67
56.67 search
56.67 run=5 nbConstraintChecks=15745702 nbValidityChecks=51796835 nbPropagations=0 nbRevisions=0
56.67 nbUselessRevisions=0 nbAssignments=937 nbFailedAssignments=717 nbBacktracks=205 nbVisitedNodes=1853
56.67 nbRestartNogoods=69
56.67 => wckTime=18.081 cpuTime=17.93 mem=27M640
72.79
72.79 search
72.79 run=6 nbConstraintChecks=31732491 nbValidityChecks=98595828 nbPropagations=0 nbRevisions=0
72.79 nbUselessRevisions=0 nbAssignments=1426 nbFailedAssignments=1090 nbBacktracks=318 nbVisitedNodes=2826
72.79 nbRestartNogoods=91
72.79 => wckTime=34.193 cpuTime=33.95 mem=27M640
78.82
78.82 search
78.82 run=7 nbConstraintChecks=35414734 nbValidityChecks=112215326 nbPropagations=0 nbRevisions=0
78.82 nbUselessRevisions=0 nbAssignments=2251 nbFailedAssignments=1741 nbBacktracks=488 nbVisitedNodes=4470
78.82 nbRestartNogoods=108
78.82 => wckTime=40.226 cpuTime=39.94 mem=27M640
95.04
95.04 search
95.04 run=8 nbConstraintChecks=45859230 nbValidityChecks=150915735 nbPropagations=0 nbRevisions=0
95.04 nbUselessRevisions=0 nbAssignments=4134 nbFailedAssignments=3364 nbBacktracks=744 nbVisitedNodes=8232
95.04 nbRestartNogoods=124
95.04 => wckTime=56.446 cpuTime=56.1 mem=27M640
117.16
117.16 search
117.16 run=9 nbConstraintChecks=59661757 nbValidityChecks=206965063 nbPropagations=0 nbRevisions=0
117.16 nbUselessRevisions=0 nbAssignments=6956 nbFailedAssignments=5797 nbBacktracks=1128 nbVisitedNodes=13865
117.16 nbRestartNogoods=149
117.16 => wckTime=78.569 cpuTime=78.1 mem=27M640
147.30
147.30 search
147.30 run=10 nbConstraintChecks=77005575 nbValidityChecks=282163574 nbPropagations=0 nbRevisions=0
147.30 nbUselessRevisions=0 nbAssignments=11549 nbFailedAssignments=9810 nbBacktracks=1704 nbVisitedNodes=23045
147.30 nbRestartNogoods=198
147.30 => wckTime=108.703 cpuTime=108.11 mem=27M640
187.08
187.08 search
187.08 run=11 nbConstraintChecks=101130619 nbValidityChecks=376352329 nbPropagations=0 nbRevisions=0
187.08 nbUselessRevisions=0 nbAssignments=17301 nbFailedAssignments=14693 nbBacktracks=2568 nbVisitedNodes=34521
187.08 nbRestartNogoods=244
187.08 => wckTime=148.491 cpuTime=147.72 mem=27M640
236.93
236.93 search
236.93 run=12 nbConstraintChecks=131724289 nbValidityChecks=490668972 nbPropagations=0 nbRevisions=0
236.93 nbUselessRevisions=0 nbAssignments=24116 nbFailedAssignments=20208 nbBacktracks=3866 nbVisitedNodes=48080
236.93 nbRestartNogoods=268
236.93 => wckTime=198.339 cpuTime=197.34 mem=27M640
334.55
334.55 search
334.55 run=13 nbConstraintChecks=203265787 nbValidityChecks=737253548 nbPropagations=0 nbRevisions=0
334.55 nbUselessRevisions=0 nbAssignments=33353 nbFailedAssignments=27494 nbBacktracks=5813 nbVisitedNodes=66325
334.55 nbRestartNogoods=286
334.55 => wckTime=295.96 cpuTime=294.51 mem=27M640
448.89
448.89 search
448.89 run=14 nbConstraintChecks=286147684 nbValidityChecks=1022470797 nbPropagations=0 nbRevisions=0
448.89 nbUselessRevisions=0 nbAssignments=43889 nbFailedAssignments=35107 nbBacktracks=8732 nbVisitedNodes=86846
448.89 nbRestartNogoods=310
448.89 => wckTime=410.299 cpuTime=408.31 mem=27M640
712.16
712.16 search
712.16 run=15 nbConstraintChecks=527062914 nbValidityChecks=1751570859 nbPropagations=0 nbRevisions=0
712.16 nbUselessRevisions=0 nbAssignments=57319 nbFailedAssignments=44157 nbBacktracks=13110 nbVisitedNodes=112236
712.16 nbRestartNogoods=331
712.16 => wckTime=673.562 cpuTime=670.37 mem=27M640
1010.29
1010.29 search
1010.29 run=16 nbConstraintChecks=770533705 nbValidityChecks=2540373617 nbPropagations=0 nbRevisions=0
1010.29 nbUselessRevisions=0 nbAssignments=78432 nbFailedAssignments=58699 nbBacktracks=19678 nbVisitedNodes=152371
1010.29 nbRestartNogoods=345
1010.29 => wckTime=971.697 cpuTime=967.15 mem=27M640
1348.19
1348.19 search
1348.19 run=17 nbConstraintChecks=1043790273 nbValidityChecks=3452588948 nbPropagations=0 nbRevisions=0
1348.19 nbUselessRevisions=0 nbAssignments=102784 nbFailedAssignments=73194 nbBacktracks=29532 nbVisitedNodes=197583
1348.19 nbRestartNogoods=367
1348.19 => wckTime=1309.596 cpuTime=1303.5 mem=27M640
1779.26
1779.26 search
1779.26 run=18 nbConstraintChecks=1369735994 nbValidityChecks=4550885879 nbPropagations=0 nbRevisions=0
1779.26 nbUselessRevisions=0 nbAssignments=141855 nbFailedAssignments=97482 nbBacktracks=44310 nbVisitedNodes=270223
1779.26 nbRestartNogoods=383
1779.26 => wckTime=1740.664 cpuTime=1732.62 mem=27M640
2408.86 v 0 2 6 13 26 29 34 43 44 44
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node7/watcher-275118-1169217181 -o ROOT/results/node7/solver-275118-1169217181 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/275118-1169217181/unknown.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 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.99 1.97 1.88 4/87 11080
/proc/meminfo: memFree=1374616/2055920 swapFree=4192812/4192956
[pid=11079] ppid=11077 vsize=292 CPUtime=0
/proc/11079/stat : 11079 (java) R 11077 11079 10289 0 -1 0 229 0 0 0 0 0 0 0 18 0 1 0 270113552 299008 35 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 10416932 0 0 4096 0 0 0 0 17 0 0 0
/proc/11079/statm: 73 37 29 14 0 5 0
[startup+0.108228 s]
/proc/loadavg: 1.99 1.97 1.88 4/87 11080
/proc/meminfo: memFree=1374616/2055920 swapFree=4192812/4192956
[pid=11079] ppid=11077 vsize=914988 CPUtime=0.09
/proc/11079/stat : 11079 (java) R 11077 11079 10289 0 -1 0 3076 0 1 0 7 2 0 0 24 0 8 0 270113552 936947712 2822 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11079/statm: 228747 2823 1455 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.516271 s]
/proc/loadavg: 1.99 1.97 1.88 4/87 11080
/proc/meminfo: memFree=1374616/2055920 swapFree=4192812/4192956
[pid=11079] ppid=11077 vsize=915332 CPUtime=0.5
/proc/11079/stat : 11079 (java) R 11077 11079 10289 0 -1 0 6660 0 1 0 45 5 0 0 25 0 8 0 270113552 937299968 6399 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073554573 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11079/statm: 228833 6400 2147 14 0 215303 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 915332
[startup+1.34336 s]
/proc/loadavg: 1.99 1.97 1.88 3/94 11087
/proc/meminfo: memFree=1352736/2055920 swapFree=4192812/4192956
[pid=11079] ppid=11077 vsize=915452 CPUtime=1.32
/proc/11079/stat : 11079 (java) R 11077 11079 10289 0 -1 0 8164 0 1 0 122 10 0 0 25 0 8 0 270113552 937422848 7902 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073750711 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11079/statm: 228863 7902 2494 14 0 215333 0
[pid=11079/tid=11081] ppid=11077 vsize=915452 CPUtime=0.03
/proc/11079/task/11081/stat : 11081 (java) S 11077 11079 10289 0 -1 64 261 0 0 0 3 0 0 0 16 0 8 0 270113555 937422848 7902 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11079/tid=11082] ppid=11077 vsize=915452 CPUtime=0
/proc/11079/task/11082/stat : 11082 (java) S 11077 11079 10289 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270113556 937422848 7902 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11079/tid=11083] ppid=11077 vsize=915452 CPUtime=0
/proc/11079/task/11083/stat : 11083 (java) S 11077 11079 10289 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270113556 937422848 7902 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11079/tid=11084] ppid=11077 vsize=915452 CPUtime=0
/proc/11079/task/11084/stat : 11084 (java) S 11077 11079 10289 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 270113559 937422848 7902 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11079/tid=11085] ppid=11077 vsize=915452 CPUtime=0.17
/proc/11079/task/11085/stat : 11085 (java) S 11077 11079 10289 0 -1 64 370 0 0 0 16 1 0 0 16 0 8 0 270113559 937422848 7902 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11079/tid=11086] ppid=11077 vsize=915452 CPUtime=0
/proc/11079/task/11086/stat : 11086 (java) S 11077 11079 10289 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 270113559 937422848 7902 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11079/tid=11087] ppid=11077 vsize=915452 CPUtime=0
/proc/11079/task/11087/stat : 11087 (java) S 11077 11079 10289 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270113559 937422848 7902 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.32
Current children cumulated vsize (KiB) 915452
[startup+2.98153 s]
/proc/loadavg: 1.99 1.97 1.88 3/94 11087
/proc/meminfo: memFree=1352672/2055920 swapFree=4192812/4192956
[pid=11079] ppid=11077 vsize=915452 CPUtime=2.95
/proc/11079/stat : 11079 (java) R 11077 11079 10289 0 -1 0 8168 0 1 0 284 11 0 0 25 0 8 0 270113552 937422848 7905 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073742240 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11079/statm: 228863 7905 2496 14 0 215333 0
[pid=11079/tid=11081] ppid=11077 vsize=915452 CPUtime=0.03
/proc/11079/task/11081/stat : 11081 (java) S 11077 11079 10289 0 -1 64 261 0 0 0 3 0 0 0 16 0 8 0 270113555 937422848 7905 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11079/tid=11082] ppid=11077 vsize=915452 CPUtime=0
/proc/11079/task/11082/stat : 11082 (java) S 11077 11079 10289 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270113556 937422848 7905 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11079/tid=11083] ppid=11077 vsize=915452 CPUtime=0
/proc/11079/task/11083/stat : 11083 (java) S 11077 11079 10289 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270113556 937422848 7905 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11079/tid=11084] ppid=11077 vsize=915452 CPUtime=0
/proc/11079/task/11084/stat : 11084 (java) S 11077 11079 10289 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 270113559 937422848 7905 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11079/tid=11085] ppid=11077 vsize=915452 CPUtime=0.18
/proc/11079/task/11085/stat : 11085 (java) S 11077 11079 10289 0 -1 64 373 0 0 0 17 1 0 0 16 0 8 0 270113559 937422848 7905 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11079/tid=11086] ppid=11077 vsize=915452 CPUtime=0
/proc/11079/task/11086/stat : 11086 (java) S 11077 11079 10289 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 270113559 937422848 7905 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11079/tid=11087] ppid=11077 vsize=915452 CPUtime=0
/proc/11079/task/11087/stat : 11087 (java) S 11077 11079 10289 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270113559 937422848 7905 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 915452
[startup+6.26087 s]
/proc/loadavg: 1.99 1.97 1.88 3/94 11087
/proc/meminfo: memFree=1352608/2055920 swapFree=4192812/4192956
[pid=11079] ppid=11077 vsize=915452 CPUtime=6.22
/proc/11079/stat : 11079 (java) R 11077 11079 10289 0 -1 0 8169 0 1 0 609 13 0 0 25 0 8 0 270113552 937422848 7906 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073747493 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11079/statm: 228863 7906 2496 14 0 215333 0
[pid=11079/tid=11081] ppid=11077 vsize=915452 CPUtime=0.03
/proc/11079/task/11081/stat : 11081 (java) S 11077 11079 10289 0 -1 64 261 0 0 0 3 0 0 0 16 0 8 0 270113555 937422848 7906 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11079/tid=11082] ppid=11077 vsize=915452 CPUtime=0
/proc/11079/task/11082/stat : 11082 (java) S 11077 11079 10289 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270113556 937422848 7906 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11079/tid=11083] ppid=11077 vsize=915452 CPUtime=0
/proc/11079/task/11083/stat : 11083 (java) S 11077 11079 10289 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270113556 937422848 7906 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11079/tid=11084] ppid=11077 vsize=915452 CPUtime=0
/proc/11079/task/11084/stat : 11084 (java) S 11077 11079 10289 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 270113559 937422848 7906 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11079/tid=11085] ppid=11077 vsize=915452 CPUtime=0.18
/proc/11079/task/11085/stat : 11085 (java) S 11077 11079 10289 0 -1 64 374 0 0 0 17 1 0 0 16 0 8 0 270113559 937422848 7906 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11079/tid=11086] ppid=11077 vsize=915452 CPUtime=0
/proc/11079/task/11086/stat : 11086 (java) S 11077 11079 10289 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 270113559 937422848 7906 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11079/tid=11087] ppid=11077 vsize=915452 CPUtime=0
/proc/11079/task/11087/stat : 11087 (java) S 11077 11079 10289 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270113559 937422848 7906 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 915452
[startup+12.7495 s]
/proc/loadavg: 1.99 1.97 1.88 3/94 11087
/proc/meminfo: memFree=1352608/2055920 swapFree=4192812/4192956
[pid=11079] ppid=11077 vsize=915452 CPUtime=12.69
/proc/11079/stat : 11079 (java) R 11077 11079 10289 0 -1 0 8172 0 1 0 1252 17 0 0 25 0 8 0 270113552 937422848 7909 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073740240 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11079/statm: 228863 7909 2496 14 0 215333 0
[pid=11079/tid=11081] ppid=11077 vsize=915452 CPUtime=0.03
/proc/11079/task/11081/stat : 11081 (java) S 11077 11079 10289 0 -1 64 261 0 0 0 3 0 0 0 16 0 8 0 270113555 937422848 7909 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11079/tid=11082] ppid=11077 vsize=915452 CPUtime=0
/proc/11079/task/11082/stat : 11082 (java) S 11077 11079 10289 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270113556 937422848 7909 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11079/tid=11083] ppid=11077 vsize=915452 CPUtime=0
/proc/11079/task/11083/stat : 11083 (java) S 11077 11079 10289 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270113556 937422848 7909 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11079/tid=11084] ppid=11077 vsize=915452 CPUtime=0
/proc/11079/task/11084/stat : 11084 (java) S 11077 11079 10289 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 270113559 937422848 7909 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11079/tid=11085] ppid=11077 vsize=915452 CPUtime=0.18
/proc/11079/task/11085/stat : 11085 (java) S 11077 11079 10289 0 -1 64 377 0 0 0 17 1 0 0 15 0 8 0 270113559 937422848 7909 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11079/tid=11086] ppid=11077 vsize=915452 CPUtime=0
/proc/11079/task/11086/stat : 11086 (java) S 11077 11079 10289 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 270113559 937422848 7909 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11079/tid=11087] ppid=11077 vsize=915452 CPUtime=0
/proc/11079/task/11087/stat : 11087 (java) S 11077 11079 10289 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270113559 937422848 7909 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 915452
[startup+25.6069 s]
/proc/loadavg: 1.99 1.97 1.88 3/94 11087
/proc/meminfo: memFree=1352608/2055920 swapFree=4192812/4192956
[pid=11079] ppid=11077 vsize=915452 CPUtime=25.45
/proc/11079/stat : 11079 (java) R 11077 11079 10289 0 -1 0 8172 0 1 0 2522 23 0 0 25 0 8 0 270113552 937422848 7909 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073827895 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11079/statm: 228863 7909 2496 14 0 215333 0
[pid=11079/tid=11081] ppid=11077 vsize=915452 CPUtime=0.03
/proc/11079/task/11081/stat : 11081 (java) S 11077 11079 10289 0 -1 64 261 0 0 0 3 0 0 0 16 0 8 0 270113555 937422848 7909 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11079/tid=11082] ppid=11077 vsize=915452 CPUtime=0
/proc/11079/task/11082/stat : 11082 (java) S 11077 11079 10289 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270113556 937422848 7909 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11079/tid=11083] ppid=11077 vsize=915452 CPUtime=0
/proc/11079/task/11083/stat : 11083 (java) S 11077 11079 10289 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270113556 937422848 7909 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11079/tid=11084] ppid=11077 vsize=915452 CPUtime=0
/proc/11079/task/11084/stat : 11084 (java) S 11077 11079 10289 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 270113559 937422848 7909 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11079/tid=11085] ppid=11077 vsize=915452 CPUtime=0.18
/proc/11079/task/11085/stat : 11085 (java) S 11077 11079 10289 0 -1 64 377 0 0 0 17 1 0 0 15 0 8 0 270113559 937422848 7909 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11079/tid=11086] ppid=11077 vsize=915452 CPUtime=0
/proc/11079/task/11086/stat : 11086 (java) S 11077 11079 10289 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 270113559 937422848 7909 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11079/tid=11087] ppid=11077 vsize=915452 CPUtime=0
/proc/11079/task/11087/stat : 11087 (java) S 11077 11079 10289 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270113559 937422848 7909 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 915452
[startup+51.2186 s]
/proc/loadavg: 1.99 1.97 1.88 3/94 11087
/proc/meminfo: memFree=1338592/2055920 swapFree=4192812/4192956
[pid=11079] ppid=11077 vsize=915452 CPUtime=50.97
/proc/11079/stat : 11079 (java) R 11077 11079 10289 0 -1 0 11755 0 1 0 5064 33 0 0 25 0 8 0 270113552 937422848 11487 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073743971 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11079/statm: 228863 11487 2546 14 0 215333 0
[pid=11079/tid=11081] ppid=11077 vsize=915452 CPUtime=0.03
/proc/11079/task/11081/stat : 11081 (java) S 11077 11079 10289 0 -1 64 262 0 0 0 3 0 0 0 16 0 8 0 270113555 937422848 11487 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11079/tid=11082] ppid=11077 vsize=915452 CPUtime=0
/proc/11079/task/11082/stat : 11082 (java) S 11077 11079 10289 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270113556 937422848 11487 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11079/tid=11083] ppid=11077 vsize=915452 CPUtime=0
/proc/11079/task/11083/stat : 11083 (java) S 11077 11079 10289 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270113556 937422848 11487 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11079/tid=11084] ppid=11077 vsize=915452 CPUtime=0
/proc/11079/task/11084/stat : 11084 (java) S 11077 11079 10289 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 270113559 937422848 11487 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11079/tid=11085] ppid=11077 vsize=915452 CPUtime=0.28
/proc/11079/task/11085/stat : 11085 (java) S 11077 11079 10289 0 -1 64 438 0 0 0 27 1 0 0 15 0 8 0 270113559 937422848 11487 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11079/tid=11086] ppid=11077 vsize=915452 CPUtime=0
/proc/11079/task/11086/stat : 11086 (java) S 11077 11079 10289 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 270113559 937422848 11487 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11079/tid=11087] ppid=11077 vsize=915452 CPUtime=0
/proc/11079/task/11087/stat : 11087 (java) S 11077 11079 10289 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270113559 937422848 11487 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.97
Current children cumulated vsize (KiB) 915452
[startup+102.433 s]
/proc/loadavg: 2.06 1.99 1.89 3/94 11087
/proc/meminfo: memFree=1338528/2055920 swapFree=4192812/4192956
[pid=11079] ppid=11077 vsize=915452 CPUtime=101.95
/proc/11079/stat : 11079 (java) R 11077 11079 10289 0 -1 0 11782 0 1 0 10162 33 0 0 25 0 8 0 270113552 937422848 11511 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073986984 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11079/statm: 228863 11511 2546 14 0 215333 0
[pid=11079/tid=11081] ppid=11077 vsize=915452 CPUtime=0.03
/proc/11079/task/11081/stat : 11081 (java) S 11077 11079 10289 0 -1 64 262 0 0 0 3 0 0 0 16 0 8 0 270113555 937422848 11511 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11079/tid=11082] ppid=11077 vsize=915452 CPUtime=0
/proc/11079/task/11082/stat : 11082 (java) S 11077 11079 10289 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270113556 937422848 11511 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11079/tid=11083] ppid=11077 vsize=915452 CPUtime=0
/proc/11079/task/11083/stat : 11083 (java) S 11077 11079 10289 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270113556 937422848 11511 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11079/tid=11084] ppid=11077 vsize=915452 CPUtime=0
/proc/11079/task/11084/stat : 11084 (java) S 11077 11079 10289 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 270113559 937422848 11511 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11079/tid=11085] ppid=11077 vsize=915452 CPUtime=0.31
/proc/11079/task/11085/stat : 11085 (java) S 11077 11079 10289 0 -1 64 452 0 0 0 30 1 0 0 16 0 8 0 270113559 937422848 11511 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11079/tid=11086] ppid=11077 vsize=915452 CPUtime=0
/proc/11079/task/11086/stat : 11086 (java) S 11077 11079 10289 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 270113559 937422848 11511 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11079/tid=11087] ppid=11077 vsize=915452 CPUtime=0
/proc/11079/task/11087/stat : 11087 (java) S 11077 11079 10289 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270113559 937422848 11511 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.95
Current children cumulated vsize (KiB) 915452
[startup+162.499 s]
/proc/loadavg: 2.02 1.99 1.90 3/94 11087
/proc/meminfo: memFree=1338464/2055920 swapFree=4192812/4192956
[pid=11079] ppid=11077 vsize=915452 CPUtime=161.73
/proc/11079/stat : 11079 (java) R 11077 11079 10289 0 -1 0 11793 0 1 0 16139 34 0 0 25 0 8 0 270113552 937422848 11520 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073969596 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 2016.11
Current children cumulated vsize (KiB) 915452
[startup+2084.57 s]
/proc/loadavg: 2.02 2.01 1.96 3/101 11367
/proc/meminfo: memFree=799784/2055920 swapFree=4192812/4192956
[pid=11079] ppid=11077 vsize=915452 CPUtime=2076.13
/proc/11079/stat : 11079 (java) R 11077 11079 10289 0 -1 0 11816 0 1 0 207555 58 0 0 25 0 8 0 270113552 937422848 11541 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074068632 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11079/statm: 228863 11541 2546 14 0 215333 0
[pid=11079/tid=11081] ppid=11077 vsize=915452 CPUtime=0.03
/proc/11079/task/11081/stat : 11081 (java) S 11077 11079 10289 0 -1 64 262 0 0 0 3 0 0 0 16 0 8 0 270113555 937422848 11541 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11079/tid=11082] ppid=11077 vsize=915452 CPUtime=0
/proc/11079/task/11082/stat : 11082 (java) S 11077 11079 10289 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270113556 937422848 11541 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11079/tid=11083] ppid=11077 vsize=915452 CPUtime=0
/proc/11079/task/11083/stat : 11083 (java) S 11077 11079 10289 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270113556 937422848 11541 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11079/tid=11084] ppid=11077 vsize=915452 CPUtime=0
/proc/11079/task/11084/stat : 11084 (java) S 11077 11079 10289 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 270113559 937422848 11541 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11079/tid=11085] ppid=11077 vsize=915452 CPUtime=0.32
/proc/11079/task/11085/stat : 11085 (java) S 11077 11079 10289 0 -1 64 455 0 0 0 30 2 0 0 16 0 8 0 270113559 937422848 11541 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11079/tid=11086] ppid=11077 vsize=915452 CPUtime=0
/proc/11079/task/11086/stat : 11086 (java) S 11077 11079 10289 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 270113559 937422848 11541 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11079/tid=11087] ppid=11077 vsize=915452 CPUtime=0
/proc/11079/task/11087/stat : 11087 (java) S 11077 11079 10289 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270113559 937422848 11541 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2076.13
Current children cumulated vsize (KiB) 915452
[startup+2144.64 s]
/proc/loadavg: 2.01 2.01 1.96 3/101 11367
/proc/meminfo: memFree=799784/2055920 swapFree=4192812/4192956
[pid=11079] ppid=11077 vsize=915452 CPUtime=2136.11
/proc/11079/stat : 11079 (java) R 11077 11079 10289 0 -1 0 11816 0 1 0 213553 58 0 0 25 0 8 0 270113552 937422848 11541 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074067663 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11079/statm: 228863 11541 2546 14 0 215333 0
[pid=11079/tid=11081] ppid=11077 vsize=915452 CPUtime=0.03
/proc/11079/task/11081/stat : 11081 (java) S 11077 11079 10289 0 -1 64 262 0 0 0 3 0 0 0 16 0 8 0 270113555 937422848 11541 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11079/tid=11082] ppid=11077 vsize=915452 CPUtime=0
/proc/11079/task/11082/stat : 11082 (java) S 11077 11079 10289 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270113556 937422848 11541 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11079/tid=11083] ppid=11077 vsize=915452 CPUtime=0
/proc/11079/task/11083/stat : 11083 (java) S 11077 11079 10289 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270113556 937422848 11541 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11079/tid=11084] ppid=11077 vsize=915452 CPUtime=0
/proc/11079/task/11084/stat : 11084 (java) S 11077 11079 10289 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 270113559 937422848 11541 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11079/tid=11085] ppid=11077 vsize=915452 CPUtime=0.32
/proc/11079/task/11085/stat : 11085 (java) S 11077 11079 10289 0 -1 64 455 0 0 0 30 2 0 0 16 0 8 0 270113559 937422848 11541 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11079/tid=11086] ppid=11077 vsize=915452 CPUtime=0
/proc/11079/task/11086/stat : 11086 (java) S 11077 11079 10289 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 270113559 937422848 11541 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11079/tid=11087] ppid=11077 vsize=915452 CPUtime=0
/proc/11079/task/11087/stat : 11087 (java) S 11077 11079 10289 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270113559 937422848 11541 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2136.11
Current children cumulated vsize (KiB) 915452
[startup+2204.7 s]
/proc/loadavg: 2.00 2.00 1.96 3/101 11367
/proc/meminfo: memFree=799720/2055920 swapFree=4192812/4192956
[pid=11079] ppid=11077 vsize=915452 CPUtime=2196.13
/proc/11079/stat : 11079 (java) R 11077 11079 10289 0 -1 0 11816 0 1 0 219554 59 0 0 25 0 8 0 270113552 937422848 11541 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074068448 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11079/statm: 228863 11541 2546 14 0 215333 0
[pid=11079/tid=11081] ppid=11077 vsize=915452 CPUtime=0.03
/proc/11079/task/11081/stat : 11081 (java) S 11077 11079 10289 0 -1 64 262 0 0 0 3 0 0 0 16 0 8 0 270113555 937422848 11541 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11079/tid=11082] ppid=11077 vsize=915452 CPUtime=0
/proc/11079/task/11082/stat : 11082 (java) S 11077 11079 10289 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270113556 937422848 11541 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11079/tid=11083] ppid=11077 vsize=915452 CPUtime=0
/proc/11079/task/11083/stat : 11083 (java) S 11077 11079 10289 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270113556 937422848 11541 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11079/tid=11084] ppid=11077 vsize=915452 CPUtime=0
/proc/11079/task/11084/stat : 11084 (java) S 11077 11079 10289 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 270113559 937422848 11541 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11079/tid=11085] ppid=11077 vsize=915452 CPUtime=0.32
/proc/11079/task/11085/stat : 11085 (java) S 11077 11079 10289 0 -1 64 455 0 0 0 30 2 0 0 16 0 8 0 270113559 937422848 11541 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11079/tid=11086] ppid=11077 vsize=915452 CPUtime=0
/proc/11079/task/11086/stat : 11086 (java) S 11077 11079 10289 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 270113559 937422848 11541 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11079/tid=11087] ppid=11077 vsize=915452 CPUtime=0
/proc/11079/task/11087/stat : 11087 (java) S 11077 11079 10289 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270113559 937422848 11541 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2196.13
Current children cumulated vsize (KiB) 915452
[startup+2264.76 s]
/proc/loadavg: 2.00 2.00 1.96 3/101 11367
/proc/meminfo: memFree=799528/2055920 swapFree=4192812/4192956
[pid=11079] ppid=11077 vsize=915452 CPUtime=2256.15
/proc/11079/stat : 11079 (java) R 11077 11079 10289 0 -1 0 11816 0 1 0 225556 59 0 0 25 0 8 0 270113552 937422848 11541 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073910016 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11079/statm: 228863 11541 2546 14 0 215333 0
[pid=11079/tid=11081] ppid=11077 vsize=915452 CPUtime=0.03
/proc/11079/task/11081/stat : 11081 (java) S 11077 11079 10289 0 -1 64 262 0 0 0 3 0 0 0 16 0 8 0 270113555 937422848 11541 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11079/tid=11082] ppid=11077 vsize=915452 CPUtime=0
/proc/11079/task/11082/stat : 11082 (java) S 11077 11079 10289 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270113556 937422848 11541 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11079/tid=11083] ppid=11077 vsize=915452 CPUtime=0
/proc/11079/task/11083/stat : 11083 (java) S 11077 11079 10289 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270113556 937422848 11541 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11079/tid=11084] ppid=11077 vsize=915452 CPUtime=0
/proc/11079/task/11084/stat : 11084 (java) S 11077 11079 10289 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 270113559 937422848 11541 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11079/tid=11085] ppid=11077 vsize=915452 CPUtime=0.32
/proc/11079/task/11085/stat : 11085 (java) S 11077 11079 10289 0 -1 64 455 0 0 0 30 2 0 0 16 0 8 0 270113559 937422848 11541 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11079/tid=11086] ppid=11077 vsize=915452 CPUtime=0
/proc/11079/task/11086/stat : 11086 (java) S 11077 11079 10289 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 270113559 937422848 11541 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11079/tid=11087] ppid=11077 vsize=915452 CPUtime=0
/proc/11079/task/11087/stat : 11087 (java) S 11077 11079 10289 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270113559 937422848 11541 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2256.15
Current children cumulated vsize (KiB) 915452
[startup+2324.83 s]
/proc/loadavg: 2.06 2.02 1.96 3/101 11367
/proc/meminfo: memFree=799464/2055920 swapFree=4192812/4192956
[pid=11079] ppid=11077 vsize=915452 CPUtime=2316.13
/proc/11079/stat : 11079 (java) R 11077 11079 10289 0 -1 0 11816 0 1 0 231554 59 0 0 25 0 8 0 270113552 937422848 11541 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073966532 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11079/statm: 228863 11541 2546 14 0 215333 0
[pid=11079/tid=11081] ppid=11077 vsize=915452 CPUtime=0.03
/proc/11079/task/11081/stat : 11081 (java) S 11077 11079 10289 0 -1 64 262 0 0 0 3 0 0 0 16 0 8 0 270113555 937422848 11541 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11079/tid=11082] ppid=11077 vsize=915452 CPUtime=0
/proc/11079/task/11082/stat : 11082 (java) S 11077 11079 10289 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270113556 937422848 11541 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11079/tid=11083] ppid=11077 vsize=915452 CPUtime=0
/proc/11079/task/11083/stat : 11083 (java) S 11077 11079 10289 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270113556 937422848 11541 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11079/tid=11084] ppid=11077 vsize=915452 CPUtime=0
/proc/11079/task/11084/stat : 11084 (java) S 11077 11079 10289 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 270113559 937422848 11541 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11079/tid=11085] ppid=11077 vsize=915452 CPUtime=0.32
/proc/11079/task/11085/stat : 11085 (java) S 11077 11079 10289 0 -1 64 455 0 0 0 30 2 0 0 16 0 8 0 270113559 937422848 11541 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11079/tid=11086] ppid=11077 vsize=915452 CPUtime=0
/proc/11079/task/11086/stat : 11086 (java) S 11077 11079 10289 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 270113559 937422848 11541 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11079/tid=11087] ppid=11077 vsize=915452 CPUtime=0
/proc/11079/task/11087/stat : 11087 (java) S 11077 11079 10289 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270113559 937422848 11541 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2316.13
Current children cumulated vsize (KiB) 915452
[startup+2384.89 s]
/proc/loadavg: 2.02 2.01 1.96 3/101 11367
/proc/meminfo: memFree=799336/2055920 swapFree=4192812/4192956
[pid=11079] ppid=11077 vsize=915452 CPUtime=2376.14
/proc/11079/stat : 11079 (java) R 11077 11079 10289 0 -1 0 11816 0 1 0 237555 59 0 0 25 0 8 0 270113552 937422848 11541 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073747531 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11079/statm: 228863 11541 2546 14 0 215333 0
[pid=11079/tid=11081] ppid=11077 vsize=915452 CPUtime=0.03
/proc/11079/task/11081/stat : 11081 (java) S 11077 11079 10289 0 -1 64 262 0 0 0 3 0 0 0 16 0 8 0 270113555 937422848 11541 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11079/tid=11082] ppid=11077 vsize=915452 CPUtime=0
/proc/11079/task/11082/stat : 11082 (java) S 11077 11079 10289 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270113556 937422848 11541 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11079/tid=11083] ppid=11077 vsize=915452 CPUtime=0
/proc/11079/task/11083/stat : 11083 (java) S 11077 11079 10289 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270113556 937422848 11541 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11079/tid=11084] ppid=11077 vsize=915452 CPUtime=0
/proc/11079/task/11084/stat : 11084 (java) S 11077 11079 10289 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 270113559 937422848 11541 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11079/tid=11085] ppid=11077 vsize=915452 CPUtime=0.32
/proc/11079/task/11085/stat : 11085 (java) S 11077 11079 10289 0 -1 64 455 0 0 0 30 2 0 0 16 0 8 0 270113559 937422848 11541 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11079/tid=11086] ppid=11077 vsize=915452 CPUtime=0
/proc/11079/task/11086/stat : 11086 (java) S 11077 11079 10289 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 270113559 937422848 11541 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11079/tid=11087] ppid=11077 vsize=915452 CPUtime=0
/proc/11079/task/11087/stat : 11087 (java) S 11077 11079 10289 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270113559 937422848 11541 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2376.14
Current children cumulated vsize (KiB) 915452
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2408.86 s]
/proc/loadavg: 2.01 2.01 1.96 3/101 11367
/proc/meminfo: memFree=799336/2055920 swapFree=4192812/4192956
[pid=11079] ppid=11077 vsize=915452 CPUtime=2400.08
/proc/11079/stat : 11079 (java) R 11077 11079 10289 0 -1 0 11816 0 1 0 239949 59 0 0 25 0 8 0 270113552 937422848 11541 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073742240 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11079/statm: 228863 11541 2546 14 0 215333 0
[pid=11079/tid=11081] ppid=11077 vsize=915452 CPUtime=0.03
/proc/11079/task/11081/stat : 11081 (java) S 11077 11079 10289 0 -1 64 262 0 0 0 3 0 0 0 16 0 8 0 270113555 937422848 11541 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11079/tid=11082] ppid=11077 vsize=915452 CPUtime=0
/proc/11079/task/11082/stat : 11082 (java) S 11077 11079 10289 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270113556 937422848 11541 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11079/tid=11083] ppid=11077 vsize=915452 CPUtime=0
/proc/11079/task/11083/stat : 11083 (java) S 11077 11079 10289 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270113556 937422848 11541 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11079/tid=11084] ppid=11077 vsize=915452 CPUtime=0
/proc/11079/task/11084/stat : 11084 (java) S 11077 11079 10289 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 270113559 937422848 11541 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11079/tid=11085] ppid=11077 vsize=915452 CPUtime=0.32
/proc/11079/task/11085/stat : 11085 (java) S 11077 11079 10289 0 -1 64 455 0 0 0 30 2 0 0 16 0 8 0 270113559 937422848 11541 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11079/tid=11086] ppid=11077 vsize=915452 CPUtime=0
/proc/11079/task/11086/stat : 11086 (java) S 11077 11079 10289 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 270113559 937422848 11541 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11079/tid=11087] ppid=11077 vsize=915452 CPUtime=0
/proc/11079/task/11087/stat : 11087 (java) S 11077 11079 10289 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270113559 937422848 11541 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2400.08
Current children cumulated vsize (KiB) 915452
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 2408.92
CPU time (s): 2400.15
CPU user time (s): 2399.55
CPU system time (s): 0.603908
CPU usage (%): 99.6359
Max. virtual memory (cumulated for all children) (KiB): 915456
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.55
system time used= 0.603908
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11842
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= 50104
involuntary context switches= 96779
runsolver used 3.23251 s user time and 7.52785 s system time
The end
Begin job on node7 on Fri Jan 19 14:33:01 UTC 2007
IDJOB= 275118
IDBENCH= 3531
IDSOLVER= 69
FILE ID= node7/275118-1169217181
PBS_JOBID= 3588925
Free space on /tmp= 66561 MiB
SOLVER NAME= AbsconMax 109 PFC
BENCH NAME= HOME/pub/bench/CPAI06/golombRuler/golombRulerArity4/ruler-44-10-a4.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/275118-1169217181/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node7/watcher-275118-1169217181 -o ROOT/results/node7/solver-275118-1169217181 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/275118-1169217181/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 5a77c82d4a1b3da080370c15439dcb29
RANDOM SEED= 629095487
TIME LIMIT= 2400 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.220
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.220
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1375096 kB
Buffers: 51144 kB
Cached: 486396 kB
SwapCached: 0 kB
Active: 179420 kB
Inactive: 420272 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1375096 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 1780 kB
Writeback: 0 kB
Mapped: 83172 kB
Slab: 65884 kB
Committed_AS: 7762136 kB
PageTables: 2380 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= 66558 MiB
End job on node7 on Fri Jan 19 15:13:10 UTC 2007