0.30
0.30 Abscon 109 (November, 2006)
0.30
0.30 configuration
0.30 name=pfc.xml
0.34
0.34 instance
0.34 name=/tmp/evaluation/277535-1169268471/unknown.xml
0.37
0.37 domains being loaded...
0.37
0.37 variables being loaded...
0.41 nbVariables=60 nbDomainTypes=1 minDomainSize=2 maxDomainSize=2
0.41 => wckTime=0.1 cpuTime=0.08 mem=6M910
0.41
0.41 relations being loaded...
0.41
0.41 constraints being loaded...
0.44 nbConstraints=40 nbRelationTypes=2 nbExtensionStructures=2 nbSharedExtensionStructures=38
0.44 nbConflictsStructures=2 nbSharedConflictsStructures=38 nbSharedBinaryRepresentations=0 maxDegree=2 maxArity=3
0.44 => wckTime=0.137 cpuTime=0.11 mem=6M910
0.48
0.48 solver LocalSearchSolver being built...
0.52 => wckTime=0.214 cpuTime=0.15 mem=5M379
0.52
0.52 s SATISFIABLE
0.52 o 17
0.52 c 23
0.52 o 19
0.52 c 21
0.52 o 21
0.52 c 19
0.52 o 23
0.52 c 17
0.53 o 25
0.53 c 15
0.53 o 27
0.53 c 13
0.53 o 29
0.53 c 11
0.53 o 31
0.53 c 9
0.53 o 33
0.53 c 7
0.53 o 35
0.53 c 5
0.53 o 37
0.53 c 3
0.54 o 39
0.54 c 1
0.54
0.54 search
0.54 run=0 nbConstraintChecks=1075 nbAssignments=44
0.54 => wckTime=0.024 cpuTime=0.02 mem=5M379
0.54
0.54 global
0.54 nbConstraintChecks=1075 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
0.54 solvingWckTime=0.023 solvingCpuTime=0.02 expiredTime=no totalExploration=no nbFoundSolutions=0
0.54 globalCpuTime=0.22
0.54 => wckTime=0.238 cpuTime=0.17 mem=5M379
0.54
0.55 solver IterativeSystematicSolver being built...
0.70 => wckTime=0.393 cpuTime=0.29 mem=17M262
0.70
0.70 preprocessing
0.70 nbConstraintChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
0.70 detectedInconsistency=no
0.70 => wckTime=0.0020 cpuTime=0.0 mem=17M262
0.75
0.75 search
0.75 run=0 nbConstraintChecks=249 nbValidityChecks=3749 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
0.75 nbAssignments=48 nbFailedAssignments=5 nbBacktracks=11 nbVisitedNodes=58 nbRestartNogoods=0
0.75 => wckTime=0.05 cpuTime=0.02 mem=17M262
0.77
0.77 search
0.77 run=1 nbConstraintChecks=416 nbValidityChecks=7569 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
0.77 nbAssignments=94 nbFailedAssignments=12 nbBacktracks=26 nbVisitedNodes=112 nbRestartNogoods=5
0.77 => wckTime=0.067 cpuTime=0.03 mem=17M262
0.77
0.77 search
0.78 run=2 nbConstraintChecks=599 nbValidityChecks=12040 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
0.78 nbAssignments=150 nbFailedAssignments=19 nbBacktracks=48 nbVisitedNodes=178 nbRestartNogoods=7
0.78 => wckTime=0.076 cpuTime=0.04 mem=17M262
0.79
0.79 search
0.79 run=3 nbConstraintChecks=870 nbValidityChecks=18307 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
0.79 nbAssignments=229 nbFailedAssignments=30 nbBacktracks=89 nbVisitedNodes=279 nbRestartNogoods=9
0.79 => wckTime=0.091 cpuTime=0.05 mem=17M262
0.81
0.81 search
0.81 run=4 nbConstraintChecks=1261 nbValidityChecks=27190 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
0.81 nbAssignments=316 nbFailedAssignments=46 nbBacktracks=139 nbVisitedNodes=390 nbRestartNogoods=13
0.81 => wckTime=0.106 cpuTime=0.06 mem=17M262
0.82
0.82 search
0.82 run=5 nbConstraintChecks=1946 nbValidityChecks=37938 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
0.82 nbAssignments=454 nbFailedAssignments=74 nbBacktracks=219 nbVisitedNodes=563 nbRestartNogoods=14
0.82 => wckTime=0.125 cpuTime=0.08 mem=17M262
0.85
0.85 search
0.85 run=6 nbConstraintChecks=2664 nbValidityChecks=54518 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
0.85 nbAssignments=628 nbFailedAssignments=101 nbBacktracks=337 nbVisitedNodes=772 nbRestartNogoods=17
0.85 => wckTime=0.151 cpuTime=0.1 mem=17M262
0.88
0.88 search
0.88 run=7 nbConstraintChecks=4184 nbValidityChecks=75755 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
0.88 nbAssignments=871 nbFailedAssignments=142 nbBacktracks=514 nbVisitedNodes=1083 nbRestartNogoods=19
0.88 => wckTime=0.181 cpuTime=0.13 mem=17M262
0.92
0.92 search
0.92 run=8 nbConstraintChecks=5959 nbValidityChecks=105270 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
0.92 nbAssignments=1197 nbFailedAssignments=184 nbBacktracks=777 nbVisitedNodes=1468 nbRestartNogoods=22
0.92 => wckTime=0.218 cpuTime=0.16 mem=17M262
0.98
0.98 search
0.98 run=9 nbConstraintChecks=8619 nbValidityChecks=148082 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
0.98 nbAssignments=1681 nbFailedAssignments=263 nbBacktracks=1164 nbVisitedNodes=2069 nbRestartNogoods=25
0.98 => wckTime=0.279 cpuTime=0.2 mem=17M262
1.05
1.05 search
1.05 run=10 nbConstraintChecks=12661 nbValidityChecks=212309 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
1.05 nbAssignments=2435 nbFailedAssignments=410 nbBacktracks=1741 nbVisitedNodes=3037 nbRestartNogoods=27
1.05 => wckTime=0.35 cpuTime=0.26 mem=17M262
1.14
1.14 search
1.14 run=11 nbConstraintChecks=17250 nbValidityChecks=304905 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
1.14 nbAssignments=3507 nbFailedAssignments=588 nbBacktracks=2610 nbVisitedNodes=4359 nbRestartNogoods=32
1.14 => wckTime=0.437 cpuTime=0.34 mem=17M262
1.27
1.27 search
1.27 run=12 nbConstraintChecks=31096 nbValidityChecks=467773 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
1.27 nbAssignments=5172 nbFailedAssignments=923 nbBacktracks=3908 nbVisitedNodes=6454 nbRestartNogoods=37
1.27 => wckTime=0.57 cpuTime=0.48 mem=17M262
1.44
1.44 search
1.44 run=13 nbConstraintChecks=48882 nbValidityChecks=669530 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
1.44 nbAssignments=7534 nbFailedAssignments=1303 nbBacktracks=5860 nbVisitedNodes=9349 nbRestartNogoods=44
1.44 => wckTime=0.738 cpuTime=0.64 mem=17M262
1.67
1.67 search
1.67 run=14 nbConstraintChecks=85430 nbValidityChecks=945896 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
1.67 nbAssignments=11120 nbFailedAssignments=1938 nbBacktracks=8782 nbVisitedNodes=13824 nbRestartNogoods=49
1.67 => wckTime=0.975 cpuTime=0.88 mem=17M262
2.00
2.00 search
2.00 run=15 nbConstraintChecks=156624 nbValidityChecks=1320631 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
2.00 nbAssignments=16397 nbFailedAssignments=2808 nbBacktracks=13173 nbVisitedNodes=20200 nbRestartNogoods=57
2.00 => wckTime=1.297 cpuTime=1.2 mem=17M262
2.49
2.49 search
2.49 run=16 nbConstraintChecks=288380 nbValidityChecks=1876050 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
2.49 nbAssignments=24403 nbFailedAssignments=4208 nbBacktracks=19753 nbVisitedNodes=30001 nbRestartNogoods=59
2.49 => wckTime=1.795 cpuTime=1.69 mem=17M262
3.24
3.24 search
3.24 run=17 nbConstraintChecks=452312 nbValidityChecks=2775807 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
3.24 nbAssignments=35879 nbFailedAssignments=5793 nbBacktracks=29613 nbVisitedNodes=43534 nbRestartNogoods=64
3.24 => wckTime=2.538 cpuTime=2.43 mem=17M262
4.21
4.21 search
4.21 run=18 nbConstraintChecks=730576 nbValidityChecks=3949771 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
4.21 nbAssignments=52839 nbFailedAssignments=7933 nbBacktracks=44394 nbVisitedNodes=63048 nbRestartNogoods=68
4.21 => wckTime=3.512 cpuTime=3.4 mem=17M262
5.54
5.54 search
5.54 run=19 nbConstraintChecks=1289781 nbValidityChecks=5466165 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
5.54 nbAssignments=78162 nbFailedAssignments=11069 nbBacktracks=66571 nbVisitedNodes=92350 nbRestartNogoods=76
5.54 => wckTime=4.843 cpuTime=4.73 mem=17M262
7.38
7.38 search
7.38 run=20 nbConstraintChecks=2226371 nbValidityChecks=7426797 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
7.38 nbAssignments=116577 nbFailedAssignments=16193 nbBacktracks=99830 nbVisitedNodes=137307 nbRestartNogoods=77
7.38 => wckTime=6.678 cpuTime=6.55 mem=17M262
10.38
10.38 search
10.38 run=21 nbConstraintChecks=3437473 nbValidityChecks=11050112 nbPropagations=0 nbRevisions=0
10.39 nbUselessRevisions=0 nbAssignments=172970 nbFailedAssignments=22667 nbBacktracks=149720 nbVisitedNodes=201269
10.39 nbRestartNogoods=84
10.39 => wckTime=9.685 cpuTime=9.54 mem=17M262
14.92
14.92 search
14.92 run=22 nbConstraintChecks=5460631 nbValidityChecks=16673991 nbPropagations=0 nbRevisions=0
14.92 nbUselessRevisions=0 nbAssignments=257130 nbFailedAssignments=31961 nbBacktracks=224553 nbVisitedNodes=296648
14.92 nbRestartNogoods=90
14.92 => wckTime=14.225 cpuTime=14.06 mem=17M262
21.46
21.46 search
21.46 run=23 nbConstraintChecks=8596346 nbValidityChecks=24920983 nbPropagations=0 nbRevisions=0
21.46 nbUselessRevisions=0 nbAssignments=383305 nbFailedAssignments=45859 nbBacktracks=336787 nbVisitedNodes=439073
21.46 nbRestartNogoods=97
21.46 => wckTime=20.764 cpuTime=20.58 mem=17M262
30.84
30.85 search
30.85 run=24 nbConstraintChecks=13450803 nbValidityChecks=36483555 nbPropagations=0 nbRevisions=0
30.85 nbUselessRevisions=0 nbAssignments=571876 nbFailedAssignments=66044 nbBacktracks=505138 nbVisitedNodes=650219
30.85 nbRestartNogoods=103
30.85 => wckTime=30.146 cpuTime=29.92 mem=17M262
44.22
44.22 search
44.22 run=25 nbConstraintChecks=21837140 nbValidityChecks=52414913 nbPropagations=0 nbRevisions=0
44.22 nbUselessRevisions=0 nbAssignments=855936 nbFailedAssignments=97553 nbBacktracks=757651 nbVisitedNodes=971443
44.22 nbRestartNogoods=110
44.22 => wckTime=43.52 cpuTime=43.23 mem=17M262
64.04
64.04 search
64.04 run=26 nbConstraintChecks=34190271 nbValidityChecks=76004341 nbPropagations=0 nbRevisions=0
64.04 nbUselessRevisions=0 nbAssignments=1281291 nbFailedAssignments=144096 nbBacktracks=1136428
64.04 nbVisitedNodes=1450849 nbRestartNogoods=118
64.04 => wckTime=63.342 cpuTime=62.97 mem=17M262
93.78
93.78 search
93.78 run=27 nbConstraintChecks=53280335 nbValidityChecks=110987277 nbPropagations=0 nbRevisions=0
93.78 nbUselessRevisions=0 nbAssignments=1921586 nbFailedAssignments=216190 nbBacktracks=1704581
93.78 nbVisitedNodes=2176373 nbRestartNogoods=124
93.78 => wckTime=93.08 cpuTime=92.58 mem=17M262
140.40
140.40 search
140.40 run=28 nbConstraintChecks=80170761 nbValidityChecks=168166840 nbPropagations=0 nbRevisions=0
140.40 nbUselessRevisions=0 nbAssignments=2877051 nbFailedAssignments=319392 nbBacktracks=2556811
140.40 nbVisitedNodes=3253477 nbRestartNogoods=132
140.40 => wckTime=139.702 cpuTime=139.01 mem=17M262
209.63
209.63 search
209.63 run=29 nbConstraintChecks=119540054 nbValidityChecks=253992940 nbPropagations=0 nbRevisions=0
209.63 nbUselessRevisions=0 nbAssignments=4300923 nbFailedAssignments=464893 nbBacktracks=3835152
209.63 nbVisitedNodes=4846694 nbRestartNogoods=138
209.63 => wckTime=208.935 cpuTime=207.96 mem=17M262
315.86
315.86 search
315.86 run=30 nbConstraintChecks=176917475 nbValidityChecks=388476233 nbPropagations=0 nbRevisions=0
315.86 nbUselessRevisions=0 nbAssignments=6438265 nbFailedAssignments=684682 nbBacktracks=5752664
315.86 nbVisitedNodes=7233075 nbRestartNogoods=146
315.86 => wckTime=315.157 cpuTime=313.73 mem=17M262
477.26
477.26 search
477.26 run=31 nbConstraintChecks=260535958 nbValidityChecks=594567732 nbPropagations=0 nbRevisions=0
477.26 nbUselessRevisions=0 nbAssignments=9626749 nbFailedAssignments=996854 nbBacktracks=8628930
477.26 nbVisitedNodes=10782855 nbRestartNogoods=158
477.26 => wckTime=476.559 cpuTime=474.47 mem=17M262
719.50
719.50 search
719.50 run=32 nbConstraintChecks=386299463 nbValidityChecks=905047135 nbPropagations=0 nbRevisions=0
719.50 nbUselessRevisions=0 nbAssignments=14416586 nbFailedAssignments=1472252 nbBacktracks=12943332
719.50 nbVisitedNodes=16114250 nbRestartNogoods=170
719.50 => wckTime=718.805 cpuTime=715.74 mem=17M262
1024.58
1024.58 search
1024.58 run=33 nbConstraintChecks=539853051 nbValidityChecks=1299049586 nbPropagations=0 nbRevisions=0
1024.58 nbUselessRevisions=0 nbAssignments=20408504 nbFailedAssignments=2050333 nbBacktracks=18357170
1024.58 nbVisitedNodes=22753354 nbRestartNogoods=181
1024.58 => wckTime=1023.883 cpuTime=1019.3 mem=17M262
1024.58
1024.58 global
1024.58 nbConstraintChecks=539853051 nbValidityChecks=1299049586 nbRestartNogoods=181 solvingWckTime=1023.884
1024.58 solvingCpuTime=1019.3 expiredTime=no totalExploration=yes nbFoundSolutions=0 globalCpuTime=1019.64
1024.58 => wckTime=1024.278 cpuTime=1019.59 mem=17M262
1024.59
1024.59 s OPTIMUM FOUND
1024.59 v 1 1 0 0 1 0 1 1 1 0 1 0 1 1 1 0 1 0 1 0 0 1 0 0 1 1 1 0 1 0 0 1 0 0 1 0 1 1 1 0 0 0 0 1 1 0 1 0 0 0 0 0 1 0 1 1 0 1 0 0
1024.59
1024.59 totalWckTime=1024.355 totalCpuTime=1019.64
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node66/watcher-277535-1169268471 -o ROOT/results/node66/solver-277535-1169268471 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/277535-1169268471/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.75 1.95 1.93 5/80 3324
/proc/meminfo: memFree=1212424/2055920 swapFree=4192812/4192956
[pid=3323] ppid=3321 vsize=12008 CPUtime=0
/proc/3323/stat : 3323 (java) D 3321 3323 2832 0 -1 0 784 0 1 0 0 0 0 0 16 0 1 0 74344289 12296192 533 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 9839396 0 2147483391 0 7368 18446744072099781622 0 0 17 1 0 0
/proc/3323/statm: 3002 533 440 14 0 1602 0
[startup+0.104246 s]
/proc/loadavg: 1.75 1.95 1.93 5/80 3324
/proc/meminfo: memFree=1212424/2055920 swapFree=4192812/4192956
[pid=3323] ppid=3321 vsize=914988 CPUtime=0.09
/proc/3323/stat : 3323 (java) R 3321 3323 2832 0 -1 0 3001 0 1 0 7 2 0 0 17 0 8 0 74344289 936947712 2747 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072925084 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3323/statm: 228747 2747 1428 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.512298 s]
/proc/loadavg: 1.75 1.95 1.93 5/80 3324
/proc/meminfo: memFree=1212424/2055920 swapFree=4192812/4192956
[pid=3323] ppid=3321 vsize=915332 CPUtime=0.49
/proc/3323/stat : 3323 (java) R 3321 3323 2832 0 -1 0 6668 0 1 0 45 4 0 0 18 0 8 0 74344289 937299968 6406 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4154114531 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3323/statm: 228833 6406 2469 14 0 215303 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915332
[startup+1.33339 s]
/proc/loadavg: 1.85 1.97 1.94 3/87 3331
/proc/meminfo: memFree=1186512/2055920 swapFree=4192812/4192956
[pid=3323] ppid=3321 vsize=915464 CPUtime=1.31
/proc/3323/stat : 3323 (java) R 3321 3323 2832 0 -1 0 9195 0 1 0 124 7 0 0 25 0 8 0 74344289 937435136 8932 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073727082 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3323/statm: 228866 8932 2528 14 0 215336 0
[pid=3323/tid=3325] ppid=3321 vsize=915464 CPUtime=0.02
/proc/3323/task/3325/stat : 3325 (java) S 3321 3323 2832 0 -1 64 124 0 0 0 2 0 0 0 16 0 8 0 74344293 937435136 8932 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3323/tid=3326] ppid=3321 vsize=915464 CPUtime=0
/proc/3323/task/3326/stat : 3326 (java) S 3321 3323 2832 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 74344294 937435136 8932 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3323/tid=3327] ppid=3321 vsize=915464 CPUtime=0
/proc/3323/task/3327/stat : 3327 (java) S 3321 3323 2832 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 74344294 937435136 8932 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3323/tid=3328] ppid=3321 vsize=915464 CPUtime=0
/proc/3323/task/3328/stat : 3328 (java) S 3321 3323 2832 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 74344297 937435136 8932 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3323/tid=3329] ppid=3321 vsize=915464 CPUtime=0.19
/proc/3323/task/3329/stat : 3329 (java) S 3321 3323 2832 0 -1 64 365 0 0 0 18 1 0 0 15 0 8 0 74344297 937435136 8932 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3323/tid=3330] ppid=3321 vsize=915464 CPUtime=0
/proc/3323/task/3330/stat : 3330 (java) S 3321 3323 2832 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 74344297 937435136 8932 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3323/tid=3331] ppid=3321 vsize=915464 CPUtime=0
/proc/3323/task/3331/stat : 3331 (java) S 3321 3323 2832 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 74344297 937435136 8932 18446744073709551615 134512640 134570532 4294956480 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) 915464
[startup+2.97759 s]
/proc/loadavg: 1.85 1.97 1.94 3/87 3331
/proc/meminfo: memFree=1186448/2055920 swapFree=4192812/4192956
[pid=3323] ppid=3321 vsize=915464 CPUtime=2.95
/proc/3323/stat : 3323 (java) R 3321 3323 2832 0 -1 0 9208 0 1 0 288 7 0 0 25 0 8 0 74344289 937435136 8944 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073678862 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3323/statm: 228866 8944 2528 14 0 215336 0
[pid=3323/tid=3325] ppid=3321 vsize=915464 CPUtime=0.02
/proc/3323/task/3325/stat : 3325 (java) S 3321 3323 2832 0 -1 64 124 0 0 0 2 0 0 0 16 0 8 0 74344293 937435136 8944 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3323/tid=3326] ppid=3321 vsize=915464 CPUtime=0
/proc/3323/task/3326/stat : 3326 (java) S 3321 3323 2832 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 74344294 937435136 8944 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3323/tid=3327] ppid=3321 vsize=915464 CPUtime=0
/proc/3323/task/3327/stat : 3327 (java) S 3321 3323 2832 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 74344294 937435136 8944 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3323/tid=3328] ppid=3321 vsize=915464 CPUtime=0
/proc/3323/task/3328/stat : 3328 (java) S 3321 3323 2832 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 74344297 937435136 8944 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3323/tid=3329] ppid=3321 vsize=915464 CPUtime=0.19
/proc/3323/task/3329/stat : 3329 (java) S 3321 3323 2832 0 -1 64 367 0 0 0 18 1 0 0 15 0 8 0 74344297 937435136 8944 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3323/tid=3330] ppid=3321 vsize=915464 CPUtime=0
/proc/3323/task/3330/stat : 3330 (java) S 3321 3323 2832 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 74344297 937435136 8944 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3323/tid=3331] ppid=3321 vsize=915464 CPUtime=0
/proc/3323/task/3331/stat : 3331 (java) S 3321 3323 2832 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 74344297 937435136 8944 18446744073709551615 134512640 134570532 4294956480 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) 915464
[startup+6.17798 s]
/proc/loadavg: 1.94 1.98 1.94 3/87 3331
/proc/meminfo: memFree=1186392/2055920 swapFree=4192812/4192956
[pid=3323] ppid=3321 vsize=915464 CPUtime=6.13
/proc/3323/stat : 3323 (java) R 3321 3323 2832 0 -1 0 9215 0 1 0 606 7 0 0 25 0 8 0 74344289 937435136 8951 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073676852 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3323/statm: 228866 8951 2528 14 0 215336 0
[pid=3323/tid=3325] ppid=3321 vsize=915464 CPUtime=0.02
/proc/3323/task/3325/stat : 3325 (java) S 3321 3323 2832 0 -1 64 124 0 0 0 2 0 0 0 16 0 8 0 74344293 937435136 8951 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3323/tid=3326] ppid=3321 vsize=915464 CPUtime=0
/proc/3323/task/3326/stat : 3326 (java) S 3321 3323 2832 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 74344294 937435136 8951 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3323/tid=3327] ppid=3321 vsize=915464 CPUtime=0
/proc/3323/task/3327/stat : 3327 (java) S 3321 3323 2832 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 74344294 937435136 8951 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3323/tid=3328] ppid=3321 vsize=915464 CPUtime=0
/proc/3323/task/3328/stat : 3328 (java) S 3321 3323 2832 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 74344297 937435136 8951 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3323/tid=3329] ppid=3321 vsize=915464 CPUtime=0.19
/proc/3323/task/3329/stat : 3329 (java) S 3321 3323 2832 0 -1 64 367 0 0 0 18 1 0 0 15 0 8 0 74344297 937435136 8951 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3323/tid=3330] ppid=3321 vsize=915464 CPUtime=0
/proc/3323/task/3330/stat : 3330 (java) S 3321 3323 2832 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 74344297 937435136 8951 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3323/tid=3331] ppid=3321 vsize=915464 CPUtime=0
/proc/3323/task/3331/stat : 3331 (java) S 3321 3323 2832 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 74344297 937435136 8951 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.13
Current children cumulated vsize (KiB) 915464
[startup+12.6508 s]
/proc/loadavg: 1.94 1.98 1.94 3/87 3331
/proc/meminfo: memFree=1186328/2055920 swapFree=4192812/4192956
[pid=3323] ppid=3321 vsize=915464 CPUtime=12.57
/proc/3323/stat : 3323 (java) R 3321 3323 2832 0 -1 0 9221 0 1 0 1250 7 0 0 25 0 8 0 74344289 937435136 8957 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073697820 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3323/statm: 228866 8957 2528 14 0 215336 0
[pid=3323/tid=3325] ppid=3321 vsize=915464 CPUtime=0.02
/proc/3323/task/3325/stat : 3325 (java) S 3321 3323 2832 0 -1 64 124 0 0 0 2 0 0 0 16 0 8 0 74344293 937435136 8957 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3323/tid=3326] ppid=3321 vsize=915464 CPUtime=0
/proc/3323/task/3326/stat : 3326 (java) S 3321 3323 2832 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 74344294 937435136 8957 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3323/tid=3327] ppid=3321 vsize=915464 CPUtime=0
/proc/3323/task/3327/stat : 3327 (java) S 3321 3323 2832 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 74344294 937435136 8957 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3323/tid=3328] ppid=3321 vsize=915464 CPUtime=0
/proc/3323/task/3328/stat : 3328 (java) S 3321 3323 2832 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 74344297 937435136 8957 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3323/tid=3329] ppid=3321 vsize=915464 CPUtime=0.2
/proc/3323/task/3329/stat : 3329 (java) S 3321 3323 2832 0 -1 64 368 0 0 0 19 1 0 0 16 0 8 0 74344297 937435136 8957 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3323/tid=3330] ppid=3321 vsize=915464 CPUtime=0
/proc/3323/task/3330/stat : 3330 (java) S 3321 3323 2832 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 74344297 937435136 8957 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3323/tid=3331] ppid=3321 vsize=915464 CPUtime=0
/proc/3323/task/3331/stat : 3331 (java) S 3321 3323 2832 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 74344297 937435136 8957 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 915464
[startup+25.5034 s]
/proc/loadavg: 1.95 1.98 1.94 3/87 3331
/proc/meminfo: memFree=1186328/2055920 swapFree=4192812/4192956
[pid=3323] ppid=3321 vsize=915464 CPUtime=25.37
/proc/3323/stat : 3323 (java) R 3321 3323 2832 0 -1 0 9229 0 1 0 2530 7 0 0 25 0 8 0 74344289 937435136 8963 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073734446 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3323/statm: 228866 8963 2528 14 0 215336 0
[pid=3323/tid=3325] ppid=3321 vsize=915464 CPUtime=0.02
/proc/3323/task/3325/stat : 3325 (java) S 3321 3323 2832 0 -1 64 124 0 0 0 2 0 0 0 16 0 8 0 74344293 937435136 8963 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3323/tid=3326] ppid=3321 vsize=915464 CPUtime=0
/proc/3323/task/3326/stat : 3326 (java) S 3321 3323 2832 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 74344294 937435136 8963 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3323/tid=3327] ppid=3321 vsize=915464 CPUtime=0
/proc/3323/task/3327/stat : 3327 (java) S 3321 3323 2832 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 74344294 937435136 8963 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3323/tid=3328] ppid=3321 vsize=915464 CPUtime=0
/proc/3323/task/3328/stat : 3328 (java) S 3321 3323 2832 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 74344297 937435136 8963 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3323/tid=3329] ppid=3321 vsize=915464 CPUtime=0.2
/proc/3323/task/3329/stat : 3329 (java) S 3321 3323 2832 0 -1 64 370 0 0 0 19 1 0 0 16 0 8 0 74344297 937435136 8963 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3323/tid=3330] ppid=3321 vsize=915464 CPUtime=0
/proc/3323/task/3330/stat : 3330 (java) S 3321 3323 2832 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 74344297 937435136 8963 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3323/tid=3331] ppid=3321 vsize=915464 CPUtime=0
/proc/3323/task/3331/stat : 3331 (java) S 3321 3323 2832 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 74344297 937435136 8963 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.37
Current children cumulated vsize (KiB) 915464
[startup+51.1045 s]
/proc/loadavg: 1.97 1.98 1.94 3/87 3331
/proc/meminfo: memFree=1186392/2055920 swapFree=4192812/4192956
[pid=3323] ppid=3321 vsize=915464 CPUtime=50.85
/proc/3323/stat : 3323 (java) R 3321 3323 2832 0 -1 0 9236 0 1 0 5078 7 0 0 25 0 8 0 74344289 937435136 8968 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073725086 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3323/statm: 228866 8968 2528 14 0 215336 0
[pid=3323/tid=3325] ppid=3321 vsize=915464 CPUtime=0.02
/proc/3323/task/3325/stat : 3325 (java) S 3321 3323 2832 0 -1 64 124 0 0 0 2 0 0 0 16 0 8 0 74344293 937435136 8968 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3323/tid=3326] ppid=3321 vsize=915464 CPUtime=0
/proc/3323/task/3326/stat : 3326 (java) S 3321 3323 2832 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 74344294 937435136 8968 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3323/tid=3327] ppid=3321 vsize=915464 CPUtime=0
/proc/3323/task/3327/stat : 3327 (java) S 3321 3323 2832 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 74344294 937435136 8968 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3323/tid=3328] ppid=3321 vsize=915464 CPUtime=0
/proc/3323/task/3328/stat : 3328 (java) S 3321 3323 2832 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 74344297 937435136 8968 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3323/tid=3329] ppid=3321 vsize=915464 CPUtime=0.2
/proc/3323/task/3329/stat : 3329 (java) S 3321 3323 2832 0 -1 64 370 0 0 0 19 1 0 0 16 0 8 0 74344297 937435136 8968 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3323/tid=3330] ppid=3321 vsize=915464 CPUtime=0
/proc/3323/task/3330/stat : 3330 (java) S 3321 3323 2832 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 74344297 937435136 8968 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3323/tid=3331] ppid=3321 vsize=915464 CPUtime=0
/proc/3323/task/3331/stat : 3331 (java) S 3321 3323 2832 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 74344297 937435136 8968 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.85
Current children cumulated vsize (KiB) 915464
[startup+102.405 s]
/proc/loadavg: 1.99 1.98 1.94 3/87 3331
/proc/meminfo: memFree=1186392/2055920 swapFree=4192812/4192956
[pid=3323] ppid=3321 vsize=915464 CPUtime=101.95
/proc/3323/stat : 3323 (java) R 3321 3323 2832 0 -1 0 9242 0 1 0 10187 8 0 0 25 0 8 0 74344289 937435136 8974 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073704334 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3323/statm: 228866 8974 2528 14 0 215336 0
[pid=3323/tid=3325] ppid=3321 vsize=915464 CPUtime=0.02
/proc/3323/task/3325/stat : 3325 (java) S 3321 3323 2832 0 -1 64 124 0 0 0 2 0 0 0 16 0 8 0 74344293 937435136 8974 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3323/tid=3326] ppid=3321 vsize=915464 CPUtime=0
/proc/3323/task/3326/stat : 3326 (java) S 3321 3323 2832 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 74344294 937435136 8974 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3323/tid=3327] ppid=3321 vsize=915464 CPUtime=0
/proc/3323/task/3327/stat : 3327 (java) S 3321 3323 2832 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 74344294 937435136 8974 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3323/tid=3328] ppid=3321 vsize=915464 CPUtime=0
/proc/3323/task/3328/stat : 3328 (java) S 3321 3323 2832 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 74344297 937435136 8974 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3323/tid=3329] ppid=3321 vsize=915464 CPUtime=0.2
/proc/3323/task/3329/stat : 3329 (java) S 3321 3323 2832 0 -1 64 370 0 0 0 19 1 0 0 16 0 8 0 74344297 937435136 8974 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3323/tid=3330] ppid=3321 vsize=915464 CPUtime=0
/proc/3323/task/3330/stat : 3330 (java) S 3321 3323 2832 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 74344297 937435136 8974 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3323/tid=3331] ppid=3321 vsize=915464 CPUtime=0
/proc/3323/task/3331/stat : 3331 (java) S 3321 3323 2832 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 74344297 937435136 8974 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.95
Current children cumulated vsize (KiB) 915464
[startup+162.443 s]
/proc/loadavg: 1.99 1.98 1.94 3/87 3331
/proc/meminfo: memFree=1186328/2055920 swapFree=4192812/4192956
[pid=3323] ppid=3321 vsize=915464 CPUtime=161.73
/proc/3323/stat : 3323 (java) R 3321 3323 2832 0 -1 0 9244 0 1 0 16165 8 0 0 25 0 8 0 74344289 937435136 8976 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073757891 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
################
# More data... #
################
/proc/3323/task/3328/stat : 3328 (java) S 3321 3323 2832 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 74344297 937435136 8984 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3323/tid=3329] ppid=3321 vsize=915464 CPUtime=0.2
/proc/3323/task/3329/stat : 3329 (java) S 3321 3323 2832 0 -1 64 370 0 0 0 19 1 0 0 16 0 8 0 74344297 937435136 8984 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3323/tid=3330] ppid=3321 vsize=915464 CPUtime=0
/proc/3323/task/3330/stat : 3330 (java) S 3321 3323 2832 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 74344297 937435136 8984 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3323/tid=3331] ppid=3321 vsize=915464 CPUtime=0
/proc/3323/task/3331/stat : 3331 (java) S 3321 3323 2832 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 74344297 937435136 8984 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 580.29
Current children cumulated vsize (KiB) 915464
[startup+642.749 s]
/proc/loadavg: 1.99 1.98 1.94 3/87 3331
/proc/meminfo: memFree=1161624/2055920 swapFree=4192812/4192956
[pid=3323] ppid=3321 vsize=915464 CPUtime=640.08
/proc/3323/stat : 3323 (java) R 3321 3323 2832 0 -1 0 9252 0 1 0 63997 11 0 0 25 0 8 0 74344289 937435136 8984 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073677630 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3323/statm: 228866 8984 2528 14 0 215336 0
[pid=3323/tid=3325] ppid=3321 vsize=915464 CPUtime=0.02
/proc/3323/task/3325/stat : 3325 (java) S 3321 3323 2832 0 -1 64 124 0 0 0 2 0 0 0 16 0 8 0 74344293 937435136 8984 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3323/tid=3326] ppid=3321 vsize=915464 CPUtime=0
/proc/3323/task/3326/stat : 3326 (java) S 3321 3323 2832 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 74344294 937435136 8984 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3323/tid=3327] ppid=3321 vsize=915464 CPUtime=0
/proc/3323/task/3327/stat : 3327 (java) S 3321 3323 2832 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 74344294 937435136 8984 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3323/tid=3328] ppid=3321 vsize=915464 CPUtime=0
/proc/3323/task/3328/stat : 3328 (java) S 3321 3323 2832 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 74344297 937435136 8984 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3323/tid=3329] ppid=3321 vsize=915464 CPUtime=0.2
/proc/3323/task/3329/stat : 3329 (java) S 3321 3323 2832 0 -1 64 370 0 0 0 19 1 0 0 16 0 8 0 74344297 937435136 8984 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3323/tid=3330] ppid=3321 vsize=915464 CPUtime=0
/proc/3323/task/3330/stat : 3330 (java) S 3321 3323 2832 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 74344297 937435136 8984 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3323/tid=3331] ppid=3321 vsize=915464 CPUtime=0
/proc/3323/task/3331/stat : 3331 (java) S 3321 3323 2832 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 74344297 937435136 8984 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 640.08
Current children cumulated vsize (KiB) 915464
[startup+702.785 s]
/proc/loadavg: 2.03 2.00 1.95 3/87 3331
/proc/meminfo: memFree=1161560/2055920 swapFree=4192812/4192956
[pid=3323] ppid=3321 vsize=915464 CPUtime=699.88
/proc/3323/stat : 3323 (java) R 3321 3323 2832 0 -1 0 9252 0 1 0 69977 11 0 0 25 0 8 0 74344289 937435136 8984 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073751284 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3323/statm: 228866 8984 2528 14 0 215336 0
[pid=3323/tid=3325] ppid=3321 vsize=915464 CPUtime=0.02
/proc/3323/task/3325/stat : 3325 (java) S 3321 3323 2832 0 -1 64 124 0 0 0 2 0 0 0 16 0 8 0 74344293 937435136 8984 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3323/tid=3326] ppid=3321 vsize=915464 CPUtime=0
/proc/3323/task/3326/stat : 3326 (java) S 3321 3323 2832 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 74344294 937435136 8984 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3323/tid=3327] ppid=3321 vsize=915464 CPUtime=0
/proc/3323/task/3327/stat : 3327 (java) S 3321 3323 2832 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 74344294 937435136 8984 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3323/tid=3328] ppid=3321 vsize=915464 CPUtime=0
/proc/3323/task/3328/stat : 3328 (java) S 3321 3323 2832 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 74344297 937435136 8984 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3323/tid=3329] ppid=3321 vsize=915464 CPUtime=0.2
/proc/3323/task/3329/stat : 3329 (java) S 3321 3323 2832 0 -1 64 370 0 0 0 19 1 0 0 16 0 8 0 74344297 937435136 8984 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3323/tid=3330] ppid=3321 vsize=915464 CPUtime=0
/proc/3323/task/3330/stat : 3330 (java) S 3321 3323 2832 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 74344297 937435136 8984 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3323/tid=3331] ppid=3321 vsize=915464 CPUtime=0
/proc/3323/task/3331/stat : 3331 (java) S 3321 3323 2832 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 74344297 937435136 8984 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 699.88
Current children cumulated vsize (KiB) 915464
[startup+762.822 s]
/proc/loadavg: 2.01 2.00 1.95 3/87 3331
/proc/meminfo: memFree=1161560/2055920 swapFree=4192812/4192956
[pid=3323] ppid=3321 vsize=915464 CPUtime=759.67
/proc/3323/stat : 3323 (java) R 3321 3323 2832 0 -1 0 9255 0 1 0 75955 12 0 0 25 0 8 0 74344289 937435136 8987 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073700560 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3323/statm: 228866 8987 2528 14 0 215336 0
[pid=3323/tid=3325] ppid=3321 vsize=915464 CPUtime=0.02
/proc/3323/task/3325/stat : 3325 (java) S 3321 3323 2832 0 -1 64 124 0 0 0 2 0 0 0 16 0 8 0 74344293 937435136 8987 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3323/tid=3326] ppid=3321 vsize=915464 CPUtime=0
/proc/3323/task/3326/stat : 3326 (java) S 3321 3323 2832 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 74344294 937435136 8987 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3323/tid=3327] ppid=3321 vsize=915464 CPUtime=0
/proc/3323/task/3327/stat : 3327 (java) S 3321 3323 2832 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 74344294 937435136 8987 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3323/tid=3328] ppid=3321 vsize=915464 CPUtime=0
/proc/3323/task/3328/stat : 3328 (java) S 3321 3323 2832 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 74344297 937435136 8987 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3323/tid=3329] ppid=3321 vsize=915464 CPUtime=0.2
/proc/3323/task/3329/stat : 3329 (java) S 3321 3323 2832 0 -1 64 370 0 0 0 19 1 0 0 16 0 8 0 74344297 937435136 8987 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3323/tid=3330] ppid=3321 vsize=915464 CPUtime=0
/proc/3323/task/3330/stat : 3330 (java) S 3321 3323 2832 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 74344297 937435136 8987 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3323/tid=3331] ppid=3321 vsize=915464 CPUtime=0
/proc/3323/task/3331/stat : 3331 (java) S 3321 3323 2832 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 74344297 937435136 8987 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 759.67
Current children cumulated vsize (KiB) 915464
[startup+822.874 s]
/proc/loadavg: 2.00 2.00 1.95 3/93 3449
/proc/meminfo: memFree=1160216/2055920 swapFree=4192812/4192956
[pid=3323] ppid=3321 vsize=915464 CPUtime=819.34
/proc/3323/stat : 3323 (java) R 3321 3323 2832 0 -1 0 9255 0 1 0 81922 12 0 0 25 0 8 0 74344289 937435136 8987 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073701050 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3323/statm: 228866 8987 2528 14 0 215336 0
[pid=3323/tid=3325] ppid=3321 vsize=915464 CPUtime=0.02
/proc/3323/task/3325/stat : 3325 (java) S 3321 3323 2832 0 -1 64 124 0 0 0 2 0 0 0 16 0 8 0 74344293 937435136 8987 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3323/tid=3326] ppid=3321 vsize=915464 CPUtime=0
/proc/3323/task/3326/stat : 3326 (java) S 3321 3323 2832 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 74344294 937435136 8987 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3323/tid=3327] ppid=3321 vsize=915464 CPUtime=0
/proc/3323/task/3327/stat : 3327 (java) S 3321 3323 2832 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 74344294 937435136 8987 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3323/tid=3328] ppid=3321 vsize=915464 CPUtime=0
/proc/3323/task/3328/stat : 3328 (java) S 3321 3323 2832 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 74344297 937435136 8987 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3323/tid=3329] ppid=3321 vsize=915464 CPUtime=0.2
/proc/3323/task/3329/stat : 3329 (java) S 3321 3323 2832 0 -1 64 370 0 0 0 19 1 0 0 16 0 8 0 74344297 937435136 8987 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3323/tid=3330] ppid=3321 vsize=915464 CPUtime=0
/proc/3323/task/3330/stat : 3330 (java) S 3321 3323 2832 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 74344297 937435136 8987 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3323/tid=3331] ppid=3321 vsize=915464 CPUtime=0
/proc/3323/task/3331/stat : 3331 (java) S 3321 3323 2832 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 74344297 937435136 8987 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 819.34
Current children cumulated vsize (KiB) 915464
[startup+882.932 s]
/proc/loadavg: 2.04 2.01 1.95 3/87 3529
/proc/meminfo: memFree=1161176/2055920 swapFree=4192812/4192956
[pid=3323] ppid=3321 vsize=915464 CPUtime=879.04
/proc/3323/stat : 3323 (java) R 3321 3323 2832 0 -1 0 9255 0 1 0 87892 12 0 0 25 0 8 0 74344289 937435136 8987 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073735740 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3323/statm: 228866 8987 2528 14 0 215336 0
[pid=3323/tid=3325] ppid=3321 vsize=915464 CPUtime=0.02
/proc/3323/task/3325/stat : 3325 (java) S 3321 3323 2832 0 -1 64 124 0 0 0 2 0 0 0 16 0 8 0 74344293 937435136 8987 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3323/tid=3326] ppid=3321 vsize=915464 CPUtime=0
/proc/3323/task/3326/stat : 3326 (java) S 3321 3323 2832 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 74344294 937435136 8987 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3323/tid=3327] ppid=3321 vsize=915464 CPUtime=0
/proc/3323/task/3327/stat : 3327 (java) S 3321 3323 2832 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 74344294 937435136 8987 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3323/tid=3328] ppid=3321 vsize=915464 CPUtime=0
/proc/3323/task/3328/stat : 3328 (java) S 3321 3323 2832 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 74344297 937435136 8987 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3323/tid=3329] ppid=3321 vsize=915464 CPUtime=0.2
/proc/3323/task/3329/stat : 3329 (java) S 3321 3323 2832 0 -1 64 370 0 0 0 19 1 0 0 16 0 8 0 74344297 937435136 8987 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3323/tid=3330] ppid=3321 vsize=915464 CPUtime=0
/proc/3323/task/3330/stat : 3330 (java) S 3321 3323 2832 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 74344297 937435136 8987 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3323/tid=3331] ppid=3321 vsize=915464 CPUtime=0
/proc/3323/task/3331/stat : 3331 (java) S 3321 3323 2832 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 74344297 937435136 8987 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 879.04
Current children cumulated vsize (KiB) 915464
[startup+942.972 s]
/proc/loadavg: 2.01 2.01 1.95 3/87 3529
/proc/meminfo: memFree=1161176/2055920 swapFree=4192812/4192956
[pid=3323] ppid=3321 vsize=915464 CPUtime=938.83
/proc/3323/stat : 3323 (java) R 3321 3323 2832 0 -1 0 9255 0 1 0 93871 12 0 0 25 0 8 0 74344289 937435136 8987 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073679686 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3323/statm: 228866 8987 2528 14 0 215336 0
[pid=3323/tid=3325] ppid=3321 vsize=915464 CPUtime=0.02
/proc/3323/task/3325/stat : 3325 (java) S 3321 3323 2832 0 -1 64 124 0 0 0 2 0 0 0 16 0 8 0 74344293 937435136 8987 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3323/tid=3326] ppid=3321 vsize=915464 CPUtime=0
/proc/3323/task/3326/stat : 3326 (java) S 3321 3323 2832 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 74344294 937435136 8987 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3323/tid=3327] ppid=3321 vsize=915464 CPUtime=0
/proc/3323/task/3327/stat : 3327 (java) S 3321 3323 2832 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 74344294 937435136 8987 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3323/tid=3328] ppid=3321 vsize=915464 CPUtime=0
/proc/3323/task/3328/stat : 3328 (java) S 3321 3323 2832 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 74344297 937435136 8987 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3323/tid=3329] ppid=3321 vsize=915464 CPUtime=0.2
/proc/3323/task/3329/stat : 3329 (java) S 3321 3323 2832 0 -1 64 370 0 0 0 19 1 0 0 16 0 8 0 74344297 937435136 8987 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3323/tid=3330] ppid=3321 vsize=915464 CPUtime=0
/proc/3323/task/3330/stat : 3330 (java) S 3321 3323 2832 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 74344297 937435136 8987 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3323/tid=3331] ppid=3321 vsize=915464 CPUtime=0
/proc/3323/task/3331/stat : 3331 (java) S 3321 3323 2832 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 74344297 937435136 8987 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 938.83
Current children cumulated vsize (KiB) 915464
[startup+1003.01 s]
/proc/loadavg: 2.00 2.00 1.95 3/87 3529
/proc/meminfo: memFree=1161176/2055920 swapFree=4192812/4192956
[pid=3323] ppid=3321 vsize=915464 CPUtime=998.61
/proc/3323/stat : 3323 (java) R 3321 3323 2832 0 -1 0 9255 0 1 0 99849 12 0 0 25 0 8 0 74344289 937435136 8987 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073708300 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3323/statm: 228866 8987 2528 14 0 215336 0
[pid=3323/tid=3325] ppid=3321 vsize=915464 CPUtime=0.02
/proc/3323/task/3325/stat : 3325 (java) S 3321 3323 2832 0 -1 64 124 0 0 0 2 0 0 0 16 0 8 0 74344293 937435136 8987 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3323/tid=3326] ppid=3321 vsize=915464 CPUtime=0
/proc/3323/task/3326/stat : 3326 (java) S 3321 3323 2832 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 74344294 937435136 8987 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3323/tid=3327] ppid=3321 vsize=915464 CPUtime=0
/proc/3323/task/3327/stat : 3327 (java) S 3321 3323 2832 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 74344294 937435136 8987 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3323/tid=3328] ppid=3321 vsize=915464 CPUtime=0
/proc/3323/task/3328/stat : 3328 (java) S 3321 3323 2832 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 74344297 937435136 8987 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3323/tid=3329] ppid=3321 vsize=915464 CPUtime=0.2
/proc/3323/task/3329/stat : 3329 (java) S 3321 3323 2832 0 -1 64 370 0 0 0 19 1 0 0 16 0 8 0 74344297 937435136 8987 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3323/tid=3330] ppid=3321 vsize=915464 CPUtime=0
/proc/3323/task/3330/stat : 3330 (java) S 3321 3323 2832 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 74344297 937435136 8987 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3323/tid=3331] ppid=3321 vsize=915464 CPUtime=0
/proc/3323/task/3331/stat : 3331 (java) S 3321 3323 2832 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 74344297 937435136 8987 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 998.61
Current children cumulated vsize (KiB) 915464
Child status: 0
Real time (s): 1024.6
CPU time (s): 1020.12
CPU user time (s): 1019.98
CPU system time (s): 0.135979
CPU usage (%): 99.5623
Max. virtual memory (cumulated for all children) (KiB): 915464
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1019.98
system time used= 0.135979
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9353
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= 21701
involuntary context switches= 33169
runsolver used 0.946856 s user time and 3.03254 s system time
The end
Begin job on node66 on Sat Jan 20 04:47:51 UTC 2007
IDJOB= 277535
IDBENCH= 7351
IDSOLVER= 69
FILE ID= node66/277535-1169268471
PBS_JOBID= 3607345
Free space on /tmp= 66561 MiB
SOLVER NAME= AbsconMax 109 PFC
BENCH NAME= HOME/pub/bench/CPAI06/dimacs/pret/pret-60-75_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/277535-1169268471/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node66/watcher-277535-1169268471 -o ROOT/results/node66/solver-277535-1169268471 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/277535-1169268471/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 5373c097d76184877d5eaffb3c2cb383
RANDOM SEED= 344130003
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.230
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.230
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: 1212840 kB
Buffers: 46780 kB
Cached: 553236 kB
SwapCached: 16 kB
Active: 241824 kB
Inactive: 530228 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1212840 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 1980 kB
Writeback: 0 kB
Mapped: 192252 kB
Slab: 56172 kB
Committed_AS: 1465388 kB
PageTables: 2064 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= 66561 MiB
End job on node66 on Sat Jan 20 05:04:55 UTC 2007