0.30
0.30 Abscon 109 (November, 2006)
0.30
0.30 configuration
0.30 name=epfc.xml
0.33
0.33 instance
0.33 name=/tmp/evaluation/276895-1169248967/unknown.xml
0.36
0.36 domains being loaded...
0.36
0.36 variables being loaded...
0.40 nbVariables=40 nbDomainTypes=1 minDomainSize=8 maxDomainSize=8
0.40 => wckTime=0.097 cpuTime=0.08 mem=6M887
0.40
0.40 relations being loaded...
0.50
0.50 constraints being loaded...
0.66 nbConstraints=753 nbRelationTypes=753 nbExtensionStructures=753 nbSharedExtensionStructures=0
0.66 nbConflictsStructures=753 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=11911 maxDegree=39
0.66 maxArity=2
0.66 => wckTime=0.358 cpuTime=0.24 mem=11M779
0.70
0.70 solver LocalSearchSolver being built...
0.74 => wckTime=0.446 cpuTime=0.28 mem=6M109
0.75
0.75 s SATISFIABLE
0.75 o 675
0.75 c 78
0.75 o 680
0.75 c 73
0.75 o 686
0.75 c 67
0.75 o 691
0.75 c 62
0.75 o 696
0.75 c 57
0.75 o 700
0.75 c 53
0.75 o 705
0.75 c 48
0.76 o 709
0.76 c 44
0.76 o 711
0.76 c 42
0.76 o 715
0.76 c 38
0.76 o 717
0.76 c 36
0.76 o 720
0.76 c 33
0.76 o 722
0.76 c 31
0.76 o 725
0.76 c 28
0.76 o 726
0.76 c 27
0.76 o 727
0.76 c 26
0.76 o 729
0.76 c 24
0.76 o 730
0.76 c 23
0.76 o 732
0.76 c 21
0.77 o 733
0.77 c 20
0.77 o 734
0.77 c 19
0.77 o 737
0.77 c 16
0.77 o 738
0.77 c 15
0.78 o 740
0.78 c 13
0.78 o 742
0.78 c 11
0.78 o 743
0.78 c 10
0.78 o 744
0.78 c 9
0.82 o 745
0.82 c 8
0.82 o 746
0.82 c 7
0.82 o 747
0.82 c 6
0.84 o 748
0.84 c 5
0.86 o 749
0.86 c 4
0.87 o 750
0.87 c 3
0.94 o 751
0.94 c 2
2.43 o 752
2.43 c 1
2.44
2.44 search
2.44 run=0 nbConstraintChecks=10787379 nbAssignments=5768
2.44 => wckTime=1.691 cpuTime=1.67 mem=6M109
2.44
2.44 global
2.44 nbConstraintChecks=10787379 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
2.44 solvingWckTime=1.69 solvingCpuTime=1.67 expiredTime=no totalExploration=no nbFoundSolutions=0
2.44 globalCpuTime=2.0
2.44 => wckTime=2.138 cpuTime=1.95 mem=6M109
2.44
2.44 solver IterativeSystematicSolver being built...
2.56 => wckTime=2.266 cpuTime=2.06 mem=17M50
2.66
2.66 preprocessing
2.66 nbConstraintChecks=59640 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
2.66 detectedInconsistency=no
2.66 => wckTime=0.091 cpuTime=0.07 mem=17M50
2.71
2.71 search
2.71 run=0 nbConstraintChecks=122005 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=35
2.71 nbFailedAssignments=17 nbBacktracks=10 nbVisitedNodes=63 nbRestartNogoods=0
2.71 => wckTime=0.148 cpuTime=0.13 mem=17M50
2.79
2.79 search
2.79 run=1 nbConstraintChecks=275172 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=78
2.79 nbFailedAssignments=38 nbBacktracks=25 nbVisitedNodes=142 nbRestartNogoods=4
2.79 => wckTime=0.224 cpuTime=0.19 mem=17M50
2.90
2.90 search
2.90 run=2 nbConstraintChecks=523085 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=143
2.90 nbFailedAssignments=76 nbBacktracks=47 nbVisitedNodes=267 nbRestartNogoods=20
2.90 => wckTime=0.334 cpuTime=0.3 mem=17M50
3.04
3.04 search
3.04 run=3 nbConstraintChecks=887778 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=239
3.04 nbFailedAssignments=132 nbBacktracks=80 nbVisitedNodes=449 nbRestartNogoods=24
3.04 => wckTime=0.471 cpuTime=0.44 mem=17M50
3.25
3.25 search
3.25 run=4 nbConstraintChecks=1416782 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=376
3.25 nbFailedAssignments=213 nbBacktracks=130 nbVisitedNodes=717 nbRestartNogoods=40
3.25 => wckTime=0.684 cpuTime=0.65 mem=17M50
3.58
3.58 search
3.58 run=5 nbConstraintChecks=2261921 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=595
3.58 nbFailedAssignments=351 nbBacktracks=205 nbVisitedNodes=1143 nbRestartNogoods=55
3.58 => wckTime=1.018 cpuTime=0.98 mem=17M50
4.05
4.05 search
4.05 run=6 nbConstraintChecks=3520436 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=921
4.05 nbFailedAssignments=557 nbBacktracks=318 nbVisitedNodes=1776 nbRestartNogoods=70
4.05 => wckTime=1.49 cpuTime=1.45 mem=17M50
4.74
4.74 search
4.74 run=7 nbConstraintChecks=5387900 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1400
4.74 nbFailedAssignments=861 nbBacktracks=488 nbVisitedNodes=2725 nbRestartNogoods=75
4.74 => wckTime=2.178 cpuTime=2.14 mem=17M50
5.76
5.76 search
5.76 run=8 nbConstraintChecks=8058366 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2078
5.76 nbFailedAssignments=1276 nbBacktracks=744 nbVisitedNodes=4059 nbRestartNogoods=84
5.76 => wckTime=3.197 cpuTime=3.14 mem=17M50
7.41
7.41 search
7.41 run=9 nbConstraintChecks=12519187 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=3189
7.41 nbFailedAssignments=1998 nbBacktracks=1128 nbVisitedNodes=6247 nbRestartNogoods=99
7.41 => wckTime=4.844 cpuTime=4.78 mem=17M50
9.54
9.54 search
9.54 run=10 nbConstraintChecks=18105608 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=4631
9.54 nbFailedAssignments=2857 nbBacktracks=1705 nbVisitedNodes=9055 nbRestartNogoods=108
9.54 => wckTime=6.972 cpuTime=6.9 mem=17M50
12.67
12.68 search
12.68 run=11 nbConstraintChecks=26345663 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=6716
12.68 nbFailedAssignments=4070 nbBacktracks=2569 nbVisitedNodes=13040 nbRestartNogoods=115
12.68 => wckTime=10.109 cpuTime=10.04 mem=17M50
16.84
16.84 search
16.84 run=12 nbConstraintChecks=36986184 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=9561
16.84 nbFailedAssignments=5612 nbBacktracks=3867 nbVisitedNodes=18312 nbRestartNogoods=126
16.84 => wckTime=14.27 cpuTime=14.2 mem=17M50
22.13
22.13 search
22.13 run=13 nbConstraintChecks=50355290 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=13448
22.13 nbFailedAssignments=7547 nbBacktracks=5814 nbVisitedNodes=25050 nbRestartNogoods=140
22.13 => wckTime=19.57 cpuTime=19.5 mem=17M50
29.12
29.12 search
29.12 run=14 nbConstraintChecks=67487550 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=18661
29.12 nbFailedAssignments=9837 nbBacktracks=8733 nbVisitedNodes=33422 nbRestartNogoods=158
29.12 => wckTime=26.556 cpuTime=26.48 mem=17M50
38.97
38.98 search
38.98 run=15 nbConstraintChecks=91266070 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=26321
38.98 nbFailedAssignments=13115 nbBacktracks=13111 nbVisitedNodes=45359 nbRestartNogoods=172
38.98 => wckTime=36.41 cpuTime=36.33 mem=17M50
52.67
52.67 search
52.67 run=16 nbConstraintChecks=124164108 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=37286
52.67 nbFailedAssignments=17506 nbBacktracks=19681 nbVisitedNodes=62001 nbRestartNogoods=185
52.67 => wckTime=50.102 cpuTime=50.01 mem=17M50
72.83
72.83 search
72.83 run=17 nbConstraintChecks=172727791 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=53581
72.83 nbFailedAssignments=23944 nbBacktracks=29534 nbVisitedNodes=86570 nbRestartNogoods=201
72.83 => wckTime=70.261 cpuTime=70.16 mem=17M50
103.48
103.48 search
103.48 run=18 nbConstraintChecks=246351351 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=78115
103.48 nbFailedAssignments=33694 nbBacktracks=44312 nbVisitedNodes=123878 nbRestartNogoods=219
103.48 => wckTime=100.911 cpuTime=100.8 mem=17M50
148.99
148.99 search
148.99 run=19 nbConstraintChecks=355807526 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=114563
148.99 nbFailedAssignments=47970 nbBacktracks=66480 nbVisitedNodes=179074 nbRestartNogoods=229
148.99 => wckTime=146.423 cpuTime=146.29 mem=17M50
216.57
216.57 search
216.57 run=20 nbConstraintChecks=519882022 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=169162
216.57 nbFailedAssignments=69312 nbBacktracks=99732 nbVisitedNodes=261631 nbRestartNogoods=241
216.57 => wckTime=214.001 cpuTime=213.85 mem=17M50
315.95
315.95 search
315.95 run=21 nbConstraintChecks=758094333 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=250199
315.95 nbFailedAssignments=100465 nbBacktracks=149612 nbVisitedNodes=382677 nbRestartNogoods=255
315.95 => wckTime=313.385 cpuTime=313.2 mem=17M50
467.01
467.01 search
467.01 run=22 nbConstraintChecks=1116816590 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=371817
467.01 nbFailedAssignments=147256 nbBacktracks=224431 nbVisitedNodes=564999 nbRestartNogoods=271
467.01 => wckTime=464.445 cpuTime=464.19 mem=17M50
693.43
693.43 search
693.43 run=23 nbConstraintChecks=1654480029 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=554585
693.43 nbFailedAssignments=217792 nbBacktracks=336660 nbVisitedNodes=838711 nbRestartNogoods=289
693.43 => wckTime=690.867 cpuTime=690.53 mem=17M50
1035.31
1035.31 search
1035.31 run=24 nbConstraintChecks=2457595511 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=828314
1035.31 nbFailedAssignments=323179 nbBacktracks=505001 nbVisitedNodes=1248586 nbRestartNogoods=312
1035.31 => wckTime=1032.745 cpuTime=1032.28 mem=17M50
1043.91
1043.91 search
1043.91 run=25 nbConstraintChecks=2477113736 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=835162
1043.91 nbFailedAssignments=325706 nbBacktracks=509323 nbVisitedNodes=1258712 nbRestartNogoods=314
1043.91 => wckTime=1041.347 cpuTime=1040.88 mem=17M50
1043.91
1043.91 global
1043.91 nbConstraintChecks=2477173376 nbRestartNogoods=314 solvingWckTime=1041.348 solvingCpuTime=1040.88
1043.91 expiredTime=no totalExploration=yes nbFoundSolutions=0 globalCpuTime=1042.99
1043.91 => wckTime=1043.614 cpuTime=1042.94 mem=17M50
1043.92
1043.92 s OPTIMUM FOUND
1043.92 v 0 1 4 3 3 5 4 2 3 6 7 1 6 5 4 0 1 6 4 4 3 5 5 2 3 3 1 7 1 3 1 5 2 3 6 2 0 2 0 2
1043.92
1043.92 totalWckTime=1043.691 totalCpuTime=1042.99
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node33/watcher-276895-1169248967 -o ROOT/results/node33/solver-276895-1169248967 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/276895-1169248967/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: 0.99 0.99 1.00 4/65 25511
/proc/meminfo: memFree=1595120/2055920 swapFree=4192224/4192956
[pid=25510] ppid=25508 vsize=1816 CPUtime=0
/proc/25510/stat : 25510 (java) R 25508 25510 24460 0 -1 0 175 0 0 0 0 0 0 0 18 0 1 0 273290550 1859584 146 18446744073709551615 134512640 134570532 4294956640 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/25510/statm: 447 148 112 14 0 92 0
[startup+0.107212 s]
/proc/loadavg: 0.99 0.99 1.00 4/65 25511
/proc/meminfo: memFree=1595120/2055920 swapFree=4192224/4192956
[pid=25510] ppid=25508 vsize=914988 CPUtime=0.09
/proc/25510/stat : 25510 (java) R 25508 25510 24460 0 -1 0 3061 0 1 0 8 1 0 0 16 0 8 0 273290550 936947712 2807 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25510/statm: 228747 2808 1450 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.515295 s]
/proc/loadavg: 0.99 0.99 1.00 4/65 25511
/proc/meminfo: memFree=1595120/2055920 swapFree=4192224/4192956
[pid=25510] ppid=25508 vsize=915332 CPUtime=0.49
/proc/25510/stat : 25510 (java) R 25508 25510 24460 0 -1 0 6467 0 1 0 46 3 0 0 16 0 8 0 273290550 937299968 6206 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073541750 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25510/statm: 228833 6206 2143 14 0 215303 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915332
[startup+1.33746 s]
/proc/loadavg: 0.99 0.99 1.00 2/72 25518
/proc/meminfo: memFree=1573368/2055920 swapFree=4192224/4192956
[pid=25510] ppid=25508 vsize=915448 CPUtime=1.32
/proc/25510/stat : 25510 (java) R 25508 25510 24460 0 -1 0 8117 0 1 0 118 14 0 0 17 0 8 0 273290550 937418752 7855 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25510/statm: 228862 7855 2479 14 0 215332 0
[pid=25510/tid=25512] ppid=25508 vsize=915448 CPUtime=0.03
/proc/25510/task/25512/stat : 25512 (java) S 25508 25510 24460 0 -1 64 308 0 0 0 3 0 0 0 16 0 8 0 273290554 937418752 7855 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25510/tid=25513] ppid=25508 vsize=915448 CPUtime=0
/proc/25510/task/25513/stat : 25513 (java) S 25508 25510 24460 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 273290555 937418752 7855 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25510/tid=25514] ppid=25508 vsize=915448 CPUtime=0
/proc/25510/task/25514/stat : 25514 (java) S 25508 25510 24460 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273290555 937418752 7855 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25510/tid=25515] ppid=25508 vsize=915448 CPUtime=0
/proc/25510/task/25515/stat : 25515 (java) S 25508 25510 24460 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 273290558 937418752 7855 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25510/tid=25516] ppid=25508 vsize=915448 CPUtime=0.17
/proc/25510/task/25516/stat : 25516 (java) S 25508 25510 24460 0 -1 64 375 0 0 0 16 1 0 0 16 0 8 0 273290558 937418752 7855 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25510/tid=25517] ppid=25508 vsize=915448 CPUtime=0
/proc/25510/task/25517/stat : 25517 (java) S 25508 25510 24460 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 273290558 937418752 7855 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25510/tid=25518] ppid=25508 vsize=915448 CPUtime=0
/proc/25510/task/25518/stat : 25518 (java) S 25508 25510 24460 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 273290558 937418752 7855 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.32
Current children cumulated vsize (KiB) 915448
[startup+2.97781 s]
/proc/loadavg: 0.99 0.99 1.00 2/72 25518
/proc/meminfo: memFree=1573304/2055920 swapFree=4192224/4192956
[pid=25510] ppid=25508 vsize=915580 CPUtime=2.95
/proc/25510/stat : 25510 (java) R 25508 25510 24460 0 -1 0 9224 0 1 0 265 30 0 0 17 0 8 0 273290550 937553920 8959 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073937707 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25510/statm: 228895 8959 2532 14 0 215365 0
[pid=25510/tid=25512] ppid=25508 vsize=915580 CPUtime=0.03
/proc/25510/task/25512/stat : 25512 (java) S 25508 25510 24460 0 -1 64 309 0 0 0 3 0 0 0 16 0 8 0 273290554 937553920 8959 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25510/tid=25513] ppid=25508 vsize=915580 CPUtime=0
/proc/25510/task/25513/stat : 25513 (java) S 25508 25510 24460 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 273290555 937553920 8959 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25510/tid=25514] ppid=25508 vsize=915580 CPUtime=0
/proc/25510/task/25514/stat : 25514 (java) S 25508 25510 24460 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273290555 937553920 8959 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25510/tid=25515] ppid=25508 vsize=915580 CPUtime=0
/proc/25510/task/25515/stat : 25515 (java) S 25508 25510 24460 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 273290558 937553920 8959 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25510/tid=25516] ppid=25508 vsize=915580 CPUtime=0.23
/proc/25510/task/25516/stat : 25516 (java) S 25508 25510 24460 0 -1 64 412 0 0 0 22 1 0 0 16 0 8 0 273290558 937553920 8959 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25510/tid=25517] ppid=25508 vsize=915580 CPUtime=0
/proc/25510/task/25517/stat : 25517 (java) S 25508 25510 24460 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 273290558 937553920 8959 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25510/tid=25518] ppid=25508 vsize=915580 CPUtime=0
/proc/25510/task/25518/stat : 25518 (java) S 25508 25510 24460 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 273290558 937553920 8959 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 915580
[startup+6.26749 s]
/proc/loadavg: 0.99 0.99 1.00 2/72 25518
/proc/meminfo: memFree=1568896/2055920 swapFree=4192224/4192956
[pid=25510] ppid=25508 vsize=915580 CPUtime=6.25
/proc/25510/stat : 25510 (java) R 25508 25510 24460 0 -1 0 9255 0 1 0 594 31 0 0 17 0 8 0 273290550 937553920 8987 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073939113 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25510/statm: 228895 8987 2532 14 0 215365 0
[pid=25510/tid=25512] ppid=25508 vsize=915580 CPUtime=0.03
/proc/25510/task/25512/stat : 25512 (java) S 25508 25510 24460 0 -1 64 309 0 0 0 3 0 0 0 17 0 8 0 273290554 937553920 8987 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25510/tid=25513] ppid=25508 vsize=915580 CPUtime=0
/proc/25510/task/25513/stat : 25513 (java) S 25508 25510 24460 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 273290555 937553920 8987 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25510/tid=25514] ppid=25508 vsize=915580 CPUtime=0
/proc/25510/task/25514/stat : 25514 (java) S 25508 25510 24460 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273290555 937553920 8987 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25510/tid=25515] ppid=25508 vsize=915580 CPUtime=0
/proc/25510/task/25515/stat : 25515 (java) S 25508 25510 24460 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 273290558 937553920 8987 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25510/tid=25516] ppid=25508 vsize=915580 CPUtime=0.25
/proc/25510/task/25516/stat : 25516 (java) S 25508 25510 24460 0 -1 64 426 0 0 0 24 1 0 0 15 0 8 0 273290558 937553920 8987 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25510/tid=25517] ppid=25508 vsize=915580 CPUtime=0
/proc/25510/task/25517/stat : 25517 (java) S 25508 25510 24460 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 273290558 937553920 8987 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25510/tid=25518] ppid=25508 vsize=915580 CPUtime=0
/proc/25510/task/25518/stat : 25518 (java) S 25508 25510 24460 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 273290558 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.25
Current children cumulated vsize (KiB) 915580
[startup+12.7418 s]
/proc/loadavg: 0.99 0.99 1.00 2/72 25518
/proc/meminfo: memFree=1568896/2055920 swapFree=4192224/4192956
[pid=25510] ppid=25508 vsize=915580 CPUtime=12.72
/proc/25510/stat : 25510 (java) R 25508 25510 24460 0 -1 0 9266 0 1 0 1241 31 0 0 17 0 8 0 273290550 937553920 8996 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073939113 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25510/statm: 228895 8996 2532 14 0 215365 0
[pid=25510/tid=25512] ppid=25508 vsize=915580 CPUtime=0.03
/proc/25510/task/25512/stat : 25512 (java) S 25508 25510 24460 0 -1 64 309 0 0 0 3 0 0 0 16 0 8 0 273290554 937553920 8996 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25510/tid=25513] ppid=25508 vsize=915580 CPUtime=0
/proc/25510/task/25513/stat : 25513 (java) S 25508 25510 24460 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 273290555 937553920 8996 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25510/tid=25514] ppid=25508 vsize=915580 CPUtime=0
/proc/25510/task/25514/stat : 25514 (java) S 25508 25510 24460 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273290555 937553920 8996 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25510/tid=25515] ppid=25508 vsize=915580 CPUtime=0
/proc/25510/task/25515/stat : 25515 (java) S 25508 25510 24460 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 273290558 937553920 8996 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25510/tid=25516] ppid=25508 vsize=915580 CPUtime=0.27
/proc/25510/task/25516/stat : 25516 (java) S 25508 25510 24460 0 -1 64 428 0 0 0 25 2 0 0 16 0 8 0 273290558 937553920 8996 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25510/tid=25517] ppid=25508 vsize=915580 CPUtime=0
/proc/25510/task/25517/stat : 25517 (java) S 25508 25510 24460 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 273290558 937553920 8996 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25510/tid=25518] ppid=25508 vsize=915580 CPUtime=0
/proc/25510/task/25518/stat : 25518 (java) S 25508 25510 24460 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 273290558 937553920 8996 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.72
Current children cumulated vsize (KiB) 915580
[startup+25.5705 s]
/proc/loadavg: 0.99 0.99 1.00 2/72 25518
/proc/meminfo: memFree=1568896/2055920 swapFree=4192224/4192956
[pid=25510] ppid=25508 vsize=915580 CPUtime=25.54
/proc/25510/stat : 25510 (java) R 25508 25510 24460 0 -1 0 9271 0 1 0 2523 31 0 0 25 0 8 0 273290550 937553920 9001 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073941071 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25510/statm: 228895 9001 2532 14 0 215365 0
[pid=25510/tid=25512] ppid=25508 vsize=915580 CPUtime=0.03
/proc/25510/task/25512/stat : 25512 (java) S 25508 25510 24460 0 -1 64 309 0 0 0 3 0 0 0 16 0 8 0 273290554 937553920 9001 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25510/tid=25513] ppid=25508 vsize=915580 CPUtime=0
/proc/25510/task/25513/stat : 25513 (java) S 25508 25510 24460 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 273290555 937553920 9001 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25510/tid=25514] ppid=25508 vsize=915580 CPUtime=0
/proc/25510/task/25514/stat : 25514 (java) S 25508 25510 24460 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273290555 937553920 9001 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25510/tid=25515] ppid=25508 vsize=915580 CPUtime=0
/proc/25510/task/25515/stat : 25515 (java) S 25508 25510 24460 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 273290558 937553920 9001 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25510/tid=25516] ppid=25508 vsize=915580 CPUtime=0.27
/proc/25510/task/25516/stat : 25516 (java) S 25508 25510 24460 0 -1 64 428 0 0 0 25 2 0 0 16 0 8 0 273290558 937553920 9001 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25510/tid=25517] ppid=25508 vsize=915580 CPUtime=0
/proc/25510/task/25517/stat : 25517 (java) S 25508 25510 24460 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 273290558 937553920 9001 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25510/tid=25518] ppid=25508 vsize=915580 CPUtime=0
/proc/25510/task/25518/stat : 25518 (java) S 25508 25510 24460 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 273290558 937553920 9001 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.54
Current children cumulated vsize (KiB) 915580
[startup+51.2529 s]
/proc/loadavg: 0.99 0.99 1.00 2/72 25518
/proc/meminfo: memFree=1568960/2055920 swapFree=4192224/4192956
[pid=25510] ppid=25508 vsize=915580 CPUtime=51.21
/proc/25510/stat : 25510 (java) R 25508 25510 24460 0 -1 0 9277 0 1 0 5090 31 0 0 17 0 8 0 273290550 937553920 9007 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073940933 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25510/statm: 228895 9007 2532 14 0 215365 0
[pid=25510/tid=25512] ppid=25508 vsize=915580 CPUtime=0.03
/proc/25510/task/25512/stat : 25512 (java) S 25508 25510 24460 0 -1 64 309 0 0 0 3 0 0 0 17 0 8 0 273290554 937553920 9007 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25510/tid=25513] ppid=25508 vsize=915580 CPUtime=0
/proc/25510/task/25513/stat : 25513 (java) S 25508 25510 24460 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 273290555 937553920 9007 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25510/tid=25514] ppid=25508 vsize=915580 CPUtime=0
/proc/25510/task/25514/stat : 25514 (java) S 25508 25510 24460 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273290555 937553920 9007 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25510/tid=25515] ppid=25508 vsize=915580 CPUtime=0
/proc/25510/task/25515/stat : 25515 (java) S 25508 25510 24460 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 273290558 937553920 9007 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25510/tid=25516] ppid=25508 vsize=915580 CPUtime=0.27
/proc/25510/task/25516/stat : 25516 (java) S 25508 25510 24460 0 -1 64 429 0 0 0 25 2 0 0 16 0 8 0 273290558 937553920 9007 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25510/tid=25517] ppid=25508 vsize=915580 CPUtime=0
/proc/25510/task/25517/stat : 25517 (java) S 25508 25510 24460 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 273290558 937553920 9007 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25510/tid=25518] ppid=25508 vsize=915580 CPUtime=0
/proc/25510/task/25518/stat : 25518 (java) S 25508 25510 24460 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 273290558 937553920 9007 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.21
Current children cumulated vsize (KiB) 915580
[startup+102.505 s]
/proc/loadavg: 0.99 0.99 1.00 2/72 25518
/proc/meminfo: memFree=1568896/2055920 swapFree=4192224/4192956
[pid=25510] ppid=25508 vsize=915580 CPUtime=102.44
/proc/25510/stat : 25510 (java) R 25508 25510 24460 0 -1 0 9283 0 1 0 10213 31 0 0 25 0 8 0 273290550 937553920 9012 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073850965 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25510/statm: 228895 9012 2532 14 0 215365 0
[pid=25510/tid=25512] ppid=25508 vsize=915580 CPUtime=0.03
/proc/25510/task/25512/stat : 25512 (java) S 25508 25510 24460 0 -1 64 309 0 0 0 3 0 0 0 16 0 8 0 273290554 937553920 9012 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25510/tid=25513] ppid=25508 vsize=915580 CPUtime=0
/proc/25510/task/25513/stat : 25513 (java) S 25508 25510 24460 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 273290555 937553920 9012 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25510/tid=25514] ppid=25508 vsize=915580 CPUtime=0
/proc/25510/task/25514/stat : 25514 (java) S 25508 25510 24460 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273290555 937553920 9012 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25510/tid=25515] ppid=25508 vsize=915580 CPUtime=0
/proc/25510/task/25515/stat : 25515 (java) S 25508 25510 24460 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 273290558 937553920 9012 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25510/tid=25516] ppid=25508 vsize=915580 CPUtime=0.27
/proc/25510/task/25516/stat : 25516 (java) S 25508 25510 24460 0 -1 64 429 0 0 0 25 2 0 0 16 0 8 0 273290558 937553920 9012 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25510/tid=25517] ppid=25508 vsize=915580 CPUtime=0
/proc/25510/task/25517/stat : 25517 (java) S 25508 25510 24460 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 273290558 937553920 9012 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25510/tid=25518] ppid=25508 vsize=915580 CPUtime=0
/proc/25510/task/25518/stat : 25518 (java) S 25508 25510 24460 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 273290558 937553920 9012 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 102.44
Current children cumulated vsize (KiB) 915580
[startup+162.584 s]
/proc/loadavg: 1.07 1.01 1.01 2/72 25518
/proc/meminfo: memFree=1568832/2055920 swapFree=4192224/4192956
[pid=25510] ppid=25508 vsize=915580 CPUtime=162.51
/proc/25510/stat : 25510 (java) R 25508 25510 24460 0 -1 0 9288 0 1 0 16219 32 0 0 25 0 8 0 273290550 937553920 9016 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073939170 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
################
# More data... #
################
/proc/25510/task/25515/stat : 25515 (java) S 25508 25510 24460 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 273290558 937553920 9025 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25510/tid=25516] ppid=25508 vsize=915580 CPUtime=0.27
/proc/25510/task/25516/stat : 25516 (java) S 25508 25510 24460 0 -1 64 430 0 0 0 25 2 0 0 16 0 8 0 273290558 937553920 9025 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25510/tid=25517] ppid=25508 vsize=915580 CPUtime=0
/proc/25510/task/25517/stat : 25517 (java) S 25508 25510 24460 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 273290558 937553920 9025 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25510/tid=25518] ppid=25508 vsize=915580 CPUtime=0
/proc/25510/task/25518/stat : 25518 (java) S 25508 25510 24460 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 273290558 937553920 9025 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 582.94
Current children cumulated vsize (KiB) 915580
[startup+643.27 s]
/proc/loadavg: 1.00 1.01 1.00 2/72 25518
/proc/meminfo: memFree=1568832/2055920 swapFree=4192224/4192956
[pid=25510] ppid=25508 vsize=915580 CPUtime=643
/proc/25510/stat : 25510 (java) R 25508 25510 24460 0 -1 0 9297 0 1 0 64268 32 0 0 25 0 8 0 273290550 937553920 9025 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073940907 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25510/statm: 228895 9025 2532 14 0 215365 0
[pid=25510/tid=25512] ppid=25508 vsize=915580 CPUtime=0.03
/proc/25510/task/25512/stat : 25512 (java) S 25508 25510 24460 0 -1 64 309 0 0 0 3 0 0 0 16 0 8 0 273290554 937553920 9025 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25510/tid=25513] ppid=25508 vsize=915580 CPUtime=0
/proc/25510/task/25513/stat : 25513 (java) S 25508 25510 24460 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 273290555 937553920 9025 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25510/tid=25514] ppid=25508 vsize=915580 CPUtime=0
/proc/25510/task/25514/stat : 25514 (java) S 25508 25510 24460 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273290555 937553920 9025 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25510/tid=25515] ppid=25508 vsize=915580 CPUtime=0
/proc/25510/task/25515/stat : 25515 (java) S 25508 25510 24460 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 273290558 937553920 9025 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25510/tid=25516] ppid=25508 vsize=915580 CPUtime=0.27
/proc/25510/task/25516/stat : 25516 (java) S 25508 25510 24460 0 -1 64 430 0 0 0 25 2 0 0 16 0 8 0 273290558 937553920 9025 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25510/tid=25517] ppid=25508 vsize=915580 CPUtime=0
/proc/25510/task/25517/stat : 25517 (java) S 25508 25510 24460 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 273290558 937553920 9025 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25510/tid=25518] ppid=25508 vsize=915580 CPUtime=0
/proc/25510/task/25518/stat : 25518 (java) S 25508 25510 24460 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 273290558 937553920 9025 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 643
Current children cumulated vsize (KiB) 915580
[startup+703.36 s]
/proc/loadavg: 1.00 1.00 1.00 2/72 25518
/proc/meminfo: memFree=1568768/2055920 swapFree=4192224/4192956
[pid=25510] ppid=25508 vsize=915580 CPUtime=703.07
/proc/25510/stat : 25510 (java) R 25508 25510 24460 0 -1 0 9299 0 1 0 70275 32 0 0 25 0 8 0 273290550 937553920 9027 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074000238 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25510/statm: 228895 9027 2532 14 0 215365 0
[pid=25510/tid=25512] ppid=25508 vsize=915580 CPUtime=0.03
/proc/25510/task/25512/stat : 25512 (java) S 25508 25510 24460 0 -1 64 309 0 0 0 3 0 0 0 16 0 8 0 273290554 937553920 9027 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25510/tid=25513] ppid=25508 vsize=915580 CPUtime=0
/proc/25510/task/25513/stat : 25513 (java) S 25508 25510 24460 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 273290555 937553920 9027 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25510/tid=25514] ppid=25508 vsize=915580 CPUtime=0
/proc/25510/task/25514/stat : 25514 (java) S 25508 25510 24460 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273290555 937553920 9027 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25510/tid=25515] ppid=25508 vsize=915580 CPUtime=0
/proc/25510/task/25515/stat : 25515 (java) S 25508 25510 24460 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 273290558 937553920 9027 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25510/tid=25516] ppid=25508 vsize=915580 CPUtime=0.27
/proc/25510/task/25516/stat : 25516 (java) S 25508 25510 24460 0 -1 64 430 0 0 0 25 2 0 0 16 0 8 0 273290558 937553920 9027 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25510/tid=25517] ppid=25508 vsize=915580 CPUtime=0
/proc/25510/task/25517/stat : 25517 (java) S 25508 25510 24460 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 273290558 937553920 9027 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25510/tid=25518] ppid=25508 vsize=915580 CPUtime=0
/proc/25510/task/25518/stat : 25518 (java) S 25508 25510 24460 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 273290558 937553920 9027 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 703.07
Current children cumulated vsize (KiB) 915580
[startup+763.443 s]
/proc/loadavg: 1.00 1.00 1.00 3/72 25518
/proc/meminfo: memFree=1568832/2055920 swapFree=4192224/4192956
[pid=25510] ppid=25508 vsize=915580 CPUtime=763.14
/proc/25510/stat : 25510 (java) R 25508 25510 24460 0 -1 0 9299 0 1 0 76281 33 0 0 25 0 8 0 273290550 937553920 9027 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074001227 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25510/statm: 228895 9027 2532 14 0 215365 0
[pid=25510/tid=25512] ppid=25508 vsize=915580 CPUtime=0.03
/proc/25510/task/25512/stat : 25512 (java) S 25508 25510 24460 0 -1 64 309 0 0 0 3 0 0 0 16 0 8 0 273290554 937553920 9027 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25510/tid=25513] ppid=25508 vsize=915580 CPUtime=0
/proc/25510/task/25513/stat : 25513 (java) S 25508 25510 24460 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 273290555 937553920 9027 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25510/tid=25514] ppid=25508 vsize=915580 CPUtime=0
/proc/25510/task/25514/stat : 25514 (java) S 25508 25510 24460 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273290555 937553920 9027 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25510/tid=25515] ppid=25508 vsize=915580 CPUtime=0
/proc/25510/task/25515/stat : 25515 (java) S 25508 25510 24460 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 273290558 937553920 9027 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25510/tid=25516] ppid=25508 vsize=915580 CPUtime=0.27
/proc/25510/task/25516/stat : 25516 (java) S 25508 25510 24460 0 -1 64 430 0 0 0 25 2 0 0 16 0 8 0 273290558 937553920 9027 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25510/tid=25517] ppid=25508 vsize=915580 CPUtime=0
/proc/25510/task/25517/stat : 25517 (java) S 25508 25510 24460 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 273290558 937553920 9027 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25510/tid=25518] ppid=25508 vsize=915580 CPUtime=0
/proc/25510/task/25518/stat : 25518 (java) S 25508 25510 24460 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 273290558 937553920 9027 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 763.14
Current children cumulated vsize (KiB) 915580
[startup+823.519 s]
/proc/loadavg: 1.08 1.02 1.01 2/72 25518
/proc/meminfo: memFree=1568768/2055920 swapFree=4192224/4192956
[pid=25510] ppid=25508 vsize=915580 CPUtime=823.19
/proc/25510/stat : 25510 (java) R 25508 25510 24460 0 -1 0 9299 0 1 0 82286 33 0 0 25 0 8 0 273290550 937553920 9027 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074001306 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25510/statm: 228895 9027 2532 14 0 215365 0
[pid=25510/tid=25512] ppid=25508 vsize=915580 CPUtime=0.03
/proc/25510/task/25512/stat : 25512 (java) S 25508 25510 24460 0 -1 64 309 0 0 0 3 0 0 0 16 0 8 0 273290554 937553920 9027 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25510/tid=25513] ppid=25508 vsize=915580 CPUtime=0
/proc/25510/task/25513/stat : 25513 (java) S 25508 25510 24460 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 273290555 937553920 9027 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25510/tid=25514] ppid=25508 vsize=915580 CPUtime=0
/proc/25510/task/25514/stat : 25514 (java) S 25508 25510 24460 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273290555 937553920 9027 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25510/tid=25515] ppid=25508 vsize=915580 CPUtime=0
/proc/25510/task/25515/stat : 25515 (java) S 25508 25510 24460 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 273290558 937553920 9027 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25510/tid=25516] ppid=25508 vsize=915580 CPUtime=0.27
/proc/25510/task/25516/stat : 25516 (java) S 25508 25510 24460 0 -1 64 430 0 0 0 25 2 0 0 16 0 8 0 273290558 937553920 9027 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25510/tid=25517] ppid=25508 vsize=915580 CPUtime=0
/proc/25510/task/25517/stat : 25517 (java) S 25508 25510 24460 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 273290558 937553920 9027 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25510/tid=25518] ppid=25508 vsize=915580 CPUtime=0
/proc/25510/task/25518/stat : 25518 (java) S 25508 25510 24460 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 273290558 937553920 9027 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 823.19
Current children cumulated vsize (KiB) 915580
[startup+883.603 s]
/proc/loadavg: 1.02 1.01 1.00 2/72 25518
/proc/meminfo: memFree=1568832/2055920 swapFree=4192224/4192956
[pid=25510] ppid=25508 vsize=915580 CPUtime=883.25
/proc/25510/stat : 25510 (java) R 25508 25510 24460 0 -1 0 9299 0 1 0 88292 33 0 0 25 0 8 0 273290550 937553920 9027 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073956799 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25510/statm: 228895 9027 2532 14 0 215365 0
[pid=25510/tid=25512] ppid=25508 vsize=915580 CPUtime=0.03
/proc/25510/task/25512/stat : 25512 (java) S 25508 25510 24460 0 -1 64 309 0 0 0 3 0 0 0 16 0 8 0 273290554 937553920 9027 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25510/tid=25513] ppid=25508 vsize=915580 CPUtime=0
/proc/25510/task/25513/stat : 25513 (java) S 25508 25510 24460 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 273290555 937553920 9027 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25510/tid=25514] ppid=25508 vsize=915580 CPUtime=0
/proc/25510/task/25514/stat : 25514 (java) S 25508 25510 24460 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273290555 937553920 9027 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25510/tid=25515] ppid=25508 vsize=915580 CPUtime=0
/proc/25510/task/25515/stat : 25515 (java) S 25508 25510 24460 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 273290558 937553920 9027 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25510/tid=25516] ppid=25508 vsize=915580 CPUtime=0.27
/proc/25510/task/25516/stat : 25516 (java) S 25508 25510 24460 0 -1 64 430 0 0 0 25 2 0 0 16 0 8 0 273290558 937553920 9027 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25510/tid=25517] ppid=25508 vsize=915580 CPUtime=0
/proc/25510/task/25517/stat : 25517 (java) S 25508 25510 24460 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 273290558 937553920 9027 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25510/tid=25518] ppid=25508 vsize=915580 CPUtime=0
/proc/25510/task/25518/stat : 25518 (java) S 25508 25510 24460 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 273290558 937553920 9027 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 883.25
Current children cumulated vsize (KiB) 915580
[startup+943.687 s]
/proc/loadavg: 1.01 1.00 1.00 2/72 25518
/proc/meminfo: memFree=1568832/2055920 swapFree=4192224/4192956
[pid=25510] ppid=25508 vsize=915580 CPUtime=943.31
/proc/25510/stat : 25510 (java) R 25508 25510 24460 0 -1 0 9299 0 1 0 94298 33 0 0 25 0 8 0 273290550 937553920 9027 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073939103 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25510/statm: 228895 9027 2532 14 0 215365 0
[pid=25510/tid=25512] ppid=25508 vsize=915580 CPUtime=0.03
/proc/25510/task/25512/stat : 25512 (java) S 25508 25510 24460 0 -1 64 309 0 0 0 3 0 0 0 16 0 8 0 273290554 937553920 9027 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25510/tid=25513] ppid=25508 vsize=915580 CPUtime=0
/proc/25510/task/25513/stat : 25513 (java) S 25508 25510 24460 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 273290555 937553920 9027 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25510/tid=25514] ppid=25508 vsize=915580 CPUtime=0
/proc/25510/task/25514/stat : 25514 (java) S 25508 25510 24460 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273290555 937553920 9027 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25510/tid=25515] ppid=25508 vsize=915580 CPUtime=0
/proc/25510/task/25515/stat : 25515 (java) S 25508 25510 24460 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 273290558 937553920 9027 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25510/tid=25516] ppid=25508 vsize=915580 CPUtime=0.27
/proc/25510/task/25516/stat : 25516 (java) S 25508 25510 24460 0 -1 64 430 0 0 0 25 2 0 0 16 0 8 0 273290558 937553920 9027 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25510/tid=25517] ppid=25508 vsize=915580 CPUtime=0
/proc/25510/task/25517/stat : 25517 (java) S 25508 25510 24460 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 273290558 937553920 9027 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25510/tid=25518] ppid=25508 vsize=915580 CPUtime=0
/proc/25510/task/25518/stat : 25518 (java) S 25508 25510 24460 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 273290558 937553920 9027 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 943.31
Current children cumulated vsize (KiB) 915580
[startup+1003.77 s]
/proc/loadavg: 1.00 1.00 1.00 2/72 25518
/proc/meminfo: memFree=1568768/2055920 swapFree=4192224/4192956
[pid=25510] ppid=25508 vsize=915580 CPUtime=1003.37
/proc/25510/stat : 25510 (java) R 25508 25510 24460 0 -1 0 9299 0 1 0 100304 33 0 0 25 0 8 0 273290550 937553920 9027 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073851120 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25510/statm: 228895 9027 2532 14 0 215365 0
[pid=25510/tid=25512] ppid=25508 vsize=915580 CPUtime=0.03
/proc/25510/task/25512/stat : 25512 (java) S 25508 25510 24460 0 -1 64 309 0 0 0 3 0 0 0 16 0 8 0 273290554 937553920 9027 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25510/tid=25513] ppid=25508 vsize=915580 CPUtime=0
/proc/25510/task/25513/stat : 25513 (java) S 25508 25510 24460 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 273290555 937553920 9027 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25510/tid=25514] ppid=25508 vsize=915580 CPUtime=0
/proc/25510/task/25514/stat : 25514 (java) S 25508 25510 24460 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273290555 937553920 9027 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25510/tid=25515] ppid=25508 vsize=915580 CPUtime=0
/proc/25510/task/25515/stat : 25515 (java) S 25508 25510 24460 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 273290558 937553920 9027 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25510/tid=25516] ppid=25508 vsize=915580 CPUtime=0.27
/proc/25510/task/25516/stat : 25516 (java) S 25508 25510 24460 0 -1 64 430 0 0 0 25 2 0 0 16 0 8 0 273290558 937553920 9027 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25510/tid=25517] ppid=25508 vsize=915580 CPUtime=0
/proc/25510/task/25517/stat : 25517 (java) S 25508 25510 24460 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 273290558 937553920 9027 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25510/tid=25518] ppid=25508 vsize=915580 CPUtime=0
/proc/25510/task/25518/stat : 25518 (java) S 25508 25510 24460 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 273290558 937553920 9027 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1003.37
Current children cumulated vsize (KiB) 915580
Child status: 0
Real time (s): 1043.97
CPU time (s): 1043.52
CPU user time (s): 1043.18
CPU system time (s): 0.340948
CPU usage (%): 99.957
Max. virtual memory (cumulated for all children) (KiB): 916096
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1043.18
system time used= 0.340948
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9395
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= 22144
involuntary context switches= 3032
runsolver used 1.05084 s user time and 2.6586 s system time
The end
Begin job on node33 on Fri Jan 19 23:22:47 UTC 2007
IDJOB= 276895
IDBENCH= 6102
IDSOLVER= 68
FILE ID= node33/276895-1169248967
PBS_JOBID= 3589325
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-33_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/276895-1169248967/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node33/watcher-276895-1169248967 -o ROOT/results/node33/solver-276895-1169248967 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/276895-1169248967/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 88abca72be6a2ff55ed5be8121655760
RANDOM SEED= 461815729
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.281
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.281
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: 1595472 kB
Buffers: 43696 kB
Cached: 333096 kB
SwapCached: 268 kB
Active: 160328 kB
Inactive: 232092 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1595472 kB
SwapTotal: 4192956 kB
SwapFree: 4192224 kB
Dirty: 1768 kB
Writeback: 0 kB
Mapped: 25324 kB
Slab: 53988 kB
Committed_AS: 4531796 kB
PageTables: 1412 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 node33 on Fri Jan 19 23:40:11 UTC 2007