0.32
0.32 Abscon 109 (November, 2006)
0.32
0.32 configuration
0.32 name=epfc.xml
0.35
0.35 instance
0.35 name=/tmp/evaluation/282583-1169320497/unknown.xml
0.38
0.38 domains being loaded...
0.39
0.39 variables being loaded...
0.43 nbVariables=22 nbDomainTypes=2 minDomainSize=36 maxDomainSize=44
0.43 => wckTime=0.105 cpuTime=0.08 mem=6M887
0.43
0.43 relations being loaded...
0.58
0.58 constraints being loaded...
0.71 nbConstraints=477 nbRelationTypes=174 nbExtensionStructures=174 nbSharedExtensionStructures=303
0.71 nbConflictsStructures=174 nbSharedConflictsStructures=303 nbSharedBinaryRepresentations=13159 maxDegree=69
0.71 maxArity=2
0.72 => wckTime=0.393 cpuTime=0.3 mem=17M649
0.76
0.76 solver LocalSearchSolver being built...
0.80 => wckTime=0.483 cpuTime=0.34 mem=5M832
0.82
0.82 s SATISFIABLE
0.82 o 302
0.82 c 175
0.82 o 311
0.82 c 166
0.83 o 319
0.83 c 158
0.83 o 328
0.83 c 149
0.83 o 336
0.83 c 141
0.83 o 343
0.83 c 134
0.83 o 353
0.83 c 124
0.83 o 369
0.83 c 108
0.83 o 382
0.83 c 95
0.83 o 393
0.83 c 84
0.83 o 406
0.83 c 71
0.84 o 411
0.84 c 66
0.84 o 420
0.84 c 57
0.84 o 428
0.84 c 49
0.84 o 435
0.84 c 42
0.84 o 440
0.84 c 37
0.84 o 444
0.84 c 33
0.85 o 454
0.85 c 23
1.48 o 456
1.48 c 21
17.66 o 457
17.66 c 20
26.12
26.12 search
26.12 run=0 nbConstraintChecks=206636156 nbAssignments=10000
26.12 => wckTime=25.313 cpuTime=25.08 mem=5M832
47.92
47.92 search
47.92 run=1 nbConstraintChecks=388154150 nbAssignments=18761
47.92 => wckTime=47.117 cpuTime=46.7 mem=5M832
47.92
47.92 global
47.92 nbConstraintChecks=388154150 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
47.92 solvingWckTime=47.115 solvingCpuTime=46.7 expiredTime=no totalExploration=no nbFoundSolutions=0
47.92 globalCpuTime=47.09
47.92 => wckTime=47.601 cpuTime=47.04 mem=5M832
47.92
47.92 solver IterativeSystematicSolver being built...
48.05 => wckTime=47.728 cpuTime=47.14 mem=16M806
48.15
48.15 preprocessing
48.15 nbConstraintChecks=268809 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
48.15 detectedInconsistency=no
48.15 => wckTime=0.099 cpuTime=0.08 mem=16M806
48.89
48.89 search
48.89 run=0 nbConstraintChecks=4473460 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=210
48.89 nbFailedAssignments=195 nbBacktracks=10 nbVisitedNodes=416 nbRestartNogoods=0
48.89 => wckTime=0.835 cpuTime=0.79 mem=16M806
49.36
49.36 search
49.36 run=1 nbConstraintChecks=7217614 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=344
49.36 nbFailedAssignments=311 nbBacktracks=25 nbVisitedNodes=681 nbRestartNogoods=26
49.36 => wckTime=1.307 cpuTime=1.25 mem=16M806
50.40
50.40 search
50.40 run=2 nbConstraintChecks=13506853 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=639
50.40 nbFailedAssignments=580 nbBacktracks=47 nbVisitedNodes=1267 nbRestartNogoods=39
50.40 => wckTime=2.353 cpuTime=2.29 mem=16M806
50.95
50.95 search
50.95 run=3 nbConstraintChecks=16866746 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=833
50.95 nbFailedAssignments=734 nbBacktracks=80 nbVisitedNodes=1648 nbRestartNogoods=70
50.95 => wckTime=2.897 cpuTime=2.82 mem=16M806
54.23
54.23 search
54.23 run=4 nbConstraintChecks=34188142 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1760
54.23 nbFailedAssignments=1607 nbBacktracks=130 nbVisitedNodes=3498 nbRestartNogoods=88
54.23 => wckTime=6.177 cpuTime=6.05 mem=16M806
59.35
59.35 search
59.35 run=5 nbConstraintChecks=62244668 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=3097
59.35 nbFailedAssignments=2864 nbBacktracks=205 nbVisitedNodes=6167 nbRestartNogoods=100
59.35 => wckTime=11.295 cpuTime=11.12 mem=16M806
67.34
67.34 search
67.34 run=6 nbConstraintChecks=107331121 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=5275
67.34 nbFailedAssignments=4926 nbBacktracks=318 nbVisitedNodes=10520 nbRestartNogoods=113
67.34 => wckTime=19.292 cpuTime=19.05 mem=16M806
70.55
70.55 search
70.55 run=7 nbConstraintChecks=126615608 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=6268
70.55 nbFailedAssignments=5744 nbBacktracks=488 nbVisitedNodes=12501 nbRestartNogoods=126
70.55 => wckTime=22.499 cpuTime=22.24 mem=16M806
75.21
75.21 search
75.21 run=8 nbConstraintChecks=155361612 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=8023
75.21 nbFailedAssignments=7235 nbBacktracks=744 nbVisitedNodes=16003 nbRestartNogoods=145
75.21 => wckTime=27.159 cpuTime=26.86 mem=16M806
99.59
99.59 search
99.59 run=9 nbConstraintChecks=296303259 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=14614
99.59 nbFailedAssignments=13440 nbBacktracks=1128 nbVisitedNodes=29183 nbRestartNogoods=163
99.59 => wckTime=51.539 cpuTime=51.04 mem=16M806
107.17
107.17 search
107.17 run=10 nbConstraintChecks=344471915 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=17377
107.17 nbFailedAssignments=15620 nbBacktracks=1704 nbVisitedNodes=34692 nbRestartNogoods=219
107.17 => wckTime=59.123 cpuTime=58.56 mem=16M806
116.57
116.57 search
116.57 run=11 nbConstraintChecks=403175811 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=20958
116.57 nbFailedAssignments=18329 nbBacktracks=2569 nbVisitedNodes=41847 nbRestartNogoods=265
116.57 => wckTime=68.519 cpuTime=67.87 mem=16M806
142.95
142.95 search
142.95 run=12 nbConstraintChecks=547030329 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=28999
142.95 nbFailedAssignments=25065 nbBacktracks=3866 nbVisitedNodes=57921 nbRestartNogoods=312
142.95 => wckTime=94.9 cpuTime=94.03 mem=16M806
167.03
167.03 search
167.03 run=13 nbConstraintChecks=699045868 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=37696
167.03 nbFailedAssignments=31809 nbBacktracks=5812 nbVisitedNodes=75308 nbRestartNogoods=337
167.03 => wckTime=118.984 cpuTime=117.91 mem=16M806
198.67
198.67 search
198.67 run=14 nbConstraintChecks=894388126 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=49511
198.67 nbFailedAssignments=40698 nbBacktracks=8731 nbVisitedNodes=98927 nbRestartNogoods=378
198.67 => wckTime=150.623 cpuTime=149.29 mem=16M806
234.97
234.97 search
234.97 run=15 nbConstraintChecks=1133219047 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=64558
234.97 nbFailedAssignments=51361 nbBacktracks=13109 nbVisitedNodes=129012 nbRestartNogoods=416
234.97 => wckTime=186.918 cpuTime=185.26 mem=16M806
413.95
413.95 search
413.95 run=16 nbConstraintChecks=2171107486 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=114005
413.95 nbFailedAssignments=94232 nbBacktracks=19677 nbVisitedNodes=227878 nbRestartNogoods=468
413.95 => wckTime=365.895 cpuTime=362.62 mem=16M806
525.46
525.46 search
525.46 run=17 nbConstraintChecks=2861756857 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=153369
525.46 nbFailedAssignments=123734 nbBacktracks=29530 nbVisitedNodes=306573 nbRestartNogoods=536
525.46 => wckTime=477.413 cpuTime=473.15 mem=16M806
714.59
714.59 search
714.59 run=18 nbConstraintChecks=4066976014 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=220086
714.59 nbFailedAssignments=175668 nbBacktracks=44308 nbVisitedNodes=439745 nbRestartNogoods=575
714.59 => wckTime=666.536 cpuTime=661.96 mem=16M806
863.55
863.55 search
863.55 run=19 nbConstraintChecks=4976602253 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=285602
863.55 nbFailedAssignments=219006 nbBacktracks=66476 nbVisitedNodes=570732 nbRestartNogoods=681
863.55 => wckTime=815.504 cpuTime=810.78 mem=16M806
1109.77
1109.77 search
1109.77 run=20 nbConstraintChecks=6535331163 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=393821
1109.77 nbFailedAssignments=293969 nbBacktracks=99728 nbVisitedNodes=786885 nbRestartNogoods=742
1109.77 => wckTime=1061.722 cpuTime=1056.73 mem=16M806
1609.83
1609.84 search
1609.84 run=21 nbConstraintChecks=9647466478 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=576465
1609.84 nbFailedAssignments=426731 nbBacktracks=149606 nbVisitedNodes=1151148 nbRestartNogoods=762
1609.84 => wckTime=1561.785 cpuTime=1556.28 mem=16M806
1711.75
1711.75 search
1711.75 run=22 nbConstraintChecks=10259314751 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=607274
1711.75 nbFailedAssignments=450993 nbBacktracks=156154 nbVisitedNodes=1212595 nbRestartNogoods=772
1711.75 => wckTime=1663.699 cpuTime=1658.1 mem=16M806
1711.75
1711.75 global
1711.75 nbConstraintChecks=10259583560 nbRestartNogoods=772 solvingWckTime=1663.7 solvingCpuTime=1658.1 expiredTime=no
1711.75 totalExploration=yes nbFoundSolutions=0 globalCpuTime=1705.29
1711.75 => wckTime=1711.429 cpuTime=1705.24 mem=16M806
1711.75
1711.75 s OPTIMUM FOUND
1711.75 v 1 1 38 33 37 43 36 32 32 12 42 42 9 14 19 36 37 37 9 13 24 7
1711.75
1711.75 totalWckTime=1711.512 totalCpuTime=1705.29
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node18/watcher-282583-1169320497 -o ROOT/results/node18/solver-282583-1169320497 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/282583-1169320497/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.89 1.95 1.98 4/87 25662
/proc/meminfo: memFree=1188216/2055920 swapFree=4192812/4192956
[pid=25661] ppid=25659 vsize=1784 CPUtime=0
/proc/25661/stat : 25661 (java) D 25659 25661 25503 0 -1 0 192 0 0 0 0 0 0 0 18 0 1 0 280444438 1826816 158 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0
/proc/25661/statm: 446 158 123 14 0 91 0
[startup+0.106784 s]
/proc/loadavg: 1.89 1.95 1.98 4/87 25662
/proc/meminfo: memFree=1188216/2055920 swapFree=4192812/4192956
[pid=25661] ppid=25659 vsize=914988 CPUtime=0.09
/proc/25661/stat : 25661 (java) R 25659 25661 25503 0 -1 0 2959 0 1 0 7 2 0 0 19 0 8 0 280444438 936947712 2705 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4155068469 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25661/statm: 228747 2705 1416 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.518823 s]
/proc/loadavg: 1.89 1.95 1.98 4/87 25662
/proc/meminfo: memFree=1188216/2055920 swapFree=4192812/4192956
[pid=25661] ppid=25659 vsize=915332 CPUtime=0.49
/proc/25661/stat : 25661 (java) R 25659 25661 25503 0 -1 0 7105 0 1 0 44 5 0 0 18 0 8 0 280444438 937299968 6844 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073586376 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25661/statm: 228833 6844 2142 14 0 215303 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915332
[startup+1.3429 s]
/proc/loadavg: 1.89 1.95 1.98 3/94 25669
/proc/meminfo: memFree=1160960/2055920 swapFree=4192812/4192956
[pid=25661] ppid=25659 vsize=915464 CPUtime=1.31
/proc/25661/stat : 25661 (java) R 25659 25661 25503 0 -1 0 9477 0 1 0 123 8 0 0 24 0 8 0 280444438 937435136 9215 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073745234 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25661/statm: 228866 9215 2479 14 0 215336 0
[pid=25661/tid=25663] ppid=25659 vsize=915464 CPUtime=0.03
/proc/25661/task/25663/stat : 25663 (java) S 25659 25661 25503 0 -1 64 237 0 0 0 3 0 0 0 16 0 8 0 280444443 937435136 9215 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25661/tid=25664] ppid=25659 vsize=915464 CPUtime=0
/proc/25661/task/25664/stat : 25664 (java) S 25659 25661 25503 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280444443 937435136 9215 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25661/tid=25665] ppid=25659 vsize=915464 CPUtime=0
/proc/25661/task/25665/stat : 25665 (java) S 25659 25661 25503 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280444443 937435136 9215 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25661/tid=25666] ppid=25659 vsize=915464 CPUtime=0
/proc/25661/task/25666/stat : 25666 (java) S 25659 25661 25503 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 280444447 937435136 9215 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25661/tid=25667] ppid=25659 vsize=915464 CPUtime=0.14
/proc/25661/task/25667/stat : 25667 (java) S 25659 25661 25503 0 -1 64 345 0 0 0 14 0 0 0 16 0 8 0 280444447 937435136 9215 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25661/tid=25668] ppid=25659 vsize=915464 CPUtime=0
/proc/25661/task/25668/stat : 25668 (java) S 25659 25661 25503 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 280444447 937435136 9215 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25661/tid=25669] ppid=25659 vsize=915464 CPUtime=0
/proc/25661/task/25669/stat : 25669 (java) S 25659 25661 25503 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 280444447 937435136 9215 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915464
[startup+2.98005 s]
/proc/loadavg: 1.89 1.95 1.98 3/94 25669
/proc/meminfo: memFree=1160896/2055920 swapFree=4192812/4192956
[pid=25661] ppid=25659 vsize=915464 CPUtime=2.93
/proc/25661/stat : 25661 (java) R 25659 25661 25503 0 -1 0 9478 0 1 0 283 10 0 0 25 0 8 0 280444438 937435136 9215 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073742135 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25661/statm: 228866 9215 2479 14 0 215336 0
[pid=25661/tid=25663] ppid=25659 vsize=915464 CPUtime=0.03
/proc/25661/task/25663/stat : 25663 (java) S 25659 25661 25503 0 -1 64 237 0 0 0 3 0 0 0 16 0 8 0 280444443 937435136 9215 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25661/tid=25664] ppid=25659 vsize=915464 CPUtime=0
/proc/25661/task/25664/stat : 25664 (java) S 25659 25661 25503 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280444443 937435136 9215 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25661/tid=25665] ppid=25659 vsize=915464 CPUtime=0
/proc/25661/task/25665/stat : 25665 (java) S 25659 25661 25503 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280444443 937435136 9215 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25661/tid=25666] ppid=25659 vsize=915464 CPUtime=0
/proc/25661/task/25666/stat : 25666 (java) S 25659 25661 25503 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 280444447 937435136 9215 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25661/tid=25667] ppid=25659 vsize=915464 CPUtime=0.14
/proc/25661/task/25667/stat : 25667 (java) S 25659 25661 25503 0 -1 64 345 0 0 0 14 0 0 0 16 0 8 0 280444447 937435136 9215 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25661/tid=25668] ppid=25659 vsize=915464 CPUtime=0
/proc/25661/task/25668/stat : 25668 (java) S 25659 25661 25503 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 280444447 937435136 9215 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25661/tid=25669] ppid=25659 vsize=915464 CPUtime=0
/proc/25661/task/25669/stat : 25669 (java) S 25659 25661 25503 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 280444447 937435136 9215 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 915464
[startup+6.26237 s]
/proc/loadavg: 1.90 1.95 1.98 3/94 25669
/proc/meminfo: memFree=1160832/2055920 swapFree=4192812/4192956
[pid=25661] ppid=25659 vsize=915464 CPUtime=6.18
/proc/25661/stat : 25661 (java) R 25659 25661 25503 0 -1 0 9481 0 1 0 604 14 0 0 25 0 8 0 280444438 937435136 9218 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073742121 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25661/statm: 228866 9218 2479 14 0 215336 0
[pid=25661/tid=25663] ppid=25659 vsize=915464 CPUtime=0.03
/proc/25661/task/25663/stat : 25663 (java) S 25659 25661 25503 0 -1 64 237 0 0 0 3 0 0 0 16 0 8 0 280444443 937435136 9218 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25661/tid=25664] ppid=25659 vsize=915464 CPUtime=0
/proc/25661/task/25664/stat : 25664 (java) S 25659 25661 25503 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280444443 937435136 9218 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25661/tid=25665] ppid=25659 vsize=915464 CPUtime=0
/proc/25661/task/25665/stat : 25665 (java) S 25659 25661 25503 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280444443 937435136 9218 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25661/tid=25666] ppid=25659 vsize=915464 CPUtime=0
/proc/25661/task/25666/stat : 25666 (java) S 25659 25661 25503 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 280444447 937435136 9218 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25661/tid=25667] ppid=25659 vsize=915464 CPUtime=0.15
/proc/25661/task/25667/stat : 25667 (java) S 25659 25661 25503 0 -1 64 348 0 0 0 15 0 0 0 16 0 8 0 280444447 937435136 9218 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25661/tid=25668] ppid=25659 vsize=915464 CPUtime=0
/proc/25661/task/25668/stat : 25668 (java) S 25659 25661 25503 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 280444447 937435136 9218 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25661/tid=25669] ppid=25659 vsize=915464 CPUtime=0
/proc/25661/task/25669/stat : 25669 (java) S 25659 25661 25503 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 280444447 937435136 9218 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 915464
[startup+12.748 s]
/proc/loadavg: 1.91 1.95 1.98 3/94 25669
/proc/meminfo: memFree=1160960/2055920 swapFree=4192812/4192956
[pid=25661] ppid=25659 vsize=915464 CPUtime=12.61
/proc/25661/stat : 25661 (java) R 25659 25661 25503 0 -1 0 9481 0 1 0 1237 24 0 0 25 0 8 0 280444438 937435136 9218 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25661/statm: 228866 9218 2479 14 0 215336 0
[pid=25661/tid=25663] ppid=25659 vsize=915464 CPUtime=0.03
/proc/25661/task/25663/stat : 25663 (java) S 25659 25661 25503 0 -1 64 237 0 0 0 3 0 0 0 16 0 8 0 280444443 937435136 9218 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25661/tid=25664] ppid=25659 vsize=915464 CPUtime=0
/proc/25661/task/25664/stat : 25664 (java) S 25659 25661 25503 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280444443 937435136 9218 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25661/tid=25665] ppid=25659 vsize=915464 CPUtime=0
/proc/25661/task/25665/stat : 25665 (java) S 25659 25661 25503 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280444443 937435136 9218 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25661/tid=25666] ppid=25659 vsize=915464 CPUtime=0
/proc/25661/task/25666/stat : 25666 (java) S 25659 25661 25503 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 280444447 937435136 9218 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25661/tid=25667] ppid=25659 vsize=915464 CPUtime=0.15
/proc/25661/task/25667/stat : 25667 (java) S 25659 25661 25503 0 -1 64 348 0 0 0 15 0 0 0 16 0 8 0 280444447 937435136 9218 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25661/tid=25668] ppid=25659 vsize=915464 CPUtime=0
/proc/25661/task/25668/stat : 25668 (java) S 25659 25661 25503 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 280444447 937435136 9218 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25661/tid=25669] ppid=25659 vsize=915464 CPUtime=0
/proc/25661/task/25669/stat : 25669 (java) S 25659 25661 25503 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 280444447 937435136 9218 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 915464
[startup+25.6072 s]
/proc/loadavg: 1.93 1.96 1.98 3/94 25669
/proc/meminfo: memFree=1160968/2055920 swapFree=4192812/4192956
[pid=25661] ppid=25659 vsize=915464 CPUtime=25.37
/proc/25661/stat : 25661 (java) R 25659 25661 25503 0 -1 0 9481 0 1 0 2493 44 0 0 25 0 8 0 280444438 937435136 9218 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073743288 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25661/statm: 228866 9218 2479 14 0 215336 0
[pid=25661/tid=25663] ppid=25659 vsize=915464 CPUtime=0.03
/proc/25661/task/25663/stat : 25663 (java) S 25659 25661 25503 0 -1 64 237 0 0 0 3 0 0 0 16 0 8 0 280444443 937435136 9218 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25661/tid=25664] ppid=25659 vsize=915464 CPUtime=0
/proc/25661/task/25664/stat : 25664 (java) S 25659 25661 25503 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280444443 937435136 9218 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25661/tid=25665] ppid=25659 vsize=915464 CPUtime=0
/proc/25661/task/25665/stat : 25665 (java) S 25659 25661 25503 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280444443 937435136 9218 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25661/tid=25666] ppid=25659 vsize=915464 CPUtime=0
/proc/25661/task/25666/stat : 25666 (java) S 25659 25661 25503 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 280444447 937435136 9218 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25661/tid=25667] ppid=25659 vsize=915464 CPUtime=0.15
/proc/25661/task/25667/stat : 25667 (java) S 25659 25661 25503 0 -1 64 348 0 0 0 15 0 0 0 16 0 8 0 280444447 937435136 9218 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25661/tid=25668] ppid=25659 vsize=915464 CPUtime=0
/proc/25661/task/25668/stat : 25668 (java) S 25659 25661 25503 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 280444447 937435136 9218 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25661/tid=25669] ppid=25659 vsize=915464 CPUtime=0
/proc/25661/task/25669/stat : 25669 (java) S 25659 25661 25503 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 280444447 937435136 9218 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.37
Current children cumulated vsize (KiB) 915464
[startup+51.2197 s]
/proc/loadavg: 1.95 1.96 1.98 3/94 25669
/proc/meminfo: memFree=1160648/2055920 swapFree=4192812/4192956
[pid=25661] ppid=25659 vsize=915464 CPUtime=50.76
/proc/25661/stat : 25661 (java) R 25659 25661 25503 0 -1 0 9627 0 1 0 4995 81 0 0 25 0 8 0 280444438 937435136 9360 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073849339 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25661/statm: 228866 9360 2532 14 0 215336 0
[pid=25661/tid=25663] ppid=25659 vsize=915464 CPUtime=0.03
/proc/25661/task/25663/stat : 25663 (java) S 25659 25661 25503 0 -1 64 238 0 0 0 3 0 0 0 17 0 8 0 280444443 937435136 9360 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25661/tid=25664] ppid=25659 vsize=915464 CPUtime=0
/proc/25661/task/25664/stat : 25664 (java) S 25659 25661 25503 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280444443 937435136 9360 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25661/tid=25665] ppid=25659 vsize=915464 CPUtime=0
/proc/25661/task/25665/stat : 25665 (java) S 25659 25661 25503 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280444443 937435136 9360 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25661/tid=25666] ppid=25659 vsize=915464 CPUtime=0
/proc/25661/task/25666/stat : 25666 (java) S 25659 25661 25503 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 280444447 937435136 9360 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25661/tid=25667] ppid=25659 vsize=915464 CPUtime=0.23
/proc/25661/task/25667/stat : 25667 (java) S 25659 25661 25503 0 -1 64 390 0 0 0 22 1 0 0 15 0 8 0 280444447 937435136 9360 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25661/tid=25668] ppid=25659 vsize=915464 CPUtime=0
/proc/25661/task/25668/stat : 25668 (java) S 25659 25661 25503 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 280444447 937435136 9360 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25661/tid=25669] ppid=25659 vsize=915464 CPUtime=0
/proc/25661/task/25669/stat : 25669 (java) S 25659 25661 25503 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 280444447 937435136 9360 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.76
Current children cumulated vsize (KiB) 915464
[startup+102.433 s]
/proc/loadavg: 1.98 1.96 1.98 3/94 25669
/proc/meminfo: memFree=1160648/2055920 swapFree=4192812/4192956
[pid=25661] ppid=25659 vsize=915464 CPUtime=101.55
/proc/25661/stat : 25661 (java) R 25659 25661 25503 0 -1 0 9643 0 1 0 10073 82 0 0 25 0 8 0 280444438 937435136 9372 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073843714 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25661/statm: 228866 9372 2532 14 0 215336 0
[pid=25661/tid=25663] ppid=25659 vsize=915464 CPUtime=0.03
/proc/25661/task/25663/stat : 25663 (java) S 25659 25661 25503 0 -1 64 238 0 0 0 3 0 0 0 16 0 8 0 280444443 937435136 9372 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25661/tid=25664] ppid=25659 vsize=915464 CPUtime=0
/proc/25661/task/25664/stat : 25664 (java) S 25659 25661 25503 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280444443 937435136 9372 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25661/tid=25665] ppid=25659 vsize=915464 CPUtime=0
/proc/25661/task/25665/stat : 25665 (java) S 25659 25661 25503 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280444443 937435136 9372 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25661/tid=25666] ppid=25659 vsize=915464 CPUtime=0
/proc/25661/task/25666/stat : 25666 (java) S 25659 25661 25503 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 280444447 937435136 9372 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25661/tid=25667] ppid=25659 vsize=915464 CPUtime=0.25
/proc/25661/task/25667/stat : 25667 (java) S 25659 25661 25503 0 -1 64 403 0 0 0 24 1 0 0 16 0 8 0 280444447 937435136 9372 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25661/tid=25668] ppid=25659 vsize=915464 CPUtime=0
/proc/25661/task/25668/stat : 25668 (java) S 25659 25661 25503 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 280444447 937435136 9372 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25661/tid=25669] ppid=25659 vsize=915464 CPUtime=0
/proc/25661/task/25669/stat : 25669 (java) S 25659 25661 25503 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 280444447 937435136 9372 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.55
Current children cumulated vsize (KiB) 915464
[startup+162.493 s]
/proc/loadavg: 1.99 1.97 1.98 4/94 25669
/proc/meminfo: memFree=1160648/2055920 swapFree=4192812/4192956
[pid=25661] ppid=25659 vsize=915464 CPUtime=161.11
/proc/25661/stat : 25661 (java) R 25659 25661 25503 0 -1 0 9649 0 1 0 16029 82 0 0 25 0 8 0 280444438 937435136 9376 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073849320 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
################
# More data... #
################
/proc/25661/task/25666/stat : 25666 (java) S 25659 25661 25503 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 280444447 937435136 9376 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25661/tid=25667] ppid=25659 vsize=915464 CPUtime=0.26
/proc/25661/task/25667/stat : 25667 (java) S 25659 25661 25503 0 -1 64 408 0 0 0 25 1 0 0 16 0 8 0 280444447 937435136 9376 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25661/tid=25668] ppid=25659 vsize=915464 CPUtime=0
/proc/25661/task/25668/stat : 25668 (java) S 25659 25661 25503 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 280444447 937435136 9376 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25661/tid=25669] ppid=25659 vsize=915464 CPUtime=0
/proc/25661/task/25669/stat : 25669 (java) S 25659 25661 25503 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 280444447 937435136 9376 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1237.87
Current children cumulated vsize (KiB) 915464
[startup+1303.34 s]
/proc/loadavg: 2.00 2.02 2.00 3/93 25720
/proc/meminfo: memFree=1236184/2055920 swapFree=4192812/4192956
[pid=25661] ppid=25659 vsize=915464 CPUtime=1297.82
/proc/25661/stat : 25661 (java) R 25659 25661 25503 0 -1 0 9650 0 1 0 129694 88 0 0 25 0 8 0 280444438 937435136 9376 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073848380 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25661/statm: 228866 9376 2532 14 0 215336 0
[pid=25661/tid=25663] ppid=25659 vsize=915464 CPUtime=0.03
/proc/25661/task/25663/stat : 25663 (java) S 25659 25661 25503 0 -1 64 238 0 0 0 3 0 0 0 16 0 8 0 280444443 937435136 9376 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25661/tid=25664] ppid=25659 vsize=915464 CPUtime=0
/proc/25661/task/25664/stat : 25664 (java) S 25659 25661 25503 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280444443 937435136 9376 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25661/tid=25665] ppid=25659 vsize=915464 CPUtime=0
/proc/25661/task/25665/stat : 25665 (java) S 25659 25661 25503 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280444443 937435136 9376 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25661/tid=25666] ppid=25659 vsize=915464 CPUtime=0
/proc/25661/task/25666/stat : 25666 (java) S 25659 25661 25503 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 280444447 937435136 9376 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25661/tid=25667] ppid=25659 vsize=915464 CPUtime=0.26
/proc/25661/task/25667/stat : 25667 (java) S 25659 25661 25503 0 -1 64 408 0 0 0 25 1 0 0 16 0 8 0 280444447 937435136 9376 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25661/tid=25668] ppid=25659 vsize=915464 CPUtime=0
/proc/25661/task/25668/stat : 25668 (java) S 25659 25661 25503 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 280444447 937435136 9376 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25661/tid=25669] ppid=25659 vsize=915464 CPUtime=0
/proc/25661/task/25669/stat : 25669 (java) S 25659 25661 25503 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 280444447 937435136 9376 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1297.82
Current children cumulated vsize (KiB) 915464
[startup+1363.34 s]
/proc/loadavg: 2.00 2.01 2.00 3/93 25720
/proc/meminfo: memFree=1236184/2055920 swapFree=4192812/4192956
[pid=25661] ppid=25659 vsize=915464 CPUtime=1357.77
/proc/25661/stat : 25661 (java) R 25659 25661 25503 0 -1 0 9650 0 1 0 135689 88 0 0 25 0 8 0 280444438 937435136 9376 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073911312 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25661/statm: 228866 9376 2532 14 0 215336 0
[pid=25661/tid=25663] ppid=25659 vsize=915464 CPUtime=0.03
/proc/25661/task/25663/stat : 25663 (java) S 25659 25661 25503 0 -1 64 238 0 0 0 3 0 0 0 16 0 8 0 280444443 937435136 9376 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25661/tid=25664] ppid=25659 vsize=915464 CPUtime=0
/proc/25661/task/25664/stat : 25664 (java) S 25659 25661 25503 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280444443 937435136 9376 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25661/tid=25665] ppid=25659 vsize=915464 CPUtime=0
/proc/25661/task/25665/stat : 25665 (java) S 25659 25661 25503 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280444443 937435136 9376 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25661/tid=25666] ppid=25659 vsize=915464 CPUtime=0
/proc/25661/task/25666/stat : 25666 (java) S 25659 25661 25503 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 280444447 937435136 9376 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25661/tid=25667] ppid=25659 vsize=915464 CPUtime=0.26
/proc/25661/task/25667/stat : 25667 (java) S 25659 25661 25503 0 -1 64 408 0 0 0 25 1 0 0 16 0 8 0 280444447 937435136 9376 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25661/tid=25668] ppid=25659 vsize=915464 CPUtime=0
/proc/25661/task/25668/stat : 25668 (java) S 25659 25661 25503 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 280444447 937435136 9376 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25661/tid=25669] ppid=25659 vsize=915464 CPUtime=0
/proc/25661/task/25669/stat : 25669 (java) S 25659 25661 25503 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 280444447 937435136 9376 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1357.77
Current children cumulated vsize (KiB) 915464
[startup+1423.42 s]
/proc/loadavg: 2.00 2.01 2.00 4/93 25720
/proc/meminfo: memFree=1236184/2055920 swapFree=4192812/4192956
[pid=25661] ppid=25659 vsize=915464 CPUtime=1417.77
/proc/25661/stat : 25661 (java) R 25659 25661 25503 0 -1 0 9650 0 1 0 141689 88 0 0 25 0 8 0 280444438 937435136 9376 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073843836 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25661/statm: 228866 9376 2532 14 0 215336 0
[pid=25661/tid=25663] ppid=25659 vsize=915464 CPUtime=0.03
/proc/25661/task/25663/stat : 25663 (java) S 25659 25661 25503 0 -1 64 238 0 0 0 3 0 0 0 16 0 8 0 280444443 937435136 9376 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25661/tid=25664] ppid=25659 vsize=915464 CPUtime=0
/proc/25661/task/25664/stat : 25664 (java) S 25659 25661 25503 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280444443 937435136 9376 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25661/tid=25665] ppid=25659 vsize=915464 CPUtime=0
/proc/25661/task/25665/stat : 25665 (java) S 25659 25661 25503 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280444443 937435136 9376 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25661/tid=25666] ppid=25659 vsize=915464 CPUtime=0
/proc/25661/task/25666/stat : 25666 (java) S 25659 25661 25503 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 280444447 937435136 9376 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25661/tid=25667] ppid=25659 vsize=915464 CPUtime=0.26
/proc/25661/task/25667/stat : 25667 (java) S 25659 25661 25503 0 -1 64 408 0 0 0 25 1 0 0 16 0 8 0 280444447 937435136 9376 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25661/tid=25668] ppid=25659 vsize=915464 CPUtime=0
/proc/25661/task/25668/stat : 25668 (java) S 25659 25661 25503 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 280444447 937435136 9376 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25661/tid=25669] ppid=25659 vsize=915464 CPUtime=0
/proc/25661/task/25669/stat : 25669 (java) S 25659 25661 25503 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 280444447 937435136 9376 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1417.77
Current children cumulated vsize (KiB) 915464
[startup+1483.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/93 25720
/proc/meminfo: memFree=1236120/2055920 swapFree=4192812/4192956
[pid=25661] ppid=25659 vsize=915464 CPUtime=1477.8
/proc/25661/stat : 25661 (java) R 25659 25661 25503 0 -1 0 9650 0 1 0 147691 89 0 0 25 0 8 0 280444438 937435136 9376 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073843669 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25661/statm: 228866 9376 2532 14 0 215336 0
[pid=25661/tid=25663] ppid=25659 vsize=915464 CPUtime=0.03
/proc/25661/task/25663/stat : 25663 (java) S 25659 25661 25503 0 -1 64 238 0 0 0 3 0 0 0 16 0 8 0 280444443 937435136 9376 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25661/tid=25664] ppid=25659 vsize=915464 CPUtime=0
/proc/25661/task/25664/stat : 25664 (java) S 25659 25661 25503 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280444443 937435136 9376 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25661/tid=25665] ppid=25659 vsize=915464 CPUtime=0
/proc/25661/task/25665/stat : 25665 (java) S 25659 25661 25503 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280444443 937435136 9376 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25661/tid=25666] ppid=25659 vsize=915464 CPUtime=0
/proc/25661/task/25666/stat : 25666 (java) S 25659 25661 25503 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 280444447 937435136 9376 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25661/tid=25667] ppid=25659 vsize=915464 CPUtime=0.26
/proc/25661/task/25667/stat : 25667 (java) S 25659 25661 25503 0 -1 64 408 0 0 0 25 1 0 0 16 0 8 0 280444447 937435136 9376 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25661/tid=25668] ppid=25659 vsize=915464 CPUtime=0
/proc/25661/task/25668/stat : 25668 (java) S 25659 25661 25503 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 280444447 937435136 9376 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25661/tid=25669] ppid=25659 vsize=915464 CPUtime=0
/proc/25661/task/25669/stat : 25669 (java) S 25659 25661 25503 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 280444447 937435136 9376 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1477.8
Current children cumulated vsize (KiB) 915464
[startup+1543.58 s]
/proc/loadavg: 2.06 2.01 2.00 3/93 25720
/proc/meminfo: memFree=1236184/2055920 swapFree=4192812/4192956
[pid=25661] ppid=25659 vsize=915464 CPUtime=1537.83
/proc/25661/stat : 25661 (java) R 25659 25661 25503 0 -1 0 9650 0 1 0 153694 89 0 0 25 0 8 0 280444438 937435136 9376 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073848352 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25661/statm: 228866 9376 2532 14 0 215336 0
[pid=25661/tid=25663] ppid=25659 vsize=915464 CPUtime=0.03
/proc/25661/task/25663/stat : 25663 (java) S 25659 25661 25503 0 -1 64 238 0 0 0 3 0 0 0 16 0 8 0 280444443 937435136 9376 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25661/tid=25664] ppid=25659 vsize=915464 CPUtime=0
/proc/25661/task/25664/stat : 25664 (java) S 25659 25661 25503 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280444443 937435136 9376 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25661/tid=25665] ppid=25659 vsize=915464 CPUtime=0
/proc/25661/task/25665/stat : 25665 (java) S 25659 25661 25503 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280444443 937435136 9376 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25661/tid=25666] ppid=25659 vsize=915464 CPUtime=0
/proc/25661/task/25666/stat : 25666 (java) S 25659 25661 25503 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 280444447 937435136 9376 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25661/tid=25667] ppid=25659 vsize=915464 CPUtime=0.26
/proc/25661/task/25667/stat : 25667 (java) S 25659 25661 25503 0 -1 64 408 0 0 0 25 1 0 0 16 0 8 0 280444447 937435136 9376 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25661/tid=25668] ppid=25659 vsize=915464 CPUtime=0
/proc/25661/task/25668/stat : 25668 (java) S 25659 25661 25503 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 280444447 937435136 9376 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25661/tid=25669] ppid=25659 vsize=915464 CPUtime=0
/proc/25661/task/25669/stat : 25669 (java) R 25659 25661 25503 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 280444447 937435136 9376 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1537.83
Current children cumulated vsize (KiB) 915464
[startup+1603.67 s]
/proc/loadavg: 2.02 2.01 2.00 3/93 25720
/proc/meminfo: memFree=1236120/2055920 swapFree=4192812/4192956
[pid=25661] ppid=25659 vsize=915464 CPUtime=1597.84
/proc/25661/stat : 25661 (java) R 25659 25661 25503 0 -1 0 9650 0 1 0 159695 89 0 0 25 0 8 0 280444438 937435136 9376 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073848458 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25661/statm: 228866 9376 2532 14 0 215336 0
[pid=25661/tid=25663] ppid=25659 vsize=915464 CPUtime=0.03
/proc/25661/task/25663/stat : 25663 (java) S 25659 25661 25503 0 -1 64 238 0 0 0 3 0 0 0 16 0 8 0 280444443 937435136 9376 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25661/tid=25664] ppid=25659 vsize=915464 CPUtime=0
/proc/25661/task/25664/stat : 25664 (java) S 25659 25661 25503 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280444443 937435136 9376 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25661/tid=25665] ppid=25659 vsize=915464 CPUtime=0
/proc/25661/task/25665/stat : 25665 (java) S 25659 25661 25503 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280444443 937435136 9376 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25661/tid=25666] ppid=25659 vsize=915464 CPUtime=0
/proc/25661/task/25666/stat : 25666 (java) S 25659 25661 25503 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 280444447 937435136 9376 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25661/tid=25667] ppid=25659 vsize=915464 CPUtime=0.26
/proc/25661/task/25667/stat : 25667 (java) S 25659 25661 25503 0 -1 64 408 0 0 0 25 1 0 0 16 0 8 0 280444447 937435136 9376 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25661/tid=25668] ppid=25659 vsize=915464 CPUtime=0
/proc/25661/task/25668/stat : 25668 (java) S 25659 25661 25503 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 280444447 937435136 9376 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25661/tid=25669] ppid=25659 vsize=915464 CPUtime=0
/proc/25661/task/25669/stat : 25669 (java) S 25659 25661 25503 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 280444447 937435136 9376 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1597.84
Current children cumulated vsize (KiB) 915464
[startup+1663.75 s]
/proc/loadavg: 2.00 2.00 2.00 3/93 25720
/proc/meminfo: memFree=1236184/2055920 swapFree=4192812/4192956
[pid=25661] ppid=25659 vsize=915464 CPUtime=1657.87
/proc/25661/stat : 25661 (java) R 25659 25661 25503 0 -1 0 9650 0 1 0 165698 89 0 0 25 0 8 0 280444438 937435136 9376 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073911216 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25661/statm: 228866 9376 2532 14 0 215336 0
[pid=25661/tid=25663] ppid=25659 vsize=915464 CPUtime=0.03
/proc/25661/task/25663/stat : 25663 (java) S 25659 25661 25503 0 -1 64 238 0 0 0 3 0 0 0 16 0 8 0 280444443 937435136 9376 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25661/tid=25664] ppid=25659 vsize=915464 CPUtime=0
/proc/25661/task/25664/stat : 25664 (java) S 25659 25661 25503 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280444443 937435136 9376 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25661/tid=25665] ppid=25659 vsize=915464 CPUtime=0
/proc/25661/task/25665/stat : 25665 (java) S 25659 25661 25503 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280444443 937435136 9376 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25661/tid=25666] ppid=25659 vsize=915464 CPUtime=0
/proc/25661/task/25666/stat : 25666 (java) S 25659 25661 25503 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 280444447 937435136 9376 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25661/tid=25667] ppid=25659 vsize=915464 CPUtime=0.26
/proc/25661/task/25667/stat : 25667 (java) S 25659 25661 25503 0 -1 64 408 0 0 0 25 1 0 0 16 0 8 0 280444447 937435136 9376 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25661/tid=25668] ppid=25659 vsize=915464 CPUtime=0
/proc/25661/task/25668/stat : 25668 (java) S 25659 25661 25503 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 280444447 937435136 9376 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25661/tid=25669] ppid=25659 vsize=915464 CPUtime=0
/proc/25661/task/25669/stat : 25669 (java) S 25659 25661 25503 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 280444447 937435136 9376 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1657.87
Current children cumulated vsize (KiB) 915464
Child status: 0
Real time (s): 1711.82
CPU time (s): 1705.85
CPU user time (s): 1704.94
CPU system time (s): 0.902862
CPU usage (%): 99.6512
Max. virtual memory (cumulated for all children) (KiB): 915980
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1704.94
system time used= 0.902862
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9663
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= 35813
involuntary context switches= 51558
runsolver used 2.19667 s user time and 5.39118 s system time
The end
Begin job on node18 on Sat Jan 20 19:14:57 UTC 2007
IDJOB= 282583
IDBENCH= 12867
IDSOLVER= 68
FILE ID= node18/282583-1169320497
PBS_JOBID= 3610077
Free space on /tmp= 66561 MiB
SOLVER NAME= AbsconMax 109 EPFC
BENCH NAME= HOME/pub/bench/CPAI06/MaxCSP/celar/subs7/scenw-7-sub4_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/282583-1169320497/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node18/watcher-282583-1169320497 -o ROOT/results/node18/solver-282583-1169320497 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/282583-1169320497/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= ff28fd6fcca6fab00aa59f0a86d5d4fa
RANDOM SEED= 250030620
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.231
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.231
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: 1188632 kB
Buffers: 55132 kB
Cached: 584068 kB
SwapCached: 0 kB
Active: 350736 kB
Inactive: 435264 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1188632 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 2288 kB
Writeback: 0 kB
Mapped: 166924 kB
Slab: 65972 kB
Committed_AS: 9658676 kB
PageTables: 2244 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= 66558 MiB
End job on node18 on Sat Jan 20 19:43:29 UTC 2007