0.33
0.33 Abscon 109 (November, 2006)
0.33
0.33 configuration
0.33 name=esac.xml
0.36
0.36 instance
0.36 name=/tmp/evaluation/218188-1168251573/unknown.xml
0.39
0.39 domains being loaded...
0.39
0.39 variables being loaded...
0.43 nbVariables=20 nbDomainTypes=1 minDomainSize=20 maxDomainSize=20
0.43 => wckTime=0.099 cpuTime=0.09 mem=6M951
0.43
0.43 relations being loaded...
0.70
0.70 constraints being loaded...
0.87 nbConstraints=58 nbRelationTypes=58 nbExtensionStructures=58 nbSharedExtensionStructures=0
0.87 nbConflictsStructures=58 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=0 maxDegree=13 maxArity=3
0.87 => wckTime=0.538 cpuTime=0.49 mem=42M368
0.95
0.95 solver IterativeSystematicSolver being built...
1.12 => wckTime=0.788 cpuTime=0.63 mem=21M123
1.19
1.19 preprocessing
1.19 nbConstraintChecks=20021 nbValidityChecks=32679 nbPropagations=179 nbRevisions=1616 nbUselessRevisions=1369
1.19 nbSingletonTests=28 nbEffectiveSingletonTests=0 nbESACBranches=4 nbRemovedValues=0 detectedInconsistency=no
1.19 => wckTime=0.075 cpuTime=0.05 mem=21M123
1.25
1.25 search
1.25 run=0 nbConstraintChecks=20738 nbValidityChecks=42923 nbPropagations=511 nbRevisions=5153
1.25 nbUselessRevisions=4163 nbAssignments=30 nbFailedAssignments=15 nbBacktracks=11 nbVisitedNodes=53
1.25 nbRestartNogoods=0 mapSize=10 nbInferences=0 nbTooLargeKeys=0
1.25 => wckTime=0.128 cpuTime=0.09 mem=22M126
1.31
1.31 search
1.31 run=1 nbConstraintChecks=65622 nbValidityChecks=132687 nbPropagations=1618 nbRevisions=16824
1.32 nbUselessRevisions=13324 nbAssignments=88 nbFailedAssignments=53 nbBacktracks=26 nbVisitedNodes=162
1.32 nbRestartNogoods=3 mapSize=24 nbInferences=0 nbTooLargeKeys=0
1.32 => wckTime=0.196 cpuTime=0.16 mem=22M126
1.42
1.42 search
1.42 run=2 nbConstraintChecks=133188 nbValidityChecks=268500 nbPropagations=3638 nbRevisions=38538
1.42 nbUselessRevisions=30215 nbAssignments=166 nbFailedAssignments=103 nbBacktracks=50 nbVisitedNodes=304
1.42 nbRestartNogoods=8 mapSize=44 nbInferences=0 nbTooLargeKeys=0
1.42 => wckTime=0.299 cpuTime=0.25 mem=22M126
1.52
1.52 search
1.52 run=3 nbConstraintChecks=204877 nbValidityChecks=415964 nbPropagations=6672 nbRevisions=71660
1.52 nbUselessRevisions=56058 nbAssignments=251 nbFailedAssignments=149 nbBacktracks=85 nbVisitedNodes=459
1.52 nbRestartNogoods=14 mapSize=76 nbInferences=0 nbTooLargeKeys=0
1.52 => wckTime=0.403 cpuTime=0.35 mem=22M126
1.69
1.69 search
1.69 run=4 nbConstraintChecks=331167 nbValidityChecks=666963 nbPropagations=11385 nbRevisions=123390
1.69 nbUselessRevisions=96100 nbAssignments=407 nbFailedAssignments=250 nbBacktracks=135 nbVisitedNodes=755
1.69 nbRestartNogoods=18 mapSize=122 nbInferences=0 nbTooLargeKeys=0
1.69 => wckTime=0.567 cpuTime=0.51 mem=22M126
1.90
1.90 search
1.90 run=5 nbConstraintChecks=483580 nbValidityChecks=981416 nbPropagations=18391 nbRevisions=200229
1.90 nbUselessRevisions=155723 nbAssignments=610 nbFailedAssignments=374 nbBacktracks=210 nbVisitedNodes=1129
1.90 nbRestartNogoods=27 mapSize=187 nbInferences=0 nbTooLargeKeys=0
1.90 => wckTime=0.782 cpuTime=0.72 mem=22M126
2.25
2.25 search
2.25 run=6 nbConstraintChecks=760561 nbValidityChecks=1514354 nbPropagations=29269 nbRevisions=321047
2.25 nbUselessRevisions=249170 nbAssignments=924 nbFailedAssignments=570 nbBacktracks=324 nbVisitedNodes=1728
2.25 nbRestartNogoods=36 mapSize=297 nbInferences=0 nbTooLargeKeys=0
2.25 => wckTime=1.134 cpuTime=1.06 mem=22M126
2.88
2.88 search
2.88 run=7 nbConstraintChecks=1266304 nbValidityChecks=2514094 nbPropagations=47003 nbRevisions=517936
2.88 nbUselessRevisions=401651 nbAssignments=1446 nbFailedAssignments=917 nbBacktracks=494 nbVisitedNodes=2734
2.88 nbRestartNogoods=42 mapSize=463 nbInferences=0 nbTooLargeKeys=0
2.88 => wckTime=1.762 cpuTime=1.68 mem=22M126
3.52
3.52 search
3.52 run=8 nbConstraintChecks=1743109 nbValidityChecks=3487862 nbPropagations=71841 nbRevisions=792382
3.52 nbUselessRevisions=614184 nbAssignments=2025 nbFailedAssignments=1236 nbBacktracks=750 nbVisitedNodes=3799
3.52 nbRestartNogoods=46 mapSize=683 nbInferences=0 nbTooLargeKeys=0
3.52 => wckTime=2.403 cpuTime=2.31 mem=22M126
4.71
4.71 INFO : Stopping hyperNogood (mapSize=1022, nbTooLargekeys=0, mem=22M126)
4.83
4.83 search
4.83 run=9 nbConstraintChecks=2795627 nbValidityChecks=5676761 nbPropagations=111148 nbRevisions=1226874
4.83 nbUselessRevisions=949679 nbAssignments=3425 nbFailedAssignments=2219 nbBacktracks=1135 nbVisitedNodes=6461
4.83 nbRestartNogoods=60
4.83 => wckTime=3.712 cpuTime=3.61 mem=22M126
6.25
6.25 search
6.25 run=10 nbConstraintChecks=3955959 nbValidityChecks=7989733 nbPropagations=168467 nbRevisions=1854101
6.25 nbUselessRevisions=1433303 nbAssignments=4764 nbFailedAssignments=2978 nbBacktracks=1711 nbVisitedNodes=8964
6.25 nbRestartNogoods=68
6.25 => wckTime=5.127 cpuTime=5.02 mem=22M126
8.05
8.05 search
8.05 run=11 nbConstraintChecks=5423466 nbValidityChecks=11031135 nbPropagations=249080 nbRevisions=2722447
8.05 nbUselessRevisions=2102250 nbAssignments=6662 nbFailedAssignments=4007 nbBacktracks=2576 nbVisitedNodes=12447
8.05 nbRestartNogoods=79
8.05 => wckTime=6.93 cpuTime=6.82 mem=22M126
11.23
11.23 search
11.23 run=12 nbConstraintChecks=8062564 nbValidityChecks=16389563 nbPropagations=369634 nbRevisions=4019206
11.23 nbUselessRevisions=3101169 nbAssignments=9752 nbFailedAssignments=5796 nbBacktracks=3874 nbVisitedNodes=18217
11.23 nbRestartNogoods=97
11.23 => wckTime=10.112 cpuTime=10.0 mem=22M126
18.14
18.14 search
18.14 run=13 nbConstraintChecks=14085956 nbValidityChecks=28161115 nbPropagations=569801 nbRevisions=6189518
18.14 nbUselessRevisions=4771401 nbAssignments=15531 nbFailedAssignments=9623 nbBacktracks=5823 nbVisitedNodes=29428
18.14 nbRestartNogoods=109
18.14 => wckTime=17.018 cpuTime=16.91 mem=22M126
25.21
25.29 search
25.29 run=14 nbConstraintChecks=20017983 nbValidityChecks=40127675 nbPropagations=857512 nbRevisions=9333514
25.29 nbUselessRevisions=7199410 nbAssignments=22684 nbFailedAssignments=13853 nbBacktracks=8742 nbVisitedNodes=42820
25.29 nbRestartNogoods=117
25.29 => wckTime=24.089 cpuTime=23.98 mem=22M126
37.21
37.21 search
37.21 run=15 nbConstraintChecks=30153162 nbValidityChecks=60490760 nbPropagations=1290938 nbRevisions=14061609
37.21 nbUselessRevisions=10845747 nbAssignments=34528 nbFailedAssignments=21305 nbBacktracks=13121
37.21 nbVisitedNodes=65326 nbRestartNogoods=132
37.21 => wckTime=36.087 cpuTime=35.96 mem=22M126
52.06
52.06 search
52.07 run=16 nbConstraintChecks=42534146 nbValidityChecks=85646054 nbPropagations=1907991 nbRevisions=20801544
52.07 nbUselessRevisions=16055805 nbAssignments=49550 nbFailedAssignments=29756 nbBacktracks=19689
52.07 nbVisitedNodes=93144 nbRestartNogoods=146
52.07 => wckTime=50.946 cpuTime=50.81 mem=22M126
80.20
80.20 search
80.20 run=17 nbConstraintChecks=66593319 nbValidityChecks=133017212 nbPropagations=2866765 nbRevisions=31246073
80.20 nbUselessRevisions=24110651 nbAssignments=74424 nbFailedAssignments=44773 nbBacktracks=29541
80.20 nbVisitedNodes=140383 nbRestartNogoods=169
80.20 => wckTime=79.086 cpuTime=78.94 mem=22M126
133.35
133.35 search
133.35 run=18 nbConstraintChecks=113839545 nbValidityChecks=225696063 nbPropagations=4430917 nbRevisions=48469360
133.36 nbUselessRevisions=37403613 nbAssignments=119364 nbFailedAssignments=74913 nbBacktracks=44319
133.36 nbVisitedNodes=227609 nbRestartNogoods=185
133.36 => wckTime=132.236 cpuTime=132.08 mem=22M126
196.31
196.31 search
196.31 run=19 nbConstraintChecks=166750981 nbValidityChecks=336119083 nbPropagations=6741792 nbRevisions=73946023
196.31 nbUselessRevisions=57064541 nbAssignments=190366 nbFailedAssignments=123742 nbBacktracks=66487
196.31 nbVisitedNodes=364459 nbRestartNogoods=210
196.31 => wckTime=195.196 cpuTime=195.01 mem=22M126
275.28
275.28 search
275.28 run=20 nbConstraintChecks=232936249 nbValidityChecks=469908739 nbPropagations=10032767 nbRevisions=110188247
275.28 nbUselessRevisions=85072848 nbAssignments=267862 nbFailedAssignments=167957 nbBacktracks=99740
275.28 nbVisitedNodes=509192 nbRestartNogoods=225
275.28 => wckTime=274.157 cpuTime=273.94 mem=22M126
407.57
407.57 search
407.57 run=21 nbConstraintChecks=344729386 nbValidityChecks=691981619 nbPropagations=14951051 nbRevisions=164046643
407.57 nbUselessRevisions=126627035 nbAssignments=388226 nbFailedAssignments=238418 nbBacktracks=149619
407.57 nbVisitedNodes=735923 nbRestartNogoods=245
407.57 => wckTime=406.45 cpuTime=406.18 mem=22M126
540.12
540.12 search
540.12 run=22 nbConstraintChecks=456429733 nbValidityChecks=914292551 nbPropagations=21481634 nbRevisions=235445381
540.12 nbUselessRevisions=181699049 nbAssignments=508372 nbFailedAssignments=309121 nbBacktracks=199042
540.12 nbVisitedNodes=962181 nbRestartNogoods=256
540.12 => wckTime=538.997 cpuTime=538.68 mem=22M126
540.12
540.12 global
540.12 nbConstraintChecks=456449754 nbValidityChecks=914325230 nbPropagations=21481813 nbRevisions=235446997
540.12 nbUselessRevisions=181700418 nbRestartNogoods=256 solvingWckTime=538.999 solvingCpuTime=538.68 expiredTime=no
540.12 totalExploration=no nbFoundSolutions=1 globalCpuTime=539.36
540.12 => wckTime=539.79 cpuTime=539.31 mem=22M126
540.12
540.12 s SATISFIABLE
540.12 v 15 18 5 5 3 4 13 19 14 8 15 14 17 13 9 19 10 4 0 19
540.12 d NODES 508372
540.12 d CHECKS 456449754
540.12
540.12 totalWckTime=539.872 totalCpuTime=539.37
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node23/watcher-218188-1168251573 -o ROOT/results/node23/solver-218188-1168251573 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/218188-1168251573/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: 0.85 0.95 1.09 5/86 10811
/proc/meminfo: memFree=1805136/2055920 swapFree=4191880/4192956
[pid=10810] ppid=10805 vsize=168 CPUtime=0
/proc/10810/stat : 10810 (java) R 10805 10810 10696 0 -1 0 39 0 0 0 0 0 0 0 19 0 1 0 173551728 172032 23 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 2495268 0 0 4096 0 0 0 0 17 0 0 0
/proc/10810/statm: 42 23 18 14 0 2 0
[startup+0.105721 s]
/proc/loadavg: 0.85 0.95 1.09 5/86 10811
/proc/meminfo: memFree=1805136/2055920 swapFree=4191880/4192956
[pid=10810] ppid=10805 vsize=912760 CPUtime=0.07
/proc/10810/stat : 10810 (java) S 10805 10810 10696 0 -1 0 2792 0 1 0 6 1 0 0 19 0 8 0 173551728 934666240 2538 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10810/statm: 228190 2538 1390 14 0 215091 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 912760
[startup+0.513801 s]
/proc/loadavg: 0.85 0.95 1.09 5/86 10811
/proc/meminfo: memFree=1805136/2055920 swapFree=4191880/4192956
[pid=10810] ppid=10805 vsize=915328 CPUtime=0.47
/proc/10810/stat : 10810 (java) R 10805 10810 10696 0 -1 0 7259 0 1 0 43 4 0 0 18 0 8 0 173551728 937295872 6998 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073562222 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10810/statm: 228832 6998 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 915328
[startup+1.33796 s]
/proc/loadavg: 0.85 0.95 1.09 4/101 10839
/proc/meminfo: memFree=1669208/2055920 swapFree=4191880/4192956
[pid=10810] ppid=10805 vsize=915460 CPUtime=1.29
/proc/10810/stat : 10810 (java) R 10805 10810 10696 0 -1 0 17097 0 1 0 119 10 0 0 24 0 8 0 173551728 937431040 16835 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10810/statm: 228865 16835 2527 14 0 215335 0
[pid=10810/tid=10826] ppid=10805 vsize=915460 CPUtime=0.06
/proc/10810/task/10826/stat : 10826 (java) S 10805 10810 10696 0 -1 64 1792 0 0 0 6 0 0 0 16 0 8 0 173551733 937431040 16835 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10810/tid=10827] ppid=10805 vsize=915460 CPUtime=0
/proc/10810/task/10827/stat : 10827 (java) S 10805 10810 10696 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 173551734 937431040 16835 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10810/tid=10828] ppid=10805 vsize=915460 CPUtime=0
/proc/10810/task/10828/stat : 10828 (java) S 10805 10810 10696 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 173551734 937431040 16835 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10810/tid=10832] ppid=10805 vsize=915460 CPUtime=0
/proc/10810/task/10832/stat : 10832 (java) S 10805 10810 10696 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 173551737 937431040 16835 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10810/tid=10833] ppid=10805 vsize=915460 CPUtime=0.16
/proc/10810/task/10833/stat : 10833 (java) R 10805 10810 10696 0 -1 64 355 0 0 0 15 1 0 0 16 0 8 0 173551737 937431040 16835 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10810/tid=10834] ppid=10805 vsize=915460 CPUtime=0
/proc/10810/task/10834/stat : 10834 (java) S 10805 10810 10696 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 173551737 937431040 16835 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10810/tid=10835] ppid=10805 vsize=915460 CPUtime=0
/proc/10810/task/10835/stat : 10835 (java) S 10805 10810 10696 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 173551737 937431040 16835 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 915460
[startup+2.99028 s]
/proc/loadavg: 0.94 0.97 1.09 3/101 10839
/proc/meminfo: memFree=1664216/2055920 swapFree=4191880/4192956
[pid=10810] ppid=10805 vsize=915460 CPUtime=2.94
/proc/10810/stat : 10810 (java) R 10805 10810 10696 0 -1 0 17116 0 1 0 283 11 0 0 25 0 8 0 173551728 937431040 16852 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073783473 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10810/statm: 228865 16852 2527 14 0 215335 0
[pid=10810/tid=10826] ppid=10805 vsize=915460 CPUtime=0.06
/proc/10810/task/10826/stat : 10826 (java) S 10805 10810 10696 0 -1 64 1792 0 0 0 6 0 0 0 16 0 8 0 173551733 937431040 16852 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10810/tid=10827] ppid=10805 vsize=915460 CPUtime=0
/proc/10810/task/10827/stat : 10827 (java) S 10805 10810 10696 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 173551734 937431040 16852 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10810/tid=10828] ppid=10805 vsize=915460 CPUtime=0
/proc/10810/task/10828/stat : 10828 (java) S 10805 10810 10696 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 173551734 937431040 16852 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10810/tid=10832] ppid=10805 vsize=915460 CPUtime=0
/proc/10810/task/10832/stat : 10832 (java) S 10805 10810 10696 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 173551737 937431040 16852 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10810/tid=10833] ppid=10805 vsize=915460 CPUtime=0.2
/proc/10810/task/10833/stat : 10833 (java) S 10805 10810 10696 0 -1 64 372 0 0 0 19 1 0 0 15 0 8 0 173551737 937431040 16852 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10810/tid=10834] ppid=10805 vsize=915460 CPUtime=0
/proc/10810/task/10834/stat : 10834 (java) S 10805 10810 10696 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 173551737 937431040 16852 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10810/tid=10835] ppid=10805 vsize=915460 CPUtime=0
/proc/10810/task/10835/stat : 10835 (java) S 10805 10810 10696 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 173551737 937431040 16852 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 915460
[startup+6.27592 s]
/proc/loadavg: 0.94 0.97 1.09 5/101 10839
/proc/meminfo: memFree=1574296/2055920 swapFree=4191880/4192956
[pid=10810] ppid=10805 vsize=915460 CPUtime=6.23
/proc/10810/stat : 10810 (java) R 10805 10810 10696 0 -1 0 17129 0 1 0 612 11 0 0 25 0 8 0 173551728 937431040 16863 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073613935 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10810/statm: 228865 16863 2527 14 0 215335 0
[pid=10810/tid=10826] ppid=10805 vsize=915460 CPUtime=0.06
/proc/10810/task/10826/stat : 10826 (java) S 10805 10810 10696 0 -1 64 1792 0 0 0 6 0 0 0 16 0 8 0 173551733 937431040 16863 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10810/tid=10827] ppid=10805 vsize=915460 CPUtime=0
/proc/10810/task/10827/stat : 10827 (java) S 10805 10810 10696 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 173551734 937431040 16863 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10810/tid=10828] ppid=10805 vsize=915460 CPUtime=0
/proc/10810/task/10828/stat : 10828 (java) S 10805 10810 10696 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 173551734 937431040 16863 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10810/tid=10832] ppid=10805 vsize=915460 CPUtime=0
/proc/10810/task/10832/stat : 10832 (java) S 10805 10810 10696 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 173551737 937431040 16863 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10810/tid=10833] ppid=10805 vsize=915460 CPUtime=0.22
/proc/10810/task/10833/stat : 10833 (java) S 10805 10810 10696 0 -1 64 384 0 0 0 21 1 0 0 16 0 8 0 173551737 937431040 16863 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10810/tid=10834] ppid=10805 vsize=915460 CPUtime=0
/proc/10810/task/10834/stat : 10834 (java) S 10805 10810 10696 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 173551737 937431040 16863 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10810/tid=10835] ppid=10805 vsize=915460 CPUtime=0
/proc/10810/task/10835/stat : 10835 (java) S 10805 10810 10696 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 173551737 937431040 16863 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 915460
[startup+12.7682 s]
/proc/loadavg: 1.18 1.02 1.11 3/102 10840
/proc/meminfo: memFree=1572696/2055920 swapFree=4191880/4192956
[pid=10810] ppid=10805 vsize=915460 CPUtime=12.72
/proc/10810/stat : 10810 (java) R 10805 10810 10696 0 -1 0 17130 0 1 0 1261 11 0 0 25 0 8 0 173551728 937431040 16863 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073739232 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10810/statm: 228865 16863 2527 14 0 215335 0
[pid=10810/tid=10826] ppid=10805 vsize=915460 CPUtime=0.06
/proc/10810/task/10826/stat : 10826 (java) S 10805 10810 10696 0 -1 64 1792 0 0 0 6 0 0 0 16 0 8 0 173551733 937431040 16863 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10810/tid=10827] ppid=10805 vsize=915460 CPUtime=0
/proc/10810/task/10827/stat : 10827 (java) S 10805 10810 10696 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 173551734 937431040 16863 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10810/tid=10828] ppid=10805 vsize=915460 CPUtime=0
/proc/10810/task/10828/stat : 10828 (java) S 10805 10810 10696 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 173551734 937431040 16863 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10810/tid=10832] ppid=10805 vsize=915460 CPUtime=0
/proc/10810/task/10832/stat : 10832 (java) S 10805 10810 10696 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 173551737 937431040 16863 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10810/tid=10833] ppid=10805 vsize=915460 CPUtime=0.22
/proc/10810/task/10833/stat : 10833 (java) S 10805 10810 10696 0 -1 64 384 0 0 0 21 1 0 0 16 0 8 0 173551737 937431040 16863 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10810/tid=10834] ppid=10805 vsize=915460 CPUtime=0
/proc/10810/task/10834/stat : 10834 (java) S 10805 10810 10696 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 173551737 937431040 16863 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10810/tid=10835] ppid=10805 vsize=915460 CPUtime=0
/proc/10810/task/10835/stat : 10835 (java) S 10805 10810 10696 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 173551737 937431040 16863 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.72
Current children cumulated vsize (KiB) 915460
[startup+25.6197 s]
/proc/loadavg: 1.31 1.05 1.12 3/102 10840
/proc/meminfo: memFree=1572760/2055920 swapFree=4191880/4192956
[pid=10810] ppid=10805 vsize=915460 CPUtime=25.56
/proc/10810/stat : 10810 (java) R 10805 10810 10696 0 -1 0 17130 0 1 0 2545 11 0 0 25 0 8 0 173551728 937431040 16863 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073730002 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10810/statm: 228865 16863 2527 14 0 215335 0
[pid=10810/tid=10826] ppid=10805 vsize=915460 CPUtime=0.06
/proc/10810/task/10826/stat : 10826 (java) S 10805 10810 10696 0 -1 64 1792 0 0 0 6 0 0 0 16 0 8 0 173551733 937431040 16863 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10810/tid=10827] ppid=10805 vsize=915460 CPUtime=0
/proc/10810/task/10827/stat : 10827 (java) S 10805 10810 10696 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 173551734 937431040 16863 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10810/tid=10828] ppid=10805 vsize=915460 CPUtime=0
/proc/10810/task/10828/stat : 10828 (java) S 10805 10810 10696 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 173551734 937431040 16863 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10810/tid=10832] ppid=10805 vsize=915460 CPUtime=0
/proc/10810/task/10832/stat : 10832 (java) S 10805 10810 10696 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 173551737 937431040 16863 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10810/tid=10833] ppid=10805 vsize=915460 CPUtime=0.22
/proc/10810/task/10833/stat : 10833 (java) S 10805 10810 10696 0 -1 64 384 0 0 0 21 1 0 0 16 0 8 0 173551737 937431040 16863 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10810/tid=10834] ppid=10805 vsize=915460 CPUtime=0
/proc/10810/task/10834/stat : 10834 (java) S 10805 10810 10696 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 173551737 937431040 16863 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10810/tid=10835] ppid=10805 vsize=915460 CPUtime=0
/proc/10810/task/10835/stat : 10835 (java) S 10805 10810 10696 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 173551737 937431040 16863 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.56
Current children cumulated vsize (KiB) 915460
[startup+51.2466 s]
/proc/loadavg: 1.54 1.13 1.14 3/102 10840
/proc/meminfo: memFree=1572824/2055920 swapFree=4191880/4192956
[pid=10810] ppid=10805 vsize=915460 CPUtime=51.17
/proc/10810/stat : 10810 (java) R 10805 10810 10696 0 -1 0 17130 0 1 0 5106 11 0 0 25 0 8 0 173551728 937431040 16863 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073728095 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10810/statm: 228865 16863 2527 14 0 215335 0
[pid=10810/tid=10826] ppid=10805 vsize=915460 CPUtime=0.06
/proc/10810/task/10826/stat : 10826 (java) S 10805 10810 10696 0 -1 64 1792 0 0 0 6 0 0 0 16 0 8 0 173551733 937431040 16863 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10810/tid=10827] ppid=10805 vsize=915460 CPUtime=0
/proc/10810/task/10827/stat : 10827 (java) S 10805 10810 10696 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 173551734 937431040 16863 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10810/tid=10828] ppid=10805 vsize=915460 CPUtime=0
/proc/10810/task/10828/stat : 10828 (java) S 10805 10810 10696 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 173551734 937431040 16863 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10810/tid=10832] ppid=10805 vsize=915460 CPUtime=0
/proc/10810/task/10832/stat : 10832 (java) S 10805 10810 10696 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 173551737 937431040 16863 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10810/tid=10833] ppid=10805 vsize=915460 CPUtime=0.22
/proc/10810/task/10833/stat : 10833 (java) S 10805 10810 10696 0 -1 64 384 0 0 0 21 1 0 0 16 0 8 0 173551737 937431040 16863 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10810/tid=10834] ppid=10805 vsize=915460 CPUtime=0
/proc/10810/task/10834/stat : 10834 (java) S 10805 10810 10696 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 173551737 937431040 16863 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10810/tid=10835] ppid=10805 vsize=915460 CPUtime=0
/proc/10810/task/10835/stat : 10835 (java) S 10805 10810 10696 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 173551737 937431040 16863 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 51.17
Current children cumulated vsize (KiB) 915460
[startup+102.501 s]
/proc/loadavg: 1.82 1.27 1.19 3/102 10840
/proc/meminfo: memFree=1572824/2055920 swapFree=4191880/4192956
[pid=10810] ppid=10805 vsize=915460 CPUtime=102.41
/proc/10810/stat : 10810 (java) R 10805 10810 10696 0 -1 0 17130 0 1 0 10229 12 0 0 25 0 8 0 173551728 937431040 16863 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073730002 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10810/statm: 228865 16863 2527 14 0 215335 0
[pid=10810/tid=10826] ppid=10805 vsize=915460 CPUtime=0.06
/proc/10810/task/10826/stat : 10826 (java) S 10805 10810 10696 0 -1 64 1792 0 0 0 6 0 0 0 16 0 8 0 173551733 937431040 16863 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10810/tid=10827] ppid=10805 vsize=915460 CPUtime=0
/proc/10810/task/10827/stat : 10827 (java) S 10805 10810 10696 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 173551734 937431040 16863 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10810/tid=10828] ppid=10805 vsize=915460 CPUtime=0
/proc/10810/task/10828/stat : 10828 (java) S 10805 10810 10696 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 173551734 937431040 16863 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10810/tid=10832] ppid=10805 vsize=915460 CPUtime=0
/proc/10810/task/10832/stat : 10832 (java) S 10805 10810 10696 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 173551737 937431040 16863 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10810/tid=10833] ppid=10805 vsize=915460 CPUtime=0.22
/proc/10810/task/10833/stat : 10833 (java) S 10805 10810 10696 0 -1 64 384 0 0 0 21 1 0 0 16 0 8 0 173551737 937431040 16863 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10810/tid=10834] ppid=10805 vsize=915460 CPUtime=0
/proc/10810/task/10834/stat : 10834 (java) S 10805 10810 10696 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 173551737 937431040 16863 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10810/tid=10835] ppid=10805 vsize=915460 CPUtime=0
/proc/10810/task/10835/stat : 10835 (java) S 10805 10810 10696 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 173551737 937431040 16863 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 102.41
Current children cumulated vsize (KiB) 915460
[startup+162.557 s]
/proc/loadavg: 1.93 1.40 1.23 3/102 10840
/proc/meminfo: memFree=1572824/2055920 swapFree=4191880/4192956
[pid=10810] ppid=10805 vsize=915460 CPUtime=162.44
/proc/10810/stat : 10810 (java) R 10805 10810 10696 0 -1 0 17130 0 1 0 16232 12 0 0 25 0 8 0 173551728 937431040 16863 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073609012 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10810/statm: 228865 16863 2527 14 0 215335 0
[pid=10810/tid=10826] ppid=10805 vsize=915460 CPUtime=0.06
/proc/10810/task/10826/stat : 10826 (java) S 10805 10810 10696 0 -1 64 1792 0 0 0 6 0 0 0 16 0 8 0 173551733 937431040 16863 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10810/tid=10827] ppid=10805 vsize=915460 CPUtime=0
/proc/10810/task/10827/stat : 10827 (java) S 10805 10810 10696 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 173551734 937431040 16863 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10810/tid=10828] ppid=10805 vsize=915460 CPUtime=0
/proc/10810/task/10828/stat : 10828 (java) S 10805 10810 10696 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 173551734 937431040 16863 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10810/tid=10832] ppid=10805 vsize=915460 CPUtime=0
/proc/10810/task/10832/stat : 10832 (java) S 10805 10810 10696 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 173551737 937431040 16863 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10810/tid=10833] ppid=10805 vsize=915460 CPUtime=0.22
/proc/10810/task/10833/stat : 10833 (java) S 10805 10810 10696 0 -1 64 384 0 0 0 21 1 0 0 16 0 8 0 173551737 937431040 16863 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10810/tid=10834] ppid=10805 vsize=915460 CPUtime=0
/proc/10810/task/10834/stat : 10834 (java) S 10805 10810 10696 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 173551737 937431040 16863 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10810/tid=10835] ppid=10805 vsize=915460 CPUtime=0
/proc/10810/task/10835/stat : 10835 (java) S 10805 10810 10696 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 173551737 937431040 16863 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 162.44
Current children cumulated vsize (KiB) 915460
[startup+222.625 s]
/proc/loadavg: 1.97 1.51 1.28 3/102 10840
/proc/meminfo: memFree=1572760/2055920 swapFree=4191880/4192956
[pid=10810] ppid=10805 vsize=915460 CPUtime=222.49
/proc/10810/stat : 10810 (java) R 10805 10810 10696 0 -1 0 17130 0 1 0 22236 13 0 0 25 0 8 0 173551728 937431040 16863 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073732277 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10810/statm: 228865 16863 2527 14 0 215335 0
[pid=10810/tid=10826] ppid=10805 vsize=915460 CPUtime=0.06
/proc/10810/task/10826/stat : 10826 (java) S 10805 10810 10696 0 -1 64 1792 0 0 0 6 0 0 0 16 0 8 0 173551733 937431040 16863 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10810/tid=10827] ppid=10805 vsize=915460 CPUtime=0
/proc/10810/task/10827/stat : 10827 (java) S 10805 10810 10696 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 173551734 937431040 16863 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10810/tid=10828] ppid=10805 vsize=915460 CPUtime=0
/proc/10810/task/10828/stat : 10828 (java) S 10805 10810 10696 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 173551734 937431040 16863 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10810/tid=10832] ppid=10805 vsize=915460 CPUtime=0
/proc/10810/task/10832/stat : 10832 (java) S 10805 10810 10696 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 173551737 937431040 16863 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10810/tid=10833] ppid=10805 vsize=915460 CPUtime=0.22
/proc/10810/task/10833/stat : 10833 (java) S 10805 10810 10696 0 -1 64 384 0 0 0 21 1 0 0 16 0 8 0 173551737 937431040 16863 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10810/tid=10834] ppid=10805 vsize=915460 CPUtime=0
/proc/10810/task/10834/stat : 10834 (java) S 10805 10810 10696 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 173551737 937431040 16863 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10810/tid=10835] ppid=10805 vsize=915460 CPUtime=0
/proc/10810/task/10835/stat : 10835 (java) S 10805 10810 10696 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 173551737 937431040 16863 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 222.49
Current children cumulated vsize (KiB) 915460
[startup+282.695 s]
/proc/loadavg: 1.99 1.59 1.32 3/102 10840
/proc/meminfo: memFree=1572760/2055920 swapFree=4191880/4192956
[pid=10810] ppid=10805 vsize=915460 CPUtime=282.54
/proc/10810/stat : 10810 (java) R 10805 10810 10696 0 -1 0 17130 0 1 0 28241 13 0 0 25 0 8 0 173551728 937431040 16863 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073613902 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10810/statm: 228865 16863 2527 14 0 215335 0
[pid=10810/tid=10826] ppid=10805 vsize=915460 CPUtime=0.06
/proc/10810/task/10826/stat : 10826 (java) S 10805 10810 10696 0 -1 64 1792 0 0 0 6 0 0 0 16 0 8 0 173551733 937431040 16863 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10810/tid=10827] ppid=10805 vsize=915460 CPUtime=0
/proc/10810/task/10827/stat : 10827 (java) S 10805 10810 10696 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 173551734 937431040 16863 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10810/tid=10828] ppid=10805 vsize=915460 CPUtime=0
/proc/10810/task/10828/stat : 10828 (java) S 10805 10810 10696 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 173551734 937431040 16863 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10810/tid=10832] ppid=10805 vsize=915460 CPUtime=0
/proc/10810/task/10832/stat : 10832 (java) S 10805 10810 10696 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 173551737 937431040 16863 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10810/tid=10833] ppid=10805 vsize=915460 CPUtime=0.22
/proc/10810/task/10833/stat : 10833 (java) S 10805 10810 10696 0 -1 64 384 0 0 0 21 1 0 0 16 0 8 0 173551737 937431040 16863 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10810/tid=10834] ppid=10805 vsize=915460 CPUtime=0
/proc/10810/task/10834/stat : 10834 (java) S 10805 10810 10696 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 173551737 937431040 16863 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10810/tid=10835] ppid=10805 vsize=915460 CPUtime=0
/proc/10810/task/10835/stat : 10835 (java) S 10805 10810 10696 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 173551737 937431040 16863 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 282.54
Current children cumulated vsize (KiB) 915460
[startup+342.754 s]
/proc/loadavg: 2.11 1.70 1.37 3/102 10840
/proc/meminfo: memFree=1572632/2055920 swapFree=4191880/4192956
[pid=10810] ppid=10805 vsize=915460 CPUtime=342.57
/proc/10810/stat : 10810 (java) R 10805 10810 10696 0 -1 0 17130 0 1 0 34244 13 0 0 25 0 8 0 173551728 937431040 16863 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073609059 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10810/statm: 228865 16863 2527 14 0 215335 0
[pid=10810/tid=10826] ppid=10805 vsize=915460 CPUtime=0.06
/proc/10810/task/10826/stat : 10826 (java) S 10805 10810 10696 0 -1 64 1792 0 0 0 6 0 0 0 16 0 8 0 173551733 937431040 16863 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10810/tid=10827] ppid=10805 vsize=915460 CPUtime=0
/proc/10810/task/10827/stat : 10827 (java) S 10805 10810 10696 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 173551734 937431040 16863 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10810/tid=10828] ppid=10805 vsize=915460 CPUtime=0
/proc/10810/task/10828/stat : 10828 (java) S 10805 10810 10696 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 173551734 937431040 16863 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10810/tid=10832] ppid=10805 vsize=915460 CPUtime=0
/proc/10810/task/10832/stat : 10832 (java) S 10805 10810 10696 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 173551737 937431040 16863 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10810/tid=10833] ppid=10805 vsize=915460 CPUtime=0.22
/proc/10810/task/10833/stat : 10833 (java) S 10805 10810 10696 0 -1 64 384 0 0 0 21 1 0 0 16 0 8 0 173551737 937431040 16863 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10810/tid=10834] ppid=10805 vsize=915460 CPUtime=0
/proc/10810/task/10834/stat : 10834 (java) S 10805 10810 10696 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 173551737 937431040 16863 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10810/tid=10835] ppid=10805 vsize=915460 CPUtime=0
/proc/10810/task/10835/stat : 10835 (java) S 10805 10810 10696 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 173551737 937431040 16863 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 342.57
Current children cumulated vsize (KiB) 915460
[startup+402.814 s]
/proc/loadavg: 2.04 1.75 1.41 3/102 10840
/proc/meminfo: memFree=1572568/2055920 swapFree=4191880/4192956
[pid=10810] ppid=10805 vsize=915460 CPUtime=402.61
/proc/10810/stat : 10810 (java) R 10805 10810 10696 0 -1 0 17130 0 1 0 40247 14 0 0 25 0 8 0 173551728 937431040 16863 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073754517 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10810/statm: 228865 16863 2527 14 0 215335 0
[pid=10810/tid=10826] ppid=10805 vsize=915460 CPUtime=0.06
/proc/10810/task/10826/stat : 10826 (java) S 10805 10810 10696 0 -1 64 1792 0 0 0 6 0 0 0 16 0 8 0 173551733 937431040 16863 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10810/tid=10827] ppid=10805 vsize=915460 CPUtime=0
/proc/10810/task/10827/stat : 10827 (java) S 10805 10810 10696 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 173551734 937431040 16863 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10810/tid=10828] ppid=10805 vsize=915460 CPUtime=0
/proc/10810/task/10828/stat : 10828 (java) S 10805 10810 10696 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 173551734 937431040 16863 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10810/tid=10832] ppid=10805 vsize=915460 CPUtime=0
/proc/10810/task/10832/stat : 10832 (java) S 10805 10810 10696 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 173551737 937431040 16863 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10810/tid=10833] ppid=10805 vsize=915460 CPUtime=0.22
/proc/10810/task/10833/stat : 10833 (java) S 10805 10810 10696 0 -1 64 384 0 0 0 21 1 0 0 16 0 8 0 173551737 937431040 16863 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10810/tid=10834] ppid=10805 vsize=915460 CPUtime=0
/proc/10810/task/10834/stat : 10834 (java) S 10805 10810 10696 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 173551737 937431040 16863 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10810/tid=10835] ppid=10805 vsize=915460 CPUtime=0
/proc/10810/task/10835/stat : 10835 (java) S 10805 10810 10696 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 173551737 937431040 16863 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 402.61
Current children cumulated vsize (KiB) 915460
[startup+462.871 s]
/proc/loadavg: 2.01 1.79 1.44 3/102 10840
/proc/meminfo: memFree=1572568/2055920 swapFree=4191880/4192956
[pid=10810] ppid=10805 vsize=915460 CPUtime=462.64
/proc/10810/stat : 10810 (java) R 10805 10810 10696 0 -1 0 17130 0 1 0 46250 14 0 0 25 0 8 0 173551728 937431040 16863 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073726363 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10810/statm: 228865 16863 2527 14 0 215335 0
[pid=10810/tid=10826] ppid=10805 vsize=915460 CPUtime=0.06
/proc/10810/task/10826/stat : 10826 (java) S 10805 10810 10696 0 -1 64 1792 0 0 0 6 0 0 0 16 0 8 0 173551733 937431040 16863 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10810/tid=10827] ppid=10805 vsize=915460 CPUtime=0
/proc/10810/task/10827/stat : 10827 (java) S 10805 10810 10696 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 173551734 937431040 16863 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10810/tid=10828] ppid=10805 vsize=915460 CPUtime=0
/proc/10810/task/10828/stat : 10828 (java) S 10805 10810 10696 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 173551734 937431040 16863 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10810/tid=10832] ppid=10805 vsize=915460 CPUtime=0
/proc/10810/task/10832/stat : 10832 (java) S 10805 10810 10696 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 173551737 937431040 16863 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10810/tid=10833] ppid=10805 vsize=915460 CPUtime=0.22
/proc/10810/task/10833/stat : 10833 (java) S 10805 10810 10696 0 -1 64 384 0 0 0 21 1 0 0 16 0 8 0 173551737 937431040 16863 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10810/tid=10834] ppid=10805 vsize=915460 CPUtime=0
/proc/10810/task/10834/stat : 10834 (java) S 10805 10810 10696 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 173551737 937431040 16863 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10810/tid=10835] ppid=10805 vsize=915460 CPUtime=0
/proc/10810/task/10835/stat : 10835 (java) S 10805 10810 10696 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 173551737 937431040 16863 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 462.64
Current children cumulated vsize (KiB) 915460
[startup+522.933 s]
/proc/loadavg: 2.00 1.83 1.47 3/102 10840
/proc/meminfo: memFree=1572504/2055920 swapFree=4191880/4192956
[pid=10810] ppid=10805 vsize=915460 CPUtime=522.68
/proc/10810/stat : 10810 (java) R 10805 10810 10696 0 -1 0 17130 0 1 0 52254 14 0 0 25 0 8 0 173551728 937431040 16863 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073722740 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10810/statm: 228865 16863 2527 14 0 215335 0
[pid=10810/tid=10826] ppid=10805 vsize=915460 CPUtime=0.06
/proc/10810/task/10826/stat : 10826 (java) S 10805 10810 10696 0 -1 64 1792 0 0 0 6 0 0 0 16 0 8 0 173551733 937431040 16863 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10810/tid=10827] ppid=10805 vsize=915460 CPUtime=0
/proc/10810/task/10827/stat : 10827 (java) S 10805 10810 10696 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 173551734 937431040 16863 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10810/tid=10828] ppid=10805 vsize=915460 CPUtime=0
/proc/10810/task/10828/stat : 10828 (java) S 10805 10810 10696 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 173551734 937431040 16863 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10810/tid=10832] ppid=10805 vsize=915460 CPUtime=0
/proc/10810/task/10832/stat : 10832 (java) S 10805 10810 10696 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 173551737 937431040 16863 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10810/tid=10833] ppid=10805 vsize=915460 CPUtime=0.22
/proc/10810/task/10833/stat : 10833 (java) S 10805 10810 10696 0 -1 64 384 0 0 0 21 1 0 0 16 0 8 0 173551737 937431040 16863 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10810/tid=10834] ppid=10805 vsize=915460 CPUtime=0
/proc/10810/task/10834/stat : 10834 (java) S 10805 10810 10696 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 173551737 937431040 16863 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10810/tid=10835] ppid=10805 vsize=915460 CPUtime=0
/proc/10810/task/10835/stat : 10835 (java) S 10805 10810 10696 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 173551737 937431040 16863 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 522.68
Current children cumulated vsize (KiB) 915460
Child status: 0
Real time (s): 540.176
CPU time (s): 539.893
CPU user time (s): 539.731
CPU system time (s): 0.161975
CPU usage (%): 99.9475
Max. virtual memory (cumulated for all children) (KiB): 915460
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 539.731
system time used= 0.161975
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17139
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= 12045
involuntary context switches= 23479
runsolver used 1.20582 s user time and 1.82472 s system time
The end
Begin job on node23 on Mon Jan 8 10:19:34 UTC 2007
IDJOB= 218188
IDBENCH= 5212
FILE ID= node23/218188-1168251573
PBS_JOBID= 3481931
Free space on /tmp= 66557 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-3-20-20/rand-3-20-20-60-632-37_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/218188-1168251573/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node23/watcher-218188-1168251573 -o ROOT/results/node23/solver-218188-1168251573 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/218188-1168251573/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 7d4f55c7d1f5355a3b9f879cc7756cc5
RANDOM SEED= 10066718
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.265
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.265
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: 1806296 kB
Buffers: 42932 kB
Cached: 92552 kB
SwapCached: 448 kB
Active: 126312 kB
Inactive: 69104 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1806296 kB
SwapTotal: 4192956 kB
SwapFree: 4191880 kB
Dirty: 7900 kB
Writeback: 0 kB
Mapped: 77460 kB
Slab: 39176 kB
Committed_AS: 3659084 kB
PageTables: 2124 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= 66557 MiB
End job on node23 on Mon Jan 8 10:28:34 UTC 2007