0.31
0.31 Abscon 109 (November, 2006)
0.31
0.31 configuration
0.31 name=pfc.xml
0.35
0.35 instance
0.35 name=/tmp/evaluation/276545-1169240083/unknown.xml
0.38
0.38 domains being loaded...
0.38
0.38 variables being loaded...
0.42 nbVariables=40 nbDomainTypes=1 minDomainSize=180 maxDomainSize=180
0.42 => wckTime=0.105 cpuTime=0.08 mem=6M910
0.42
0.42 relations being loaded...
0.78
0.78 constraints being loaded...
0.91 nbConstraints=84 nbRelationTypes=84 nbExtensionStructures=84 nbSharedExtensionStructures=0
0.91 nbConflictsStructures=84 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=0 maxDegree=8 maxArity=2
0.91 => wckTime=0.597 cpuTime=0.53 mem=36M414
0.97
0.97 solver LocalSearchSolver being built...
1.01 => wckTime=0.696 cpuTime=0.57 mem=7M382
1.02
1.02 s SATISFIABLE
1.02 o 11
1.02 c 73
1.03 o 15
1.03 c 69
1.03 o 18
1.03 c 66
1.03 o 21
1.03 c 63
1.03 o 24
1.03 c 60
1.03 o 27
1.03 c 57
1.03 o 30
1.03 c 54
1.04 o 33
1.04 c 51
1.04 o 35
1.04 c 49
1.04 o 38
1.04 c 46
1.04 o 41
1.04 c 43
1.04 o 43
1.04 c 41
1.04 o 46
1.04 c 38
1.05 o 49
1.05 c 35
1.05 o 50
1.05 c 34
1.05 o 51
1.05 c 33
1.05 o 53
1.05 c 31
1.05 o 55
1.05 c 29
1.05 o 56
1.05 c 28
1.05 o 57
1.05 c 27
1.05 o 59
1.05 c 25
1.05 o 60
1.05 c 24
1.06 o 61
1.06 c 23
1.06 o 62
1.06 c 22
1.06 o 63
1.06 c 21
1.07 o 64
1.07 c 20
1.07 o 65
1.07 c 19
1.07 o 66
1.07 c 18
1.08 o 67
1.08 c 17
1.08 o 68
1.08 c 16
1.08 o 70
1.08 c 14
1.10 o 71
1.10 c 13
1.10 o 72
1.10 c 12
1.10 o 73
1.10 c 11
1.10 o 74
1.10 c 10
1.10 o 75
1.10 c 9
1.16 o 76
1.16 c 8
1.93 o 77
1.93 c 7
1.94 o 78
1.94 c 6
1.96 o 79
1.96 c 5
10.79
10.79 search
10.79 run=0 nbConstraintChecks=80530273 nbAssignments=10000
10.79 => wckTime=9.786 cpuTime=9.71 mem=7M382
20.98
20.98 search
20.98 run=1 nbConstraintChecks=168193301 nbAssignments=20000
20.98 => wckTime=19.976 cpuTime=19.84 mem=7M382
21.24 o 80
21.24 c 4
31.11
31.11 search
31.11 run=2 nbConstraintChecks=254846720 nbAssignments=30000
31.11 => wckTime=30.1 cpuTime=29.91 mem=7M382
39.91
39.91 search
39.91 run=3 nbConstraintChecks=328929199 nbAssignments=40000
39.91 => wckTime=38.904 cpuTime=38.67 mem=7M382
49.06
49.06 search
49.06 run=4 nbConstraintChecks=406488048 nbAssignments=50000
49.06 => wckTime=48.054 cpuTime=47.79 mem=7M382
51.41
51.41 search
51.41 run=5 nbConstraintChecks=425996923 nbAssignments=52507
51.41 => wckTime=50.398 cpuTime=50.12 mem=7M382
51.41
51.41 global
51.41 nbConstraintChecks=425996923 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
51.41 solvingWckTime=50.394 solvingCpuTime=50.12 expiredTime=no totalExploration=no nbFoundSolutions=0
51.41 globalCpuTime=50.75
51.41 => wckTime=51.095 cpuTime=50.69 mem=7M382
51.41
51.41 solver IterativeSystematicSolver being built...
51.54 => wckTime=51.222 cpuTime=50.79 mem=18M353
51.54
51.54 preprocessing
51.54 nbConstraintChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
51.54 detectedInconsistency=no
51.54 => wckTime=0.0070 cpuTime=0.0 mem=18M353
53.92
53.92 search
53.92 run=0 nbConstraintChecks=18593433 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=571
53.92 nbFailedAssignments=549 nbBacktracks=10 nbVisitedNodes=1131 nbRestartNogoods=0
53.92 => wckTime=2.384 cpuTime=2.34 mem=18M353
57.80
57.80 search
57.80 run=1 nbConstraintChecks=50835520 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1913
57.80 nbFailedAssignments=1867 nbBacktracks=25 nbVisitedNodes=3806 nbRestartNogoods=25
57.80 => wckTime=6.26 cpuTime=6.16 mem=18M353
70.78
70.78 search
70.78 run=2 nbConstraintChecks=166848188 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=5435
70.78 nbFailedAssignments=5361 nbBacktracks=47 nbVisitedNodes=10844 nbRestartNogoods=246
70.78 => wckTime=19.246 cpuTime=19.09 mem=18M353
74.56
74.56 search
74.56 run=3 nbConstraintChecks=197708482 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=6937
74.56 nbFailedAssignments=6816 nbBacktracks=80 nbVisitedNodes=13834 nbRestartNogoods=277
74.56 => wckTime=23.023 cpuTime=22.85 mem=18M353
92.87
92.87 search
92.87 run=4 nbConstraintChecks=341929143 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=12041
92.87 nbFailedAssignments=11862 nbBacktracks=130 nbVisitedNodes=24034 nbRestartNogoods=383
92.87 => wckTime=41.336 cpuTime=41.07 mem=18M353
110.78
110.78 search
110.78 run=5 nbConstraintChecks=492143370 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=16744
110.78 nbFailedAssignments=16484 nbBacktracks=205 nbVisitedNodes=33434 nbRestartNogoods=479
110.78 => wckTime=59.246 cpuTime=58.9 mem=18M353
139.40
139.40 search
139.40 run=6 nbConstraintChecks=699788102 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=23908
139.40 nbFailedAssignments=23522 nbBacktracks=318 nbVisitedNodes=47749 nbRestartNogoods=519
139.40 => wckTime=87.868 cpuTime=87.37 mem=18M353
144.19
144.19 search
144.19 run=7 nbConstraintChecks=727700522 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=25174
144.19 nbFailedAssignments=24607 nbBacktracks=488 nbVisitedNodes=50270 nbRestartNogoods=872
144.19 => wckTime=92.655 cpuTime=92.14 mem=18M353
182.42
182.42 search
182.42 run=8 nbConstraintChecks=892503713 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=30714
182.42 nbFailedAssignments=29885 nbBacktracks=744 nbVisitedNodes=61339 nbRestartNogoods=1054
182.42 => wckTime=130.886 cpuTime=130.19 mem=18M353
201.68
201.68 search
201.68 run=9 nbConstraintChecks=1012682555 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=36952
201.68 nbFailedAssignments=35724 nbBacktracks=1128 nbVisitedNodes=73800 nbRestartNogoods=1073
201.68 => wckTime=150.147 cpuTime=149.35 mem=18M353
211.87
211.87 search
211.87 run=10 nbConstraintChecks=1069529221 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=41230
211.87 nbFailedAssignments=39407 nbBacktracks=1704 nbVisitedNodes=82337 nbRestartNogoods=1244
211.87 => wckTime=160.33 cpuTime=159.48 mem=18M353
239.50
239.50 search
239.50 run=11 nbConstraintChecks=1199999928 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=44754
239.50 nbFailedAssignments=42061 nbBacktracks=2568 nbVisitedNodes=89378 nbRestartNogoods=1461
239.50 => wckTime=187.965 cpuTime=186.99 mem=18M353
294.22
294.22 search
294.22 run=12 nbConstraintChecks=1489697171 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=55074
294.22 nbFailedAssignments=51063 nbBacktracks=3866 nbVisitedNodes=109952 nbRestartNogoods=1579
294.22 => wckTime=242.682 cpuTime=241.43 mem=18M353
365.80
365.80 search
365.80 run=13 nbConstraintChecks=1813900564 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=66407
365.80 nbFailedAssignments=60440 nbBacktracks=5812 nbVisitedNodes=132507 nbRestartNogoods=1710
365.80 => wckTime=314.267 cpuTime=312.68 mem=18M353
469.05
469.05 search
469.05 run=14 nbConstraintChecks=2311801434 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=80134
469.05 nbFailedAssignments=71240 nbBacktracks=8731 nbVisitedNodes=159944 nbRestartNogoods=1763
469.05 => wckTime=417.512 cpuTime=415.27 mem=18M353
556.12
556.12 search
556.12 run=15 nbConstraintChecks=2713615798 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=95567
556.12 nbFailedAssignments=82285 nbBacktracks=13109 nbVisitedNodes=190442 nbRestartNogoods=1778
556.12 => wckTime=504.585 cpuTime=501.92 mem=18M353
717.63
717.63 search
717.63 run=16 nbConstraintChecks=3452065015 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=118929
717.63 nbFailedAssignments=99055 nbBacktracks=19677 nbVisitedNodes=236819 nbRestartNogoods=1936
717.63 => wckTime=666.092 cpuTime=662.65 mem=18M353
896.15
896.15 search
896.15 run=17 nbConstraintChecks=4149616761 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=143497
896.15 nbFailedAssignments=113760 nbBacktracks=29529 nbVisitedNodes=284662 nbRestartNogoods=2133
896.15 => wckTime=844.614 cpuTime=840.31 mem=18M353
1204.66
1204.66 search
1204.66 run=18 nbConstraintChecks=5535412883 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=189454
1204.66 nbFailedAssignments=144932 nbBacktracks=44307 nbVisitedNodes=376127 nbRestartNogoods=2226
1204.66 => wckTime=1153.123 cpuTime=1147.35 mem=18M353
1599.95
1599.95 search
1599.95 run=19 nbConstraintChecks=7389129945 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=257210
1599.95 nbFailedAssignments=190509 nbBacktracks=66476 nbVisitedNodes=510521 nbRestartNogoods=2333
1599.95 => wckTime=1548.415 cpuTime=1540.74 mem=18M353
2227.44
2227.44 search
2227.44 run=20 nbConstraintChecks=10349579583 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=349575
2227.44 nbFailedAssignments=249610 nbBacktracks=99729 nbVisitedNodes=693887 nbRestartNogoods=2362
2227.44 => wckTime=2175.901 cpuTime=2167.21 mem=19M323
2409.02 v 16 30 39 170 41 79 135 48 61 104 39 98 81 22 55 102 124 68 179 169 119 63 90 39 106 8 75 14 3 36 16 149 92 49 131 78 118 53 13 49
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node23/watcher-276545-1169240083 -o ROOT/results/node23/solver-276545-1169240083 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/276545-1169240083/unknown.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB
/proc/loadavg: 2.07 2.02 2.00 4/86 6139
/proc/meminfo: memFree=1303896/2055920 swapFree=4156060/4192956
[pid=6138] ppid=6136 vsize=18540 CPUtime=0
/proc/6138/stat : 6138 (runsolver) R 6136 6138 5360 0 -1 4194368 17 0 0 0 0 0 0 0 18 0 1 0 272402663 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 238487661863 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/6138/statm: 4635 279 244 17 0 2626 0
[startup+0.107796 s]
/proc/loadavg: 2.07 2.02 2.00 4/86 6139
/proc/meminfo: memFree=1303896/2055920 swapFree=4156060/4192956
[pid=6138] ppid=6136 vsize=914988 CPUtime=0.08
/proc/6138/stat : 6138 (java) D 6136 6138 5360 0 -1 0 2988 0 1 0 7 1 0 0 18 0 8 0 272402663 936947712 2734 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 2147483391 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6138/statm: 228747 2734 1426 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.515871 s]
/proc/loadavg: 2.07 2.02 2.00 4/86 6139
/proc/meminfo: memFree=1303896/2055920 swapFree=4156060/4192956
[pid=6138] ppid=6136 vsize=915332 CPUtime=0.48
/proc/6138/stat : 6138 (java) R 6136 6138 5360 0 -1 0 7411 0 1 0 44 4 0 0 18 0 8 0 272402663 937299968 7150 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073445311 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6138/statm: 228833 7150 2139 14 0 215303 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915332
[startup+1.33903 s]
/proc/loadavg: 2.07 2.02 2.00 3/93 6146
/proc/meminfo: memFree=1257568/2055920 swapFree=4156060/4192956
[pid=6138] ppid=6136 vsize=915444 CPUtime=1.31
/proc/6138/stat : 6138 (java) R 6136 6138 5360 0 -1 0 14249 0 1 0 122 9 0 0 24 0 8 0 272402663 937414656 13987 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073677619 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6138/statm: 228861 13987 2476 14 0 215331 0
[pid=6138/tid=6140] ppid=6136 vsize=915444 CPUtime=0.04
/proc/6138/task/6140/stat : 6140 (java) S 6136 6138 5360 0 -1 64 615 0 0 0 4 0 0 0 17 0 8 0 272402667 937414656 13987 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=6138/tid=6141] ppid=6136 vsize=915444 CPUtime=0
/proc/6138/task/6141/stat : 6141 (java) S 6136 6138 5360 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272402668 937414656 13987 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6138/tid=6142] ppid=6136 vsize=915444 CPUtime=0
/proc/6138/task/6142/stat : 6142 (java) S 6136 6138 5360 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272402668 937414656 13987 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6138/tid=6143] ppid=6136 vsize=915444 CPUtime=0
/proc/6138/task/6143/stat : 6143 (java) S 6136 6138 5360 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 272402671 937414656 13987 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6138/tid=6144] ppid=6136 vsize=915444 CPUtime=0.13
/proc/6138/task/6144/stat : 6144 (java) S 6136 6138 5360 0 -1 64 330 0 0 0 13 0 0 0 16 0 8 0 272402671 937414656 13987 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6138/tid=6145] ppid=6136 vsize=915444 CPUtime=0
/proc/6138/task/6145/stat : 6145 (java) S 6136 6138 5360 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 272402671 937414656 13987 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6138/tid=6146] ppid=6136 vsize=915444 CPUtime=0
/proc/6138/task/6146/stat : 6146 (java) S 6136 6138 5360 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 272402671 937414656 13987 18446744073709551615 134512640 134570532 4294956480 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) 915444
[startup+2.98635 s]
/proc/loadavg: 2.07 2.02 2.00 3/93 6146
/proc/meminfo: memFree=1257504/2055920 swapFree=4156060/4192956
[pid=6138] ppid=6136 vsize=915444 CPUtime=2.95
/proc/6138/stat : 6138 (java) R 6136 6138 5360 0 -1 0 14255 0 1 0 278 17 0 0 25 0 8 0 272402663 937414656 13992 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073677623 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6138/statm: 228861 13992 2476 14 0 215331 0
[pid=6138/tid=6140] ppid=6136 vsize=915444 CPUtime=0.04
/proc/6138/task/6140/stat : 6140 (java) S 6136 6138 5360 0 -1 64 615 0 0 0 4 0 0 0 16 0 8 0 272402667 937414656 13992 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=6138/tid=6141] ppid=6136 vsize=915444 CPUtime=0
/proc/6138/task/6141/stat : 6141 (java) S 6136 6138 5360 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272402668 937414656 13992 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6138/tid=6142] ppid=6136 vsize=915444 CPUtime=0
/proc/6138/task/6142/stat : 6142 (java) S 6136 6138 5360 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272402668 937414656 13992 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6138/tid=6143] ppid=6136 vsize=915444 CPUtime=0
/proc/6138/task/6143/stat : 6143 (java) S 6136 6138 5360 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 272402671 937414656 13992 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6138/tid=6144] ppid=6136 vsize=915444 CPUtime=0.14
/proc/6138/task/6144/stat : 6144 (java) S 6136 6138 5360 0 -1 64 335 0 0 0 14 0 0 0 16 0 8 0 272402671 937414656 13992 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6138/tid=6145] ppid=6136 vsize=915444 CPUtime=0
/proc/6138/task/6145/stat : 6145 (java) S 6136 6138 5360 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 272402671 937414656 13992 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6138/tid=6146] ppid=6136 vsize=915444 CPUtime=0
/proc/6138/task/6146/stat : 6146 (java) S 6136 6138 5360 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 272402671 937414656 13992 18446744073709551615 134512640 134570532 4294956480 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) 915444
[startup+6.27198 s]
/proc/loadavg: 2.06 2.02 2.00 3/93 6146
/proc/meminfo: memFree=1257376/2055920 swapFree=4156060/4192956
[pid=6138] ppid=6136 vsize=915444 CPUtime=6.21
/proc/6138/stat : 6138 (java) R 6136 6138 5360 0 -1 0 14255 0 1 0 590 31 0 0 25 0 8 0 272402663 937414656 13992 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073683736 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6138/statm: 228861 13992 2476 14 0 215331 0
[pid=6138/tid=6140] ppid=6136 vsize=915444 CPUtime=0.04
/proc/6138/task/6140/stat : 6140 (java) S 6136 6138 5360 0 -1 64 615 0 0 0 4 0 0 0 16 0 8 0 272402667 937414656 13992 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=6138/tid=6141] ppid=6136 vsize=915444 CPUtime=0
/proc/6138/task/6141/stat : 6141 (java) S 6136 6138 5360 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272402668 937414656 13992 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6138/tid=6142] ppid=6136 vsize=915444 CPUtime=0
/proc/6138/task/6142/stat : 6142 (java) S 6136 6138 5360 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272402668 937414656 13992 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6138/tid=6143] ppid=6136 vsize=915444 CPUtime=0
/proc/6138/task/6143/stat : 6143 (java) S 6136 6138 5360 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 272402671 937414656 13992 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6138/tid=6144] ppid=6136 vsize=915444 CPUtime=0.14
/proc/6138/task/6144/stat : 6144 (java) S 6136 6138 5360 0 -1 64 335 0 0 0 14 0 0 0 16 0 8 0 272402671 937414656 13992 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6138/tid=6145] ppid=6136 vsize=915444 CPUtime=0
/proc/6138/task/6145/stat : 6145 (java) S 6136 6138 5360 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 272402671 937414656 13992 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6138/tid=6146] ppid=6136 vsize=915444 CPUtime=0
/proc/6138/task/6146/stat : 6146 (java) S 6136 6138 5360 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 272402671 937414656 13992 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 915444
[startup+12.7582 s]
/proc/loadavg: 2.06 2.02 2.00 3/93 6146
/proc/meminfo: memFree=1257448/2055920 swapFree=4156060/4192956
[pid=6138] ppid=6136 vsize=915444 CPUtime=12.67
/proc/6138/stat : 6138 (java) R 6136 6138 5360 0 -1 0 14257 0 1 0 1210 57 0 0 25 0 8 0 272402663 937414656 13994 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073682429 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6138/statm: 228861 13994 2476 14 0 215331 0
[pid=6138/tid=6140] ppid=6136 vsize=915444 CPUtime=0.04
/proc/6138/task/6140/stat : 6140 (java) S 6136 6138 5360 0 -1 64 615 0 0 0 4 0 0 0 16 0 8 0 272402667 937414656 13994 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=6138/tid=6141] ppid=6136 vsize=915444 CPUtime=0
/proc/6138/task/6141/stat : 6141 (java) S 6136 6138 5360 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272402668 937414656 13994 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6138/tid=6142] ppid=6136 vsize=915444 CPUtime=0
/proc/6138/task/6142/stat : 6142 (java) S 6136 6138 5360 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272402668 937414656 13994 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6138/tid=6143] ppid=6136 vsize=915444 CPUtime=0
/proc/6138/task/6143/stat : 6143 (java) S 6136 6138 5360 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 272402671 937414656 13994 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6138/tid=6144] ppid=6136 vsize=915444 CPUtime=0.14
/proc/6138/task/6144/stat : 6144 (java) S 6136 6138 5360 0 -1 64 337 0 0 0 14 0 0 0 16 0 8 0 272402671 937414656 13994 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6138/tid=6145] ppid=6136 vsize=915444 CPUtime=0
/proc/6138/task/6145/stat : 6145 (java) S 6136 6138 5360 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 272402671 937414656 13994 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6138/tid=6146] ppid=6136 vsize=915444 CPUtime=0
/proc/6138/task/6146/stat : 6146 (java) S 6136 6138 5360 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 272402671 937414656 13994 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 915444
[startup+25.6027 s]
/proc/loadavg: 2.04 2.02 2.00 3/93 6146
/proc/meminfo: memFree=1257576/2055920 swapFree=4156060/4192956
[pid=6138] ppid=6136 vsize=915444 CPUtime=25.45
/proc/6138/stat : 6138 (java) R 6136 6138 5360 0 -1 0 14257 0 1 0 2438 107 0 0 25 0 8 0 272402663 937414656 13994 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073682352 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6138/statm: 228861 13994 2476 14 0 215331 0
[pid=6138/tid=6140] ppid=6136 vsize=915444 CPUtime=0.04
/proc/6138/task/6140/stat : 6140 (java) S 6136 6138 5360 0 -1 64 615 0 0 0 4 0 0 0 16 0 8 0 272402667 937414656 13994 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=6138/tid=6141] ppid=6136 vsize=915444 CPUtime=0
/proc/6138/task/6141/stat : 6141 (java) S 6136 6138 5360 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272402668 937414656 13994 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6138/tid=6142] ppid=6136 vsize=915444 CPUtime=0
/proc/6138/task/6142/stat : 6142 (java) S 6136 6138 5360 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272402668 937414656 13994 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6138/tid=6143] ppid=6136 vsize=915444 CPUtime=0
/proc/6138/task/6143/stat : 6143 (java) S 6136 6138 5360 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 272402671 937414656 13994 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6138/tid=6144] ppid=6136 vsize=915444 CPUtime=0.14
/proc/6138/task/6144/stat : 6144 (java) S 6136 6138 5360 0 -1 64 337 0 0 0 14 0 0 0 16 0 8 0 272402671 937414656 13994 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6138/tid=6145] ppid=6136 vsize=915444 CPUtime=0
/proc/6138/task/6145/stat : 6145 (java) S 6136 6138 5360 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 272402671 937414656 13994 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6138/tid=6146] ppid=6136 vsize=915444 CPUtime=0
/proc/6138/task/6146/stat : 6146 (java) S 6136 6138 5360 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 272402671 937414656 13994 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 915444
[startup+51.2087 s]
/proc/loadavg: 2.03 2.02 2.00 3/93 6146
/proc/meminfo: memFree=1257640/2055920 swapFree=4156060/4192956
[pid=6138] ppid=6136 vsize=915444 CPUtime=50.93
/proc/6138/stat : 6138 (java) R 6136 6138 5360 0 -1 0 14257 0 1 0 4874 219 0 0 25 0 8 0 272402663 937414656 13994 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073677619 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6138/statm: 228861 13994 2476 14 0 215331 0
[pid=6138/tid=6140] ppid=6136 vsize=915444 CPUtime=0.04
/proc/6138/task/6140/stat : 6140 (java) S 6136 6138 5360 0 -1 64 615 0 0 0 4 0 0 0 16 0 8 0 272402667 937414656 13994 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=6138/tid=6141] ppid=6136 vsize=915444 CPUtime=0
/proc/6138/task/6141/stat : 6141 (java) S 6136 6138 5360 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272402668 937414656 13994 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6138/tid=6142] ppid=6136 vsize=915444 CPUtime=0
/proc/6138/task/6142/stat : 6142 (java) S 6136 6138 5360 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272402668 937414656 13994 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6138/tid=6143] ppid=6136 vsize=915444 CPUtime=0
/proc/6138/task/6143/stat : 6143 (java) S 6136 6138 5360 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 272402671 937414656 13994 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6138/tid=6144] ppid=6136 vsize=915444 CPUtime=0.14
/proc/6138/task/6144/stat : 6144 (java) S 6136 6138 5360 0 -1 64 337 0 0 0 14 0 0 0 16 0 8 0 272402671 937414656 13994 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6138/tid=6145] ppid=6136 vsize=915444 CPUtime=0
/proc/6138/task/6145/stat : 6145 (java) S 6136 6138 5360 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 272402671 937414656 13994 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6138/tid=6146] ppid=6136 vsize=915444 CPUtime=0
/proc/6138/task/6146/stat : 6146 (java) S 6136 6138 5360 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 272402671 937414656 13994 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.93
Current children cumulated vsize (KiB) 915444
[startup+102.427 s]
/proc/loadavg: 2.01 2.01 2.00 3/93 6146
/proc/meminfo: memFree=1257320/2055920 swapFree=4156060/4192956
[pid=6138] ppid=6136 vsize=915444 CPUtime=101.9
/proc/6138/stat : 6138 (java) R 6136 6138 5360 0 -1 0 14412 0 1 0 9968 222 0 0 25 0 8 0 272402663 937414656 14141 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073675370 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6138/statm: 228861 14141 2527 14 0 215331 0
[pid=6138/tid=6140] ppid=6136 vsize=915444 CPUtime=0.04
/proc/6138/task/6140/stat : 6140 (java) S 6136 6138 5360 0 -1 64 616 0 0 0 4 0 0 0 16 0 8 0 272402667 937414656 14141 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=6138/tid=6141] ppid=6136 vsize=915444 CPUtime=0
/proc/6138/task/6141/stat : 6141 (java) S 6136 6138 5360 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272402668 937414656 14141 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6138/tid=6142] ppid=6136 vsize=915444 CPUtime=0
/proc/6138/task/6142/stat : 6142 (java) S 6136 6138 5360 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272402668 937414656 14141 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6138/tid=6143] ppid=6136 vsize=915444 CPUtime=0
/proc/6138/task/6143/stat : 6143 (java) S 6136 6138 5360 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 272402671 937414656 14141 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6138/tid=6144] ppid=6136 vsize=915444 CPUtime=0.23
/proc/6138/task/6144/stat : 6144 (java) S 6136 6138 5360 0 -1 64 390 0 0 0 23 0 0 0 16 0 8 0 272402671 937414656 14141 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6138/tid=6145] ppid=6136 vsize=915444 CPUtime=0
/proc/6138/task/6145/stat : 6145 (java) S 6136 6138 5360 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 272402671 937414656 14141 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6138/tid=6146] ppid=6136 vsize=915444 CPUtime=0
/proc/6138/task/6146/stat : 6146 (java) S 6136 6138 5360 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 272402671 937414656 14141 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.9
Current children cumulated vsize (KiB) 915444
[startup+162.49 s]
/proc/loadavg: 2.00 2.01 2.00 3/93 6146
/proc/meminfo: memFree=1257320/2055920 swapFree=4156060/4192956
[pid=6138] ppid=6136 vsize=915444 CPUtime=161.68
/proc/6138/stat : 6138 (java) R 6136 6138 5360 0 -1 0 14416 0 1 0 15945 223 0 0 25 0 8 0 272402663 937414656 14143 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073800252 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 2015.51
Current children cumulated vsize (KiB) 915444
[startup+2084.35 s]
/proc/loadavg: 1.00 1.36 1.71 2/85 6460
/proc/meminfo: memFree=1304248/2055920 swapFree=4156060/4192956
[pid=6138] ppid=6136 vsize=915444 CPUtime=2075.51
/proc/6138/stat : 6138 (java) R 6136 6138 5360 0 -1 0 14422 0 1 0 207312 239 0 0 25 0 8 0 272402663 937414656 14146 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073786767 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/6138/statm: 228861 14146 2527 14 0 215331 0
[pid=6138/tid=6140] ppid=6136 vsize=915444 CPUtime=0.04
/proc/6138/task/6140/stat : 6140 (java) S 6136 6138 5360 0 -1 64 616 0 0 0 4 0 0 0 16 0 8 0 272402667 937414656 14146 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=6138/tid=6141] ppid=6136 vsize=915444 CPUtime=0
/proc/6138/task/6141/stat : 6141 (java) S 6136 6138 5360 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272402668 937414656 14146 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6138/tid=6142] ppid=6136 vsize=915444 CPUtime=0
/proc/6138/task/6142/stat : 6142 (java) S 6136 6138 5360 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272402668 937414656 14146 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6138/tid=6143] ppid=6136 vsize=915444 CPUtime=0
/proc/6138/task/6143/stat : 6143 (java) S 6136 6138 5360 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 272402671 937414656 14146 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6138/tid=6144] ppid=6136 vsize=915444 CPUtime=0.24
/proc/6138/task/6144/stat : 6144 (java) S 6136 6138 5360 0 -1 64 396 0 0 0 24 0 0 0 16 0 8 0 272402671 937414656 14146 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6138/tid=6145] ppid=6136 vsize=915444 CPUtime=0
/proc/6138/task/6145/stat : 6145 (java) S 6136 6138 5360 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 272402671 937414656 14146 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6138/tid=6146] ppid=6136 vsize=915444 CPUtime=0
/proc/6138/task/6146/stat : 6146 (java) S 6136 6138 5360 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 272402671 937414656 14146 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2075.51
Current children cumulated vsize (KiB) 915444
[startup+2144.36 s]
/proc/loadavg: 1.00 1.29 1.66 2/85 6460
/proc/meminfo: memFree=1304320/2055920 swapFree=4156060/4192956
[pid=6138] ppid=6136 vsize=915444 CPUtime=2135.5
/proc/6138/stat : 6138 (java) R 6136 6138 5360 0 -1 0 14422 0 1 0 213311 239 0 0 25 0 8 0 272402663 937414656 14146 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073794224 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/6138/statm: 228861 14146 2527 14 0 215331 0
[pid=6138/tid=6140] ppid=6136 vsize=915444 CPUtime=0.04
/proc/6138/task/6140/stat : 6140 (java) S 6136 6138 5360 0 -1 64 616 0 0 0 4 0 0 0 16 0 8 0 272402667 937414656 14146 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=6138/tid=6141] ppid=6136 vsize=915444 CPUtime=0
/proc/6138/task/6141/stat : 6141 (java) S 6136 6138 5360 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272402668 937414656 14146 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6138/tid=6142] ppid=6136 vsize=915444 CPUtime=0
/proc/6138/task/6142/stat : 6142 (java) S 6136 6138 5360 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272402668 937414656 14146 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6138/tid=6143] ppid=6136 vsize=915444 CPUtime=0
/proc/6138/task/6143/stat : 6143 (java) S 6136 6138 5360 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 272402671 937414656 14146 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6138/tid=6144] ppid=6136 vsize=915444 CPUtime=0.24
/proc/6138/task/6144/stat : 6144 (java) S 6136 6138 5360 0 -1 64 396 0 0 0 24 0 0 0 16 0 8 0 272402671 937414656 14146 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6138/tid=6145] ppid=6136 vsize=915444 CPUtime=0
/proc/6138/task/6145/stat : 6145 (java) S 6136 6138 5360 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 272402671 937414656 14146 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6138/tid=6146] ppid=6136 vsize=915444 CPUtime=0
/proc/6138/task/6146/stat : 6146 (java) S 6136 6138 5360 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 272402671 937414656 14146 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2135.5
Current children cumulated vsize (KiB) 915444
[startup+2204.38 s]
/proc/loadavg: 1.04 1.25 1.62 3/85 6460
/proc/meminfo: memFree=1304320/2055920 swapFree=4156060/4192956
[pid=6138] ppid=6136 vsize=915444 CPUtime=2195.49
/proc/6138/stat : 6138 (java) R 6136 6138 5360 0 -1 0 14422 0 1 0 219310 239 0 0 25 0 8 0 272402663 937414656 14146 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073794287 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/6138/statm: 228861 14146 2527 14 0 215331 0
[pid=6138/tid=6140] ppid=6136 vsize=915444 CPUtime=0.04
/proc/6138/task/6140/stat : 6140 (java) S 6136 6138 5360 0 -1 64 616 0 0 0 4 0 0 0 16 0 8 0 272402667 937414656 14146 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=6138/tid=6141] ppid=6136 vsize=915444 CPUtime=0
/proc/6138/task/6141/stat : 6141 (java) S 6136 6138 5360 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272402668 937414656 14146 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6138/tid=6142] ppid=6136 vsize=915444 CPUtime=0
/proc/6138/task/6142/stat : 6142 (java) S 6136 6138 5360 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272402668 937414656 14146 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6138/tid=6143] ppid=6136 vsize=915444 CPUtime=0
/proc/6138/task/6143/stat : 6143 (java) S 6136 6138 5360 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 272402671 937414656 14146 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6138/tid=6144] ppid=6136 vsize=915444 CPUtime=0.24
/proc/6138/task/6144/stat : 6144 (java) S 6136 6138 5360 0 -1 64 396 0 0 0 24 0 0 0 16 0 8 0 272402671 937414656 14146 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6138/tid=6145] ppid=6136 vsize=915444 CPUtime=0
/proc/6138/task/6145/stat : 6145 (java) S 6136 6138 5360 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 272402671 937414656 14146 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6138/tid=6146] ppid=6136 vsize=915444 CPUtime=0
/proc/6138/task/6146/stat : 6146 (java) S 6136 6138 5360 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 272402671 937414656 14146 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2195.49
Current children cumulated vsize (KiB) 915444
[startup+2264.4 s]
/proc/loadavg: 1.02 1.20 1.58 2/85 6460
/proc/meminfo: memFree=1304320/2055920 swapFree=4156060/4192956
[pid=6138] ppid=6136 vsize=915444 CPUtime=2255.49
/proc/6138/stat : 6138 (java) R 6136 6138 5360 0 -1 0 14422 0 1 0 225310 239 0 0 25 0 8 0 272402663 937414656 14146 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073786893 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/6138/statm: 228861 14146 2527 14 0 215331 0
[pid=6138/tid=6140] ppid=6136 vsize=915444 CPUtime=0.04
/proc/6138/task/6140/stat : 6140 (java) S 6136 6138 5360 0 -1 64 616 0 0 0 4 0 0 0 16 0 8 0 272402667 937414656 14146 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=6138/tid=6141] ppid=6136 vsize=915444 CPUtime=0
/proc/6138/task/6141/stat : 6141 (java) S 6136 6138 5360 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272402668 937414656 14146 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6138/tid=6142] ppid=6136 vsize=915444 CPUtime=0
/proc/6138/task/6142/stat : 6142 (java) S 6136 6138 5360 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272402668 937414656 14146 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6138/tid=6143] ppid=6136 vsize=915444 CPUtime=0
/proc/6138/task/6143/stat : 6143 (java) S 6136 6138 5360 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 272402671 937414656 14146 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6138/tid=6144] ppid=6136 vsize=915444 CPUtime=0.24
/proc/6138/task/6144/stat : 6144 (java) S 6136 6138 5360 0 -1 64 396 0 0 0 24 0 0 0 16 0 8 0 272402671 937414656 14146 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6138/tid=6145] ppid=6136 vsize=915444 CPUtime=0
/proc/6138/task/6145/stat : 6145 (java) S 6136 6138 5360 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 272402671 937414656 14146 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6138/tid=6146] ppid=6136 vsize=915444 CPUtime=0
/proc/6138/task/6146/stat : 6146 (java) S 6136 6138 5360 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 272402671 937414656 14146 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2255.49
Current children cumulated vsize (KiB) 915444
[startup+2324.43 s]
/proc/loadavg: 1.07 1.18 1.55 2/85 6460
/proc/meminfo: memFree=1304320/2055920 swapFree=4156060/4192956
[pid=6138] ppid=6136 vsize=915444 CPUtime=2315.5
/proc/6138/stat : 6138 (java) R 6136 6138 5360 0 -1 0 14422 0 1 0 231311 239 0 0 25 0 8 0 272402663 937414656 14146 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073790266 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/6138/statm: 228861 14146 2527 14 0 215331 0
[pid=6138/tid=6140] ppid=6136 vsize=915444 CPUtime=0.04
/proc/6138/task/6140/stat : 6140 (java) S 6136 6138 5360 0 -1 64 616 0 0 0 4 0 0 0 16 0 8 0 272402667 937414656 14146 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=6138/tid=6141] ppid=6136 vsize=915444 CPUtime=0
/proc/6138/task/6141/stat : 6141 (java) S 6136 6138 5360 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272402668 937414656 14146 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6138/tid=6142] ppid=6136 vsize=915444 CPUtime=0
/proc/6138/task/6142/stat : 6142 (java) S 6136 6138 5360 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272402668 937414656 14146 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6138/tid=6143] ppid=6136 vsize=915444 CPUtime=0
/proc/6138/task/6143/stat : 6143 (java) S 6136 6138 5360 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 272402671 937414656 14146 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6138/tid=6144] ppid=6136 vsize=915444 CPUtime=0.24
/proc/6138/task/6144/stat : 6144 (java) S 6136 6138 5360 0 -1 64 396 0 0 0 24 0 0 0 16 0 8 0 272402671 937414656 14146 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6138/tid=6145] ppid=6136 vsize=915444 CPUtime=0
/proc/6138/task/6145/stat : 6145 (java) S 6136 6138 5360 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 272402671 937414656 14146 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6138/tid=6146] ppid=6136 vsize=915444 CPUtime=0
/proc/6138/task/6146/stat : 6146 (java) S 6136 6138 5360 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 272402671 937414656 14146 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2315.5
Current children cumulated vsize (KiB) 915444
[startup+2384.45 s]
/proc/loadavg: 1.02 1.14 1.51 2/85 6460
/proc/meminfo: memFree=1304384/2055920 swapFree=4156060/4192956
[pid=6138] ppid=6136 vsize=915444 CPUtime=2375.51
/proc/6138/stat : 6138 (java) R 6136 6138 5360 0 -1 0 14422 0 1 0 237311 240 0 0 25 0 8 0 272402663 937414656 14146 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073817737 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/6138/statm: 228861 14146 2527 14 0 215331 0
[pid=6138/tid=6140] ppid=6136 vsize=915444 CPUtime=0.04
/proc/6138/task/6140/stat : 6140 (java) S 6136 6138 5360 0 -1 64 616 0 0 0 4 0 0 0 16 0 8 0 272402667 937414656 14146 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=6138/tid=6141] ppid=6136 vsize=915444 CPUtime=0
/proc/6138/task/6141/stat : 6141 (java) S 6136 6138 5360 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272402668 937414656 14146 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6138/tid=6142] ppid=6136 vsize=915444 CPUtime=0
/proc/6138/task/6142/stat : 6142 (java) S 6136 6138 5360 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272402668 937414656 14146 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6138/tid=6143] ppid=6136 vsize=915444 CPUtime=0
/proc/6138/task/6143/stat : 6143 (java) S 6136 6138 5360 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 272402671 937414656 14146 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6138/tid=6144] ppid=6136 vsize=915444 CPUtime=0.24
/proc/6138/task/6144/stat : 6144 (java) S 6136 6138 5360 0 -1 64 396 0 0 0 24 0 0 0 16 0 8 0 272402671 937414656 14146 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6138/tid=6145] ppid=6136 vsize=915444 CPUtime=0
/proc/6138/task/6145/stat : 6145 (java) S 6136 6138 5360 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 272402671 937414656 14146 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6138/tid=6146] ppid=6136 vsize=915444 CPUtime=0
/proc/6138/task/6146/stat : 6146 (java) S 6136 6138 5360 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 272402671 937414656 14146 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2375.51
Current children cumulated vsize (KiB) 915444
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2409.01 s]
/proc/loadavg: 1.01 1.13 1.50 2/85 6460
/proc/meminfo: memFree=1304384/2055920 swapFree=4156060/4192956
[pid=6138] ppid=6136 vsize=915444 CPUtime=2400.06
/proc/6138/stat : 6138 (java) R 6136 6138 5360 0 -1 0 14422 0 1 0 239766 240 0 0 25 0 8 0 272402663 937414656 14146 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073790439 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/6138/statm: 228861 14146 2527 14 0 215331 0
[pid=6138/tid=6140] ppid=6136 vsize=915444 CPUtime=0.04
/proc/6138/task/6140/stat : 6140 (java) S 6136 6138 5360 0 -1 64 616 0 0 0 4 0 0 0 16 0 8 0 272402667 937414656 14146 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=6138/tid=6141] ppid=6136 vsize=915444 CPUtime=0
/proc/6138/task/6141/stat : 6141 (java) S 6136 6138 5360 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272402668 937414656 14146 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6138/tid=6142] ppid=6136 vsize=915444 CPUtime=0
/proc/6138/task/6142/stat : 6142 (java) S 6136 6138 5360 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272402668 937414656 14146 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6138/tid=6143] ppid=6136 vsize=915444 CPUtime=0
/proc/6138/task/6143/stat : 6143 (java) S 6136 6138 5360 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 272402671 937414656 14146 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6138/tid=6144] ppid=6136 vsize=915444 CPUtime=0.24
/proc/6138/task/6144/stat : 6144 (java) S 6136 6138 5360 0 -1 64 396 0 0 0 24 0 0 0 16 0 8 0 272402671 937414656 14146 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6138/tid=6145] ppid=6136 vsize=915444 CPUtime=0
/proc/6138/task/6145/stat : 6145 (java) S 6136 6138 5360 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 272402671 937414656 14146 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6138/tid=6146] ppid=6136 vsize=915444 CPUtime=0
/proc/6138/task/6146/stat : 6146 (java) S 6136 6138 5360 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 272402671 937414656 14146 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2400.06
Current children cumulated vsize (KiB) 915444
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 2409.04
CPU time (s): 2400.09
CPU user time (s): 2397.68
CPU system time (s): 2.40963
CPU usage (%): 99.6286
Max. virtual memory (cumulated for all children) (KiB): 915448
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2397.68
system time used= 2.40963
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14442
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= 49862
involuntary context switches= 76012
runsolver used 2.6506 s user time and 7.46286 s system time
The end
Begin job on node23 on Fri Jan 19 20:54:43 UTC 2007
IDJOB= 276545
IDBENCH= 5845
IDSOLVER= 69
FILE ID= node23/276545-1169240083
PBS_JOBID= 3589304
Free space on /tmp= 66555 MiB
SOLVER NAME= AbsconMax 109 PFC
BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.9/rand-2-40-180-84-900-27_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/276545-1169240083/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node23/watcher-276545-1169240083 -o ROOT/results/node23/solver-276545-1169240083 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/276545-1169240083/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 3ac0e5fd51cdfeaeb41cf7ea716924ba
RANDOM SEED= 466505983
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.265
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.265
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: 1304376 kB
Buffers: 38404 kB
Cached: 576432 kB
SwapCached: 7840 kB
Active: 212160 kB
Inactive: 472364 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1304376 kB
SwapTotal: 4192956 kB
SwapFree: 4156060 kB
Dirty: 3564 kB
Writeback: 0 kB
Mapped: 85932 kB
Slab: 51776 kB
Committed_AS: 4689176 kB
PageTables: 2304 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 node23 on Fri Jan 19 21:34:52 UTC 2007