0.34
0.34 Abscon 109 (November, 2006)
0.34
0.34 configuration
0.34 name=epfc.xml
0.38
0.38 instance
0.38 name=/tmp/evaluation/277885-1169271013/unknown.xml
0.41
0.41 domains being loaded...
0.41
0.41 variables being loaded...
0.45 nbVariables=80 nbDomainTypes=1 minDomainSize=2 maxDomainSize=2
0.45 => wckTime=0.103 cpuTime=0.09 mem=6M887
0.45
0.45 relations being loaded...
0.45
0.45 constraints being loaded...
0.60 nbConstraints=498 nbRelationTypes=10 nbExtensionStructures=10 nbSharedExtensionStructures=488
0.60 nbConflictsStructures=10 nbSharedConflictsStructures=488 nbSharedBinaryRepresentations=0 maxDegree=32
0.60 maxArity=3
0.60 => wckTime=0.251 cpuTime=0.17 mem=8M837
0.64
0.64 solver LocalSearchSolver being built...
0.68 => wckTime=0.333 cpuTime=0.22 mem=5M639
0.68
0.68 s SATISFIABLE
0.68 o 448
0.68 c 50
0.68 o 452
0.68 c 46
0.68 o 458
0.68 c 40
0.68 o 460
0.68 c 38
0.68 o 462
0.68 c 36
0.69 o 464
0.69 c 34
0.69 o 466
0.69 c 32
0.69 o 469
0.69 c 29
0.69 o 471
0.69 c 27
0.69 o 474
0.69 c 24
0.70 o 475
0.70 c 23
0.70 o 477
0.70 c 21
0.70 o 479
0.70 c 19
0.70 o 482
0.70 c 16
0.70 o 484
0.70 c 14
0.80 o 485
0.80 c 13
0.81 o 486
0.81 c 12
0.82 o 487
0.82 c 11
0.99 o 488
0.99 c 10
2.17
2.17 search
2.17 run=0 nbConstraintChecks=5288668 nbAssignments=10000
2.17 => wckTime=1.491 cpuTime=1.47 mem=5M639
3.61
3.61 search
3.61 run=1 nbConstraintChecks=10817850 nbAssignments=20000
3.61 => wckTime=2.931 cpuTime=2.89 mem=5M639
5.00
5.00 search
5.00 run=2 nbConstraintChecks=16062928 nbAssignments=30000
5.00 => wckTime=4.319 cpuTime=4.26 mem=5M639
6.45
6.45 search
6.45 run=3 nbConstraintChecks=21662049 nbAssignments=40000
6.45 => wckTime=5.771 cpuTime=5.7 mem=5M639
7.83
7.83 search
7.84 run=4 nbConstraintChecks=26883974 nbAssignments=50000
7.84 => wckTime=7.158 cpuTime=7.07 mem=5M639
9.28
9.28 search
9.28 run=5 nbConstraintChecks=32408032 nbAssignments=60000
9.28 => wckTime=8.601 cpuTime=8.5 mem=5M639
10.67
10.67 search
10.67 run=6 nbConstraintChecks=37649537 nbAssignments=70000
10.67 => wckTime=9.992 cpuTime=9.88 mem=5M639
12.11
12.11 search
12.11 run=7 nbConstraintChecks=43201876 nbAssignments=80000
12.11 => wckTime=11.435 cpuTime=11.31 mem=5M639
13.50
13.50 search
13.50 run=8 nbConstraintChecks=48373642 nbAssignments=90000
13.50 => wckTime=12.827 cpuTime=12.69 mem=5M639
14.96
14.96 search
14.96 run=9 nbConstraintChecks=53930797 nbAssignments=100000
14.96 => wckTime=14.283 cpuTime=14.13 mem=5M639
16.35
16.35 search
16.35 run=10 nbConstraintChecks=59092130 nbAssignments=110000
16.35 => wckTime=15.673 cpuTime=15.51 mem=5M639
17.82
17.82 search
17.82 run=11 nbConstraintChecks=64736039 nbAssignments=120000
17.82 => wckTime=17.143 cpuTime=16.97 mem=5M639
19.21
19.21 search
19.21 run=12 nbConstraintChecks=69904563 nbAssignments=130000
19.21 => wckTime=18.534 cpuTime=18.35 mem=5M639
20.68
20.68 search
20.68 run=13 nbConstraintChecks=75535546 nbAssignments=140000
20.68 => wckTime=20.001 cpuTime=19.79 mem=5M639
22.09
22.09 search
22.09 run=14 nbConstraintChecks=80791976 nbAssignments=150000
22.09 => wckTime=21.41 cpuTime=21.19 mem=5M639
23.52
23.52 search
23.52 run=15 nbConstraintChecks=86279071 nbAssignments=160000
23.52 => wckTime=22.841 cpuTime=22.61 mem=5M639
24.90
24.90 search
24.90 run=16 nbConstraintChecks=91415665 nbAssignments=170000
24.90 => wckTime=24.222 cpuTime=23.98 mem=5M639
26.33
26.33 search
26.33 run=17 nbConstraintChecks=96942322 nbAssignments=180000
26.33 => wckTime=25.657 cpuTime=25.4 mem=5M639
27.72
27.72 search
27.72 run=18 nbConstraintChecks=102109135 nbAssignments=190000
27.72 => wckTime=27.043 cpuTime=26.77 mem=5M639
29.16
29.16 search
29.16 run=19 nbConstraintChecks=107622896 nbAssignments=200000
29.16 => wckTime=28.482 cpuTime=28.19 mem=5M639
30.55
30.55 search
30.55 run=20 nbConstraintChecks=112828838 nbAssignments=210000
30.55 => wckTime=29.872 cpuTime=29.56 mem=5M639
31.29
31.29 search
31.29 run=21 nbConstraintChecks=115684807 nbAssignments=215222
31.29 => wckTime=30.617 cpuTime=30.31 mem=5M639
31.30
31.30 global
31.30 nbConstraintChecks=115684807 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
31.30 solvingWckTime=30.616 solvingCpuTime=30.3 expiredTime=no totalExploration=no nbFoundSolutions=0
31.30 globalCpuTime=30.58
31.30 => wckTime=30.95 cpuTime=30.52 mem=5M639
31.30
31.30 solver IterativeSystematicSolver being built...
31.48 => wckTime=31.133 cpuTime=30.66 mem=19M507
31.57
31.57 preprocessing
31.57 nbConstraintChecks=3136 nbValidityChecks=12329 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
31.57 nbRemovedValues=0 detectedInconsistency=no
31.57 => wckTime=0.089 cpuTime=0.06 mem=19M507
31.61
31.61 search
31.61 run=0 nbConstraintChecks=3147 nbValidityChecks=16541 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
31.61 nbAssignments=46 nbFailedAssignments=8 nbBacktracks=12 nbVisitedNodes=61 nbRestartNogoods=0
31.61 => wckTime=0.131 cpuTime=0.09 mem=20M483
31.66
31.66 search
31.66 run=1 nbConstraintChecks=7637 nbValidityChecks=40416 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
31.66 nbAssignments=100 nbFailedAssignments=19 nbBacktracks=27 nbVisitedNodes=134 nbRestartNogoods=2
31.66 => wckTime=0.18 cpuTime=0.13 mem=20M483
31.72
31.72 search
31.72 run=2 nbConstraintChecks=13625 nbValidityChecks=75390 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
31.72 nbAssignments=165 nbFailedAssignments=33 nbBacktracks=49 nbVisitedNodes=232 nbRestartNogoods=3
31.72 => wckTime=0.237 cpuTime=0.18 mem=20M483
31.79
31.79 search
31.79 run=3 nbConstraintChecks=24707 nbValidityChecks=136949 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
31.79 nbAssignments=254 nbFailedAssignments=61 nbBacktracks=83 nbVisitedNodes=376 nbRestartNogoods=5
31.79 => wckTime=0.311 cpuTime=0.25 mem=20M483
31.88
31.88 search
31.88 run=4 nbConstraintChecks=37553 nbValidityChecks=204504 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
31.88 nbAssignments=362 nbFailedAssignments=94 nbBacktracks=133 nbVisitedNodes=556 nbRestartNogoods=6
31.88 => wckTime=0.398 cpuTime=0.34 mem=20M483
31.99
31.99 search
31.99 run=5 nbConstraintChecks=54598 nbValidityChecks=305556 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
31.99 nbAssignments=506 nbFailedAssignments=137 nbBacktracks=208 nbVisitedNodes=791 nbRestartNogoods=9
31.99 => wckTime=0.51 cpuTime=0.45 mem=20M483
32.17
32.17 search
32.17 run=6 nbConstraintChecks=83252 nbValidityChecks=476030 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
32.17 nbAssignments=711 nbFailedAssignments=197 nbBacktracks=327 nbVisitedNodes=1149 nbRestartNogoods=10
32.17 => wckTime=0.691 cpuTime=0.63 mem=20M483
32.43
32.43 search
32.43 run=7 nbConstraintChecks=124676 nbValidityChecks=716579 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
32.43 nbAssignments=1005 nbFailedAssignments=285 nbBacktracks=500 nbVisitedNodes=1667 nbRestartNogoods=12
32.43 => wckTime=0.95 cpuTime=0.88 mem=20M483
32.82
32.82 search
32.82 run=8 nbConstraintChecks=183411 nbValidityChecks=1075182 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
32.82 nbAssignments=1425 nbFailedAssignments=418 nbBacktracks=757 nbVisitedNodes=2422 nbRestartNogoods=16
32.82 => wckTime=1.34 cpuTime=1.26 mem=20M483
33.40
33.40 search
33.40 run=9 nbConstraintChecks=268408 nbValidityChecks=1574249 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
33.40 nbAssignments=2078 nbFailedAssignments=650 nbBacktracks=1143 nbVisitedNodes=3583 nbRestartNogoods=19
33.40 => wckTime=1.92 cpuTime=1.82 mem=20M483
34.14
34.14 search
34.14 run=10 nbConstraintChecks=387757 nbValidityChecks=2285240 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
34.14 nbAssignments=2986 nbFailedAssignments=949 nbBacktracks=1722 nbVisitedNodes=5157 nbRestartNogoods=25
34.14 => wckTime=2.665 cpuTime=2.56 mem=20M483
35.32
35.32 search
35.32 run=11 nbConstraintChecks=560910 nbValidityChecks=3354007 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
35.32 nbAssignments=4436 nbFailedAssignments=1503 nbBacktracks=2593 nbVisitedNodes=7692 nbRestartNogoods=31
35.32 => wckTime=3.84 cpuTime=3.72 mem=20M483
36.96
36.96 search
36.96 run=12 nbConstraintChecks=826224 nbValidityChecks=4981303 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
36.96 nbAssignments=6484 nbFailedAssignments=2216 nbBacktracks=3891 nbVisitedNodes=11222 nbRestartNogoods=36
36.96 => wckTime=5.479 cpuTime=5.34 mem=20M483
39.49
39.49 search
39.49 run=13 nbConstraintChecks=1231165 nbValidityChecks=7535977 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
39.49 nbAssignments=9612 nbFailedAssignments=3365 nbBacktracks=5838 nbVisitedNodes=16697 nbRestartNogoods=43
39.49 => wckTime=8.006 cpuTime=7.85 mem=20M483
43.49
43.49 search
43.49 run=14 nbConstraintChecks=1891883 nbValidityChecks=11239373 nbPropagations=0 nbRevisions=0
43.49 nbUselessRevisions=0 nbAssignments=14314 nbFailedAssignments=5123 nbBacktracks=8759 nbVisitedNodes=25259
43.49 nbRestartNogoods=52
43.49 => wckTime=12.011 cpuTime=11.81 mem=20M483
49.38
49.38 search
49.38 run=15 nbConstraintChecks=2892798 nbValidityChecks=17131076 nbPropagations=0 nbRevisions=0
49.38 nbUselessRevisions=0 nbAssignments=21061 nbFailedAssignments=7459 nbBacktracks=13137 nbVisitedNodes=37629
49.38 nbRestartNogoods=56
49.38 => wckTime=17.9 cpuTime=17.65 mem=20M483
57.50
57.50 search
57.50 run=16 nbConstraintChecks=4381257 nbValidityChecks=25100042 nbPropagations=0 nbRevisions=0
57.50 nbUselessRevisions=0 nbAssignments=30759 nbFailedAssignments=10561 nbBacktracks=19705 nbVisitedNodes=55001
57.50 nbRestartNogoods=62
57.50 => wckTime=26.019 cpuTime=25.69 mem=20M483
70.15
70.15 search
70.15 run=17 nbConstraintChecks=6611209 nbValidityChecks=38950555 nbPropagations=0 nbRevisions=0
70.15 nbUselessRevisions=0 nbAssignments=46162 nbFailedAssignments=16081 nbBacktracks=29558 nbVisitedNodes=82679
70.15 nbRestartNogoods=69
70.15 => wckTime=38.671 cpuTime=38.22 mem=20M483
88.06
88.06 search
88.06 run=18 nbConstraintChecks=9885107 nbValidityChecks=57035703 nbPropagations=0 nbRevisions=0
88.06 nbUselessRevisions=0 nbAssignments=68523 nbFailedAssignments=23632 nbBacktracks=44341 nbVisitedNodes=121982
88.06 nbRestartNogoods=74
88.06 => wckTime=56.579 cpuTime=55.97 mem=20M483
113.30
113.30 search
113.30 run=19 nbConstraintChecks=14393298 nbValidityChecks=79368890 nbPropagations=0 nbRevisions=0
113.30 nbUselessRevisions=0 nbAssignments=101037 nbFailedAssignments=33954 nbBacktracks=66509 nbVisitedNodes=177664
113.30 nbRestartNogoods=81
113.30 => wckTime=81.819 cpuTime=80.97 mem=20M483
151.31
151.31 search
151.31 run=20 nbConstraintChecks=20714476 nbValidityChecks=108590908 nbPropagations=0 nbRevisions=0
151.31 nbUselessRevisions=0 nbAssignments=150951 nbFailedAssignments=50587 nbBacktracks=99762 nbVisitedNodes=261671
151.31 nbRestartNogoods=89
151.31 => wckTime=119.827 cpuTime=118.64 mem=20M483
205.58
205.58 search
205.58 run=21 nbConstraintChecks=31301823 nbValidityChecks=159357236 nbPropagations=0 nbRevisions=0
205.58 nbUselessRevisions=0 nbAssignments=223967 nbFailedAssignments=73704 nbBacktracks=149640 nbVisitedNodes=385229
205.58 nbRestartNogoods=97
205.58 => wckTime=174.097 cpuTime=172.4 mem=20M483
286.88
286.88 search
286.88 run=22 nbConstraintChecks=47978518 nbValidityChecks=230035553 nbPropagations=0 nbRevisions=0
286.88 nbUselessRevisions=0 nbAssignments=330528 nbFailedAssignments=105418 nbBacktracks=224459 nbVisitedNodes=567407
286.88 nbRestartNogoods=104
286.88 => wckTime=255.396 cpuTime=252.96 mem=20M483
401.61
401.61 search
401.61 run=23 nbConstraintChecks=75160429 nbValidityChecks=339296306 nbPropagations=0 nbRevisions=0
401.61 nbUselessRevisions=0 nbAssignments=487428 nbFailedAssignments=150064 nbBacktracks=336686 nbVisitedNodes=832703
401.61 nbRestartNogoods=115
401.61 => wckTime=370.13 cpuTime=366.64 mem=20M483
575.24
575.24 search
575.24 run=24 nbConstraintChecks=108931661 nbValidityChecks=469394945 nbPropagations=0 nbRevisions=0
575.24 nbUselessRevisions=0 nbAssignments=723827 nbFailedAssignments=218093 nbBacktracks=505027 nbVisitedNodes=1223831
575.24 nbRestartNogoods=120
575.24 => wckTime=543.762 cpuTime=538.68 mem=20M483
825.29
825.29 search
825.29 run=25 nbConstraintChecks=161355878 nbValidityChecks=675338965 nbPropagations=0 nbRevisions=0
825.29 nbUselessRevisions=0 nbAssignments=1076534 nbFailedAssignments=318269 nbBacktracks=757539
825.29 nbVisitedNodes=1803336 nbRestartNogoods=129
825.29 => wckTime=793.806 cpuTime=786.42 mem=20M483
1201.99
1201.99 search
1201.99 run=26 nbConstraintChecks=240865163 nbValidityChecks=982822667 nbPropagations=0 nbRevisions=0
1201.99 nbUselessRevisions=0 nbAssignments=1601134 nbFailedAssignments=464078 nbBacktracks=1136306
1201.99 nbVisitedNodes=2675117 nbRestartNogoods=136
1201.99 => wckTime=1170.51 cpuTime=1159.67 mem=20M483
1737.48
1737.48 search
1737.48 run=27 nbConstraintChecks=368214254 nbValidityChecks=1454457052 nbPropagations=0 nbRevisions=0
1737.48 nbUselessRevisions=0 nbAssignments=2382621 nbFailedAssignments=677381 nbBacktracks=1704461
1737.48 nbVisitedNodes=3943753 nbRestartNogoods=143
1737.48 => wckTime=1706.003 cpuTime=1690.52 mem=20M483
2416.67 v 0 0 0 1 1 0 0 0 0 1 1 0 0 0 0 1 0 1 1 0 0 1 0 1 1 0 1 0 0 1 0 0 1 1 0 0 0 0 1 1 1 1 0 1 1 1 0 1 1 0 1 0 1 1 1 0 0 1 1 0 0 0 1 0 1 0 1 1 0 1 0 1 0 1 0 1 1 0 0 0
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node21/watcher-277885-1169271013 -o ROOT/results/node21/solver-277885-1169271013 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/277885-1169271013/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.92 1.98 1.94 3/93 15921
/proc/meminfo: memFree=1290392/2055920 swapFree=4156356/4192956
[pid=15920] ppid=15918 vsize=1784 CPUtime=0
/proc/15920/stat : 15920 (java) D 15918 15920 14854 0 -1 0 194 0 0 0 0 0 0 0 18 0 1 0 275495809 1826816 160 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099781622 0 0 17 0 0 0
/proc/15920/statm: 446 160 125 14 0 91 0
[startup+0.107756 s]
/proc/loadavg: 1.92 1.98 1.94 3/93 15921
/proc/meminfo: memFree=1290392/2055920 swapFree=4156356/4192956
[pid=15920] ppid=15918 vsize=909872 CPUtime=0.06
/proc/15920/stat : 15920 (java) R 15918 15920 14854 0 -1 0 2540 0 1 0 5 1 0 0 20 0 8 0 275495809 931708928 2287 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4153609873 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15920/statm: 227468 2287 1245 14 0 215051 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 909872
[startup+0.515834 s]
/proc/loadavg: 1.92 1.98 1.94 3/93 15921
/proc/meminfo: memFree=1290392/2055920 swapFree=4156356/4192956
[pid=15920] ppid=15918 vsize=915332 CPUtime=0.46
/proc/15920/stat : 15920 (java) R 15918 15920 14854 0 -1 0 6180 0 1 0 42 4 0 0 18 0 8 0 275495809 937299968 5919 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15920/statm: 228833 5919 2142 14 0 215303 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 915332
[startup+1.33699 s]
/proc/loadavg: 1.92 1.98 1.94 3/100 15928
/proc/meminfo: memFree=1272288/2055920 swapFree=4156356/4192956
[pid=15920] ppid=15918 vsize=915428 CPUtime=1.27
/proc/15920/stat : 15920 (java) R 15918 15920 14854 0 -1 0 7203 0 1 0 104 23 0 0 25 0 8 0 275495809 937398272 6941 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15920/statm: 228857 6941 2478 14 0 215327 0
[pid=15920/tid=15922] ppid=15918 vsize=915428 CPUtime=0.03
/proc/15920/task/15922/stat : 15922 (java) S 15918 15920 14854 0 -1 64 187 0 0 0 3 0 0 0 16 0 8 0 275495815 937398272 6941 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15920/tid=15923] ppid=15918 vsize=915428 CPUtime=0
/proc/15920/task/15923/stat : 15923 (java) S 15918 15920 14854 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275495816 937398272 6941 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15920/tid=15924] ppid=15918 vsize=915428 CPUtime=0
/proc/15920/task/15924/stat : 15924 (java) S 15918 15920 14854 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275495816 937398272 6941 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15920/tid=15925] ppid=15918 vsize=915428 CPUtime=0
/proc/15920/task/15925/stat : 15925 (java) S 15918 15920 14854 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 275495819 937398272 6941 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15920/tid=15926] ppid=15918 vsize=915428 CPUtime=0.12
/proc/15920/task/15926/stat : 15926 (java) S 15918 15920 14854 0 -1 64 344 0 0 0 12 0 0 0 16 0 8 0 275495819 937398272 6941 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15920/tid=15927] ppid=15918 vsize=915428 CPUtime=0
/proc/15920/task/15927/stat : 15927 (java) S 15918 15920 14854 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 275495819 937398272 6941 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15920/tid=15928] ppid=15918 vsize=915428 CPUtime=0
/proc/15920/task/15928/stat : 15928 (java) S 15918 15920 14854 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275495819 937398272 6941 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.27
Current children cumulated vsize (KiB) 915428
[startup+2.9783 s]
/proc/loadavg: 1.92 1.98 1.94 3/100 15928
/proc/meminfo: memFree=1272224/2055920 swapFree=4156356/4192956
[pid=15920] ppid=15918 vsize=915428 CPUtime=2.9
/proc/15920/stat : 15920 (java) R 15918 15920 14854 0 -1 0 7206 0 1 0 225 65 0 0 25 0 8 0 275495809 937398272 6943 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15920/statm: 228857 6943 2478 14 0 215327 0
[pid=15920/tid=15922] ppid=15918 vsize=915428 CPUtime=0.03
/proc/15920/task/15922/stat : 15922 (java) S 15918 15920 14854 0 -1 64 187 0 0 0 3 0 0 0 16 0 8 0 275495815 937398272 6943 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15920/tid=15923] ppid=15918 vsize=915428 CPUtime=0
/proc/15920/task/15923/stat : 15923 (java) S 15918 15920 14854 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275495816 937398272 6943 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15920/tid=15924] ppid=15918 vsize=915428 CPUtime=0
/proc/15920/task/15924/stat : 15924 (java) S 15918 15920 14854 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275495816 937398272 6943 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15920/tid=15925] ppid=15918 vsize=915428 CPUtime=0
/proc/15920/task/15925/stat : 15925 (java) S 15918 15920 14854 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 275495819 937398272 6943 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15920/tid=15926] ppid=15918 vsize=915428 CPUtime=0.13
/proc/15920/task/15926/stat : 15926 (java) S 15918 15920 14854 0 -1 64 346 0 0 0 13 0 0 0 16 0 8 0 275495819 937398272 6943 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15920/tid=15927] ppid=15918 vsize=915428 CPUtime=0
/proc/15920/task/15927/stat : 15927 (java) S 15918 15920 14854 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 275495819 937398272 6943 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15920/tid=15928] ppid=15918 vsize=915428 CPUtime=0
/proc/15920/task/15928/stat : 15928 (java) S 15918 15920 14854 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275495819 937398272 6943 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.9
Current children cumulated vsize (KiB) 915428
[startup+6.27192 s]
/proc/loadavg: 1.93 1.98 1.94 3/100 15928
/proc/meminfo: memFree=1272168/2055920 swapFree=4156356/4192956
[pid=15920] ppid=15918 vsize=915424 CPUtime=6.16
/proc/15920/stat : 15920 (java) R 15918 15920 14854 0 -1 0 7206 0 1 0 452 164 0 0 25 0 8 0 275495809 937394176 6943 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 8818718 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15920/statm: 228856 6943 2478 14 0 215326 0
[pid=15920/tid=15922] ppid=15918 vsize=915424 CPUtime=0.03
/proc/15920/task/15922/stat : 15922 (java) S 15918 15920 14854 0 -1 64 187 0 0 0 3 0 0 0 16 0 8 0 275495815 937394176 6943 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15920/tid=15923] ppid=15918 vsize=915424 CPUtime=0
/proc/15920/task/15923/stat : 15923 (java) S 15918 15920 14854 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275495816 937394176 6943 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15920/tid=15924] ppid=15918 vsize=915424 CPUtime=0
/proc/15920/task/15924/stat : 15924 (java) S 15918 15920 14854 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275495816 937394176 6943 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15920/tid=15925] ppid=15918 vsize=915424 CPUtime=0
/proc/15920/task/15925/stat : 15925 (java) S 15918 15920 14854 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 275495819 937394176 6943 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15920/tid=15926] ppid=15918 vsize=915424 CPUtime=0.13
/proc/15920/task/15926/stat : 15926 (java) S 15918 15920 14854 0 -1 64 346 0 0 0 13 0 0 0 16 0 8 0 275495819 937394176 6943 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15920/tid=15927] ppid=15918 vsize=915424 CPUtime=0
/proc/15920/task/15927/stat : 15927 (java) S 15918 15920 14854 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 275495819 937394176 6943 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15920/tid=15928] ppid=15918 vsize=915424 CPUtime=0
/proc/15920/task/15928/stat : 15928 (java) S 15918 15920 14854 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275495819 937394176 6943 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.16
Current children cumulated vsize (KiB) 915424
[startup+12.7481 s]
/proc/loadavg: 2.01 2.00 1.94 3/100 15928
/proc/meminfo: memFree=1272168/2055920 swapFree=4156356/4192956
[pid=15920] ppid=15918 vsize=915428 CPUtime=12.58
/proc/15920/stat : 15920 (java) R 15918 15920 14854 0 -1 0 7207 0 1 0 913 345 0 0 25 0 8 0 275495809 937398272 6943 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15920/statm: 228857 6943 2478 14 0 215327 0
[pid=15920/tid=15922] ppid=15918 vsize=915428 CPUtime=0.03
/proc/15920/task/15922/stat : 15922 (java) S 15918 15920 14854 0 -1 64 187 0 0 0 3 0 0 0 16 0 8 0 275495815 937398272 6943 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15920/tid=15923] ppid=15918 vsize=915428 CPUtime=0
/proc/15920/task/15923/stat : 15923 (java) S 15918 15920 14854 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275495816 937398272 6943 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15920/tid=15924] ppid=15918 vsize=915428 CPUtime=0
/proc/15920/task/15924/stat : 15924 (java) S 15918 15920 14854 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275495816 937398272 6943 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15920/tid=15925] ppid=15918 vsize=915428 CPUtime=0
/proc/15920/task/15925/stat : 15925 (java) S 15918 15920 14854 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 275495819 937398272 6943 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15920/tid=15926] ppid=15918 vsize=915428 CPUtime=0.13
/proc/15920/task/15926/stat : 15926 (java) S 15918 15920 14854 0 -1 64 346 0 0 0 13 0 0 0 16 0 8 0 275495819 937398272 6943 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15920/tid=15927] ppid=15918 vsize=915428 CPUtime=0
/proc/15920/task/15927/stat : 15927 (java) S 15918 15920 14854 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 275495819 937398272 6943 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15920/tid=15928] ppid=15918 vsize=915428 CPUtime=0
/proc/15920/task/15928/stat : 15928 (java) S 15918 15920 14854 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275495819 937398272 6943 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.58
Current children cumulated vsize (KiB) 915428
[startup+25.6076 s]
/proc/loadavg: 2.01 2.00 1.94 3/100 15928
/proc/meminfo: memFree=1272232/2055920 swapFree=4156356/4192956
[pid=15920] ppid=15918 vsize=915424 CPUtime=25.32
/proc/15920/stat : 15920 (java) R 15918 15920 14854 0 -1 0 7208 0 1 0 1831 701 0 0 25 0 8 0 275495809 937394176 6944 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 8879773 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15920/statm: 228856 6944 2478 14 0 215326 0
[pid=15920/tid=15922] ppid=15918 vsize=915424 CPUtime=0.03
/proc/15920/task/15922/stat : 15922 (java) S 15918 15920 14854 0 -1 64 187 0 0 0 3 0 0 0 16 0 8 0 275495815 937394176 6944 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15920/tid=15923] ppid=15918 vsize=915424 CPUtime=0
/proc/15920/task/15923/stat : 15923 (java) S 15918 15920 14854 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275495816 937394176 6944 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15920/tid=15924] ppid=15918 vsize=915424 CPUtime=0
/proc/15920/task/15924/stat : 15924 (java) S 15918 15920 14854 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275495816 937394176 6944 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15920/tid=15925] ppid=15918 vsize=915424 CPUtime=0
/proc/15920/task/15925/stat : 15925 (java) S 15918 15920 14854 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 275495819 937394176 6944 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15920/tid=15926] ppid=15918 vsize=915424 CPUtime=0.13
/proc/15920/task/15926/stat : 15926 (java) S 15918 15920 14854 0 -1 64 347 0 0 0 13 0 0 0 16 0 8 0 275495819 937394176 6944 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15920/tid=15927] ppid=15918 vsize=915424 CPUtime=0
/proc/15920/task/15927/stat : 15927 (java) S 15918 15920 14854 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 275495819 937394176 6944 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15920/tid=15928] ppid=15918 vsize=915424 CPUtime=0
/proc/15920/task/15928/stat : 15928 (java) R 15918 15920 14854 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275495819 937394176 6944 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.32
Current children cumulated vsize (KiB) 915424
[startup+51.2184 s]
/proc/loadavg: 2.00 2.00 1.94 3/100 15928
/proc/meminfo: memFree=1261480/2055920 swapFree=4156356/4192956
[pid=15920] ppid=15918 vsize=915556 CPUtime=50.7
/proc/15920/stat : 15920 (java) R 15918 15920 14854 0 -1 0 9979 0 1 0 4207 863 0 0 25 0 8 0 275495809 937529344 9712 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073962337 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15920/statm: 228889 9712 2534 14 0 215359 0
[pid=15920/tid=15922] ppid=15918 vsize=915556 CPUtime=0.03
/proc/15920/task/15922/stat : 15922 (java) S 15918 15920 14854 0 -1 64 188 0 0 0 3 0 0 0 16 0 8 0 275495815 937529344 9712 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15920/tid=15923] ppid=15918 vsize=915556 CPUtime=0
/proc/15920/task/15923/stat : 15923 (java) S 15918 15920 14854 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275495816 937529344 9712 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15920/tid=15924] ppid=15918 vsize=915556 CPUtime=0
/proc/15920/task/15924/stat : 15924 (java) S 15918 15920 14854 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275495816 937529344 9712 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15920/tid=15925] ppid=15918 vsize=915556 CPUtime=0
/proc/15920/task/15925/stat : 15925 (java) S 15918 15920 14854 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 275495819 937529344 9712 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15920/tid=15926] ppid=15918 vsize=915556 CPUtime=0.26
/proc/15920/task/15926/stat : 15926 (java) S 15918 15920 14854 0 -1 64 423 0 0 0 25 1 0 0 16 0 8 0 275495819 937529344 9712 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15920/tid=15927] ppid=15918 vsize=915556 CPUtime=0
/proc/15920/task/15927/stat : 15927 (java) S 15918 15920 14854 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 275495819 937529344 9712 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15920/tid=15928] ppid=15918 vsize=915556 CPUtime=0
/proc/15920/task/15928/stat : 15928 (java) S 15918 15920 14854 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275495819 937529344 9712 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.7
Current children cumulated vsize (KiB) 915556
[startup+102.433 s]
/proc/loadavg: 2.00 2.00 1.94 3/100 15928
/proc/meminfo: memFree=1261416/2055920 swapFree=4156356/4192956
[pid=15920] ppid=15918 vsize=915556 CPUtime=101.44
/proc/15920/stat : 15920 (java) R 15918 15920 14854 0 -1 0 9988 0 1 0 9281 863 0 0 25 0 8 0 275495809 937529344 9721 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073962337 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15920/statm: 228889 9721 2534 14 0 215359 0
[pid=15920/tid=15922] ppid=15918 vsize=915556 CPUtime=0.03
/proc/15920/task/15922/stat : 15922 (java) S 15918 15920 14854 0 -1 64 188 0 0 0 3 0 0 0 16 0 8 0 275495815 937529344 9721 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15920/tid=15923] ppid=15918 vsize=915556 CPUtime=0
/proc/15920/task/15923/stat : 15923 (java) S 15918 15920 14854 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275495816 937529344 9721 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15920/tid=15924] ppid=15918 vsize=915556 CPUtime=0
/proc/15920/task/15924/stat : 15924 (java) S 15918 15920 14854 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275495816 937529344 9721 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15920/tid=15925] ppid=15918 vsize=915556 CPUtime=0
/proc/15920/task/15925/stat : 15925 (java) S 15918 15920 14854 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 275495819 937529344 9721 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15920/tid=15926] ppid=15918 vsize=915556 CPUtime=0.26
/proc/15920/task/15926/stat : 15926 (java) S 15918 15920 14854 0 -1 64 424 0 0 0 25 1 0 0 16 0 8 0 275495819 937529344 9721 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15920/tid=15927] ppid=15918 vsize=915556 CPUtime=0
/proc/15920/task/15927/stat : 15927 (java) S 15918 15920 14854 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 275495819 937529344 9721 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15920/tid=15928] ppid=15918 vsize=915556 CPUtime=0
/proc/15920/task/15928/stat : 15928 (java) S 15918 15920 14854 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275495819 937529344 9721 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.44
Current children cumulated vsize (KiB) 915556
[startup+162.486 s]
/proc/loadavg: 2.00 2.00 1.94 3/100 15928
/proc/meminfo: memFree=1261416/2055920 swapFree=4156356/4192956
[pid=15920] ppid=15918 vsize=915556 CPUtime=160.93
/proc/15920/stat : 15920 (java) R 15918 15920 14854 0 -1 0 9994 0 1 0 15230 863 0 0 25 0 8 0 275495809 937529344 9726 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073826292 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 2008.12
Current children cumulated vsize (KiB) 915556
[startup+2084.36 s]
/proc/loadavg: 2.01 2.02 2.00 3/93 16174
/proc/meminfo: memFree=1283552/2055920 swapFree=4156356/4192956
[pid=15920] ppid=15918 vsize=915556 CPUtime=2068.12
/proc/15920/stat : 15920 (java) R 15918 15920 14854 0 -1 0 10015 0 1 0 205929 883 0 0 25 0 8 0 275495809 937529344 9745 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073962597 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15920/statm: 228889 9745 2534 14 0 215359 0
[pid=15920/tid=15922] ppid=15918 vsize=915556 CPUtime=0.03
/proc/15920/task/15922/stat : 15922 (java) S 15918 15920 14854 0 -1 64 188 0 0 0 3 0 0 0 16 0 8 0 275495815 937529344 9745 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15920/tid=15923] ppid=15918 vsize=915556 CPUtime=0
/proc/15920/task/15923/stat : 15923 (java) S 15918 15920 14854 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275495816 937529344 9745 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15920/tid=15924] ppid=15918 vsize=915556 CPUtime=0
/proc/15920/task/15924/stat : 15924 (java) S 15918 15920 14854 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275495816 937529344 9745 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15920/tid=15925] ppid=15918 vsize=915556 CPUtime=0
/proc/15920/task/15925/stat : 15925 (java) S 15918 15920 14854 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 275495819 937529344 9745 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15920/tid=15926] ppid=15918 vsize=915556 CPUtime=0.27
/proc/15920/task/15926/stat : 15926 (java) S 15918 15920 14854 0 -1 64 425 0 0 0 26 1 0 0 16 0 8 0 275495819 937529344 9745 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15920/tid=15927] ppid=15918 vsize=915556 CPUtime=0
/proc/15920/task/15927/stat : 15927 (java) S 15918 15920 14854 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 275495819 937529344 9745 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15920/tid=15928] ppid=15918 vsize=915556 CPUtime=0
/proc/15920/task/15928/stat : 15928 (java) S 15918 15920 14854 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275495819 937529344 9745 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2068.12
Current children cumulated vsize (KiB) 915556
[startup+2144.42 s]
/proc/loadavg: 2.00 2.01 2.00 3/93 16174
/proc/meminfo: memFree=1283552/2055920 swapFree=4156356/4192956
[pid=15920] ppid=15918 vsize=915556 CPUtime=2128.14
/proc/15920/stat : 15920 (java) R 15918 15920 14854 0 -1 0 10015 0 1 0 211930 884 0 0 25 0 8 0 275495809 937529344 9745 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073903558 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15920/statm: 228889 9745 2534 14 0 215359 0
[pid=15920/tid=15922] ppid=15918 vsize=915556 CPUtime=0.03
/proc/15920/task/15922/stat : 15922 (java) S 15918 15920 14854 0 -1 64 188 0 0 0 3 0 0 0 16 0 8 0 275495815 937529344 9745 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15920/tid=15923] ppid=15918 vsize=915556 CPUtime=0
/proc/15920/task/15923/stat : 15923 (java) S 15918 15920 14854 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275495816 937529344 9745 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15920/tid=15924] ppid=15918 vsize=915556 CPUtime=0
/proc/15920/task/15924/stat : 15924 (java) S 15918 15920 14854 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275495816 937529344 9745 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15920/tid=15925] ppid=15918 vsize=915556 CPUtime=0
/proc/15920/task/15925/stat : 15925 (java) S 15918 15920 14854 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 275495819 937529344 9745 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15920/tid=15926] ppid=15918 vsize=915556 CPUtime=0.27
/proc/15920/task/15926/stat : 15926 (java) S 15918 15920 14854 0 -1 64 425 0 0 0 26 1 0 0 16 0 8 0 275495819 937529344 9745 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15920/tid=15927] ppid=15918 vsize=915556 CPUtime=0
/proc/15920/task/15927/stat : 15927 (java) S 15918 15920 14854 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 275495819 937529344 9745 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15920/tid=15928] ppid=15918 vsize=915556 CPUtime=0
/proc/15920/task/15928/stat : 15928 (java) S 15918 15920 14854 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275495819 937529344 9745 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2128.14
Current children cumulated vsize (KiB) 915556
[startup+2204.49 s]
/proc/loadavg: 2.00 2.01 2.00 3/93 16174
/proc/meminfo: memFree=1283552/2055920 swapFree=4156356/4192956
[pid=15920] ppid=15918 vsize=915556 CPUtime=2188.14
/proc/15920/stat : 15920 (java) R 15918 15920 14854 0 -1 0 10015 0 1 0 217930 884 0 0 25 0 8 0 275495809 937529344 9745 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073826292 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15920/statm: 228889 9745 2534 14 0 215359 0
[pid=15920/tid=15922] ppid=15918 vsize=915556 CPUtime=0.03
/proc/15920/task/15922/stat : 15922 (java) S 15918 15920 14854 0 -1 64 188 0 0 0 3 0 0 0 16 0 8 0 275495815 937529344 9745 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15920/tid=15923] ppid=15918 vsize=915556 CPUtime=0
/proc/15920/task/15923/stat : 15923 (java) S 15918 15920 14854 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275495816 937529344 9745 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15920/tid=15924] ppid=15918 vsize=915556 CPUtime=0
/proc/15920/task/15924/stat : 15924 (java) S 15918 15920 14854 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275495816 937529344 9745 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15920/tid=15925] ppid=15918 vsize=915556 CPUtime=0
/proc/15920/task/15925/stat : 15925 (java) S 15918 15920 14854 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 275495819 937529344 9745 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15920/tid=15926] ppid=15918 vsize=915556 CPUtime=0.27
/proc/15920/task/15926/stat : 15926 (java) S 15918 15920 14854 0 -1 64 425 0 0 0 26 1 0 0 16 0 8 0 275495819 937529344 9745 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15920/tid=15927] ppid=15918 vsize=915556 CPUtime=0
/proc/15920/task/15927/stat : 15927 (java) S 15918 15920 14854 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 275495819 937529344 9745 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15920/tid=15928] ppid=15918 vsize=915556 CPUtime=0
/proc/15920/task/15928/stat : 15928 (java) S 15918 15920 14854 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275495819 937529344 9745 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2188.14
Current children cumulated vsize (KiB) 915556
[startup+2264.55 s]
/proc/loadavg: 2.05 2.02 2.00 3/93 16174
/proc/meminfo: memFree=1283552/2055920 swapFree=4156356/4192956
[pid=15920] ppid=15918 vsize=915556 CPUtime=2248.12
/proc/15920/stat : 15920 (java) R 15918 15920 14854 0 -1 0 10015 0 1 0 223928 884 0 0 25 0 8 0 275495809 937529344 9745 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073962967 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15920/statm: 228889 9745 2534 14 0 215359 0
[pid=15920/tid=15922] ppid=15918 vsize=915556 CPUtime=0.03
/proc/15920/task/15922/stat : 15922 (java) S 15918 15920 14854 0 -1 64 188 0 0 0 3 0 0 0 16 0 8 0 275495815 937529344 9745 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15920/tid=15923] ppid=15918 vsize=915556 CPUtime=0
/proc/15920/task/15923/stat : 15923 (java) S 15918 15920 14854 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275495816 937529344 9745 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15920/tid=15924] ppid=15918 vsize=915556 CPUtime=0
/proc/15920/task/15924/stat : 15924 (java) S 15918 15920 14854 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275495816 937529344 9745 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15920/tid=15925] ppid=15918 vsize=915556 CPUtime=0
/proc/15920/task/15925/stat : 15925 (java) S 15918 15920 14854 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 275495819 937529344 9745 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15920/tid=15926] ppid=15918 vsize=915556 CPUtime=0.27
/proc/15920/task/15926/stat : 15926 (java) S 15918 15920 14854 0 -1 64 425 0 0 0 26 1 0 0 16 0 8 0 275495819 937529344 9745 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15920/tid=15927] ppid=15918 vsize=915556 CPUtime=0
/proc/15920/task/15927/stat : 15927 (java) S 15918 15920 14854 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 275495819 937529344 9745 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15920/tid=15928] ppid=15918 vsize=915556 CPUtime=0
/proc/15920/task/15928/stat : 15928 (java) S 15918 15920 14854 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275495819 937529344 9745 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2248.12
Current children cumulated vsize (KiB) 915556
[startup+2324.61 s]
/proc/loadavg: 2.02 2.01 2.00 3/93 16174
/proc/meminfo: memFree=1283552/2055920 swapFree=4156356/4192956
[pid=15920] ppid=15918 vsize=915556 CPUtime=2308.11
/proc/15920/stat : 15920 (java) R 15918 15920 14854 0 -1 0 10015 0 1 0 229927 884 0 0 25 0 8 0 275495809 937529344 9745 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073962789 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15920/statm: 228889 9745 2534 14 0 215359 0
[pid=15920/tid=15922] ppid=15918 vsize=915556 CPUtime=0.03
/proc/15920/task/15922/stat : 15922 (java) S 15918 15920 14854 0 -1 64 188 0 0 0 3 0 0 0 16 0 8 0 275495815 937529344 9745 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15920/tid=15923] ppid=15918 vsize=915556 CPUtime=0
/proc/15920/task/15923/stat : 15923 (java) S 15918 15920 14854 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275495816 937529344 9745 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15920/tid=15924] ppid=15918 vsize=915556 CPUtime=0
/proc/15920/task/15924/stat : 15924 (java) S 15918 15920 14854 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275495816 937529344 9745 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15920/tid=15925] ppid=15918 vsize=915556 CPUtime=0
/proc/15920/task/15925/stat : 15925 (java) S 15918 15920 14854 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 275495819 937529344 9745 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15920/tid=15926] ppid=15918 vsize=915556 CPUtime=0.27
/proc/15920/task/15926/stat : 15926 (java) S 15918 15920 14854 0 -1 64 425 0 0 0 26 1 0 0 16 0 8 0 275495819 937529344 9745 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15920/tid=15927] ppid=15918 vsize=915556 CPUtime=0
/proc/15920/task/15927/stat : 15927 (java) S 15918 15920 14854 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 275495819 937529344 9745 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15920/tid=15928] ppid=15918 vsize=915556 CPUtime=0
/proc/15920/task/15928/stat : 15928 (java) S 15918 15920 14854 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275495819 937529344 9745 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2308.11
Current children cumulated vsize (KiB) 915556
[startup+2384.66 s]
/proc/loadavg: 2.06 2.03 2.00 3/93 16174
/proc/meminfo: memFree=1283616/2055920 swapFree=4156356/4192956
[pid=15920] ppid=15918 vsize=915556 CPUtime=2368.12
/proc/15920/stat : 15920 (java) R 15918 15920 14854 0 -1 0 10015 0 1 0 235928 884 0 0 25 0 8 0 275495809 937529344 9745 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073900950 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15920/statm: 228889 9745 2534 14 0 215359 0
[pid=15920/tid=15922] ppid=15918 vsize=915556 CPUtime=0.03
/proc/15920/task/15922/stat : 15922 (java) S 15918 15920 14854 0 -1 64 188 0 0 0 3 0 0 0 16 0 8 0 275495815 937529344 9745 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15920/tid=15923] ppid=15918 vsize=915556 CPUtime=0
/proc/15920/task/15923/stat : 15923 (java) S 15918 15920 14854 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275495816 937529344 9745 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15920/tid=15924] ppid=15918 vsize=915556 CPUtime=0
/proc/15920/task/15924/stat : 15924 (java) S 15918 15920 14854 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275495816 937529344 9745 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15920/tid=15925] ppid=15918 vsize=915556 CPUtime=0
/proc/15920/task/15925/stat : 15925 (java) S 15918 15920 14854 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 275495819 937529344 9745 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15920/tid=15926] ppid=15918 vsize=915556 CPUtime=0.27
/proc/15920/task/15926/stat : 15926 (java) S 15918 15920 14854 0 -1 64 425 0 0 0 26 1 0 0 16 0 8 0 275495819 937529344 9745 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15920/tid=15927] ppid=15918 vsize=915556 CPUtime=0
/proc/15920/task/15927/stat : 15927 (java) S 15918 15920 14854 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 275495819 937529344 9745 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15920/tid=15928] ppid=15918 vsize=915556 CPUtime=0
/proc/15920/task/15928/stat : 15928 (java) S 15918 15920 14854 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275495819 937529344 9745 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2368.12
Current children cumulated vsize (KiB) 915556
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2416.66 s]
/proc/loadavg: 2.04 2.03 2.00 3/93 16174
/proc/meminfo: memFree=1283616/2055920 swapFree=4156356/4192956
[pid=15920] ppid=15918 vsize=915556 CPUtime=2400.07
/proc/15920/stat : 15920 (java) R 15918 15920 14854 0 -1 0 10015 0 1 0 239123 884 0 0 25 0 8 0 275495809 937529344 9745 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073927673 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15920/statm: 228889 9745 2534 14 0 215359 0
[pid=15920/tid=15922] ppid=15918 vsize=915556 CPUtime=0.03
/proc/15920/task/15922/stat : 15922 (java) S 15918 15920 14854 0 -1 64 188 0 0 0 3 0 0 0 16 0 8 0 275495815 937529344 9745 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15920/tid=15923] ppid=15918 vsize=915556 CPUtime=0
/proc/15920/task/15923/stat : 15923 (java) S 15918 15920 14854 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275495816 937529344 9745 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15920/tid=15924] ppid=15918 vsize=915556 CPUtime=0
/proc/15920/task/15924/stat : 15924 (java) S 15918 15920 14854 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275495816 937529344 9745 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15920/tid=15925] ppid=15918 vsize=915556 CPUtime=0
/proc/15920/task/15925/stat : 15925 (java) S 15918 15920 14854 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 275495819 937529344 9745 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15920/tid=15926] ppid=15918 vsize=915556 CPUtime=0.27
/proc/15920/task/15926/stat : 15926 (java) S 15918 15920 14854 0 -1 64 425 0 0 0 26 1 0 0 16 0 8 0 275495819 937529344 9745 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15920/tid=15927] ppid=15918 vsize=915556 CPUtime=0
/proc/15920/task/15927/stat : 15927 (java) S 15918 15920 14854 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 275495819 937529344 9745 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15920/tid=15928] ppid=15918 vsize=915556 CPUtime=0
/proc/15920/task/15928/stat : 15928 (java) R 15918 15920 14854 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275495819 937529344 9745 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2400.07
Current children cumulated vsize (KiB) 915556
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 2416.73
CPU time (s): 2400.14
CPU user time (s): 2391.29
CPU system time (s): 8.84965
CPU usage (%): 99.3134
Max. virtual memory (cumulated for all children) (KiB): 915556
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2391.29
system time used= 8.84965
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10037
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= 50150
involuntary context switches= 119455
runsolver used 3.15252 s user time and 7.55885 s system time
The end
Begin job on node21 on Sat Jan 20 05:30:13 UTC 2007
IDJOB= 277885
IDBENCH= 7776
IDSOLVER= 68
FILE ID= node21/277885-1169271013
PBS_JOBID= 3607383
Free space on /tmp= 66561 MiB
SOLVER NAME= AbsconMax 109 EPFC
BENCH NAME= HOME/pub/bench/CPAI06/MaxCSP/cnf/3-80-100-1000/cnf-3-80-500-638341_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/277885-1169271013/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node21/watcher-277885-1169271013 -o ROOT/results/node21/solver-277885-1169271013 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/277885-1169271013/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= c23a08f9a2806a3728125b719095abe2
RANDOM SEED= 577091234
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.261
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.261
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: 1290872 kB
Buffers: 47576 kB
Cached: 584956 kB
SwapCached: 2928 kB
Active: 235172 kB
Inactive: 453616 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1290872 kB
SwapTotal: 4192956 kB
SwapFree: 4156356 kB
Dirty: 1796 kB
Writeback: 0 kB
Mapped: 75228 kB
Slab: 61100 kB
Committed_AS: 5896964 kB
PageTables: 2252 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 node21 on Sat Jan 20 06:10:30 UTC 2007