0.38
0.38 Abscon 109 (November, 2006)
0.38
0.38 configuration
0.38 name=pfc.xml
0.41
0.41 instance
0.41 name=/tmp/evaluation/276527-1169239591/unknown.xml
0.45
0.45 domains being loaded...
0.45
0.45 variables being loaded...
0.49 nbVariables=40 nbDomainTypes=1 minDomainSize=180 maxDomainSize=180
0.49 => wckTime=0.107 cpuTime=0.1 mem=6M910
0.49
0.49 relations being loaded...
0.86
0.86 constraints being loaded...
0.99 nbConstraints=84 nbRelationTypes=84 nbExtensionStructures=84 nbSharedExtensionStructures=0
0.99 nbConflictsStructures=84 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=0 maxDegree=8 maxArity=2
0.99 => wckTime=0.61 cpuTime=0.54 mem=36M368
1.05
1.05 solver LocalSearchSolver being built...
1.09 => wckTime=0.71 cpuTime=0.58 mem=7M418
1.11
1.11 s SATISFIABLE
1.11 o 15
1.11 c 69
1.11 o 19
1.11 c 65
1.11 o 23
1.11 c 61
1.11 o 26
1.11 c 58
1.11 o 29
1.11 c 55
1.11 o 32
1.11 c 52
1.11 o 35
1.11 c 49
1.12 o 38
1.12 c 46
1.12 o 40
1.12 c 44
1.12 o 42
1.12 c 42
1.12 o 43
1.12 c 41
1.13 o 45
1.13 c 39
1.13 o 47
1.13 c 37
1.13 o 49
1.13 c 35
1.13 o 51
1.13 c 33
1.13 o 53
1.13 c 31
1.13 o 54
1.13 c 30
1.14 o 55
1.14 c 29
1.14 o 57
1.14 c 27
1.14 o 58
1.14 c 26
1.14 o 59
1.14 c 25
1.14 o 60
1.14 c 24
1.14 o 62
1.14 c 22
1.15 o 63
1.15 c 21
1.15 o 64
1.15 c 20
1.15 o 65
1.15 c 19
1.16 o 66
1.16 c 18
1.16 o 67
1.16 c 17
1.16 o 68
1.16 c 16
1.18 o 69
1.18 c 15
1.19 o 70
1.19 c 14
1.21 o 71
1.21 c 13
1.23 o 72
1.23 c 12
1.24 o 73
1.24 c 11
1.24 o 74
1.24 c 10
1.24 o 75
1.24 c 9
1.30 o 76
1.30 c 8
1.30 o 77
1.30 c 7
1.37 o 78
1.37 c 6
1.38 o 79
1.38 c 5
1.53 o 80
1.53 c 4
11.98
11.99 search
11.99 run=0 nbConstraintChecks=89923287 nbAssignments=10000
11.99 => wckTime=10.893 cpuTime=10.78 mem=7M418
21.74
21.74 search
21.74 run=1 nbConstraintChecks=171673600 nbAssignments=20000
21.74 => wckTime=20.647 cpuTime=20.44 mem=7M418
31.84
31.84 search
31.84 run=2 nbConstraintChecks=256794346 nbAssignments=29927
31.84 => wckTime=30.745 cpuTime=30.44 mem=7M418
31.84
31.84 global
31.84 nbConstraintChecks=256794346 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
31.84 solvingWckTime=30.741 solvingCpuTime=30.43 expiredTime=no totalExploration=no nbFoundSolutions=0
31.84 globalCpuTime=31.08
31.84 => wckTime=31.456 cpuTime=31.02 mem=7M418
31.84
31.84 solver IterativeSystematicSolver being built...
31.97 => wckTime=31.584 cpuTime=31.13 mem=18M316
31.98
31.98 preprocessing
31.98 nbConstraintChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
31.98 detectedInconsistency=no
31.98 => wckTime=0.0070 cpuTime=0.0 mem=18M316
32.88
32.88 search
32.88 run=0 nbConstraintChecks=4619494 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=213
32.88 nbFailedAssignments=190 nbBacktracks=10 nbVisitedNodes=414 nbRestartNogoods=0
32.88 => wckTime=0.914 cpuTime=0.87 mem=18M316
35.51
35.51 search
35.51 run=1 nbConstraintChecks=22984419 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=827
35.51 nbFailedAssignments=784 nbBacktracks=25 nbVisitedNodes=1637 nbRestartNogoods=75
35.51 => wckTime=3.54 cpuTime=3.46 mem=18M316
44.70
44.70 search
44.70 run=2 nbConstraintChecks=77925837 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2521
44.70 nbFailedAssignments=2443 nbBacktracks=47 nbVisitedNodes=5012 nbRestartNogoods=88
44.70 => wckTime=12.728 cpuTime=12.54 mem=18M316
45.70
45.70 search
45.70 run=3 nbConstraintChecks=84817711 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2892
45.70 nbFailedAssignments=2766 nbBacktracks=80 nbVisitedNodes=5739 nbRestartNogoods=428
45.70 => wckTime=13.734 cpuTime=13.54 mem=18M316
46.64
46.64 search
46.64 run=4 nbConstraintChecks=92098430 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=3351
46.64 nbFailedAssignments=3160 nbBacktracks=130 nbVisitedNodes=6642 nbRestartNogoods=508
46.64 => wckTime=14.672 cpuTime=14.46 mem=18M316
47.97
47.97 search
47.97 run=5 nbConstraintChecks=103009389 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=4058
47.97 nbFailedAssignments=3777 nbBacktracks=205 nbVisitedNodes=8041 nbRestartNogoods=531
47.97 => wckTime=16.005 cpuTime=15.78 mem=18M316
52.99
52.99 search
52.99 run=6 nbConstraintChecks=134124187 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=5834
52.99 nbFailedAssignments=5427 nbBacktracks=318 nbVisitedNodes=11580 nbRestartNogoods=552
52.99 => wckTime=21.021 cpuTime=20.75 mem=18M316
70.18
70.18 search
70.18 run=7 nbConstraintChecks=283918485 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=11018
70.18 nbFailedAssignments=10426 nbBacktracks=488 nbVisitedNodes=21933 nbRestartNogoods=737
70.18 => wckTime=38.209 cpuTime=37.78 mem=18M316
75.94
75.94 search
75.94 run=8 nbConstraintChecks=323053171 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=12198
75.94 nbFailedAssignments=11334 nbBacktracks=745 nbVisitedNodes=24278 nbRestartNogoods=921
75.94 => wckTime=43.977 cpuTime=43.49 mem=18M316
99.37
99.37 search
99.37 run=9 nbConstraintChecks=455258146 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=16194
99.37 nbFailedAssignments=14939 nbBacktracks=1130 nbVisitedNodes=32263 nbRestartNogoods=1083
99.37 => wckTime=67.399 cpuTime=66.7 mem=18M316
113.96
113.96 search
113.96 run=10 nbConstraintChecks=511841435 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=18159
113.96 nbFailedAssignments=16323 nbBacktracks=1706 nbVisitedNodes=36148 nbRestartNogoods=1133
113.96 => wckTime=81.992 cpuTime=81.17 mem=18M316
144.54
144.54 search
144.54 run=11 nbConstraintChecks=733321510 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=30662
144.54 nbFailedAssignments=27949 nbBacktracks=2570 nbVisitedNodes=61140 nbRestartNogoods=1331
144.54 => wckTime=112.572 cpuTime=111.47 mem=18M316
206.58
206.58 search
206.58 run=12 nbConstraintChecks=1057184822 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=47365
206.58 nbFailedAssignments=43352 nbBacktracks=3867 nbVisitedNodes=94529 nbRestartNogoods=1551
206.58 => wckTime=174.615 cpuTime=172.94 mem=18M316
265.77
265.77 search
265.77 run=13 nbConstraintChecks=1370579016 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=59487
265.77 nbFailedAssignments=53522 nbBacktracks=5813 nbVisitedNodes=118591 nbRestartNogoods=1729
265.77 => wckTime=233.805 cpuTime=231.59 mem=18M316
369.18
369.18 search
369.18 run=14 nbConstraintChecks=1833229743 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=78204
369.18 nbFailedAssignments=69308 nbBacktracks=8732 nbVisitedNodes=155840 nbRestartNogoods=1786
369.18 => wckTime=337.211 cpuTime=334.05 mem=18M316
488.20
488.20 search
488.20 run=15 nbConstraintChecks=2416499805 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=99803
488.20 nbFailedAssignments=86522 nbBacktracks=13110 nbVisitedNodes=198416 nbRestartNogoods=1977
488.20 => wckTime=456.229 cpuTime=451.98 mem=18M316
626.86
626.86 search
626.86 run=16 nbConstraintChecks=2955670410 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=118673
626.86 nbFailedAssignments=98817 nbBacktracks=19678 nbVisitedNodes=235859 nbRestartNogoods=2013
626.86 => wckTime=594.888 cpuTime=589.37 mem=18M316
816.65
816.65 search
816.65 run=17 nbConstraintChecks=3597652421 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=144125
816.65 nbFailedAssignments=114413 nbBacktracks=29530 nbVisitedNodes=284229 nbRestartNogoods=2028
816.65 => wckTime=784.685 cpuTime=777.44 mem=18M316
893.60 o 81
893.60 c 3
971.94 o 82
971.94 c 2
1060.77
1060.77 search
1060.77 run=18 nbConstraintChecks=4456998866 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=177949
1060.77 nbFailedAssignments=133452 nbBacktracks=44308 nbVisitedNodes=348363 nbRestartNogoods=2071
1060.77 => wckTime=1028.798 cpuTime=1019.12 mem=18M316
1261.67 o 83
1261.67 c 1
1420.12
1420.12 search
1420.12 run=19 nbConstraintChecks=5537322093 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=226520
1420.12 nbFailedAssignments=159852 nbBacktracks=66476 nbVisitedNodes=433507 nbRestartNogoods=2200
1420.12 => wckTime=1388.15 cpuTime=1375.19 mem=18M316
1581.72
1581.72 search
1581.72 run=20 nbConstraintChecks=6019932764 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=248061
1581.72 nbFailedAssignments=171280 nbBacktracks=76590 nbVisitedNodes=469952 nbRestartNogoods=2214
1581.72 => wckTime=1549.751 cpuTime=1535.31 mem=18M316
1581.72
1581.72 global
1581.72 nbConstraintChecks=6019932764 nbRestartNogoods=2214 solvingWckTime=1549.752 solvingCpuTime=1535.31
1581.72 expiredTime=no totalExploration=yes nbFoundSolutions=3 globalCpuTime=1566.5
1581.72 => wckTime=1581.337 cpuTime=1566.44 mem=18M316
1581.72
1581.72 s OPTIMUM FOUND
1581.72 v 29 63 29 104 7 114 138 26 107 175 45 173 174 3 75 121 26 2 0 38 7 86 106 75 99 83 49 51 124 156 153 58 76 134 135 75 135 142 98 156
1581.72
1581.72 totalWckTime=1581.417 totalCpuTime=1566.51
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node24/watcher-276527-1169239591 -o ROOT/results/node24/solver-276527-1169239591 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/276527-1169239591/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.92 1.95 1.69 4/93 20570
/proc/meminfo: memFree=1349624/2055920 swapFree=4180096/4192956
[pid=20569] ppid=20567 vsize=9748 CPUtime=0
/proc/20569/stat : 20569 (java) D 20567 20569 20335 0 -1 0 637 0 0 0 0 0 0 0 18 0 1 0 272354367 9981952 412 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 2605860 0 2147483391 0 7368 18446744072099855350 0 0 17 1 0 0
/proc/20569/statm: 2487 472 386 14 0 1142 0
[startup+0.104162 s]
/proc/loadavg: 1.92 1.95 1.69 4/93 20570
/proc/meminfo: memFree=1349624/2055920 swapFree=4180096/4192956
[pid=20569] ppid=20567 vsize=914988 CPUtime=0.08
/proc/20569/stat : 20569 (java) R 20567 20569 20335 0 -1 0 2987 0 1 0 7 1 0 0 17 0 8 0 272354367 936947712 2733 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 2147483391 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20569/statm: 228747 2733 1426 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.512205 s]
/proc/loadavg: 1.92 1.95 1.69 4/93 20570
/proc/meminfo: memFree=1349624/2055920 swapFree=4180096/4192956
[pid=20569] ppid=20567 vsize=915332 CPUtime=0.42
/proc/20569/stat : 20569 (java) R 20567 20569 20335 0 -1 0 6256 0 1 0 38 4 0 0 18 0 8 0 272354367 937299968 5995 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20569/statm: 228833 5995 2139 14 0 215303 0
Current children cumulated CPU time (s) 0.42
Current children cumulated vsize (KiB) 915332
[startup+1.33729 s]
/proc/loadavg: 1.92 1.95 1.69 3/100 20577
/proc/meminfo: memFree=1303232/2055920 swapFree=4180096/4192956
[pid=20569] ppid=20567 vsize=915444 CPUtime=1.24
/proc/20569/stat : 20569 (java) R 20567 20569 20335 0 -1 0 14255 0 1 0 115 9 0 0 24 0 8 0 272354367 937414656 13993 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073677932 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20569/statm: 228861 13993 2476 14 0 215331 0
[pid=20569/tid=20571] ppid=20567 vsize=915444 CPUtime=0.03
/proc/20569/task/20571/stat : 20571 (java) S 20567 20569 20335 0 -1 64 615 0 0 0 3 0 0 0 17 0 8 0 272354371 937414656 13993 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20569/tid=20572] ppid=20567 vsize=915444 CPUtime=0
/proc/20569/task/20572/stat : 20572 (java) S 20567 20569 20335 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 272354372 937414656 13993 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20569/tid=20573] ppid=20567 vsize=915444 CPUtime=0
/proc/20569/task/20573/stat : 20573 (java) S 20567 20569 20335 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272354372 937414656 13993 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20569/tid=20574] ppid=20567 vsize=915444 CPUtime=0
/proc/20569/task/20574/stat : 20574 (java) S 20567 20569 20335 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 272354375 937414656 13993 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20569/tid=20575] ppid=20567 vsize=915444 CPUtime=0.12
/proc/20569/task/20575/stat : 20575 (java) S 20567 20569 20335 0 -1 64 330 0 0 0 12 0 0 0 16 0 8 0 272354375 937414656 13993 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20569/tid=20576] ppid=20567 vsize=915444 CPUtime=0
/proc/20569/task/20576/stat : 20576 (java) S 20567 20569 20335 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 272354375 937414656 13993 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20569/tid=20577] ppid=20567 vsize=915444 CPUtime=0
/proc/20569/task/20577/stat : 20577 (java) S 20567 20569 20335 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 272354375 937414656 13993 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.24
Current children cumulated vsize (KiB) 915444
[startup+2.98547 s]
/proc/loadavg: 1.92 1.95 1.69 3/100 20577
/proc/meminfo: memFree=1303040/2055920 swapFree=4180096/4192956
[pid=20569] ppid=20567 vsize=915444 CPUtime=2.87
/proc/20569/stat : 20569 (java) R 20567 20569 20335 0 -1 0 14261 0 1 0 270 17 0 0 25 0 8 0 272354367 937414656 13998 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073683752 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20569/statm: 228861 13998 2476 14 0 215331 0
[pid=20569/tid=20571] ppid=20567 vsize=915444 CPUtime=0.03
/proc/20569/task/20571/stat : 20571 (java) S 20567 20569 20335 0 -1 64 615 0 0 0 3 0 0 0 17 0 8 0 272354371 937414656 13998 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20569/tid=20572] ppid=20567 vsize=915444 CPUtime=0
/proc/20569/task/20572/stat : 20572 (java) S 20567 20569 20335 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 272354372 937414656 13998 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20569/tid=20573] ppid=20567 vsize=915444 CPUtime=0
/proc/20569/task/20573/stat : 20573 (java) S 20567 20569 20335 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272354372 937414656 13998 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20569/tid=20574] ppid=20567 vsize=915444 CPUtime=0
/proc/20569/task/20574/stat : 20574 (java) S 20567 20569 20335 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 272354375 937414656 13998 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20569/tid=20575] ppid=20567 vsize=915444 CPUtime=0.13
/proc/20569/task/20575/stat : 20575 (java) S 20567 20569 20335 0 -1 64 335 0 0 0 13 0 0 0 15 0 8 0 272354375 937414656 13998 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20569/tid=20576] ppid=20567 vsize=915444 CPUtime=0
/proc/20569/task/20576/stat : 20576 (java) S 20567 20569 20335 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 272354375 937414656 13998 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20569/tid=20577] ppid=20567 vsize=915444 CPUtime=0
/proc/20569/task/20577/stat : 20577 (java) S 20567 20569 20335 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 272354375 937414656 13998 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.87
Current children cumulated vsize (KiB) 915444
[startup+6.26483 s]
/proc/loadavg: 1.93 1.95 1.69 3/100 20577
/proc/meminfo: memFree=1303040/2055920 swapFree=4180096/4192956
[pid=20569] ppid=20567 vsize=915444 CPUtime=6.12
/proc/20569/stat : 20569 (java) R 20567 20569 20335 0 -1 0 14261 0 1 0 582 30 0 0 25 0 8 0 272354367 937414656 13998 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073678083 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20569/statm: 228861 13998 2476 14 0 215331 0
[pid=20569/tid=20571] ppid=20567 vsize=915444 CPUtime=0.03
/proc/20569/task/20571/stat : 20571 (java) S 20567 20569 20335 0 -1 64 615 0 0 0 3 0 0 0 16 0 8 0 272354371 937414656 13998 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20569/tid=20572] ppid=20567 vsize=915444 CPUtime=0
/proc/20569/task/20572/stat : 20572 (java) S 20567 20569 20335 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 272354372 937414656 13998 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20569/tid=20573] ppid=20567 vsize=915444 CPUtime=0
/proc/20569/task/20573/stat : 20573 (java) S 20567 20569 20335 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272354372 937414656 13998 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20569/tid=20574] ppid=20567 vsize=915444 CPUtime=0
/proc/20569/task/20574/stat : 20574 (java) S 20567 20569 20335 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 272354375 937414656 13998 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20569/tid=20575] ppid=20567 vsize=915444 CPUtime=0.13
/proc/20569/task/20575/stat : 20575 (java) S 20567 20569 20335 0 -1 64 335 0 0 0 13 0 0 0 15 0 8 0 272354375 937414656 13998 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20569/tid=20576] ppid=20567 vsize=915444 CPUtime=0
/proc/20569/task/20576/stat : 20576 (java) S 20567 20569 20335 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 272354375 937414656 13998 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20569/tid=20577] ppid=20567 vsize=915444 CPUtime=0
/proc/20569/task/20577/stat : 20577 (java) S 20567 20569 20335 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 272354375 937414656 13998 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.12
Current children cumulated vsize (KiB) 915444
[startup+12.7535 s]
/proc/loadavg: 1.93 1.95 1.69 3/100 20577
/proc/meminfo: memFree=1303048/2055920 swapFree=4180096/4192956
[pid=20569] ppid=20567 vsize=915444 CPUtime=12.54
/proc/20569/stat : 20569 (java) R 20567 20569 20335 0 -1 0 14263 0 1 0 1201 53 0 0 25 0 8 0 272354367 937414656 14000 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073683787 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20569/statm: 228861 14000 2476 14 0 215331 0
[pid=20569/tid=20571] ppid=20567 vsize=915444 CPUtime=0.03
/proc/20569/task/20571/stat : 20571 (java) S 20567 20569 20335 0 -1 64 615 0 0 0 3 0 0 0 16 0 8 0 272354371 937414656 14000 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20569/tid=20572] ppid=20567 vsize=915444 CPUtime=0
/proc/20569/task/20572/stat : 20572 (java) S 20567 20569 20335 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 272354372 937414656 14000 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20569/tid=20573] ppid=20567 vsize=915444 CPUtime=0
/proc/20569/task/20573/stat : 20573 (java) S 20567 20569 20335 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272354372 937414656 14000 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20569/tid=20574] ppid=20567 vsize=915444 CPUtime=0
/proc/20569/task/20574/stat : 20574 (java) S 20567 20569 20335 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 272354375 937414656 14000 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20569/tid=20575] ppid=20567 vsize=915444 CPUtime=0.13
/proc/20569/task/20575/stat : 20575 (java) S 20567 20569 20335 0 -1 64 337 0 0 0 13 0 0 0 16 0 8 0 272354375 937414656 14000 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20569/tid=20576] ppid=20567 vsize=915444 CPUtime=0
/proc/20569/task/20576/stat : 20576 (java) S 20567 20569 20335 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 272354375 937414656 14000 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20569/tid=20577] ppid=20567 vsize=915444 CPUtime=0
/proc/20569/task/20577/stat : 20577 (java) S 20567 20569 20335 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 272354375 937414656 14000 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.54
Current children cumulated vsize (KiB) 915444
[startup+25.5999 s]
/proc/loadavg: 1.95 1.96 1.69 3/100 20577
/proc/meminfo: memFree=1303240/2055920 swapFree=4180096/4192956
[pid=20569] ppid=20567 vsize=915444 CPUtime=25.28
/proc/20569/stat : 20569 (java) R 20567 20569 20335 0 -1 0 14263 0 1 0 2423 105 0 0 25 0 8 0 272354367 937414656 14000 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073683773 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20569/statm: 228861 14000 2476 14 0 215331 0
[pid=20569/tid=20571] ppid=20567 vsize=915444 CPUtime=0.03
/proc/20569/task/20571/stat : 20571 (java) S 20567 20569 20335 0 -1 64 615 0 0 0 3 0 0 0 16 0 8 0 272354371 937414656 14000 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20569/tid=20572] ppid=20567 vsize=915444 CPUtime=0
/proc/20569/task/20572/stat : 20572 (java) S 20567 20569 20335 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 272354372 937414656 14000 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20569/tid=20573] ppid=20567 vsize=915444 CPUtime=0
/proc/20569/task/20573/stat : 20573 (java) S 20567 20569 20335 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272354372 937414656 14000 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20569/tid=20574] ppid=20567 vsize=915444 CPUtime=0
/proc/20569/task/20574/stat : 20574 (java) S 20567 20569 20335 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 272354375 937414656 14000 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20569/tid=20575] ppid=20567 vsize=915444 CPUtime=0.13
/proc/20569/task/20575/stat : 20575 (java) S 20567 20569 20335 0 -1 64 337 0 0 0 13 0 0 0 16 0 8 0 272354375 937414656 14000 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20569/tid=20576] ppid=20567 vsize=915444 CPUtime=0
/proc/20569/task/20576/stat : 20576 (java) S 20567 20569 20335 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 272354375 937414656 14000 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20569/tid=20577] ppid=20567 vsize=915444 CPUtime=0
/proc/20569/task/20577/stat : 20577 (java) S 20567 20569 20335 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 272354375 937414656 14000 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.28
Current children cumulated vsize (KiB) 915444
[startup+51.2157 s]
/proc/loadavg: 1.96 1.96 1.70 3/100 20577
/proc/meminfo: memFree=1302920/2055920 swapFree=4180096/4192956
[pid=20569] ppid=20567 vsize=915444 CPUtime=50.65
/proc/20569/stat : 20569 (java) R 20567 20569 20335 0 -1 0 14422 0 1 0 4935 130 0 0 25 0 8 0 272354367 937414656 14150 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073675422 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20569/statm: 228861 14150 2527 14 0 215331 0
[pid=20569/tid=20571] ppid=20567 vsize=915444 CPUtime=0.03
/proc/20569/task/20571/stat : 20571 (java) S 20567 20569 20335 0 -1 64 616 0 0 0 3 0 0 0 16 0 8 0 272354371 937414656 14150 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20569/tid=20572] ppid=20567 vsize=915444 CPUtime=0
/proc/20569/task/20572/stat : 20572 (java) S 20567 20569 20335 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 272354372 937414656 14150 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20569/tid=20573] ppid=20567 vsize=915444 CPUtime=0
/proc/20569/task/20573/stat : 20573 (java) S 20567 20569 20335 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272354372 937414656 14150 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20569/tid=20574] ppid=20567 vsize=915444 CPUtime=0
/proc/20569/task/20574/stat : 20574 (java) S 20567 20569 20335 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 272354375 937414656 14150 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20569/tid=20575] ppid=20567 vsize=915444 CPUtime=0.23
/proc/20569/task/20575/stat : 20575 (java) S 20567 20569 20335 0 -1 64 394 0 0 0 22 1 0 0 16 0 8 0 272354375 937414656 14150 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20569/tid=20576] ppid=20567 vsize=915444 CPUtime=0
/proc/20569/task/20576/stat : 20576 (java) S 20567 20569 20335 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 272354375 937414656 14150 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20569/tid=20577] ppid=20567 vsize=915444 CPUtime=0
/proc/20569/task/20577/stat : 20577 (java) S 20567 20569 20335 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 272354375 937414656 14150 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.65
Current children cumulated vsize (KiB) 915444
[startup+102.432 s]
/proc/loadavg: 1.98 1.96 1.72 3/100 20577
/proc/meminfo: memFree=1302984/2055920 swapFree=4180096/4192956
[pid=20569] ppid=20567 vsize=915444 CPUtime=101.4
/proc/20569/stat : 20569 (java) R 20567 20569 20335 0 -1 0 14423 0 1 0 10010 130 0 0 25 0 8 0 272354367 937414656 14150 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073799953 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20569/statm: 228861 14150 2527 14 0 215331 0
[pid=20569/tid=20571] ppid=20567 vsize=915444 CPUtime=0.03
/proc/20569/task/20571/stat : 20571 (java) S 20567 20569 20335 0 -1 64 616 0 0 0 3 0 0 0 16 0 8 0 272354371 937414656 14150 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20569/tid=20572] ppid=20567 vsize=915444 CPUtime=0
/proc/20569/task/20572/stat : 20572 (java) S 20567 20569 20335 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 272354372 937414656 14150 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20569/tid=20573] ppid=20567 vsize=915444 CPUtime=0
/proc/20569/task/20573/stat : 20573 (java) S 20567 20569 20335 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272354372 937414656 14150 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20569/tid=20574] ppid=20567 vsize=915444 CPUtime=0
/proc/20569/task/20574/stat : 20574 (java) S 20567 20569 20335 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 272354375 937414656 14150 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20569/tid=20575] ppid=20567 vsize=915444 CPUtime=0.23
/proc/20569/task/20575/stat : 20575 (java) S 20567 20569 20335 0 -1 64 394 0 0 0 22 1 0 0 16 0 8 0 272354375 937414656 14150 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20569/tid=20576] ppid=20567 vsize=915444 CPUtime=0
/proc/20569/task/20576/stat : 20576 (java) S 20567 20569 20335 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 272354375 937414656 14150 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20569/tid=20577] ppid=20567 vsize=915444 CPUtime=0
/proc/20569/task/20577/stat : 20577 (java) S 20567 20569 20335 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 272354375 937414656 14150 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.4
Current children cumulated vsize (KiB) 915444
[startup+162.496 s]
/proc/loadavg: 1.99 1.97 1.73 3/100 20577
/proc/meminfo: memFree=1302920/2055920 swapFree=4180096/4192956
[pid=20569] ppid=20567 vsize=915444 CPUtime=160.92
/proc/20569/stat : 20569 (java) R 20567 20569 20335 0 -1 0 14425 0 1 0 15961 131 0 0 25 0 8 0 272354367 937414656 14152 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073793924 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
################
# More data... #
################
/proc/20569/task/20574/stat : 20574 (java) S 20567 20569 20335 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 272354375 937414656 14153 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20569/tid=20575] ppid=20567 vsize=915444 CPUtime=0.23
/proc/20569/task/20575/stat : 20575 (java) S 20567 20569 20335 0 -1 64 397 0 0 0 22 1 0 0 16 0 8 0 272354375 937414656 14153 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20569/tid=20576] ppid=20567 vsize=915444 CPUtime=0
/proc/20569/task/20576/stat : 20576 (java) S 20567 20569 20335 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 272354375 937414656 14153 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20569/tid=20577] ppid=20567 vsize=915444 CPUtime=0
/proc/20569/task/20577/stat : 20577 (java) S 20567 20569 20335 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 272354375 937414656 14153 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1113.1
Current children cumulated vsize (KiB) 915444
[startup+1183.74 s]
/proc/loadavg: 2.03 2.02 1.90 3/100 20775
/proc/meminfo: memFree=1302536/2055920 swapFree=4180096/4192956
[pid=20569] ppid=20567 vsize=915444 CPUtime=1172.64
/proc/20569/stat : 20569 (java) R 20567 20569 20335 0 -1 0 14428 0 1 0 117124 140 0 0 25 0 8 0 272354367 937414656 14153 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072918514 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20569/statm: 228861 14153 2527 14 0 215331 0
[pid=20569/tid=20571] ppid=20567 vsize=915444 CPUtime=0.03
/proc/20569/task/20571/stat : 20571 (java) S 20567 20569 20335 0 -1 64 616 0 0 0 3 0 0 0 16 0 8 0 272354371 937414656 14153 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20569/tid=20572] ppid=20567 vsize=915444 CPUtime=0
/proc/20569/task/20572/stat : 20572 (java) S 20567 20569 20335 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 272354372 937414656 14153 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20569/tid=20573] ppid=20567 vsize=915444 CPUtime=0
/proc/20569/task/20573/stat : 20573 (java) S 20567 20569 20335 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272354372 937414656 14153 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20569/tid=20574] ppid=20567 vsize=915444 CPUtime=0
/proc/20569/task/20574/stat : 20574 (java) S 20567 20569 20335 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 272354375 937414656 14153 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20569/tid=20575] ppid=20567 vsize=915444 CPUtime=0.23
/proc/20569/task/20575/stat : 20575 (java) S 20567 20569 20335 0 -1 64 397 0 0 0 22 1 0 0 16 0 8 0 272354375 937414656 14153 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20569/tid=20576] ppid=20567 vsize=915444 CPUtime=0
/proc/20569/task/20576/stat : 20576 (java) S 20567 20569 20335 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 272354375 937414656 14153 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20569/tid=20577] ppid=20567 vsize=915444 CPUtime=0
/proc/20569/task/20577/stat : 20577 (java) S 20567 20569 20335 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 272354375 937414656 14153 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1172.64
Current children cumulated vsize (KiB) 915444
[startup+1243.82 s]
/proc/loadavg: 2.01 2.01 1.90 3/100 20775
/proc/meminfo: memFree=1302536/2055920 swapFree=4180096/4192956
[pid=20569] ppid=20567 vsize=915444 CPUtime=1232.16
/proc/20569/stat : 20569 (java) R 20567 20569 20335 0 -1 0 14428 0 1 0 123076 140 0 0 25 0 8 0 272354367 937414656 14153 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073793903 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20569/statm: 228861 14153 2527 14 0 215331 0
[pid=20569/tid=20571] ppid=20567 vsize=915444 CPUtime=0.03
/proc/20569/task/20571/stat : 20571 (java) S 20567 20569 20335 0 -1 64 616 0 0 0 3 0 0 0 16 0 8 0 272354371 937414656 14153 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20569/tid=20572] ppid=20567 vsize=915444 CPUtime=0
/proc/20569/task/20572/stat : 20572 (java) S 20567 20569 20335 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 272354372 937414656 14153 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20569/tid=20573] ppid=20567 vsize=915444 CPUtime=0
/proc/20569/task/20573/stat : 20573 (java) S 20567 20569 20335 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272354372 937414656 14153 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20569/tid=20574] ppid=20567 vsize=915444 CPUtime=0
/proc/20569/task/20574/stat : 20574 (java) S 20567 20569 20335 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 272354375 937414656 14153 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20569/tid=20575] ppid=20567 vsize=915444 CPUtime=0.23
/proc/20569/task/20575/stat : 20575 (java) S 20567 20569 20335 0 -1 64 397 0 0 0 22 1 0 0 16 0 8 0 272354375 937414656 14153 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20569/tid=20576] ppid=20567 vsize=915444 CPUtime=0
/proc/20569/task/20576/stat : 20576 (java) S 20567 20569 20335 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 272354375 937414656 14153 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20569/tid=20577] ppid=20567 vsize=915444 CPUtime=0
/proc/20569/task/20577/stat : 20577 (java) S 20567 20569 20335 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 272354375 937414656 14153 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1232.16
Current children cumulated vsize (KiB) 915444
[startup+1303.89 s]
/proc/loadavg: 2.00 2.01 1.91 3/100 20775
/proc/meminfo: memFree=1302600/2055920 swapFree=4180096/4192956
[pid=20569] ppid=20567 vsize=915444 CPUtime=1291.69
/proc/20569/stat : 20569 (java) R 20567 20569 20335 0 -1 0 14428 0 1 0 129028 141 0 0 25 0 8 0 272354367 937414656 14153 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073787697 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20569/statm: 228861 14153 2527 14 0 215331 0
[pid=20569/tid=20571] ppid=20567 vsize=915444 CPUtime=0.03
/proc/20569/task/20571/stat : 20571 (java) S 20567 20569 20335 0 -1 64 616 0 0 0 3 0 0 0 16 0 8 0 272354371 937414656 14153 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20569/tid=20572] ppid=20567 vsize=915444 CPUtime=0
/proc/20569/task/20572/stat : 20572 (java) S 20567 20569 20335 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 272354372 937414656 14153 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20569/tid=20573] ppid=20567 vsize=915444 CPUtime=0
/proc/20569/task/20573/stat : 20573 (java) S 20567 20569 20335 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272354372 937414656 14153 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20569/tid=20574] ppid=20567 vsize=915444 CPUtime=0
/proc/20569/task/20574/stat : 20574 (java) S 20567 20569 20335 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 272354375 937414656 14153 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20569/tid=20575] ppid=20567 vsize=915444 CPUtime=0.23
/proc/20569/task/20575/stat : 20575 (java) S 20567 20569 20335 0 -1 64 397 0 0 0 22 1 0 0 16 0 8 0 272354375 937414656 14153 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20569/tid=20576] ppid=20567 vsize=915444 CPUtime=0
/proc/20569/task/20576/stat : 20576 (java) S 20567 20569 20335 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 272354375 937414656 14153 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20569/tid=20577] ppid=20567 vsize=915444 CPUtime=0
/proc/20569/task/20577/stat : 20577 (java) S 20567 20569 20335 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 272354375 937414656 14153 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1291.69
Current children cumulated vsize (KiB) 915444
[startup+1363.97 s]
/proc/loadavg: 2.00 2.00 1.91 3/100 20775
/proc/meminfo: memFree=1302600/2055920 swapFree=4180096/4192956
[pid=20569] ppid=20567 vsize=915444 CPUtime=1351.21
/proc/20569/stat : 20569 (java) R 20567 20569 20335 0 -1 0 14428 0 1 0 134980 141 0 0 25 0 8 0 272354367 937414656 14153 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073800098 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20569/statm: 228861 14153 2527 14 0 215331 0
[pid=20569/tid=20571] ppid=20567 vsize=915444 CPUtime=0.03
/proc/20569/task/20571/stat : 20571 (java) S 20567 20569 20335 0 -1 64 616 0 0 0 3 0 0 0 16 0 8 0 272354371 937414656 14153 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20569/tid=20572] ppid=20567 vsize=915444 CPUtime=0
/proc/20569/task/20572/stat : 20572 (java) S 20567 20569 20335 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 272354372 937414656 14153 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20569/tid=20573] ppid=20567 vsize=915444 CPUtime=0
/proc/20569/task/20573/stat : 20573 (java) S 20567 20569 20335 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272354372 937414656 14153 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20569/tid=20574] ppid=20567 vsize=915444 CPUtime=0
/proc/20569/task/20574/stat : 20574 (java) S 20567 20569 20335 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 272354375 937414656 14153 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20569/tid=20575] ppid=20567 vsize=915444 CPUtime=0.23
/proc/20569/task/20575/stat : 20575 (java) S 20567 20569 20335 0 -1 64 397 0 0 0 22 1 0 0 16 0 8 0 272354375 937414656 14153 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20569/tid=20576] ppid=20567 vsize=915444 CPUtime=0
/proc/20569/task/20576/stat : 20576 (java) S 20567 20569 20335 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 272354375 937414656 14153 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20569/tid=20577] ppid=20567 vsize=915444 CPUtime=0
/proc/20569/task/20577/stat : 20577 (java) S 20567 20569 20335 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 272354375 937414656 14153 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1351.21
Current children cumulated vsize (KiB) 915444
[startup+1424.05 s]
/proc/loadavg: 2.00 2.00 1.91 3/100 20775
/proc/meminfo: memFree=1302664/2055920 swapFree=4180096/4192956
[pid=20569] ppid=20567 vsize=915444 CPUtime=1410.75
/proc/20569/stat : 20569 (java) R 20567 20569 20335 0 -1 0 14428 0 1 0 140933 142 0 0 25 0 8 0 272354367 937414656 14153 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073793124 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20569/statm: 228861 14153 2527 14 0 215331 0
[pid=20569/tid=20571] ppid=20567 vsize=915444 CPUtime=0.03
/proc/20569/task/20571/stat : 20571 (java) S 20567 20569 20335 0 -1 64 616 0 0 0 3 0 0 0 16 0 8 0 272354371 937414656 14153 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20569/tid=20572] ppid=20567 vsize=915444 CPUtime=0
/proc/20569/task/20572/stat : 20572 (java) S 20567 20569 20335 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 272354372 937414656 14153 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20569/tid=20573] ppid=20567 vsize=915444 CPUtime=0
/proc/20569/task/20573/stat : 20573 (java) S 20567 20569 20335 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272354372 937414656 14153 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20569/tid=20574] ppid=20567 vsize=915444 CPUtime=0
/proc/20569/task/20574/stat : 20574 (java) S 20567 20569 20335 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 272354375 937414656 14153 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20569/tid=20575] ppid=20567 vsize=915444 CPUtime=0.23
/proc/20569/task/20575/stat : 20575 (java) S 20567 20569 20335 0 -1 64 397 0 0 0 22 1 0 0 16 0 8 0 272354375 937414656 14153 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20569/tid=20576] ppid=20567 vsize=915444 CPUtime=0
/proc/20569/task/20576/stat : 20576 (java) S 20567 20569 20335 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 272354375 937414656 14153 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20569/tid=20577] ppid=20567 vsize=915444 CPUtime=0
/proc/20569/task/20577/stat : 20577 (java) S 20567 20569 20335 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 272354375 937414656 14153 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1410.75
Current children cumulated vsize (KiB) 915444
[startup+1484.12 s]
/proc/loadavg: 2.07 2.02 1.91 3/100 20775
/proc/meminfo: memFree=1302600/2055920 swapFree=4180096/4192956
[pid=20569] ppid=20567 vsize=915444 CPUtime=1470.27
/proc/20569/stat : 20569 (java) R 20567 20569 20335 0 -1 0 14428 0 1 0 146885 142 0 0 25 0 8 0 272354367 937414656 14153 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073800089 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20569/statm: 228861 14153 2527 14 0 215331 0
[pid=20569/tid=20571] ppid=20567 vsize=915444 CPUtime=0.03
/proc/20569/task/20571/stat : 20571 (java) S 20567 20569 20335 0 -1 64 616 0 0 0 3 0 0 0 16 0 8 0 272354371 937414656 14153 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20569/tid=20572] ppid=20567 vsize=915444 CPUtime=0
/proc/20569/task/20572/stat : 20572 (java) S 20567 20569 20335 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 272354372 937414656 14153 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20569/tid=20573] ppid=20567 vsize=915444 CPUtime=0
/proc/20569/task/20573/stat : 20573 (java) S 20567 20569 20335 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272354372 937414656 14153 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20569/tid=20574] ppid=20567 vsize=915444 CPUtime=0
/proc/20569/task/20574/stat : 20574 (java) S 20567 20569 20335 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 272354375 937414656 14153 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20569/tid=20575] ppid=20567 vsize=915444 CPUtime=0.23
/proc/20569/task/20575/stat : 20575 (java) S 20567 20569 20335 0 -1 64 397 0 0 0 22 1 0 0 16 0 8 0 272354375 937414656 14153 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20569/tid=20576] ppid=20567 vsize=915444 CPUtime=0
/proc/20569/task/20576/stat : 20576 (java) S 20567 20569 20335 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 272354375 937414656 14153 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20569/tid=20577] ppid=20567 vsize=915444 CPUtime=0
/proc/20569/task/20577/stat : 20577 (java) S 20567 20569 20335 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 272354375 937414656 14153 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1470.27
Current children cumulated vsize (KiB) 915444
[startup+1544.2 s]
/proc/loadavg: 2.10 2.03 1.92 4/100 20775
/proc/meminfo: memFree=1302664/2055920 swapFree=4180096/4192956
[pid=20569] ppid=20567 vsize=915444 CPUtime=1529.8
/proc/20569/stat : 20569 (java) R 20567 20569 20335 0 -1 0 14428 0 1 0 152837 143 0 0 25 0 8 0 272354367 937414656 14153 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073793120 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20569/statm: 228861 14153 2527 14 0 215331 0
[pid=20569/tid=20571] ppid=20567 vsize=915444 CPUtime=0.03
/proc/20569/task/20571/stat : 20571 (java) S 20567 20569 20335 0 -1 64 616 0 0 0 3 0 0 0 16 0 8 0 272354371 937414656 14153 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20569/tid=20572] ppid=20567 vsize=915444 CPUtime=0
/proc/20569/task/20572/stat : 20572 (java) S 20567 20569 20335 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 272354372 937414656 14153 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20569/tid=20573] ppid=20567 vsize=915444 CPUtime=0
/proc/20569/task/20573/stat : 20573 (java) S 20567 20569 20335 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272354372 937414656 14153 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20569/tid=20574] ppid=20567 vsize=915444 CPUtime=0
/proc/20569/task/20574/stat : 20574 (java) S 20567 20569 20335 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 272354375 937414656 14153 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20569/tid=20575] ppid=20567 vsize=915444 CPUtime=0.23
/proc/20569/task/20575/stat : 20575 (java) S 20567 20569 20335 0 -1 64 397 0 0 0 22 1 0 0 16 0 8 0 272354375 937414656 14153 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20569/tid=20576] ppid=20567 vsize=915444 CPUtime=0
/proc/20569/task/20576/stat : 20576 (java) S 20567 20569 20335 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 272354375 937414656 14153 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20569/tid=20577] ppid=20567 vsize=915444 CPUtime=0
/proc/20569/task/20577/stat : 20577 (java) S 20567 20569 20335 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 272354375 937414656 14153 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1529.8
Current children cumulated vsize (KiB) 915444
Child status: 0
Real time (s): 1581.78
CPU time (s): 1567.01
CPU user time (s): 1565.56
CPU system time (s): 1.44678
CPU usage (%): 99.0658
Max. virtual memory (cumulated for all children) (KiB): 915960
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1565.56
system time used= 1.44678
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14441
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= 33161
involuntary context switches= 79071
runsolver used 1.70874 s user time and 5.29819 s system time
The end
Begin job on node24 on Fri Jan 19 20:46:31 UTC 2007
IDJOB= 276527
IDBENCH= 5838
IDSOLVER= 69
FILE ID= node24/276527-1169239591
PBS_JOBID= 3589321
Free space on /tmp= 66559 MiB
SOLVER NAME= AbsconMax 109 PFC
BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.9/rand-2-40-180-84-900-23_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/276527-1169239591/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node24/watcher-276527-1169239591 -o ROOT/results/node24/solver-276527-1169239591 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/276527-1169239591/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= f5042e2ed2d3e0b87ed40f3a4d9f65a1
RANDOM SEED= 550138838
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.234
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.234
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: 1350104 kB
Buffers: 43780 kB
Cached: 514512 kB
SwapCached: 600 kB
Active: 193992 kB
Inactive: 442016 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1350104 kB
SwapTotal: 4192956 kB
SwapFree: 4180096 kB
Dirty: 3504 kB
Writeback: 0 kB
Mapped: 104772 kB
Slab: 54432 kB
Committed_AS: 6097040 kB
PageTables: 2468 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= 66559 MiB
End job on node24 on Fri Jan 19 21:12:53 UTC 2007