0.32
0.32 Abscon 109 (November, 2006)
0.32
0.32 configuration
0.32 name=esac.xml
0.39
0.39 instance
0.39 name=/tmp/evaluation/196325-1168122084/unknown.xml
0.42
0.42 domains being loaded...
0.43
0.43 variables being loaded...
0.46 nbVariables=24 nbDomainTypes=1 minDomainSize=24 maxDomainSize=24
0.46 => wckTime=0.122 cpuTime=0.08 mem=6M951
0.46
0.46 relations being loaded...
0.97
0.97 constraints being loaded...
1.27 nbConstraints=72 nbRelationTypes=72 nbExtensionStructures=72 nbSharedExtensionStructures=0
1.27 nbConflictsStructures=72 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=0 maxDegree=14 maxArity=3
1.27 => wckTime=0.939 cpuTime=0.8 mem=43M989
1.39
1.39 solver IterativeSystematicSolver being built...
1.55 => wckTime=1.22 cpuTime=0.92 mem=34M81
1.64
1.64 preprocessing
1.64 nbConstraintChecks=28316 nbValidityChecks=42389 nbPropagations=154 nbRevisions=1362 nbUselessRevisions=1204
1.64 nbSingletonTests=31 nbEffectiveSingletonTests=0 nbESACBranches=5 nbRemovedValues=0 detectedInconsistency=no
1.64 => wckTime=0.084 cpuTime=0.07 mem=34M81
1.70
1.70 search
1.70 run=0 nbConstraintChecks=20990 nbValidityChecks=37794 nbPropagations=343 nbRevisions=3529
1.70 nbUselessRevisions=2952 nbAssignments=20 nbFailedAssignments=6 nbBacktracks=10 nbVisitedNodes=30
1.70 nbRestartNogoods=0 mapSize=5 nbInferences=0 nbTooLargeKeys=0
1.70 => wckTime=0.139 cpuTime=0.11 mem=34M81
1.76
1.76 search
1.76 run=1 nbConstraintChecks=60158 nbValidityChecks=124340 nbPropagations=1200 nbRevisions=13025
1.76 nbUselessRevisions=10657 nbAssignments=61 nbFailedAssignments=27 nbBacktracks=25 nbVisitedNodes=103
1.76 nbRestartNogoods=3 mapSize=19 nbInferences=0 nbTooLargeKeys=0
1.76 => wckTime=0.207 cpuTime=0.18 mem=34M81
2.01
2.01 search
2.01 run=2 nbConstraintChecks=228220 nbValidityChecks=470487 nbPropagations=3500 nbRevisions=40343
2.01 nbUselessRevisions=32520 nbAssignments=201 nbFailedAssignments=113 nbBacktracks=47 nbVisitedNodes=320
2.01 nbRestartNogoods=9 mapSize=41 nbInferences=0 nbTooLargeKeys=0
2.01 => wckTime=0.457 cpuTime=0.41 mem=34M81
2.17
2.17 search
2.17 run=3 nbConstraintChecks=332052 nbValidityChecks=698789 nbPropagations=6872 nbRevisions=80047
2.17 nbUselessRevisions=64650 nbAssignments=332 nbFailedAssignments=142 nbBacktracks=80 nbVisitedNodes=434
2.17 nbRestartNogoods=21 mapSize=64 nbInferences=0 nbTooLargeKeys=0
2.17 => wckTime=0.608 cpuTime=0.56 mem=34M81
2.29
2.29 search
2.29 run=4 nbConstraintChecks=415108 nbValidityChecks=880213 nbPropagations=11363 nbRevisions=132688
2.29 nbUselessRevisions=107206 nbAssignments=431 nbFailedAssignments=180 nbBacktracks=130 nbVisitedNodes=588
2.29 nbRestartNogoods=25 mapSize=100 nbInferences=0 nbTooLargeKeys=0
2.29 => wckTime=0.735 cpuTime=0.69 mem=34M81
2.71
2.71 search
2.71 run=5 nbConstraintChecks=723852 nbValidityChecks=1501846 nbPropagations=18432 nbRevisions=219971
2.71 nbUselessRevisions=177804 nbAssignments=686 nbFailedAssignments=355 nbBacktracks=205 nbVisitedNodes=1071
2.71 nbRestartNogoods=26 mapSize=166 nbInferences=0 nbTooLargeKeys=0
2.71 => wckTime=1.157 cpuTime=1.1 mem=34M81
3.15
3.15 search
3.15 run=6 nbConstraintChecks=1041623 nbValidityChecks=2148877 nbPropagations=28746 nbRevisions=349471
3.15 nbUselessRevisions=282378 nbAssignments=1003 nbFailedAssignments=553 nbBacktracks=319 nbVisitedNodes=1659
3.15 nbRestartNogoods=32 mapSize=266 nbInferences=0 nbTooLargeKeys=0
3.15 => wckTime=1.592 cpuTime=1.53 mem=34M81
3.77
3.77 search
3.77 run=7 nbConstraintChecks=1494591 nbValidityChecks=3035678 nbPropagations=43703 nbRevisions=533136
3.77 nbUselessRevisions=429639 nbAssignments=1385 nbFailedAssignments=760 nbBacktracks=490 nbVisitedNodes=2346
3.77 nbRestartNogoods=37 mapSize=399 nbInferences=0 nbTooLargeKeys=0
3.77 => wckTime=2.216 cpuTime=2.15 mem=34M81
4.50
4.50 search
4.50 run=8 nbConstraintChecks=2009587 nbValidityChecks=4039704 nbPropagations=64123 nbRevisions=778804
4.50 nbUselessRevisions=625219 nbAssignments=1845 nbFailedAssignments=957 nbBacktracks=748 nbVisitedNodes=3132
4.50 nbRestartNogoods=42 mapSize=579 nbInferences=0 nbTooLargeKeys=0
4.50 => wckTime=2.942 cpuTime=2.86 mem=34M81
5.70
5.70 search
5.70 run=9 nbConstraintChecks=2899476 nbValidityChecks=5773082 nbPropagations=94159 nbRevisions=1133112
5.70 nbUselessRevisions=905169 nbAssignments=2643 nbFailedAssignments=1357 nbBacktracks=1134 nbVisitedNodes=4523
5.70 nbRestartNogoods=53 mapSize=880 nbInferences=0 nbTooLargeKeys=0
5.70 => wckTime=4.145 cpuTime=4.05 mem=34M81
6.17
6.17 INFO : Stopping hyperNogood (mapSize=1014, nbTooLargekeys=0, mem=34M81)
7.41
7.41 search
7.41 run=10 nbConstraintChecks=4163184 nbValidityChecks=8244752 nbPropagations=138444 nbRevisions=1648941
7.41 nbUselessRevisions=1310877 nbAssignments=3786 nbFailedAssignments=1911 nbBacktracks=1712 nbVisitedNodes=6516
7.41 nbRestartNogoods=62
7.41 => wckTime=5.856 cpuTime=5.74 mem=34M81
10.06
10.06 search
10.06 run=11 nbConstraintChecks=6156261 nbValidityChecks=12222403 nbPropagations=205631 nbRevisions=2428721
10.06 nbUselessRevisions=1924543 nbAssignments=5638 nbFailedAssignments=2887 nbBacktracks=2577 nbVisitedNodes=9844
10.06 nbRestartNogoods=73
10.06 => wckTime=8.498 cpuTime=8.37 mem=34M81
13.33
13.33 search
13.33 run=12 nbConstraintChecks=8471112 nbValidityChecks=16924047 nbPropagations=301586 nbRevisions=3535769
13.33 nbUselessRevisions=2794994 nbAssignments=7990 nbFailedAssignments=3938 nbBacktracks=3874 nbVisitedNodes=13923
13.33 nbRestartNogoods=83
13.33 => wckTime=11.774 cpuTime=11.57 mem=34M81
20.04
20.04 search
20.04 run=13 nbConstraintChecks=13299717 nbValidityChecks=26458965 nbPropagations=448336 nbRevisions=5220575
20.04 nbUselessRevisions=4116457 nbAssignments=12233 nbFailedAssignments=6226 nbBacktracks=5821 nbVisitedNodes=21569
20.04 nbRestartNogoods=111
20.04 => wckTime=18.478 cpuTime=18.25 mem=34M81
30.64
30.64 search
30.64 run=14 nbConstraintChecks=20904146 nbValidityChecks=41421792 nbPropagations=677120 nbRevisions=7849562
30.64 nbUselessRevisions=6178473 nbAssignments=18852 nbFailedAssignments=9916 nbBacktracks=8741 nbVisitedNodes=33602
30.64 nbRestartNogoods=133
30.64 => wckTime=29.085 cpuTime=28.8 mem=34M81
44.22
44.22 search
44.22 run=15 nbConstraintChecks=30494764 nbValidityChecks=60560061 nbPropagations=1013772 nbRevisions=11704540
44.22 nbUselessRevisions=9202800 nbAssignments=27572 nbFailedAssignments=14251 nbBacktracks=13120
44.22 nbVisitedNodes=49115 nbRestartNogoods=146
44.22 => wckTime=42.661 cpuTime=42.3 mem=34M81
68.21
68.21 search
68.21 run=16 nbConstraintChecks=47727280 nbValidityChecks=94531430 nbPropagations=1536562 nbRevisions=17704830
68.21 nbUselessRevisions=13908731 nbAssignments=42222 nbFailedAssignments=22323 nbBacktracks=19688
68.21 nbVisitedNodes=75801 nbRestartNogoods=173
68.21 => wckTime=66.65 cpuTime=66.18 mem=34M81
103.60
103.60 search
103.60 run=17 nbConstraintChecks=73122220 nbValidityChecks=144487859 nbPropagations=2329985 nbRevisions=26806413
103.60 nbUselessRevisions=21046422 nbAssignments=63785 nbFailedAssignments=34019 nbBacktracks=29541
103.60 nbVisitedNodes=114889 nbRestartNogoods=194
103.60 => wckTime=102.039 cpuTime=101.4 mem=34M81
152.34
152.34 search
152.34 run=18 nbConstraintChecks=107545280 nbValidityChecks=212618792 nbPropagations=3504656 nbRevisions=40239043
152.34 nbUselessRevisions=31569934 nbAssignments=94400 nbFailedAssignments=49851 nbBacktracks=44319
152.34 nbVisitedNodes=169822 nbRestartNogoods=216
152.34 => wckTime=150.787 cpuTime=149.93 mem=34M81
232.81
232.81 search
232.81 run=19 nbConstraintChecks=164679308 nbValidityChecks=326065017 nbPropagations=5288193 nbRevisions=60716289
232.81 nbUselessRevisions=47632976 nbAssignments=142425 nbFailedAssignments=75704 nbBacktracks=66488
232.81 nbVisitedNodes=256864 nbRestartNogoods=242
232.81 => wckTime=231.255 cpuTime=230.01 mem=34M81
352.51
352.51 search
352.51 run=20 nbConstraintChecks=249971542 nbValidityChecks=495418243 nbPropagations=7989993 nbRevisions=91781432
352.51 nbUselessRevisions=72007850 nbAssignments=215321 nbFailedAssignments=115343 nbBacktracks=99740
352.51 nbVisitedNodes=389355 nbRestartNogoods=257
352.51 => wckTime=350.95 cpuTime=349.07 mem=34M81
534.94
534.94 search
534.94 run=21 nbConstraintChecks=380257276 nbValidityChecks=755046473 nbPropagations=12078280 nbRevisions=138865666
534.94 nbUselessRevisions=108980039 nbAssignments=326115 nbFailedAssignments=176244 nbBacktracks=149618
534.94 nbVisitedNodes=591010 nbRestartNogoods=292
534.94 => wckTime=533.384 cpuTime=530.55 mem=34M81
795.54
795.54 search
795.54 run=22 nbConstraintChecks=565824200 nbValidityChecks=1122699148 nbPropagations=18134908 nbRevisions=208557047
795.54 nbUselessRevisions=163700393 nbAssignments=484342 nbFailedAssignments=259648 nbBacktracks=224436
795.54 nbVisitedNodes=875770 nbRestartNogoods=317
795.54 => wckTime=793.983 cpuTime=789.85 mem=34M81
1190.31
1190.31 search
1190.31 run=23 nbConstraintChecks=860410714 nbValidityChecks=1703517980 nbPropagations=27257313 nbRevisions=313698452
1190.31 nbUselessRevisions=246258308 nbAssignments=728061 nbFailedAssignments=391135 nbBacktracks=336664
1190.31 nbVisitedNodes=1316904 nbRestartNogoods=349
1190.31 => wckTime=1188.749 cpuTime=1182.48 mem=34M81
1687.61
1687.61 search
1687.61 run=24 nbConstraintChecks=1246681404 nbValidityChecks=2466334671 nbPropagations=40406332 nbRevisions=465369216
1687.61 nbUselessRevisions=365367773 nbAssignments=1046384 nbFailedAssignments=560035 nbBacktracks=486088
1687.61 nbVisitedNodes=1891426 nbRestartNogoods=367
1687.61 => wckTime=1686.049 cpuTime=1679.25 mem=34M81
1687.61
1687.61 global
1687.61 nbConstraintChecks=1246709720 nbValidityChecks=2466377060 nbPropagations=40406486 nbRevisions=465370578
1687.61 nbUselessRevisions=365368977 nbRestartNogoods=367 solvingWckTime=1686.05 solvingCpuTime=1679.25 expiredTime=no
1687.61 totalExploration=yes nbFoundSolutions=0 globalCpuTime=1680.22
1687.61 => wckTime=1687.273 cpuTime=1680.17 mem=34M81
1687.61
1687.61 s UNSATISFIABLE
1687.61 d NODES 1046384
1687.61 d CHECKS 1246709720
1687.61
1687.61 totalWckTime=1687.364 totalCpuTime=1680.22
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node20/watcher-196325-1168122084 -o ROOT/results/node20/solver-196325-1168122084 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/196325-1168122084/unknown.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB
/proc/loadavg: 1.92 1.98 2.07 4/98 2219
/proc/meminfo: memFree=1568112/2055920 swapFree=4170192/4192956
[pid=2218] ppid=2216 vsize=9748 CPUtime=0
/proc/2218/stat : 2218 (java) D 2216 2218 1031 0 -1 0 637 0 0 0 0 0 0 0 18 0 1 0 160602973 9981952 412 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 7619364 0 2147483391 0 7368 18446744072099781622 0 0 17 1 0 0
/proc/2218/statm: 2437 412 333 14 0 1140 0
[startup+0.10428 s]
/proc/loadavg: 1.92 1.98 2.07 4/98 2219
/proc/meminfo: memFree=1568112/2055920 swapFree=4170192/4192956
[pid=2218] ppid=2216 vsize=914988 CPUtime=0.08
/proc/2218/stat : 2218 (java) D 2216 2218 1031 0 -1 0 2988 0 1 0 7 1 0 0 17 0 8 0 160602973 936947712 2734 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 2147483391 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2218/statm: 228747 2734 1426 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.512326 s]
/proc/loadavg: 1.92 1.98 2.07 4/98 2219
/proc/meminfo: memFree=1568112/2055920 swapFree=4170192/4192956
[pid=2218] ppid=2216 vsize=915328 CPUtime=0.45
/proc/2218/stat : 2218 (java) R 2216 2218 1031 0 -1 0 6730 0 10 0 38 7 0 0 18 0 8 0 160602973 937295872 6478 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2218/statm: 228832 6478 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 915328
[startup+1.33343 s]
/proc/loadavg: 1.92 1.98 2.07 3/105 2226
/proc/meminfo: memFree=1498104/2055920 swapFree=4170192/4192956
[pid=2218] ppid=2216 vsize=915420 CPUtime=1.27
/proc/2218/stat : 2218 (java) R 2216 2218 1031 0 -1 0 19140 0 10 0 113 14 0 0 24 0 8 0 160602973 937390080 18886 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2218/statm: 228855 18886 2169 14 0 215325 0
[pid=2218/tid=2220] ppid=2216 vsize=915420 CPUtime=0.09
/proc/2218/task/2220/stat : 2220 (java) R 2216 2218 1031 0 -1 64 2661 0 0 0 8 1 0 0 16 0 8 0 160602977 937390080 18886 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155525079 0 0 0 23759 0 0 0 -1 0 0 0
[pid=2218/tid=2221] ppid=2216 vsize=915420 CPUtime=0
/proc/2218/task/2221/stat : 2221 (java) S 2216 2218 1031 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 160602977 937390080 18886 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2218/tid=2222] ppid=2216 vsize=915420 CPUtime=0
/proc/2218/task/2222/stat : 2222 (java) S 2216 2218 1031 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 160602977 937390080 18886 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2218/tid=2223] ppid=2216 vsize=915420 CPUtime=0
/proc/2218/task/2223/stat : 2223 (java) S 2216 2218 1031 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 160602981 937390080 18886 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2218/tid=2224] ppid=2216 vsize=915420 CPUtime=0.11
/proc/2218/task/2224/stat : 2224 (java) S 2216 2218 1031 0 -1 64 320 0 0 0 10 1 0 0 16 0 8 0 160602981 937390080 18886 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2218/tid=2225] ppid=2216 vsize=915420 CPUtime=0
/proc/2218/task/2225/stat : 2225 (java) S 2216 2218 1031 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 160602981 937390080 18886 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2218/tid=2226] ppid=2216 vsize=915420 CPUtime=0
/proc/2218/task/2226/stat : 2226 (java) S 2216 2218 1031 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 160602981 937390080 18886 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.27
Current children cumulated vsize (KiB) 915420
[startup+2.97162 s]
/proc/loadavg: 1.92 1.98 2.07 3/105 2226
/proc/meminfo: memFree=1483128/2055920 swapFree=4170192/4192956
[pid=2218] ppid=2216 vsize=915420 CPUtime=2.9
/proc/2218/stat : 2218 (java) R 2216 2218 1031 0 -1 0 23190 0 10 0 274 16 0 0 25 0 8 0 160602973 937390080 22935 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073629628 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2218/statm: 228855 22935 2531 14 0 215325 0
[pid=2218/tid=2220] ppid=2216 vsize=915420 CPUtime=0.15
/proc/2218/task/2220/stat : 2220 (java) S 2216 2218 1031 0 -1 64 6216 0 0 0 12 3 0 0 17 0 8 0 160602977 937390080 22935 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=2218/tid=2221] ppid=2216 vsize=915420 CPUtime=0
/proc/2218/task/2221/stat : 2221 (java) S 2216 2218 1031 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 160602977 937390080 22935 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2218/tid=2222] ppid=2216 vsize=915420 CPUtime=0
/proc/2218/task/2222/stat : 2222 (java) S 2216 2218 1031 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160602977 937390080 22935 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2218/tid=2223] ppid=2216 vsize=915420 CPUtime=0
/proc/2218/task/2223/stat : 2223 (java) S 2216 2218 1031 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 160602981 937390080 22935 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2218/tid=2224] ppid=2216 vsize=915420 CPUtime=0.2
/proc/2218/task/2224/stat : 2224 (java) S 2216 2218 1031 0 -1 64 372 0 0 0 19 1 0 0 15 0 8 0 160602981 937390080 22935 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2218/tid=2225] ppid=2216 vsize=915420 CPUtime=0
/proc/2218/task/2225/stat : 2225 (java) S 2216 2218 1031 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 160602981 937390080 22935 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2218/tid=2226] ppid=2216 vsize=915420 CPUtime=0
/proc/2218/task/2226/stat : 2226 (java) S 2216 2218 1031 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 160602981 937390080 22935 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.9
Current children cumulated vsize (KiB) 915420
[startup+6.18001 s]
/proc/loadavg: 1.93 1.98 2.07 3/105 2226
/proc/meminfo: memFree=1483000/2055920 swapFree=4170192/4192956
[pid=2218] ppid=2216 vsize=915420 CPUtime=6.09
/proc/2218/stat : 2218 (java) R 2216 2218 1031 0 -1 0 23206 0 10 0 592 17 0 0 25 0 8 0 160602973 937390080 22948 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073749364 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2218/statm: 228855 22948 2531 14 0 215325 0
[pid=2218/tid=2220] ppid=2216 vsize=915420 CPUtime=0.15
/proc/2218/task/2220/stat : 2220 (java) S 2216 2218 1031 0 -1 64 6216 0 0 0 12 3 0 0 17 0 8 0 160602977 937390080 22948 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=2218/tid=2221] ppid=2216 vsize=915420 CPUtime=0
/proc/2218/task/2221/stat : 2221 (java) S 2216 2218 1031 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 160602977 937390080 22948 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2218/tid=2222] ppid=2216 vsize=915420 CPUtime=0
/proc/2218/task/2222/stat : 2222 (java) S 2216 2218 1031 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160602977 937390080 22948 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2218/tid=2223] ppid=2216 vsize=915420 CPUtime=0
/proc/2218/task/2223/stat : 2223 (java) S 2216 2218 1031 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 160602981 937390080 22948 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2218/tid=2224] ppid=2216 vsize=915420 CPUtime=0.23
/proc/2218/task/2224/stat : 2224 (java) S 2216 2218 1031 0 -1 64 386 0 0 0 22 1 0 0 16 0 8 0 160602981 937390080 22948 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2218/tid=2225] ppid=2216 vsize=915420 CPUtime=0
/proc/2218/task/2225/stat : 2225 (java) S 2216 2218 1031 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 160602981 937390080 22948 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2218/tid=2226] ppid=2216 vsize=915420 CPUtime=0
/proc/2218/task/2226/stat : 2226 (java) S 2216 2218 1031 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 160602981 937390080 22948 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.09
Current children cumulated vsize (KiB) 915420
[startup+12.6568 s]
/proc/loadavg: 1.93 1.98 2.07 3/105 2226
/proc/meminfo: memFree=1483072/2055920 swapFree=4170192/4192956
[pid=2218] ppid=2216 vsize=915420 CPUtime=12.54
/proc/2218/stat : 2218 (java) R 2216 2218 1031 0 -1 0 23211 0 10 0 1237 17 0 0 25 0 8 0 160602973 937390080 22952 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073772836 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2218/statm: 228855 22952 2531 14 0 215325 0
[pid=2218/tid=2220] ppid=2216 vsize=915420 CPUtime=0.15
/proc/2218/task/2220/stat : 2220 (java) S 2216 2218 1031 0 -1 64 6216 0 0 0 12 3 0 0 17 0 8 0 160602977 937390080 22952 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=2218/tid=2221] ppid=2216 vsize=915420 CPUtime=0
/proc/2218/task/2221/stat : 2221 (java) S 2216 2218 1031 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 160602977 937390080 22952 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2218/tid=2222] ppid=2216 vsize=915420 CPUtime=0
/proc/2218/task/2222/stat : 2222 (java) S 2216 2218 1031 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160602977 937390080 22952 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2218/tid=2223] ppid=2216 vsize=915420 CPUtime=0
/proc/2218/task/2223/stat : 2223 (java) S 2216 2218 1031 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 160602981 937390080 22952 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2218/tid=2224] ppid=2216 vsize=915420 CPUtime=0.24
/proc/2218/task/2224/stat : 2224 (java) S 2216 2218 1031 0 -1 64 391 0 0 0 23 1 0 0 16 0 8 0 160602981 937390080 22952 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2218/tid=2225] ppid=2216 vsize=915420 CPUtime=0
/proc/2218/task/2225/stat : 2225 (java) S 2216 2218 1031 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 160602981 937390080 22952 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2218/tid=2226] ppid=2216 vsize=915420 CPUtime=0
/proc/2218/task/2226/stat : 2226 (java) S 2216 2218 1031 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 160602981 937390080 22952 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.54
Current children cumulated vsize (KiB) 915420
[startup+25.5343 s]
/proc/loadavg: 1.95 1.98 2.07 3/105 2226
/proc/meminfo: memFree=1455680/2055920 swapFree=4170192/4192956
[pid=2218] ppid=2216 vsize=915420 CPUtime=25.3
/proc/2218/stat : 2218 (java) R 2216 2218 1031 0 -1 0 23212 0 10 0 2513 17 0 0 25 0 8 0 160602973 937390080 22952 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073629628 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2218/statm: 228855 22952 2531 14 0 215325 0
[pid=2218/tid=2220] ppid=2216 vsize=915420 CPUtime=0.15
/proc/2218/task/2220/stat : 2220 (java) S 2216 2218 1031 0 -1 64 6216 0 0 0 12 3 0 0 16 0 8 0 160602977 937390080 22952 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=2218/tid=2221] ppid=2216 vsize=915420 CPUtime=0
/proc/2218/task/2221/stat : 2221 (java) S 2216 2218 1031 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 160602977 937390080 22952 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2218/tid=2222] ppid=2216 vsize=915420 CPUtime=0
/proc/2218/task/2222/stat : 2222 (java) S 2216 2218 1031 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160602977 937390080 22952 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2218/tid=2223] ppid=2216 vsize=915420 CPUtime=0
/proc/2218/task/2223/stat : 2223 (java) S 2216 2218 1031 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 160602981 937390080 22952 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2218/tid=2224] ppid=2216 vsize=915420 CPUtime=0.24
/proc/2218/task/2224/stat : 2224 (java) S 2216 2218 1031 0 -1 64 391 0 0 0 23 1 0 0 16 0 8 0 160602981 937390080 22952 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2218/tid=2225] ppid=2216 vsize=915420 CPUtime=0
/proc/2218/task/2225/stat : 2225 (java) S 2216 2218 1031 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 160602981 937390080 22952 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2218/tid=2226] ppid=2216 vsize=915420 CPUtime=0
/proc/2218/task/2226/stat : 2226 (java) S 2216 2218 1031 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 160602981 937390080 22952 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.3
Current children cumulated vsize (KiB) 915420
[startup+51.1714 s]
/proc/loadavg: 1.96 1.98 2.07 3/105 2226
/proc/meminfo: memFree=1455616/2055920 swapFree=4170192/4192956
[pid=2218] ppid=2216 vsize=915420 CPUtime=50.81
/proc/2218/stat : 2218 (java) R 2216 2218 1031 0 -1 0 23212 0 10 0 5064 17 0 0 25 0 8 0 160602973 937390080 22952 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073758665 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2218/statm: 228855 22952 2531 14 0 215325 0
[pid=2218/tid=2220] ppid=2216 vsize=915420 CPUtime=0.15
/proc/2218/task/2220/stat : 2220 (java) S 2216 2218 1031 0 -1 64 6216 0 0 0 12 3 0 0 16 0 8 0 160602977 937390080 22952 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=2218/tid=2221] ppid=2216 vsize=915420 CPUtime=0
/proc/2218/task/2221/stat : 2221 (java) S 2216 2218 1031 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 160602977 937390080 22952 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2218/tid=2222] ppid=2216 vsize=915420 CPUtime=0
/proc/2218/task/2222/stat : 2222 (java) S 2216 2218 1031 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160602977 937390080 22952 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2218/tid=2223] ppid=2216 vsize=915420 CPUtime=0
/proc/2218/task/2223/stat : 2223 (java) S 2216 2218 1031 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 160602981 937390080 22952 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2218/tid=2224] ppid=2216 vsize=915420 CPUtime=0.24
/proc/2218/task/2224/stat : 2224 (java) S 2216 2218 1031 0 -1 64 391 0 0 0 23 1 0 0 16 0 8 0 160602981 937390080 22952 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2218/tid=2225] ppid=2216 vsize=915420 CPUtime=0
/proc/2218/task/2225/stat : 2225 (java) S 2216 2218 1031 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 160602981 937390080 22952 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2218/tid=2226] ppid=2216 vsize=915420 CPUtime=0
/proc/2218/task/2226/stat : 2226 (java) S 2216 2218 1031 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 160602981 937390080 22952 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.81
Current children cumulated vsize (KiB) 915420
[startup+102.44 s]
/proc/loadavg: 1.98 1.98 2.06 3/105 2226
/proc/meminfo: memFree=1455680/2055920 swapFree=4170192/4192956
[pid=2218] ppid=2216 vsize=915420 CPUtime=101.84
/proc/2218/stat : 2218 (java) R 2216 2218 1031 0 -1 0 23212 0 10 0 10166 18 0 0 25 0 8 0 160602973 937390080 22952 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073772831 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2218/statm: 228855 22952 2531 14 0 215325 0
[pid=2218/tid=2220] ppid=2216 vsize=915420 CPUtime=0.15
/proc/2218/task/2220/stat : 2220 (java) S 2216 2218 1031 0 -1 64 6216 0 0 0 12 3 0 0 16 0 8 0 160602977 937390080 22952 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=2218/tid=2221] ppid=2216 vsize=915420 CPUtime=0
/proc/2218/task/2221/stat : 2221 (java) S 2216 2218 1031 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 160602977 937390080 22952 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2218/tid=2222] ppid=2216 vsize=915420 CPUtime=0
/proc/2218/task/2222/stat : 2222 (java) S 2216 2218 1031 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160602977 937390080 22952 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2218/tid=2223] ppid=2216 vsize=915420 CPUtime=0
/proc/2218/task/2223/stat : 2223 (java) S 2216 2218 1031 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 160602981 937390080 22952 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2218/tid=2224] ppid=2216 vsize=915420 CPUtime=0.24
/proc/2218/task/2224/stat : 2224 (java) S 2216 2218 1031 0 -1 64 391 0 0 0 23 1 0 0 16 0 8 0 160602981 937390080 22952 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2218/tid=2225] ppid=2216 vsize=915420 CPUtime=0
/proc/2218/task/2225/stat : 2225 (java) S 2216 2218 1031 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 160602981 937390080 22952 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2218/tid=2226] ppid=2216 vsize=915420 CPUtime=0
/proc/2218/task/2226/stat : 2226 (java) S 2216 2218 1031 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 160602981 937390080 22952 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.84
Current children cumulated vsize (KiB) 915420
[startup+162.452 s]
/proc/loadavg: 1.99 1.98 2.06 3/105 2226
/proc/meminfo: memFree=1455680/2055920 swapFree=4170192/4192956
[pid=2218] ppid=2216 vsize=915420 CPUtime=161.57
/proc/2218/stat : 2218 (java) R 2216 2218 1031 0 -1 0 23212 0 10 0 16139 18 0 0 25 0 8 0 160602973 937390080 22952 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073774361 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
################
# More data... #
################
/proc/2218/task/2223/stat : 2223 (java) S 2216 2218 1031 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 160602981 937390080 22952 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2218/tid=2224] ppid=2216 vsize=915420 CPUtime=0.24
/proc/2218/task/2224/stat : 2224 (java) S 2216 2218 1031 0 -1 64 391 0 0 0 23 1 0 0 16 0 8 0 160602981 937390080 22952 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2218/tid=2225] ppid=2216 vsize=915420 CPUtime=0
/proc/2218/task/2225/stat : 2225 (java) S 2216 2218 1031 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 160602981 937390080 22952 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2218/tid=2226] ppid=2216 vsize=915420 CPUtime=0
/proc/2218/task/2226/stat : 2226 (java) S 2216 2218 1031 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 160602981 937390080 22952 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1236.27
Current children cumulated vsize (KiB) 915420
[startup+1302.79 s]
/proc/loadavg: 1.76 1.97 1.98 2/85 2305
/proc/meminfo: memFree=1756648/2055920 swapFree=4170192/4192956
[pid=2218] ppid=2216 vsize=915420 CPUtime=1296.15
/proc/2218/stat : 2218 (java) R 2216 2218 1031 0 -1 0 23212 0 10 0 129589 26 0 0 25 0 8 0 160602973 937390080 22952 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073767791 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2218/statm: 228855 22952 2531 14 0 215325 0
[pid=2218/tid=2220] ppid=2216 vsize=915420 CPUtime=0.15
/proc/2218/task/2220/stat : 2220 (java) S 2216 2218 1031 0 -1 64 6216 0 0 0 12 3 0 0 16 0 8 0 160602977 937390080 22952 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=2218/tid=2221] ppid=2216 vsize=915420 CPUtime=0
/proc/2218/task/2221/stat : 2221 (java) S 2216 2218 1031 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 160602977 937390080 22952 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2218/tid=2222] ppid=2216 vsize=915420 CPUtime=0
/proc/2218/task/2222/stat : 2222 (java) S 2216 2218 1031 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160602977 937390080 22952 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2218/tid=2223] ppid=2216 vsize=915420 CPUtime=0
/proc/2218/task/2223/stat : 2223 (java) S 2216 2218 1031 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 160602981 937390080 22952 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2218/tid=2224] ppid=2216 vsize=915420 CPUtime=0.24
/proc/2218/task/2224/stat : 2224 (java) S 2216 2218 1031 0 -1 64 391 0 0 0 23 1 0 0 16 0 8 0 160602981 937390080 22952 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2218/tid=2225] ppid=2216 vsize=915420 CPUtime=0
/proc/2218/task/2225/stat : 2225 (java) S 2216 2218 1031 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 160602981 937390080 22952 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2218/tid=2226] ppid=2216 vsize=915420 CPUtime=0
/proc/2218/task/2226/stat : 2226 (java) S 2216 2218 1031 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 160602981 937390080 22952 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1296.15
Current children cumulated vsize (KiB) 915420
[startup+1362.81 s]
/proc/loadavg: 1.28 1.79 1.92 2/85 2305
/proc/meminfo: memFree=1756776/2055920 swapFree=4170192/4192956
[pid=2218] ppid=2216 vsize=915420 CPUtime=1356.15
/proc/2218/stat : 2218 (java) R 2216 2218 1031 0 -1 0 23212 0 10 0 135589 26 0 0 25 0 8 0 160602973 937390080 22952 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073749364 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2218/statm: 228855 22952 2531 14 0 215325 0
[pid=2218/tid=2220] ppid=2216 vsize=915420 CPUtime=0.15
/proc/2218/task/2220/stat : 2220 (java) S 2216 2218 1031 0 -1 64 6216 0 0 0 12 3 0 0 16 0 8 0 160602977 937390080 22952 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=2218/tid=2221] ppid=2216 vsize=915420 CPUtime=0
/proc/2218/task/2221/stat : 2221 (java) S 2216 2218 1031 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 160602977 937390080 22952 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2218/tid=2222] ppid=2216 vsize=915420 CPUtime=0
/proc/2218/task/2222/stat : 2222 (java) S 2216 2218 1031 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160602977 937390080 22952 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2218/tid=2223] ppid=2216 vsize=915420 CPUtime=0
/proc/2218/task/2223/stat : 2223 (java) S 2216 2218 1031 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 160602981 937390080 22952 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2218/tid=2224] ppid=2216 vsize=915420 CPUtime=0.24
/proc/2218/task/2224/stat : 2224 (java) S 2216 2218 1031 0 -1 64 391 0 0 0 23 1 0 0 16 0 8 0 160602981 937390080 22952 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2218/tid=2225] ppid=2216 vsize=915420 CPUtime=0
/proc/2218/task/2225/stat : 2225 (java) S 2216 2218 1031 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 160602981 937390080 22952 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2218/tid=2226] ppid=2216 vsize=915420 CPUtime=0
/proc/2218/task/2226/stat : 2226 (java) S 2216 2218 1031 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 160602981 937390080 22952 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1356.15
Current children cumulated vsize (KiB) 915420
[startup+1422.83 s]
/proc/loadavg: 1.10 1.64 1.86 2/85 2305
/proc/meminfo: memFree=1756776/2055920 swapFree=4170192/4192956
[pid=2218] ppid=2216 vsize=915420 CPUtime=1416.15
/proc/2218/stat : 2218 (java) R 2216 2218 1031 0 -1 0 23212 0 10 0 141588 27 0 0 25 0 8 0 160602973 937390080 22952 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073749364 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2218/statm: 228855 22952 2531 14 0 215325 0
[pid=2218/tid=2220] ppid=2216 vsize=915420 CPUtime=0.15
/proc/2218/task/2220/stat : 2220 (java) S 2216 2218 1031 0 -1 64 6216 0 0 0 12 3 0 0 16 0 8 0 160602977 937390080 22952 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=2218/tid=2221] ppid=2216 vsize=915420 CPUtime=0
/proc/2218/task/2221/stat : 2221 (java) S 2216 2218 1031 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 160602977 937390080 22952 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2218/tid=2222] ppid=2216 vsize=915420 CPUtime=0
/proc/2218/task/2222/stat : 2222 (java) S 2216 2218 1031 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160602977 937390080 22952 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2218/tid=2223] ppid=2216 vsize=915420 CPUtime=0
/proc/2218/task/2223/stat : 2223 (java) S 2216 2218 1031 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 160602981 937390080 22952 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2218/tid=2224] ppid=2216 vsize=915420 CPUtime=0.24
/proc/2218/task/2224/stat : 2224 (java) S 2216 2218 1031 0 -1 64 391 0 0 0 23 1 0 0 16 0 8 0 160602981 937390080 22952 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2218/tid=2225] ppid=2216 vsize=915420 CPUtime=0
/proc/2218/task/2225/stat : 2225 (java) S 2216 2218 1031 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 160602981 937390080 22952 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2218/tid=2226] ppid=2216 vsize=915420 CPUtime=0
/proc/2218/task/2226/stat : 2226 (java) S 2216 2218 1031 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 160602981 937390080 22952 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1416.15
Current children cumulated vsize (KiB) 915420
[startup+1482.85 s]
/proc/loadavg: 1.03 1.52 1.80 2/85 2305
/proc/meminfo: memFree=1756712/2055920 swapFree=4170192/4192956
[pid=2218] ppid=2216 vsize=915420 CPUtime=1476.15
/proc/2218/stat : 2218 (java) R 2216 2218 1031 0 -1 0 23212 0 10 0 147588 27 0 0 25 0 8 0 160602973 937390080 22952 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073629628 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2218/statm: 228855 22952 2531 14 0 215325 0
[pid=2218/tid=2220] ppid=2216 vsize=915420 CPUtime=0.15
/proc/2218/task/2220/stat : 2220 (java) S 2216 2218 1031 0 -1 64 6216 0 0 0 12 3 0 0 16 0 8 0 160602977 937390080 22952 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=2218/tid=2221] ppid=2216 vsize=915420 CPUtime=0
/proc/2218/task/2221/stat : 2221 (java) S 2216 2218 1031 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 160602977 937390080 22952 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2218/tid=2222] ppid=2216 vsize=915420 CPUtime=0
/proc/2218/task/2222/stat : 2222 (java) S 2216 2218 1031 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160602977 937390080 22952 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2218/tid=2223] ppid=2216 vsize=915420 CPUtime=0
/proc/2218/task/2223/stat : 2223 (java) S 2216 2218 1031 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 160602981 937390080 22952 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2218/tid=2224] ppid=2216 vsize=915420 CPUtime=0.24
/proc/2218/task/2224/stat : 2224 (java) S 2216 2218 1031 0 -1 64 391 0 0 0 23 1 0 0 16 0 8 0 160602981 937390080 22952 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2218/tid=2225] ppid=2216 vsize=915420 CPUtime=0
/proc/2218/task/2225/stat : 2225 (java) S 2216 2218 1031 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 160602981 937390080 22952 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2218/tid=2226] ppid=2216 vsize=915420 CPUtime=0
/proc/2218/task/2226/stat : 2226 (java) S 2216 2218 1031 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 160602981 937390080 22952 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1476.15
Current children cumulated vsize (KiB) 915420
[startup+1542.87 s]
/proc/loadavg: 1.01 1.43 1.75 2/85 2305
/proc/meminfo: memFree=1756648/2055920 swapFree=4170192/4192956
[pid=2218] ppid=2216 vsize=915420 CPUtime=1536.15
/proc/2218/stat : 2218 (java) R 2216 2218 1031 0 -1 0 23212 0 10 0 153588 27 0 0 25 0 8 0 160602973 937390080 22952 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073629628 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2218/statm: 228855 22952 2531 14 0 215325 0
[pid=2218/tid=2220] ppid=2216 vsize=915420 CPUtime=0.15
/proc/2218/task/2220/stat : 2220 (java) S 2216 2218 1031 0 -1 64 6216 0 0 0 12 3 0 0 16 0 8 0 160602977 937390080 22952 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=2218/tid=2221] ppid=2216 vsize=915420 CPUtime=0
/proc/2218/task/2221/stat : 2221 (java) S 2216 2218 1031 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 160602977 937390080 22952 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2218/tid=2222] ppid=2216 vsize=915420 CPUtime=0
/proc/2218/task/2222/stat : 2222 (java) S 2216 2218 1031 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160602977 937390080 22952 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2218/tid=2223] ppid=2216 vsize=915420 CPUtime=0
/proc/2218/task/2223/stat : 2223 (java) S 2216 2218 1031 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 160602981 937390080 22952 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2218/tid=2224] ppid=2216 vsize=915420 CPUtime=0.24
/proc/2218/task/2224/stat : 2224 (java) S 2216 2218 1031 0 -1 64 391 0 0 0 23 1 0 0 16 0 8 0 160602981 937390080 22952 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2218/tid=2225] ppid=2216 vsize=915420 CPUtime=0
/proc/2218/task/2225/stat : 2225 (java) S 2216 2218 1031 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 160602981 937390080 22952 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2218/tid=2226] ppid=2216 vsize=915420 CPUtime=0
/proc/2218/task/2226/stat : 2226 (java) S 2216 2218 1031 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 160602981 937390080 22952 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1536.15
Current children cumulated vsize (KiB) 915420
[startup+1602.89 s]
/proc/loadavg: 1.08 1.36 1.70 2/85 2305
/proc/meminfo: memFree=1756592/2055920 swapFree=4170192/4192956
[pid=2218] ppid=2216 vsize=915420 CPUtime=1596.15
/proc/2218/stat : 2218 (java) R 2216 2218 1031 0 -1 0 23212 0 10 0 159588 27 0 0 25 0 8 0 160602973 937390080 22952 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073754335 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2218/statm: 228855 22952 2531 14 0 215325 0
[pid=2218/tid=2220] ppid=2216 vsize=915420 CPUtime=0.15
/proc/2218/task/2220/stat : 2220 (java) S 2216 2218 1031 0 -1 64 6216 0 0 0 12 3 0 0 16 0 8 0 160602977 937390080 22952 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=2218/tid=2221] ppid=2216 vsize=915420 CPUtime=0
/proc/2218/task/2221/stat : 2221 (java) S 2216 2218 1031 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 160602977 937390080 22952 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2218/tid=2222] ppid=2216 vsize=915420 CPUtime=0
/proc/2218/task/2222/stat : 2222 (java) S 2216 2218 1031 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160602977 937390080 22952 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2218/tid=2223] ppid=2216 vsize=915420 CPUtime=0
/proc/2218/task/2223/stat : 2223 (java) S 2216 2218 1031 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 160602981 937390080 22952 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2218/tid=2224] ppid=2216 vsize=915420 CPUtime=0.24
/proc/2218/task/2224/stat : 2224 (java) S 2216 2218 1031 0 -1 64 391 0 0 0 23 1 0 0 16 0 8 0 160602981 937390080 22952 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2218/tid=2225] ppid=2216 vsize=915420 CPUtime=0
/proc/2218/task/2225/stat : 2225 (java) S 2216 2218 1031 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 160602981 937390080 22952 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2218/tid=2226] ppid=2216 vsize=915420 CPUtime=0
/proc/2218/task/2226/stat : 2226 (java) S 2216 2218 1031 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 160602981 937390080 22952 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1596.15
Current children cumulated vsize (KiB) 915420
[startup+1662.91 s]
/proc/loadavg: 1.03 1.29 1.66 2/85 2305
/proc/meminfo: memFree=1756528/2055920 swapFree=4170192/4192956
[pid=2218] ppid=2216 vsize=915420 CPUtime=1656.15
/proc/2218/stat : 2218 (java) R 2216 2218 1031 0 -1 0 23212 0 10 0 165588 27 0 0 25 0 8 0 160602973 937390080 22952 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073629628 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2218/statm: 228855 22952 2531 14 0 215325 0
[pid=2218/tid=2220] ppid=2216 vsize=915420 CPUtime=0.15
/proc/2218/task/2220/stat : 2220 (java) S 2216 2218 1031 0 -1 64 6216 0 0 0 12 3 0 0 16 0 8 0 160602977 937390080 22952 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=2218/tid=2221] ppid=2216 vsize=915420 CPUtime=0
/proc/2218/task/2221/stat : 2221 (java) S 2216 2218 1031 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 160602977 937390080 22952 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2218/tid=2222] ppid=2216 vsize=915420 CPUtime=0
/proc/2218/task/2222/stat : 2222 (java) S 2216 2218 1031 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160602977 937390080 22952 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2218/tid=2223] ppid=2216 vsize=915420 CPUtime=0
/proc/2218/task/2223/stat : 2223 (java) S 2216 2218 1031 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 160602981 937390080 22952 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2218/tid=2224] ppid=2216 vsize=915420 CPUtime=0.24
/proc/2218/task/2224/stat : 2224 (java) S 2216 2218 1031 0 -1 64 391 0 0 0 23 1 0 0 16 0 8 0 160602981 937390080 22952 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2218/tid=2225] ppid=2216 vsize=915420 CPUtime=0
/proc/2218/task/2225/stat : 2225 (java) S 2216 2218 1031 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 160602981 937390080 22952 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2218/tid=2226] ppid=2216 vsize=915420 CPUtime=0
/proc/2218/task/2226/stat : 2226 (java) S 2216 2218 1031 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 160602981 937390080 22952 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1656.15
Current children cumulated vsize (KiB) 915420
Child status: 0
Real time (s): 1687.65
CPU time (s): 1680.87
CPU user time (s): 1680.58
CPU system time (s): 0.292955
CPU usage (%): 99.5982
Max. virtual memory (cumulated for all children) (KiB): 915420
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1680.58
system time used= 0.292955
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23217
page faults= 10
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 35294
involuntary context switches= 56641
runsolver used 1.81072 s user time and 5.2942 s system time
The end
Begin job on node20 on Sat Jan 6 22:21:24 UTC 2007
IDJOB= 196325
IDBENCH= 3343
FILE ID= node20/196325-1168122084
PBS_JOBID= 3477431
Free space on /tmp= 66538 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-3-24-24/rand-3-24-24-76-632-42_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/196325-1168122084/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node20/watcher-196325-1168122084 -o ROOT/results/node20/solver-196325-1168122084 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/196325-1168122084/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 9b534ebbbf8ce10b1dee18db24a78748
RANDOM SEED= 391144341
TIME LIMIT= 1800 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.216
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.216
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: 1568528 kB
Buffers: 27164 kB
Cached: 105888 kB
SwapCached: 3356 kB
Active: 356200 kB
Inactive: 71668 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1568528 kB
SwapTotal: 4192956 kB
SwapFree: 4170192 kB
Dirty: 4424 kB
Writeback: 0 kB
Mapped: 319460 kB
Slab: 43592 kB
Committed_AS: 3812416 kB
PageTables: 2948 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= 66544 MiB
End job on node20 on Sat Jan 6 22:49:32 UTC 2007