0.29
0.29 Abscon 109 (November, 2006)
0.29
0.29 configuration
0.29 name=epfc.xml
0.32
0.32 instance
0.32 name=/tmp/evaluation/281305-1169311174/unknown.xml
0.35
0.35 domains being loaded...
0.36
0.36 variables being loaded...
0.39 nbVariables=25 nbDomainTypes=1 minDomainSize=10 maxDomainSize=10
0.39 => wckTime=0.094 cpuTime=0.09 mem=6M887
0.39
0.39 relations being loaded...
0.46
0.46 constraints being loaded...
0.55 nbConstraints=300 nbRelationTypes=300 nbExtensionStructures=300 nbSharedExtensionStructures=0
0.55 nbConflictsStructures=300 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=5575 maxDegree=24
0.55 maxArity=2
0.55 => wckTime=0.258 cpuTime=0.18 mem=9M846
0.59
0.59 solver LocalSearchSolver being built...
0.63 => wckTime=0.339 cpuTime=0.22 mem=5M671
0.64
0.64 s SATISFIABLE
0.64 o 255
0.64 c 45
0.64 o 260
0.64 c 40
0.64 o 264
0.64 c 36
0.64 o 267
0.64 c 33
0.64 o 270
0.64 c 30
0.64 o 276
0.64 c 24
0.64 o 277
0.64 c 23
0.64 o 280
0.64 c 20
0.64 o 282
0.64 c 18
0.64 o 283
0.64 c 17
0.65 o 286
0.65 c 14
0.65 o 287
0.65 c 13
0.66 o 289
0.66 c 11
0.66 o 290
0.66 c 10
0.66 o 291
0.66 c 9
0.67 o 292
0.67 c 8
0.67 o 293
0.67 c 7
0.67 o 294
0.67 c 6
0.69 o 295
0.69 c 5
0.70 o 296
0.70 c 4
0.73 o 297
0.73 c 3
0.80 o 298
0.80 c 2
2.51
2.51 search
2.51 run=0 nbConstraintChecks=12099490 nbAssignments=10000
2.51 => wckTime=1.878 cpuTime=1.86 mem=5M671
4.36
4.36 search
4.36 run=1 nbConstraintChecks=24740181 nbAssignments=20000
4.36 => wckTime=3.731 cpuTime=3.71 mem=5M671
6.15
6.15 search
6.15 run=2 nbConstraintChecks=36741655 nbAssignments=30000
6.15 => wckTime=5.515 cpuTime=5.49 mem=5M671
8.03
8.03 search
8.03 run=3 nbConstraintChecks=49698635 nbAssignments=40000
8.03 => wckTime=7.398 cpuTime=7.37 mem=5M671
9.82
9.82 search
9.82 run=4 nbConstraintChecks=61813598 nbAssignments=50000
9.82 => wckTime=9.184 cpuTime=9.16 mem=5M671
11.66
11.66 search
11.66 run=5 nbConstraintChecks=74354828 nbAssignments=60000
11.66 => wckTime=11.025 cpuTime=10.99 mem=5M671
13.45
13.45 search
13.45 run=6 nbConstraintChecks=86573607 nbAssignments=70000
13.45 => wckTime=12.821 cpuTime=12.79 mem=5M671
15.25
15.25 search
15.26 run=7 nbConstraintChecks=98855310 nbAssignments=80000
15.26 => wckTime=14.623 cpuTime=14.59 mem=5M671
17.04
17.04 search
17.04 run=8 nbConstraintChecks=110969555 nbAssignments=90000
17.04 => wckTime=16.409 cpuTime=16.37 mem=5M671
18.87
18.87 search
18.87 run=9 nbConstraintChecks=123446252 nbAssignments=100000
18.87 => wckTime=18.239 cpuTime=18.2 mem=5M671
20.66
20.66 search
20.66 run=10 nbConstraintChecks=135404051 nbAssignments=110000
20.66 => wckTime=20.025 cpuTime=19.98 mem=5M671
22.51
22.51 search
22.51 run=11 nbConstraintChecks=148001563 nbAssignments=120000
22.51 => wckTime=21.874 cpuTime=21.84 mem=5M671
24.30
24.30 search
24.30 run=12 nbConstraintChecks=160058515 nbAssignments=130000
24.30 => wckTime=23.671 cpuTime=23.63 mem=5M671
26.14
26.14 search
26.14 run=13 nbConstraintChecks=172526345 nbAssignments=140000
26.14 => wckTime=25.509 cpuTime=25.46 mem=5M671
27.93
27.93 search
27.93 run=14 nbConstraintChecks=184522723 nbAssignments=150000
27.93 => wckTime=27.299 cpuTime=27.26 mem=5M671
29.77
29.77 search
29.77 run=15 nbConstraintChecks=197080072 nbAssignments=160000
29.77 => wckTime=29.134 cpuTime=29.09 mem=5M671
30.84
30.84 search
30.84 run=16 nbConstraintChecks=204288601 nbAssignments=166082
30.84 => wckTime=30.206 cpuTime=30.17 mem=5M671
30.84
30.84 global
30.84 nbConstraintChecks=204288601 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
30.84 solvingWckTime=30.204 solvingCpuTime=30.17 expiredTime=no totalExploration=no nbFoundSolutions=0
30.84 globalCpuTime=30.43
30.84 => wckTime=30.545 cpuTime=30.39 mem=5M671
30.84
30.84 solver IterativeSystematicSolver being built...
30.96 => wckTime=30.669 cpuTime=30.48 mem=16M636
31.02
31.02 preprocessing
31.02 nbConstraintChecks=31425 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
31.02 detectedInconsistency=no
31.02 => wckTime=0.05 cpuTime=0.03 mem=16M636
31.06
31.06 search
31.06 run=0 nbConstraintChecks=81720 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=40
31.06 nbFailedAssignments=23 nbBacktracks=10 nbVisitedNodes=74 nbRestartNogoods=0
31.06 => wckTime=0.089 cpuTime=0.06 mem=16M636
31.11
31.11 search
31.11 run=1 nbConstraintChecks=207848 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=99
31.11 nbFailedAssignments=59 nbBacktracks=25 nbVisitedNodes=184 nbRestartNogoods=7
31.11 => wckTime=0.141 cpuTime=0.11 mem=16M636
31.16
31.16 search
31.16 run=2 nbConstraintChecks=389683 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=182
31.16 nbFailedAssignments=113 nbBacktracks=47 nbVisitedNodes=343 nbRestartNogoods=12
31.16 => wckTime=0.192 cpuTime=0.16 mem=16M636
31.25
31.25 search
31.25 run=3 nbConstraintChecks=679942 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=313
31.25 nbFailedAssignments=205 nbBacktracks=80 nbVisitedNodes=599 nbRestartNogoods=22
31.25 => wckTime=0.284 cpuTime=0.24 mem=16M636
31.35
31.35 search
31.35 run=4 nbConstraintChecks=1030541 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=463
31.35 nbFailedAssignments=299 nbBacktracks=130 nbVisitedNodes=892 nbRestartNogoods=33
31.35 => wckTime=0.385 cpuTime=0.34 mem=16M636
31.53
31.53 search
31.53 run=5 nbConstraintChecks=1662706 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=747
31.53 nbFailedAssignments=501 nbBacktracks=205 nbVisitedNodes=1453 nbRestartNogoods=39
31.53 => wckTime=0.567 cpuTime=0.52 mem=16M636
31.78
31.78 search
31.78 run=6 nbConstraintChecks=2517339 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1127
31.78 nbFailedAssignments=760 nbBacktracks=318 nbVisitedNodes=2205 nbRestartNogoods=52
31.78 => wckTime=0.818 cpuTime=0.77 mem=16M636
32.15
32.15 search
32.15 run=7 nbConstraintChecks=3758223 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1666
32.15 nbFailedAssignments=1119 nbBacktracks=490 nbVisitedNodes=3275 nbRestartNogoods=65
32.15 => wckTime=1.182 cpuTime=1.12 mem=16M636
32.70
32.71 search
32.71 run=8 nbConstraintChecks=5779583 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2536
32.71 nbFailedAssignments=1727 nbBacktracks=746 nbVisitedNodes=5008 nbRestartNogoods=76
32.71 => wckTime=1.74 cpuTime=1.67 mem=16M636
33.51
33.51 search
33.51 run=9 nbConstraintChecks=8744321 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=3780
33.51 nbFailedAssignments=2578 nbBacktracks=1130 nbVisitedNodes=7486 nbRestartNogoods=100
33.51 => wckTime=2.542 cpuTime=2.47 mem=16M636
34.66
34.66 search
34.66 run=10 nbConstraintChecks=13027704 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=5549
34.66 nbFailedAssignments=3765 nbBacktracks=1706 nbVisitedNodes=11008 nbRestartNogoods=112
34.66 => wckTime=3.693 cpuTime=3.62 mem=16M636
36.14
36.14 search
36.14 run=11 nbConstraintChecks=18786258 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=7956
36.14 nbFailedAssignments=5302 nbBacktracks=2570 nbVisitedNodes=15796 nbRestartNogoods=121
36.14 => wckTime=5.179 cpuTime=5.11 mem=16M636
38.49
38.49 search
38.49 run=12 nbConstraintChecks=27204101 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=11529
38.49 nbFailedAssignments=7573 nbBacktracks=3867 nbVisitedNodes=22902 nbRestartNogoods=127
38.49 => wckTime=7.52 cpuTime=7.45 mem=16M636
41.71
41.71 search
41.71 run=13 nbConstraintChecks=38229508 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=16214
41.71 nbFailedAssignments=10308 nbBacktracks=5813 nbVisitedNodes=32173 nbRestartNogoods=140
41.71 => wckTime=10.744 cpuTime=10.65 mem=16M636
46.30
46.30 search
46.30 run=14 nbConstraintChecks=53933556 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=22922
46.30 nbFailedAssignments=14091 nbBacktracks=8733 nbVisitedNodes=45244 nbRestartNogoods=146
46.30 => wckTime=15.339 cpuTime=15.25 mem=16M636
52.87
52.87 search
52.87 run=15 nbConstraintChecks=76802287 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=32608
52.87 nbFailedAssignments=19392 nbBacktracks=13111 nbVisitedNodes=64057 nbRestartNogoods=159
52.87 => wckTime=21.9 cpuTime=21.8 mem=16M636
63.19
63.19 search
63.19 run=16 nbConstraintChecks=110853926 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=47335
63.19 nbFailedAssignments=27547 nbBacktracks=19680 nbVisitedNodes=92594 nbRestartNogoods=171
63.19 => wckTime=32.224 cpuTime=32.12 mem=16M636
78.77
78.77 search
78.77 run=17 nbConstraintChecks=163644824 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=69229
78.77 nbFailedAssignments=39587 nbBacktracks=29532 nbVisitedNodes=135193 nbRestartNogoods=188
78.77 => wckTime=47.801 cpuTime=47.69 mem=16M636
101.67
101.67 search
101.67 run=18 nbConstraintChecks=238388278 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=101476
101.67 nbFailedAssignments=57047 nbBacktracks=44312 nbVisitedNodes=197272 nbRestartNogoods=205
101.67 => wckTime=70.703 cpuTime=70.56 mem=16M636
135.33
135.33 search
135.33 run=19 nbConstraintChecks=351223613 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=150128
135.33 nbFailedAssignments=83527 nbBacktracks=66480 nbVisitedNodes=291690 nbRestartNogoods=215
135.33 => wckTime=104.368 cpuTime=104.19 mem=16M636
183.22
183.23 search
183.23 run=20 nbConstraintChecks=512283327 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=219181
183.23 nbFailedAssignments=119320 nbBacktracks=99732 nbVisitedNodes=424841 nbRestartNogoods=236
183.23 => wckTime=152.26 cpuTime=152.03 mem=16M636
255.51
255.51 search
255.51 run=21 nbConstraintChecks=753357889 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=323312
255.51 nbFailedAssignments=173566 nbBacktracks=149612 nbVisitedNodes=625277 nbRestartNogoods=248
255.51 => wckTime=224.544 cpuTime=224.25 mem=16M636
365.40
365.40 search
365.40 run=22 nbConstraintChecks=1120652183 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=481318
365.40 nbFailedAssignments=256747 nbBacktracks=224431 nbVisitedNodes=928909 nbRestartNogoods=276
365.40 => wckTime=334.432 cpuTime=334.03 mem=16M636
523.70
523.70 search
523.70 run=23 nbConstraintChecks=1648986447 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=709706
523.70 nbFailedAssignments=372904 nbBacktracks=336658 nbVisitedNodes=1363238 nbRestartNogoods=302
523.70 => wckTime=492.731 cpuTime=492.18 mem=16M636
531.30
531.30 search
531.30 run=24 nbConstraintChecks=1674011877 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=720381
531.30 nbFailedAssignments=377901 nbBacktracks=342337 nbVisitedNodes=1383186 nbRestartNogoods=315
531.30 => wckTime=500.34 cpuTime=499.79 mem=16M636
531.31
531.31 global
531.31 nbConstraintChecks=1674043302 nbRestartNogoods=315 solvingWckTime=500.34 solvingCpuTime=499.79 expiredTime=no
531.31 totalExploration=yes nbFoundSolutions=0 globalCpuTime=530.31
531.31 => wckTime=531.011 cpuTime=530.27 mem=16M636
531.31
531.31 s OPTIMUM FOUND
531.31 v 8 2 9 3 7 6 6 7 8 2 3 7 7 8 9 6 8 5 0 6 3 1 4 5 3
531.31
531.31 totalWckTime=531.088 totalCpuTime=530.31
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node60/watcher-281305-1169311174 -o ROOT/results/node60/solver-281305-1169311174 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/281305-1169311174/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.98 1.79 1.39 4/74 30936
/proc/meminfo: memFree=1354752/2055920 swapFree=4192812/4192956
[pid=30935] ppid=30933 vsize=172 CPUtime=0
/proc/30935/stat : 30935 (java) R 30933 30935 30523 0 -1 0 217 0 0 0 0 0 0 0 18 0 1 0 279515321 176128 24 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 5534500 0 0 4096 0 0 0 0 17 0 0 0
/proc/30935/statm: 43 24 18 14 0 3 0
[startup+0.10742 s]
/proc/loadavg: 1.98 1.79 1.39 4/74 30936
/proc/meminfo: memFree=1354752/2055920 swapFree=4192812/4192956
[pid=30935] ppid=30933 vsize=914988 CPUtime=0.09
/proc/30935/stat : 30935 (java) R 30933 30935 30523 0 -1 0 3060 0 1 0 8 1 0 0 23 0 8 0 279515321 936947712 2806 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/30935/statm: 228747 2807 1450 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.515462 s]
/proc/loadavg: 1.98 1.79 1.39 4/74 30936
/proc/meminfo: memFree=1354752/2055920 swapFree=4192812/4192956
[pid=30935] ppid=30933 vsize=915332 CPUtime=0.49
/proc/30935/stat : 30935 (java) R 30933 30935 30523 0 -1 0 6624 0 1 0 46 3 0 0 25 0 8 0 279515321 937299968 6363 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/30935/statm: 228833 6363 2152 14 0 215303 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915332
[startup+1.33654 s]
/proc/loadavg: 1.98 1.79 1.39 3/81 30943
/proc/meminfo: memFree=1335816/2055920 swapFree=4192812/4192956
[pid=30935] ppid=30933 vsize=915464 CPUtime=1.32
/proc/30935/stat : 30935 (java) R 30933 30935 30523 0 -1 0 7434 0 1 0 113 19 0 0 25 0 8 0 279515321 937435136 7172 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/30935/statm: 228866 7172 2479 14 0 215336 0
[pid=30935/tid=30937] ppid=30933 vsize=915468 CPUtime=0.02
/proc/30935/task/30937/stat : 30937 (java) S 30933 30935 30523 0 -1 64 198 0 0 0 2 0 0 0 16 0 8 0 279515325 937439232 7172 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=30935/tid=30938] ppid=30933 vsize=915464 CPUtime=0
/proc/30935/task/30938/stat : 30938 (java) S 30933 30935 30523 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279515326 937435136 7172 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30935/tid=30939] ppid=30933 vsize=915464 CPUtime=0
/proc/30935/task/30939/stat : 30939 (java) S 30933 30935 30523 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279515326 937435136 7172 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30935/tid=30940] ppid=30933 vsize=915464 CPUtime=0
/proc/30935/task/30940/stat : 30940 (java) S 30933 30935 30523 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 279515329 937435136 7172 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30935/tid=30941] ppid=30933 vsize=915464 CPUtime=0.13
/proc/30935/task/30941/stat : 30941 (java) S 30933 30935 30523 0 -1 64 346 0 0 0 13 0 0 0 16 0 8 0 279515329 937435136 7172 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30935/tid=30942] ppid=30933 vsize=915464 CPUtime=0
/proc/30935/task/30942/stat : 30942 (java) S 30933 30935 30523 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 279515329 937435136 7172 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30935/tid=30943] ppid=30933 vsize=915464 CPUtime=0
/proc/30935/task/30943/stat : 30943 (java) S 30933 30935 30523 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 279515329 937435136 7172 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.32
Current children cumulated vsize (KiB) 915464
[startup+2.98371 s]
/proc/loadavg: 1.98 1.79 1.39 3/81 30943
/proc/meminfo: memFree=1335816/2055920 swapFree=4192812/4192956
[pid=30935] ppid=30933 vsize=915464 CPUtime=2.96
/proc/30935/stat : 30935 (java) R 30933 30935 30523 0 -1 0 7438 0 1 0 242 54 0 0 25 0 8 0 279515321 937435136 7175 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/30935/statm: 228866 7175 2479 14 0 215336 0
[pid=30935/tid=30937] ppid=30933 vsize=915464 CPUtime=0.02
/proc/30935/task/30937/stat : 30937 (java) S 30933 30935 30523 0 -1 64 198 0 0 0 2 0 0 0 16 0 8 0 279515325 937435136 7175 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=30935/tid=30938] ppid=30933 vsize=915464 CPUtime=0
/proc/30935/task/30938/stat : 30938 (java) S 30933 30935 30523 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279515326 937435136 7175 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30935/tid=30939] ppid=30933 vsize=915464 CPUtime=0
/proc/30935/task/30939/stat : 30939 (java) S 30933 30935 30523 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279515326 937435136 7175 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30935/tid=30940] ppid=30933 vsize=915464 CPUtime=0
/proc/30935/task/30940/stat : 30940 (java) S 30933 30935 30523 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 279515329 937435136 7175 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30935/tid=30941] ppid=30933 vsize=915468 CPUtime=0.13
/proc/30935/task/30941/stat : 30941 (java) S 30933 30935 30523 0 -1 64 349 0 0 0 13 0 0 0 16 0 8 0 279515329 937439232 7175 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30935/tid=30942] ppid=30933 vsize=915464 CPUtime=0
/proc/30935/task/30942/stat : 30942 (java) S 30933 30935 30523 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 279515329 937435136 7175 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30935/tid=30943] ppid=30933 vsize=915464 CPUtime=0
/proc/30935/task/30943/stat : 30943 (java) S 30933 30935 30523 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 279515329 937435136 7175 18446744073709551615 134512640 134570532 4294956464 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) 915464
[startup+6.18903 s]
/proc/loadavg: 1.98 1.79 1.39 3/81 30943
/proc/meminfo: memFree=1335752/2055920 swapFree=4192812/4192956
[pid=30935] ppid=30933 vsize=915464 CPUtime=6.17
/proc/30935/stat : 30935 (java) R 30933 30935 30523 0 -1 0 7438 0 1 0 498 119 0 0 25 0 8 0 279515321 937435136 7175 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073733545 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/30935/statm: 228866 7175 2479 14 0 215336 0
[pid=30935/tid=30937] ppid=30933 vsize=915464 CPUtime=0.02
/proc/30935/task/30937/stat : 30937 (java) S 30933 30935 30523 0 -1 64 198 0 0 0 2 0 0 0 16 0 8 0 279515325 937435136 7175 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=30935/tid=30938] ppid=30933 vsize=915464 CPUtime=0
/proc/30935/task/30938/stat : 30938 (java) S 30933 30935 30523 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279515326 937435136 7175 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30935/tid=30939] ppid=30933 vsize=915464 CPUtime=0
/proc/30935/task/30939/stat : 30939 (java) S 30933 30935 30523 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279515326 937435136 7175 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30935/tid=30940] ppid=30933 vsize=915464 CPUtime=0
/proc/30935/task/30940/stat : 30940 (java) S 30933 30935 30523 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 279515329 937435136 7175 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30935/tid=30941] ppid=30933 vsize=915468 CPUtime=0.13
/proc/30935/task/30941/stat : 30941 (java) S 30933 30935 30523 0 -1 64 349 0 0 0 13 0 0 0 16 0 8 0 279515329 937439232 7175 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30935/tid=30942] ppid=30933 vsize=915464 CPUtime=0
/proc/30935/task/30942/stat : 30942 (java) S 30933 30935 30523 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 279515329 937435136 7175 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30935/tid=30943] ppid=30933 vsize=915464 CPUtime=0
/proc/30935/task/30943/stat : 30943 (java) S 30933 30935 30523 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 279515329 937435136 7175 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.17
Current children cumulated vsize (KiB) 915464
[startup+12.6687 s]
/proc/loadavg: 1.98 1.80 1.40 3/81 30943
/proc/meminfo: memFree=1335688/2055920 swapFree=4192812/4192956
[pid=30935] ppid=30933 vsize=915464 CPUtime=12.63
/proc/30935/stat : 30935 (java) R 30933 30935 30523 0 -1 0 7438 0 1 0 1004 259 0 0 25 0 8 0 279515321 937435136 7175 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/30935/statm: 228867 7175 2479 14 0 215337 0
[pid=30935/tid=30937] ppid=30933 vsize=915464 CPUtime=0.02
/proc/30935/task/30937/stat : 30937 (java) S 30933 30935 30523 0 -1 64 198 0 0 0 2 0 0 0 16 0 8 0 279515325 937435136 7175 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=30935/tid=30938] ppid=30933 vsize=915464 CPUtime=0
/proc/30935/task/30938/stat : 30938 (java) S 30933 30935 30523 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279515326 937435136 7175 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30935/tid=30939] ppid=30933 vsize=915468 CPUtime=0
/proc/30935/task/30939/stat : 30939 (java) S 30933 30935 30523 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279515326 937439232 7175 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30935/tid=30940] ppid=30933 vsize=915464 CPUtime=0
/proc/30935/task/30940/stat : 30940 (java) S 30933 30935 30523 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 279515329 937435136 7175 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30935/tid=30941] ppid=30933 vsize=915464 CPUtime=0.14
/proc/30935/task/30941/stat : 30941 (java) S 30933 30935 30523 0 -1 64 349 0 0 0 14 0 0 0 16 0 8 0 279515329 937435136 7175 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30935/tid=30942] ppid=30933 vsize=915464 CPUtime=0
/proc/30935/task/30942/stat : 30942 (java) S 30933 30935 30523 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 279515329 937435136 7175 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30935/tid=30943] ppid=30933 vsize=915464 CPUtime=0
/proc/30935/task/30943/stat : 30943 (java) S 30933 30935 30523 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 279515329 937435136 7175 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.63
Current children cumulated vsize (KiB) 915464
[startup+25.5269 s]
/proc/loadavg: 1.99 1.80 1.40 3/81 30943
/proc/meminfo: memFree=1335688/2055920 swapFree=4192812/4192956
[pid=30935] ppid=30933 vsize=915464 CPUtime=25.49
/proc/30935/stat : 30935 (java) R 30933 30935 30523 0 -1 0 7438 0 1 0 2026 523 0 0 25 0 8 0 279515321 937435136 7175 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/30935/statm: 228866 7175 2479 14 0 215336 0
[pid=30935/tid=30937] ppid=30933 vsize=915464 CPUtime=0.02
/proc/30935/task/30937/stat : 30937 (java) S 30933 30935 30523 0 -1 64 198 0 0 0 2 0 0 0 16 0 8 0 279515325 937435136 7175 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=30935/tid=30938] ppid=30933 vsize=915468 CPUtime=0
/proc/30935/task/30938/stat : 30938 (java) S 30933 30935 30523 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279515326 937439232 7175 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30935/tid=30939] ppid=30933 vsize=915464 CPUtime=0
/proc/30935/task/30939/stat : 30939 (java) S 30933 30935 30523 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279515326 937435136 7175 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30935/tid=30940] ppid=30933 vsize=915464 CPUtime=0
/proc/30935/task/30940/stat : 30940 (java) S 30933 30935 30523 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 279515329 937435136 7175 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30935/tid=30941] ppid=30933 vsize=915464 CPUtime=0.14
/proc/30935/task/30941/stat : 30941 (java) S 30933 30935 30523 0 -1 64 349 0 0 0 14 0 0 0 16 0 8 0 279515329 937435136 7175 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30935/tid=30942] ppid=30933 vsize=915464 CPUtime=0
/proc/30935/task/30942/stat : 30942 (java) S 30933 30935 30523 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 279515329 937435136 7175 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30935/tid=30943] ppid=30933 vsize=915464 CPUtime=0
/proc/30935/task/30943/stat : 30943 (java) S 30933 30935 30523 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 279515329 937435136 7175 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 915464
[startup+51.1525 s]
/proc/loadavg: 1.99 1.82 1.42 3/81 30943
/proc/meminfo: memFree=1329480/2055920 swapFree=4192812/4192956
[pid=30935] ppid=30933 vsize=915464 CPUtime=51.08
/proc/30935/stat : 30935 (java) R 30933 30935 30523 0 -1 0 9091 0 1 0 4476 632 0 0 25 0 8 0 279515321 937435136 8823 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073861858 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/30935/statm: 228866 8823 2532 14 0 215336 0
[pid=30935/tid=30937] ppid=30933 vsize=915464 CPUtime=0.02
/proc/30935/task/30937/stat : 30937 (java) S 30933 30935 30523 0 -1 64 199 0 0 0 2 0 0 0 17 0 8 0 279515325 937435136 8823 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=30935/tid=30938] ppid=30933 vsize=915464 CPUtime=0
/proc/30935/task/30938/stat : 30938 (java) S 30933 30935 30523 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279515326 937435136 8823 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30935/tid=30939] ppid=30933 vsize=915464 CPUtime=0
/proc/30935/task/30939/stat : 30939 (java) S 30933 30935 30523 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279515326 937435136 8823 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30935/tid=30940] ppid=30933 vsize=915464 CPUtime=0
/proc/30935/task/30940/stat : 30940 (java) S 30933 30935 30523 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 279515329 937435136 8823 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30935/tid=30941] ppid=30933 vsize=915464 CPUtime=0.23
/proc/30935/task/30941/stat : 30941 (java) S 30933 30935 30523 0 -1 64 407 0 0 0 23 0 0 0 16 0 8 0 279515329 937435136 8823 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30935/tid=30942] ppid=30933 vsize=915464 CPUtime=0
/proc/30935/task/30942/stat : 30942 (java) S 30933 30935 30523 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 279515329 937435136 8823 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30935/tid=30943] ppid=30933 vsize=915464 CPUtime=0
/proc/30935/task/30943/stat : 30943 (java) S 30933 30935 30523 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 279515329 937435136 8823 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 915464
[startup+102.399 s]
/proc/loadavg: 1.99 1.84 1.45 3/81 30943
/proc/meminfo: memFree=1329480/2055920 swapFree=4192812/4192956
[pid=30935] ppid=30933 vsize=915464 CPUtime=102.28
/proc/30935/stat : 30935 (java) R 30933 30935 30523 0 -1 0 9103 0 1 0 9596 632 0 0 25 0 8 0 279515321 937435136 8833 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073858639 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/30935/statm: 228866 8833 2532 14 0 215336 0
[pid=30935/tid=30937] ppid=30933 vsize=915464 CPUtime=0.02
/proc/30935/task/30937/stat : 30937 (java) S 30933 30935 30523 0 -1 64 199 0 0 0 2 0 0 0 16 0 8 0 279515325 937435136 8833 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=30935/tid=30938] ppid=30933 vsize=915464 CPUtime=0
/proc/30935/task/30938/stat : 30938 (java) S 30933 30935 30523 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279515326 937435136 8833 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30935/tid=30939] ppid=30933 vsize=915464 CPUtime=0
/proc/30935/task/30939/stat : 30939 (java) S 30933 30935 30523 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279515326 937435136 8833 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30935/tid=30940] ppid=30933 vsize=915464 CPUtime=0
/proc/30935/task/30940/stat : 30940 (java) S 30933 30935 30523 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 279515329 937435136 8833 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30935/tid=30941] ppid=30933 vsize=915464 CPUtime=0.23
/proc/30935/task/30941/stat : 30941 (java) S 30933 30935 30523 0 -1 64 408 0 0 0 23 0 0 0 16 0 8 0 279515329 937435136 8833 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30935/tid=30942] ppid=30933 vsize=915464 CPUtime=0
/proc/30935/task/30942/stat : 30942 (java) S 30933 30935 30523 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 279515329 937435136 8833 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30935/tid=30943] ppid=30933 vsize=915464 CPUtime=0
/proc/30935/task/30943/stat : 30943 (java) S 30933 30935 30523 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 279515329 937435136 8833 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 915464
[startup+162.484 s]
/proc/loadavg: 1.99 1.87 1.48 3/81 30943
/proc/meminfo: memFree=1329480/2055920 swapFree=4192812/4192956
[pid=30935] ppid=30933 vsize=915464 CPUtime=162.3
/proc/30935/stat : 30935 (java) R 30933 30935 30523 0 -1 0 9106 0 1 0 15598 632 0 0 25 0 8 0 279515321 937435136 8836 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073841676 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/30935/statm: 228866 8836 2532 14 0 215336 0
[pid=30935/tid=30937] ppid=30933 vsize=915464 CPUtime=0.02
/proc/30935/task/30937/stat : 30937 (java) S 30933 30935 30523 0 -1 64 199 0 0 0 2 0 0 0 16 0 8 0 279515325 937435136 8836 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=30935/tid=30938] ppid=30933 vsize=915464 CPUtime=0
/proc/30935/task/30938/stat : 30938 (java) S 30933 30935 30523 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279515326 937435136 8836 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30935/tid=30939] ppid=30933 vsize=915464 CPUtime=0
/proc/30935/task/30939/stat : 30939 (java) S 30933 30935 30523 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279515326 937435136 8836 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30935/tid=30940] ppid=30933 vsize=915464 CPUtime=0
/proc/30935/task/30940/stat : 30940 (java) S 30933 30935 30523 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 279515329 937435136 8836 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30935/tid=30941] ppid=30933 vsize=915464 CPUtime=0.23
/proc/30935/task/30941/stat : 30941 (java) S 30933 30935 30523 0 -1 64 408 0 0 0 23 0 0 0 16 0 8 0 279515329 937435136 8836 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30935/tid=30942] ppid=30933 vsize=915464 CPUtime=0
/proc/30935/task/30942/stat : 30942 (java) S 30933 30935 30523 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 279515329 937435136 8836 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30935/tid=30943] ppid=30933 vsize=915464 CPUtime=0
/proc/30935/task/30943/stat : 30943 (java) S 30933 30935 30523 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 279515329 937435136 8836 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 915464
[startup+222.578 s]
/proc/loadavg: 1.99 1.89 1.51 3/81 30943
/proc/meminfo: memFree=1329480/2055920 swapFree=4192812/4192956
[pid=30935] ppid=30933 vsize=915464 CPUtime=222.33
/proc/30935/stat : 30935 (java) R 30933 30935 30523 0 -1 0 9108 0 1 0 21601 632 0 0 25 0 8 0 279515321 937435136 8838 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073858949 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/30935/statm: 228866 8838 2532 14 0 215336 0
[pid=30935/tid=30937] ppid=30933 vsize=915464 CPUtime=0.02
/proc/30935/task/30937/stat : 30937 (java) S 30933 30935 30523 0 -1 64 199 0 0 0 2 0 0 0 16 0 8 0 279515325 937435136 8838 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=30935/tid=30938] ppid=30933 vsize=915464 CPUtime=0
/proc/30935/task/30938/stat : 30938 (java) S 30933 30935 30523 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279515326 937435136 8838 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30935/tid=30939] ppid=30933 vsize=915464 CPUtime=0
/proc/30935/task/30939/stat : 30939 (java) S 30933 30935 30523 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279515326 937435136 8838 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30935/tid=30940] ppid=30933 vsize=915464 CPUtime=0
/proc/30935/task/30940/stat : 30940 (java) S 30933 30935 30523 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 279515329 937435136 8838 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30935/tid=30941] ppid=30933 vsize=915464 CPUtime=0.23
/proc/30935/task/30941/stat : 30941 (java) S 30933 30935 30523 0 -1 64 408 0 0 0 23 0 0 0 16 0 8 0 279515329 937435136 8838 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30935/tid=30942] ppid=30933 vsize=915464 CPUtime=0
/proc/30935/task/30942/stat : 30942 (java) S 30933 30935 30523 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 279515329 937435136 8838 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30935/tid=30943] ppid=30933 vsize=915464 CPUtime=0
/proc/30935/task/30943/stat : 30943 (java) S 30933 30935 30523 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 279515329 937435136 8838 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 222.33
Current children cumulated vsize (KiB) 915464
[startup+282.676 s]
/proc/loadavg: 1.99 1.91 1.54 3/81 30943
/proc/meminfo: memFree=1329416/2055920 swapFree=4192812/4192956
[pid=30935] ppid=30933 vsize=915464 CPUtime=282.38
/proc/30935/stat : 30935 (java) R 30933 30935 30523 0 -1 0 9110 0 1 0 27606 632 0 0 25 0 8 0 279515321 937435136 8840 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073856741 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/30935/statm: 228866 8840 2532 14 0 215336 0
[pid=30935/tid=30937] ppid=30933 vsize=915464 CPUtime=0.02
/proc/30935/task/30937/stat : 30937 (java) S 30933 30935 30523 0 -1 64 199 0 0 0 2 0 0 0 16 0 8 0 279515325 937435136 8840 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=30935/tid=30938] ppid=30933 vsize=915464 CPUtime=0
/proc/30935/task/30938/stat : 30938 (java) S 30933 30935 30523 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279515326 937435136 8840 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30935/tid=30939] ppid=30933 vsize=915464 CPUtime=0
/proc/30935/task/30939/stat : 30939 (java) S 30933 30935 30523 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279515326 937435136 8840 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30935/tid=30940] ppid=30933 vsize=915464 CPUtime=0
/proc/30935/task/30940/stat : 30940 (java) S 30933 30935 30523 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 279515329 937435136 8840 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30935/tid=30941] ppid=30933 vsize=915464 CPUtime=0.23
/proc/30935/task/30941/stat : 30941 (java) S 30933 30935 30523 0 -1 64 408 0 0 0 23 0 0 0 16 0 8 0 279515329 937435136 8840 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30935/tid=30942] ppid=30933 vsize=915464 CPUtime=0
/proc/30935/task/30942/stat : 30942 (java) S 30933 30935 30523 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 279515329 937435136 8840 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30935/tid=30943] ppid=30933 vsize=915464 CPUtime=0
/proc/30935/task/30943/stat : 30943 (java) S 30933 30935 30523 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 279515329 937435136 8840 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 282.38
Current children cumulated vsize (KiB) 915464
[startup+342.769 s]
/proc/loadavg: 1.99 1.92 1.56 3/81 30943
/proc/meminfo: memFree=1329416/2055920 swapFree=4192812/4192956
[pid=30935] ppid=30933 vsize=915464 CPUtime=342.41
/proc/30935/stat : 30935 (java) R 30933 30935 30523 0 -1 0 9110 0 1 0 33609 632 0 0 25 0 8 0 279515321 937435136 8840 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073840756 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/30935/statm: 228866 8840 2532 14 0 215336 0
[pid=30935/tid=30937] ppid=30933 vsize=915464 CPUtime=0.02
/proc/30935/task/30937/stat : 30937 (java) S 30933 30935 30523 0 -1 64 199 0 0 0 2 0 0 0 16 0 8 0 279515325 937435136 8840 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=30935/tid=30938] ppid=30933 vsize=915464 CPUtime=0
/proc/30935/task/30938/stat : 30938 (java) S 30933 30935 30523 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279515326 937435136 8840 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30935/tid=30939] ppid=30933 vsize=915464 CPUtime=0
/proc/30935/task/30939/stat : 30939 (java) S 30933 30935 30523 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279515326 937435136 8840 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30935/tid=30940] ppid=30933 vsize=915464 CPUtime=0
/proc/30935/task/30940/stat : 30940 (java) S 30933 30935 30523 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 279515329 937435136 8840 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30935/tid=30941] ppid=30933 vsize=915464 CPUtime=0.23
/proc/30935/task/30941/stat : 30941 (java) S 30933 30935 30523 0 -1 64 408 0 0 0 23 0 0 0 16 0 8 0 279515329 937435136 8840 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30935/tid=30942] ppid=30933 vsize=915464 CPUtime=0
/proc/30935/task/30942/stat : 30942 (java) S 30933 30935 30523 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 279515329 937435136 8840 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30935/tid=30943] ppid=30933 vsize=915464 CPUtime=0
/proc/30935/task/30943/stat : 30943 (java) S 30933 30935 30523 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 279515329 937435136 8840 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 342.41
Current children cumulated vsize (KiB) 915464
[startup+402.868 s]
/proc/loadavg: 1.99 1.93 1.59 3/81 30943
/proc/meminfo: memFree=1329416/2055920 swapFree=4192812/4192956
[pid=30935] ppid=30933 vsize=915464 CPUtime=402.44
/proc/30935/stat : 30935 (java) R 30933 30935 30523 0 -1 0 9114 0 1 0 39612 632 0 0 25 0 8 0 279515321 937435136 8844 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073875679 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/30935/statm: 228866 8844 2532 14 0 215336 0
[pid=30935/tid=30937] ppid=30933 vsize=915464 CPUtime=0.02
/proc/30935/task/30937/stat : 30937 (java) S 30933 30935 30523 0 -1 64 199 0 0 0 2 0 0 0 16 0 8 0 279515325 937435136 8844 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=30935/tid=30938] ppid=30933 vsize=915464 CPUtime=0
/proc/30935/task/30938/stat : 30938 (java) S 30933 30935 30523 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279515326 937435136 8844 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30935/tid=30939] ppid=30933 vsize=915464 CPUtime=0
/proc/30935/task/30939/stat : 30939 (java) S 30933 30935 30523 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279515326 937435136 8844 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30935/tid=30940] ppid=30933 vsize=915464 CPUtime=0
/proc/30935/task/30940/stat : 30940 (java) S 30933 30935 30523 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 279515329 937435136 8844 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30935/tid=30941] ppid=30933 vsize=915464 CPUtime=0.23
/proc/30935/task/30941/stat : 30941 (java) S 30933 30935 30523 0 -1 64 409 0 0 0 23 0 0 0 16 0 8 0 279515329 937435136 8844 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30935/tid=30942] ppid=30933 vsize=915464 CPUtime=0
/proc/30935/task/30942/stat : 30942 (java) S 30933 30935 30523 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 279515329 937435136 8844 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30935/tid=30943] ppid=30933 vsize=915464 CPUtime=0
/proc/30935/task/30943/stat : 30943 (java) S 30933 30935 30523 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 279515329 937435136 8844 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 402.44
Current children cumulated vsize (KiB) 915464
[startup+462.962 s]
/proc/loadavg: 1.99 1.94 1.61 3/81 30943
/proc/meminfo: memFree=1329416/2055920 swapFree=4192812/4192956
[pid=30935] ppid=30933 vsize=915464 CPUtime=462.49
/proc/30935/stat : 30935 (java) R 30933 30935 30523 0 -1 0 9114 0 1 0 45617 632 0 0 25 0 8 0 279515321 937435136 8844 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073902112 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/30935/statm: 228866 8844 2532 14 0 215336 0
[pid=30935/tid=30937] ppid=30933 vsize=915464 CPUtime=0.02
/proc/30935/task/30937/stat : 30937 (java) S 30933 30935 30523 0 -1 64 199 0 0 0 2 0 0 0 16 0 8 0 279515325 937435136 8844 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=30935/tid=30938] ppid=30933 vsize=915464 CPUtime=0
/proc/30935/task/30938/stat : 30938 (java) S 30933 30935 30523 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279515326 937435136 8844 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30935/tid=30939] ppid=30933 vsize=915464 CPUtime=0
/proc/30935/task/30939/stat : 30939 (java) S 30933 30935 30523 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279515326 937435136 8844 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30935/tid=30940] ppid=30933 vsize=915464 CPUtime=0
/proc/30935/task/30940/stat : 30940 (java) S 30933 30935 30523 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 279515329 937435136 8844 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30935/tid=30941] ppid=30933 vsize=915464 CPUtime=0.23
/proc/30935/task/30941/stat : 30941 (java) S 30933 30935 30523 0 -1 64 409 0 0 0 23 0 0 0 16 0 8 0 279515329 937435136 8844 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30935/tid=30942] ppid=30933 vsize=915464 CPUtime=0
/proc/30935/task/30942/stat : 30942 (java) S 30933 30935 30523 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 279515329 937435136 8844 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30935/tid=30943] ppid=30933 vsize=915464 CPUtime=0
/proc/30935/task/30943/stat : 30943 (java) S 30933 30935 30523 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 279515329 937435136 8844 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 462.49
Current children cumulated vsize (KiB) 915464
[startup+523.062 s]
/proc/loadavg: 1.99 1.95 1.63 3/81 30943
/proc/meminfo: memFree=1329416/2055920 swapFree=4192812/4192956
[pid=30935] ppid=30933 vsize=915464 CPUtime=522.53
/proc/30935/stat : 30935 (java) R 30933 30935 30523 0 -1 0 9114 0 1 0 51621 632 0 0 25 0 8 0 279515321 937435136 8844 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073741707 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/30935/statm: 228866 8844 2532 14 0 215336 0
[pid=30935/tid=30937] ppid=30933 vsize=915464 CPUtime=0.02
/proc/30935/task/30937/stat : 30937 (java) S 30933 30935 30523 0 -1 64 199 0 0 0 2 0 0 0 16 0 8 0 279515325 937435136 8844 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=30935/tid=30938] ppid=30933 vsize=915464 CPUtime=0
/proc/30935/task/30938/stat : 30938 (java) S 30933 30935 30523 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279515326 937435136 8844 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30935/tid=30939] ppid=30933 vsize=915464 CPUtime=0
/proc/30935/task/30939/stat : 30939 (java) S 30933 30935 30523 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279515326 937435136 8844 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30935/tid=30940] ppid=30933 vsize=915464 CPUtime=0
/proc/30935/task/30940/stat : 30940 (java) S 30933 30935 30523 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 279515329 937435136 8844 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30935/tid=30941] ppid=30933 vsize=915464 CPUtime=0.23
/proc/30935/task/30941/stat : 30941 (java) S 30933 30935 30523 0 -1 64 409 0 0 0 23 0 0 0 16 0 8 0 279515329 937435136 8844 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30935/tid=30942] ppid=30933 vsize=915464 CPUtime=0
/proc/30935/task/30942/stat : 30942 (java) S 30933 30935 30523 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 279515329 937435136 8844 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30935/tid=30943] ppid=30933 vsize=915464 CPUtime=0
/proc/30935/task/30943/stat : 30943 (java) S 30933 30935 30523 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 279515329 937435136 8844 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 522.53
Current children cumulated vsize (KiB) 915464
Child status: 0
Real time (s): 531.351
CPU time (s): 530.793
CPU user time (s): 524.459
CPU system time (s): 6.33404
CPU usage (%): 99.8951
Max. virtual memory (cumulated for all children) (KiB): 915468
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 524.459
system time used= 6.33404
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9212
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= 12018
involuntary context switches= 14600
runsolver used 0.578911 s user time and 1.79673 s system time
The end
Begin job on node60 on Sat Jan 20 16:39:34 UTC 2007
IDJOB= 281305
IDBENCH= 12139
IDSOLVER= 68
FILE ID= node60/281305-1169311174
PBS_JOBID= 3610243
Free space on /tmp= 66561 MiB
SOLVER NAME= AbsconMax 109 EPFC
BENCH NAME= HOME/pub/bench/CPAI06/MaxCSP/randomMaxCSP/completeLoose/vcsp-25-10-100-18-1_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/281305-1169311174/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node60/watcher-281305-1169311174 -o ROOT/results/node60/solver-281305-1169311174 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/281305-1169311174/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= c5b98abbaaa6301a28bf2d4d1abf9ab7
RANDOM SEED= 330863256
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.236
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.236
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: 1355168 kB
Buffers: 51440 kB
Cached: 496368 kB
SwapCached: 0 kB
Active: 212380 kB
Inactive: 412456 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1355168 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 1704 kB
Writeback: 0 kB
Mapped: 88392 kB
Slab: 61028 kB
Committed_AS: 5836796 kB
PageTables: 1976 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 node60 on Sat Jan 20 16:48:26 UTC 2007