0.30
0.30 Abscon 109 (November, 2006)
0.30
0.30 configuration
0.30 name=epfc.xml
0.34
0.34 instance
0.34 name=/tmp/evaluation/276454-1169237881/unknown.xml
0.36
0.36 domains being loaded...
0.37
0.37 variables being loaded...
0.40 nbVariables=40 nbDomainTypes=1 minDomainSize=80 maxDomainSize=80
0.40 => wckTime=0.095 cpuTime=0.08 mem=6M887
0.40
0.40 relations being loaded...
0.58
0.58 constraints being loaded...
0.66 nbConstraints=103 nbRelationTypes=103 nbExtensionStructures=103 nbSharedExtensionStructures=0
0.66 nbConflictsStructures=103 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=0 maxDegree=10 maxArity=2
0.66 => wckTime=0.353 cpuTime=0.29 mem=21M663
0.71
0.71 solver LocalSearchSolver being built...
0.75 => wckTime=0.44 cpuTime=0.33 mem=6M328
0.76
0.76 s SATISFIABLE
0.76 o 24
0.76 c 79
0.76 o 29
0.76 c 74
0.76 o 32
0.76 c 71
0.76 o 36
0.76 c 67
0.76 o 40
0.76 c 63
0.76 o 44
0.76 c 59
0.76 o 48
0.76 c 55
0.77 o 51
0.77 c 52
0.77 o 55
0.77 c 48
0.77 o 57
0.77 c 46
0.77 o 60
0.77 c 43
0.77 o 62
0.77 c 41
0.77 o 64
0.77 c 39
0.77 o 66
0.77 c 37
0.77 o 68
0.77 c 35
0.77 o 70
0.77 c 33
0.77 o 73
0.77 c 30
0.77 o 76
0.77 c 27
0.77 o 77
0.77 c 26
0.77 o 79
0.77 c 24
0.78 o 80
0.78 c 23
0.78 o 81
0.78 c 22
0.78 o 82
0.78 c 21
0.78 o 83
0.78 c 20
0.79 o 84
0.79 c 19
0.80 o 85
0.80 c 18
0.80 o 86
0.80 c 17
0.80 o 87
0.80 c 16
0.80 o 88
0.80 c 15
0.81 o 89
0.81 c 14
0.81 o 90
0.81 c 13
0.82 o 91
0.82 c 12
0.82 o 92
0.82 c 11
0.83 o 93
0.83 c 10
0.91 o 94
0.91 c 9
0.91 o 95
0.91 c 8
0.95 o 96
0.95 c 7
0.95 o 97
0.96 c 6
0.96 o 98
0.96 c 5
1.08 o 99
1.08 c 4
5.81
5.82 search
5.82 run=0 nbConstraintChecks=43538740 nbAssignments=10000
5.82 => wckTime=5.068 cpuTime=5.05 mem=6M328
11.32
11.32 search
11.32 run=1 nbConstraintChecks=89308772 nbAssignments=20000
11.32 => wckTime=10.576 cpuTime=10.54 mem=6M328
16.53
16.53 search
16.53 run=2 nbConstraintChecks=133536634 nbAssignments=30000
16.53 => wckTime=15.779 cpuTime=15.75 mem=6M328
22.27
22.27 search
22.27 run=3 nbConstraintChecks=182878398 nbAssignments=40000
22.27 => wckTime=21.524 cpuTime=21.49 mem=6M328
27.52
27.52 search
27.52 run=4 nbConstraintChecks=226929545 nbAssignments=50000
27.52 => wckTime=26.774 cpuTime=26.72 mem=6M328
31.12
31.12 search
31.12 run=5 nbConstraintChecks=257541866 nbAssignments=56310
31.12 => wckTime=30.377 cpuTime=30.33 mem=6M328
31.13
31.13 global
31.13 nbConstraintChecks=257541866 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
31.13 solvingWckTime=30.373 solvingCpuTime=30.33 expiredTime=no totalExploration=no nbFoundSolutions=0
31.13 globalCpuTime=30.72
31.13 => wckTime=30.818 cpuTime=30.66 mem=6M328
31.13
31.13 solver IterativeSystematicSolver being built...
31.24 => wckTime=30.935 cpuTime=30.75 mem=17M269
31.33
31.33 preprocessing
31.33 nbConstraintChecks=190010 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
31.33 detectedInconsistency=no
31.33 => wckTime=0.086 cpuTime=0.06 mem=17M269
32.16
32.16 search
32.16 run=0 nbConstraintChecks=4988954 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=414
32.16 nbFailedAssignments=393 nbBacktracks=10 nbVisitedNodes=818 nbRestartNogoods=0
32.16 => wckTime=0.91 cpuTime=0.88 mem=17M269
32.97
32.97 search
32.97 run=1 nbConstraintChecks=10139745 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=943
32.97 nbFailedAssignments=898 nbBacktracks=25 nbVisitedNodes=1867 nbRestartNogoods=126
32.97 => wckTime=1.728 cpuTime=1.68 mem=17M269
33.96
33.96 search
33.96 run=2 nbConstraintChecks=16001049 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1513
33.96 nbFailedAssignments=1438 nbBacktracks=47 nbVisitedNodes=2999 nbRestartNogoods=142
33.96 => wckTime=2.714 cpuTime=2.65 mem=17M269
34.97
34.97 search
34.97 run=3 nbConstraintChecks=22560943 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2220
34.97 nbFailedAssignments=2102 nbBacktracks=80 nbVisitedNodes=4403 nbRestartNogoods=218
34.97 => wckTime=3.726 cpuTime=3.66 mem=17M269
35.92
35.92 search
35.92 run=4 nbConstraintChecks=26994684 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2711
35.92 nbFailedAssignments=2530 nbBacktracks=130 nbVisitedNodes=5372 nbRestartNogoods=270
35.92 => wckTime=4.681 cpuTime=4.61 mem=17M269
39.88
39.88 search
39.88 run=5 nbConstraintChecks=49556764 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=4965
39.88 nbFailedAssignments=4703 nbBacktracks=205 nbVisitedNodes=9874 nbRestartNogoods=328
39.88 => wckTime=8.638 cpuTime=8.56 mem=17M269
42.70
42.70 search
42.70 run=6 nbConstraintChecks=67065476 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=6482
42.70 nbFailedAssignments=6098 nbBacktracks=318 nbVisitedNodes=12899 nbRestartNogoods=393
42.70 => wckTime=11.454 cpuTime=11.38 mem=17M269
49.69
49.69 search
49.69 run=7 nbConstraintChecks=108772275 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=10025
49.69 nbFailedAssignments=9462 nbBacktracks=488 nbVisitedNodes=19973 nbRestartNogoods=488
49.69 => wckTime=18.451 cpuTime=18.37 mem=17M269
55.87
55.87 search
55.87 run=8 nbConstraintChecks=149070009 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=13938
55.87 nbFailedAssignments=13109 nbBacktracks=744 nbVisitedNodes=27789 nbRestartNogoods=581
55.87 => wckTime=24.631 cpuTime=24.54 mem=17M269
60.86
60.86 search
60.86 run=9 nbConstraintChecks=177728808 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=17655
60.86 nbFailedAssignments=16428 nbBacktracks=1128 nbVisitedNodes=35209 nbRestartNogoods=725
60.86 => wckTime=29.613 cpuTime=29.52 mem=17M269
67.55
67.55 search
67.55 run=10 nbConstraintChecks=214976940 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=22365
67.55 nbFailedAssignments=20552 nbBacktracks=1704 nbVisitedNodes=44619 nbRestartNogoods=818
67.55 => wckTime=36.303 cpuTime=36.21 mem=17M269
92.41
92.41 search
92.41 run=11 nbConstraintChecks=350198492 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=36698
92.41 nbFailedAssignments=34010 nbBacktracks=2568 nbVisitedNodes=73274 nbRestartNogoods=951
92.41 => wckTime=61.168 cpuTime=61.07 mem=17M269
126.22
126.22 search
126.22 run=12 nbConstraintChecks=544915248 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=54388
126.22 nbFailedAssignments=50396 nbBacktracks=3865 nbVisitedNodes=108646 nbRestartNogoods=1007
126.22 => wckTime=94.974 cpuTime=94.86 mem=17M269
166.87
166.87 search
166.87 run=13 nbConstraintChecks=775280120 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=75180
166.87 nbFailedAssignments=69229 nbBacktracks=5811 nbVisitedNodes=150189 nbRestartNogoods=1028
166.87 => wckTime=135.625 cpuTime=135.5 mem=17M269
214.73
214.73 search
214.73 run=14 nbConstraintChecks=1033550785 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=101992
214.73 nbFailedAssignments=93114 nbBacktracks=8730 nbVisitedNodes=203657 nbRestartNogoods=1109
214.73 => wckTime=183.491 cpuTime=183.35 mem=17M269
282.87
282.87 search
282.87 run=15 nbConstraintChecks=1375922883 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=131804
282.87 nbFailedAssignments=118542 nbBacktracks=13108 nbVisitedNodes=263195 nbRestartNogoods=1147
282.87 => wckTime=251.629 cpuTime=251.47 mem=17M269
359.84
359.84 search
359.84 run=16 nbConstraintChecks=1716970077 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=162738
359.84 nbFailedAssignments=142902 nbBacktracks=19676 nbVisitedNodes=324580 nbRestartNogoods=1185
359.84 => wckTime=328.601 cpuTime=328.42 mem=17M269
483.91
483.91 search
483.91 run=17 nbConstraintChecks=2304251877 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=210990
483.91 nbFailedAssignments=181293 nbBacktracks=29529 nbVisitedNodes=420338 nbRestartNogoods=1211
483.91 => wckTime=452.67 cpuTime=452.46 mem=17M269
625.13
625.13 search
625.13 run=18 nbConstraintChecks=2932627091 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=264130
625.13 nbFailedAssignments=219648 nbBacktracks=44307 nbVisitedNodes=525373 nbRestartNogoods=1269
625.13 => wckTime=593.891 cpuTime=593.64 mem=17M269
676.41 o 100
676.41 c 3
761.48 o 101
761.48 c 2
816.76
816.76 search
816.76 run=19 nbConstraintChecks=3707788063 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=332911
816.76 nbFailedAssignments=266247 nbBacktracks=66476 nbVisitedNodes=659253 nbRestartNogoods=1277
816.76 => wckTime=785.516 cpuTime=785.21 mem=17M269
1134.47
1134.47 search
1134.47 run=20 nbConstraintChecks=4918755248 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=440230
1134.47 nbFailedAssignments=340312 nbBacktracks=99728 nbVisitedNodes=866311 nbRestartNogoods=1329
1134.47 => wckTime=1103.231 cpuTime=1102.82 mem=17M269
1237.90 o 102
1237.90 c 1
1460.91
1460.91 search
1460.91 run=21 nbConstraintChecks=6109739608 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=546366
1460.91 nbFailedAssignments=406124 nbBacktracks=140052 nbVisitedNodes=1056705 nbRestartNogoods=1436
1460.91 => wckTime=1429.664 cpuTime=1429.17 mem=17M269
1460.91
1460.91 global
1460.91 nbConstraintChecks=6109929618 nbRestartNogoods=1436 solvingWckTime=1429.665 solvingCpuTime=1429.17
1460.91 expiredTime=no totalExploration=yes nbFoundSolutions=3 globalCpuTime=1459.99
1460.91 => wckTime=1460.601 cpuTime=1459.93 mem=17M269
1460.91
1460.91 s OPTIMUM FOUND
1460.91 v 78 23 68 18 53 55 6 75 55 42 61 62 1 62 0 61 12 41 55 47 10 8 7 3 16 39 29 43 8 34 20 43 12 43 9 2 3 37 38 52
1460.91
1460.91 totalWckTime=1460.677 totalCpuTime=1459.99
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node68/watcher-276454-1169237881 -o ROOT/results/node68/solver-276454-1169237881 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/276454-1169237881/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.00 1.00 1.12 3/65 21457
/proc/meminfo: memFree=1481152/2055920 swapFree=4192812/4192956
[pid=21456] ppid=21454 vsize=1784 CPUtime=0
/proc/21456/stat : 21456 (java) R 21454 21456 20371 0 -1 0 148 0 0 0 0 0 0 0 19 0 1 0 71285073 1826816 120 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 134549483 0 0 4096 0 0 0 0 17 1 0 0
/proc/21456/statm: 446 124 92 14 0 91 0
[startup+0.103873 s]
/proc/loadavg: 1.00 1.00 1.12 3/65 21457
/proc/meminfo: memFree=1481152/2055920 swapFree=4192812/4192956
[pid=21456] ppid=21454 vsize=913764 CPUtime=0.06
/proc/21456/stat : 21456 (java) S 21454 21456 20371 0 -1 0 2807 0 1 0 5 1 0 0 18 0 8 0 71285073 935694336 2553 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21456/statm: 228441 2553 1390 14 0 215342 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 913764
[startup+0.511909 s]
/proc/loadavg: 1.00 1.00 1.12 3/65 21457
/proc/meminfo: memFree=1481152/2055920 swapFree=4192812/4192956
[pid=21456] ppid=21454 vsize=916084 CPUtime=0.48
/proc/21456/stat : 21456 (java) R 21454 21456 20371 0 -1 0 7670 0 1 0 43 5 0 0 16 0 8 0 71285073 938070016 7409 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073445322 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21456/statm: 229021 7409 2142 14 0 215491 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 916084
[startup+1.33317 s]
/proc/loadavg: 1.00 1.00 1.12 2/72 21464
/proc/meminfo: memFree=1449928/2055920 swapFree=4192812/4192956
[pid=21456] ppid=21454 vsize=916084 CPUtime=1.3
/proc/21456/stat : 21456 (java) R 21454 21456 20371 0 -1 0 10450 0 1 0 119 11 0 0 18 0 8 0 71285073 938070016 10188 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21456/statm: 229021 10188 2479 14 0 215491 0
[pid=21456/tid=21458] ppid=21454 vsize=916084 CPUtime=0.03
/proc/21456/task/21458/stat : 21458 (java) S 21454 21456 20371 0 -1 64 357 0 0 0 3 0 0 0 17 0 8 0 71285077 938070016 10188 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21456/tid=21459] ppid=21454 vsize=916088 CPUtime=0
/proc/21456/task/21459/stat : 21459 (java) S 21454 21456 20371 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 71285077 938074112 10188 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21456/tid=21460] ppid=21454 vsize=916084 CPUtime=0
/proc/21456/task/21460/stat : 21460 (java) S 21454 21456 20371 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 71285077 938070016 10188 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21456/tid=21461] ppid=21454 vsize=916084 CPUtime=0
/proc/21456/task/21461/stat : 21461 (java) S 21454 21456 20371 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 71285081 938070016 10188 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21456/tid=21462] ppid=21454 vsize=916084 CPUtime=0.11
/proc/21456/task/21462/stat : 21462 (java) S 21454 21456 20371 0 -1 64 336 0 0 0 11 0 0 0 16 0 8 0 71285081 938070016 10188 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21456/tid=21463] ppid=21454 vsize=916084 CPUtime=0
/proc/21456/task/21463/stat : 21463 (java) S 21454 21456 20371 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 71285081 938070016 10188 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21456/tid=21464] ppid=21454 vsize=916084 CPUtime=0
/proc/21456/task/21464/stat : 21464 (java) S 21454 21456 20371 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 71285081 938070016 10188 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 916084
[startup+2.98532 s]
/proc/loadavg: 1.00 1.00 1.12 2/72 21464
/proc/meminfo: memFree=1449928/2055920 swapFree=4192812/4192956
[pid=21456] ppid=21454 vsize=916084 CPUtime=2.95
/proc/21456/stat : 21456 (java) R 21454 21456 20371 0 -1 0 10454 0 1 0 272 23 0 0 25 0 8 0 71285073 938070016 10191 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073676915 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21456/statm: 229021 10191 2479 14 0 215491 0
[pid=21456/tid=21458] ppid=21454 vsize=916088 CPUtime=0.03
/proc/21456/task/21458/stat : 21458 (java) S 21454 21456 20371 0 -1 64 357 0 0 0 3 0 0 0 16 0 8 0 71285077 938074112 10191 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21456/tid=21459] ppid=21454 vsize=916084 CPUtime=0
/proc/21456/task/21459/stat : 21459 (java) S 21454 21456 20371 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 71285077 938070016 10191 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21456/tid=21460] ppid=21454 vsize=916084 CPUtime=0
/proc/21456/task/21460/stat : 21460 (java) S 21454 21456 20371 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 71285077 938070016 10191 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21456/tid=21461] ppid=21454 vsize=916084 CPUtime=0
/proc/21456/task/21461/stat : 21461 (java) S 21454 21456 20371 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 71285081 938070016 10191 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21456/tid=21462] ppid=21454 vsize=916084 CPUtime=0.12
/proc/21456/task/21462/stat : 21462 (java) S 21454 21456 20371 0 -1 64 339 0 0 0 12 0 0 0 16 0 8 0 71285081 938070016 10191 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21456/tid=21463] ppid=21454 vsize=916084 CPUtime=0
/proc/21456/task/21463/stat : 21463 (java) S 21454 21456 20371 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 71285081 938070016 10191 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21456/tid=21464] ppid=21454 vsize=916084 CPUtime=0
/proc/21456/task/21464/stat : 21464 (java) S 21454 21456 20371 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 71285081 938070016 10191 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 916084
[startup+6.28061 s]
/proc/loadavg: 1.00 1.00 1.12 2/72 21464
/proc/meminfo: memFree=1449928/2055920 swapFree=4192812/4192956
[pid=21456] ppid=21454 vsize=916084 CPUtime=6.25
/proc/21456/stat : 21456 (java) R 21454 21456 20371 0 -1 0 10456 0 1 0 580 45 0 0 25 0 8 0 71285073 938070016 10193 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073676825 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21456/statm: 229021 10193 2479 14 0 215491 0
[pid=21456/tid=21458] ppid=21454 vsize=916084 CPUtime=0.03
/proc/21456/task/21458/stat : 21458 (java) S 21454 21456 20371 0 -1 64 357 0 0 0 3 0 0 0 16 0 8 0 71285077 938070016 10193 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21456/tid=21459] ppid=21454 vsize=916084 CPUtime=0
/proc/21456/task/21459/stat : 21459 (java) S 21454 21456 20371 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 71285077 938070016 10193 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21456/tid=21460] ppid=21454 vsize=916084 CPUtime=0
/proc/21456/task/21460/stat : 21460 (java) S 21454 21456 20371 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 71285077 938070016 10193 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21456/tid=21461] ppid=21454 vsize=916084 CPUtime=0
/proc/21456/task/21461/stat : 21461 (java) S 21454 21456 20371 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 71285081 938070016 10193 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21456/tid=21462] ppid=21454 vsize=916084 CPUtime=0.12
/proc/21456/task/21462/stat : 21462 (java) S 21454 21456 20371 0 -1 64 341 0 0 0 12 0 0 0 16 0 8 0 71285081 938070016 10193 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21456/tid=21463] ppid=21454 vsize=916084 CPUtime=0
/proc/21456/task/21463/stat : 21463 (java) S 21454 21456 20371 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 71285081 938070016 10193 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21456/tid=21464] ppid=21454 vsize=916084 CPUtime=0
/proc/21456/task/21464/stat : 21464 (java) S 21454 21456 20371 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 71285081 938070016 10193 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 916084
[startup+12.7582 s]
/proc/loadavg: 1.00 1.00 1.12 2/72 21464
/proc/meminfo: memFree=1449928/2055920 swapFree=4192812/4192956
[pid=21456] ppid=21454 vsize=916084 CPUtime=12.72
/proc/21456/stat : 21456 (java) R 21454 21456 20371 0 -1 0 10456 0 1 0 1182 90 0 0 25 0 8 0 71285073 938070016 10193 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21456/statm: 229021 10193 2479 14 0 215491 0
[pid=21456/tid=21458] ppid=21454 vsize=916088 CPUtime=0.03
/proc/21456/task/21458/stat : 21458 (java) S 21454 21456 20371 0 -1 64 357 0 0 0 3 0 0 0 16 0 8 0 71285077 938074112 10193 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21456/tid=21459] ppid=21454 vsize=916084 CPUtime=0
/proc/21456/task/21459/stat : 21459 (java) S 21454 21456 20371 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 71285077 938070016 10193 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21456/tid=21460] ppid=21454 vsize=916084 CPUtime=0
/proc/21456/task/21460/stat : 21460 (java) S 21454 21456 20371 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 71285077 938070016 10193 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21456/tid=21461] ppid=21454 vsize=916084 CPUtime=0
/proc/21456/task/21461/stat : 21461 (java) S 21454 21456 20371 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 71285081 938070016 10193 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21456/tid=21462] ppid=21454 vsize=916084 CPUtime=0.12
/proc/21456/task/21462/stat : 21462 (java) S 21454 21456 20371 0 -1 64 341 0 0 0 12 0 0 0 16 0 8 0 71285081 938070016 10193 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21456/tid=21463] ppid=21454 vsize=916084 CPUtime=0
/proc/21456/task/21463/stat : 21463 (java) S 21454 21456 20371 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 71285081 938070016 10193 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21456/tid=21464] ppid=21454 vsize=916084 CPUtime=0
/proc/21456/task/21464/stat : 21464 (java) S 21454 21456 20371 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 71285081 938070016 10193 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.72
Current children cumulated vsize (KiB) 916084
[startup+25.5924 s]
/proc/loadavg: 1.00 1.00 1.12 2/72 21464
/proc/meminfo: memFree=1449992/2055920 swapFree=4192812/4192956
[pid=21456] ppid=21454 vsize=916084 CPUtime=25.54
/proc/21456/stat : 21456 (java) R 21454 21456 20371 0 -1 0 10456 0 1 0 2379 175 0 0 25 0 8 0 71285073 938070016 10193 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073674982 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21456/statm: 229021 10193 2479 14 0 215491 0
[pid=21456/tid=21458] ppid=21454 vsize=916084 CPUtime=0.03
/proc/21456/task/21458/stat : 21458 (java) S 21454 21456 20371 0 -1 64 357 0 0 0 3 0 0 0 16 0 8 0 71285077 938070016 10193 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21456/tid=21459] ppid=21454 vsize=916084 CPUtime=0
/proc/21456/task/21459/stat : 21459 (java) S 21454 21456 20371 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 71285077 938070016 10193 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21456/tid=21460] ppid=21454 vsize=916084 CPUtime=0
/proc/21456/task/21460/stat : 21460 (java) S 21454 21456 20371 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 71285077 938070016 10193 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21456/tid=21461] ppid=21454 vsize=916084 CPUtime=0
/proc/21456/task/21461/stat : 21461 (java) S 21454 21456 20371 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 71285081 938070016 10193 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21456/tid=21462] ppid=21454 vsize=916084 CPUtime=0.12
/proc/21456/task/21462/stat : 21462 (java) S 21454 21456 20371 0 -1 64 341 0 0 0 12 0 0 0 16 0 8 0 71285081 938070016 10193 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21456/tid=21463] ppid=21454 vsize=916084 CPUtime=0
/proc/21456/task/21463/stat : 21463 (java) S 21454 21456 20371 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 71285081 938070016 10193 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21456/tid=21464] ppid=21454 vsize=916084 CPUtime=0
/proc/21456/task/21464/stat : 21464 (java) S 21454 21456 20371 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 71285081 938070016 10193 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.54
Current children cumulated vsize (KiB) 916084
[startup+51.2857 s]
/proc/loadavg: 1.00 1.00 1.11 2/72 21464
/proc/meminfo: memFree=1449736/2055920 swapFree=4192812/4192956
[pid=21456] ppid=21454 vsize=916084 CPUtime=51.23
/proc/21456/stat : 21456 (java) R 21454 21456 20371 0 -1 0 10617 0 1 0 4908 215 0 0 25 0 8 0 71285073 938070016 10347 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073470932 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21456/statm: 229021 10347 2532 14 0 215491 0
[pid=21456/tid=21458] ppid=21454 vsize=916084 CPUtime=0.03
/proc/21456/task/21458/stat : 21458 (java) S 21454 21456 20371 0 -1 64 358 0 0 0 3 0 0 0 16 0 8 0 71285077 938070016 10347 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21456/tid=21459] ppid=21454 vsize=916084 CPUtime=0
/proc/21456/task/21459/stat : 21459 (java) S 21454 21456 20371 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 71285077 938070016 10347 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21456/tid=21460] ppid=21454 vsize=916084 CPUtime=0
/proc/21456/task/21460/stat : 21460 (java) S 21454 21456 20371 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 71285077 938070016 10347 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21456/tid=21461] ppid=21454 vsize=916084 CPUtime=0
/proc/21456/task/21461/stat : 21461 (java) S 21454 21456 20371 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 71285081 938070016 10347 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21456/tid=21462] ppid=21454 vsize=916084 CPUtime=0.22
/proc/21456/task/21462/stat : 21462 (java) S 21454 21456 20371 0 -1 64 395 0 0 0 21 1 0 0 16 0 8 0 71285081 938070016 10347 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21456/tid=21463] ppid=21454 vsize=916084 CPUtime=0
/proc/21456/task/21463/stat : 21463 (java) S 21454 21456 20371 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 71285081 938070016 10347 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21456/tid=21464] ppid=21454 vsize=916084 CPUtime=0
/proc/21456/task/21464/stat : 21464 (java) S 21454 21456 20371 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 71285081 938070016 10347 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 51.23
Current children cumulated vsize (KiB) 916084
[startup+102.558 s]
/proc/loadavg: 1.00 1.00 1.10 2/72 21466
/proc/meminfo: memFree=1449672/2055920 swapFree=4192812/4192956
[pid=21456] ppid=21454 vsize=916084 CPUtime=102.48
/proc/21456/stat : 21456 (java) R 21454 21456 20371 0 -1 0 10621 0 1 0 10033 215 0 0 25 0 8 0 71285073 938070016 10349 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073810440 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21456/statm: 229021 10349 2532 14 0 215491 0
[pid=21456/tid=21458] ppid=21454 vsize=916084 CPUtime=0.03
/proc/21456/task/21458/stat : 21458 (java) S 21454 21456 20371 0 -1 64 358 0 0 0 3 0 0 0 16 0 8 0 71285077 938070016 10349 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21456/tid=21459] ppid=21454 vsize=916084 CPUtime=0
/proc/21456/task/21459/stat : 21459 (java) S 21454 21456 20371 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 71285077 938070016 10349 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21456/tid=21460] ppid=21454 vsize=916084 CPUtime=0
/proc/21456/task/21460/stat : 21460 (java) S 21454 21456 20371 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 71285077 938070016 10349 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21456/tid=21461] ppid=21454 vsize=916084 CPUtime=0
/proc/21456/task/21461/stat : 21461 (java) S 21454 21456 20371 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 71285081 938070016 10349 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21456/tid=21462] ppid=21454 vsize=916084 CPUtime=0.23
/proc/21456/task/21462/stat : 21462 (java) S 21454 21456 20371 0 -1 64 397 0 0 0 22 1 0 0 16 0 8 0 71285081 938070016 10349 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21456/tid=21463] ppid=21454 vsize=916084 CPUtime=0
/proc/21456/task/21463/stat : 21463 (java) S 21454 21456 20371 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 71285081 938070016 10349 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21456/tid=21464] ppid=21454 vsize=916084 CPUtime=0
/proc/21456/task/21464/stat : 21464 (java) S 21454 21456 20371 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 71285081 938070016 10349 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 102.48
Current children cumulated vsize (KiB) 916084
[startup+162.562 s]
/proc/loadavg: 1.00 1.00 1.09 2/72 21466
/proc/meminfo: memFree=1449672/2055920 swapFree=4192812/4192956
[pid=21456] ppid=21454 vsize=916084 CPUtime=162.47
/proc/21456/stat : 21456 (java) R 21454 21456 20371 0 -1 0 10621 0 1 0 16032 215 0 0 25 0 8 0 71285073 938070016 10349 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073808228 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
################
# More data... #
################
/proc/21456/task/21461/stat : 21461 (java) S 21454 21456 20371 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 71285081 938070016 10349 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21456/tid=21462] ppid=21454 vsize=916084 CPUtime=0.24
/proc/21456/task/21462/stat : 21462 (java) S 21454 21456 20371 0 -1 64 397 0 0 0 22 2 0 0 16 0 8 0 71285081 938070016 10349 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21456/tid=21463] ppid=21454 vsize=916084 CPUtime=0
/proc/21456/task/21463/stat : 21463 (java) S 21454 21456 20371 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 71285081 938070016 10349 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21456/tid=21464] ppid=21454 vsize=916084 CPUtime=0
/proc/21456/task/21464/stat : 21464 (java) S 21454 21456 20371 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 71285081 938070016 10349 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1002.38
Current children cumulated vsize (KiB) 916084
[startup+1062.7 s]
/proc/loadavg: 1.00 1.00 1.01 2/72 21466
/proc/meminfo: memFree=1449672/2055920 swapFree=4192812/4192956
[pid=21456] ppid=21454 vsize=916084 CPUtime=1062.35
/proc/21456/stat : 21456 (java) R 21454 21456 20371 0 -1 0 10623 0 1 0 106018 217 0 0 25 0 8 0 71285073 938070016 10350 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073809791 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21456/statm: 229021 10350 2532 14 0 215491 0
[pid=21456/tid=21458] ppid=21454 vsize=916084 CPUtime=0.03
/proc/21456/task/21458/stat : 21458 (java) S 21454 21456 20371 0 -1 64 358 0 0 0 3 0 0 0 16 0 8 0 71285077 938070016 10350 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21456/tid=21459] ppid=21454 vsize=916084 CPUtime=0
/proc/21456/task/21459/stat : 21459 (java) S 21454 21456 20371 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 71285077 938070016 10350 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21456/tid=21460] ppid=21454 vsize=916084 CPUtime=0
/proc/21456/task/21460/stat : 21460 (java) S 21454 21456 20371 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 71285077 938070016 10350 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21456/tid=21461] ppid=21454 vsize=916084 CPUtime=0
/proc/21456/task/21461/stat : 21461 (java) S 21454 21456 20371 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 71285081 938070016 10350 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21456/tid=21462] ppid=21454 vsize=916084 CPUtime=0.24
/proc/21456/task/21462/stat : 21462 (java) S 21454 21456 20371 0 -1 64 398 0 0 0 22 2 0 0 16 0 8 0 71285081 938070016 10350 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21456/tid=21463] ppid=21454 vsize=916084 CPUtime=0
/proc/21456/task/21463/stat : 21463 (java) S 21454 21456 20371 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 71285081 938070016 10350 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21456/tid=21464] ppid=21454 vsize=916084 CPUtime=0
/proc/21456/task/21464/stat : 21464 (java) S 21454 21456 20371 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 71285081 938070016 10350 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1062.35
Current children cumulated vsize (KiB) 916084
[startup+1122.71 s]
/proc/loadavg: 1.00 1.00 1.01 2/72 21466
/proc/meminfo: memFree=1449608/2055920 swapFree=4192812/4192956
[pid=21456] ppid=21454 vsize=916084 CPUtime=1122.34
/proc/21456/stat : 21456 (java) R 21454 21456 20371 0 -1 0 10623 0 1 0 112017 217 0 0 25 0 8 0 71285073 938070016 10350 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073808290 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21456/statm: 229021 10350 2532 14 0 215491 0
[pid=21456/tid=21458] ppid=21454 vsize=916084 CPUtime=0.03
/proc/21456/task/21458/stat : 21458 (java) S 21454 21456 20371 0 -1 64 358 0 0 0 3 0 0 0 16 0 8 0 71285077 938070016 10350 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21456/tid=21459] ppid=21454 vsize=916084 CPUtime=0
/proc/21456/task/21459/stat : 21459 (java) S 21454 21456 20371 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 71285077 938070016 10350 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21456/tid=21460] ppid=21454 vsize=916084 CPUtime=0
/proc/21456/task/21460/stat : 21460 (java) S 21454 21456 20371 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 71285077 938070016 10350 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21456/tid=21461] ppid=21454 vsize=916084 CPUtime=0
/proc/21456/task/21461/stat : 21461 (java) S 21454 21456 20371 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 71285081 938070016 10350 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21456/tid=21462] ppid=21454 vsize=916084 CPUtime=0.24
/proc/21456/task/21462/stat : 21462 (java) S 21454 21456 20371 0 -1 64 398 0 0 0 22 2 0 0 16 0 8 0 71285081 938070016 10350 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21456/tid=21463] ppid=21454 vsize=916084 CPUtime=0
/proc/21456/task/21463/stat : 21463 (java) S 21454 21456 20371 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 71285081 938070016 10350 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21456/tid=21464] ppid=21454 vsize=916084 CPUtime=0
/proc/21456/task/21464/stat : 21464 (java) S 21454 21456 20371 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 71285081 938070016 10350 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1122.34
Current children cumulated vsize (KiB) 916084
[startup+1182.71 s]
/proc/loadavg: 1.00 1.00 1.00 2/72 21466
/proc/meminfo: memFree=1449608/2055920 swapFree=4192812/4192956
[pid=21456] ppid=21454 vsize=916084 CPUtime=1182.33
/proc/21456/stat : 21456 (java) R 21454 21456 20371 0 -1 0 10624 0 1 0 118016 217 0 0 25 0 8 0 71285073 938070016 10350 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073673322 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21456/statm: 229021 10350 2532 14 0 215491 0
[pid=21456/tid=21458] ppid=21454 vsize=916084 CPUtime=0.03
/proc/21456/task/21458/stat : 21458 (java) S 21454 21456 20371 0 -1 64 358 0 0 0 3 0 0 0 16 0 8 0 71285077 938070016 10350 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21456/tid=21459] ppid=21454 vsize=916084 CPUtime=0
/proc/21456/task/21459/stat : 21459 (java) S 21454 21456 20371 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 71285077 938070016 10350 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21456/tid=21460] ppid=21454 vsize=916084 CPUtime=0
/proc/21456/task/21460/stat : 21460 (java) S 21454 21456 20371 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 71285077 938070016 10350 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21456/tid=21461] ppid=21454 vsize=916084 CPUtime=0
/proc/21456/task/21461/stat : 21461 (java) S 21454 21456 20371 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 71285081 938070016 10350 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21456/tid=21462] ppid=21454 vsize=916084 CPUtime=0.24
/proc/21456/task/21462/stat : 21462 (java) S 21454 21456 20371 0 -1 64 398 0 0 0 22 2 0 0 16 0 8 0 71285081 938070016 10350 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21456/tid=21463] ppid=21454 vsize=916084 CPUtime=0
/proc/21456/task/21463/stat : 21463 (java) S 21454 21456 20371 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 71285081 938070016 10350 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21456/tid=21464] ppid=21454 vsize=916084 CPUtime=0
/proc/21456/task/21464/stat : 21464 (java) S 21454 21456 20371 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 71285081 938070016 10350 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 916084
[startup+1242.71 s]
/proc/loadavg: 1.00 1.00 1.00 2/72 21466
/proc/meminfo: memFree=1449608/2055920 swapFree=4192812/4192956
[pid=21456] ppid=21454 vsize=916084 CPUtime=1242.31
/proc/21456/stat : 21456 (java) R 21454 21456 20371 0 -1 0 10624 0 1 0 124014 217 0 0 25 0 8 0 71285073 938070016 10350 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073673523 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21456/statm: 229021 10350 2532 14 0 215491 0
[pid=21456/tid=21458] ppid=21454 vsize=916084 CPUtime=0.03
/proc/21456/task/21458/stat : 21458 (java) S 21454 21456 20371 0 -1 64 358 0 0 0 3 0 0 0 16 0 8 0 71285077 938070016 10350 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21456/tid=21459] ppid=21454 vsize=916084 CPUtime=0
/proc/21456/task/21459/stat : 21459 (java) S 21454 21456 20371 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 71285077 938070016 10350 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21456/tid=21460] ppid=21454 vsize=916084 CPUtime=0
/proc/21456/task/21460/stat : 21460 (java) S 21454 21456 20371 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 71285077 938070016 10350 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21456/tid=21461] ppid=21454 vsize=916084 CPUtime=0
/proc/21456/task/21461/stat : 21461 (java) S 21454 21456 20371 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 71285081 938070016 10350 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21456/tid=21462] ppid=21454 vsize=916084 CPUtime=0.24
/proc/21456/task/21462/stat : 21462 (java) S 21454 21456 20371 0 -1 64 398 0 0 0 22 2 0 0 16 0 8 0 71285081 938070016 10350 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21456/tid=21463] ppid=21454 vsize=916084 CPUtime=0
/proc/21456/task/21463/stat : 21463 (java) S 21454 21456 20371 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 71285081 938070016 10350 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21456/tid=21464] ppid=21454 vsize=916084 CPUtime=0
/proc/21456/task/21464/stat : 21464 (java) S 21454 21456 20371 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 71285081 938070016 10350 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1242.31
Current children cumulated vsize (KiB) 916084
[startup+1302.72 s]
/proc/loadavg: 1.00 1.00 1.00 2/72 21466
/proc/meminfo: memFree=1449672/2055920 swapFree=4192812/4192956
[pid=21456] ppid=21454 vsize=916084 CPUtime=1302.3
/proc/21456/stat : 21456 (java) R 21454 21456 20371 0 -1 0 10624 0 1 0 130013 217 0 0 25 0 8 0 71285073 938070016 10350 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073785515 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21456/statm: 229021 10350 2532 14 0 215491 0
[pid=21456/tid=21458] ppid=21454 vsize=916084 CPUtime=0.03
/proc/21456/task/21458/stat : 21458 (java) S 21454 21456 20371 0 -1 64 358 0 0 0 3 0 0 0 16 0 8 0 71285077 938070016 10350 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21456/tid=21459] ppid=21454 vsize=916084 CPUtime=0
/proc/21456/task/21459/stat : 21459 (java) S 21454 21456 20371 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 71285077 938070016 10350 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21456/tid=21460] ppid=21454 vsize=916084 CPUtime=0
/proc/21456/task/21460/stat : 21460 (java) S 21454 21456 20371 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 71285077 938070016 10350 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21456/tid=21461] ppid=21454 vsize=916084 CPUtime=0
/proc/21456/task/21461/stat : 21461 (java) S 21454 21456 20371 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 71285081 938070016 10350 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21456/tid=21462] ppid=21454 vsize=916084 CPUtime=0.24
/proc/21456/task/21462/stat : 21462 (java) S 21454 21456 20371 0 -1 64 398 0 0 0 22 2 0 0 16 0 8 0 71285081 938070016 10350 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21456/tid=21463] ppid=21454 vsize=916084 CPUtime=0
/proc/21456/task/21463/stat : 21463 (java) S 21454 21456 20371 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 71285081 938070016 10350 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21456/tid=21464] ppid=21454 vsize=916084 CPUtime=0
/proc/21456/task/21464/stat : 21464 (java) S 21454 21456 20371 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 71285081 938070016 10350 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1302.3
Current children cumulated vsize (KiB) 916084
[startup+1362.72 s]
/proc/loadavg: 1.00 1.00 1.00 2/72 21466
/proc/meminfo: memFree=1449608/2055920 swapFree=4192812/4192956
[pid=21456] ppid=21454 vsize=916084 CPUtime=1362.29
/proc/21456/stat : 21456 (java) R 21454 21456 20371 0 -1 0 10624 0 1 0 136012 217 0 0 25 0 8 0 71285073 938070016 10350 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073808228 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21456/statm: 229021 10350 2532 14 0 215491 0
[pid=21456/tid=21458] ppid=21454 vsize=916084 CPUtime=0.03
/proc/21456/task/21458/stat : 21458 (java) S 21454 21456 20371 0 -1 64 358 0 0 0 3 0 0 0 16 0 8 0 71285077 938070016 10350 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21456/tid=21459] ppid=21454 vsize=916084 CPUtime=0
/proc/21456/task/21459/stat : 21459 (java) S 21454 21456 20371 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 71285077 938070016 10350 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21456/tid=21460] ppid=21454 vsize=916084 CPUtime=0
/proc/21456/task/21460/stat : 21460 (java) S 21454 21456 20371 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 71285077 938070016 10350 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21456/tid=21461] ppid=21454 vsize=916084 CPUtime=0
/proc/21456/task/21461/stat : 21461 (java) S 21454 21456 20371 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 71285081 938070016 10350 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21456/tid=21462] ppid=21454 vsize=916084 CPUtime=0.24
/proc/21456/task/21462/stat : 21462 (java) S 21454 21456 20371 0 -1 64 398 0 0 0 22 2 0 0 16 0 8 0 71285081 938070016 10350 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21456/tid=21463] ppid=21454 vsize=916084 CPUtime=0
/proc/21456/task/21463/stat : 21463 (java) S 21454 21456 20371 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 71285081 938070016 10350 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21456/tid=21464] ppid=21454 vsize=916084 CPUtime=0
/proc/21456/task/21464/stat : 21464 (java) S 21454 21456 20371 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 71285081 938070016 10350 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1362.29
Current children cumulated vsize (KiB) 916084
[startup+1422.73 s]
/proc/loadavg: 1.00 1.00 1.00 2/72 21466
/proc/meminfo: memFree=1449608/2055920 swapFree=4192812/4192956
[pid=21456] ppid=21454 vsize=916084 CPUtime=1422.28
/proc/21456/stat : 21456 (java) R 21454 21456 20371 0 -1 0 10624 0 1 0 142011 217 0 0 25 0 8 0 71285073 938070016 10350 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073853996 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21456/statm: 229021 10350 2532 14 0 215491 0
[pid=21456/tid=21458] ppid=21454 vsize=916084 CPUtime=0.03
/proc/21456/task/21458/stat : 21458 (java) S 21454 21456 20371 0 -1 64 358 0 0 0 3 0 0 0 16 0 8 0 71285077 938070016 10350 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21456/tid=21459] ppid=21454 vsize=916084 CPUtime=0
/proc/21456/task/21459/stat : 21459 (java) S 21454 21456 20371 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 71285077 938070016 10350 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21456/tid=21460] ppid=21454 vsize=916084 CPUtime=0
/proc/21456/task/21460/stat : 21460 (java) S 21454 21456 20371 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 71285077 938070016 10350 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21456/tid=21461] ppid=21454 vsize=916084 CPUtime=0
/proc/21456/task/21461/stat : 21461 (java) S 21454 21456 20371 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 71285081 938070016 10350 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21456/tid=21462] ppid=21454 vsize=916084 CPUtime=0.24
/proc/21456/task/21462/stat : 21462 (java) S 21454 21456 20371 0 -1 64 398 0 0 0 22 2 0 0 16 0 8 0 71285081 938070016 10350 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21456/tid=21463] ppid=21454 vsize=916084 CPUtime=0
/proc/21456/task/21463/stat : 21463 (java) S 21454 21456 20371 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 71285081 938070016 10350 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21456/tid=21464] ppid=21454 vsize=916084 CPUtime=0
/proc/21456/task/21464/stat : 21464 (java) S 21454 21456 20371 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 71285081 938070016 10350 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1422.28
Current children cumulated vsize (KiB) 916084
Child status: 0
Real time (s): 1460.97
CPU time (s): 1460.47
CPU user time (s): 1458.29
CPU system time (s): 2.18267
CPU usage (%): 99.9658
Max. virtual memory (cumulated for all children) (KiB): 916600
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1458.29
system time used= 2.18267
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10635
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= 30396
involuntary context switches= 3051
runsolver used 1.20982 s user time and 3.97939 s system time
The end
Begin job on node68 on Fri Jan 19 20:18:01 UTC 2007
IDJOB= 276454
IDBENCH= 5779
IDSOLVER= 68
FILE ID= node68/276454-1169237881
PBS_JOBID= 3589279
Free space on /tmp= 66562 MiB
SOLVER NAME= AbsconMax 109 EPFC
BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.8/rand-2-40-80-103-800-14_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/276454-1169237881/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node68/watcher-276454-1169237881 -o ROOT/results/node68/solver-276454-1169237881 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/276454-1169237881/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= ce4ee7f22ec5957765b5dfae25f9f2ac
RANDOM SEED= 479316122
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.232
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.232
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: 1481568 kB
Buffers: 50304 kB
Cached: 434664 kB
SwapCached: 144 kB
Active: 129324 kB
Inactive: 371672 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1481568 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 2400 kB
Writeback: 0 kB
Mapped: 26052 kB
Slab: 59416 kB
Committed_AS: 590272 kB
PageTables: 1380 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= 66562 MiB
End job on node68 on Fri Jan 19 20:42:22 UTC 2007