0.35
0.35 Abscon 109 (November, 2006)
0.35
0.35 configuration
0.35 name=epfc.xml
0.38
0.38 instance
0.38 name=/tmp/evaluation/276886-1169248712/unknown.xml
0.41
0.41 domains being loaded...
0.41
0.41 variables being loaded...
0.45 nbVariables=40 nbDomainTypes=1 minDomainSize=8 maxDomainSize=8
0.45 => wckTime=0.095 cpuTime=0.08 mem=6M887
0.45
0.45 relations being loaded...
0.55
0.55 constraints being loaded...
0.71 nbConstraints=752 nbRelationTypes=753 nbExtensionStructures=752 nbSharedExtensionStructures=0
0.71 nbConflictsStructures=752 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=11892 maxDegree=39
0.71 maxArity=2
0.71 => wckTime=0.357 cpuTime=0.24 mem=11M779
0.76
0.76 solver LocalSearchSolver being built...
0.80 => wckTime=0.446 cpuTime=0.28 mem=6M108
0.80
0.80 s SATISFIABLE
0.80 o 679
0.80 c 73
0.80 o 685
0.80 c 67
0.80 o 690
0.80 c 62
0.80 o 694
0.80 c 58
0.80 o 698
0.80 c 54
0.81 o 702
0.81 c 50
0.81 o 704
0.81 c 48
0.81 o 709
0.81 c 43
0.81 o 713
0.81 c 39
0.81 o 715
0.81 c 37
0.81 o 719
0.81 c 33
0.81 o 722
0.81 c 30
0.81 o 723
0.81 c 29
0.81 o 725
0.81 c 27
0.81 o 726
0.81 c 26
0.81 o 727
0.81 c 25
0.81 o 728
0.81 c 24
0.81 o 729
0.81 c 23
0.81 o 731
0.82 c 21
0.82 o 733
0.82 c 19
0.82 o 736
0.82 c 16
0.82 o 737
0.82 c 15
0.82 o 738
0.82 c 14
0.82 o 739
0.82 c 13
0.82 o 740
0.82 c 12
0.83 o 741
0.83 c 11
0.83 o 742
0.83 c 10
0.85 o 743
0.85 c 9
0.87 o 744
0.87 c 8
0.88 o 745
0.88 c 7
0.88 o 746
0.88 c 6
0.88 o 747
0.88 c 5
0.88 o 748
0.88 c 4
0.88 o 749
0.88 c 3
0.88 o 750
0.88 c 2
1.48 o 751
1.48 c 1
1.48
1.48 search
1.48 run=0 nbConstraintChecks=4005509 nbAssignments=2408
1.48 => wckTime=0.683 cpuTime=0.67 mem=6M108
1.48
1.48 global
1.48 nbConstraintChecks=4005509 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
1.48 solvingWckTime=0.682 solvingCpuTime=0.66 expiredTime=no totalExploration=no nbFoundSolutions=0
1.48 globalCpuTime=1.01
1.48 => wckTime=1.129 cpuTime=0.95 mem=6M108
1.48
1.48 solver IterativeSystematicSolver being built...
1.61 => wckTime=1.254 cpuTime=1.05 mem=17M49
1.69
1.69 preprocessing
1.69 nbConstraintChecks=52818 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
1.69 detectedInconsistency=no
1.69 => wckTime=0.087 cpuTime=0.08 mem=17M49
1.76
1.76 search
1.76 run=0 nbConstraintChecks=128346 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=37
1.76 nbFailedAssignments=21 nbBacktracks=10 nbVisitedNodes=68 nbRestartNogoods=0
1.76 => wckTime=0.151 cpuTime=0.14 mem=17M49
1.86
1.86 search
1.86 run=1 nbConstraintChecks=338290 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=93
1.86 nbFailedAssignments=56 nbBacktracks=25 nbVisitedNodes=173 nbRestartNogoods=10
1.86 => wckTime=0.249 cpuTime=0.23 mem=17M49
1.95
1.95 search
1.95 run=2 nbConstraintChecks=588909 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=162
1.95 nbFailedAssignments=95 nbBacktracks=47 nbVisitedNodes=301 nbRestartNogoods=14
1.95 => wckTime=0.348 cpuTime=0.32 mem=17M49
2.10
2.10 search
2.10 run=3 nbConstraintChecks=940714 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=253
2.10 nbFailedAssignments=147 nbBacktracks=80 nbVisitedNodes=475 nbRestartNogoods=16
2.10 => wckTime=0.49 cpuTime=0.47 mem=17M49
2.30
2.30 search
2.30 run=4 nbConstraintChecks=1491632 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=393
2.30 nbFailedAssignments=231 nbBacktracks=130 nbVisitedNodes=746 nbRestartNogoods=23
2.30 => wckTime=0.695 cpuTime=0.67 mem=17M49
2.63
2.63 search
2.63 run=5 nbConstraintChecks=2379641 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=611
2.63 nbFailedAssignments=368 nbBacktracks=205 nbVisitedNodes=1174 nbRestartNogoods=35
2.63 => wckTime=1.027 cpuTime=1.0 mem=17M49
3.10
3.10 search
3.10 run=6 nbConstraintChecks=3595588 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=913
3.10 nbFailedAssignments=550 nbBacktracks=318 nbVisitedNodes=1761 nbRestartNogoods=44
3.10 => wckTime=1.495 cpuTime=1.47 mem=17M49
3.77
3.77 search
3.77 run=7 nbConstraintChecks=5465395 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1362
3.77 nbFailedAssignments=824 nbBacktracks=488 nbVisitedNodes=2645 nbRestartNogoods=49
3.77 => wckTime=2.165 cpuTime=2.13 mem=17M49
4.74
4.74 search
4.74 run=8 nbConstraintChecks=7984215 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1997
4.74 nbFailedAssignments=1196 nbBacktracks=744 nbVisitedNodes=3889 nbRestartNogoods=67
4.74 => wckTime=3.135 cpuTime=3.09 mem=17M49
6.06
6.06 search
6.06 run=9 nbConstraintChecks=11353736 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2856
6.06 nbFailedAssignments=1665 nbBacktracks=1128 nbVisitedNodes=5498 nbRestartNogoods=75
6.06 => wckTime=4.449 cpuTime=4.39 mem=17M49
7.97
7.97 search
7.97 run=10 nbConstraintChecks=16565789 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=4193
7.97 nbFailedAssignments=2421 nbBacktracks=1704 nbVisitedNodes=8058 nbRestartNogoods=87
7.97 => wckTime=6.367 cpuTime=6.31 mem=17M49
10.37
10.37 search
10.37 run=11 nbConstraintChecks=22607499 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=5882
10.37 nbFailedAssignments=3239 nbBacktracks=2569 nbVisitedNodes=11015 nbRestartNogoods=101
10.37 => wckTime=8.764 cpuTime=8.71 mem=17M49
13.56
13.56 search
13.56 run=12 nbConstraintChecks=30581355 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=8288
13.56 nbFailedAssignments=4340 nbBacktracks=3866 nbVisitedNodes=15002 nbRestartNogoods=114
13.56 => wckTime=11.953 cpuTime=11.89 mem=17M49
17.92
17.92 search
17.92 run=13 nbConstraintChecks=41481979 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=11677
17.92 nbFailedAssignments=5775 nbBacktracks=5813 nbVisitedNodes=20410 nbRestartNogoods=125
17.92 => wckTime=16.312 cpuTime=16.25 mem=17M49
24.22
24.22 search
24.22 run=14 nbConstraintChecks=56260766 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=16584
24.22 nbFailedAssignments=7755 nbBacktracks=8732 nbVisitedNodes=27898 nbRestartNogoods=140
24.22 => wckTime=22.614 cpuTime=22.55 mem=17M49
33.57
33.57 search
33.57 run=15 nbConstraintChecks=78930117 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=24034
33.57 nbFailedAssignments=10818 nbBacktracks=13113 nbVisitedNodes=39435 nbRestartNogoods=150
33.57 => wckTime=31.967 cpuTime=31.9 mem=17M49
47.46
47.46 search
47.46 run=16 nbConstraintChecks=112454710 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=35091
47.46 nbFailedAssignments=15301 nbBacktracks=19682 nbVisitedNodes=56408 nbRestartNogoods=166
47.46 => wckTime=45.858 cpuTime=45.78 mem=17M49
67.28
67.28 search
67.28 run=17 nbConstraintChecks=160664641 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=51213
67.28 nbFailedAssignments=21566 nbBacktracks=29534 nbVisitedNodes=80820 nbRestartNogoods=189
67.28 => wckTime=65.676 cpuTime=65.59 mem=17M49
98.54
98.54 search
98.54 run=18 nbConstraintChecks=232843712 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=75788
98.54 nbFailedAssignments=31358 nbBacktracks=44313 nbVisitedNodes=118184 nbRestartNogoods=203
98.54 => wckTime=96.936 cpuTime=96.85 mem=17M49
142.90
142.90 search
142.90 run=19 nbConstraintChecks=339983012 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=111661
142.90 nbFailedAssignments=45056 nbBacktracks=66482 nbVisitedNodes=172178 nbRestartNogoods=225
142.90 => wckTime=141.292 cpuTime=141.19 mem=17M49
209.47
209.47 search
209.47 run=20 nbConstraintChecks=499879247 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=166156
209.47 nbFailedAssignments=66292 nbBacktracks=99736 nbVisitedNodes=254436 nbRestartNogoods=242
209.47 => wckTime=207.866 cpuTime=207.75 mem=17M49
311.12
311.12 search
311.12 run=21 nbConstraintChecks=741840481 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=247787
311.12 nbFailedAssignments=98043 nbBacktracks=149614 nbVisitedNodes=377670 nbRestartNogoods=260
311.12 => wckTime=309.513 cpuTime=309.38 mem=17M49
464.34
464.34 search
464.34 run=22 nbConstraintChecks=1104332863 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=370340
464.34 nbFailedAssignments=145772 nbBacktracks=224435 nbVisitedNodes=562765 nbRestartNogoods=274
464.34 => wckTime=462.732 cpuTime=462.55 mem=17M49
692.71
692.71 search
692.71 run=23 nbConstraintChecks=1642525874 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=552965
692.71 nbFailedAssignments=216167 nbBacktracks=336662 nbVisitedNodes=837908 nbRestartNogoods=293
692.71 => wckTime=691.107 cpuTime=690.87 mem=17M49
990.90
990.90 search
990.90 run=24 nbConstraintChecks=2326504029 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=789557
990.90 nbFailedAssignments=307730 nbBacktracks=481692 nbVisitedNodes=1193883 nbRestartNogoods=315
990.90 => wckTime=989.29 cpuTime=988.99 mem=17M49
990.90
990.90 global
990.90 nbConstraintChecks=2326556847 nbRestartNogoods=315 solvingWckTime=989.291 solvingCpuTime=988.99 expiredTime=no
990.90 totalExploration=yes nbFoundSolutions=0 globalCpuTime=990.1
990.90 => wckTime=990.546 cpuTime=990.04 mem=17M49
990.90
990.90 s OPTIMUM FOUND
990.90 v 5 2 2 5 6 2 2 6 0 7 4 5 0 7 1 5 3 4 6 4 5 6 0 5 5 3 0 1 6 0 7 4 2 4 5 7 4 7 2 3
990.90
990.90 totalWckTime=990.624 totalCpuTime=990.1
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node30/watcher-276886-1169248712 -o ROOT/results/node30/solver-276886-1169248712 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/276886-1169248712/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.07 3/78 29333
/proc/meminfo: memFree=1536888/2055920 swapFree=4167328/4192956
[pid=29332] ppid=29330 vsize=1784 CPUtime=0
/proc/29332/stat : 29332 (java) D 29330 29332 28281 0 -1 0 165 0 0 0 0 0 0 0 19 0 1 0 273265153 1826816 136 18446744073709551615 134512640 134570532 4294956640 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0
/proc/29332/statm: 446 136 102 14 0 91 0
[startup+0.102718 s]
/proc/loadavg: 1.00 1.00 1.07 3/78 29333
/proc/meminfo: memFree=1536888/2055920 swapFree=4167328/4192956
[pid=29332] ppid=29330 vsize=907676 CPUtime=0.04
/proc/29332/stat : 29332 (java) R 29330 29332 28281 0 -1 0 2317 0 1 0 3 1 0 0 19 0 4 0 273265153 929460224 2064 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4154016450 0 4 0 7368 18446744073709551615 0 0 17 0 0 0
/proc/29332/statm: 226919 2064 1159 14 0 214502 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 907676
[startup+0.510743 s]
/proc/loadavg: 1.00 1.00 1.07 3/78 29333
/proc/meminfo: memFree=1536888/2055920 swapFree=4167328/4192956
[pid=29332] ppid=29330 vsize=915332 CPUtime=0.44
/proc/29332/stat : 29332 (java) S 29330 29332 28281 0 -1 0 6235 0 1 0 41 3 0 0 16 0 8 0 273265153 937299968 5974 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29332/statm: 228833 5974 2142 14 0 215303 0
Current children cumulated CPU time (s) 0.44
Current children cumulated vsize (KiB) 915332
[startup+1.33179 s]
/proc/loadavg: 1.00 1.00 1.07 2/85 29340
/proc/meminfo: memFree=1515136/2055920 swapFree=4167328/4192956
[pid=29332] ppid=29330 vsize=915448 CPUtime=1.26
/proc/29332/stat : 29332 (java) R 29330 29332 28281 0 -1 0 8112 0 1 0 114 12 0 0 17 0 8 0 273265153 937418752 7850 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29332/statm: 228862 7850 2479 14 0 215332 0
[pid=29332/tid=29334] ppid=29330 vsize=915448 CPUtime=0.03
/proc/29332/task/29334/stat : 29334 (java) S 29330 29332 28281 0 -1 64 307 0 0 0 3 0 0 0 16 0 8 0 273265162 937418752 7850 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29332/tid=29335] ppid=29330 vsize=915448 CPUtime=0
/proc/29332/task/29335/stat : 29335 (java) S 29330 29332 28281 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 273265163 937418752 7850 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29332/tid=29336] ppid=29330 vsize=915448 CPUtime=0
/proc/29332/task/29336/stat : 29336 (java) S 29330 29332 28281 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273265163 937418752 7850 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29332/tid=29337] ppid=29330 vsize=915448 CPUtime=0
/proc/29332/task/29337/stat : 29337 (java) S 29330 29332 28281 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 273265166 937418752 7850 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29332/tid=29338] ppid=29330 vsize=915448 CPUtime=0.17
/proc/29332/task/29338/stat : 29338 (java) S 29330 29332 28281 0 -1 64 374 0 0 0 17 0 0 0 16 0 8 0 273265166 937418752 7850 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29332/tid=29339] ppid=29330 vsize=915448 CPUtime=0
/proc/29332/task/29339/stat : 29339 (java) S 29330 29332 28281 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 273265166 937418752 7850 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29332/tid=29340] ppid=29330 vsize=915448 CPUtime=0
/proc/29332/task/29340/stat : 29340 (java) S 29330 29332 28281 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 273265166 937418752 7850 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.26
Current children cumulated vsize (KiB) 915448
[startup+2.96889 s]
/proc/loadavg: 1.00 1.00 1.07 2/85 29340
/proc/meminfo: memFree=1510848/2055920 swapFree=4167328/4192956
[pid=29332] ppid=29330 vsize=915580 CPUtime=2.9
/proc/29332/stat : 29332 (java) R 29330 29332 28281 0 -1 0 9231 0 1 0 276 14 0 0 17 0 8 0 273265153 937553920 8965 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073940962 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29332/statm: 228895 8965 2532 14 0 215365 0
[pid=29332/tid=29334] ppid=29330 vsize=915580 CPUtime=0.03
/proc/29332/task/29334/stat : 29334 (java) S 29330 29332 28281 0 -1 64 308 0 0 0 3 0 0 0 17 0 8 0 273265162 937553920 8965 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29332/tid=29335] ppid=29330 vsize=915580 CPUtime=0
/proc/29332/task/29335/stat : 29335 (java) S 29330 29332 28281 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 273265163 937553920 8965 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29332/tid=29336] ppid=29330 vsize=915580 CPUtime=0
/proc/29332/task/29336/stat : 29336 (java) S 29330 29332 28281 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273265163 937553920 8965 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29332/tid=29337] ppid=29330 vsize=915580 CPUtime=0
/proc/29332/task/29337/stat : 29337 (java) S 29330 29332 28281 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 273265166 937553920 8965 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29332/tid=29338] ppid=29330 vsize=915580 CPUtime=0.23
/proc/29332/task/29338/stat : 29338 (java) S 29330 29332 28281 0 -1 64 414 0 0 0 23 0 0 0 16 0 8 0 273265166 937553920 8965 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29332/tid=29339] ppid=29330 vsize=915580 CPUtime=0
/proc/29332/task/29339/stat : 29339 (java) S 29330 29332 28281 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 273265166 937553920 8965 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29332/tid=29340] ppid=29330 vsize=915580 CPUtime=0
/proc/29332/task/29340/stat : 29340 (java) S 29330 29332 28281 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 273265166 937553920 8965 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.9
Current children cumulated vsize (KiB) 915580
[startup+6.17209 s]
/proc/loadavg: 1.00 1.00 1.07 2/85 29340
/proc/meminfo: memFree=1510720/2055920 swapFree=4167328/4192956
[pid=29332] ppid=29330 vsize=915580 CPUtime=6.11
/proc/29332/stat : 29332 (java) R 29330 29332 28281 0 -1 0 9255 0 1 0 596 15 0 0 17 0 8 0 273265153 937553920 8987 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073941089 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29332/statm: 228895 8987 2532 14 0 215365 0
[pid=29332/tid=29334] ppid=29330 vsize=915580 CPUtime=0.03
/proc/29332/task/29334/stat : 29334 (java) S 29330 29332 28281 0 -1 64 308 0 0 0 3 0 0 0 16 0 8 0 273265162 937553920 8987 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29332/tid=29335] ppid=29330 vsize=915580 CPUtime=0
/proc/29332/task/29335/stat : 29335 (java) S 29330 29332 28281 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 273265163 937553920 8987 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29332/tid=29336] ppid=29330 vsize=915580 CPUtime=0
/proc/29332/task/29336/stat : 29336 (java) S 29330 29332 28281 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273265163 937553920 8987 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29332/tid=29337] ppid=29330 vsize=915580 CPUtime=0
/proc/29332/task/29337/stat : 29337 (java) S 29330 29332 28281 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 273265166 937553920 8987 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29332/tid=29338] ppid=29330 vsize=915580 CPUtime=0.25
/proc/29332/task/29338/stat : 29338 (java) S 29330 29332 28281 0 -1 64 426 0 0 0 25 0 0 0 16 0 8 0 273265166 937553920 8987 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29332/tid=29339] ppid=29330 vsize=915580 CPUtime=0
/proc/29332/task/29339/stat : 29339 (java) S 29330 29332 28281 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 273265166 937553920 8987 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29332/tid=29340] ppid=29330 vsize=915580 CPUtime=0
/proc/29332/task/29340/stat : 29340 (java) S 29330 29332 28281 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 273265166 937553920 8987 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.11
Current children cumulated vsize (KiB) 915580
[startup+12.6325 s]
/proc/loadavg: 1.00 1.00 1.07 2/85 29340
/proc/meminfo: memFree=1510664/2055920 swapFree=4167328/4192956
[pid=29332] ppid=29330 vsize=915580 CPUtime=12.57
/proc/29332/stat : 29332 (java) R 29330 29332 28281 0 -1 0 9263 0 1 0 1242 15 0 0 18 0 8 0 273265153 937553920 8993 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073937735 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29332/statm: 228895 8993 2532 14 0 215365 0
[pid=29332/tid=29334] ppid=29330 vsize=915580 CPUtime=0.03
/proc/29332/task/29334/stat : 29334 (java) S 29330 29332 28281 0 -1 64 308 0 0 0 3 0 0 0 16 0 8 0 273265162 937553920 8993 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29332/tid=29335] ppid=29330 vsize=915580 CPUtime=0
/proc/29332/task/29335/stat : 29335 (java) S 29330 29332 28281 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 273265163 937553920 8993 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29332/tid=29336] ppid=29330 vsize=915580 CPUtime=0
/proc/29332/task/29336/stat : 29336 (java) S 29330 29332 28281 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273265163 937553920 8993 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29332/tid=29337] ppid=29330 vsize=915580 CPUtime=0
/proc/29332/task/29337/stat : 29337 (java) S 29330 29332 28281 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 273265166 937553920 8993 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29332/tid=29338] ppid=29330 vsize=915580 CPUtime=0.25
/proc/29332/task/29338/stat : 29338 (java) S 29330 29332 28281 0 -1 64 428 0 0 0 25 0 0 0 16 0 8 0 273265166 937553920 8993 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29332/tid=29339] ppid=29330 vsize=915580 CPUtime=0
/proc/29332/task/29339/stat : 29339 (java) S 29330 29332 28281 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 273265166 937553920 8993 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29332/tid=29340] ppid=29330 vsize=915580 CPUtime=0
/proc/29332/task/29340/stat : 29340 (java) S 29330 29332 28281 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 273265166 937553920 8993 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 915580
[startup+25.4813 s]
/proc/loadavg: 1.00 1.00 1.07 2/85 29340
/proc/meminfo: memFree=1510728/2055920 swapFree=4167328/4192956
[pid=29332] ppid=29330 vsize=915580 CPUtime=25.41
/proc/29332/stat : 29332 (java) R 29330 29332 28281 0 -1 0 9271 0 1 0 2526 15 0 0 25 0 8 0 273265153 937553920 9000 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072918603 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29332/statm: 228895 9000 2532 14 0 215365 0
[pid=29332/tid=29334] ppid=29330 vsize=915580 CPUtime=0.03
/proc/29332/task/29334/stat : 29334 (java) S 29330 29332 28281 0 -1 64 308 0 0 0 3 0 0 0 16 0 8 0 273265162 937553920 9000 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29332/tid=29335] ppid=29330 vsize=915580 CPUtime=0
/proc/29332/task/29335/stat : 29335 (java) S 29330 29332 28281 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 273265163 937553920 9000 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29332/tid=29336] ppid=29330 vsize=915580 CPUtime=0
/proc/29332/task/29336/stat : 29336 (java) S 29330 29332 28281 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273265163 937553920 9000 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29332/tid=29337] ppid=29330 vsize=915580 CPUtime=0
/proc/29332/task/29337/stat : 29337 (java) S 29330 29332 28281 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 273265166 937553920 9000 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29332/tid=29338] ppid=29330 vsize=915580 CPUtime=0.25
/proc/29332/task/29338/stat : 29338 (java) S 29330 29332 28281 0 -1 64 428 0 0 0 25 0 0 0 16 0 8 0 273265166 937553920 9000 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29332/tid=29339] ppid=29330 vsize=915580 CPUtime=0
/proc/29332/task/29339/stat : 29339 (java) S 29330 29332 28281 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 273265166 937553920 9000 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29332/tid=29340] ppid=29330 vsize=915580 CPUtime=0
/proc/29332/task/29340/stat : 29340 (java) S 29330 29332 28281 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 273265166 937553920 9000 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.41
Current children cumulated vsize (KiB) 915580
[startup+51.1629 s]
/proc/loadavg: 1.00 1.00 1.07 2/85 29340
/proc/meminfo: memFree=1510664/2055920 swapFree=4167328/4192956
[pid=29332] ppid=29330 vsize=915580 CPUtime=51.08
/proc/29332/stat : 29332 (java) R 29330 29332 28281 0 -1 0 9278 0 1 0 5093 15 0 0 18 0 8 0 273265153 937553920 9006 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074002537 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29332/statm: 228895 9006 2532 14 0 215365 0
[pid=29332/tid=29334] ppid=29330 vsize=915580 CPUtime=0.03
/proc/29332/task/29334/stat : 29334 (java) S 29330 29332 28281 0 -1 64 308 0 0 0 3 0 0 0 17 0 8 0 273265162 937553920 9006 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29332/tid=29335] ppid=29330 vsize=915580 CPUtime=0
/proc/29332/task/29335/stat : 29335 (java) S 29330 29332 28281 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 273265163 937553920 9006 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29332/tid=29336] ppid=29330 vsize=915580 CPUtime=0
/proc/29332/task/29336/stat : 29336 (java) S 29330 29332 28281 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273265163 937553920 9006 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29332/tid=29337] ppid=29330 vsize=915580 CPUtime=0
/proc/29332/task/29337/stat : 29337 (java) S 29330 29332 28281 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 273265166 937553920 9006 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29332/tid=29338] ppid=29330 vsize=915580 CPUtime=0.25
/proc/29332/task/29338/stat : 29338 (java) S 29330 29332 28281 0 -1 64 429 0 0 0 25 0 0 0 16 0 8 0 273265166 937553920 9006 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29332/tid=29339] ppid=29330 vsize=915580 CPUtime=0
/proc/29332/task/29339/stat : 29339 (java) S 29330 29332 28281 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 273265166 937553920 9006 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29332/tid=29340] ppid=29330 vsize=915580 CPUtime=0
/proc/29332/task/29340/stat : 29340 (java) S 29330 29332 28281 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 273265166 937553920 9006 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 915580
[startup+102.423 s]
/proc/loadavg: 1.00 1.00 1.06 2/85 29342
/proc/meminfo: memFree=1510728/2055920 swapFree=4167328/4192956
[pid=29332] ppid=29330 vsize=915580 CPUtime=102.33
/proc/29332/stat : 29332 (java) R 29330 29332 28281 0 -1 0 9284 0 1 0 10218 15 0 0 25 0 8 0 273265153 937553920 9011 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073937660 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29332/statm: 228895 9011 2532 14 0 215365 0
[pid=29332/tid=29334] ppid=29330 vsize=915580 CPUtime=0.03
/proc/29332/task/29334/stat : 29334 (java) S 29330 29332 28281 0 -1 64 308 0 0 0 3 0 0 0 16 0 8 0 273265162 937553920 9011 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29332/tid=29335] ppid=29330 vsize=915580 CPUtime=0
/proc/29332/task/29335/stat : 29335 (java) S 29330 29332 28281 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 273265163 937553920 9011 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29332/tid=29336] ppid=29330 vsize=915580 CPUtime=0
/proc/29332/task/29336/stat : 29336 (java) S 29330 29332 28281 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273265163 937553920 9011 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29332/tid=29337] ppid=29330 vsize=915580 CPUtime=0
/proc/29332/task/29337/stat : 29337 (java) S 29330 29332 28281 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 273265166 937553920 9011 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29332/tid=29338] ppid=29330 vsize=915580 CPUtime=0.25
/proc/29332/task/29338/stat : 29338 (java) S 29330 29332 28281 0 -1 64 429 0 0 0 25 0 0 0 16 0 8 0 273265166 937553920 9011 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29332/tid=29339] ppid=29330 vsize=915580 CPUtime=0
/proc/29332/task/29339/stat : 29339 (java) S 29330 29332 28281 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 273265166 937553920 9011 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29332/tid=29340] ppid=29330 vsize=915580 CPUtime=0
/proc/29332/task/29340/stat : 29340 (java) S 29330 29332 28281 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 273265166 937553920 9011 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 102.33
Current children cumulated vsize (KiB) 915580
[startup+162.521 s]
/proc/loadavg: 1.03 1.01 1.06 2/85 29342
/proc/meminfo: memFree=1510664/2055920 swapFree=4167328/4192956
[pid=29332] ppid=29330 vsize=915580 CPUtime=162.41
/proc/29332/stat : 29332 (java) R 29330 29332 28281 0 -1 0 9287 0 1 0 16226 15 0 0 25 0 8 0 273265153 937553920 9013 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073336169 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
################
# More data... #
################
/proc/29332/task/29337/stat : 29337 (java) S 29330 29332 28281 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 273265166 937553920 9022 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29332/tid=29338] ppid=29330 vsize=915580 CPUtime=0.26
/proc/29332/task/29338/stat : 29338 (java) S 29330 29332 28281 0 -1 64 430 0 0 0 26 0 0 0 16 0 8 0 273265166 937553920 9022 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29332/tid=29339] ppid=29330 vsize=915580 CPUtime=0
/proc/29332/task/29339/stat : 29339 (java) S 29330 29332 28281 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 273265166 937553920 9022 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29332/tid=29340] ppid=29330 vsize=915580 CPUtime=0
/proc/29332/task/29340/stat : 29340 (java) S 29330 29332 28281 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 273265166 937553920 9022 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 522.9
Current children cumulated vsize (KiB) 915580
[startup+583.192 s]
/proc/loadavg: 1.00 1.00 1.02 2/85 29342
/proc/meminfo: memFree=1510664/2055920 swapFree=4167328/4192956
[pid=29332] ppid=29330 vsize=915580 CPUtime=582.98
/proc/29332/stat : 29332 (java) R 29330 29332 28281 0 -1 0 9296 0 1 0 58282 16 0 0 25 0 8 0 273265153 937553920 9022 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073955287 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29332/statm: 228895 9022 2532 14 0 215365 0
[pid=29332/tid=29334] ppid=29330 vsize=915580 CPUtime=0.03
/proc/29332/task/29334/stat : 29334 (java) S 29330 29332 28281 0 -1 64 308 0 0 0 3 0 0 0 16 0 8 0 273265162 937553920 9022 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29332/tid=29335] ppid=29330 vsize=915580 CPUtime=0
/proc/29332/task/29335/stat : 29335 (java) S 29330 29332 28281 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 273265163 937553920 9022 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29332/tid=29336] ppid=29330 vsize=915580 CPUtime=0
/proc/29332/task/29336/stat : 29336 (java) S 29330 29332 28281 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273265163 937553920 9022 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29332/tid=29337] ppid=29330 vsize=915580 CPUtime=0
/proc/29332/task/29337/stat : 29337 (java) S 29330 29332 28281 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 273265166 937553920 9022 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29332/tid=29338] ppid=29330 vsize=915580 CPUtime=0.26
/proc/29332/task/29338/stat : 29338 (java) S 29330 29332 28281 0 -1 64 430 0 0 0 26 0 0 0 16 0 8 0 273265166 937553920 9022 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29332/tid=29339] ppid=29330 vsize=915580 CPUtime=0
/proc/29332/task/29339/stat : 29339 (java) S 29330 29332 28281 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 273265166 937553920 9022 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29332/tid=29340] ppid=29330 vsize=915580 CPUtime=0
/proc/29332/task/29340/stat : 29340 (java) S 29330 29332 28281 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 273265166 937553920 9022 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 582.98
Current children cumulated vsize (KiB) 915580
[startup+643.286 s]
/proc/loadavg: 1.04 1.01 1.02 2/85 29342
/proc/meminfo: memFree=1510664/2055920 swapFree=4167328/4192956
[pid=29332] ppid=29330 vsize=915580 CPUtime=643.06
/proc/29332/stat : 29332 (java) R 29330 29332 28281 0 -1 0 9296 0 1 0 64290 16 0 0 25 0 8 0 273265153 937553920 9022 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073937729 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29332/statm: 228895 9022 2532 14 0 215365 0
[pid=29332/tid=29334] ppid=29330 vsize=915580 CPUtime=0.03
/proc/29332/task/29334/stat : 29334 (java) S 29330 29332 28281 0 -1 64 308 0 0 0 3 0 0 0 16 0 8 0 273265162 937553920 9022 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29332/tid=29335] ppid=29330 vsize=915580 CPUtime=0
/proc/29332/task/29335/stat : 29335 (java) S 29330 29332 28281 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 273265163 937553920 9022 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29332/tid=29336] ppid=29330 vsize=915580 CPUtime=0
/proc/29332/task/29336/stat : 29336 (java) S 29330 29332 28281 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273265163 937553920 9022 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29332/tid=29337] ppid=29330 vsize=915580 CPUtime=0
/proc/29332/task/29337/stat : 29337 (java) S 29330 29332 28281 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 273265166 937553920 9022 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29332/tid=29338] ppid=29330 vsize=915580 CPUtime=0.26
/proc/29332/task/29338/stat : 29338 (java) S 29330 29332 28281 0 -1 64 430 0 0 0 26 0 0 0 16 0 8 0 273265166 937553920 9022 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29332/tid=29339] ppid=29330 vsize=915580 CPUtime=0
/proc/29332/task/29339/stat : 29339 (java) S 29330 29332 28281 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 273265166 937553920 9022 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29332/tid=29340] ppid=29330 vsize=915580 CPUtime=0
/proc/29332/task/29340/stat : 29340 (java) S 29330 29332 28281 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 273265166 937553920 9022 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 643.06
Current children cumulated vsize (KiB) 915580
[startup+703.379 s]
/proc/loadavg: 1.01 1.01 1.02 2/85 29342
/proc/meminfo: memFree=1510664/2055920 swapFree=4167328/4192956
[pid=29332] ppid=29330 vsize=915580 CPUtime=703.14
/proc/29332/stat : 29332 (java) R 29330 29332 28281 0 -1 0 9298 0 1 0 70298 16 0 0 25 0 8 0 273265153 937553920 9024 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073336169 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29332/statm: 228895 9024 2532 14 0 215365 0
[pid=29332/tid=29334] ppid=29330 vsize=915580 CPUtime=0.03
/proc/29332/task/29334/stat : 29334 (java) S 29330 29332 28281 0 -1 64 308 0 0 0 3 0 0 0 16 0 8 0 273265162 937553920 9024 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29332/tid=29335] ppid=29330 vsize=915580 CPUtime=0
/proc/29332/task/29335/stat : 29335 (java) S 29330 29332 28281 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 273265163 937553920 9024 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29332/tid=29336] ppid=29330 vsize=915580 CPUtime=0
/proc/29332/task/29336/stat : 29336 (java) S 29330 29332 28281 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273265163 937553920 9024 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29332/tid=29337] ppid=29330 vsize=915580 CPUtime=0
/proc/29332/task/29337/stat : 29337 (java) S 29330 29332 28281 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 273265166 937553920 9024 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29332/tid=29338] ppid=29330 vsize=915580 CPUtime=0.26
/proc/29332/task/29338/stat : 29338 (java) S 29330 29332 28281 0 -1 64 430 0 0 0 26 0 0 0 16 0 8 0 273265166 937553920 9024 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29332/tid=29339] ppid=29330 vsize=915580 CPUtime=0
/proc/29332/task/29339/stat : 29339 (java) S 29330 29332 28281 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 273265166 937553920 9024 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29332/tid=29340] ppid=29330 vsize=915580 CPUtime=0
/proc/29332/task/29340/stat : 29340 (java) S 29330 29332 28281 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 273265166 937553920 9024 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 703.14
Current children cumulated vsize (KiB) 915580
[startup+763.474 s]
/proc/loadavg: 1.00 1.00 1.01 2/85 29342
/proc/meminfo: memFree=1510664/2055920 swapFree=4167328/4192956
[pid=29332] ppid=29330 vsize=915580 CPUtime=763.22
/proc/29332/stat : 29332 (java) R 29330 29332 28281 0 -1 0 9298 0 1 0 76306 16 0 0 25 0 8 0 273265153 937553920 9024 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074014224 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29332/statm: 228895 9024 2532 14 0 215365 0
[pid=29332/tid=29334] ppid=29330 vsize=915580 CPUtime=0.03
/proc/29332/task/29334/stat : 29334 (java) S 29330 29332 28281 0 -1 64 308 0 0 0 3 0 0 0 16 0 8 0 273265162 937553920 9024 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29332/tid=29335] ppid=29330 vsize=915580 CPUtime=0
/proc/29332/task/29335/stat : 29335 (java) S 29330 29332 28281 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 273265163 937553920 9024 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29332/tid=29336] ppid=29330 vsize=915580 CPUtime=0
/proc/29332/task/29336/stat : 29336 (java) S 29330 29332 28281 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273265163 937553920 9024 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29332/tid=29337] ppid=29330 vsize=915580 CPUtime=0
/proc/29332/task/29337/stat : 29337 (java) S 29330 29332 28281 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 273265166 937553920 9024 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29332/tid=29338] ppid=29330 vsize=915580 CPUtime=0.26
/proc/29332/task/29338/stat : 29338 (java) S 29330 29332 28281 0 -1 64 430 0 0 0 26 0 0 0 16 0 8 0 273265166 937553920 9024 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29332/tid=29339] ppid=29330 vsize=915580 CPUtime=0
/proc/29332/task/29339/stat : 29339 (java) S 29330 29332 28281 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 273265166 937553920 9024 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29332/tid=29340] ppid=29330 vsize=915580 CPUtime=0
/proc/29332/task/29340/stat : 29340 (java) S 29330 29332 28281 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 273265166 937553920 9024 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 763.22
Current children cumulated vsize (KiB) 915580
[startup+823.569 s]
/proc/loadavg: 1.00 1.00 1.00 3/85 29342
/proc/meminfo: memFree=1510600/2055920 swapFree=4167328/4192956
[pid=29332] ppid=29330 vsize=915580 CPUtime=823.3
/proc/29332/stat : 29332 (java) R 29330 29332 28281 0 -1 0 9298 0 1 0 82314 16 0 0 25 0 8 0 273265153 937553920 9024 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073939170 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29332/statm: 228895 9024 2532 14 0 215365 0
[pid=29332/tid=29334] ppid=29330 vsize=915580 CPUtime=0.03
/proc/29332/task/29334/stat : 29334 (java) S 29330 29332 28281 0 -1 64 308 0 0 0 3 0 0 0 16 0 8 0 273265162 937553920 9024 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29332/tid=29335] ppid=29330 vsize=915580 CPUtime=0
/proc/29332/task/29335/stat : 29335 (java) S 29330 29332 28281 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 273265163 937553920 9024 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29332/tid=29336] ppid=29330 vsize=915580 CPUtime=0
/proc/29332/task/29336/stat : 29336 (java) S 29330 29332 28281 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273265163 937553920 9024 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29332/tid=29337] ppid=29330 vsize=915580 CPUtime=0
/proc/29332/task/29337/stat : 29337 (java) S 29330 29332 28281 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 273265166 937553920 9024 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29332/tid=29338] ppid=29330 vsize=915580 CPUtime=0.26
/proc/29332/task/29338/stat : 29338 (java) S 29330 29332 28281 0 -1 64 430 0 0 0 26 0 0 0 16 0 8 0 273265166 937553920 9024 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29332/tid=29339] ppid=29330 vsize=915580 CPUtime=0
/proc/29332/task/29339/stat : 29339 (java) S 29330 29332 28281 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 273265166 937553920 9024 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29332/tid=29340] ppid=29330 vsize=915580 CPUtime=0
/proc/29332/task/29340/stat : 29340 (java) S 29330 29332 28281 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 273265166 937553920 9024 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 823.3
Current children cumulated vsize (KiB) 915580
[startup+883.665 s]
/proc/loadavg: 1.03 1.01 1.00 2/85 29342
/proc/meminfo: memFree=1510664/2055920 swapFree=4167328/4192956
[pid=29332] ppid=29330 vsize=915580 CPUtime=883.38
/proc/29332/stat : 29332 (java) R 29330 29332 28281 0 -1 0 9298 0 1 0 88322 16 0 0 25 0 8 0 273265153 937553920 9024 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073937640 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29332/statm: 228895 9024 2532 14 0 215365 0
[pid=29332/tid=29334] ppid=29330 vsize=915580 CPUtime=0.03
/proc/29332/task/29334/stat : 29334 (java) S 29330 29332 28281 0 -1 64 308 0 0 0 3 0 0 0 16 0 8 0 273265162 937553920 9024 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29332/tid=29335] ppid=29330 vsize=915580 CPUtime=0
/proc/29332/task/29335/stat : 29335 (java) S 29330 29332 28281 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 273265163 937553920 9024 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29332/tid=29336] ppid=29330 vsize=915580 CPUtime=0
/proc/29332/task/29336/stat : 29336 (java) S 29330 29332 28281 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273265163 937553920 9024 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29332/tid=29337] ppid=29330 vsize=915580 CPUtime=0
/proc/29332/task/29337/stat : 29337 (java) S 29330 29332 28281 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 273265166 937553920 9024 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29332/tid=29338] ppid=29330 vsize=915580 CPUtime=0.26
/proc/29332/task/29338/stat : 29338 (java) S 29330 29332 28281 0 -1 64 430 0 0 0 26 0 0 0 16 0 8 0 273265166 937553920 9024 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29332/tid=29339] ppid=29330 vsize=915580 CPUtime=0
/proc/29332/task/29339/stat : 29339 (java) S 29330 29332 28281 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 273265166 937553920 9024 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29332/tid=29340] ppid=29330 vsize=915580 CPUtime=0
/proc/29332/task/29340/stat : 29340 (java) S 29330 29332 28281 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 273265166 937553920 9024 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 883.38
Current children cumulated vsize (KiB) 915580
[startup+943.764 s]
/proc/loadavg: 1.01 1.01 1.00 2/85 29342
/proc/meminfo: memFree=1510664/2055920 swapFree=4167328/4192956
[pid=29332] ppid=29330 vsize=915580 CPUtime=943.47
/proc/29332/stat : 29332 (java) R 29330 29332 28281 0 -1 0 9298 0 1 0 94330 17 0 0 25 0 8 0 273265153 937553920 9024 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073980509 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29332/statm: 228895 9024 2532 14 0 215365 0
[pid=29332/tid=29334] ppid=29330 vsize=915580 CPUtime=0.03
/proc/29332/task/29334/stat : 29334 (java) S 29330 29332 28281 0 -1 64 308 0 0 0 3 0 0 0 16 0 8 0 273265162 937553920 9024 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29332/tid=29335] ppid=29330 vsize=915580 CPUtime=0
/proc/29332/task/29335/stat : 29335 (java) S 29330 29332 28281 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 273265163 937553920 9024 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29332/tid=29336] ppid=29330 vsize=915580 CPUtime=0
/proc/29332/task/29336/stat : 29336 (java) S 29330 29332 28281 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273265163 937553920 9024 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29332/tid=29337] ppid=29330 vsize=915580 CPUtime=0
/proc/29332/task/29337/stat : 29337 (java) S 29330 29332 28281 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 273265166 937553920 9024 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29332/tid=29338] ppid=29330 vsize=915580 CPUtime=0.26
/proc/29332/task/29338/stat : 29338 (java) S 29330 29332 28281 0 -1 64 430 0 0 0 26 0 0 0 16 0 8 0 273265166 937553920 9024 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29332/tid=29339] ppid=29330 vsize=915580 CPUtime=0
/proc/29332/task/29339/stat : 29339 (java) S 29330 29332 28281 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 273265166 937553920 9024 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29332/tid=29340] ppid=29330 vsize=915580 CPUtime=0
/proc/29332/task/29340/stat : 29340 (java) S 29330 29332 28281 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 273265166 937553920 9024 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 943.47
Current children cumulated vsize (KiB) 915580
Child status: 0
Real time (s): 990.953
CPU time (s): 990.618
CPU user time (s): 990.439
CPU system time (s): 0.178972
CPU usage (%): 99.9662
Max. virtual memory (cumulated for all children) (KiB): 916096
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 990.439
system time used= 0.178972
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9396
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= 21033
involuntary context switches= 2454
runsolver used 0.883865 s user time and 2.6366 s system time
The end
Begin job on node30 on Fri Jan 19 23:18:32 UTC 2007
IDJOB= 276886
IDBENCH= 6095
IDSOLVER= 68
FILE ID= node30/276886-1169248712
PBS_JOBID= 3589332
Free space on /tmp= 66563 MiB
SOLVER NAME= AbsconMax 109 EPFC
BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.1/rand-2-40-8-753-100-3_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/276886-1169248712/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node30/watcher-276886-1169248712 -o ROOT/results/node30/solver-276886-1169248712 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/276886-1169248712/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 9c9268857e45b389f681d23ffd1931ad
RANDOM SEED= 859924825
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: 1537304 kB
Buffers: 38664 kB
Cached: 373632 kB
SwapCached: 2164 kB
Active: 167296 kB
Inactive: 274148 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1537304 kB
SwapTotal: 4192956 kB
SwapFree: 4167328 kB
Dirty: 1792 kB
Writeback: 0 kB
Mapped: 44644 kB
Slab: 62568 kB
Committed_AS: 4991364 kB
PageTables: 1888 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= 66563 MiB
End job on node30 on Fri Jan 19 23:35:03 UTC 2007