0.31
0.31 Abscon 109 (November, 2006)
0.31
0.31 configuration
0.31 name=pfc.xml
0.34
0.34 instance
0.34 name=/tmp/evaluation/278471-1169288201/unknown.xml
0.37
0.37 domains being loaded...
0.38
0.38 variables being loaded...
0.40 nbVariables=40 nbDomainTypes=1 minDomainSize=2 maxDomainSize=2
0.40 => wckTime=0.091 cpuTime=0.08 mem=6M910
0.40
0.40 relations being loaded...
0.41
0.41 constraints being loaded...
0.57 nbConstraints=649 nbRelationTypes=14 nbExtensionStructures=14 nbSharedExtensionStructures=635
0.57 nbConflictsStructures=14 nbSharedConflictsStructures=635 nbSharedBinaryRepresentations=52 maxDegree=36
0.57 maxArity=2
0.57 => wckTime=0.256 cpuTime=0.17 mem=8M860
0.61
0.61 solver LocalSearchSolver being built...
0.65 => wckTime=0.339 cpuTime=0.21 mem=5M686
0.66
0.66 s SATISFIABLE
0.66 o 285
0.66 c 364
0.66 o 290
0.66 c 359
0.66 o 296
0.66 c 353
0.66 o 302
0.66 c 347
0.66 o 305
0.66 c 344
0.66 o 307
0.66 c 342
0.66 o 309
0.66 c 340
0.67 o 314
0.67 c 335
0.67 o 316
0.67 c 333
0.67 o 318
0.67 c 331
0.68 o 320
0.68 c 329
0.68 o 321
0.68 c 328
0.72 o 323
0.72 c 326
0.72 o 324
0.72 c 325
0.73 o 325
0.73 c 324
0.74 o 327
0.74 c 322
0.74 o 328
0.74 c 321
0.77 o 331
0.77 c 318
0.86 o 332
0.86 c 317
1.24 o 333
1.24 c 316
1.74 o 334
1.74 c 315
3.27
3.27 search
3.27 run=0 nbConstraintChecks=11990614 nbAssignments=10000
3.27 => wckTime=2.618 cpuTime=2.59 mem=5M686
5.84
5.84 search
5.84 run=1 nbConstraintChecks=24049106 nbAssignments=20000
5.84 => wckTime=5.191 cpuTime=5.13 mem=5M686
8.40
8.40 search
8.40 run=2 nbConstraintChecks=36041301 nbAssignments=30000
8.40 => wckTime=7.753 cpuTime=7.67 mem=5M686
10.97
10.97 search
10.97 run=3 nbConstraintChecks=48097110 nbAssignments=40000
10.97 => wckTime=10.325 cpuTime=10.22 mem=5M686
13.54
13.54 search
13.54 run=4 nbConstraintChecks=60093125 nbAssignments=50000
13.54 => wckTime=12.888 cpuTime=12.76 mem=5M686
16.10
16.10 search
16.10 run=5 nbConstraintChecks=72140876 nbAssignments=60000
16.10 => wckTime=15.454 cpuTime=15.29 mem=5M686
18.64
18.64 search
18.64 run=6 nbConstraintChecks=84138868 nbAssignments=70000
18.64 => wckTime=17.994 cpuTime=17.82 mem=5M686
21.19
21.19 search
21.19 run=7 nbConstraintChecks=96193480 nbAssignments=80000
21.19 => wckTime=20.542 cpuTime=20.34 mem=5M686
23.73
23.73 search
23.73 run=8 nbConstraintChecks=108187997 nbAssignments=90000
23.73 => wckTime=23.081 cpuTime=22.86 mem=5M686
26.31
26.31 search
26.31 run=9 nbConstraintChecks=120241432 nbAssignments=100000
26.31 => wckTime=25.657 cpuTime=25.4 mem=5M686
28.87
28.87 search
28.87 run=10 nbConstraintChecks=132242083 nbAssignments=110000
28.87 => wckTime=28.221 cpuTime=27.94 mem=5M686
31.44
31.44 search
31.44 run=11 nbConstraintChecks=144293466 nbAssignments=120000
31.44 => wckTime=30.786 cpuTime=30.49 mem=5M686
32.03
32.03 search
32.03 run=12 nbConstraintChecks=147050625 nbAssignments=122323
32.03 => wckTime=31.381 cpuTime=31.08 mem=5M686
32.03
32.03 global
32.03 nbConstraintChecks=147050625 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
32.03 solvingWckTime=31.38 solvingCpuTime=31.08 expiredTime=no totalExploration=no nbFoundSolutions=0
32.03 globalCpuTime=31.34
32.03 => wckTime=31.721 cpuTime=31.29 mem=5M686
32.03
32.03 solver IterativeSystematicSolver being built...
32.17 => wckTime=31.864 cpuTime=31.39 mem=16M805
32.19
32.19 preprocessing
32.19 nbConstraintChecks=1534 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
32.19 detectedInconsistency=no
32.19 => wckTime=0.012 cpuTime=0.01 mem=16M805
32.25
32.25 search
32.25 run=0 nbConstraintChecks=70203 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=38
32.25 nbFailedAssignments=8 nbBacktracks=10 nbVisitedNodes=57 nbRestartNogoods=0
32.25 => wckTime=0.072 cpuTime=0.06 mem=16M805
32.30
32.30 search
32.30 run=1 nbConstraintChecks=157350 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=81
32.30 nbFailedAssignments=18 nbBacktracks=25 nbVisitedNodes=125 nbRestartNogoods=2
32.30 => wckTime=0.127 cpuTime=0.1 mem=16M805
32.35
32.35 search
32.35 run=2 nbConstraintChecks=272088 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=142
32.35 nbFailedAssignments=33 nbBacktracks=48 nbVisitedNodes=224 nbRestartNogoods=3
32.35 => wckTime=0.17 cpuTime=0.14 mem=16M805
32.40
32.40 search
32.40 run=3 nbConstraintChecks=423769 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=216
32.40 nbFailedAssignments=55 nbBacktracks=81 nbVisitedNodes=353 nbRestartNogoods=5
32.40 => wckTime=0.228 cpuTime=0.2 mem=16M805
32.49
32.49 search
32.49 run=4 nbConstraintChecks=631010 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=314
32.49 nbFailedAssignments=81 nbBacktracks=133 nbVisitedNodes=529 nbRestartNogoods=7
32.49 => wckTime=0.309 cpuTime=0.28 mem=16M805
32.59
32.59 search
32.59 run=5 nbConstraintChecks=924441 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=448
32.59 nbFailedAssignments=123 nbBacktracks=208 nbVisitedNodes=780 nbRestartNogoods=10
32.59 => wckTime=0.414 cpuTime=0.38 mem=16M805
32.75
32.75 search
32.75 run=6 nbConstraintChecks=1387125 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=646
32.75 nbFailedAssignments=190 nbBacktracks=322 nbVisitedNodes=1159 nbRestartNogoods=11
32.75 => wckTime=0.578 cpuTime=0.55 mem=16M805
33.05
33.05 search
33.05 run=7 nbConstraintChecks=2147314 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=954
33.05 nbFailedAssignments=311 nbBacktracks=493 nbVisitedNodes=1759 nbRestartNogoods=14
33.05 => wckTime=0.876 cpuTime=0.83 mem=16M805
33.43
33.43 search
33.43 run=8 nbConstraintChecks=3124345 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1369
33.43 nbFailedAssignments=454 nbBacktracks=749 nbVisitedNodes=2573 nbRestartNogoods=18
33.43 => wckTime=1.255 cpuTime=1.2 mem=16M805
33.97
33.97 search
33.97 run=9 nbConstraintChecks=4562393 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1985
33.97 nbFailedAssignments=668 nbBacktracks=1134 nbVisitedNodes=3788 nbRestartNogoods=21
33.97 => wckTime=1.794 cpuTime=1.72 mem=16M805
34.83
34.83 search
34.83 run=10 nbConstraintChecks=6941992 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2961
34.83 nbFailedAssignments=1052 nbBacktracks=1710 nbVisitedNodes=5724 nbRestartNogoods=26
34.83 => wckTime=2.656 cpuTime=2.57 mem=16M805
36.24
36.24 search
36.24 run=11 nbConstraintChecks=10695109 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=4463
36.24 nbFailedAssignments=1676 nbBacktracks=2574 nbVisitedNodes=8714 nbRestartNogoods=31
36.24 => wckTime=4.064 cpuTime=3.96 mem=16M805
38.20
38.20 search
38.20 run=12 nbConstraintChecks=15920282 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=6557
38.20 nbFailedAssignments=2457 nbBacktracks=3874 nbVisitedNodes=12889 nbRestartNogoods=37
38.20 => wckTime=6.028 cpuTime=5.91 mem=16M805
41.29
41.29 search
41.29 run=13 nbConstraintChecks=24252888 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=9898
41.29 nbFailedAssignments=3835 nbBacktracks=5821 nbVisitedNodes=19555 nbRestartNogoods=41
41.29 => wckTime=9.118 cpuTime=8.96 mem=16M805
45.99
45.99 search
45.99 run=14 nbConstraintChecks=36524445 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=14795
45.99 nbFailedAssignments=5797 nbBacktracks=8740 nbVisitedNodes=29333 nbRestartNogoods=44
45.99 => wckTime=13.814 cpuTime=13.62 mem=16M805
52.75
52.75 search
52.75 run=15 nbConstraintChecks=54165572 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=21998
52.75 nbFailedAssignments=8607 nbBacktracks=13119 nbVisitedNodes=43724 nbRestartNogoods=48
52.75 => wckTime=20.578 cpuTime=20.32 mem=16M805
63.09
63.09 search
63.09 run=16 nbConstraintChecks=81472425 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=33231
63.09 nbFailedAssignments=13255 nbBacktracks=19687 nbVisitedNodes=66173 nbRestartNogoods=56
63.09 => wckTime=30.913 cpuTime=30.56 mem=16M805
78.62
78.62 search
78.62 run=17 nbConstraintChecks=121047381 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=49127
78.62 nbFailedAssignments=19285 nbBacktracks=29539 nbVisitedNodes=97935 nbRestartNogoods=63
78.62 => wckTime=46.444 cpuTime=45.94 mem=16M805
103.62
103.62 search
103.62 run=18 nbConstraintChecks=184712901 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=73542
103.62 nbFailedAssignments=28912 nbBacktracks=44317 nbVisitedNodes=146673 nbRestartNogoods=68
103.62 => wckTime=71.447 cpuTime=70.72 mem=16M805
140.82
140.82 search
140.82 run=19 nbConstraintChecks=279629450 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=111025
140.82 nbFailedAssignments=44214 nbBacktracks=66485 nbVisitedNodes=221558 nbRestartNogoods=76
140.82 => wckTime=108.639 cpuTime=107.56 mem=16M805
199.17
199.17 search
199.17 run=20 nbConstraintChecks=428816514 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=168495
199.17 nbFailedAssignments=68419 nbBacktracks=99738 nbVisitedNodes=336270 nbRestartNogoods=81
199.17 => wckTime=166.991 cpuTime=165.37 mem=16M805
284.03
284.03 search
284.03 run=21 nbConstraintChecks=651275701 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=255197
284.03 nbFailedAssignments=105227 nbBacktracks=149617 nbVisitedNodes=508794 nbRestartNogoods=89
284.03 => wckTime=251.856 cpuTime=249.46 mem=16M805
403.10
403.10 search
403.10 run=22 nbConstraintChecks=965544412 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=382218
403.10 nbFailedAssignments=157413 nbBacktracks=224436 nbVisitedNodes=758420 nbRestartNogoods=96
403.10 => wckTime=370.921 cpuTime=367.42 mem=16M805
562.26
562.26 search
562.26 run=23 nbConstraintChecks=1399821816 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=564836
562.26 nbFailedAssignments=227785 nbBacktracks=336663 nbVisitedNodes=1108633 nbRestartNogoods=103
562.26 => wckTime=530.082 cpuTime=525.12 mem=16M805
609.85
609.85 search
609.85 run=24 nbConstraintChecks=1531882914 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=624609
609.85 nbFailedAssignments=246942 nbBacktracks=377280 nbVisitedNodes=1214962 nbRestartNogoods=111
609.85 => wckTime=577.674 cpuTime=572.27 mem=16M805
609.85
609.85 global
609.85 nbConstraintChecks=1531884448 nbRestartNogoods=111 solvingWckTime=577.675 solvingCpuTime=572.27 expiredTime=no
609.85 totalExploration=yes nbFoundSolutions=0 globalCpuTime=603.71
609.85 => wckTime=609.54 cpuTime=603.66 mem=16M805
609.86
609.86 s OPTIMUM FOUND
609.86 v 1 0 0 0 0 1 0 0 0 1 0 1 0 1 0 1 0 1 1 1 0 1 1 0 0 0 0 1 0 1 0 0 1 0 1 0 1 1 1 0
609.86
609.86 totalWckTime=609.621 totalCpuTime=603.71
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node2/watcher-278471-1169288201 -o ROOT/results/node2/solver-278471-1169288201 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/278471-1169288201/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.03 1.55 1.80 4/93 22924
/proc/meminfo: memFree=1221192/2055920 swapFree=4180552/4192956
[pid=22923] ppid=22921 vsize=908840 CPUtime=0.06
/proc/22923/stat : 22923 (java) R 22921 22923 22637 0 -1 0 2527 0 1 0 5 1 0 0 18 0 6 0 277215775 930652160 2274 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22923/statm: 227210 2274 1240 14 0 214793 0
[pid=22923/tid=22925] ppid=22921 vsize=908840 CPUtime=0
/proc/22923/task/22925/stat : 22925 (java) S 22921 22923 22637 0 -1 64 6 0 0 0 0 0 0 0 19 0 6 0 277215779 930652160 2274 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22923/tid=22926] ppid=22921 vsize=908840 CPUtime=0
/proc/22923/task/22926/stat : 22926 (java) S 22921 22923 22637 0 -1 64 10 0 0 0 0 0 0 0 19 0 6 0 277215779 930652160 2274 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22923/tid=22927] ppid=22921 vsize=908840 CPUtime=0
/proc/22923/task/22927/stat : 22927 (java) S 22921 22923 22637 0 -1 64 4 0 0 0 0 0 0 0 20 0 6 0 277215779 930652160 2274 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22923/tid=22928] ppid=22921 vsize=908840 CPUtime=0
/proc/22923/task/22928/stat : 22928 (java) S 22921 22923 22637 0 -1 64 0 0 0 0 0 0 0 0 18 0 6 0 277215782 930652160 2274 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22923/tid=22929] ppid=22921 vsize=908840 CPUtime=0
/proc/22923/task/22929/stat : 22929 (java) S 22921 22923 22637 0 -1 64 2 0 0 0 0 0 0 0 19 0 6 0 277215782 930652160 2274 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[startup+0.103623 s]
/proc/loadavg: 1.03 1.55 1.80 4/93 22924
/proc/meminfo: memFree=1221192/2055920 swapFree=4180552/4192956
[pid=22923] ppid=22921 vsize=914988 CPUtime=0.09
/proc/22923/stat : 22923 (java) R 22921 22923 22637 0 -1 0 3019 0 1 0 7 2 0 0 20 0 8 0 277215775 936947712 2765 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22923/statm: 228747 2765 1435 14 0 215242 0
[pid=22923/tid=22925] ppid=22921 vsize=914988 CPUtime=0
/proc/22923/task/22925/stat : 22925 (java) S 22921 22923 22637 0 -1 64 6 0 0 0 0 0 0 0 19 0 8 0 277215779 936947712 2765 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22923/tid=22926] ppid=22921 vsize=914988 CPUtime=0
/proc/22923/task/22926/stat : 22926 (java) S 22921 22923 22637 0 -1 64 10 0 0 0 0 0 0 0 19 0 8 0 277215779 936947712 2765 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22923/tid=22927] ppid=22921 vsize=914988 CPUtime=0
/proc/22923/task/22927/stat : 22927 (java) S 22921 22923 22637 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 277215779 936947712 2765 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22923/tid=22928] ppid=22921 vsize=914988 CPUtime=0
/proc/22923/task/22928/stat : 22928 (java) S 22921 22923 22637 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 277215782 936947712 2765 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22923/tid=22929] ppid=22921 vsize=914988 CPUtime=0
/proc/22923/task/22929/stat : 22929 (java) S 22921 22923 22637 0 -1 64 251 0 0 0 0 0 0 0 19 0 8 0 277215782 936947712 2765 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.511698 s]
/proc/loadavg: 1.03 1.55 1.80 4/93 22924
/proc/meminfo: memFree=1221192/2055920 swapFree=4180552/4192956
[pid=22923] ppid=22921 vsize=915332 CPUtime=0.49
/proc/22923/stat : 22923 (java) R 22921 22923 22637 0 -1 0 6338 0 1 0 45 4 0 0 22 0 8 0 277215775 937299968 6077 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4152160657 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22923/statm: 228833 6077 2146 14 0 215303 0
[pid=22923/tid=22925] ppid=22921 vsize=915332 CPUtime=0
/proc/22923/task/22925/stat : 22925 (java) S 22921 22923 22637 0 -1 64 6 0 0 0 0 0 0 0 19 0 8 0 277215779 937299968 6077 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22923/tid=22926] ppid=22921 vsize=915332 CPUtime=0
/proc/22923/task/22926/stat : 22926 (java) S 22921 22923 22637 0 -1 64 10 0 0 0 0 0 0 0 19 0 8 0 277215779 937299968 6077 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22923/tid=22927] ppid=22921 vsize=915332 CPUtime=0
/proc/22923/task/22927/stat : 22927 (java) S 22921 22923 22637 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 277215779 937299968 6077 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22923/tid=22928] ppid=22921 vsize=915332 CPUtime=0
/proc/22923/task/22928/stat : 22928 (java) S 22921 22923 22637 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 277215782 937299968 6077 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22923/tid=22929] ppid=22921 vsize=915332 CPUtime=0.1
/proc/22923/task/22929/stat : 22929 (java) S 22921 22923 22637 0 -1 64 316 0 0 0 10 0 0 0 16 0 8 0 277215782 937299968 6077 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915332
[startup+1.33284 s]
/proc/loadavg: 1.11 1.56 1.80 3/100 22931
/proc/meminfo: memFree=1202832/2055920 swapFree=4180552/4192956
[pid=22923] ppid=22921 vsize=915460 CPUtime=1.3
/proc/22923/stat : 22923 (java) R 22921 22923 22637 0 -1 0 7254 0 1 0 115 15 0 0 25 0 8 0 277215775 937431040 6992 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073700127 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22923/statm: 228865 6992 2476 14 0 215335 0
[pid=22923/tid=22925] ppid=22921 vsize=915460 CPUtime=0.02
/proc/22923/task/22925/stat : 22925 (java) S 22921 22923 22637 0 -1 64 200 0 0 0 2 0 0 0 16 0 8 0 277215779 937431040 6992 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22923/tid=22926] ppid=22921 vsize=915460 CPUtime=0
/proc/22923/task/22926/stat : 22926 (java) S 22921 22923 22637 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277215779 937431040 6992 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22923/tid=22927] ppid=22921 vsize=915460 CPUtime=0
/proc/22923/task/22927/stat : 22927 (java) S 22921 22923 22637 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277215779 937431040 6992 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22923/tid=22928] ppid=22921 vsize=915460 CPUtime=0
/proc/22923/task/22928/stat : 22928 (java) S 22921 22923 22637 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 277215782 937431040 6992 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22923/tid=22929] ppid=22921 vsize=915460 CPUtime=0.13
/proc/22923/task/22929/stat : 22929 (java) S 22921 22923 22637 0 -1 64 341 0 0 0 13 0 0 0 16 0 8 0 277215782 937431040 6992 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22923/tid=22930] ppid=22921 vsize=915460 CPUtime=0
/proc/22923/task/22930/stat : 22930 (java) S 22921 22923 22637 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 277215783 937431040 6992 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22923/tid=22931] ppid=22921 vsize=915460 CPUtime=0
/proc/22923/task/22931/stat : 22931 (java) S 22921 22923 22637 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 277215783 937431040 6992 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915460
[startup+2.97014 s]
/proc/loadavg: 1.11 1.56 1.80 3/100 22931
/proc/meminfo: memFree=1202832/2055920 swapFree=4180552/4192956
[pid=22923] ppid=22921 vsize=915464 CPUtime=2.93
/proc/22923/stat : 22923 (java) R 22921 22923 22637 0 -1 0 7255 0 1 0 253 40 0 0 25 0 8 0 277215775 937435136 6992 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22923/statm: 228866 6992 2476 14 0 215336 0
[pid=22923/tid=22925] ppid=22921 vsize=915464 CPUtime=0.02
/proc/22923/task/22925/stat : 22925 (java) S 22921 22923 22637 0 -1 64 200 0 0 0 2 0 0 0 16 0 8 0 277215779 937435136 6992 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22923/tid=22926] ppid=22921 vsize=915464 CPUtime=0
/proc/22923/task/22926/stat : 22926 (java) S 22921 22923 22637 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277215779 937435136 6992 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22923/tid=22927] ppid=22921 vsize=915464 CPUtime=0
/proc/22923/task/22927/stat : 22927 (java) S 22921 22923 22637 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277215779 937435136 6992 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22923/tid=22928] ppid=22921 vsize=915464 CPUtime=0
/proc/22923/task/22928/stat : 22928 (java) S 22921 22923 22637 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 277215782 937435136 6992 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22923/tid=22929] ppid=22921 vsize=915464 CPUtime=0.13
/proc/22923/task/22929/stat : 22929 (java) S 22921 22923 22637 0 -1 64 341 0 0 0 13 0 0 0 16 0 8 0 277215782 937435136 6992 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22923/tid=22930] ppid=22921 vsize=915464 CPUtime=0
/proc/22923/task/22930/stat : 22930 (java) S 22921 22923 22637 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 277215783 937435136 6992 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22923/tid=22931] ppid=22921 vsize=915464 CPUtime=0
/proc/22923/task/22931/stat : 22931 (java) S 22921 22923 22637 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 277215783 937435136 6992 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 915464
[startup+6.26875 s]
/proc/loadavg: 1.18 1.57 1.80 3/100 22931
/proc/meminfo: memFree=1202832/2055920 swapFree=4180552/4192956
[pid=22923] ppid=22921 vsize=915460 CPUtime=6.19
/proc/22923/stat : 22923 (java) R 22921 22923 22637 0 -1 0 7257 0 1 0 516 103 0 0 25 0 8 0 277215775 937431040 6994 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073701732 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22923/statm: 228865 6994 2476 14 0 215335 0
[pid=22923/tid=22925] ppid=22921 vsize=915460 CPUtime=0.02
/proc/22923/task/22925/stat : 22925 (java) S 22921 22923 22637 0 -1 64 200 0 0 0 2 0 0 0 16 0 8 0 277215779 937431040 6994 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22923/tid=22926] ppid=22921 vsize=915460 CPUtime=0
/proc/22923/task/22926/stat : 22926 (java) S 22921 22923 22637 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277215779 937431040 6994 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22923/tid=22927] ppid=22921 vsize=915460 CPUtime=0
/proc/22923/task/22927/stat : 22927 (java) S 22921 22923 22637 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277215779 937431040 6994 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22923/tid=22928] ppid=22921 vsize=915460 CPUtime=0
/proc/22923/task/22928/stat : 22928 (java) S 22921 22923 22637 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 277215782 937431040 6994 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22923/tid=22929] ppid=22921 vsize=915460 CPUtime=0.14
/proc/22923/task/22929/stat : 22929 (java) S 22921 22923 22637 0 -1 64 343 0 0 0 14 0 0 0 16 0 8 0 277215782 937431040 6994 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22923/tid=22930] ppid=22921 vsize=915460 CPUtime=0
/proc/22923/task/22930/stat : 22930 (java) S 22921 22923 22637 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 277215783 937431040 6994 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22923/tid=22931] ppid=22921 vsize=915460 CPUtime=0
/proc/22923/task/22931/stat : 22931 (java) S 22921 22923 22637 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 277215783 937431040 6994 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 915460
[startup+12.7449 s]
/proc/loadavg: 1.24 1.57 1.80 3/100 22931
/proc/meminfo: memFree=1202840/2055920 swapFree=4180552/4192956
[pid=22923] ppid=22921 vsize=915460 CPUtime=12.61
/proc/22923/stat : 22923 (java) R 22921 22923 22637 0 -1 0 7257 0 1 0 1057 204 0 0 25 0 8 0 277215775 937431040 6994 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073705812 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22923/statm: 228865 6994 2476 14 0 215335 0
[pid=22923/tid=22925] ppid=22921 vsize=915460 CPUtime=0.02
/proc/22923/task/22925/stat : 22925 (java) S 22921 22923 22637 0 -1 64 200 0 0 0 2 0 0 0 16 0 8 0 277215779 937431040 6994 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22923/tid=22926] ppid=22921 vsize=915460 CPUtime=0
/proc/22923/task/22926/stat : 22926 (java) S 22921 22923 22637 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277215779 937431040 6994 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22923/tid=22927] ppid=22921 vsize=915460 CPUtime=0
/proc/22923/task/22927/stat : 22927 (java) S 22921 22923 22637 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277215779 937431040 6994 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22923/tid=22928] ppid=22921 vsize=915460 CPUtime=0
/proc/22923/task/22928/stat : 22928 (java) S 22921 22923 22637 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 277215782 937431040 6994 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22923/tid=22929] ppid=22921 vsize=915460 CPUtime=0.14
/proc/22923/task/22929/stat : 22929 (java) S 22921 22923 22637 0 -1 64 343 0 0 0 14 0 0 0 16 0 8 0 277215782 937431040 6994 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22923/tid=22930] ppid=22921 vsize=915460 CPUtime=0
/proc/22923/task/22930/stat : 22930 (java) S 22921 22923 22637 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 277215783 937431040 6994 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22923/tid=22931] ppid=22921 vsize=915460 CPUtime=0
/proc/22923/task/22931/stat : 22931 (java) S 22921 22923 22637 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 277215783 937431040 6994 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 915460
[startup+25.6053 s]
/proc/loadavg: 1.36 1.59 1.80 3/100 22931
/proc/meminfo: memFree=1202904/2055920 swapFree=4180552/4192956
[pid=22923] ppid=22921 vsize=915460 CPUtime=25.35
/proc/22923/stat : 22923 (java) R 22921 22923 22637 0 -1 0 7257 0 1 0 2126 409 0 0 25 0 8 0 277215775 937431040 6994 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073702264 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22923/statm: 228865 6994 2476 14 0 215335 0
[pid=22923/tid=22925] ppid=22921 vsize=915460 CPUtime=0.02
/proc/22923/task/22925/stat : 22925 (java) S 22921 22923 22637 0 -1 64 200 0 0 0 2 0 0 0 16 0 8 0 277215779 937431040 6994 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22923/tid=22926] ppid=22921 vsize=915460 CPUtime=0
/proc/22923/task/22926/stat : 22926 (java) S 22921 22923 22637 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277215779 937431040 6994 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22923/tid=22927] ppid=22921 vsize=915460 CPUtime=0
/proc/22923/task/22927/stat : 22927 (java) S 22921 22923 22637 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277215779 937431040 6994 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22923/tid=22928] ppid=22921 vsize=915460 CPUtime=0
/proc/22923/task/22928/stat : 22928 (java) S 22921 22923 22637 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 277215782 937431040 6994 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22923/tid=22929] ppid=22921 vsize=915460 CPUtime=0.14
/proc/22923/task/22929/stat : 22929 (java) S 22921 22923 22637 0 -1 64 343 0 0 0 14 0 0 0 16 0 8 0 277215782 937431040 6994 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22923/tid=22930] ppid=22921 vsize=915460 CPUtime=0
/proc/22923/task/22930/stat : 22930 (java) S 22921 22923 22637 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 277215783 937431040 6994 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22923/tid=22931] ppid=22921 vsize=915460 CPUtime=0
/proc/22923/task/22931/stat : 22931 (java) S 22921 22923 22637 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 277215783 937431040 6994 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.35
Current children cumulated vsize (KiB) 915460
[startup+51.216 s]
/proc/loadavg: 1.68 1.64 1.81 3/100 22931
/proc/meminfo: memFree=1188184/2055920 swapFree=4180552/4192956
[pid=22923] ppid=22921 vsize=915460 CPUtime=50.71
/proc/22923/stat : 22923 (java) R 22921 22923 22637 0 -1 0 9179 0 1 0 4553 518 0 0 25 0 8 0 277215775 937431040 8913 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073878638 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22923/statm: 228865 8913 2527 14 0 215335 0
[pid=22923/tid=22925] ppid=22921 vsize=915460 CPUtime=0.02
/proc/22923/task/22925/stat : 22925 (java) S 22921 22923 22637 0 -1 64 201 0 0 0 2 0 0 0 16 0 8 0 277215779 937431040 8913 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22923/tid=22926] ppid=22921 vsize=915460 CPUtime=0
/proc/22923/task/22926/stat : 22926 (java) S 22921 22923 22637 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277215779 937431040 8913 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22923/tid=22927] ppid=22921 vsize=915460 CPUtime=0
/proc/22923/task/22927/stat : 22927 (java) S 22921 22923 22637 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277215779 937431040 8913 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22923/tid=22928] ppid=22921 vsize=915460 CPUtime=0
/proc/22923/task/22928/stat : 22928 (java) S 22921 22923 22637 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 277215782 937431040 8913 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22923/tid=22929] ppid=22921 vsize=915460 CPUtime=0.25
/proc/22923/task/22929/stat : 22929 (java) S 22921 22923 22637 0 -1 64 402 0 0 0 24 1 0 0 16 0 8 0 277215782 937431040 8913 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22923/tid=22930] ppid=22921 vsize=915460 CPUtime=0
/proc/22923/task/22930/stat : 22930 (java) S 22921 22923 22637 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 277215783 937431040 8913 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22923/tid=22931] ppid=22921 vsize=915460 CPUtime=0
/proc/22923/task/22931/stat : 22931 (java) S 22921 22923 22637 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 277215783 937431040 8913 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.71
################
# More data... #
################
/proc/22923/task/22928/stat : 22928 (java) S 22921 22923 22637 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 277215782 937431040 8926 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22923/tid=22929] ppid=22921 vsize=915460 CPUtime=0.25
/proc/22923/task/22929/stat : 22929 (java) S 22921 22923 22637 0 -1 64 403 0 0 0 24 1 0 0 16 0 8 0 277215782 937431040 8926 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22923/tid=22930] ppid=22921 vsize=915460 CPUtime=0
/proc/22923/task/22930/stat : 22930 (java) S 22921 22923 22637 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 277215783 937431040 8926 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22923/tid=22931] ppid=22921 vsize=915460 CPUtime=0
/proc/22923/task/22931/stat : 22931 (java) S 22921 22923 22637 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 277215783 937431040 8926 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 160.95
Current children cumulated vsize (KiB) 915460
[startup+222.516 s]
/proc/loadavg: 1.98 1.79 1.83 3/100 22931
/proc/meminfo: memFree=1187992/2055920 swapFree=4180552/4192956
[pid=22923] ppid=22921 vsize=915460 CPUtime=220.44
/proc/22923/stat : 22923 (java) R 22921 22923 22637 0 -1 0 9196 0 1 0 21524 520 0 0 25 0 8 0 277215775 937431040 8929 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073712090 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22923/statm: 228865 8929 2527 14 0 215335 0
[pid=22923/tid=22925] ppid=22921 vsize=915460 CPUtime=0.02
/proc/22923/task/22925/stat : 22925 (java) S 22921 22923 22637 0 -1 64 201 0 0 0 2 0 0 0 16 0 8 0 277215779 937431040 8929 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22923/tid=22926] ppid=22921 vsize=915460 CPUtime=0
/proc/22923/task/22926/stat : 22926 (java) S 22921 22923 22637 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277215779 937431040 8929 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22923/tid=22927] ppid=22921 vsize=915460 CPUtime=0
/proc/22923/task/22927/stat : 22927 (java) S 22921 22923 22637 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277215779 937431040 8929 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22923/tid=22928] ppid=22921 vsize=915460 CPUtime=0
/proc/22923/task/22928/stat : 22928 (java) S 22921 22923 22637 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 277215782 937431040 8929 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22923/tid=22929] ppid=22921 vsize=915460 CPUtime=0.25
/proc/22923/task/22929/stat : 22929 (java) S 22921 22923 22637 0 -1 64 404 0 0 0 24 1 0 0 16 0 8 0 277215782 937431040 8929 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22923/tid=22930] ppid=22921 vsize=915460 CPUtime=0
/proc/22923/task/22930/stat : 22930 (java) S 22921 22923 22637 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 277215783 937431040 8929 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22923/tid=22931] ppid=22921 vsize=915460 CPUtime=0
/proc/22923/task/22931/stat : 22931 (java) S 22921 22923 22637 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 277215783 937431040 8929 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 220.44
Current children cumulated vsize (KiB) 915460
[startup+282.563 s]
/proc/loadavg: 1.99 1.83 1.84 3/100 22931
/proc/meminfo: memFree=1187928/2055920 swapFree=4180552/4192956
[pid=22923] ppid=22921 vsize=915460 CPUtime=279.93
/proc/22923/stat : 22923 (java) R 22921 22923 22637 0 -1 0 9196 0 1 0 27473 520 0 0 25 0 8 0 277215775 937431040 8929 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073879907 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22923/statm: 228865 8929 2527 14 0 215335 0
[pid=22923/tid=22925] ppid=22921 vsize=915460 CPUtime=0.02
/proc/22923/task/22925/stat : 22925 (java) S 22921 22923 22637 0 -1 64 201 0 0 0 2 0 0 0 16 0 8 0 277215779 937431040 8929 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22923/tid=22926] ppid=22921 vsize=915460 CPUtime=0
/proc/22923/task/22926/stat : 22926 (java) S 22921 22923 22637 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277215779 937431040 8929 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22923/tid=22927] ppid=22921 vsize=915460 CPUtime=0
/proc/22923/task/22927/stat : 22927 (java) S 22921 22923 22637 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277215779 937431040 8929 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22923/tid=22928] ppid=22921 vsize=915460 CPUtime=0
/proc/22923/task/22928/stat : 22928 (java) S 22921 22923 22637 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 277215782 937431040 8929 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22923/tid=22929] ppid=22921 vsize=915460 CPUtime=0.25
/proc/22923/task/22929/stat : 22929 (java) S 22921 22923 22637 0 -1 64 404 0 0 0 24 1 0 0 16 0 8 0 277215782 937431040 8929 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22923/tid=22930] ppid=22921 vsize=915460 CPUtime=0
/proc/22923/task/22930/stat : 22930 (java) S 22921 22923 22637 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 277215783 937431040 8929 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22923/tid=22931] ppid=22921 vsize=915460 CPUtime=0
/proc/22923/task/22931/stat : 22931 (java) S 22921 22923 22637 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 277215783 937431040 8929 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 279.93
Current children cumulated vsize (KiB) 915460
[startup+342.614 s]
/proc/loadavg: 2.04 1.87 1.85 3/100 22933
/proc/meminfo: memFree=1187736/2055920 swapFree=4180552/4192956
[pid=22923] ppid=22921 vsize=915460 CPUtime=339.43
/proc/22923/stat : 22923 (java) R 22921 22923 22637 0 -1 0 9198 0 1 0 33423 520 0 0 25 0 8 0 277215775 937431040 8931 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073879251 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22923/statm: 228865 8931 2527 14 0 215335 0
[pid=22923/tid=22925] ppid=22921 vsize=915460 CPUtime=0.02
/proc/22923/task/22925/stat : 22925 (java) S 22921 22923 22637 0 -1 64 201 0 0 0 2 0 0 0 16 0 8 0 277215779 937431040 8931 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22923/tid=22926] ppid=22921 vsize=915460 CPUtime=0
/proc/22923/task/22926/stat : 22926 (java) S 22921 22923 22637 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277215779 937431040 8931 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22923/tid=22927] ppid=22921 vsize=915460 CPUtime=0
/proc/22923/task/22927/stat : 22927 (java) S 22921 22923 22637 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277215779 937431040 8931 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22923/tid=22928] ppid=22921 vsize=915460 CPUtime=0
/proc/22923/task/22928/stat : 22928 (java) S 22921 22923 22637 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 277215782 937431040 8931 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22923/tid=22929] ppid=22921 vsize=915460 CPUtime=0.25
/proc/22923/task/22929/stat : 22929 (java) S 22921 22923 22637 0 -1 64 404 0 0 0 24 1 0 0 16 0 8 0 277215782 937431040 8931 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22923/tid=22930] ppid=22921 vsize=915460 CPUtime=0
/proc/22923/task/22930/stat : 22930 (java) S 22921 22923 22637 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 277215783 937431040 8931 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22923/tid=22931] ppid=22921 vsize=915460 CPUtime=0
/proc/22923/task/22931/stat : 22931 (java) S 22921 22923 22637 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 277215783 937431040 8931 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 339.43
Current children cumulated vsize (KiB) 915460
[startup+402.666 s]
/proc/loadavg: 2.01 1.89 1.86 3/100 22933
/proc/meminfo: memFree=1187800/2055920 swapFree=4180552/4192956
[pid=22923] ppid=22921 vsize=915460 CPUtime=398.93
/proc/22923/stat : 22923 (java) R 22921 22923 22637 0 -1 0 9198 0 1 0 39373 520 0 0 25 0 8 0 277215775 937431040 8931 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073824922 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22923/statm: 228865 8931 2527 14 0 215335 0
[pid=22923/tid=22925] ppid=22921 vsize=915460 CPUtime=0.02
/proc/22923/task/22925/stat : 22925 (java) S 22921 22923 22637 0 -1 64 201 0 0 0 2 0 0 0 16 0 8 0 277215779 937431040 8931 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22923/tid=22926] ppid=22921 vsize=915460 CPUtime=0
/proc/22923/task/22926/stat : 22926 (java) S 22921 22923 22637 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277215779 937431040 8931 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22923/tid=22927] ppid=22921 vsize=915460 CPUtime=0
/proc/22923/task/22927/stat : 22927 (java) S 22921 22923 22637 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277215779 937431040 8931 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22923/tid=22928] ppid=22921 vsize=915460 CPUtime=0
/proc/22923/task/22928/stat : 22928 (java) S 22921 22923 22637 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 277215782 937431040 8931 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22923/tid=22929] ppid=22921 vsize=915460 CPUtime=0.25
/proc/22923/task/22929/stat : 22929 (java) S 22921 22923 22637 0 -1 64 404 0 0 0 24 1 0 0 16 0 8 0 277215782 937431040 8931 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22923/tid=22930] ppid=22921 vsize=915460 CPUtime=0
/proc/22923/task/22930/stat : 22930 (java) S 22921 22923 22637 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 277215783 937431040 8931 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22923/tid=22931] ppid=22921 vsize=915460 CPUtime=0
/proc/22923/task/22931/stat : 22931 (java) S 22921 22923 22637 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 277215783 937431040 8931 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 398.93
Current children cumulated vsize (KiB) 915460
[startup+462.717 s]
/proc/loadavg: 2.06 1.92 1.87 3/100 22933
/proc/meminfo: memFree=1187864/2055920 swapFree=4180552/4192956
[pid=22923] ppid=22921 vsize=915460 CPUtime=458.42
/proc/22923/stat : 22923 (java) R 22921 22923 22637 0 -1 0 9202 0 1 0 45322 520 0 0 25 0 8 0 277215775 937431040 8934 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073336163 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22923/statm: 228865 8934 2527 14 0 215335 0
[pid=22923/tid=22925] ppid=22921 vsize=915460 CPUtime=0.02
/proc/22923/task/22925/stat : 22925 (java) S 22921 22923 22637 0 -1 64 201 0 0 0 2 0 0 0 16 0 8 0 277215779 937431040 8934 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22923/tid=22926] ppid=22921 vsize=915460 CPUtime=0
/proc/22923/task/22926/stat : 22926 (java) S 22921 22923 22637 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277215779 937431040 8934 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22923/tid=22927] ppid=22921 vsize=915460 CPUtime=0
/proc/22923/task/22927/stat : 22927 (java) S 22921 22923 22637 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277215779 937431040 8934 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22923/tid=22928] ppid=22921 vsize=915460 CPUtime=0
/proc/22923/task/22928/stat : 22928 (java) S 22921 22923 22637 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 277215782 937431040 8934 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22923/tid=22929] ppid=22921 vsize=915460 CPUtime=0.25
/proc/22923/task/22929/stat : 22929 (java) S 22921 22923 22637 0 -1 64 404 0 0 0 24 1 0 0 16 0 8 0 277215782 937431040 8934 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22923/tid=22930] ppid=22921 vsize=915460 CPUtime=0
/proc/22923/task/22930/stat : 22930 (java) S 22921 22923 22637 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 277215783 937431040 8934 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22923/tid=22931] ppid=22921 vsize=915460 CPUtime=0
/proc/22923/task/22931/stat : 22931 (java) S 22921 22923 22637 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 277215783 937431040 8934 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 458.42
Current children cumulated vsize (KiB) 915460
[startup+522.763 s]
/proc/loadavg: 2.02 1.93 1.87 3/100 22933
/proc/meminfo: memFree=1187864/2055920 swapFree=4180552/4192956
[pid=22923] ppid=22921 vsize=915460 CPUtime=517.92
/proc/22923/stat : 22923 (java) R 22921 22923 22637 0 -1 0 9202 0 1 0 51271 521 0 0 25 0 8 0 277215775 937431040 8934 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073828792 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22923/statm: 228865 8934 2527 14 0 215335 0
[pid=22923/tid=22925] ppid=22921 vsize=915460 CPUtime=0.02
/proc/22923/task/22925/stat : 22925 (java) S 22921 22923 22637 0 -1 64 201 0 0 0 2 0 0 0 16 0 8 0 277215779 937431040 8934 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22923/tid=22926] ppid=22921 vsize=915460 CPUtime=0
/proc/22923/task/22926/stat : 22926 (java) S 22921 22923 22637 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277215779 937431040 8934 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22923/tid=22927] ppid=22921 vsize=915460 CPUtime=0
/proc/22923/task/22927/stat : 22927 (java) S 22921 22923 22637 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277215779 937431040 8934 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22923/tid=22928] ppid=22921 vsize=915460 CPUtime=0
/proc/22923/task/22928/stat : 22928 (java) S 22921 22923 22637 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 277215782 937431040 8934 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22923/tid=22929] ppid=22921 vsize=915460 CPUtime=0.25
/proc/22923/task/22929/stat : 22929 (java) S 22921 22923 22637 0 -1 64 404 0 0 0 24 1 0 0 16 0 8 0 277215782 937431040 8934 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22923/tid=22930] ppid=22921 vsize=915460 CPUtime=0
/proc/22923/task/22930/stat : 22930 (java) S 22921 22923 22637 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 277215783 937431040 8934 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22923/tid=22931] ppid=22921 vsize=915460 CPUtime=0
/proc/22923/task/22931/stat : 22931 (java) S 22921 22923 22637 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 277215783 937431040 8934 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 517.92
Current children cumulated vsize (KiB) 915460
[startup+582.807 s]
/proc/loadavg: 2.01 1.94 1.88 3/100 22933
/proc/meminfo: memFree=1187800/2055920 swapFree=4180552/4192956
[pid=22923] ppid=22921 vsize=915460 CPUtime=577.41
/proc/22923/stat : 22923 (java) R 22921 22923 22637 0 -1 0 9204 0 1 0 57220 521 0 0 25 0 8 0 277215775 937431040 8936 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073825074 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22923/statm: 228865 8936 2527 14 0 215335 0
[pid=22923/tid=22925] ppid=22921 vsize=915460 CPUtime=0.02
/proc/22923/task/22925/stat : 22925 (java) S 22921 22923 22637 0 -1 64 201 0 0 0 2 0 0 0 16 0 8 0 277215779 937431040 8936 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22923/tid=22926] ppid=22921 vsize=915460 CPUtime=0
/proc/22923/task/22926/stat : 22926 (java) S 22921 22923 22637 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277215779 937431040 8936 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22923/tid=22927] ppid=22921 vsize=915460 CPUtime=0
/proc/22923/task/22927/stat : 22927 (java) S 22921 22923 22637 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277215779 937431040 8936 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22923/tid=22928] ppid=22921 vsize=915460 CPUtime=0
/proc/22923/task/22928/stat : 22928 (java) S 22921 22923 22637 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 277215782 937431040 8936 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22923/tid=22929] ppid=22921 vsize=915460 CPUtime=0.25
/proc/22923/task/22929/stat : 22929 (java) S 22921 22923 22637 0 -1 64 404 0 0 0 24 1 0 0 16 0 8 0 277215782 937431040 8936 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22923/tid=22930] ppid=22921 vsize=915460 CPUtime=0
/proc/22923/task/22930/stat : 22930 (java) S 22921 22923 22637 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 277215783 937431040 8936 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22923/tid=22931] ppid=22921 vsize=915460 CPUtime=0
/proc/22923/task/22931/stat : 22931 (java) S 22921 22923 22637 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 277215783 937431040 8936 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 577.41
Current children cumulated vsize (KiB) 915460
Child status: 0
Real time (s): 609.903
CPU time (s): 604.223
CPU user time (s): 599.004
CPU system time (s): 5.21921
CPU usage (%): 99.0688
Max. virtual memory (cumulated for all children) (KiB): 915464
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 599.004
system time used= 5.21921
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9301
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= 13508
involuntary context switches= 36581
runsolver used 0.833873 s user time and 1.88271 s system time
The end
Begin job on node2 on Sat Jan 20 10:16:41 UTC 2007
IDJOB= 278471
IDBENCH= 8430
IDSOLVER= 69
FILE ID= node2/278471-1169288201
PBS_JOBID= 3609542
Free space on /tmp= 66561 MiB
SOLVER NAME= AbsconMax 109 PFC
BENCH NAME= HOME/pub/bench/CPAI06/MaxCSP/cnf/2-40-2100-3000/cnf-2-40-3000-775921_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/278471-1169288201/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node2/watcher-278471-1169288201 -o ROOT/results/node2/solver-278471-1169288201 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/278471-1169288201/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= e9deac68ab1746e3de0e33516cd376ba
RANDOM SEED= 585349339
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.259
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 : 5931.00
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.259
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: 1221608 kB
Buffers: 47660 kB
Cached: 643464 kB
SwapCached: 572 kB
Active: 223600 kB
Inactive: 536776 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1221608 kB
SwapTotal: 4192956 kB
SwapFree: 4180552 kB
Dirty: 3648 kB
Writeback: 0 kB
Mapped: 90900 kB
Slab: 58536 kB
Committed_AS: 8330384 kB
PageTables: 2476 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 node2 on Sat Jan 20 10:26:51 UTC 2007