0.30
0.30 Abscon 109 (November, 2006)
0.30
0.30 configuration
0.30 name=pfc.xml
0.33
0.33 instance
0.33 name=/tmp/evaluation/277634-1169269529/unknown.xml
0.36
0.36 domains being loaded...
0.36
0.36 variables being loaded...
0.39 nbVariables=40 nbDomainTypes=1 minDomainSize=2 maxDomainSize=2
0.39 => wckTime=0.088 cpuTime=0.08 mem=6M910
0.39
0.39 relations being loaded...
0.40
0.40 constraints being loaded...
0.54 nbConstraints=660 nbRelationTypes=14 nbExtensionStructures=14 nbSharedExtensionStructures=646
0.54 nbConflictsStructures=14 nbSharedConflictsStructures=646 nbSharedBinaryRepresentations=52 maxDegree=36
0.54 maxArity=2
0.54 => wckTime=0.242 cpuTime=0.17 mem=8M860
0.58
0.58 solver LocalSearchSolver being built...
0.62 => wckTime=0.319 cpuTime=0.21 mem=5M691
0.62
0.62 s SATISFIABLE
0.62 o 351
0.62 c 309
0.62 o 359
0.62 c 301
0.63 o 367
0.63 c 293
0.63 o 374
0.63 c 286
0.63 o 380
0.63 c 280
0.63 o 387
0.63 c 273
0.63 o 390
0.63 c 270
0.63 o 393
0.63 c 267
0.63 o 396
0.63 c 264
0.63 o 399
0.63 c 261
0.63 o 403
0.63 c 257
0.63 o 411
0.63 c 249
0.63 o 414
0.63 c 246
0.63 o 415
0.63 c 245
0.63 o 419
0.63 c 241
0.64 o 422
0.64 c 238
0.64 o 423
0.64 c 237
0.64 o 425
0.64 c 235
0.64 o 427
0.64 c 233
0.74 o 428
0.74 c 232
0.98 o 430
0.98 c 230
2.81
2.81 search
2.81 run=0 nbConstraintChecks=10648911 nbAssignments=10000
2.81 => wckTime=2.198 cpuTime=2.16 mem=5M691
4.95
4.95 search
4.95 run=1 nbConstraintChecks=21381187 nbAssignments=20000
4.95 => wckTime=4.335 cpuTime=4.27 mem=5M691
5.06 o 431
5.06 c 229
7.06
7.06 search
7.06 run=2 nbConstraintChecks=32029522 nbAssignments=30000
7.06 => wckTime=6.447 cpuTime=6.37 mem=5M691
9.19
9.19 search
9.19 run=3 nbConstraintChecks=42775402 nbAssignments=40000
9.19 => wckTime=8.575 cpuTime=8.48 mem=5M691
11.30
11.30 search
11.30 run=4 nbConstraintChecks=53419061 nbAssignments=50000
11.30 => wckTime=10.688 cpuTime=10.57 mem=5M691
13.42
13.42 search
13.42 run=5 nbConstraintChecks=64151817 nbAssignments=60000
13.42 => wckTime=12.804 cpuTime=12.68 mem=5M691
15.54
15.54 search
15.54 run=6 nbConstraintChecks=74794876 nbAssignments=70000
15.54 => wckTime=14.928 cpuTime=14.79 mem=5M691
15.66 o 432
15.66 c 228
17.69
17.69 search
17.69 run=7 nbConstraintChecks=85542853 nbAssignments=80000
17.69 => wckTime=17.075 cpuTime=16.92 mem=5M691
19.82
19.82 search
19.82 run=8 nbConstraintChecks=96182172 nbAssignments=90000
19.82 => wckTime=19.206 cpuTime=19.04 mem=5M691
21.98
21.98 search
21.98 run=9 nbConstraintChecks=106907472 nbAssignments=100000
21.98 => wckTime=21.359 cpuTime=21.16 mem=5M691
24.11
24.11 search
24.11 run=10 nbConstraintChecks=117558831 nbAssignments=110000
24.11 => wckTime=23.492 cpuTime=23.28 mem=5M691
26.24
26.24 search
26.24 run=11 nbConstraintChecks=128303052 nbAssignments=120000
26.24 => wckTime=25.622 cpuTime=25.39 mem=5M691
28.35
28.35 search
28.35 run=12 nbConstraintChecks=138952416 nbAssignments=130000
28.35 => wckTime=27.737 cpuTime=27.49 mem=5M691
30.48
30.48 search
30.48 run=13 nbConstraintChecks=149687722 nbAssignments=140000
30.48 => wckTime=29.861 cpuTime=29.6 mem=5M691
32.59
32.59 search
32.59 run=14 nbConstraintChecks=160339834 nbAssignments=150000
32.59 => wckTime=31.972 cpuTime=31.7 mem=5M691
34.72
34.72 search
34.72 run=15 nbConstraintChecks=171069988 nbAssignments=160000
34.72 => wckTime=34.1 cpuTime=33.81 mem=5M691
36.87
36.87 search
36.87 run=16 nbConstraintChecks=181713234 nbAssignments=170000
36.87 => wckTime=36.254 cpuTime=35.93 mem=5M691
39.01
39.01 search
39.01 run=17 nbConstraintChecks=192443635 nbAssignments=180000
39.01 => wckTime=38.398 cpuTime=38.05 mem=5M691
41.15
41.15 search
41.15 run=18 nbConstraintChecks=203091921 nbAssignments=190000
41.15 => wckTime=40.53 cpuTime=40.17 mem=5M691
43.29
43.29 search
43.29 run=19 nbConstraintChecks=213824080 nbAssignments=200000
43.29 => wckTime=42.676 cpuTime=42.29 mem=5M691
45.42
45.42 search
45.42 run=20 nbConstraintChecks=224478725 nbAssignments=210000
45.42 => wckTime=44.801 cpuTime=44.4 mem=5M691
45.92
45.92 search
45.92 run=21 nbConstraintChecks=227046510 nbAssignments=212391
45.92 => wckTime=45.306 cpuTime=44.91 mem=5M691
45.92
45.92 global
45.92 nbConstraintChecks=227046510 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
45.92 solvingWckTime=45.304 solvingCpuTime=44.91 expiredTime=no totalExploration=no nbFoundSolutions=0
45.92 globalCpuTime=45.15
45.92 => wckTime=45.625 cpuTime=45.12 mem=5M691
45.92
45.92 solver IterativeSystematicSolver being built...
46.06 => wckTime=45.759 cpuTime=45.23 mem=16M848
46.07
46.07 preprocessing
46.07 nbConstraintChecks=840 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
46.07 detectedInconsistency=no
46.07 => wckTime=0.01 cpuTime=0.01 mem=16M848
46.13
46.13 search
46.13 run=0 nbConstraintChecks=57860 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=36
46.13 nbFailedAssignments=7 nbBacktracks=11 nbVisitedNodes=55 nbRestartNogoods=0
46.13 => wckTime=0.065 cpuTime=0.05 mem=16M848
46.17
46.17 search
46.17 run=1 nbConstraintChecks=134853 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=85
46.17 nbFailedAssignments=18 nbBacktracks=27 nbVisitedNodes=131 nbRestartNogoods=2
46.17 => wckTime=0.113 cpuTime=0.08 mem=16M848
46.21
46.21 search
46.21 run=2 nbConstraintChecks=236482 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=142
46.21 nbFailedAssignments=33 nbBacktracks=50 nbVisitedNodes=226 nbRestartNogoods=3
46.21 => wckTime=0.155 cpuTime=0.12 mem=16M848
46.27
46.27 search
46.27 run=3 nbConstraintChecks=388181 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=224
46.27 nbFailedAssignments=60 nbBacktracks=84 nbVisitedNodes=369 nbRestartNogoods=6
46.27 => wckTime=0.214 cpuTime=0.18 mem=16M848
46.35
46.35 search
46.35 run=4 nbConstraintChecks=566342 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=317
46.35 nbFailedAssignments=83 nbBacktracks=136 nbVisitedNodes=537 nbRestartNogoods=10
46.35 => wckTime=0.294 cpuTime=0.25 mem=16M848
46.47
46.47 search
46.47 run=5 nbConstraintChecks=859004 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=458
46.47 nbFailedAssignments=131 nbBacktracks=212 nbVisitedNodes=802 nbRestartNogoods=12
46.47 => wckTime=0.409 cpuTime=0.36 mem=16M848
46.62
46.62 search
46.62 run=6 nbConstraintChecks=1285601 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=669
46.62 nbFailedAssignments=212 nbBacktracks=325 nbVisitedNodes=1207 nbRestartNogoods=15
46.62 => wckTime=0.564 cpuTime=0.52 mem=16M848
46.84
46.84 search
46.84 run=7 nbConstraintChecks=1881643 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=965
46.84 nbFailedAssignments=320 nbBacktracks=495 nbVisitedNodes=1781 nbRestartNogoods=17
46.84 => wckTime=0.78 cpuTime=0.73 mem=16M848
47.19
47.19 search
47.19 run=8 nbConstraintChecks=2797255 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1397
47.19 nbFailedAssignments=479 nbBacktracks=751 nbVisitedNodes=2628 nbRestartNogoods=22
47.19 => wckTime=1.127 cpuTime=1.07 mem=16M848
47.75
47.75 search
47.75 run=9 nbConstraintChecks=4243478 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2059
47.75 nbFailedAssignments=737 nbBacktracks=1135 nbVisitedNodes=3932 nbRestartNogoods=25
47.75 => wckTime=1.69 cpuTime=1.61 mem=16M848
48.50
48.50 search
48.50 run=10 nbConstraintChecks=6266175 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=3001
48.50 nbFailedAssignments=1089 nbBacktracks=1711 nbVisitedNodes=5802 nbRestartNogoods=28
48.50 => wckTime=2.444 cpuTime=2.36 mem=16M848
49.71
49.71 search
49.71 run=11 nbConstraintChecks=9485976 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=4437
49.71 nbFailedAssignments=1647 nbBacktracks=2575 nbVisitedNodes=8660 nbRestartNogoods=34
49.71 => wckTime=3.649 cpuTime=3.55 mem=16M848
51.51
51.51 search
51.51 run=12 nbConstraintChecks=14339648 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=6636
51.51 nbFailedAssignments=2531 nbBacktracks=3874 nbVisitedNodes=13042 nbRestartNogoods=40
51.51 => wckTime=5.453 cpuTime=5.34 mem=16M848
54.10
54.10 search
54.10 run=13 nbConstraintChecks=21295410 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=9798
54.10 nbFailedAssignments=3733 nbBacktracks=5821 nbVisitedNodes=19353 nbRestartNogoods=44
54.10 => wckTime=8.046 cpuTime=7.92 mem=16M848
58.32
58.32 search
58.32 run=14 nbConstraintChecks=32254389 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=14786
58.32 nbFailedAssignments=5787 nbBacktracks=8740 nbVisitedNodes=29314 nbRestartNogoods=52
58.32 => wckTime=12.262 cpuTime=12.1 mem=16M848
64.64
64.65 search
64.65 run=15 nbConstraintChecks=48437597 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=22061
64.65 nbFailedAssignments=8667 nbBacktracks=13118 nbVisitedNodes=43846 nbRestartNogoods=57
64.65 => wckTime=18.587 cpuTime=18.38 mem=16M848
73.93
73.93 search
73.93 run=16 nbConstraintChecks=72395687 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=32738
73.93 nbFailedAssignments=12762 nbBacktracks=19686 nbVisitedNodes=65186 nbRestartNogoods=63
73.93 => wckTime=27.876 cpuTime=27.59 mem=16M848
87.77
87.77 search
87.77 run=17 nbConstraintChecks=108251637 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=48536
87.77 nbFailedAssignments=18692 nbBacktracks=29538 nbVisitedNodes=96765 nbRestartNogoods=71
87.77 => wckTime=41.713 cpuTime=41.3 mem=16M848
109.71
109.71 search
109.71 run=18 nbConstraintChecks=164532797 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=73392
109.71 nbFailedAssignments=28758 nbBacktracks=44318 nbVisitedNodes=146467 nbRestartNogoods=78
109.71 => wckTime=63.654 cpuTime=63.08 mem=16M848
141.82
141.82 search
141.82 run=19 nbConstraintChecks=245827560 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=110020
141.82 nbFailedAssignments=43201 nbBacktracks=66487 nbVisitedNodes=219653 nbRestartNogoods=84
141.82 => wckTime=95.766 cpuTime=94.92 mem=16M848
191.42
191.42 search
191.42 run=20 nbConstraintChecks=370764570 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=164639
191.42 nbFailedAssignments=64556 nbBacktracks=99739 nbVisitedNodes=328845 nbRestartNogoods=92
191.42 => wckTime=145.366 cpuTime=144.12 mem=16M848
191.45 o 433
191.45 c 227
265.49
265.49 search
265.49 run=21 nbConstraintChecks=557561962 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=246539
265.49 nbFailedAssignments=96562 nbBacktracks=149618 nbVisitedNodes=492567 nbRestartNogoods=100
265.49 => wckTime=219.427 cpuTime=217.58 mem=16M848
375.30
375.30 search
375.30 run=22 nbConstraintChecks=833541631 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=371505
375.30 nbFailedAssignments=146698 nbBacktracks=224436 nbVisitedNodes=742361 nbRestartNogoods=106
375.30 => wckTime=329.244 cpuTime=326.52 mem=16M848
544.32
544.32 search
544.32 run=23 nbConstraintChecks=1248262213 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=555753
544.32 nbFailedAssignments=218707 nbBacktracks=336664 nbVisitedNodes=1110058 nbRestartNogoods=114
544.32 => wckTime=498.261 cpuTime=494.18 mem=16M848
790.78
790.78 search
790.78 run=24 nbConstraintChecks=1864593490 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=836207
790.78 nbFailedAssignments=330800 nbBacktracks=505005 nbVisitedNodes=1669682 nbRestartNogoods=119
790.78 => wckTime=744.722 cpuTime=738.67 mem=16M848
944.05
944.05 search
944.05 run=25 nbConstraintChecks=2251639587 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1014560
944.05 nbFailedAssignments=402014 nbBacktracks=612145 nbVisitedNodes=2024548 nbRestartNogoods=125
944.05 => wckTime=897.991 cpuTime=890.65 mem=16M848
944.05
944.05 global
944.05 nbConstraintChecks=2251640427 nbRestartNogoods=125 solvingWckTime=897.992 solvingCpuTime=890.65 expiredTime=no
944.05 totalExploration=yes nbFoundSolutions=1 globalCpuTime=935.91
944.05 => wckTime=943.752 cpuTime=935.88 mem=16M848
944.05
944.05 s OPTIMUM FOUND
944.05 v 0 0 0 0 1 1 1 0 1 0 1 0 1 1 0 0 1 1 0 0 1 1 0 0 0 1 1 1 0 0 1 0 1 1 0 0 0 0 1 0
944.05
944.05 totalWckTime=943.827 totalCpuTime=935.91
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node66/watcher-277634-1169269529 -o ROOT/results/node66/solver-277634-1169269529 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/277634-1169269529/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.80 1.95 1.94 5/80 3797
/proc/meminfo: memFree=1184592/2055920 swapFree=4192812/4192956
[pid=3796] ppid=3794 vsize=18540 CPUtime=0
/proc/3796/stat : 3796 (runsolver) R 3794 3796 3545 0 -1 4194368 17 0 0 0 0 0 0 0 20 0 1 0 74450222 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 227607637287 0 2147483391 4096 24578 0 0 0 17 0 0 0
/proc/3796/statm: 4635 279 244 17 0 2626 0
[startup+0.107474 s]
/proc/loadavg: 1.80 1.95 1.94 5/80 3797
/proc/meminfo: memFree=1184592/2055920 swapFree=4192812/4192956
[pid=3796] ppid=3794 vsize=914988 CPUtime=0.08
/proc/3796/stat : 3796 (java) R 3794 3796 3545 0 -1 0 3013 0 1 0 7 1 0 0 25 0 8 0 74450222 936947712 2759 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153609664 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3796/statm: 228747 2759 1434 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.516524 s]
/proc/loadavg: 1.80 1.95 1.94 5/80 3797
/proc/meminfo: memFree=1184592/2055920 swapFree=4192812/4192956
[pid=3796] ppid=3794 vsize=915332 CPUtime=0.49
/proc/3796/stat : 3796 (java) R 3794 3796 3545 0 -1 0 6585 0 1 0 44 5 0 0 25 0 8 0 74450222 937299968 6324 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072926600 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3796/statm: 228833 6324 2149 14 0 215303 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915332
[startup+1.33662 s]
/proc/loadavg: 1.82 1.95 1.94 3/87 3804
/proc/meminfo: memFree=1166232/2055920 swapFree=4192812/4192956
[pid=3796] ppid=3794 vsize=915460 CPUtime=1.3
/proc/3796/stat : 3796 (java) R 3794 3796 3545 0 -1 0 7260 0 1 0 114 16 0 0 25 0 8 0 74450222 937431040 6998 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073700590 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3796/statm: 228865 6998 2476 14 0 215335 0
[pid=3796/tid=3798] ppid=3794 vsize=915460 CPUtime=0.02
/proc/3796/task/3798/stat : 3798 (java) S 3794 3796 3545 0 -1 64 203 0 0 0 2 0 0 0 16 0 8 0 74450226 937431040 6998 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3796/tid=3799] ppid=3794 vsize=915460 CPUtime=0
/proc/3796/task/3799/stat : 3799 (java) S 3794 3796 3545 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 74450226 937431040 6998 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3796/tid=3800] ppid=3794 vsize=915460 CPUtime=0
/proc/3796/task/3800/stat : 3800 (java) S 3794 3796 3545 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 74450226 937431040 6998 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3796/tid=3801] ppid=3794 vsize=915460 CPUtime=0
/proc/3796/task/3801/stat : 3801 (java) S 3794 3796 3545 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 74450229 937431040 6998 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3796/tid=3802] ppid=3794 vsize=915460 CPUtime=0.13
/proc/3796/task/3802/stat : 3802 (java) S 3794 3796 3545 0 -1 64 340 0 0 0 13 0 0 0 16 0 8 0 74450229 937431040 6998 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3796/tid=3803] ppid=3794 vsize=915460 CPUtime=0
/proc/3796/task/3803/stat : 3803 (java) S 3794 3796 3545 0 -1 64 0 0 0 0 0 0 0 0 25 0 8 0 74450229 937431040 6998 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3796/tid=3804] ppid=3794 vsize=915460 CPUtime=0
/proc/3796/task/3804/stat : 3804 (java) S 3794 3796 3545 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 74450230 937431040 6998 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915460
[startup+2.97282 s]
/proc/loadavg: 1.82 1.95 1.94 3/87 3804
/proc/meminfo: memFree=1166232/2055920 swapFree=4192812/4192956
[pid=3796] ppid=3794 vsize=915460 CPUtime=2.92
/proc/3796/stat : 3796 (java) R 3794 3796 3545 0 -1 0 7263 0 1 0 250 42 0 0 25 0 8 0 74450222 937431040 7000 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3796/statm: 228865 7000 2476 14 0 215335 0
[pid=3796/tid=3798] ppid=3794 vsize=915460 CPUtime=0.02
/proc/3796/task/3798/stat : 3798 (java) S 3794 3796 3545 0 -1 64 203 0 0 0 2 0 0 0 16 0 8 0 74450226 937431040 7000 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3796/tid=3799] ppid=3794 vsize=915460 CPUtime=0
/proc/3796/task/3799/stat : 3799 (java) S 3794 3796 3545 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 74450226 937431040 7000 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3796/tid=3800] ppid=3794 vsize=915460 CPUtime=0
/proc/3796/task/3800/stat : 3800 (java) S 3794 3796 3545 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 74450226 937431040 7000 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3796/tid=3801] ppid=3794 vsize=915460 CPUtime=0
/proc/3796/task/3801/stat : 3801 (java) S 3794 3796 3545 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 74450229 937431040 7000 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3796/tid=3802] ppid=3794 vsize=915460 CPUtime=0.13
/proc/3796/task/3802/stat : 3802 (java) S 3794 3796 3545 0 -1 64 342 0 0 0 13 0 0 0 16 0 8 0 74450229 937431040 7000 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3796/tid=3803] ppid=3794 vsize=915460 CPUtime=0
/proc/3796/task/3803/stat : 3803 (java) S 3794 3796 3545 0 -1 64 0 0 0 0 0 0 0 0 25 0 8 0 74450229 937431040 7000 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3796/tid=3804] ppid=3794 vsize=915460 CPUtime=0
/proc/3796/task/3804/stat : 3804 (java) S 3794 3796 3545 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 74450230 937431040 7000 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.92
Current children cumulated vsize (KiB) 915460
[startup+6.25622 s]
/proc/loadavg: 1.82 1.95 1.94 3/87 3804
/proc/meminfo: memFree=1166240/2055920 swapFree=4192812/4192956
[pid=3796] ppid=3794 vsize=915460 CPUtime=6.18
/proc/3796/stat : 3796 (java) R 3794 3796 3545 0 -1 0 7263 0 1 0 520 98 0 0 25 0 8 0 74450222 937431040 7000 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073704163 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3796/statm: 228865 7000 2476 14 0 215335 0
[pid=3796/tid=3798] ppid=3794 vsize=915460 CPUtime=0.02
/proc/3796/task/3798/stat : 3798 (java) S 3794 3796 3545 0 -1 64 203 0 0 0 2 0 0 0 16 0 8 0 74450226 937431040 7000 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3796/tid=3799] ppid=3794 vsize=915460 CPUtime=0
/proc/3796/task/3799/stat : 3799 (java) S 3794 3796 3545 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 74450226 937431040 7000 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3796/tid=3800] ppid=3794 vsize=915460 CPUtime=0
/proc/3796/task/3800/stat : 3800 (java) S 3794 3796 3545 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 74450226 937431040 7000 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3796/tid=3801] ppid=3794 vsize=915460 CPUtime=0
/proc/3796/task/3801/stat : 3801 (java) S 3794 3796 3545 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 74450229 937431040 7000 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3796/tid=3802] ppid=3794 vsize=915460 CPUtime=0.13
/proc/3796/task/3802/stat : 3802 (java) S 3794 3796 3545 0 -1 64 342 0 0 0 13 0 0 0 16 0 8 0 74450229 937431040 7000 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3796/tid=3803] ppid=3794 vsize=915460 CPUtime=0
/proc/3796/task/3803/stat : 3803 (java) S 3794 3796 3545 0 -1 64 0 0 0 0 0 0 0 0 25 0 8 0 74450229 937431040 7000 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3796/tid=3804] ppid=3794 vsize=915460 CPUtime=0
/proc/3796/task/3804/stat : 3804 (java) S 3794 3796 3545 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 74450230 937431040 7000 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 915460
[startup+12.733 s]
/proc/loadavg: 1.85 1.95 1.94 3/87 3804
/proc/meminfo: memFree=1166240/2055920 swapFree=4192812/4192956
[pid=3796] ppid=3794 vsize=915460 CPUtime=12.61
/proc/3796/stat : 3796 (java) R 3794 3796 3545 0 -1 0 7263 0 1 0 1052 209 0 0 25 0 8 0 74450222 937431040 7000 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073706226 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3796/statm: 228865 7000 2476 14 0 215335 0
[pid=3796/tid=3798] ppid=3794 vsize=915460 CPUtime=0.02
/proc/3796/task/3798/stat : 3798 (java) S 3794 3796 3545 0 -1 64 203 0 0 0 2 0 0 0 16 0 8 0 74450226 937431040 7000 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3796/tid=3799] ppid=3794 vsize=915460 CPUtime=0
/proc/3796/task/3799/stat : 3799 (java) S 3794 3796 3545 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 74450226 937431040 7000 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3796/tid=3800] ppid=3794 vsize=915460 CPUtime=0
/proc/3796/task/3800/stat : 3800 (java) S 3794 3796 3545 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 74450226 937431040 7000 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3796/tid=3801] ppid=3794 vsize=915460 CPUtime=0
/proc/3796/task/3801/stat : 3801 (java) S 3794 3796 3545 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 74450229 937431040 7000 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3796/tid=3802] ppid=3794 vsize=915460 CPUtime=0.14
/proc/3796/task/3802/stat : 3802 (java) S 3794 3796 3545 0 -1 64 342 0 0 0 14 0 0 0 16 0 8 0 74450229 937431040 7000 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3796/tid=3803] ppid=3794 vsize=915460 CPUtime=0
/proc/3796/task/3803/stat : 3803 (java) S 3794 3796 3545 0 -1 64 0 0 0 0 0 0 0 0 25 0 8 0 74450229 937431040 7000 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3796/tid=3804] ppid=3794 vsize=915460 CPUtime=0
/proc/3796/task/3804/stat : 3804 (java) S 3794 3796 3545 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 74450230 937431040 7000 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 915460
[startup+25.5886 s]
/proc/loadavg: 1.87 1.95 1.94 3/87 3804
/proc/meminfo: memFree=1166368/2055920 swapFree=4192812/4192956
[pid=3796] ppid=3794 vsize=915464 CPUtime=25.36
/proc/3796/stat : 3796 (java) R 3794 3796 3545 0 -1 0 7263 0 1 0 2111 425 0 0 25 0 8 0 74450222 937435136 7000 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3796/statm: 228866 7000 2476 14 0 215336 0
[pid=3796/tid=3798] ppid=3794 vsize=915464 CPUtime=0.02
/proc/3796/task/3798/stat : 3798 (java) S 3794 3796 3545 0 -1 64 203 0 0 0 2 0 0 0 16 0 8 0 74450226 937435136 7000 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3796/tid=3799] ppid=3794 vsize=915464 CPUtime=0
/proc/3796/task/3799/stat : 3799 (java) S 3794 3796 3545 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 74450226 937435136 7000 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3796/tid=3800] ppid=3794 vsize=915464 CPUtime=0
/proc/3796/task/3800/stat : 3800 (java) S 3794 3796 3545 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 74450226 937435136 7000 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3796/tid=3801] ppid=3794 vsize=915464 CPUtime=0
/proc/3796/task/3801/stat : 3801 (java) S 3794 3796 3545 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 74450229 937435136 7000 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3796/tid=3802] ppid=3794 vsize=915464 CPUtime=0.14
/proc/3796/task/3802/stat : 3802 (java) S 3794 3796 3545 0 -1 64 342 0 0 0 14 0 0 0 16 0 8 0 74450229 937435136 7000 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3796/tid=3803] ppid=3794 vsize=915464 CPUtime=0
/proc/3796/task/3803/stat : 3803 (java) S 3794 3796 3545 0 -1 64 0 0 0 0 0 0 0 0 25 0 8 0 74450229 937435136 7000 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3796/tid=3804] ppid=3794 vsize=915464 CPUtime=0
/proc/3796/task/3804/stat : 3804 (java) S 3794 3796 3545 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 74450230 937435136 7000 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.36
Current children cumulated vsize (KiB) 915464
[startup+51.2767 s]
/proc/loadavg: 1.91 1.96 1.94 3/87 3804
/proc/meminfo: memFree=1159136/2055920 swapFree=4192812/4192956
[pid=3796] ppid=3794 vsize=915460 CPUtime=50.84
/proc/3796/stat : 3796 (java) R 3794 3796 3545 0 -1 0 9179 0 1 0 4309 775 0 0 25 0 8 0 74450222 937431040 8913 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073879022 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3796/statm: 228865 8913 2527 14 0 215335 0
[pid=3796/tid=3798] ppid=3794 vsize=915460 CPUtime=0.02
/proc/3796/task/3798/stat : 3798 (java) S 3794 3796 3545 0 -1 64 204 0 0 0 2 0 0 0 16 0 8 0 74450226 937431040 8913 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3796/tid=3799] ppid=3794 vsize=915460 CPUtime=0
/proc/3796/task/3799/stat : 3799 (java) S 3794 3796 3545 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 74450226 937431040 8913 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3796/tid=3800] ppid=3794 vsize=915460 CPUtime=0
/proc/3796/task/3800/stat : 3800 (java) S 3794 3796 3545 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 74450226 937431040 8913 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3796/tid=3801] ppid=3794 vsize=915460 CPUtime=0
/proc/3796/task/3801/stat : 3801 (java) S 3794 3796 3545 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 74450229 937431040 8913 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3796/tid=3802] ppid=3794 vsize=915460 CPUtime=0.24
/proc/3796/task/3802/stat : 3802 (java) S 3794 3796 3545 0 -1 64 400 0 0 0 23 1 0 0 15 0 8 0 74450229 937431040 8913 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3796/tid=3803] ppid=3794 vsize=915460 CPUtime=0
/proc/3796/task/3803/stat : 3803 (java) S 3794 3796 3545 0 -1 64 0 0 0 0 0 0 0 0 25 0 8 0 74450229 937431040 8913 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3796/tid=3804] ppid=3794 vsize=915460 CPUtime=0
/proc/3796/task/3804/stat : 3804 (java) S 3794 3796 3545 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 74450230 937431040 8913 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.84
Current children cumulated vsize (KiB) 915460
[startup+102.549 s]
/proc/loadavg: 2.00 1.97 1.94 3/87 3804
/proc/meminfo: memFree=1159072/2055920 swapFree=4192812/4192956
[pid=3796] ppid=3794 vsize=915460 CPUtime=101.7
/proc/3796/stat : 3796 (java) R 3794 3796 3545 0 -1 0 9195 0 1 0 9395 775 0 0 25 0 8 0 74450222 937431040 8928 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073828548 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3796/statm: 228865 8928 2527 14 0 215335 0
[pid=3796/tid=3798] ppid=3794 vsize=915460 CPUtime=0.02
/proc/3796/task/3798/stat : 3798 (java) S 3794 3796 3545 0 -1 64 204 0 0 0 2 0 0 0 16 0 8 0 74450226 937431040 8928 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3796/tid=3799] ppid=3794 vsize=915460 CPUtime=0
/proc/3796/task/3799/stat : 3799 (java) S 3794 3796 3545 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 74450226 937431040 8928 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3796/tid=3800] ppid=3794 vsize=915460 CPUtime=0
/proc/3796/task/3800/stat : 3800 (java) S 3794 3796 3545 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 74450226 937431040 8928 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3796/tid=3801] ppid=3794 vsize=915460 CPUtime=0
/proc/3796/task/3801/stat : 3801 (java) S 3794 3796 3545 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 74450229 937431040 8928 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3796/tid=3802] ppid=3794 vsize=915460 CPUtime=0.24
/proc/3796/task/3802/stat : 3802 (java) S 3794 3796 3545 0 -1 64 401 0 0 0 23 1 0 0 16 0 8 0 74450229 937431040 8928 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3796/tid=3803] ppid=3794 vsize=915460 CPUtime=0
/proc/3796/task/3803/stat : 3803 (java) S 3794 3796 3545 0 -1 64 0 0 0 0 0 0 0 0 25 0 8 0 74450229 937431040 8928 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3796/tid=3804] ppid=3794 vsize=915460 CPUtime=0
/proc/3796/task/3804/stat : 3804 (java) S 3794 3796 3545 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 74450230 937431040 8928 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.7
Current children cumulated vsize (KiB) 915460
[startup+162.559 s]
/proc/loadavg: 2.00 1.97 1.94 3/87 3804
/proc/meminfo: memFree=1159072/2055920 swapFree=4192812/4192956
[pid=3796] ppid=3794 vsize=915460 CPUtime=161.23
/proc/3796/stat : 3796 (java) R 3794 3796 3545 0 -1 0 9200 0 1 0 15348 775 0 0 25 0 8 0 74450222 937431040 8933 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073850871 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
################
# More data... #
################
/proc/3796/task/3801/stat : 3801 (java) S 3794 3796 3545 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 74450229 937431040 8941 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3796/tid=3802] ppid=3794 vsize=915460 CPUtime=0.24
/proc/3796/task/3802/stat : 3802 (java) S 3794 3796 3545 0 -1 64 402 0 0 0 23 1 0 0 16 0 8 0 74450229 937431040 8941 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3796/tid=3803] ppid=3794 vsize=915460 CPUtime=0
/proc/3796/task/3803/stat : 3803 (java) S 3794 3796 3545 0 -1 64 0 0 0 0 0 0 0 0 25 0 8 0 74450229 937431040 8941 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3796/tid=3804] ppid=3794 vsize=915460 CPUtime=0
/proc/3796/task/3804/stat : 3804 (java) R 3794 3796 3545 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 74450230 937431040 8941 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 518.4
Current children cumulated vsize (KiB) 915460
[startup+582.623 s]
/proc/loadavg: 2.00 1.99 1.95 3/87 3804
/proc/meminfo: memFree=1159072/2055920 swapFree=4192812/4192956
[pid=3796] ppid=3794 vsize=915460 CPUtime=577.91
/proc/3796/stat : 3796 (java) R 3794 3796 3545 0 -1 0 9211 0 1 0 57015 776 0 0 25 0 8 0 74450222 937431040 8943 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073880104 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3796/statm: 228865 8943 2527 14 0 215335 0
[pid=3796/tid=3798] ppid=3794 vsize=915460 CPUtime=0.02
/proc/3796/task/3798/stat : 3798 (java) S 3794 3796 3545 0 -1 64 204 0 0 0 2 0 0 0 16 0 8 0 74450226 937431040 8943 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3796/tid=3799] ppid=3794 vsize=915460 CPUtime=0
/proc/3796/task/3799/stat : 3799 (java) S 3794 3796 3545 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 74450226 937431040 8943 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3796/tid=3800] ppid=3794 vsize=915460 CPUtime=0
/proc/3796/task/3800/stat : 3800 (java) S 3794 3796 3545 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 74450226 937431040 8943 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3796/tid=3801] ppid=3794 vsize=915460 CPUtime=0
/proc/3796/task/3801/stat : 3801 (java) S 3794 3796 3545 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 74450229 937431040 8943 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3796/tid=3802] ppid=3794 vsize=915460 CPUtime=0.24
/proc/3796/task/3802/stat : 3802 (java) S 3794 3796 3545 0 -1 64 402 0 0 0 23 1 0 0 16 0 8 0 74450229 937431040 8943 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3796/tid=3803] ppid=3794 vsize=915460 CPUtime=0
/proc/3796/task/3803/stat : 3803 (java) S 3794 3796 3545 0 -1 64 0 0 0 0 0 0 0 0 25 0 8 0 74450229 937431040 8943 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3796/tid=3804] ppid=3794 vsize=915460 CPUtime=0
/proc/3796/task/3804/stat : 3804 (java) S 3794 3796 3545 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 74450230 937431040 8943 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 577.91
Current children cumulated vsize (KiB) 915460
[startup+642.631 s]
/proc/loadavg: 2.00 1.99 1.95 3/87 3804
/proc/meminfo: memFree=1159072/2055920 swapFree=4192812/4192956
[pid=3796] ppid=3794 vsize=915460 CPUtime=637.44
/proc/3796/stat : 3796 (java) R 3794 3796 3545 0 -1 0 9211 0 1 0 62968 776 0 0 25 0 8 0 74450222 937431040 8943 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073826420 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3796/statm: 228865 8943 2527 14 0 215335 0
[pid=3796/tid=3798] ppid=3794 vsize=915460 CPUtime=0.02
/proc/3796/task/3798/stat : 3798 (java) S 3794 3796 3545 0 -1 64 204 0 0 0 2 0 0 0 16 0 8 0 74450226 937431040 8943 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3796/tid=3799] ppid=3794 vsize=915460 CPUtime=0
/proc/3796/task/3799/stat : 3799 (java) S 3794 3796 3545 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 74450226 937431040 8943 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3796/tid=3800] ppid=3794 vsize=915460 CPUtime=0
/proc/3796/task/3800/stat : 3800 (java) S 3794 3796 3545 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 74450226 937431040 8943 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3796/tid=3801] ppid=3794 vsize=915460 CPUtime=0
/proc/3796/task/3801/stat : 3801 (java) S 3794 3796 3545 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 74450229 937431040 8943 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3796/tid=3802] ppid=3794 vsize=915460 CPUtime=0.24
/proc/3796/task/3802/stat : 3802 (java) S 3794 3796 3545 0 -1 64 402 0 0 0 23 1 0 0 16 0 8 0 74450229 937431040 8943 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3796/tid=3803] ppid=3794 vsize=915460 CPUtime=0
/proc/3796/task/3803/stat : 3803 (java) S 3794 3796 3545 0 -1 64 0 0 0 0 0 0 0 0 25 0 8 0 74450229 937431040 8943 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3796/tid=3804] ppid=3794 vsize=915460 CPUtime=0
/proc/3796/task/3804/stat : 3804 (java) S 3794 3796 3545 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 74450230 937431040 8943 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 637.44
Current children cumulated vsize (KiB) 915460
[startup+702.642 s]
/proc/loadavg: 2.00 1.99 1.95 3/87 3804
/proc/meminfo: memFree=1159072/2055920 swapFree=4192812/4192956
[pid=3796] ppid=3794 vsize=915460 CPUtime=696.98
/proc/3796/stat : 3796 (java) R 3794 3796 3545 0 -1 0 9211 0 1 0 68922 776 0 0 25 0 8 0 74450222 937431040 8943 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073845427 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3796/statm: 228865 8943 2527 14 0 215335 0
[pid=3796/tid=3798] ppid=3794 vsize=915460 CPUtime=0.02
/proc/3796/task/3798/stat : 3798 (java) S 3794 3796 3545 0 -1 64 204 0 0 0 2 0 0 0 16 0 8 0 74450226 937431040 8943 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3796/tid=3799] ppid=3794 vsize=915460 CPUtime=0
/proc/3796/task/3799/stat : 3799 (java) S 3794 3796 3545 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 74450226 937431040 8943 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3796/tid=3800] ppid=3794 vsize=915460 CPUtime=0
/proc/3796/task/3800/stat : 3800 (java) S 3794 3796 3545 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 74450226 937431040 8943 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3796/tid=3801] ppid=3794 vsize=915460 CPUtime=0
/proc/3796/task/3801/stat : 3801 (java) S 3794 3796 3545 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 74450229 937431040 8943 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3796/tid=3802] ppid=3794 vsize=915460 CPUtime=0.24
/proc/3796/task/3802/stat : 3802 (java) S 3794 3796 3545 0 -1 64 402 0 0 0 23 1 0 0 16 0 8 0 74450229 937431040 8943 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3796/tid=3803] ppid=3794 vsize=915460 CPUtime=0
/proc/3796/task/3803/stat : 3803 (java) S 3794 3796 3545 0 -1 64 0 0 0 0 0 0 0 0 25 0 8 0 74450229 937431040 8943 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3796/tid=3804] ppid=3794 vsize=915460 CPUtime=0
/proc/3796/task/3804/stat : 3804 (java) S 3794 3796 3545 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 74450230 937431040 8943 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 696.98
Current children cumulated vsize (KiB) 915460
[startup+762.652 s]
/proc/loadavg: 2.05 2.00 1.95 3/87 3804
/proc/meminfo: memFree=1159072/2055920 swapFree=4192812/4192956
[pid=3796] ppid=3794 vsize=915460 CPUtime=756.48
/proc/3796/stat : 3796 (java) R 3794 3796 3545 0 -1 0 9211 0 1 0 74872 776 0 0 25 0 8 0 74450222 937431040 8943 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073844104 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3796/statm: 228865 8943 2527 14 0 215335 0
[pid=3796/tid=3798] ppid=3794 vsize=915460 CPUtime=0.02
/proc/3796/task/3798/stat : 3798 (java) S 3794 3796 3545 0 -1 64 204 0 0 0 2 0 0 0 16 0 8 0 74450226 937431040 8943 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3796/tid=3799] ppid=3794 vsize=915460 CPUtime=0
/proc/3796/task/3799/stat : 3799 (java) S 3794 3796 3545 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 74450226 937431040 8943 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3796/tid=3800] ppid=3794 vsize=915460 CPUtime=0
/proc/3796/task/3800/stat : 3800 (java) S 3794 3796 3545 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 74450226 937431040 8943 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3796/tid=3801] ppid=3794 vsize=915460 CPUtime=0
/proc/3796/task/3801/stat : 3801 (java) S 3794 3796 3545 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 74450229 937431040 8943 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3796/tid=3802] ppid=3794 vsize=915460 CPUtime=0.24
/proc/3796/task/3802/stat : 3802 (java) S 3794 3796 3545 0 -1 64 402 0 0 0 23 1 0 0 16 0 8 0 74450229 937431040 8943 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3796/tid=3803] ppid=3794 vsize=915460 CPUtime=0
/proc/3796/task/3803/stat : 3803 (java) S 3794 3796 3545 0 -1 64 0 0 0 0 0 0 0 0 25 0 8 0 74450229 937431040 8943 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3796/tid=3804] ppid=3794 vsize=915460 CPUtime=0
/proc/3796/task/3804/stat : 3804 (java) S 3794 3796 3545 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 74450230 937431040 8943 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 756.48
Current children cumulated vsize (KiB) 915460
[startup+822.662 s]
/proc/loadavg: 2.02 2.00 1.95 5/87 3804
/proc/meminfo: memFree=1159072/2055920 swapFree=4192812/4192956
[pid=3796] ppid=3794 vsize=915460 CPUtime=816.01
/proc/3796/stat : 3796 (java) R 3794 3796 3545 0 -1 0 9213 0 1 0 80825 776 0 0 25 0 8 0 74450222 937431040 8945 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073846294 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3796/statm: 228865 8945 2527 14 0 215335 0
[pid=3796/tid=3798] ppid=3794 vsize=915460 CPUtime=0.02
/proc/3796/task/3798/stat : 3798 (java) S 3794 3796 3545 0 -1 64 204 0 0 0 2 0 0 0 16 0 8 0 74450226 937431040 8945 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3796/tid=3799] ppid=3794 vsize=915460 CPUtime=0
/proc/3796/task/3799/stat : 3799 (java) S 3794 3796 3545 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 74450226 937431040 8945 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3796/tid=3800] ppid=3794 vsize=915460 CPUtime=0
/proc/3796/task/3800/stat : 3800 (java) S 3794 3796 3545 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 74450226 937431040 8945 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3796/tid=3801] ppid=3794 vsize=915460 CPUtime=0
/proc/3796/task/3801/stat : 3801 (java) S 3794 3796 3545 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 74450229 937431040 8945 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3796/tid=3802] ppid=3794 vsize=915460 CPUtime=0.24
/proc/3796/task/3802/stat : 3802 (java) S 3794 3796 3545 0 -1 64 402 0 0 0 23 1 0 0 16 0 8 0 74450229 937431040 8945 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3796/tid=3803] ppid=3794 vsize=915460 CPUtime=0
/proc/3796/task/3803/stat : 3803 (java) S 3794 3796 3545 0 -1 64 0 0 0 0 0 0 0 0 25 0 8 0 74450229 937431040 8945 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3796/tid=3804] ppid=3794 vsize=915460 CPUtime=0
/proc/3796/task/3804/stat : 3804 (java) S 3794 3796 3545 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 74450230 937431040 8945 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 816.01
Current children cumulated vsize (KiB) 915460
[startup+882.67 s]
/proc/loadavg: 2.00 2.00 1.95 3/87 3806
/proc/meminfo: memFree=1158880/2055920 swapFree=4192812/4192956
[pid=3796] ppid=3794 vsize=915460 CPUtime=875.54
/proc/3796/stat : 3796 (java) R 3794 3796 3545 0 -1 0 9213 0 1 0 86778 776 0 0 25 0 8 0 74450222 937431040 8945 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073880052 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3796/statm: 228865 8945 2527 14 0 215335 0
[pid=3796/tid=3798] ppid=3794 vsize=915460 CPUtime=0.02
/proc/3796/task/3798/stat : 3798 (java) S 3794 3796 3545 0 -1 64 204 0 0 0 2 0 0 0 16 0 8 0 74450226 937431040 8945 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3796/tid=3799] ppid=3794 vsize=915460 CPUtime=0
/proc/3796/task/3799/stat : 3799 (java) S 3794 3796 3545 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 74450226 937431040 8945 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3796/tid=3800] ppid=3794 vsize=915460 CPUtime=0
/proc/3796/task/3800/stat : 3800 (java) S 3794 3796 3545 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 74450226 937431040 8945 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3796/tid=3801] ppid=3794 vsize=915460 CPUtime=0
/proc/3796/task/3801/stat : 3801 (java) S 3794 3796 3545 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 74450229 937431040 8945 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3796/tid=3802] ppid=3794 vsize=915460 CPUtime=0.24
/proc/3796/task/3802/stat : 3802 (java) S 3794 3796 3545 0 -1 64 402 0 0 0 23 1 0 0 16 0 8 0 74450229 937431040 8945 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3796/tid=3803] ppid=3794 vsize=915460 CPUtime=0
/proc/3796/task/3803/stat : 3803 (java) S 3794 3796 3545 0 -1 64 0 0 0 0 0 0 0 0 25 0 8 0 74450229 937431040 8945 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3796/tid=3804] ppid=3794 vsize=915460 CPUtime=0
/proc/3796/task/3804/stat : 3804 (java) S 3794 3796 3545 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 74450230 937431040 8945 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 875.54
Current children cumulated vsize (KiB) 915460
[startup+942.679 s]
/proc/loadavg: 2.00 2.00 1.95 3/87 3806
/proc/meminfo: memFree=1158880/2055920 swapFree=4192812/4192956
[pid=3796] ppid=3794 vsize=915460 CPUtime=935.04
/proc/3796/stat : 3796 (java) R 3794 3796 3545 0 -1 0 9213 0 1 0 92727 777 0 0 25 0 8 0 74450222 937431040 8945 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073879017 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3796/statm: 228865 8945 2527 14 0 215335 0
[pid=3796/tid=3798] ppid=3794 vsize=915460 CPUtime=0.02
/proc/3796/task/3798/stat : 3798 (java) S 3794 3796 3545 0 -1 64 204 0 0 0 2 0 0 0 16 0 8 0 74450226 937431040 8945 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3796/tid=3799] ppid=3794 vsize=915460 CPUtime=0
/proc/3796/task/3799/stat : 3799 (java) S 3794 3796 3545 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 74450226 937431040 8945 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3796/tid=3800] ppid=3794 vsize=915460 CPUtime=0
/proc/3796/task/3800/stat : 3800 (java) S 3794 3796 3545 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 74450226 937431040 8945 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3796/tid=3801] ppid=3794 vsize=915460 CPUtime=0
/proc/3796/task/3801/stat : 3801 (java) S 3794 3796 3545 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 74450229 937431040 8945 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3796/tid=3802] ppid=3794 vsize=915460 CPUtime=0.24
/proc/3796/task/3802/stat : 3802 (java) S 3794 3796 3545 0 -1 64 402 0 0 0 23 1 0 0 16 0 8 0 74450229 937431040 8945 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3796/tid=3803] ppid=3794 vsize=915460 CPUtime=0
/proc/3796/task/3803/stat : 3803 (java) S 3794 3796 3545 0 -1 64 0 0 0 0 0 0 0 0 25 0 8 0 74450229 937431040 8945 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3796/tid=3804] ppid=3794 vsize=915460 CPUtime=0
/proc/3796/task/3804/stat : 3804 (java) S 3794 3796 3545 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 74450230 937431040 8945 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 935.04
Current children cumulated vsize (KiB) 915460
Child status: 0
Real time (s): 944.099
CPU time (s): 936.416
CPU user time (s): 928.637
CPU system time (s): 7.77882
CPU usage (%): 99.1862
Max. virtual memory (cumulated for all children) (KiB): 915464
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 928.637
system time used= 7.77882
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9311
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= 20331
involuntary context switches= 54358
runsolver used 0.78488 s user time and 2.6136 s system time
The end
Begin job on node66 on Sat Jan 20 05:05:30 UTC 2007
IDJOB= 277634
IDBENCH= 7504
IDSOLVER= 69
FILE ID= node66/277634-1169269529
PBS_JOBID= 3607415
Free space on /tmp= 66561 MiB
SOLVER NAME= AbsconMax 109 PFC
BENCH NAME= HOME/pub/bench/CPAI06/MaxCSP/cnf/2-40-1100-2000/cnf-2-40-1600-616121_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/277634-1169269529/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node66/watcher-277634-1169269529 -o ROOT/results/node66/solver-277634-1169269529 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/277634-1169269529/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= fc283ce45daa2db672118338a1ef28f9
RANDOM SEED= 973322523
TIME LIMIT= 2400 seconds
MEMORY LIMIT= 900 MiB
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.230
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.230
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1185136 kB
Buffers: 46896 kB
Cached: 556316 kB
SwapCached: 16 kB
Active: 266540 kB
Inactive: 532840 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1185136 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 2068 kB
Writeback: 0 kB
Mapped: 216412 kB
Slab: 56444 kB
Committed_AS: 1498920 kB
PageTables: 2112 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66561 MiB
End job on node66 on Sat Jan 20 05:21:14 UTC 2007