0.32
0.32 Abscon 109 (November, 2006)
0.32
0.32 configuration
0.32 name=epfc.xml
0.35
0.35 instance
0.35 name=/tmp/evaluation/278056-1169273501/unknown.xml
0.38
0.39 domains being loaded...
0.39
0.39 variables being loaded...
0.41 nbVariables=40 nbDomainTypes=1 minDomainSize=2 maxDomainSize=2
0.41 => wckTime=0.091 cpuTime=0.08 mem=6M887
0.41
0.41 relations being loaded...
0.42
0.42 constraints being loaded...
0.52 nbConstraints=297 nbRelationTypes=9 nbExtensionStructures=9 nbSharedExtensionStructures=288
0.52 nbConflictsStructures=9 nbSharedConflictsStructures=288 nbSharedBinaryRepresentations=0 maxDegree=30 maxArity=3
0.52 => wckTime=0.201 cpuTime=0.14 mem=7M928
0.56
0.56 solver LocalSearchSolver being built...
0.60 => wckTime=0.282 cpuTime=0.18 mem=5M508
0.61
0.61 s SATISFIABLE
0.61 o 270
0.61 c 27
0.61 o 272
0.61 c 25
0.61 o 276
0.61 c 21
0.61 o 277
0.61 c 20
0.61 o 278
0.61 c 19
0.61 o 280
0.61 c 17
0.62 o 281
0.62 c 16
0.62 o 282
0.62 c 15
0.62 o 284
0.62 c 13
0.62 o 285
0.62 c 12
0.63 o 286
0.63 c 11
0.65 o 287
0.65 c 10
0.65 o 288
0.65 c 9
1.79
1.79 search
1.79 run=0 nbConstraintChecks=4026867 nbAssignments=10000
1.79 => wckTime=1.183 cpuTime=1.16 mem=5M508
2.90
2.90 search
2.90 run=1 nbConstraintChecks=8155328 nbAssignments=20000
2.90 => wckTime=2.301 cpuTime=2.26 mem=5M508
4.00
4.00 search
4.00 run=2 nbConstraintChecks=12174323 nbAssignments=30000
4.00 => wckTime=3.401 cpuTime=3.36 mem=5M508
5.12
5.12 search
5.12 run=3 nbConstraintChecks=16315124 nbAssignments=40000
5.12 => wckTime=4.516 cpuTime=4.46 mem=5M508
6.22
6.22 search
6.22 run=4 nbConstraintChecks=20329160 nbAssignments=50000
6.22 => wckTime=5.616 cpuTime=5.55 mem=5M508
7.34
7.34 search
7.34 run=5 nbConstraintChecks=24513875 nbAssignments=60000
7.34 => wckTime=6.742 cpuTime=6.67 mem=5M508
8.45
8.45 search
8.45 run=6 nbConstraintChecks=28544587 nbAssignments=70000
8.45 => wckTime=7.843 cpuTime=7.76 mem=5M508
9.57
9.57 search
9.57 run=7 nbConstraintChecks=32707461 nbAssignments=80000
9.57 => wckTime=8.963 cpuTime=8.87 mem=5M508
10.67
10.67 search
10.67 run=8 nbConstraintChecks=36718036 nbAssignments=90000
10.67 => wckTime=10.064 cpuTime=9.96 mem=5M508
11.78
11.78 search
11.78 run=9 nbConstraintChecks=40850953 nbAssignments=100000
11.78 => wckTime=11.18 cpuTime=11.06 mem=5M508
12.89
12.89 search
12.89 run=10 nbConstraintChecks=44882976 nbAssignments=110000
12.89 => wckTime=12.292 cpuTime=12.17 mem=5M508
14.02
14.02 search
14.02 run=11 nbConstraintChecks=49007279 nbAssignments=120000
14.02 => wckTime=13.417 cpuTime=13.28 mem=5M508
15.13
15.13 search
15.13 run=12 nbConstraintChecks=53043416 nbAssignments=130000
15.13 => wckTime=14.529 cpuTime=14.39 mem=5M508
16.26
16.26 search
16.26 run=13 nbConstraintChecks=57192557 nbAssignments=140000
16.26 => wckTime=15.657 cpuTime=15.5 mem=5M508
17.37
17.37 search
17.37 run=14 nbConstraintChecks=61219125 nbAssignments=150000
17.37 => wckTime=16.769 cpuTime=16.61 mem=5M508
18.50
18.50 search
18.50 run=15 nbConstraintChecks=65352672 nbAssignments=160000
18.50 => wckTime=17.896 cpuTime=17.72 mem=5M508
19.61
19.61 search
19.61 run=16 nbConstraintChecks=69369332 nbAssignments=170000
19.61 => wckTime=19.007 cpuTime=18.83 mem=5M508
20.74
20.74 search
20.74 run=17 nbConstraintChecks=73520430 nbAssignments=180000
20.74 => wckTime=20.137 cpuTime=19.95 mem=5M508
21.85
21.85 search
21.85 run=18 nbConstraintChecks=77549803 nbAssignments=190000
21.85 => wckTime=21.25 cpuTime=21.05 mem=5M508
22.97
22.97 search
22.97 run=19 nbConstraintChecks=81642348 nbAssignments=200000
22.97 => wckTime=22.362 cpuTime=22.15 mem=5M508
24.07
24.07 search
24.07 run=20 nbConstraintChecks=85657369 nbAssignments=210000
24.07 => wckTime=23.466 cpuTime=23.25 mem=5M508
25.19
25.19 search
25.19 run=21 nbConstraintChecks=89814786 nbAssignments=220000
25.19 => wckTime=24.586 cpuTime=24.35 mem=5M508
26.29
26.29 search
26.29 run=22 nbConstraintChecks=93841177 nbAssignments=230000
26.29 => wckTime=25.69 cpuTime=25.45 mem=5M508
27.42
27.42 search
27.42 run=23 nbConstraintChecks=98041370 nbAssignments=240000
27.42 => wckTime=26.816 cpuTime=26.57 mem=5M508
28.52
28.52 search
28.52 run=24 nbConstraintChecks=102065544 nbAssignments=250000
28.52 => wckTime=27.919 cpuTime=27.66 mem=5M508
29.64
29.64 search
29.64 run=25 nbConstraintChecks=106179183 nbAssignments=260000
29.64 => wckTime=29.034 cpuTime=28.77 mem=5M508
30.74
30.74 search
30.74 run=26 nbConstraintChecks=110199043 nbAssignments=270000
30.74 => wckTime=30.136 cpuTime=29.87 mem=5M508
30.92
30.92 search
30.92 run=27 nbConstraintChecks=110874372 nbAssignments=271643
30.92 => wckTime=30.318 cpuTime=30.05 mem=5M508
30.92
30.92 global
30.92 nbConstraintChecks=110874372 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
30.92 solvingWckTime=30.317 solvingCpuTime=30.05 expiredTime=no totalExploration=no nbFoundSolutions=0
30.92 globalCpuTime=30.29
30.92 => wckTime=30.6 cpuTime=30.23 mem=5M508
30.92
30.92 solver IterativeSystematicSolver being built...
31.09 => wckTime=30.763 cpuTime=30.35 mem=18M628
31.15
31.15 preprocessing
31.15 nbConstraintChecks=1883 nbValidityChecks=5655 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
31.15 nbRemovedValues=0 detectedInconsistency=no
31.15 => wckTime=0.06 cpuTime=0.03 mem=18M628
31.18
31.18 search
31.18 run=0 nbConstraintChecks=3079 nbValidityChecks=15450 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
31.18 nbAssignments=40 nbFailedAssignments=9 nbBacktracks=13 nbVisitedNodes=61 nbRestartNogoods=0
31.18 => wckTime=0.089 cpuTime=0.06 mem=18M628
31.21
31.21 search
31.21 run=1 nbConstraintChecks=5728 nbValidityChecks=27776 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
31.21 nbAssignments=75 nbFailedAssignments=17 nbBacktracks=29 nbVisitedNodes=116 nbRestartNogoods=2
31.21 => wckTime=0.123 cpuTime=0.08 mem=18M628
31.23
31.23 search
31.23 run=2 nbConstraintChecks=9602 nbValidityChecks=45735 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
31.23 nbAssignments=119 nbFailedAssignments=27 nbBacktracks=51 nbVisitedNodes=190 nbRestartNogoods=3
31.23 => wckTime=0.147 cpuTime=0.1 mem=18M628
31.27
31.27 search
31.27 run=3 nbConstraintChecks=16202 nbValidityChecks=74111 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
31.27 nbAssignments=185 nbFailedAssignments=44 nbBacktracks=88 nbVisitedNodes=300 nbRestartNogoods=4
31.27 => wckTime=0.181 cpuTime=0.13 mem=18M628
31.32
31.32 search
31.32 run=4 nbConstraintChecks=26746 nbValidityChecks=124070 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
31.32 nbAssignments=287 nbFailedAssignments=83 nbBacktracks=138 nbVisitedNodes=477 nbRestartNogoods=8
31.32 => wckTime=0.237 cpuTime=0.19 mem=18M628
31.39
31.39 search
31.40 run=5 nbConstraintChecks=42991 nbValidityChecks=193229 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
31.40 nbAssignments=421 nbFailedAssignments=125 nbBacktracks=213 nbVisitedNodes=722 nbRestartNogoods=10
31.40 => wckTime=0.308 cpuTime=0.26 mem=18M628
31.49
31.49 search
31.49 run=6 nbConstraintChecks=62590 nbValidityChecks=287611 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
31.49 nbAssignments=623 nbFailedAssignments=197 nbBacktracks=326 nbVisitedNodes=1074 nbRestartNogoods=13
31.49 => wckTime=0.405 cpuTime=0.35 mem=18M628
31.64
31.64 search
31.64 run=7 nbConstraintChecks=95035 nbValidityChecks=439954 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
31.64 nbAssignments=912 nbFailedAssignments=300 nbBacktracks=497 nbVisitedNodes=1599 nbRestartNogoods=16
31.64 => wckTime=0.555 cpuTime=0.5 mem=18M628
31.88
31.88 search
31.88 run=8 nbConstraintChecks=145815 nbValidityChecks=675469 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
31.88 nbAssignments=1326 nbFailedAssignments=439 nbBacktracks=753 nbVisitedNodes=2372 nbRestartNogoods=19
31.88 => wckTime=0.793 cpuTime=0.72 mem=18M628
32.19
32.19 search
32.19 run=9 nbConstraintChecks=205257 nbValidityChecks=967294 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
32.19 nbAssignments=1933 nbFailedAssignments=648 nbBacktracks=1140 nbVisitedNodes=3437 nbRestartNogoods=23
32.19 => wckTime=1.099 cpuTime=1.01 mem=18M628
32.63
32.63 search
32.63 run=10 nbConstraintChecks=296392 nbValidityChecks=1406794 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
32.63 nbAssignments=2829 nbFailedAssignments=954 nbBacktracks=1717 nbVisitedNodes=5022 nbRestartNogoods=26
32.63 => wckTime=1.542 cpuTime=1.45 mem=18M628
33.30
33.30 search
33.30 run=11 nbConstraintChecks=442591 nbValidityChecks=2114212 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
33.30 nbAssignments=4161 nbFailedAssignments=1409 nbBacktracks=2581 nbVisitedNodes=7477 nbRestartNogoods=31
33.30 => wckTime=2.215 cpuTime=2.11 mem=18M628
34.24
34.24 search
34.24 run=12 nbConstraintChecks=646091 nbValidityChecks=3078435 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
34.24 nbAssignments=6140 nbFailedAssignments=2080 nbBacktracks=3878 nbVisitedNodes=10943 nbRestartNogoods=37
34.24 => wckTime=3.152 cpuTime=3.04 mem=18M628
35.71
35.71 search
35.71 run=13 nbConstraintChecks=972424 nbValidityChecks=4634299 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
35.71 nbAssignments=9121 nbFailedAssignments=3100 nbBacktracks=5826 nbVisitedNodes=16316 nbRestartNogoods=42
35.71 => wckTime=4.622 cpuTime=4.49 mem=18M628
37.85
37.85 search
37.85 run=14 nbConstraintChecks=1447615 nbValidityChecks=6926505 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
37.85 nbAssignments=13537 nbFailedAssignments=4580 nbBacktracks=8745 nbVisitedNodes=24119 nbRestartNogoods=50
37.85 => wckTime=6.763 cpuTime=6.61 mem=18M628
41.14
41.14 search
41.14 run=15 nbConstraintChecks=2170538 nbValidityChecks=10427267 nbPropagations=0 nbRevisions=0
41.14 nbUselessRevisions=0 nbAssignments=20304 nbFailedAssignments=6952 nbBacktracks=13123 nbVisitedNodes=36274
41.14 nbRestartNogoods=57
41.14 => wckTime=10.052 cpuTime=9.88 mem=18M628
45.87
45.87 search
45.87 run=16 nbConstraintChecks=3296550 nbValidityChecks=15912765 nbPropagations=0 nbRevisions=0
45.87 nbUselessRevisions=0 nbAssignments=30251 nbFailedAssignments=10321 nbBacktracks=19691 nbVisitedNodes=54047
45.87 nbRestartNogoods=61
45.87 => wckTime=14.779 cpuTime=14.56 mem=18M628
52.94
52.94 search
52.94 run=17 nbConstraintChecks=4931932 nbValidityChecks=23574302 nbPropagations=0 nbRevisions=0
52.94 nbUselessRevisions=0 nbAssignments=45394 nbFailedAssignments=15603 nbBacktracks=29543 nbVisitedNodes=80588
52.94 nbRestartNogoods=68
52.94 => wckTime=21.857 cpuTime=21.58 mem=18M628
63.17
63.17 search
63.17 run=18 nbConstraintChecks=7210220 nbValidityChecks=34250274 nbPropagations=0 nbRevisions=0
63.17 nbUselessRevisions=0 nbAssignments=67573 nbFailedAssignments=22993 nbBacktracks=44322 nbVisitedNodes=118780
63.17 nbRestartNogoods=75
63.17 => wckTime=32.085 cpuTime=31.74 mem=18M628
77.53
77.53 search
77.53 run=19 nbConstraintChecks=10918621 nbValidityChecks=50510266 nbPropagations=0 nbRevisions=0
77.53 nbUselessRevisions=0 nbAssignments=99699 nbFailedAssignments=32938 nbBacktracks=66490 nbVisitedNodes=174356
77.53 nbRestartNogoods=85
77.53 => wckTime=46.439 cpuTime=45.96 mem=18M628
98.27
98.27 search
98.27 run=20 nbConstraintChecks=16117073 nbValidityChecks=73029673 nbPropagations=0 nbRevisions=0
98.27 nbUselessRevisions=0 nbAssignments=147562 nbFailedAssignments=47532 nbBacktracks=99742 nbVisitedNodes=255256
98.27 nbRestartNogoods=94
98.27 => wckTime=67.18 cpuTime=66.52 mem=18M628
127.99
127.99 search
127.99 run=21 nbConstraintChecks=23972569 nbValidityChecks=103997024 nbPropagations=0 nbRevisions=0
127.99 nbUselessRevisions=0 nbAssignments=218391 nbFailedAssignments=68473 nbBacktracks=149623 nbVisitedNodes=372776
127.99 nbRestartNogoods=104
127.99 => wckTime=96.907 cpuTime=95.98 mem=18M628
171.65
171.65 search
171.65 run=22 nbConstraintChecks=35507984 nbValidityChecks=148621875 nbPropagations=0 nbRevisions=0
171.65 nbUselessRevisions=0 nbAssignments=324544 nbFailedAssignments=99790 nbBacktracks=224444 nbVisitedNodes=545904
171.65 nbRestartNogoods=114
171.65 => wckTime=140.564 cpuTime=139.25 mem=18M628
193.80
193.80 search
193.80 run=23 nbConstraintChecks=41411809 nbValidityChecks=171171374 nbPropagations=0 nbRevisions=0
193.80 nbUselessRevisions=0 nbAssignments=378821 nbFailedAssignments=115508 nbBacktracks=263004 nbVisitedNodes=633847
193.80 nbRestartNogoods=120
193.80 => wckTime=162.717 cpuTime=161.21 mem=18M628
193.80
193.80 global
193.80 nbConstraintChecks=41413692 nbValidityChecks=171177029 nbRestartNogoods=120 solvingWckTime=162.718
193.80 solvingCpuTime=161.21 expiredTime=no totalExploration=yes nbFoundSolutions=0 globalCpuTime=191.62
193.80 => wckTime=193.482 cpuTime=191.56 mem=18M628
193.81
193.81 s OPTIMUM FOUND
193.81 v 1 1 1 0 1 0 1 0 0 1 1 1 0 0 0 0 0 1 1 1 1 0 1 0 0 1 1 0 0 0 0 1 0 0 1 0 0 1 1 1
193.81
193.81 totalWckTime=193.564 totalCpuTime=191.62
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node50/watcher-278056-1169273501 -o ROOT/results/node50/solver-278056-1169273501 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/278056-1169273501/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: 2.00 2.00 2.00 4/74 4238
/proc/meminfo: memFree=1201864/2055920 swapFree=4191892/4192956
[pid=4237] ppid=4235 vsize=18540 CPUtime=0
/proc/4237/stat : 4237 (runsolver) R 4235 4237 3321 0 -1 4194368 17 0 0 0 0 0 0 0 18 0 1 0 275748675 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 240577473831 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/4237/statm: 4635 279 244 17 0 2626 0
[startup+0.107829 s]
/proc/loadavg: 2.00 2.00 2.00 4/74 4238
/proc/meminfo: memFree=1201864/2055920 swapFree=4191892/4192956
[pid=4237] ppid=4235 vsize=914852 CPUtime=0.08
/proc/4237/stat : 4237 (java) R 4235 4237 3321 0 -1 0 2939 0 1 0 7 1 0 0 19 0 8 0 275748675 936808448 2685 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072920306 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4237/statm: 228713 2685 1411 14 0 215208 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914852
[startup+0.515899 s]
/proc/loadavg: 2.00 2.00 2.00 4/74 4238
/proc/meminfo: memFree=1201864/2055920 swapFree=4191892/4192956
[pid=4237] ppid=4235 vsize=915332 CPUtime=0.48
/proc/4237/stat : 4237 (java) R 4235 4237 3321 0 -1 0 6468 0 1 0 44 4 0 0 18 0 8 0 275748675 937299968 6207 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4155784012 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4237/statm: 228833 6207 2159 14 0 215303 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915332
[startup+1.33703 s]
/proc/loadavg: 2.00 2.00 2.00 3/81 4245
/proc/meminfo: memFree=1184592/2055920 swapFree=4191892/4192956
[pid=4237] ppid=4235 vsize=915440 CPUtime=1.3
/proc/4237/stat : 4237 (java) R 4235 4237 3321 0 -1 0 6989 0 1 0 101 29 0 0 25 0 8 0 275748675 937410560 6727 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4237/statm: 228860 6727 2478 14 0 215330 0
[pid=4237/tid=4239] ppid=4235 vsize=915440 CPUtime=0.02
/proc/4237/task/4239/stat : 4239 (java) S 4235 4237 3321 0 -1 64 155 0 0 0 2 0 0 0 16 0 8 0 275748679 937410560 6727 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4237/tid=4240] ppid=4235 vsize=915440 CPUtime=0
/proc/4237/task/4240/stat : 4240 (java) S 4235 4237 3321 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275748680 937410560 6727 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4237/tid=4241] ppid=4235 vsize=915440 CPUtime=0
/proc/4237/task/4241/stat : 4241 (java) S 4235 4237 3321 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275748680 937410560 6727 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4237/tid=4242] ppid=4235 vsize=915440 CPUtime=0
/proc/4237/task/4242/stat : 4242 (java) S 4235 4237 3321 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 275748684 937410560 6727 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4237/tid=4243] ppid=4235 vsize=915440 CPUtime=0.11
/proc/4237/task/4243/stat : 4243 (java) S 4235 4237 3321 0 -1 64 324 0 0 0 10 1 0 0 16 0 8 0 275748684 937410560 6727 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4237/tid=4244] ppid=4235 vsize=915440 CPUtime=0
/proc/4237/task/4244/stat : 4244 (java) S 4235 4237 3321 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 275748684 937410560 6727 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4237/tid=4245] ppid=4235 vsize=915440 CPUtime=0
/proc/4237/task/4245/stat : 4245 (java) S 4235 4237 3321 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275748684 937410560 6727 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915440
[startup+2.9863 s]
/proc/loadavg: 2.00 2.00 2.00 3/81 4245
/proc/meminfo: memFree=1184592/2055920 swapFree=4191892/4192956
[pid=4237] ppid=4235 vsize=915436 CPUtime=2.94
/proc/4237/stat : 4237 (java) R 4235 4237 3321 0 -1 0 6992 0 1 0 206 88 0 0 25 0 8 0 275748675 937406464 6729 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073640722 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4237/statm: 228859 6729 2478 14 0 215329 0
[pid=4237/tid=4239] ppid=4235 vsize=915436 CPUtime=0.02
/proc/4237/task/4239/stat : 4239 (java) S 4235 4237 3321 0 -1 64 155 0 0 0 2 0 0 0 16 0 8 0 275748679 937406464 6729 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4237/tid=4240] ppid=4235 vsize=915436 CPUtime=0
/proc/4237/task/4240/stat : 4240 (java) S 4235 4237 3321 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275748680 937406464 6729 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4237/tid=4241] ppid=4235 vsize=915436 CPUtime=0
/proc/4237/task/4241/stat : 4241 (java) S 4235 4237 3321 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275748680 937406464 6729 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4237/tid=4242] ppid=4235 vsize=915436 CPUtime=0
/proc/4237/task/4242/stat : 4242 (java) S 4235 4237 3321 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 275748684 937406464 6729 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4237/tid=4243] ppid=4235 vsize=915436 CPUtime=0.11
/proc/4237/task/4243/stat : 4243 (java) S 4235 4237 3321 0 -1 64 326 0 0 0 10 1 0 0 17 0 8 0 275748684 937406464 6729 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4237/tid=4244] ppid=4235 vsize=915436 CPUtime=0
/proc/4237/task/4244/stat : 4244 (java) S 4235 4237 3321 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 275748684 937406464 6729 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4237/tid=4245] ppid=4235 vsize=915436 CPUtime=0
/proc/4237/task/4245/stat : 4245 (java) S 4235 4237 3321 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275748684 937406464 6729 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 915436
[startup+6.27186 s]
/proc/loadavg: 2.00 2.00 2.00 3/81 4245
/proc/meminfo: memFree=1184536/2055920 swapFree=4191892/4192956
[pid=4237] ppid=4235 vsize=915436 CPUtime=6.19
/proc/4237/stat : 4237 (java) R 4235 4237 3321 0 -1 0 6992 0 1 0 412 207 0 0 25 0 8 0 275748675 937406464 6729 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4237/statm: 228859 6729 2478 14 0 215329 0
[pid=4237/tid=4239] ppid=4235 vsize=915436 CPUtime=0.02
/proc/4237/task/4239/stat : 4239 (java) S 4235 4237 3321 0 -1 64 155 0 0 0 2 0 0 0 16 0 8 0 275748679 937406464 6729 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4237/tid=4240] ppid=4235 vsize=915436 CPUtime=0
/proc/4237/task/4240/stat : 4240 (java) S 4235 4237 3321 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275748680 937406464 6729 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4237/tid=4241] ppid=4235 vsize=915436 CPUtime=0
/proc/4237/task/4241/stat : 4241 (java) S 4235 4237 3321 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275748680 937406464 6729 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4237/tid=4242] ppid=4235 vsize=915436 CPUtime=0
/proc/4237/task/4242/stat : 4242 (java) S 4235 4237 3321 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 275748684 937406464 6729 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4237/tid=4243] ppid=4235 vsize=915436 CPUtime=0.12
/proc/4237/task/4243/stat : 4243 (java) S 4235 4237 3321 0 -1 64 326 0 0 0 11 1 0 0 16 0 8 0 275748684 937406464 6729 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4237/tid=4244] ppid=4235 vsize=915436 CPUtime=0
/proc/4237/task/4244/stat : 4244 (java) S 4235 4237 3321 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 275748684 937406464 6729 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4237/tid=4245] ppid=4235 vsize=915436 CPUtime=0
/proc/4237/task/4245/stat : 4245 (java) S 4235 4237 3321 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275748684 937406464 6729 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 915436
[startup+12.754 s]
/proc/loadavg: 2.00 2.00 2.00 3/81 4245
/proc/meminfo: memFree=1184536/2055920 swapFree=4191892/4192956
[pid=4237] ppid=4235 vsize=915440 CPUtime=12.61
/proc/4237/stat : 4237 (java) R 4235 4237 3321 0 -1 0 6992 0 1 0 824 437 0 0 25 0 8 0 275748675 937410560 6729 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4237/statm: 228860 6729 2478 14 0 215330 0
[pid=4237/tid=4239] ppid=4235 vsize=915440 CPUtime=0.02
/proc/4237/task/4239/stat : 4239 (java) S 4235 4237 3321 0 -1 64 155 0 0 0 2 0 0 0 16 0 8 0 275748679 937410560 6729 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4237/tid=4240] ppid=4235 vsize=915440 CPUtime=0
/proc/4237/task/4240/stat : 4240 (java) S 4235 4237 3321 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275748680 937410560 6729 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4237/tid=4241] ppid=4235 vsize=915440 CPUtime=0
/proc/4237/task/4241/stat : 4241 (java) S 4235 4237 3321 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275748680 937410560 6729 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4237/tid=4242] ppid=4235 vsize=915440 CPUtime=0
/proc/4237/task/4242/stat : 4242 (java) S 4235 4237 3321 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 275748684 937410560 6729 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4237/tid=4243] ppid=4235 vsize=915440 CPUtime=0.12
/proc/4237/task/4243/stat : 4243 (java) S 4235 4237 3321 0 -1 64 326 0 0 0 11 1 0 0 16 0 8 0 275748684 937410560 6729 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4237/tid=4244] ppid=4235 vsize=915440 CPUtime=0
/proc/4237/task/4244/stat : 4244 (java) S 4235 4237 3321 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 275748684 937410560 6729 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4237/tid=4245] ppid=4235 vsize=915440 CPUtime=0
/proc/4237/task/4245/stat : 4245 (java) S 4235 4237 3321 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275748684 937410560 6729 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 915440
[startup+25.6051 s]
/proc/loadavg: 2.00 2.00 2.00 3/81 4245
/proc/meminfo: memFree=1184664/2055920 swapFree=4191892/4192956
[pid=4237] ppid=4235 vsize=915436 CPUtime=25.36
/proc/4237/stat : 4237 (java) R 4235 4237 3321 0 -1 0 6993 0 1 0 1636 900 0 0 25 0 8 0 275748675 937406464 6730 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073637888 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4237/statm: 228859 6730 2478 14 0 215329 0
[pid=4237/tid=4239] ppid=4235 vsize=915436 CPUtime=0.02
/proc/4237/task/4239/stat : 4239 (java) S 4235 4237 3321 0 -1 64 155 0 0 0 2 0 0 0 16 0 8 0 275748679 937406464 6730 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4237/tid=4240] ppid=4235 vsize=915436 CPUtime=0
/proc/4237/task/4240/stat : 4240 (java) S 4235 4237 3321 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275748680 937406464 6730 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4237/tid=4241] ppid=4235 vsize=915436 CPUtime=0
/proc/4237/task/4241/stat : 4241 (java) S 4235 4237 3321 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275748680 937406464 6730 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4237/tid=4242] ppid=4235 vsize=915436 CPUtime=0
/proc/4237/task/4242/stat : 4242 (java) S 4235 4237 3321 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 275748684 937406464 6730 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4237/tid=4243] ppid=4235 vsize=915436 CPUtime=0.12
/proc/4237/task/4243/stat : 4243 (java) S 4235 4237 3321 0 -1 64 327 0 0 0 11 1 0 0 16 0 8 0 275748684 937406464 6730 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4237/tid=4244] ppid=4235 vsize=915436 CPUtime=0
/proc/4237/task/4244/stat : 4244 (java) S 4235 4237 3321 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 275748684 937406464 6730 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4237/tid=4245] ppid=4235 vsize=915436 CPUtime=0
/proc/4237/task/4245/stat : 4245 (java) S 4235 4237 3321 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275748684 937406464 6730 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.36
Current children cumulated vsize (KiB) 915436
[startup+51.2144 s]
/proc/loadavg: 2.00 2.00 2.00 3/81 4245
/proc/meminfo: memFree=1174488/2055920 swapFree=4191892/4192956
[pid=4237] ppid=4235 vsize=915436 CPUtime=50.75
/proc/4237/stat : 4237 (java) R 4235 4237 3321 0 -1 0 9594 0 1 0 3989 1086 0 0 25 0 8 0 275748675 937406464 9328 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073766383 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4237/statm: 228859 9328 2534 14 0 215329 0
[pid=4237/tid=4239] ppid=4235 vsize=915436 CPUtime=0.02
/proc/4237/task/4239/stat : 4239 (java) S 4235 4237 3321 0 -1 64 156 0 0 0 2 0 0 0 16 0 8 0 275748679 937406464 9328 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4237/tid=4240] ppid=4235 vsize=915436 CPUtime=0
/proc/4237/task/4240/stat : 4240 (java) S 4235 4237 3321 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275748680 937406464 9328 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4237/tid=4241] ppid=4235 vsize=915436 CPUtime=0
/proc/4237/task/4241/stat : 4241 (java) S 4235 4237 3321 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275748680 937406464 9328 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4237/tid=4242] ppid=4235 vsize=915436 CPUtime=0
/proc/4237/task/4242/stat : 4242 (java) S 4235 4237 3321 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 275748684 937406464 9328 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4237/tid=4243] ppid=4235 vsize=915436 CPUtime=0.24
/proc/4237/task/4243/stat : 4243 (java) S 4235 4237 3321 0 -1 64 390 0 0 0 23 1 0 0 16 0 8 0 275748684 937406464 9328 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4237/tid=4244] ppid=4235 vsize=915436 CPUtime=0
/proc/4237/task/4244/stat : 4244 (java) S 4235 4237 3321 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 275748684 937406464 9328 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4237/tid=4245] ppid=4235 vsize=915436 CPUtime=0
/proc/4237/task/4245/stat : 4245 (java) S 4235 4237 3321 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275748684 937406464 9328 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.75
Current children cumulated vsize (KiB) 915436
[startup+102.516 s]
/proc/loadavg: 2.00 2.00 2.00 3/81 4245
/proc/meminfo: memFree=1174488/2055920 swapFree=4191892/4192956
[pid=4237] ppid=4235 vsize=915436 CPUtime=101.61
/proc/4237/stat : 4237 (java) R 4235 4237 3321 0 -1 0 9607 0 1 0 9075 1086 0 0 25 0 8 0 275748675 937406464 9339 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073803486 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4237/statm: 228859 9339 2534 14 0 215329 0
[pid=4237/tid=4239] ppid=4235 vsize=915436 CPUtime=0.02
/proc/4237/task/4239/stat : 4239 (java) S 4235 4237 3321 0 -1 64 156 0 0 0 2 0 0 0 16 0 8 0 275748679 937406464 9339 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4237/tid=4240] ppid=4235 vsize=915436 CPUtime=0
/proc/4237/task/4240/stat : 4240 (java) S 4235 4237 3321 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275748680 937406464 9339 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4237/tid=4241] ppid=4235 vsize=915436 CPUtime=0
/proc/4237/task/4241/stat : 4241 (java) S 4235 4237 3321 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275748680 937406464 9339 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4237/tid=4242] ppid=4235 vsize=915436 CPUtime=0
/proc/4237/task/4242/stat : 4242 (java) S 4235 4237 3321 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 275748684 937406464 9339 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4237/tid=4243] ppid=4235 vsize=915436 CPUtime=0.24
/proc/4237/task/4243/stat : 4243 (java) S 4235 4237 3321 0 -1 64 391 0 0 0 23 1 0 0 16 0 8 0 275748684 937406464 9339 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4237/tid=4244] ppid=4235 vsize=915436 CPUtime=0
/proc/4237/task/4244/stat : 4244 (java) S 4235 4237 3321 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 275748684 937406464 9339 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4237/tid=4245] ppid=4235 vsize=915436 CPUtime=0
/proc/4237/task/4245/stat : 4245 (java) S 4235 4237 3321 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275748684 937406464 9339 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.61
Current children cumulated vsize (KiB) 915436
[startup+162.563 s]
/proc/loadavg: 2.00 2.00 2.00 3/81 4245
/proc/meminfo: memFree=1174488/2055920 swapFree=4191892/4192956
[pid=4237] ppid=4235 vsize=915436 CPUtime=161.13
/proc/4237/stat : 4237 (java) R 4235 4237 3321 0 -1 0 9610 0 1 0 15026 1087 0 0 25 0 8 0 275748675 937406464 9342 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073769403 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4237/statm: 228859 9342 2534 14 0 215329 0
[pid=4237/tid=4239] ppid=4235 vsize=915436 CPUtime=0.02
/proc/4237/task/4239/stat : 4239 (java) S 4235 4237 3321 0 -1 64 156 0 0 0 2 0 0 0 16 0 8 0 275748679 937406464 9342 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4237/tid=4240] ppid=4235 vsize=915436 CPUtime=0
/proc/4237/task/4240/stat : 4240 (java) S 4235 4237 3321 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275748680 937406464 9342 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4237/tid=4241] ppid=4235 vsize=915436 CPUtime=0
/proc/4237/task/4241/stat : 4241 (java) S 4235 4237 3321 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275748680 937406464 9342 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4237/tid=4242] ppid=4235 vsize=915436 CPUtime=0
/proc/4237/task/4242/stat : 4242 (java) S 4235 4237 3321 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 275748684 937406464 9342 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4237/tid=4243] ppid=4235 vsize=915436 CPUtime=0.24
/proc/4237/task/4243/stat : 4243 (java) S 4235 4237 3321 0 -1 64 391 0 0 0 23 1 0 0 16 0 8 0 275748684 937406464 9342 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4237/tid=4244] ppid=4235 vsize=915436 CPUtime=0
/proc/4237/task/4244/stat : 4244 (java) S 4235 4237 3321 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 275748684 937406464 9342 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4237/tid=4245] ppid=4235 vsize=915436 CPUtime=0
/proc/4237/task/4245/stat : 4245 (java) S 4235 4237 3321 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275748684 937406464 9342 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 161.13
Current children cumulated vsize (KiB) 915436
Child status: 0
Real time (s): 193.863
CPU time (s): 192.124
CPU user time (s): 181.242
CPU system time (s): 10.8813
CPU usage (%): 99.1026
Max. virtual memory (cumulated for all children) (KiB): 915952
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 181.242
system time used= 10.8813
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9710
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= 5082
involuntary context switches= 8752
runsolver used 0.25696 s user time and 0.617906 s system time
The end
Begin job on node50 on Sat Jan 20 06:11:41 UTC 2007
IDJOB= 278056
IDBENCH= 7970
IDSOLVER= 68
FILE ID= node50/278056-1169273501
PBS_JOBID= 3607395
Free space on /tmp= 66560 MiB
SOLVER NAME= AbsconMax 109 EPFC
BENCH NAME= HOME/pub/bench/CPAI06/MaxCSP/cnf/3-40-100-1000/cnf-3-40-300-182021_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/278056-1169273501/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node50/watcher-278056-1169273501 -o ROOT/results/node50/solver-278056-1169273501 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/278056-1169273501/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 4b3f8effb72e3044a44f8241b8f3c581
RANDOM SEED= 386559042
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 : 5931.00
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.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: 1202344 kB
Buffers: 56148 kB
Cached: 693140 kB
SwapCached: 276 kB
Active: 213564 kB
Inactive: 558480 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1202344 kB
SwapTotal: 4192956 kB
SwapFree: 4191892 kB
Dirty: 1692 kB
Writeback: 0 kB
Mapped: 32852 kB
Slab: 66956 kB
Committed_AS: 5352232 kB
PageTables: 1852 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= 66560 MiB
End job on node50 on Sat Jan 20 06:14:55 UTC 2007