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/277670-1169269640/unknown.xml
0.37
0.37 domains being loaded...
0.37
0.37 variables being loaded...
0.40 nbVariables=40 nbDomainTypes=1 minDomainSize=2 maxDomainSize=2
0.40 => wckTime=0.087 cpuTime=0.08 mem=6M910
0.40
0.40 relations being loaded...
0.40
0.40 constraints being loaded...
0.55 nbConstraints=683 nbRelationTypes=14 nbExtensionStructures=14 nbSharedExtensionStructures=669
0.55 nbConflictsStructures=14 nbSharedConflictsStructures=669 nbSharedBinaryRepresentations=52 maxDegree=37
0.55 maxArity=2
0.55 => wckTime=0.242 cpuTime=0.16 mem=8M860
0.59
0.59 solver LocalSearchSolver being built...
0.63 => wckTime=0.319 cpuTime=0.2 mem=5M704
0.63
0.63 s SATISFIABLE
0.63 o 393
0.63 c 290
0.64 o 398
0.64 c 285
0.64 o 405
0.64 c 278
0.64 o 406
0.64 c 277
0.64 o 408
0.64 c 275
0.64 o 410
0.64 c 273
0.64 o 415
0.64 c 268
0.64 o 421
0.64 c 262
0.64 o 423
0.64 c 260
0.64 o 425
0.64 c 258
0.64 o 426
0.64 c 257
0.64 o 430
0.64 c 253
0.64 o 433
0.64 c 250
0.65 o 438
0.65 c 245
0.65 o 439
0.65 c 244
2.90
2.90 search
2.90 run=0 nbConstraintChecks=11236767 nbAssignments=10000
2.90 => wckTime=2.271 cpuTime=2.26 mem=5M704
5.12
5.12 search
5.12 run=1 nbConstraintChecks=22581287 nbAssignments=20000
5.12 => wckTime=4.498 cpuTime=4.47 mem=5M704
7.33
7.33 search
7.33 run=2 nbConstraintChecks=33823908 nbAssignments=30000
7.33 => wckTime=6.706 cpuTime=6.68 mem=5M704
9.54
9.54 search
9.54 run=3 nbConstraintChecks=45164775 nbAssignments=40000
9.54 => wckTime=8.913 cpuTime=8.89 mem=5M704
11.74
11.74 search
11.74 run=4 nbConstraintChecks=56409340 nbAssignments=50000
11.74 => wckTime=11.112 cpuTime=11.08 mem=5M704
13.94
13.94 search
13.94 run=5 nbConstraintChecks=67739006 nbAssignments=60000
13.94 => wckTime=13.318 cpuTime=13.29 mem=5M704
16.13
16.13 search
16.13 run=6 nbConstraintChecks=78976563 nbAssignments=70000
16.13 => wckTime=15.506 cpuTime=15.47 mem=5M704
18.36
18.36 search
18.36 run=7 nbConstraintChecks=90320424 nbAssignments=80000
18.36 => wckTime=17.737 cpuTime=17.68 mem=5M704
20.57
20.57 search
20.57 run=8 nbConstraintChecks=101563835 nbAssignments=90000
20.57 => wckTime=19.944 cpuTime=19.88 mem=5M704
22.79
22.79 search
22.79 run=9 nbConstraintChecks=112898707 nbAssignments=100000
22.79 => wckTime=22.165 cpuTime=22.11 mem=5M704
25.00
25.00 search
25.00 run=10 nbConstraintChecks=124142779 nbAssignments=110000
25.00 => wckTime=24.373 cpuTime=24.31 mem=5M704
27.22
27.22 search
27.22 run=11 nbConstraintChecks=135498986 nbAssignments=120000
27.22 => wckTime=26.599 cpuTime=26.54 mem=5M704
29.42
29.42 search
29.42 run=12 nbConstraintChecks=146742144 nbAssignments=130000
29.42 => wckTime=28.794 cpuTime=28.73 mem=5M704
30.70
30.70 search
30.70 run=13 nbConstraintChecks=153321023 nbAssignments=135810
30.70 => wckTime=30.075 cpuTime=30.02 mem=5M704
30.70
30.70 global
30.70 nbConstraintChecks=153321023 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
30.70 solvingWckTime=30.074 solvingCpuTime=30.02 expiredTime=no totalExploration=no nbFoundSolutions=0
30.70 globalCpuTime=30.27
30.70 => wckTime=30.395 cpuTime=30.22 mem=5M704
30.70
30.70 solver IterativeSystematicSolver being built...
30.84 => wckTime=30.528 cpuTime=30.31 mem=16M823
30.85
30.85 preprocessing
30.85 nbConstraintChecks=976 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
30.85 detectedInconsistency=no
30.85 => wckTime=0.01 cpuTime=0.0 mem=16M823
30.91
30.91 search
30.91 run=0 nbConstraintChecks=63424 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=39
30.91 nbFailedAssignments=6 nbBacktracks=10 nbVisitedNodes=56 nbRestartNogoods=0
30.91 => wckTime=0.067 cpuTime=0.04 mem=16M823
30.95
30.95 search
30.96 run=1 nbConstraintChecks=146408 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=87
30.96 nbFailedAssignments=18 nbBacktracks=25 nbVisitedNodes=131 nbRestartNogoods=2
30.96 => wckTime=0.118 cpuTime=0.08 mem=16M823
30.99
30.99 search
30.99 run=2 nbConstraintChecks=249985 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=143
30.99 nbFailedAssignments=31 nbBacktracks=49 nbVisitedNodes=224 nbRestartNogoods=5
31.00 => wckTime=0.158 cpuTime=0.12 mem=16M823
31.05
31.05 search
31.05 run=3 nbConstraintChecks=396636 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=219
31.05 nbFailedAssignments=53 nbBacktracks=83 nbVisitedNodes=356 nbRestartNogoods=7
31.05 => wckTime=0.215 cpuTime=0.17 mem=16M823
31.14
31.14 search
31.14 run=4 nbConstraintChecks=613987 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=324
31.14 nbFailedAssignments=89 nbBacktracks=134 nbVisitedNodes=548 nbRestartNogoods=10
31.14 => wckTime=0.3 cpuTime=0.26 mem=16M823
31.25
31.25 search
31.25 run=5 nbConstraintChecks=912584 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=464
31.25 nbFailedAssignments=133 nbBacktracks=211 nbVisitedNodes=809 nbRestartNogoods=14
31.25 => wckTime=0.412 cpuTime=0.37 mem=16M823
31.41
31.41 search
31.41 run=6 nbConstraintChecks=1355744 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=667
31.41 nbFailedAssignments=205 nbBacktracks=324 nbVisitedNodes=1197 nbRestartNogoods=17
31.41 => wckTime=0.574 cpuTime=0.53 mem=16M823
31.64
31.64 search
31.64 run=7 nbConstraintChecks=1974688 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=949
31.64 nbFailedAssignments=299 nbBacktracks=494 nbVisitedNodes=1743 nbRestartNogoods=21
31.64 => wckTime=0.804 cpuTime=0.75 mem=16M823
32.01
32.01 search
32.01 run=8 nbConstraintChecks=2934829 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1374
32.01 nbFailedAssignments=449 nbBacktracks=753 nbVisitedNodes=2577 nbRestartNogoods=26
32.01 => wckTime=1.168 cpuTime=1.11 mem=16M823
32.51
32.51 search
32.51 run=9 nbConstraintChecks=4306769 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1979
32.51 nbFailedAssignments=647 nbBacktracks=1140 nbVisitedNodes=3767 nbRestartNogoods=28
32.51 => wckTime=1.671 cpuTime=1.6 mem=16M823
33.32
33.32 search
33.32 run=10 nbConstraintChecks=6494196 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2908
33.32 nbFailedAssignments=987 nbBacktracks=1716 nbVisitedNodes=5612 nbRestartNogoods=31
33.32 => wckTime=2.484 cpuTime=2.4 mem=16M823
34.44
34.44 search
34.44 run=11 nbConstraintChecks=9581855 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=4230
34.44 nbFailedAssignments=1431 nbBacktracks=2580 nbVisitedNodes=8242 nbRestartNogoods=35
34.44 => wckTime=3.603 cpuTime=3.52 mem=16M823
35.70 o 440
35.70 c 243
36.06
36.06 search
36.06 run=12 nbConstraintChecks=14112458 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=6197
36.06 nbFailedAssignments=2085 nbBacktracks=3878 nbVisitedNodes=12153 nbRestartNogoods=41
36.06 => wckTime=5.226 cpuTime=5.14 mem=16M823
38.80
38.80 search
38.80 run=13 nbConstraintChecks=21523426 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=9322
38.80 nbFailedAssignments=3252 nbBacktracks=5824 nbVisitedNodes=18391 nbRestartNogoods=45
38.80 => wckTime=7.962 cpuTime=7.88 mem=16M823
42.81
42.81 search
42.81 run=14 nbConstraintChecks=32441471 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=13980
42.81 nbFailedAssignments=4975 nbBacktracks=8743 nbVisitedNodes=27691 nbRestartNogoods=52
42.81 => wckTime=11.973 cpuTime=11.89 mem=16M823
48.90
48.90 search
48.90 run=15 nbConstraintChecks=48889953 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=20967
48.90 nbFailedAssignments=7569 nbBacktracks=13122 nbVisitedNodes=41651 nbRestartNogoods=56
48.90 => wckTime=18.063 cpuTime=17.97 mem=16M823
58.36
58.36 search
58.36 run=16 nbConstraintChecks=74674763 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=31639
58.36 nbFailedAssignments=11661 nbBacktracks=19691 nbVisitedNodes=62984 nbRestartNogoods=62
58.36 => wckTime=27.525 cpuTime=27.42 mem=16M823
73.09
73.09 search
73.09 run=17 nbConstraintChecks=113245317 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=47630
73.09 nbFailedAssignments=17785 nbBacktracks=29544 nbVisitedNodes=94849 nbRestartNogoods=68
73.09 => wckTime=42.256 cpuTime=42.13 mem=16M823
94.85
94.85 search
94.86 run=18 nbConstraintChecks=170803651 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=71586
94.86 nbFailedAssignments=26950 nbBacktracks=44322 nbVisitedNodes=142616 nbRestartNogoods=70
94.86 => wckTime=64.018 cpuTime=63.88 mem=16M823
129.69
129.69 search
129.69 run=19 nbConstraintChecks=259004212 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=107627
129.69 nbFailedAssignments=40814 nbBacktracks=66490 nbVisitedNodes=214584 nbRestartNogoods=77
129.69 => wckTime=98.855 cpuTime=98.68 mem=16M823
182.63
182.63 search
182.63 run=20 nbConstraintChecks=394291956 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=162959
182.63 nbFailedAssignments=62882 nbBacktracks=99744 nbVisitedNodes=324898 nbRestartNogoods=85
182.63 => wckTime=151.791 cpuTime=151.57 mem=16M823
256.37
256.37 search
256.37 run=21 nbConstraintChecks=584691344 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=242524
256.37 nbFailedAssignments=92555 nbBacktracks=149622 nbVisitedNodes=483989 nbRestartNogoods=92
256.37 => wckTime=225.532 cpuTime=225.22 mem=16M823
372.15
372.15 search
372.15 run=22 nbConstraintChecks=877561690 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=363213
372.15 nbFailedAssignments=138416 nbBacktracks=224441 nbVisitedNodes=724781 nbRestartNogoods=98
372.15 => wckTime=341.317 cpuTime=340.9 mem=16M823
545.96
545.96 search
545.96 run=23 nbConstraintChecks=1317006807 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=546415
545.96 nbFailedAssignments=209383 nbBacktracks=336668 nbVisitedNodes=1090818 nbRestartNogoods=107
545.96 => wckTime=515.125 cpuTime=514.53 mem=16M823
572.75
572.75 search
572.75 run=24 nbConstraintChecks=1384235079 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=574330
572.75 nbFailedAssignments=220277 nbBacktracks=353690 nbVisitedNodes=1146551 nbRestartNogoods=118
572.75 => wckTime=541.913 cpuTime=541.28 mem=16M823
572.75
572.75 global
572.75 nbConstraintChecks=1384236055 nbRestartNogoods=118 solvingWckTime=541.914 solvingCpuTime=541.28 expiredTime=no
572.75 totalExploration=yes nbFoundSolutions=1 globalCpuTime=571.65
572.75 => wckTime=572.443 cpuTime=571.6 mem=16M823
572.75
572.75 s OPTIMUM FOUND
572.76 v 0 1 0 0 0 0 1 0 1 0 1 0 0 1 1 1 1 1 0 0 0 0 0 0 0 1 1 0 1 1 0 1 1 1 0 1 0 0 0 0
572.76
572.76 totalWckTime=572.519 totalCpuTime=571.65
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node65/watcher-277670-1169269640 -o ROOT/results/node65/solver-277670-1169269640 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/277670-1169269640/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.66 1.89 1.91 4/81 30741
/proc/meminfo: memFree=1457924/2055920 swapFree=4191892/4192956
[pid=30740] ppid=30738 vsize=172 CPUtime=0
/proc/30740/stat : 30740 (java) R 30738 30740 30624 0 -1 0 217 0 0 0 0 0 0 0 18 0 1 0 74461224 176128 24 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 5686052 0 0 4096 0 0 0 0 17 0 0 0
/proc/30740/statm: 43 24 18 14 0 3 0
[startup+0.107527 s]
/proc/loadavg: 1.66 1.89 1.91 4/81 30741
/proc/meminfo: memFree=1457924/2055920 swapFree=4191892/4192956
[pid=30740] ppid=30738 vsize=913964 CPUtime=0.07
/proc/30740/stat : 30740 (java) R 30738 30740 30624 0 -1 0 2892 0 1 0 6 1 0 0 24 0 8 0 74461224 935899136 2638 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/30740/statm: 228491 2639 1396 14 0 215392 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 913964
[startup+0.515593 s]
/proc/loadavg: 1.66 1.89 1.91 4/81 30741
/proc/meminfo: memFree=1457924/2055920 swapFree=4191892/4192956
[pid=30740] ppid=30738 vsize=915980 CPUtime=0.48
/proc/30740/stat : 30740 (java) R 30738 30740 30624 0 -1 0 6509 0 1 0 44 4 0 0 25 0 8 0 74461224 937963520 6248 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073652996 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/30740/statm: 228995 6248 2149 14 0 215465 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915980
[startup+1.33773 s]
/proc/loadavg: 1.66 1.89 1.91 3/88 30748
/proc/meminfo: memFree=1439564/2055920 swapFree=4191892/4192956
[pid=30740] ppid=30738 vsize=915980 CPUtime=1.29
/proc/30740/stat : 30740 (java) R 30738 30740 30624 0 -1 0 7283 0 1 0 116 13 0 0 25 0 8 0 74461224 937963520 7021 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/30740/statm: 228995 7021 2476 14 0 215465 0
[pid=30740/tid=30742] ppid=30738 vsize=915980 CPUtime=0.02
/proc/30740/task/30742/stat : 30742 (java) S 30738 30740 30624 0 -1 64 206 0 0 0 2 0 0 0 16 0 8 0 74461229 937963520 7021 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=30740/tid=30743] ppid=30738 vsize=915984 CPUtime=0
/proc/30740/task/30743/stat : 30743 (java) S 30738 30740 30624 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 74461230 937967616 7021 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30740/tid=30744] ppid=30738 vsize=915980 CPUtime=0
/proc/30740/task/30744/stat : 30744 (java) S 30738 30740 30624 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 74461230 937963520 7021 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30740/tid=30745] ppid=30738 vsize=915980 CPUtime=0
/proc/30740/task/30745/stat : 30745 (java) S 30738 30740 30624 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 74461233 937963520 7021 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30740/tid=30746] ppid=30738 vsize=915980 CPUtime=0.13
/proc/30740/task/30746/stat : 30746 (java) S 30738 30740 30624 0 -1 64 342 0 0 0 13 0 0 0 16 0 8 0 74461233 937963520 7021 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30740/tid=30747] ppid=30738 vsize=915980 CPUtime=0
/proc/30740/task/30747/stat : 30747 (java) S 30738 30740 30624 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 74461233 937963520 7021 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30740/tid=30748] ppid=30738 vsize=915984 CPUtime=0
/proc/30740/task/30748/stat : 30748 (java) S 30738 30740 30624 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 74461233 937967616 7021 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 915980
[startup+2.991 s]
/proc/loadavg: 1.66 1.89 1.91 3/88 30748
/proc/meminfo: memFree=1439564/2055920 swapFree=4191892/4192956
[pid=30740] ppid=30738 vsize=915980 CPUtime=2.96
/proc/30740/stat : 30740 (java) R 30738 30740 30624 0 -1 0 7286 0 1 0 255 41 0 0 25 0 8 0 74461224 937963520 7023 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/30740/statm: 228995 7023 2476 14 0 215465 0
[pid=30740/tid=30742] ppid=30738 vsize=915980 CPUtime=0.02
/proc/30740/task/30742/stat : 30742 (java) S 30738 30740 30624 0 -1 64 206 0 0 0 2 0 0 0 16 0 8 0 74461229 937963520 7023 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=30740/tid=30743] ppid=30738 vsize=915980 CPUtime=0
/proc/30740/task/30743/stat : 30743 (java) S 30738 30740 30624 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 74461230 937963520 7023 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30740/tid=30744] ppid=30738 vsize=915980 CPUtime=0
/proc/30740/task/30744/stat : 30744 (java) S 30738 30740 30624 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 74461230 937963520 7023 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30740/tid=30745] ppid=30738 vsize=915980 CPUtime=0
/proc/30740/task/30745/stat : 30745 (java) S 30738 30740 30624 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 74461233 937963520 7023 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30740/tid=30746] ppid=30738 vsize=915980 CPUtime=0.13
/proc/30740/task/30746/stat : 30746 (java) S 30738 30740 30624 0 -1 64 344 0 0 0 13 0 0 0 16 0 8 0 74461233 937963520 7023 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30740/tid=30747] ppid=30738 vsize=915980 CPUtime=0
/proc/30740/task/30747/stat : 30747 (java) S 30738 30740 30624 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 74461233 937963520 7023 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30740/tid=30748] ppid=30738 vsize=915980 CPUtime=0
/proc/30740/task/30748/stat : 30748 (java) S 30738 30740 30624 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 74461233 937963520 7023 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 915980
[startup+6.27354 s]
/proc/loadavg: 1.69 1.89 1.91 3/88 30748
/proc/meminfo: memFree=1439564/2055920 swapFree=4191892/4192956
[pid=30740] ppid=30738 vsize=915980 CPUtime=6.23
/proc/30740/stat : 30740 (java) R 30738 30740 30624 0 -1 0 7286 0 1 0 529 94 0 0 25 0 8 0 74461224 937963520 7023 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/30740/statm: 228996 7023 2476 14 0 215466 0
[pid=30740/tid=30742] ppid=30738 vsize=915980 CPUtime=0.02
/proc/30740/task/30742/stat : 30742 (java) S 30738 30740 30624 0 -1 64 206 0 0 0 2 0 0 0 16 0 8 0 74461229 937963520 7023 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=30740/tid=30743] ppid=30738 vsize=915980 CPUtime=0
/proc/30740/task/30743/stat : 30743 (java) S 30738 30740 30624 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 74461230 937963520 7023 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30740/tid=30744] ppid=30738 vsize=915980 CPUtime=0
/proc/30740/task/30744/stat : 30744 (java) S 30738 30740 30624 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 74461230 937963520 7023 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30740/tid=30745] ppid=30738 vsize=915980 CPUtime=0
/proc/30740/task/30745/stat : 30745 (java) S 30738 30740 30624 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 74461233 937963520 7023 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30740/tid=30746] ppid=30738 vsize=915980 CPUtime=0.13
/proc/30740/task/30746/stat : 30746 (java) S 30738 30740 30624 0 -1 64 344 0 0 0 13 0 0 0 16 0 8 0 74461233 937963520 7023 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30740/tid=30747] ppid=30738 vsize=915980 CPUtime=0
/proc/30740/task/30747/stat : 30747 (java) S 30738 30740 30624 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 74461233 937963520 7023 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30740/tid=30748] ppid=30738 vsize=915980 CPUtime=0
/proc/30740/task/30748/stat : 30748 (java) S 30738 30740 30624 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 74461233 937963520 7023 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 915980
[startup+12.7626 s]
/proc/loadavg: 1.80 1.91 1.92 3/88 30748
/proc/meminfo: memFree=1439564/2055920 swapFree=4191892/4192956
[pid=30740] ppid=30738 vsize=915980 CPUtime=12.71
/proc/30740/stat : 30740 (java) R 30738 30740 30624 0 -1 0 7287 0 1 0 1071 200 0 0 25 0 8 0 74461224 937963520 7024 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/30740/statm: 228995 7024 2476 14 0 215465 0
[pid=30740/tid=30742] ppid=30738 vsize=915980 CPUtime=0.02
/proc/30740/task/30742/stat : 30742 (java) S 30738 30740 30624 0 -1 64 206 0 0 0 2 0 0 0 16 0 8 0 74461229 937963520 7024 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=30740/tid=30743] ppid=30738 vsize=915980 CPUtime=0
/proc/30740/task/30743/stat : 30743 (java) S 30738 30740 30624 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 74461230 937963520 7024 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30740/tid=30744] ppid=30738 vsize=915980 CPUtime=0
/proc/30740/task/30744/stat : 30744 (java) S 30738 30740 30624 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 74461230 937963520 7024 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30740/tid=30745] ppid=30738 vsize=915980 CPUtime=0
/proc/30740/task/30745/stat : 30745 (java) S 30738 30740 30624 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 74461233 937963520 7024 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30740/tid=30746] ppid=30738 vsize=915980 CPUtime=0.13
/proc/30740/task/30746/stat : 30746 (java) S 30738 30740 30624 0 -1 64 345 0 0 0 13 0 0 0 16 0 8 0 74461233 937963520 7024 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30740/tid=30747] ppid=30738 vsize=915980 CPUtime=0
/proc/30740/task/30747/stat : 30747 (java) S 30738 30740 30624 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 74461233 937963520 7024 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30740/tid=30748] ppid=30738 vsize=915980 CPUtime=0
/proc/30740/task/30748/stat : 30748 (java) S 30738 30740 30624 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 74461233 937963520 7024 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.71
Current children cumulated vsize (KiB) 915980
[startup+25.6147 s]
/proc/loadavg: 1.84 1.92 1.92 3/88 30748
/proc/meminfo: memFree=1439564/2055920 swapFree=4191892/4192956
[pid=30740] ppid=30738 vsize=915980 CPUtime=25.54
/proc/30740/stat : 30740 (java) R 30738 30740 30624 0 -1 0 7287 0 1 0 2140 414 0 0 25 0 8 0 74461224 937963520 7024 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/30740/statm: 228995 7024 2476 14 0 215465 0
[pid=30740/tid=30742] ppid=30738 vsize=915984 CPUtime=0.02
/proc/30740/task/30742/stat : 30742 (java) S 30738 30740 30624 0 -1 64 206 0 0 0 2 0 0 0 16 0 8 0 74461229 937967616 7024 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=30740/tid=30743] ppid=30738 vsize=915980 CPUtime=0
/proc/30740/task/30743/stat : 30743 (java) S 30738 30740 30624 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 74461230 937963520 7024 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30740/tid=30744] ppid=30738 vsize=915980 CPUtime=0
/proc/30740/task/30744/stat : 30744 (java) S 30738 30740 30624 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 74461230 937963520 7024 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30740/tid=30745] ppid=30738 vsize=915980 CPUtime=0
/proc/30740/task/30745/stat : 30745 (java) S 30738 30740 30624 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 74461233 937963520 7024 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30740/tid=30746] ppid=30738 vsize=915980 CPUtime=0.13
/proc/30740/task/30746/stat : 30746 (java) S 30738 30740 30624 0 -1 64 345 0 0 0 13 0 0 0 16 0 8 0 74461233 937963520 7024 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30740/tid=30747] ppid=30738 vsize=915984 CPUtime=0
/proc/30740/task/30747/stat : 30747 (java) S 30738 30740 30624 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 74461233 937967616 7024 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30740/tid=30748] ppid=30738 vsize=915980 CPUtime=0
/proc/30740/task/30748/stat : 30748 (java) S 30738 30740 30624 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 74461233 937963520 7024 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.54
Current children cumulated vsize (KiB) 915980
[startup+51.224 s]
/proc/loadavg: 1.95 1.94 1.93 3/88 30748
/proc/meminfo: memFree=1432396/2055920 swapFree=4191892/4192956
[pid=30740] ppid=30738 vsize=915980 CPUtime=51.14
/proc/30740/stat : 30740 (java) R 30738 30740 30624 0 -1 0 9192 0 1 0 4614 500 0 0 25 0 8 0 74461224 937963520 8925 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073895773 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/30740/statm: 228995 8925 2527 14 0 215465 0
[pid=30740/tid=30742] ppid=30738 vsize=915980 CPUtime=0.02
/proc/30740/task/30742/stat : 30742 (java) S 30738 30740 30624 0 -1 64 207 0 0 0 2 0 0 0 16 0 8 0 74461229 937963520 8925 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=30740/tid=30743] ppid=30738 vsize=915980 CPUtime=0
/proc/30740/task/30743/stat : 30743 (java) S 30738 30740 30624 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 74461230 937963520 8925 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30740/tid=30744] ppid=30738 vsize=915980 CPUtime=0
/proc/30740/task/30744/stat : 30744 (java) S 30738 30740 30624 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 74461230 937963520 8925 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30740/tid=30745] ppid=30738 vsize=915980 CPUtime=0
/proc/30740/task/30745/stat : 30745 (java) S 30738 30740 30624 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 74461233 937963520 8925 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30740/tid=30746] ppid=30738 vsize=915980 CPUtime=0.24
/proc/30740/task/30746/stat : 30746 (java) S 30738 30740 30624 0 -1 64 405 0 0 0 23 1 0 0 16 0 8 0 74461233 937963520 8925 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30740/tid=30747] ppid=30738 vsize=915980 CPUtime=0
/proc/30740/task/30747/stat : 30747 (java) S 30738 30740 30624 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 74461233 937963520 8925 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30740/tid=30748] ppid=30738 vsize=915980 CPUtime=0
/proc/30740/task/30748/stat : 30748 (java) S 30738 30740 30624 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 74461233 937963520 8925 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.14
Current children cumulated vsize (KiB) 915980
[startup+102.451 s]
/proc/loadavg: 1.98 1.94 1.93 3/88 30748
/proc/meminfo: memFree=1432396/2055920 swapFree=4191892/4192956
[pid=30740] ppid=30738 vsize=915980 CPUtime=102.32
/proc/30740/stat : 30740 (java) R 30738 30740 30624 0 -1 0 9198 0 1 0 9732 500 0 0 25 0 8 0 74461224 937963520 8931 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073824156 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/30740/statm: 228995 8931 2527 14 0 215465 0
[pid=30740/tid=30742] ppid=30738 vsize=915980 CPUtime=0.02
/proc/30740/task/30742/stat : 30742 (java) S 30738 30740 30624 0 -1 64 207 0 0 0 2 0 0 0 16 0 8 0 74461229 937963520 8931 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=30740/tid=30743] ppid=30738 vsize=915980 CPUtime=0
/proc/30740/task/30743/stat : 30743 (java) S 30738 30740 30624 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 74461230 937963520 8931 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30740/tid=30744] ppid=30738 vsize=915980 CPUtime=0
/proc/30740/task/30744/stat : 30744 (java) S 30738 30740 30624 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 74461230 937963520 8931 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30740/tid=30745] ppid=30738 vsize=915980 CPUtime=0
/proc/30740/task/30745/stat : 30745 (java) S 30738 30740 30624 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 74461233 937963520 8931 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30740/tid=30746] ppid=30738 vsize=915980 CPUtime=0.24
/proc/30740/task/30746/stat : 30746 (java) S 30738 30740 30624 0 -1 64 405 0 0 0 23 1 0 0 16 0 8 0 74461233 937963520 8931 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30740/tid=30747] ppid=30738 vsize=915980 CPUtime=0
/proc/30740/task/30747/stat : 30747 (java) S 30738 30740 30624 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 74461233 937963520 8931 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30740/tid=30748] ppid=30738 vsize=915980 CPUtime=0
/proc/30740/task/30748/stat : 30748 (java) S 30738 30740 30624 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 74461233 937963520 8931 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 102.32
Current children cumulated vsize (KiB) 915980
[startup+162.55 s]
/proc/loadavg: 1.99 1.95 1.93 3/88 30748
/proc/meminfo: memFree=1432396/2055920 swapFree=4191892/4192956
[pid=30740] ppid=30738 vsize=915980 CPUtime=162.34
/proc/30740/stat : 30740 (java) R 30738 30740 30624 0 -1 0 9201 0 1 0 15734 500 0 0 25 0 8 0 74461224 937963520 8934 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073879514 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/30740/statm: 228995 8934 2527 14 0 215465 0
[pid=30740/tid=30742] ppid=30738 vsize=915980 CPUtime=0.02
/proc/30740/task/30742/stat : 30742 (java) S 30738 30740 30624 0 -1 64 207 0 0 0 2 0 0 0 16 0 8 0 74461229 937963520 8934 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=30740/tid=30743] ppid=30738 vsize=915980 CPUtime=0
/proc/30740/task/30743/stat : 30743 (java) S 30738 30740 30624 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 74461230 937963520 8934 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30740/tid=30744] ppid=30738 vsize=915980 CPUtime=0
/proc/30740/task/30744/stat : 30744 (java) S 30738 30740 30624 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 74461230 937963520 8934 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30740/tid=30745] ppid=30738 vsize=915980 CPUtime=0
/proc/30740/task/30745/stat : 30745 (java) S 30738 30740 30624 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 74461233 937963520 8934 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30740/tid=30746] ppid=30738 vsize=915980 CPUtime=0.24
/proc/30740/task/30746/stat : 30746 (java) S 30738 30740 30624 0 -1 64 405 0 0 0 23 1 0 0 16 0 8 0 74461233 937963520 8934 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30740/tid=30747] ppid=30738 vsize=915980 CPUtime=0
/proc/30740/task/30747/stat : 30747 (java) S 30738 30740 30624 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 74461233 937963520 8934 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30740/tid=30748] ppid=30738 vsize=915980 CPUtime=0
/proc/30740/task/30748/stat : 30748 (java) S 30738 30740 30624 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 74461233 937963520 8934 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 162.34
Current children cumulated vsize (KiB) 915980
[startup+222.647 s]
/proc/loadavg: 1.99 1.96 1.93 3/88 30748
/proc/meminfo: memFree=1432332/2055920 swapFree=4191892/4192956
[pid=30740] ppid=30738 vsize=915980 CPUtime=222.38
/proc/30740/stat : 30740 (java) R 30738 30740 30624 0 -1 0 9205 0 1 0 21738 500 0 0 25 0 8 0 74461224 937963520 8937 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073824037 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/30740/statm: 228995 8937 2527 14 0 215465 0
[pid=30740/tid=30742] ppid=30738 vsize=915980 CPUtime=0.02
/proc/30740/task/30742/stat : 30742 (java) S 30738 30740 30624 0 -1 64 207 0 0 0 2 0 0 0 16 0 8 0 74461229 937963520 8937 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=30740/tid=30743] ppid=30738 vsize=915980 CPUtime=0
/proc/30740/task/30743/stat : 30743 (java) S 30738 30740 30624 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 74461230 937963520 8937 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30740/tid=30744] ppid=30738 vsize=915980 CPUtime=0
/proc/30740/task/30744/stat : 30744 (java) S 30738 30740 30624 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 74461230 937963520 8937 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30740/tid=30745] ppid=30738 vsize=915980 CPUtime=0
/proc/30740/task/30745/stat : 30745 (java) S 30738 30740 30624 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 74461233 937963520 8937 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30740/tid=30746] ppid=30738 vsize=915980 CPUtime=0.25
/proc/30740/task/30746/stat : 30746 (java) S 30738 30740 30624 0 -1 64 406 0 0 0 24 1 0 0 16 0 8 0 74461233 937963520 8937 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30740/tid=30747] ppid=30738 vsize=915980 CPUtime=0
/proc/30740/task/30747/stat : 30747 (java) S 30738 30740 30624 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 74461233 937963520 8937 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30740/tid=30748] ppid=30738 vsize=915980 CPUtime=0
/proc/30740/task/30748/stat : 30748 (java) S 30738 30740 30624 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 74461233 937963520 8937 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 222.38
Current children cumulated vsize (KiB) 915980
[startup+282.748 s]
/proc/loadavg: 1.99 1.96 1.93 3/88 30748
/proc/meminfo: memFree=1432332/2055920 swapFree=4191892/4192956
[pid=30740] ppid=30738 vsize=915980 CPUtime=282.43
/proc/30740/stat : 30740 (java) R 30738 30740 30624 0 -1 0 9207 0 1 0 27743 500 0 0 25 0 8 0 74461224 937963520 8939 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073841403 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/30740/statm: 228995 8939 2527 14 0 215465 0
[pid=30740/tid=30742] ppid=30738 vsize=915980 CPUtime=0.02
/proc/30740/task/30742/stat : 30742 (java) S 30738 30740 30624 0 -1 64 207 0 0 0 2 0 0 0 16 0 8 0 74461229 937963520 8939 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=30740/tid=30743] ppid=30738 vsize=915980 CPUtime=0
/proc/30740/task/30743/stat : 30743 (java) S 30738 30740 30624 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 74461230 937963520 8939 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30740/tid=30744] ppid=30738 vsize=915980 CPUtime=0
/proc/30740/task/30744/stat : 30744 (java) S 30738 30740 30624 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 74461230 937963520 8939 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30740/tid=30745] ppid=30738 vsize=915980 CPUtime=0
/proc/30740/task/30745/stat : 30745 (java) S 30738 30740 30624 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 74461233 937963520 8939 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30740/tid=30746] ppid=30738 vsize=915980 CPUtime=0.25
/proc/30740/task/30746/stat : 30746 (java) S 30738 30740 30624 0 -1 64 406 0 0 0 24 1 0 0 16 0 8 0 74461233 937963520 8939 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30740/tid=30747] ppid=30738 vsize=915980 CPUtime=0
/proc/30740/task/30747/stat : 30747 (java) S 30738 30740 30624 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 74461233 937963520 8939 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30740/tid=30748] ppid=30738 vsize=915980 CPUtime=0
/proc/30740/task/30748/stat : 30748 (java) S 30738 30740 30624 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 74461233 937963520 8939 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 282.43
Current children cumulated vsize (KiB) 915980
[startup+342.839 s]
/proc/loadavg: 1.99 1.97 1.93 3/88 30748
/proc/meminfo: memFree=1432332/2055920 swapFree=4191892/4192956
[pid=30740] ppid=30738 vsize=915980 CPUtime=342.44
/proc/30740/stat : 30740 (java) R 30738 30740 30624 0 -1 0 9207 0 1 0 33744 500 0 0 25 0 8 0 74461224 937963520 8939 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073824043 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/30740/statm: 228995 8939 2527 14 0 215465 0
[pid=30740/tid=30742] ppid=30738 vsize=915980 CPUtime=0.02
/proc/30740/task/30742/stat : 30742 (java) S 30738 30740 30624 0 -1 64 207 0 0 0 2 0 0 0 16 0 8 0 74461229 937963520 8939 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=30740/tid=30743] ppid=30738 vsize=915980 CPUtime=0
/proc/30740/task/30743/stat : 30743 (java) S 30738 30740 30624 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 74461230 937963520 8939 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30740/tid=30744] ppid=30738 vsize=915980 CPUtime=0
/proc/30740/task/30744/stat : 30744 (java) S 30738 30740 30624 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 74461230 937963520 8939 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30740/tid=30745] ppid=30738 vsize=915980 CPUtime=0
/proc/30740/task/30745/stat : 30745 (java) S 30738 30740 30624 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 74461233 937963520 8939 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30740/tid=30746] ppid=30738 vsize=915980 CPUtime=0.25
/proc/30740/task/30746/stat : 30746 (java) S 30738 30740 30624 0 -1 64 406 0 0 0 24 1 0 0 16 0 8 0 74461233 937963520 8939 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30740/tid=30747] ppid=30738 vsize=915980 CPUtime=0
/proc/30740/task/30747/stat : 30747 (java) S 30738 30740 30624 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 74461233 937963520 8939 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30740/tid=30748] ppid=30738 vsize=915980 CPUtime=0
/proc/30740/task/30748/stat : 30748 (java) S 30738 30740 30624 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 74461233 937963520 8939 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 342.44
Current children cumulated vsize (KiB) 915980
[startup+402.929 s]
/proc/loadavg: 2.03 1.98 1.93 3/88 30748
/proc/meminfo: memFree=1432332/2055920 swapFree=4191892/4192956
[pid=30740] ppid=30738 vsize=915980 CPUtime=402.48
/proc/30740/stat : 30740 (java) R 30738 30740 30624 0 -1 0 9210 0 1 0 39748 500 0 0 25 0 8 0 74461224 937963520 8942 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073716890 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/30740/statm: 228995 8942 2527 14 0 215465 0
[pid=30740/tid=30742] ppid=30738 vsize=915980 CPUtime=0.02
/proc/30740/task/30742/stat : 30742 (java) S 30738 30740 30624 0 -1 64 207 0 0 0 2 0 0 0 16 0 8 0 74461229 937963520 8942 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=30740/tid=30743] ppid=30738 vsize=915980 CPUtime=0
/proc/30740/task/30743/stat : 30743 (java) S 30738 30740 30624 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 74461230 937963520 8942 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30740/tid=30744] ppid=30738 vsize=915980 CPUtime=0
/proc/30740/task/30744/stat : 30744 (java) S 30738 30740 30624 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 74461230 937963520 8942 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30740/tid=30745] ppid=30738 vsize=915980 CPUtime=0
/proc/30740/task/30745/stat : 30745 (java) S 30738 30740 30624 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 74461233 937963520 8942 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30740/tid=30746] ppid=30738 vsize=915980 CPUtime=0.25
/proc/30740/task/30746/stat : 30746 (java) S 30738 30740 30624 0 -1 64 406 0 0 0 24 1 0 0 16 0 8 0 74461233 937963520 8942 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30740/tid=30747] ppid=30738 vsize=915980 CPUtime=0
/proc/30740/task/30747/stat : 30747 (java) S 30738 30740 30624 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 74461233 937963520 8942 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30740/tid=30748] ppid=30738 vsize=915980 CPUtime=0
/proc/30740/task/30748/stat : 30748 (java) S 30738 30740 30624 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 74461233 937963520 8942 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 402.48
Current children cumulated vsize (KiB) 915980
[startup+463.024 s]
/proc/loadavg: 2.01 1.98 1.93 3/88 30748
/proc/meminfo: memFree=1432268/2055920 swapFree=4191892/4192956
[pid=30740] ppid=30738 vsize=915980 CPUtime=462.52
/proc/30740/stat : 30740 (java) R 30738 30740 30624 0 -1 0 9210 0 1 0 45752 500 0 0 25 0 8 0 74461224 937963520 8942 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073843478 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/30740/statm: 228995 8942 2527 14 0 215465 0
[pid=30740/tid=30742] ppid=30738 vsize=915980 CPUtime=0.02
/proc/30740/task/30742/stat : 30742 (java) S 30738 30740 30624 0 -1 64 207 0 0 0 2 0 0 0 16 0 8 0 74461229 937963520 8942 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=30740/tid=30743] ppid=30738 vsize=915980 CPUtime=0
/proc/30740/task/30743/stat : 30743 (java) S 30738 30740 30624 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 74461230 937963520 8942 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30740/tid=30744] ppid=30738 vsize=915980 CPUtime=0
/proc/30740/task/30744/stat : 30744 (java) S 30738 30740 30624 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 74461230 937963520 8942 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30740/tid=30745] ppid=30738 vsize=915980 CPUtime=0
/proc/30740/task/30745/stat : 30745 (java) S 30738 30740 30624 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 74461233 937963520 8942 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30740/tid=30746] ppid=30738 vsize=915980 CPUtime=0.25
/proc/30740/task/30746/stat : 30746 (java) S 30738 30740 30624 0 -1 64 406 0 0 0 24 1 0 0 16 0 8 0 74461233 937963520 8942 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30740/tid=30747] ppid=30738 vsize=915980 CPUtime=0
/proc/30740/task/30747/stat : 30747 (java) S 30738 30740 30624 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 74461233 937963520 8942 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30740/tid=30748] ppid=30738 vsize=915980 CPUtime=0
/proc/30740/task/30748/stat : 30748 (java) S 30738 30740 30624 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 74461233 937963520 8942 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 462.52
Current children cumulated vsize (KiB) 915980
[startup+523.126 s]
/proc/loadavg: 2.00 1.98 1.93 3/88 30748
/proc/meminfo: memFree=1432268/2055920 swapFree=4191892/4192956
[pid=30740] ppid=30738 vsize=915980 CPUtime=522.54
/proc/30740/stat : 30740 (java) R 30738 30740 30624 0 -1 0 9210 0 1 0 51754 500 0 0 25 0 8 0 74461224 937963520 8942 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073825714 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/30740/statm: 228995 8942 2527 14 0 215465 0
[pid=30740/tid=30742] ppid=30738 vsize=915980 CPUtime=0.02
/proc/30740/task/30742/stat : 30742 (java) S 30738 30740 30624 0 -1 64 207 0 0 0 2 0 0 0 16 0 8 0 74461229 937963520 8942 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=30740/tid=30743] ppid=30738 vsize=915980 CPUtime=0
/proc/30740/task/30743/stat : 30743 (java) S 30738 30740 30624 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 74461230 937963520 8942 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30740/tid=30744] ppid=30738 vsize=915980 CPUtime=0
/proc/30740/task/30744/stat : 30744 (java) S 30738 30740 30624 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 74461230 937963520 8942 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30740/tid=30745] ppid=30738 vsize=915980 CPUtime=0
/proc/30740/task/30745/stat : 30745 (java) S 30738 30740 30624 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 74461233 937963520 8942 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30740/tid=30746] ppid=30738 vsize=915980 CPUtime=0.25
/proc/30740/task/30746/stat : 30746 (java) S 30738 30740 30624 0 -1 64 406 0 0 0 24 1 0 0 16 0 8 0 74461233 937963520 8942 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30740/tid=30747] ppid=30738 vsize=915980 CPUtime=0
/proc/30740/task/30747/stat : 30747 (java) S 30738 30740 30624 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 74461233 937963520 8942 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30740/tid=30748] ppid=30738 vsize=915980 CPUtime=0
/proc/30740/task/30748/stat : 30748 (java) S 30738 30740 30624 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 74461233 937963520 8942 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 522.54
Current children cumulated vsize (KiB) 915980
Child status: 0
Real time (s): 572.77
CPU time (s): 572.149
CPU user time (s): 567.133
CPU system time (s): 5.01624
CPU usage (%): 99.8916
Max. virtual memory (cumulated for all children) (KiB): 915984
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 567.133
system time used= 5.01624
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9308
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= 12820
involuntary context switches= 15209
runsolver used 0.750885 s user time and 1.79473 s system time
The end
Begin job on node65 on Sat Jan 20 05:07:20 UTC 2007
IDJOB= 277670
IDBENCH= 7548
IDSOLVER= 69
FILE ID= node65/277670-1169269640
PBS_JOBID= 3607423
Free space on /tmp= 66563 MiB
SOLVER NAME= AbsconMax 109 PFC
BENCH NAME= HOME/pub/bench/CPAI06/MaxCSP/cnf/2-40-1100-2000/cnf-2-40-1900-793221_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/277670-1169269640/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node65/watcher-277670-1169269640 -o ROOT/results/node65/solver-277670-1169269640 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/277670-1169269640/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 3c273f381197f4fb0c4a0f9eafac61dc
RANDOM SEED= 647318750
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.263
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.263
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: 1458404 kB
Buffers: 47200 kB
Cached: 452612 kB
SwapCached: 396 kB
Active: 115352 kB
Inactive: 412216 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1458404 kB
SwapTotal: 4192956 kB
SwapFree: 4191892 kB
Dirty: 2136 kB
Writeback: 0 kB
Mapped: 44156 kB
Slab: 55072 kB
Committed_AS: 824120 kB
PageTables: 1932 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= 66563 MiB
End job on node65 on Sat Jan 20 05:16:53 UTC 2007