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/278479-1169288244/unknown.xml
0.35
0.35 domains being loaded...
0.36
0.36 variables being loaded...
0.38 nbVariables=40 nbDomainTypes=1 minDomainSize=2 maxDomainSize=2
0.38 => wckTime=0.086 cpuTime=0.09 mem=6M887
0.38
0.38 relations being loaded...
0.39
0.39 constraints being loaded...
0.54 nbConstraints=661 nbRelationTypes=14 nbExtensionStructures=14 nbSharedExtensionStructures=647
0.54 nbConflictsStructures=14 nbSharedConflictsStructures=647 nbSharedBinaryRepresentations=52 maxDegree=37
0.54 maxArity=2
0.54 => wckTime=0.243 cpuTime=0.18 mem=8M837
0.59
0.59 solver LocalSearchSolver being built...
0.62 => wckTime=0.325 cpuTime=0.22 mem=5M692
0.62
0.62 s SATISFIABLE
0.62 o 323
0.62 c 338
0.63 o 331
0.63 c 330
0.63 o 337
0.63 c 324
0.63 o 344
0.63 c 317
0.63 o 346
0.63 c 315
0.63 o 347
0.63 c 314
0.63 o 351
0.63 c 310
0.63 o 354
0.63 c 307
0.63 o 357
0.63 c 304
0.64 o 358
0.64 c 303
0.64 o 360
0.64 c 301
0.64 o 364
0.64 c 297
0.67 o 365
0.67 c 296
0.67 o 368
0.67 c 293
0.67 o 369
0.67 c 292
0.67 o 374
0.67 c 287
0.68 o 375
0.68 c 286
0.72 o 376
0.72 c 285
0.78 o 377
0.78 c 284
0.78 o 379
0.78 c 282
0.94 o 381
0.94 c 280
3.05
3.06 search
3.06 run=0 nbConstraintChecks=11198034 nbAssignments=10000
3.06 => wckTime=2.438 cpuTime=2.41 mem=5M692
5.44
5.44 search
5.44 run=1 nbConstraintChecks=22463096 nbAssignments=20000
5.44 => wckTime=4.827 cpuTime=4.79 mem=5M692
7.82
7.82 search
7.82 run=2 nbConstraintChecks=33654897 nbAssignments=30000
7.82 => wckTime=7.201 cpuTime=7.17 mem=5M692
10.21
10.21 search
10.21 run=3 nbConstraintChecks=44937754 nbAssignments=40000
10.21 => wckTime=9.592 cpuTime=9.56 mem=5M692
12.58
12.58 search
12.58 run=4 nbConstraintChecks=56132548 nbAssignments=50000
12.58 => wckTime=11.969 cpuTime=11.93 mem=5M692
14.96
14.96 search
14.96 run=5 nbConstraintChecks=67403426 nbAssignments=60000
14.96 => wckTime=14.341 cpuTime=14.31 mem=5M692
17.31
17.31 search
17.31 run=6 nbConstraintChecks=78604334 nbAssignments=70000
17.31 => wckTime=16.698 cpuTime=16.66 mem=5M692
19.68
19.68 search
19.68 run=7 nbConstraintChecks=89881912 nbAssignments=80000
19.68 => wckTime=19.068 cpuTime=19.03 mem=5M692
22.04
22.04 search
22.04 run=8 nbConstraintChecks=101075553 nbAssignments=90000
22.04 => wckTime=21.426 cpuTime=21.39 mem=5M692
24.43
24.43 search
24.43 run=9 nbConstraintChecks=112341302 nbAssignments=100000
24.43 => wckTime=23.809 cpuTime=23.77 mem=5M692
26.80
26.80 search
26.80 run=10 nbConstraintChecks=123540986 nbAssignments=110000
26.80 => wckTime=26.188 cpuTime=26.15 mem=5M692
29.19
29.19 search
29.19 run=11 nbConstraintChecks=134807856 nbAssignments=120000
29.19 => wckTime=28.577 cpuTime=28.54 mem=5M692
30.97
30.97 search
30.97 run=12 nbConstraintChecks=143197726 nbAssignments=127508
30.97 => wckTime=30.359 cpuTime=30.32 mem=5M692
30.98
30.98 global
30.98 nbConstraintChecks=143197726 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
30.98 solvingWckTime=30.357 solvingCpuTime=30.32 expiredTime=no totalExploration=no nbFoundSolutions=0
30.98 globalCpuTime=30.58
30.98 => wckTime=30.683 cpuTime=30.54 mem=5M692
30.98
30.98 solver IterativeSystematicSolver being built...
31.12 => wckTime=30.828 cpuTime=30.66 mem=16M809
31.19
31.19 preprocessing
31.19 nbConstraintChecks=65112 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
31.19 detectedInconsistency=no
31.19 => wckTime=0.065 cpuTime=0.04 mem=16M809
31.23
31.23 search
31.23 run=0 nbConstraintChecks=65589 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=36
31.23 nbFailedAssignments=7 nbBacktracks=11 nbVisitedNodes=55 nbRestartNogoods=0
31.23 => wckTime=0.1 cpuTime=0.07 mem=16M809
31.27
31.27 search
31.27 run=1 nbConstraintChecks=146854 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=79
31.27 nbFailedAssignments=17 nbBacktracks=26 nbVisitedNodes=123 nbRestartNogoods=1
31.27 => wckTime=0.151 cpuTime=0.1 mem=16M809
31.31
31.32 search
31.32 run=2 nbConstraintChecks=250958 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=135
31.32 nbFailedAssignments=31 nbBacktracks=48 nbVisitedNodes=214 nbRestartNogoods=2
31.32 => wckTime=0.192 cpuTime=0.15 mem=16M809
31.38
31.38 search
31.38 run=3 nbConstraintChecks=410827 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=206
31.38 nbFailedAssignments=55 nbBacktracks=81 nbVisitedNodes=340 nbRestartNogoods=4
31.38 => wckTime=0.259 cpuTime=0.21 mem=16M809
31.46
31.46 search
31.46 run=4 nbConstraintChecks=611465 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=301
31.46 nbFailedAssignments=81 nbBacktracks=131 nbVisitedNodes=511 nbRestartNogoods=6
31.46 => wckTime=0.337 cpuTime=0.29 mem=16M809
31.59
31.59 search
31.59 run=5 nbConstraintChecks=925322 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=437
31.59 nbFailedAssignments=123 nbBacktracks=209 nbVisitedNodes=764 nbRestartNogoods=9
31.59 => wckTime=0.465 cpuTime=0.42 mem=16M809
31.75
31.75 search
31.75 run=6 nbConstraintChecks=1342902 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=630
31.75 nbFailedAssignments=183 nbBacktracks=322 nbVisitedNodes=1130 nbRestartNogoods=11
31.75 => wckTime=0.626 cpuTime=0.58 mem=16M809
32.02
32.02 search
32.02 run=7 nbConstraintChecks=2010215 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=915
32.02 nbFailedAssignments=283 nbBacktracks=492 nbVisitedNodes=1676 nbRestartNogoods=15
32.02 => wckTime=0.897 cpuTime=0.84 mem=16M809
32.39
32.39 search
32.39 run=8 nbConstraintChecks=2923034 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1323
32.39 nbFailedAssignments=413 nbBacktracks=748 nbVisitedNodes=2467 nbRestartNogoods=19
32.39 => wckTime=1.264 cpuTime=1.2 mem=16M809
33.00
33.00 search
33.00 run=9 nbConstraintChecks=4481006 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1971
33.00 nbFailedAssignments=662 nbBacktracks=1132 nbVisitedNodes=3734 nbRestartNogoods=22
33.00 => wckTime=1.88 cpuTime=1.8 mem=16M809
33.87
33.87 search
33.87 run=10 nbConstraintChecks=6757219 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2926
33.87 nbFailedAssignments=1022 nbBacktracks=1709 nbVisitedNodes=5608 nbRestartNogoods=25
33.87 => wckTime=2.744 cpuTime=2.66 mem=16M809
35.22
35.22 search
35.22 run=11 nbConstraintChecks=10247554 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=4378
35.22 nbFailedAssignments=1593 nbBacktracks=2575 nbVisitedNodes=8467 nbRestartNogoods=28
35.22 => wckTime=4.1 cpuTime=4.01 mem=16M809
37.06
37.06 search
37.06 run=12 nbConstraintChecks=15167905 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=6471
37.06 nbFailedAssignments=2374 nbBacktracks=3872 nbVisitedNodes=12598 nbRestartNogoods=33
37.06 => wckTime=5.938 cpuTime=5.85 mem=16M809
40.00
40.00 search
40.00 run=13 nbConstraintChecks=22863856 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=9664
40.00 nbFailedAssignments=3606 nbBacktracks=5820 nbVisitedNodes=18919 nbRestartNogoods=36
40.00 => wckTime=8.882 cpuTime=8.79 mem=16M809
44.76
44.76 search
44.76 run=14 nbConstraintChecks=35154954 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=14489
44.76 nbFailedAssignments=5500 nbBacktracks=8740 nbVisitedNodes=28460 nbRestartNogoods=42
44.76 => wckTime=13.635 cpuTime=13.54 mem=16M809
51.73
51.73 search
51.73 run=15 nbConstraintChecks=53035419 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=21649
51.73 nbFailedAssignments=8267 nbBacktracks=13120 nbVisitedNodes=42643 nbRestartNogoods=48
51.73 => wckTime=20.609 cpuTime=20.51 mem=16M809
61.95
61.95 search
61.95 run=16 nbConstraintChecks=79452781 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=32407
61.95 nbFailedAssignments=12435 nbBacktracks=19690 nbVisitedNodes=63900 nbRestartNogoods=55
61.95 => wckTime=30.826 cpuTime=30.73 mem=16M809
78.56
78.56 search
78.56 run=17 nbConstraintChecks=121574598 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=48598
78.56 nbFailedAssignments=18767 nbBacktracks=29542 nbVisitedNodes=95955 nbRestartNogoods=59
78.56 => wckTime=47.433 cpuTime=47.33 mem=16M809
101.88
101.88 search
101.88 run=18 nbConstraintChecks=181535095 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=73083
101.88 nbFailedAssignments=28463 nbBacktracks=44320 nbVisitedNodes=144200 nbRestartNogoods=66
101.88 => wckTime=70.761 cpuTime=70.65 mem=16M809
138.99
138.99 search
138.99 run=19 nbConstraintChecks=275473676 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=109558
138.99 nbFailedAssignments=42757 nbBacktracks=66488 nbVisitedNodes=216235 nbRestartNogoods=73
138.99 => wckTime=107.863 cpuTime=107.73 mem=16M809
195.00
195.00 search
195.00 run=20 nbConstraintChecks=414814493 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=163770
195.00 nbFailedAssignments=63706 nbBacktracks=99740 nbVisitedNodes=323209 nbRestartNogoods=78
195.00 => wckTime=163.881 cpuTime=163.73 mem=16M809
276.52
276.52 search
276.52 run=21 nbConstraintChecks=621533826 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=245145
276.52 nbFailedAssignments=95194 nbBacktracks=149619 nbVisitedNodes=483160 nbRestartNogoods=87
276.52 => wckTime=245.395 cpuTime=245.21 mem=16M809
397.52
397.52 search
397.52 run=22 nbConstraintChecks=924962617 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=365218
397.52 nbFailedAssignments=142062 nbBacktracks=222825 nbVisitedNodes=718118 nbRestartNogoods=96
397.52 => wckTime=366.401 cpuTime=366.18 mem=16M809
397.52
397.52 global
397.53 nbConstraintChecks=925027729 nbRestartNogoods=96 solvingWckTime=366.402 solvingCpuTime=366.18 expiredTime=no
397.53 totalExploration=yes nbFoundSolutions=0 globalCpuTime=396.88
397.53 => wckTime=397.231 cpuTime=396.84 mem=16M809
397.53
397.53 s OPTIMUM FOUND
397.53 v 0 1 0 1 0 0 0 0 0 0 1 0 0 1 1 0 1 0 1 0 1 0 0 1 1 0 1 0 0 1 1 1 1 1 1 0 0 1 1 1
397.53
397.53 totalWckTime=397.309 totalCpuTime=396.88
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node19/watcher-278479-1169288244 -o ROOT/results/node19/solver-278479-1169288244 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/278479-1169288244/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.17 1.66 1.87 4/81 21789
/proc/meminfo: memFree=1172712/2055920 swapFree=4171264/4192956
[pid=21788] ppid=21786 vsize=308 CPUtime=0
/proc/21788/stat : 21788 (java) R 21786 21788 21430 0 -1 0 234 0 0 0 0 0 0 0 18 0 1 0 277219144 315392 40 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 7484196 0 0 4096 0 0 0 0 17 1 0 0
/proc/21788/statm: 77 40 31 14 0 5 0
[startup+0.10307 s]
/proc/loadavg: 1.17 1.66 1.87 4/81 21789
/proc/meminfo: memFree=1172712/2055920 swapFree=4171264/4192956
[pid=21788] ppid=21786 vsize=914988 CPUtime=0.08
/proc/21788/stat : 21788 (java) R 21786 21788 21430 0 -1 0 3067 0 1 0 7 1 0 0 16 0 8 0 277219144 936947712 2813 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21788/statm: 228747 2814 1452 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.51515 s]
/proc/loadavg: 1.17 1.66 1.87 4/81 21789
/proc/meminfo: memFree=1172712/2055920 swapFree=4171264/4192956
[pid=21788] ppid=21786 vsize=915332 CPUtime=0.5
/proc/21788/stat : 21788 (java) R 21786 21788 21430 0 -1 0 6615 0 1 0 44 6 0 0 16 0 8 0 277219144 937299968 6354 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073655618 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21788/statm: 228833 6354 2152 14 0 215303 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 915332
[startup+1.3373 s]
/proc/loadavg: 1.17 1.66 1.87 3/100 21841
/proc/meminfo: memFree=1137168/2055920 swapFree=4171264/4192956
[pid=21788] ppid=21786 vsize=915460 CPUtime=1.32
/proc/21788/stat : 21788 (java) R 21786 21788 21430 0 -1 0 7268 0 1 0 115 17 0 0 16 0 8 0 277219144 937431040 7006 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21788/statm: 228865 7006 2479 14 0 215335 0
[pid=21788/tid=21790] ppid=21786 vsize=915460 CPUtime=0.02
/proc/21788/task/21790/stat : 21790 (java) S 21786 21788 21430 0 -1 64 203 0 0 0 2 0 0 0 16 0 8 0 277219148 937431040 7006 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21788/tid=21791] ppid=21786 vsize=915460 CPUtime=0
/proc/21788/task/21791/stat : 21791 (java) S 21786 21788 21430 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277219148 937431040 7006 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21788/tid=21792] ppid=21786 vsize=915464 CPUtime=0
/proc/21788/task/21792/stat : 21792 (java) S 21786 21788 21430 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 277219148 937435136 7006 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21788/tid=21793] ppid=21786 vsize=915460 CPUtime=0
/proc/21788/task/21793/stat : 21793 (java) S 21786 21788 21430 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 277219151 937431040 7006 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21788/tid=21794] ppid=21786 vsize=915460 CPUtime=0.13
/proc/21788/task/21794/stat : 21794 (java) S 21786 21788 21430 0 -1 64 339 0 0 0 12 1 0 0 16 0 8 0 277219151 937431040 7006 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21788/tid=21795] ppid=21786 vsize=915460 CPUtime=0
/proc/21788/task/21795/stat : 21795 (java) S 21786 21788 21430 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 277219151 937431040 7006 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21788/tid=21796] ppid=21786 vsize=915460 CPUtime=0
/proc/21788/task/21796/stat : 21796 (java) S 21786 21788 21430 0 -1 64 0 0 0 0 0 0 0 0 16 0 8 0 277219151 937431040 7006 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.32
Current children cumulated vsize (KiB) 915460
[startup+2.97461 s]
/proc/loadavg: 1.17 1.66 1.87 3/100 21841
/proc/meminfo: memFree=1133456/2055920 swapFree=4171264/4192956
[pid=21788] ppid=21786 vsize=915460 CPUtime=2.95
/proc/21788/stat : 21788 (java) R 21786 21788 21430 0 -1 0 7269 0 1 0 250 45 0 0 17 0 8 0 277219144 937431040 7006 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21788/statm: 228865 7006 2479 14 0 215335 0
[pid=21788/tid=21790] ppid=21786 vsize=915460 CPUtime=0.02
/proc/21788/task/21790/stat : 21790 (java) S 21786 21788 21430 0 -1 64 203 0 0 0 2 0 0 0 16 0 8 0 277219148 937431040 7006 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21788/tid=21791] ppid=21786 vsize=915460 CPUtime=0
/proc/21788/task/21791/stat : 21791 (java) S 21786 21788 21430 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277219148 937431040 7006 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21788/tid=21792] ppid=21786 vsize=915460 CPUtime=0
/proc/21788/task/21792/stat : 21792 (java) S 21786 21788 21430 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 277219148 937431040 7006 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21788/tid=21793] ppid=21786 vsize=915464 CPUtime=0
/proc/21788/task/21793/stat : 21793 (java) S 21786 21788 21430 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 277219151 937435136 7006 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21788/tid=21794] ppid=21786 vsize=915460 CPUtime=0.13
/proc/21788/task/21794/stat : 21794 (java) S 21786 21788 21430 0 -1 64 339 0 0 0 12 1 0 0 16 0 8 0 277219151 937431040 7006 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21788/tid=21795] ppid=21786 vsize=915460 CPUtime=0
/proc/21788/task/21795/stat : 21795 (java) S 21786 21788 21430 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 277219151 937431040 7006 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21788/tid=21796] ppid=21786 vsize=915460 CPUtime=0
/proc/21788/task/21796/stat : 21796 (java) S 21786 21788 21430 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 277219151 937431040 7006 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 915460
[startup+6.27023 s]
/proc/loadavg: 1.23 1.66 1.87 3/100 21841
/proc/meminfo: memFree=1133456/2055920 swapFree=4171264/4192956
[pid=21788] ppid=21786 vsize=915460 CPUtime=6.25
/proc/21788/stat : 21788 (java) R 21786 21788 21430 0 -1 0 7271 0 1 0 527 98 0 0 25 0 8 0 277219144 937431040 7008 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073705225 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21788/statm: 228866 7008 2479 14 0 215336 0
[pid=21788/tid=21790] ppid=21786 vsize=915460 CPUtime=0.02
/proc/21788/task/21790/stat : 21790 (java) S 21786 21788 21430 0 -1 64 203 0 0 0 2 0 0 0 16 0 8 0 277219148 937431040 7008 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21788/tid=21791] ppid=21786 vsize=915460 CPUtime=0
/proc/21788/task/21791/stat : 21791 (java) S 21786 21788 21430 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277219148 937431040 7008 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21788/tid=21792] ppid=21786 vsize=915460 CPUtime=0
/proc/21788/task/21792/stat : 21792 (java) S 21786 21788 21430 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 277219148 937431040 7008 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21788/tid=21793] ppid=21786 vsize=915460 CPUtime=0
/proc/21788/task/21793/stat : 21793 (java) S 21786 21788 21430 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 277219151 937431040 7008 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21788/tid=21794] ppid=21786 vsize=915460 CPUtime=0.13
/proc/21788/task/21794/stat : 21794 (java) S 21786 21788 21430 0 -1 64 341 0 0 0 12 1 0 0 16 0 8 0 277219151 937431040 7008 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21788/tid=21795] ppid=21786 vsize=915464 CPUtime=0
/proc/21788/task/21795/stat : 21795 (java) S 21786 21788 21430 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 277219151 937435136 7008 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21788/tid=21796] ppid=21786 vsize=915460 CPUtime=0
/proc/21788/task/21796/stat : 21796 (java) S 21786 21788 21430 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 277219151 937431040 7008 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 915460
[startup+12.7424 s]
/proc/loadavg: 1.29 1.67 1.87 3/100 21841
/proc/meminfo: memFree=1133480/2055920 swapFree=4171264/4192956
[pid=21788] ppid=21786 vsize=915460 CPUtime=12.71
/proc/21788/stat : 21788 (java) R 21786 21788 21430 0 -1 0 7272 0 1 0 1062 209 0 0 25 0 8 0 277219144 937431040 7009 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21788/statm: 228865 7009 2479 14 0 215335 0
[pid=21788/tid=21790] ppid=21786 vsize=915460 CPUtime=0.02
/proc/21788/task/21790/stat : 21790 (java) S 21786 21788 21430 0 -1 64 203 0 0 0 2 0 0 0 16 0 8 0 277219148 937431040 7009 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21788/tid=21791] ppid=21786 vsize=915460 CPUtime=0
/proc/21788/task/21791/stat : 21791 (java) S 21786 21788 21430 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277219148 937431040 7009 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21788/tid=21792] ppid=21786 vsize=915460 CPUtime=0
/proc/21788/task/21792/stat : 21792 (java) S 21786 21788 21430 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 277219148 937431040 7009 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21788/tid=21793] ppid=21786 vsize=915460 CPUtime=0
/proc/21788/task/21793/stat : 21793 (java) S 21786 21788 21430 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 277219151 937431040 7009 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21788/tid=21794] ppid=21786 vsize=915460 CPUtime=0.13
/proc/21788/task/21794/stat : 21794 (java) S 21786 21788 21430 0 -1 64 342 0 0 0 12 1 0 0 16 0 8 0 277219151 937431040 7009 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21788/tid=21795] ppid=21786 vsize=915460 CPUtime=0
/proc/21788/task/21795/stat : 21795 (java) S 21786 21788 21430 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 277219151 937431040 7009 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21788/tid=21796] ppid=21786 vsize=915460 CPUtime=0
/proc/21788/task/21796/stat : 21796 (java) S 21786 21788 21430 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 277219151 937431040 7009 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.71
Current children cumulated vsize (KiB) 915460
[startup+25.5929 s]
/proc/loadavg: 1.45 1.68 1.87 3/100 21841
/proc/meminfo: memFree=1133544/2055920 swapFree=4171264/4192956
[pid=21788] ppid=21786 vsize=915460 CPUtime=25.56
/proc/21788/stat : 21788 (java) R 21786 21788 21430 0 -1 0 7272 0 1 0 2129 427 0 0 25 0 8 0 277219144 937431040 7009 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21788/statm: 228865 7009 2479 14 0 215335 0
[pid=21788/tid=21790] ppid=21786 vsize=915460 CPUtime=0.02
/proc/21788/task/21790/stat : 21790 (java) S 21786 21788 21430 0 -1 64 203 0 0 0 2 0 0 0 16 0 8 0 277219148 937431040 7009 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21788/tid=21791] ppid=21786 vsize=915464 CPUtime=0
/proc/21788/task/21791/stat : 21791 (java) S 21786 21788 21430 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277219148 937435136 7009 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21788/tid=21792] ppid=21786 vsize=915460 CPUtime=0
/proc/21788/task/21792/stat : 21792 (java) S 21786 21788 21430 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 277219148 937431040 7009 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21788/tid=21793] ppid=21786 vsize=915460 CPUtime=0
/proc/21788/task/21793/stat : 21793 (java) S 21786 21788 21430 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 277219151 937431040 7009 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21788/tid=21794] ppid=21786 vsize=915460 CPUtime=0.13
/proc/21788/task/21794/stat : 21794 (java) S 21786 21788 21430 0 -1 64 342 0 0 0 12 1 0 0 16 0 8 0 277219151 937431040 7009 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21788/tid=21795] ppid=21786 vsize=915460 CPUtime=0
/proc/21788/task/21795/stat : 21795 (java) S 21786 21788 21430 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 277219151 937431040 7009 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21788/tid=21796] ppid=21786 vsize=915460 CPUtime=0
/proc/21788/task/21796/stat : 21796 (java) S 21786 21788 21430 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 277219151 937431040 7009 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.56
Current children cumulated vsize (KiB) 915460
[startup+51.2907 s]
/proc/loadavg: 1.64 1.71 1.87 3/100 21841
/proc/meminfo: memFree=1118824/2055920 swapFree=4171264/4192956
[pid=21788] ppid=21786 vsize=915460 CPUtime=51.25
/proc/21788/stat : 21788 (java) R 21786 21788 21430 0 -1 0 9185 0 1 0 4607 518 0 0 25 0 8 0 277219144 937431040 8919 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073869473 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21788/statm: 228865 8919 2532 14 0 215335 0
[pid=21788/tid=21790] ppid=21786 vsize=915460 CPUtime=0.02
/proc/21788/task/21790/stat : 21790 (java) S 21786 21788 21430 0 -1 64 204 0 0 0 2 0 0 0 16 0 8 0 277219148 937431040 8919 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21788/tid=21791] ppid=21786 vsize=915460 CPUtime=0
/proc/21788/task/21791/stat : 21791 (java) S 21786 21788 21430 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277219148 937431040 8919 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21788/tid=21792] ppid=21786 vsize=915460 CPUtime=0
/proc/21788/task/21792/stat : 21792 (java) S 21786 21788 21430 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 277219148 937431040 8919 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21788/tid=21793] ppid=21786 vsize=915460 CPUtime=0
/proc/21788/task/21793/stat : 21793 (java) S 21786 21788 21430 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 277219151 937431040 8919 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21788/tid=21794] ppid=21786 vsize=915460 CPUtime=0.23
/proc/21788/task/21794/stat : 21794 (java) S 21786 21788 21430 0 -1 64 401 0 0 0 22 1 0 0 15 0 8 0 277219151 937431040 8919 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21788/tid=21795] ppid=21786 vsize=915460 CPUtime=0
/proc/21788/task/21795/stat : 21795 (java) S 21786 21788 21430 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 277219151 937431040 8919 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21788/tid=21796] ppid=21786 vsize=915460 CPUtime=0
/proc/21788/task/21796/stat : 21796 (java) S 21786 21788 21430 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 277219151 937431040 8919 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 51.25
Current children cumulated vsize (KiB) 915460
[startup+102.576 s]
/proc/loadavg: 1.84 1.75 1.88 3/100 21841
/proc/meminfo: memFree=1118760/2055920 swapFree=4171264/4192956
[pid=21788] ppid=21786 vsize=915460 CPUtime=102.51
/proc/21788/stat : 21788 (java) R 21786 21788 21430 0 -1 0 9196 0 1 0 9733 518 0 0 25 0 8 0 277219144 937431040 8929 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073824065 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21788/statm: 228865 8929 2532 14 0 215335 0
[pid=21788/tid=21790] ppid=21786 vsize=915460 CPUtime=0.02
/proc/21788/task/21790/stat : 21790 (java) S 21786 21788 21430 0 -1 64 204 0 0 0 2 0 0 0 16 0 8 0 277219148 937431040 8929 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21788/tid=21791] ppid=21786 vsize=915460 CPUtime=0
/proc/21788/task/21791/stat : 21791 (java) S 21786 21788 21430 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277219148 937431040 8929 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21788/tid=21792] ppid=21786 vsize=915460 CPUtime=0
/proc/21788/task/21792/stat : 21792 (java) S 21786 21788 21430 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 277219148 937431040 8929 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21788/tid=21793] ppid=21786 vsize=915460 CPUtime=0
/proc/21788/task/21793/stat : 21793 (java) S 21786 21788 21430 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 277219151 937431040 8929 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21788/tid=21794] ppid=21786 vsize=915460 CPUtime=0.23
/proc/21788/task/21794/stat : 21794 (java) S 21786 21788 21430 0 -1 64 402 0 0 0 22 1 0 0 16 0 8 0 277219151 937431040 8929 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21788/tid=21795] ppid=21786 vsize=915460 CPUtime=0
/proc/21788/task/21795/stat : 21795 (java) S 21786 21788 21430 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 277219151 937431040 8929 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21788/tid=21796] ppid=21786 vsize=915460 CPUtime=0
/proc/21788/task/21796/stat : 21796 (java) S 21786 21788 21430 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 277219151 937431040 8929 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 102.51
Current children cumulated vsize (KiB) 915460
[startup+162.598 s]
/proc/loadavg: 1.94 1.79 1.89 3/100 21841
/proc/meminfo: memFree=1118760/2055920 swapFree=4171264/4192956
[pid=21788] ppid=21786 vsize=915460 CPUtime=162.51
/proc/21788/stat : 21788 (java) R 21786 21788 21430 0 -1 0 9199 0 1 0 15733 518 0 0 25 0 8 0 277219144 937431040 8932 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073873572 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21788/statm: 228865 8932 2532 14 0 215335 0
[pid=21788/tid=21790] ppid=21786 vsize=915460 CPUtime=0.02
/proc/21788/task/21790/stat : 21790 (java) S 21786 21788 21430 0 -1 64 204 0 0 0 2 0 0 0 16 0 8 0 277219148 937431040 8932 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21788/tid=21791] ppid=21786 vsize=915460 CPUtime=0
/proc/21788/task/21791/stat : 21791 (java) S 21786 21788 21430 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277219148 937431040 8932 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21788/tid=21792] ppid=21786 vsize=915460 CPUtime=0
/proc/21788/task/21792/stat : 21792 (java) S 21786 21788 21430 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 277219148 937431040 8932 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21788/tid=21793] ppid=21786 vsize=915460 CPUtime=0
/proc/21788/task/21793/stat : 21793 (java) S 21786 21788 21430 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 277219151 937431040 8932 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21788/tid=21794] ppid=21786 vsize=915460 CPUtime=0.23
/proc/21788/task/21794/stat : 21794 (java) S 21786 21788 21430 0 -1 64 402 0 0 0 22 1 0 0 16 0 8 0 277219151 937431040 8932 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21788/tid=21795] ppid=21786 vsize=915460 CPUtime=0
/proc/21788/task/21795/stat : 21795 (java) S 21786 21788 21430 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 277219151 937431040 8932 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21788/tid=21796] ppid=21786 vsize=915460 CPUtime=0
/proc/21788/task/21796/stat : 21796 (java) S 21786 21788 21430 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 277219151 937431040 8932 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 162.51
Current children cumulated vsize (KiB) 915460
[startup+222.62 s]
/proc/loadavg: 1.98 1.83 1.89 3/100 21841
/proc/meminfo: memFree=1118696/2055920 swapFree=4171264/4192956
[pid=21788] ppid=21786 vsize=915460 CPUtime=222.51
/proc/21788/stat : 21788 (java) R 21786 21788 21430 0 -1 0 9202 0 1 0 21732 519 0 0 25 0 8 0 277219144 937431040 8934 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073849052 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21788/statm: 228865 8934 2532 14 0 215335 0
[pid=21788/tid=21790] ppid=21786 vsize=915460 CPUtime=0.02
/proc/21788/task/21790/stat : 21790 (java) S 21786 21788 21430 0 -1 64 204 0 0 0 2 0 0 0 16 0 8 0 277219148 937431040 8934 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21788/tid=21791] ppid=21786 vsize=915460 CPUtime=0
/proc/21788/task/21791/stat : 21791 (java) S 21786 21788 21430 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277219148 937431040 8934 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21788/tid=21792] ppid=21786 vsize=915460 CPUtime=0
/proc/21788/task/21792/stat : 21792 (java) S 21786 21788 21430 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 277219148 937431040 8934 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21788/tid=21793] ppid=21786 vsize=915460 CPUtime=0
/proc/21788/task/21793/stat : 21793 (java) S 21786 21788 21430 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 277219151 937431040 8934 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21788/tid=21794] ppid=21786 vsize=915460 CPUtime=0.23
/proc/21788/task/21794/stat : 21794 (java) S 21786 21788 21430 0 -1 64 402 0 0 0 22 1 0 0 16 0 8 0 277219151 937431040 8934 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21788/tid=21795] ppid=21786 vsize=915460 CPUtime=0
/proc/21788/task/21795/stat : 21795 (java) S 21786 21788 21430 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 277219151 937431040 8934 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21788/tid=21796] ppid=21786 vsize=915460 CPUtime=0
/proc/21788/task/21796/stat : 21796 (java) S 21786 21788 21430 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 277219151 937431040 8934 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 222.51
Current children cumulated vsize (KiB) 915460
[startup+282.646 s]
/proc/loadavg: 1.99 1.86 1.90 3/100 21843
/proc/meminfo: memFree=1118568/2055920 swapFree=4171264/4192956
[pid=21788] ppid=21786 vsize=915460 CPUtime=282.51
/proc/21788/stat : 21788 (java) R 21786 21788 21430 0 -1 0 9204 0 1 0 27732 519 0 0 25 0 8 0 277219144 937431040 8936 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073845371 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21788/statm: 228865 8936 2532 14 0 215335 0
[pid=21788/tid=21790] ppid=21786 vsize=915460 CPUtime=0.02
/proc/21788/task/21790/stat : 21790 (java) S 21786 21788 21430 0 -1 64 204 0 0 0 2 0 0 0 16 0 8 0 277219148 937431040 8936 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21788/tid=21791] ppid=21786 vsize=915460 CPUtime=0
/proc/21788/task/21791/stat : 21791 (java) S 21786 21788 21430 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277219148 937431040 8936 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21788/tid=21792] ppid=21786 vsize=915460 CPUtime=0
/proc/21788/task/21792/stat : 21792 (java) S 21786 21788 21430 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 277219148 937431040 8936 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21788/tid=21793] ppid=21786 vsize=915460 CPUtime=0
/proc/21788/task/21793/stat : 21793 (java) S 21786 21788 21430 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 277219151 937431040 8936 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21788/tid=21794] ppid=21786 vsize=915460 CPUtime=0.23
/proc/21788/task/21794/stat : 21794 (java) S 21786 21788 21430 0 -1 64 402 0 0 0 22 1 0 0 16 0 8 0 277219151 937431040 8936 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21788/tid=21795] ppid=21786 vsize=915460 CPUtime=0
/proc/21788/task/21795/stat : 21795 (java) S 21786 21788 21430 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 277219151 937431040 8936 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21788/tid=21796] ppid=21786 vsize=915460 CPUtime=0
/proc/21788/task/21796/stat : 21796 (java) S 21786 21788 21430 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 277219151 937431040 8936 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 282.51
Current children cumulated vsize (KiB) 915460
[startup+342.68 s]
/proc/loadavg: 1.99 1.88 1.90 3/100 21843
/proc/meminfo: memFree=1118632/2055920 swapFree=4171264/4192956
[pid=21788] ppid=21786 vsize=915460 CPUtime=342.52
/proc/21788/stat : 21788 (java) R 21786 21788 21430 0 -1 0 9204 0 1 0 33733 519 0 0 25 0 8 0 277219144 937431040 8936 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073906330 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21788/statm: 228865 8936 2532 14 0 215335 0
[pid=21788/tid=21790] ppid=21786 vsize=915460 CPUtime=0.02
/proc/21788/task/21790/stat : 21790 (java) S 21786 21788 21430 0 -1 64 204 0 0 0 2 0 0 0 16 0 8 0 277219148 937431040 8936 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21788/tid=21791] ppid=21786 vsize=915460 CPUtime=0
/proc/21788/task/21791/stat : 21791 (java) S 21786 21788 21430 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277219148 937431040 8936 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21788/tid=21792] ppid=21786 vsize=915460 CPUtime=0
/proc/21788/task/21792/stat : 21792 (java) S 21786 21788 21430 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 277219148 937431040 8936 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21788/tid=21793] ppid=21786 vsize=915460 CPUtime=0
/proc/21788/task/21793/stat : 21793 (java) S 21786 21788 21430 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 277219151 937431040 8936 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21788/tid=21794] ppid=21786 vsize=915460 CPUtime=0.23
/proc/21788/task/21794/stat : 21794 (java) S 21786 21788 21430 0 -1 64 402 0 0 0 22 1 0 0 16 0 8 0 277219151 937431040 8936 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21788/tid=21795] ppid=21786 vsize=915460 CPUtime=0
/proc/21788/task/21795/stat : 21795 (java) S 21786 21788 21430 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 277219151 937431040 8936 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21788/tid=21796] ppid=21786 vsize=915460 CPUtime=0
/proc/21788/task/21796/stat : 21796 (java) S 21786 21788 21430 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 277219151 937431040 8936 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 342.52
Current children cumulated vsize (KiB) 915460
Child status: 0
Real time (s): 397.589
CPU time (s): 397.371
CPU user time (s): 392.162
CPU system time (s): 5.20821
CPU usage (%): 99.9451
Max. virtual memory (cumulated for all children) (KiB): 915976
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 392.162
system time used= 5.20821
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9299
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= 9075
involuntary context switches= 16807
runsolver used 0.39194 s user time and 1.04584 s system time
The end
Begin job on node19 on Sat Jan 20 10:17:24 UTC 2007
IDJOB= 278479
IDBENCH= 8436
IDSOLVER= 68
FILE ID= node19/278479-1169288244
PBS_JOBID= 3609543
Free space on /tmp= 66563 MiB
SOLVER NAME= AbsconMax 109 EPFC
BENCH NAME= HOME/pub/bench/CPAI06/MaxCSP/cnf/2-40-2100-3000/cnf-2-40-2700-598821_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/278479-1169288244/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node19/watcher-278479-1169288244 -o ROOT/results/node19/solver-278479-1169288244 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/278479-1169288244/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 828d138cfd86692f55053069afa8f92c
RANDOM SEED= 750474687
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.260
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.260
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: 1173192 kB
Buffers: 63292 kB
Cached: 703200 kB
SwapCached: 11088 kB
Active: 343396 kB
Inactive: 459636 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1173192 kB
SwapTotal: 4192956 kB
SwapFree: 4171264 kB
Dirty: 2140 kB
Writeback: 0 kB
Mapped: 45400 kB
Slab: 64776 kB
Committed_AS: 7800340 kB
PageTables: 2208 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 node19 on Sat Jan 20 10:24:03 UTC 2007