0.58
0.58 Abscon 109 (November, 2006)
0.58
0.58 configuration
0.58 name=epfc.xml
0.61
0.61 instance
0.61 name=/tmp/evaluation/275938-1169229582/unknown.xml
0.64
0.64 domains being loaded...
0.65
0.65 variables being loaded...
0.68 nbVariables=20 nbDomainTypes=1 minDomainSize=20 maxDomainSize=20
0.68 => wckTime=0.092 cpuTime=0.09 mem=6M887
0.68
0.68 relations being loaded...
0.95
0.95 constraints being loaded...
1.10 nbConstraints=60 nbRelationTypes=60 nbExtensionStructures=60 nbSharedExtensionStructures=0
1.10 nbConflictsStructures=60 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=0 maxDegree=14 maxArity=3
1.10 => wckTime=0.513 cpuTime=0.47 mem=44M322
1.18
1.18 solver LocalSearchSolver being built...
1.22 => wckTime=0.631 cpuTime=0.51 mem=12M597
1.22
1.22 s SATISFIABLE
1.22 o 25
1.22 c 35
1.23 o 30
1.23 c 30
1.23 o 33
1.23 c 27
1.23 o 37
1.23 c 23
1.23 o 41
1.23 c 19
1.24 o 43
1.24 c 17
1.24 o 44
1.24 c 16
1.24 o 47
1.24 c 13
1.24 o 48
1.24 c 12
1.25 o 49
1.25 c 11
1.25 o 50
1.25 c 10
1.26 o 51
1.26 c 9
1.27 o 52
1.27 c 8
1.29 o 53
1.29 c 7
1.29 o 54
1.29 c 6
1.36 o 55
1.36 c 5
1.42 o 56
1.42 c 4
1.72 o 57
1.72 c 3
2.27 o 58
2.27 c 2
9.72
9.72 search
9.72 run=0 nbConstraintChecks=10298698 nbAssignments=10000
9.72 => wckTime=8.505 cpuTime=8.48 mem=12M597
17.57
17.57 search
17.57 run=1 nbConstraintChecks=19996032 nbAssignments=20000
17.57 => wckTime=16.356 cpuTime=16.32 mem=12M597
26.03
26.03 search
26.03 run=2 nbConstraintChecks=30397367 nbAssignments=30000
26.03 => wckTime=24.814 cpuTime=24.75 mem=12M597
32.33
32.33 search
32.33 run=3 nbConstraintChecks=38140881 nbAssignments=37677
32.33 => wckTime=31.118 cpuTime=31.06 mem=12M597
32.34
32.34 global
32.34 nbConstraintChecks=38140881 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
32.34 solvingWckTime=31.116 solvingCpuTime=31.05 expiredTime=no totalExploration=no nbFoundSolutions=0
32.34 globalCpuTime=31.6
32.34 => wckTime=31.75 cpuTime=31.56 mem=12M597
32.34
32.34 solver IterativeSystematicSolver being built...
32.47 => wckTime=31.879 cpuTime=31.65 mem=23M599
32.54
32.54 preprocessing
32.54 nbConstraintChecks=16166 nbValidityChecks=40330 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
32.54 nbRemovedValues=0 detectedInconsistency=no
32.54 => wckTime=0.068 cpuTime=0.04 mem=23M599
32.64
32.64 search
32.64 run=0 nbConstraintChecks=51190 nbValidityChecks=282929 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
32.64 nbAssignments=89 nbFailedAssignments=73 nbBacktracks=10 nbVisitedNodes=173 nbRestartNogoods=0
32.64 => wckTime=0.169 cpuTime=0.14 mem=24M602
32.77
32.77 search
32.77 run=1 nbConstraintChecks=129264 nbValidityChecks=642424 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
32.77 nbAssignments=229 nbFailedAssignments=190 nbBacktracks=25 nbVisitedNodes=445 nbRestartNogoods=14
32.77 => wckTime=0.307 cpuTime=0.27 mem=24M602
32.90
32.90 search
32.90 run=2 nbConstraintChecks=205646 nbValidityChecks=1017362 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
32.90 nbAssignments=391 nbFailedAssignments=323 nbBacktracks=47 nbVisitedNodes=762 nbRestartNogoods=53
32.90 => wckTime=0.435 cpuTime=0.39 mem=24M602
33.12
33.12 search
33.12 run=3 nbConstraintChecks=347278 nbValidityChecks=1648895 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
33.12 nbAssignments=609 nbFailedAssignments=501 nbBacktracks=80 nbVisitedNodes=1191 nbRestartNogoods=93
33.12 => wckTime=0.651 cpuTime=0.62 mem=24M602
33.64
33.64 search
33.64 run=4 nbConstraintChecks=675632 nbValidityChecks=3324205 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
33.64 nbAssignments=1146 nbFailedAssignments=983 nbBacktracks=130 nbVisitedNodes=2260 nbRestartNogoods=120
33.64 => wckTime=1.17 cpuTime=1.12 mem=24M602
34.34
34.34 search
34.34 run=5 nbConstraintChecks=1138608 nbValidityChecks=5513665 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
34.34 nbAssignments=1865 nbFailedAssignments=1620 nbBacktracks=205 nbVisitedNodes=3690 nbRestartNogoods=127
34.34 => wckTime=1.87 cpuTime=1.81 mem=24M602
35.07
35.07 search
35.07 run=6 nbConstraintChecks=1592603 nbValidityChecks=7917300 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
35.07 nbAssignments=2601 nbFailedAssignments=2236 nbBacktracks=318 nbVisitedNodes=5146 nbRestartNogoods=146
35.07 => wckTime=2.604 cpuTime=2.54 mem=24M602
36.17
36.17 search
36.17 run=7 nbConstraintChecks=2287777 nbValidityChecks=11600897 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
36.17 nbAssignments=3855 nbFailedAssignments=3312 nbBacktracks=488 nbVisitedNodes=7646 nbRestartNogoods=156
36.17 => wckTime=3.701 cpuTime=3.63 mem=24M602
38.18
38.18 search
38.18 run=8 nbConstraintChecks=3605243 nbValidityChecks=18421006 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
38.18 nbAssignments=6017 nbFailedAssignments=5211 nbBacktracks=744 nbVisitedNodes=11956 nbRestartNogoods=198
38.18 => wckTime=5.714 cpuTime=5.65 mem=24M602
40.42
40.42 search
40.42 run=9 nbConstraintChecks=5121834 nbValidityChecks=25487186 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
40.42 nbAssignments=8538 nbFailedAssignments=7343 nbBacktracks=1128 nbVisitedNodes=16992 nbRestartNogoods=217
40.42 => wckTime=7.949 cpuTime=7.88 mem=24M602
44.22
44.22 search
44.22 run=10 nbConstraintChecks=7604164 nbValidityChecks=38028977 nbPropagations=0 nbRevisions=0
44.22 nbUselessRevisions=0 nbAssignments=12940 nbFailedAssignments=11162 nbBacktracks=1704 nbVisitedNodes=25783
44.22 nbRestartNogoods=233
44.22 => wckTime=11.754 cpuTime=11.68 mem=24M602
50.39
50.39 search
50.39 run=11 nbConstraintChecks=11508797 nbValidityChecks=58886793 nbPropagations=0 nbRevisions=0
50.39 nbUselessRevisions=0 nbAssignments=19340 nbFailedAssignments=16691 nbBacktracks=2568 nbVisitedNodes=38561
50.39 nbRestartNogoods=269
50.39 => wckTime=17.922 cpuTime=17.84 mem=24M602
58.81
58.81 search
58.81 run=12 nbConstraintChecks=17443802 nbValidityChecks=85710762 nbPropagations=0 nbRevisions=0
58.81 nbUselessRevisions=0 nbAssignments=28317 nbFailedAssignments=24363 nbBacktracks=3866 nbVisitedNodes=56450
58.81 nbRestartNogoods=289
58.81 => wckTime=26.34 cpuTime=26.25 mem=24M602
71.14
71.14 search
71.14 run=13 nbConstraintChecks=25698093 nbValidityChecks=124988300 nbPropagations=0 nbRevisions=0
71.14 nbUselessRevisions=0 nbAssignments=40486 nbFailedAssignments=34578 nbBacktracks=5812 nbVisitedNodes=80626
71.14 nbRestartNogoods=306
71.15 => wckTime=38.678 cpuTime=38.56 mem=24M602
87.34
87.34 search
87.34 run=14 nbConstraintChecks=36129574 nbValidityChecks=179143303 nbPropagations=0 nbRevisions=0
87.34 nbUselessRevisions=0 nbAssignments=59636 nbFailedAssignments=50803 nbBacktracks=8731 nbVisitedNodes=118788
87.34 nbRestartNogoods=338
87.34 => wckTime=54.875 cpuTime=54.73 mem=24M602
107.36
107.36 search
107.36 run=15 nbConstraintChecks=48989260 nbValidityChecks=241983750 nbPropagations=0 nbRevisions=0
107.36 nbUselessRevisions=0 nbAssignments=79573 nbFailedAssignments=66354 nbBacktracks=13109 nbVisitedNodes=158073
107.36 nbRestartNogoods=375
107.36 => wckTime=74.89 cpuTime=74.71 mem=24M602
130.65
130.65 search
130.65 run=16 nbConstraintChecks=63941966 nbValidityChecks=317615006 nbPropagations=0 nbRevisions=0
130.65 nbUselessRevisions=0 nbAssignments=104884 nbFailedAssignments=85089 nbBacktracks=19677 nbVisitedNodes=208060
130.65 nbRestartNogoods=436
130.65 => wckTime=98.187 cpuTime=97.94 mem=24M602
164.75
164.75 search
164.75 run=17 nbConstraintChecks=86519755 nbValidityChecks=422840465 nbPropagations=0 nbRevisions=0
164.75 nbUselessRevisions=0 nbAssignments=140008 nbFailedAssignments=110354 nbBacktracks=29529 nbVisitedNodes=276369
164.75 nbRestartNogoods=467
164.75 => wckTime=132.28 cpuTime=131.99 mem=24M602
217.36
217.36 search
217.36 run=18 nbConstraintChecks=121005620 nbValidityChecks=578888243 nbPropagations=0 nbRevisions=0
217.36 nbUselessRevisions=0 nbAssignments=187270 nbFailedAssignments=142833 nbBacktracks=44307 nbVisitedNodes=368763
217.36 nbRestartNogoods=507
217.36 => wckTime=184.893 cpuTime=184.56 mem=24M602
298.29
298.29 search
298.29 run=19 nbConstraintChecks=176349534 nbValidityChecks=806004178 nbPropagations=0 nbRevisions=0
298.29 nbUselessRevisions=0 nbAssignments=258777 nbFailedAssignments=192166 nbBacktracks=66475 nbVisitedNodes=506251
298.29 nbRestartNogoods=537
298.29 => wckTime=265.825 cpuTime=265.4 mem=24M602
405.03
405.03 search
405.03 run=20 nbConstraintChecks=247435691 nbValidityChecks=1113377847 nbPropagations=0 nbRevisions=0
405.03 nbUselessRevisions=0 nbAssignments=361735 nbFailedAssignments=261865 nbBacktracks=99728 nbVisitedNodes=704893
405.03 nbRestartNogoods=575
405.03 => wckTime=372.566 cpuTime=372.04 mem=24M602
584.14
584.14 search
584.14 run=21 nbConstraintChecks=364045459 nbValidityChecks=1637605595 nbPropagations=0 nbRevisions=0
584.14 nbUselessRevisions=0 nbAssignments=514691 nbFailedAssignments=364939 nbBacktracks=149606 nbVisitedNodes=1000936
584.14 nbRestartNogoods=611
584.14 => wckTime=551.675 cpuTime=550.97 mem=24M602
823.34
823.34 search
823.34 run=22 nbConstraintChecks=525043260 nbValidityChecks=2303537501 nbPropagations=0 nbRevisions=0
823.34 nbUselessRevisions=0 nbAssignments=733428 nbFailedAssignments=508853 nbBacktracks=224425 nbVisitedNodes=1416908
823.34 nbRestartNogoods=682
823.34 => wckTime=790.871 cpuTime=789.93 mem=24M602
1198.49
1198.49 search
1198.49 run=23 nbConstraintChecks=778680701 nbValidityChecks=3306063087 nbPropagations=0 nbRevisions=0
1198.49 nbUselessRevisions=0 nbAssignments=1036988 nbFailedAssignments=700181 nbBacktracks=336652
1198.49 nbVisitedNodes=1987970 nbRestartNogoods=691
1198.49 => wckTime=1166.026 cpuTime=1164.73 mem=24M602
1395.81 o 59
1395.82 c 1
1692.30
1692.30 search
1692.30 run=24 nbConstraintChecks=1114340374 nbValidityChecks=4582984336 nbPropagations=0 nbRevisions=0
1692.30 nbUselessRevisions=0 nbAssignments=1442670 nbFailedAssignments=937517 nbBacktracks=504993
1692.30 nbVisitedNodes=2708747 nbRestartNogoods=744
1692.30 => wckTime=1659.831 cpuTime=1658.41 mem=24M602
1918.17
1918.17 search
1918.17 run=25 nbConstraintChecks=1268688193 nbValidityChecks=5155859415 nbPropagations=0 nbRevisions=0
1918.17 nbUselessRevisions=0 nbAssignments=1620012 nbFailedAssignments=1033613 nbBacktracks=586240
1918.17 nbVisitedNodes=3009947 nbRestartNogoods=763
1918.17 => wckTime=1885.706 cpuTime=1884.21 mem=24M602
1918.17
1918.17 global
1918.17 nbConstraintChecks=1268704359 nbValidityChecks=5155899745 nbRestartNogoods=763 solvingWckTime=1885.707
1918.17 solvingCpuTime=1884.21 expiredTime=no totalExploration=yes nbFoundSolutions=1 globalCpuTime=1915.9
1918.17 => wckTime=1917.587 cpuTime=1915.86 mem=24M602
1918.18
1918.18 s OPTIMUM FOUND
1918.18 v 14 2 0 6 0 13 6 16 16 0 14 0 17 8 4 0 10 17 6 6
1918.18
1918.18 totalWckTime=1917.664 totalCpuTime=1915.91
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node72/watcher-275938-1169229582 -o ROOT/results/node72/solver-275938-1169229582 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/275938-1169229582/unknown.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB
/proc/loadavg: 2.00 2.00 1.93 4/93 823
/proc/meminfo: memFree=1264232/2055920 swapFree=4191880/4192956
[pid=822] ppid=820 vsize=220 CPUtime=0
/proc/822/stat : 822 (java) R 820 822 545 0 -1 0 224 0 0 0 0 0 0 0 18 0 1 0 271367064 225280 31 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 2536356 0 0 4096 0 0 0 0 17 0 0 0
/proc/822/statm: 73 35 27 14 0 5 0
[startup+0.10731 s]
/proc/loadavg: 2.00 2.00 1.93 4/93 823
/proc/meminfo: memFree=1264232/2055920 swapFree=4191880/4192956
[pid=822] ppid=820 vsize=47892 CPUtime=0
/proc/822/stat : 822 (java) D 820 822 545 0 -1 0 1219 0 1 0 0 0 0 0 18 0 1 0 271367064 49041408 968 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 2147483391 0 7368 18446744072099781622 0 0 17 0 0 0
/proc/822/statm: 11973 968 766 14 0 1707 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 47892
[startup+0.51535 s]
/proc/loadavg: 2.00 2.00 1.93 4/93 823
/proc/meminfo: memFree=1264232/2055920 swapFree=4191880/4192956
[pid=822] ppid=820 vsize=915120 CPUtime=0.2
/proc/822/stat : 822 (java) R 820 822 545 0 -1 0 4248 0 1 0 18 2 0 0 24 0 8 0 271367064 937082880 3994 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4153785378 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/822/statm: 228780 3995 1910 14 0 215275 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 915120
[startup+1.33642 s]
/proc/loadavg: 2.00 2.00 1.93 4/100 830
/proc/meminfo: memFree=1212144/2055920 swapFree=4191880/4192956
[pid=822] ppid=820 vsize=915444 CPUtime=1.01
/proc/822/stat : 822 (java) R 820 822 545 0 -1 0 17561 0 1 0 92 9 0 0 25 0 8 0 271367064 937414656 17299 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073611744 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/822/statm: 228862 17299 2478 14 0 215332 0
[pid=822/tid=824] ppid=820 vsize=915444 CPUtime=0.06
/proc/822/task/824/stat : 824 (java) S 820 822 545 0 -1 64 1890 0 0 0 5 1 0 0 16 0 8 0 271367097 937414656 17299 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=822/tid=825] ppid=820 vsize=915444 CPUtime=0
/proc/822/task/825/stat : 825 (java) S 820 822 545 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271367097 937414656 17299 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=822/tid=826] ppid=820 vsize=915444 CPUtime=0
/proc/822/task/826/stat : 826 (java) S 820 822 545 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271367097 937414656 17299 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=822/tid=827] ppid=820 vsize=915444 CPUtime=0
/proc/822/task/827/stat : 827 (java) S 820 822 545 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 271367100 937414656 17299 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=822/tid=828] ppid=820 vsize=915444 CPUtime=0.1
/proc/822/task/828/stat : 828 (java) S 820 822 545 0 -1 64 319 0 0 0 9 1 0 0 16 0 8 0 271367101 937414656 17299 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=822/tid=829] ppid=820 vsize=915444 CPUtime=0
/proc/822/task/829/stat : 829 (java) S 820 822 545 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 271367101 937414656 17299 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=822/tid=830] ppid=820 vsize=915444 CPUtime=0
/proc/822/task/830/stat : 830 (java) S 820 822 545 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271367101 937414656 17299 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.01
Current children cumulated vsize (KiB) 915444
[startup+2.98757 s]
/proc/loadavg: 2.00 2.00 1.93 3/100 830
/proc/meminfo: memFree=1204464/2055920 swapFree=4191880/4192956
[pid=822] ppid=820 vsize=915444 CPUtime=2.67
/proc/822/stat : 822 (java) R 820 822 545 0 -1 0 17570 0 1 0 248 19 0 0 25 0 8 0 271367064 937414656 17307 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073650391 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/822/statm: 228861 17307 2480 14 0 215331 0
[pid=822/tid=824] ppid=820 vsize=915444 CPUtime=0.06
/proc/822/task/824/stat : 824 (java) S 820 822 545 0 -1 64 1890 0 0 0 5 1 0 0 17 0 8 0 271367097 937414656 17307 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=822/tid=825] ppid=820 vsize=915444 CPUtime=0
/proc/822/task/825/stat : 825 (java) S 820 822 545 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271367097 937414656 17307 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=822/tid=826] ppid=820 vsize=915444 CPUtime=0
/proc/822/task/826/stat : 826 (java) S 820 822 545 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271367097 937414656 17307 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=822/tid=827] ppid=820 vsize=915444 CPUtime=0
/proc/822/task/827/stat : 827 (java) S 820 822 545 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 271367100 937414656 17307 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=822/tid=828] ppid=820 vsize=915444 CPUtime=0.11
/proc/822/task/828/stat : 828 (java) S 820 822 545 0 -1 64 327 0 0 0 10 1 0 0 15 0 8 0 271367101 937414656 17307 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=822/tid=829] ppid=820 vsize=915444 CPUtime=0
/proc/822/task/829/stat : 829 (java) S 820 822 545 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 271367101 937414656 17307 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=822/tid=830] ppid=820 vsize=915444 CPUtime=0
/proc/822/task/830/stat : 830 (java) S 820 822 545 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271367101 937414656 17307 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.67
Current children cumulated vsize (KiB) 915444
[startup+6.28488 s]
/proc/loadavg: 2.00 2.00 1.93 3/100 830
/proc/meminfo: memFree=1204464/2055920 swapFree=4191880/4192956
[pid=822] ppid=820 vsize=915444 CPUtime=5.96
/proc/822/stat : 822 (java) R 820 822 545 0 -1 0 17570 0 1 0 561 35 0 0 25 0 8 0 271367064 937414656 17307 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073611769 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/822/statm: 228861 17307 2480 14 0 215331 0
[pid=822/tid=824] ppid=820 vsize=915444 CPUtime=0.06
/proc/822/task/824/stat : 824 (java) S 820 822 545 0 -1 64 1890 0 0 0 5 1 0 0 16 0 8 0 271367097 937414656 17307 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=822/tid=825] ppid=820 vsize=915444 CPUtime=0
/proc/822/task/825/stat : 825 (java) S 820 822 545 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271367097 937414656 17307 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=822/tid=826] ppid=820 vsize=915444 CPUtime=0
/proc/822/task/826/stat : 826 (java) S 820 822 545 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271367097 937414656 17307 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=822/tid=827] ppid=820 vsize=915444 CPUtime=0
/proc/822/task/827/stat : 827 (java) S 820 822 545 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 271367100 937414656 17307 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=822/tid=828] ppid=820 vsize=915444 CPUtime=0.11
/proc/822/task/828/stat : 828 (java) S 820 822 545 0 -1 64 327 0 0 0 10 1 0 0 15 0 8 0 271367101 937414656 17307 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=822/tid=829] ppid=820 vsize=915444 CPUtime=0
/proc/822/task/829/stat : 829 (java) S 820 822 545 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 271367101 937414656 17307 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=822/tid=830] ppid=820 vsize=915444 CPUtime=0
/proc/822/task/830/stat : 830 (java) S 820 822 545 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271367101 937414656 17307 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 5.96
Current children cumulated vsize (KiB) 915444
[startup+12.7645 s]
/proc/loadavg: 2.00 2.00 1.93 3/100 830
/proc/meminfo: memFree=1204464/2055920 swapFree=4191880/4192956
[pid=822] ppid=820 vsize=915444 CPUtime=12.43
/proc/822/stat : 822 (java) R 820 822 545 0 -1 0 17572 0 1 0 1176 67 0 0 25 0 8 0 271367064 937414656 17309 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073611710 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/822/statm: 228861 17309 2480 14 0 215331 0
[pid=822/tid=824] ppid=820 vsize=915444 CPUtime=0.06
/proc/822/task/824/stat : 824 (java) S 820 822 545 0 -1 64 1890 0 0 0 5 1 0 0 16 0 8 0 271367097 937414656 17309 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=822/tid=825] ppid=820 vsize=915444 CPUtime=0
/proc/822/task/825/stat : 825 (java) S 820 822 545 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271367097 937414656 17309 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=822/tid=826] ppid=820 vsize=915444 CPUtime=0
/proc/822/task/826/stat : 826 (java) S 820 822 545 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271367097 937414656 17309 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=822/tid=827] ppid=820 vsize=915444 CPUtime=0
/proc/822/task/827/stat : 827 (java) S 820 822 545 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 271367100 937414656 17309 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=822/tid=828] ppid=820 vsize=915444 CPUtime=0.11
/proc/822/task/828/stat : 828 (java) S 820 822 545 0 -1 64 329 0 0 0 10 1 0 0 16 0 8 0 271367101 937414656 17309 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=822/tid=829] ppid=820 vsize=915448 CPUtime=0
/proc/822/task/829/stat : 829 (java) S 820 822 545 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 271367101 937418752 17309 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=822/tid=830] ppid=820 vsize=915444 CPUtime=0
/proc/822/task/830/stat : 830 (java) S 820 822 545 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271367101 937414656 17309 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.43
Current children cumulated vsize (KiB) 915444
[startup+25.6076 s]
/proc/loadavg: 2.00 2.00 1.93 3/100 830
/proc/meminfo: memFree=1204720/2055920 swapFree=4191880/4192956
[pid=822] ppid=820 vsize=915444 CPUtime=25.24
/proc/822/stat : 822 (java) R 820 822 545 0 -1 0 17572 0 1 0 2400 124 0 0 25 0 8 0 271367064 937414656 17309 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/822/statm: 228861 17309 2480 14 0 215331 0
[pid=822/tid=824] ppid=820 vsize=915444 CPUtime=0.06
/proc/822/task/824/stat : 824 (java) S 820 822 545 0 -1 64 1890 0 0 0 5 1 0 0 16 0 8 0 271367097 937414656 17309 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=822/tid=825] ppid=820 vsize=915444 CPUtime=0
/proc/822/task/825/stat : 825 (java) S 820 822 545 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271367097 937414656 17309 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=822/tid=826] ppid=820 vsize=915444 CPUtime=0
/proc/822/task/826/stat : 826 (java) S 820 822 545 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271367097 937414656 17309 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=822/tid=827] ppid=820 vsize=915444 CPUtime=0
/proc/822/task/827/stat : 827 (java) S 820 822 545 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 271367100 937414656 17309 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=822/tid=828] ppid=820 vsize=915444 CPUtime=0.11
/proc/822/task/828/stat : 828 (java) S 820 822 545 0 -1 64 329 0 0 0 10 1 0 0 16 0 8 0 271367101 937414656 17309 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=822/tid=829] ppid=820 vsize=915444 CPUtime=0
/proc/822/task/829/stat : 829 (java) S 820 822 545 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 271367101 937414656 17309 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=822/tid=830] ppid=820 vsize=915444 CPUtime=0
/proc/822/task/830/stat : 830 (java) S 820 822 545 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271367101 937414656 17309 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.24
Current children cumulated vsize (KiB) 915444
[startup+51.212 s]
/proc/loadavg: 2.00 2.00 1.93 3/100 830
/proc/meminfo: memFree=1204464/2055920 swapFree=4191880/4192956
[pid=822] ppid=820 vsize=915444 CPUtime=50.84
/proc/822/stat : 822 (java) R 820 822 545 0 -1 0 17742 0 1 0 4926 158 0 0 25 0 8 0 271367064 937414656 17475 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073616569 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/822/statm: 228861 17475 2535 14 0 215331 0
[pid=822/tid=824] ppid=820 vsize=915444 CPUtime=0.06
/proc/822/task/824/stat : 824 (java) S 820 822 545 0 -1 64 1891 0 0 0 5 1 0 0 17 0 8 0 271367097 937414656 17475 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=822/tid=825] ppid=820 vsize=915444 CPUtime=0
/proc/822/task/825/stat : 825 (java) S 820 822 545 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271367097 937414656 17475 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=822/tid=826] ppid=820 vsize=915444 CPUtime=0
/proc/822/task/826/stat : 826 (java) S 820 822 545 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271367097 937414656 17475 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=822/tid=827] ppid=820 vsize=915444 CPUtime=0
/proc/822/task/827/stat : 827 (java) S 820 822 545 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 271367100 937414656 17475 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=822/tid=828] ppid=820 vsize=915444 CPUtime=0.22
/proc/822/task/828/stat : 828 (java) S 820 822 545 0 -1 64 391 0 0 0 21 1 0 0 16 0 8 0 271367101 937414656 17475 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=822/tid=829] ppid=820 vsize=915444 CPUtime=0
/proc/822/task/829/stat : 829 (java) S 820 822 545 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 271367101 937414656 17475 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=822/tid=830] ppid=820 vsize=915444 CPUtime=0
/proc/822/task/830/stat : 830 (java) S 820 822 545 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271367101 937414656 17475 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.84
Current children cumulated vsize (KiB) 915444
[startup+102.426 s]
/proc/loadavg: 2.05 2.01 1.93 3/106 932
/proc/meminfo: memFree=1202968/2055920 swapFree=4191880/4192956
[pid=822] ppid=820 vsize=915444 CPUtime=101.96
/proc/822/stat : 822 (java) R 820 822 545 0 -1 0 17745 0 1 0 10034 162 0 0 25 0 8 0 271367064 937414656 17475 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073778167 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/822/statm: 228861 17475 2535 14 0 215331 0
[pid=822/tid=824] ppid=820 vsize=915444 CPUtime=0.06
/proc/822/task/824/stat : 824 (java) S 820 822 545 0 -1 64 1891 0 0 0 5 1 0 0 16 0 8 0 271367097 937414656 17475 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=822/tid=825] ppid=820 vsize=915444 CPUtime=0
/proc/822/task/825/stat : 825 (java) S 820 822 545 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271367097 937414656 17475 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=822/tid=826] ppid=820 vsize=915444 CPUtime=0
/proc/822/task/826/stat : 826 (java) S 820 822 545 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271367097 937414656 17475 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=822/tid=827] ppid=820 vsize=915444 CPUtime=0
/proc/822/task/827/stat : 827 (java) S 820 822 545 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 271367100 937414656 17475 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=822/tid=828] ppid=820 vsize=915444 CPUtime=0.22
/proc/822/task/828/stat : 828 (java) S 820 822 545 0 -1 64 392 0 0 0 21 1 0 0 16 0 8 0 271367101 937414656 17475 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=822/tid=829] ppid=820 vsize=915444 CPUtime=0
/proc/822/task/829/stat : 829 (java) S 820 822 545 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 271367101 937414656 17475 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=822/tid=830] ppid=820 vsize=915444 CPUtime=0
/proc/822/task/830/stat : 830 (java) S 820 822 545 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271367101 937414656 17475 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.96
Current children cumulated vsize (KiB) 915444
[startup+162.492 s]
/proc/loadavg: 2.02 2.01 1.93 3/100 1032
/proc/meminfo: memFree=1204080/2055920 swapFree=4191880/4192956
[pid=822] ppid=820 vsize=915444 CPUtime=161.91
/proc/822/stat : 822 (java) R 820 822 545 0 -1 0 17745 0 1 0 16023 168 0 0 25 0 8 0 271367064 937414656 17475 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073809870 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
################
# More data... #
################
/proc/822/task/827/stat : 827 (java) S 820 822 545 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 271367100 937414656 17476 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=822/tid=828] ppid=820 vsize=915444 CPUtime=0.22
/proc/822/task/828/stat : 828 (java) S 820 822 545 0 -1 64 393 0 0 0 21 1 0 0 16 0 8 0 271367101 937414656 17476 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=822/tid=829] ppid=820 vsize=915444 CPUtime=0
/proc/822/task/829/stat : 829 (java) S 820 822 545 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 271367101 937414656 17476 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=822/tid=830] ppid=820 vsize=915444 CPUtime=0
/proc/822/task/830/stat : 830 (java) S 820 822 545 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271367101 937414656 17476 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1482.21
Current children cumulated vsize (KiB) 915444
[startup+1543.88 s]
/proc/loadavg: 1.01 1.25 1.59 2/85 1198
/proc/meminfo: memFree=1236984/2055920 swapFree=4191880/4192956
[pid=822] ppid=820 vsize=915444 CPUtime=1542.21
/proc/822/stat : 822 (java) R 820 822 545 0 -1 0 17747 0 1 0 154044 177 0 0 25 0 8 0 271367064 937414656 17476 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073611700 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/822/statm: 228861 17476 2535 14 0 215331 0
[pid=822/tid=824] ppid=820 vsize=915444 CPUtime=0.06
/proc/822/task/824/stat : 824 (java) S 820 822 545 0 -1 64 1891 0 0 0 5 1 0 0 16 0 8 0 271367097 937414656 17476 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=822/tid=825] ppid=820 vsize=915444 CPUtime=0
/proc/822/task/825/stat : 825 (java) S 820 822 545 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271367097 937414656 17476 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=822/tid=826] ppid=820 vsize=915444 CPUtime=0
/proc/822/task/826/stat : 826 (java) S 820 822 545 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271367097 937414656 17476 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=822/tid=827] ppid=820 vsize=915444 CPUtime=0
/proc/822/task/827/stat : 827 (java) S 820 822 545 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 271367100 937414656 17476 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=822/tid=828] ppid=820 vsize=915444 CPUtime=0.22
/proc/822/task/828/stat : 828 (java) S 820 822 545 0 -1 64 393 0 0 0 21 1 0 0 16 0 8 0 271367101 937414656 17476 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=822/tid=829] ppid=820 vsize=915444 CPUtime=0
/proc/822/task/829/stat : 829 (java) S 820 822 545 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 271367101 937414656 17476 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=822/tid=830] ppid=820 vsize=915444 CPUtime=0
/proc/822/task/830/stat : 830 (java) S 820 822 545 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271367101 937414656 17476 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1542.21
Current children cumulated vsize (KiB) 915444
[startup+1603.9 s]
/proc/loadavg: 1.00 1.20 1.55 2/85 1198
/proc/meminfo: memFree=1236920/2055920 swapFree=4191880/4192956
[pid=822] ppid=820 vsize=915444 CPUtime=1602.21
/proc/822/stat : 822 (java) R 820 822 545 0 -1 0 17747 0 1 0 160044 177 0 0 25 0 8 0 271367064 937414656 17476 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073616572 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/822/statm: 228861 17476 2535 14 0 215331 0
[pid=822/tid=824] ppid=820 vsize=915444 CPUtime=0.06
/proc/822/task/824/stat : 824 (java) S 820 822 545 0 -1 64 1891 0 0 0 5 1 0 0 16 0 8 0 271367097 937414656 17476 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=822/tid=825] ppid=820 vsize=915444 CPUtime=0
/proc/822/task/825/stat : 825 (java) S 820 822 545 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271367097 937414656 17476 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=822/tid=826] ppid=820 vsize=915444 CPUtime=0
/proc/822/task/826/stat : 826 (java) S 820 822 545 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271367097 937414656 17476 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=822/tid=827] ppid=820 vsize=915444 CPUtime=0
/proc/822/task/827/stat : 827 (java) S 820 822 545 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 271367100 937414656 17476 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=822/tid=828] ppid=820 vsize=915444 CPUtime=0.22
/proc/822/task/828/stat : 828 (java) S 820 822 545 0 -1 64 393 0 0 0 21 1 0 0 16 0 8 0 271367101 937414656 17476 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=822/tid=829] ppid=820 vsize=915444 CPUtime=0
/proc/822/task/829/stat : 829 (java) S 820 822 545 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 271367101 937414656 17476 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=822/tid=830] ppid=820 vsize=915444 CPUtime=0
/proc/822/task/830/stat : 830 (java) S 820 822 545 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271367101 937414656 17476 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1602.21
Current children cumulated vsize (KiB) 915444
[startup+1663.92 s]
/proc/loadavg: 1.00 1.16 1.51 2/85 1198
/proc/meminfo: memFree=1236984/2055920 swapFree=4191880/4192956
[pid=822] ppid=820 vsize=915444 CPUtime=1662.21
/proc/822/stat : 822 (java) R 820 822 545 0 -1 0 17747 0 1 0 166044 177 0 0 25 0 8 0 271367064 937414656 17476 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073816918 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/822/statm: 228861 17476 2535 14 0 215331 0
[pid=822/tid=824] ppid=820 vsize=915444 CPUtime=0.06
/proc/822/task/824/stat : 824 (java) S 820 822 545 0 -1 64 1891 0 0 0 5 1 0 0 16 0 8 0 271367097 937414656 17476 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=822/tid=825] ppid=820 vsize=915444 CPUtime=0
/proc/822/task/825/stat : 825 (java) S 820 822 545 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271367097 937414656 17476 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=822/tid=826] ppid=820 vsize=915444 CPUtime=0
/proc/822/task/826/stat : 826 (java) S 820 822 545 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271367097 937414656 17476 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=822/tid=827] ppid=820 vsize=915444 CPUtime=0
/proc/822/task/827/stat : 827 (java) S 820 822 545 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 271367100 937414656 17476 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=822/tid=828] ppid=820 vsize=915444 CPUtime=0.22
/proc/822/task/828/stat : 828 (java) S 820 822 545 0 -1 64 393 0 0 0 21 1 0 0 16 0 8 0 271367101 937414656 17476 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=822/tid=829] ppid=820 vsize=915444 CPUtime=0
/proc/822/task/829/stat : 829 (java) S 820 822 545 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 271367101 937414656 17476 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=822/tid=830] ppid=820 vsize=915444 CPUtime=0
/proc/822/task/830/stat : 830 (java) S 820 822 545 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271367101 937414656 17476 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1662.21
Current children cumulated vsize (KiB) 915444
[startup+1723.94 s]
/proc/loadavg: 1.00 1.13 1.47 2/85 1198
/proc/meminfo: memFree=1236920/2055920 swapFree=4191880/4192956
[pid=822] ppid=820 vsize=915444 CPUtime=1722.23
/proc/822/stat : 822 (java) R 820 822 545 0 -1 0 17747 0 1 0 172045 178 0 0 25 0 8 0 271367064 937414656 17476 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073616572 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/822/statm: 228861 17476 2535 14 0 215331 0
[pid=822/tid=824] ppid=820 vsize=915444 CPUtime=0.06
/proc/822/task/824/stat : 824 (java) S 820 822 545 0 -1 64 1891 0 0 0 5 1 0 0 16 0 8 0 271367097 937414656 17476 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=822/tid=825] ppid=820 vsize=915444 CPUtime=0
/proc/822/task/825/stat : 825 (java) S 820 822 545 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271367097 937414656 17476 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=822/tid=826] ppid=820 vsize=915444 CPUtime=0
/proc/822/task/826/stat : 826 (java) S 820 822 545 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271367097 937414656 17476 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=822/tid=827] ppid=820 vsize=915444 CPUtime=0
/proc/822/task/827/stat : 827 (java) S 820 822 545 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 271367100 937414656 17476 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=822/tid=828] ppid=820 vsize=915444 CPUtime=0.22
/proc/822/task/828/stat : 828 (java) S 820 822 545 0 -1 64 393 0 0 0 21 1 0 0 16 0 8 0 271367101 937414656 17476 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=822/tid=829] ppid=820 vsize=915444 CPUtime=0
/proc/822/task/829/stat : 829 (java) S 820 822 545 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 271367101 937414656 17476 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=822/tid=830] ppid=820 vsize=915444 CPUtime=0
/proc/822/task/830/stat : 830 (java) S 820 822 545 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271367101 937414656 17476 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1722.23
Current children cumulated vsize (KiB) 915444
[startup+1783.96 s]
/proc/loadavg: 1.03 1.12 1.45 2/85 1198
/proc/meminfo: memFree=1236920/2055920 swapFree=4191880/4192956
[pid=822] ppid=820 vsize=915444 CPUtime=1782.23
/proc/822/stat : 822 (java) R 820 822 545 0 -1 0 17747 0 1 0 178045 178 0 0 25 0 8 0 271367064 937414656 17476 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073822811 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/822/statm: 228861 17476 2535 14 0 215331 0
[pid=822/tid=824] ppid=820 vsize=915444 CPUtime=0.06
/proc/822/task/824/stat : 824 (java) S 820 822 545 0 -1 64 1891 0 0 0 5 1 0 0 16 0 8 0 271367097 937414656 17476 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=822/tid=825] ppid=820 vsize=915444 CPUtime=0
/proc/822/task/825/stat : 825 (java) S 820 822 545 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271367097 937414656 17476 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=822/tid=826] ppid=820 vsize=915444 CPUtime=0
/proc/822/task/826/stat : 826 (java) S 820 822 545 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271367097 937414656 17476 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=822/tid=827] ppid=820 vsize=915444 CPUtime=0
/proc/822/task/827/stat : 827 (java) S 820 822 545 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 271367100 937414656 17476 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=822/tid=828] ppid=820 vsize=915444 CPUtime=0.22
/proc/822/task/828/stat : 828 (java) S 820 822 545 0 -1 64 393 0 0 0 21 1 0 0 16 0 8 0 271367101 937414656 17476 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=822/tid=829] ppid=820 vsize=915444 CPUtime=0
/proc/822/task/829/stat : 829 (java) S 820 822 545 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 271367101 937414656 17476 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=822/tid=830] ppid=820 vsize=915444 CPUtime=0
/proc/822/task/830/stat : 830 (java) S 820 822 545 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271367101 937414656 17476 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1782.23
Current children cumulated vsize (KiB) 915444
[startup+1843.98 s]
/proc/loadavg: 1.01 1.09 1.42 2/85 1198
/proc/meminfo: memFree=1236920/2055920 swapFree=4191880/4192956
[pid=822] ppid=820 vsize=915444 CPUtime=1842.23
/proc/822/stat : 822 (java) R 820 822 545 0 -1 0 17747 0 1 0 184045 178 0 0 25 0 8 0 271367064 937414656 17476 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073616572 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/822/statm: 228861 17476 2535 14 0 215331 0
[pid=822/tid=824] ppid=820 vsize=915444 CPUtime=0.06
/proc/822/task/824/stat : 824 (java) S 820 822 545 0 -1 64 1891 0 0 0 5 1 0 0 16 0 8 0 271367097 937414656 17476 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=822/tid=825] ppid=820 vsize=915444 CPUtime=0
/proc/822/task/825/stat : 825 (java) S 820 822 545 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271367097 937414656 17476 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=822/tid=826] ppid=820 vsize=915444 CPUtime=0
/proc/822/task/826/stat : 826 (java) S 820 822 545 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271367097 937414656 17476 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=822/tid=827] ppid=820 vsize=915444 CPUtime=0
/proc/822/task/827/stat : 827 (java) S 820 822 545 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 271367100 937414656 17476 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=822/tid=828] ppid=820 vsize=915444 CPUtime=0.22
/proc/822/task/828/stat : 828 (java) S 820 822 545 0 -1 64 393 0 0 0 21 1 0 0 16 0 8 0 271367101 937414656 17476 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=822/tid=829] ppid=820 vsize=915444 CPUtime=0
/proc/822/task/829/stat : 829 (java) S 820 822 545 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 271367101 937414656 17476 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=822/tid=830] ppid=820 vsize=915444 CPUtime=0
/proc/822/task/830/stat : 830 (java) S 820 822 545 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271367101 937414656 17476 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1842.23
Current children cumulated vsize (KiB) 915444
[startup+1904 s]
/proc/loadavg: 1.00 1.07 1.39 2/85 1198
/proc/meminfo: memFree=1236920/2055920 swapFree=4191880/4192956
[pid=822] ppid=820 vsize=915444 CPUtime=1902.23
/proc/822/stat : 822 (java) R 820 822 545 0 -1 0 17747 0 1 0 190045 178 0 0 25 0 8 0 271367064 937414656 17476 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073805129 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/822/statm: 228861 17476 2535 14 0 215331 0
[pid=822/tid=824] ppid=820 vsize=915444 CPUtime=0.06
/proc/822/task/824/stat : 824 (java) S 820 822 545 0 -1 64 1891 0 0 0 5 1 0 0 16 0 8 0 271367097 937414656 17476 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=822/tid=825] ppid=820 vsize=915444 CPUtime=0
/proc/822/task/825/stat : 825 (java) S 820 822 545 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271367097 937414656 17476 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=822/tid=826] ppid=820 vsize=915444 CPUtime=0
/proc/822/task/826/stat : 826 (java) S 820 822 545 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271367097 937414656 17476 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=822/tid=827] ppid=820 vsize=915444 CPUtime=0
/proc/822/task/827/stat : 827 (java) S 820 822 545 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 271367100 937414656 17476 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=822/tid=828] ppid=820 vsize=915444 CPUtime=0.22
/proc/822/task/828/stat : 828 (java) S 820 822 545 0 -1 64 393 0 0 0 21 1 0 0 16 0 8 0 271367101 937414656 17476 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=822/tid=829] ppid=820 vsize=915444 CPUtime=0
/proc/822/task/829/stat : 829 (java) S 820 822 545 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 271367101 937414656 17476 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=822/tid=830] ppid=820 vsize=915444 CPUtime=0
/proc/822/task/830/stat : 830 (java) S 820 822 545 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271367101 937414656 17476 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1902.23
Current children cumulated vsize (KiB) 915444
Child status: 0
Real time (s): 1918.22
CPU time (s): 1916.42
CPU user time (s): 1914.63
CPU system time (s): 1.79373
CPU usage (%): 99.9063
Max. virtual memory (cumulated for all children) (KiB): 915448
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1914.63
system time used= 1.79373
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17759
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= 39958
involuntary context switches= 57936
runsolver used 2.23866 s user time and 5.56115 s system time
The end
Begin job on node72 on Fri Jan 19 17:59:42 UTC 2007
IDJOB= 275938
IDBENCH= 5188
IDSOLVER= 68
FILE ID= node72/275938-1169229582
PBS_JOBID= 3589256
Free space on /tmp= 66560 MiB
SOLVER NAME= AbsconMax 109 EPFC
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-3-20-20/rand-3-20-20-60-632-2_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/275938-1169229582/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node72/watcher-275938-1169229582 -o ROOT/results/node72/solver-275938-1169229582 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/275938-1169229582/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 1d3ee919706793195da2670ca337b636
RANDOM SEED= 741478337
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.223
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.223
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: 1264648 kB
Buffers: 56888 kB
Cached: 573204 kB
SwapCached: 268 kB
Active: 320424 kB
Inactive: 390384 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1264648 kB
SwapTotal: 4192956 kB
SwapFree: 4191880 kB
Dirty: 3052 kB
Writeback: 0 kB
Mapped: 108160 kB
Slab: 65132 kB
Committed_AS: 5332284 kB
PageTables: 2392 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 node72 on Fri Jan 19 18:31:41 UTC 2007