0.32
0.32 Abscon 109 (November, 2006)
0.32
0.32 configuration
0.32 name=esac.xml
0.35
0.35 instance
0.35 name=/tmp/evaluation/206709-1168176889/unknown.xml
0.38
0.38 domains being loaded...
0.39
0.39 variables being loaded...
0.42 nbVariables=28 nbDomainTypes=1 minDomainSize=28 maxDomainSize=28
0.42 => wckTime=0.101 cpuTime=0.08 mem=6M951
0.42
0.42 relations being loaded...
1.57
1.57 constraints being loaded...
2.34 nbConstraints=91 nbRelationTypes=93 nbMergedConstraints=2 nbExtensionStructures=91
2.34 nbSharedExtensionStructures=0 nbConflictsStructures=91 nbSharedConflictsStructures=0
2.34 nbSharedBinaryRepresentations=0 maxDegree=15 maxArity=3
2.34 => wckTime=2.018 cpuTime=1.61 mem=56M994
2.50
2.50 solver IterativeSystematicSolver being built...
2.68 => wckTime=2.354 cpuTime=1.76 mem=65M46
2.81
2.81 preprocessing
2.81 nbConstraintChecks=40058 nbValidityChecks=67746 nbPropagations=251 nbRevisions=2712 nbUselessRevisions=2391
2.81 nbSingletonTests=32 nbEffectiveSingletonTests=0 nbESACBranches=3 nbRemovedValues=0 detectedInconsistency=no
2.81 => wckTime=0.128 cpuTime=0.1 mem=65M46
2.89
2.89 search
2.89 run=0 nbConstraintChecks=38256 nbValidityChecks=69919 nbPropagations=565 nbRevisions=6345
2.89 nbUselessRevisions=5353 nbAssignments=29 nbFailedAssignments=11 nbBacktracks=11 nbVisitedNodes=47
2.89 nbRestartNogoods=0 mapSize=9 nbInferences=0 nbTooLargeKeys=0
2.89 => wckTime=0.214 cpuTime=0.18 mem=66M54
3.00
3.00 search
3.00 run=1 nbConstraintChecks=88267 nbValidityChecks=181599 nbPropagations=1725 nbRevisions=19671
3.00 nbUselessRevisions=16285 nbAssignments=76 nbFailedAssignments=34 nbBacktracks=26 nbVisitedNodes=130
3.00 nbRestartNogoods=2 mapSize=24 nbInferences=0 nbTooLargeKeys=0
3.00 => wckTime=0.32 cpuTime=0.28 mem=66M54
3.19
3.19 search
3.19 run=2 nbConstraintChecks=188051 nbValidityChecks=376672 nbPropagations=3694 nbRevisions=43813
3.19 nbUselessRevisions=35794 nbAssignments=141 nbFailedAssignments=68 nbBacktracks=48 nbVisitedNodes=246
3.19 nbRestartNogoods=6 mapSize=44 nbInferences=0 nbTooLargeKeys=0
3.19 => wckTime=0.513 cpuTime=0.46 mem=66M54
3.60
3.60 search
3.60 run=3 nbConstraintChecks=422098 nbValidityChecks=856003 nbPropagations=7865 nbRevisions=96256
3.60 nbUselessRevisions=76733 nbAssignments=332 nbFailedAssignments=218 nbBacktracks=81 nbVisitedNodes=617
3.60 nbRestartNogoods=12 mapSize=77 nbInferences=0 nbTooLargeKeys=0
3.60 => wckTime=0.925 cpuTime=0.86 mem=66M54
3.86
3.86 search
3.86 run=4 nbConstraintChecks=570078 nbValidityChecks=1154786 nbPropagations=13762 nbRevisions=169797
3.86 nbUselessRevisions=134298 nbAssignments=492 nbFailedAssignments=319 nbBacktracks=132 nbVisitedNodes=909
3.86 nbRestartNogoods=18 mapSize=123 nbInferences=0 nbTooLargeKeys=0
3.86 => wckTime=1.177 cpuTime=1.11 mem=66M54
4.25
4.25 search
4.25 run=5 nbConstraintChecks=795825 nbValidityChecks=1620557 nbPropagations=22465 nbRevisions=273764
4.25 nbUselessRevisions=215608 nbAssignments=684 nbFailedAssignments=429 nbBacktracks=207 nbVisitedNodes=1262
4.25 nbRestartNogoods=25 mapSize=189 nbInferences=0 nbTooLargeKeys=0
4.25 => wckTime=1.571 cpuTime=1.5 mem=66M54
4.78
4.78 search
4.78 run=6 nbConstraintChecks=1095950 nbValidityChecks=2238448 nbPropagations=34918 nbRevisions=420102
4.78 nbUselessRevisions=330325 nbAssignments=953 nbFailedAssignments=576 nbBacktracks=322 nbVisitedNodes=1752
4.78 nbRestartNogoods=31 mapSize=284 nbInferences=0 nbTooLargeKeys=0
4.78 => wckTime=2.101 cpuTime=2.02 mem=66M54
5.71
5.71 search
5.71 run=7 nbConstraintChecks=1633191 nbValidityChecks=3317617 nbPropagations=53535 nbRevisions=635666
5.71 nbUselessRevisions=499079 nbAssignments=1381 nbFailedAssignments=812 nbBacktracks=494 nbVisitedNodes=2514
5.71 nbRestartNogoods=42 mapSize=435 nbInferences=0 nbTooLargeKeys=0
5.71 => wckTime=3.029 cpuTime=2.94 mem=66M54
7.21
7.21 search
7.21 run=8 nbConstraintChecks=2517989 nbValidityChecks=5145732 nbPropagations=80341 nbRevisions=955342
7.21 nbUselessRevisions=750337 nbAssignments=2016 nbFailedAssignments=1181 nbBacktracks=752 nbVisitedNodes=3690
7.21 nbRestartNogoods=49 mapSize=670 nbInferences=0 nbTooLargeKeys=0
7.21 => wckTime=4.53 cpuTime=4.43 mem=66M54
9.60
9.60 search
9.60 run=9 nbConstraintChecks=3910676 nbValidityChecks=7848941 nbPropagations=118985 nbRevisions=1429193
9.60 nbUselessRevisions=1125505 nbAssignments=2893 nbFailedAssignments=1667 nbBacktracks=1136 nbVisitedNodes=5292
9.60 nbRestartNogoods=57 mapSize=1002 nbInferences=0 nbTooLargeKeys=0
9.60 => wckTime=6.916 cpuTime=6.79 mem=66M54
9.69
9.69 INFO : Stopping hyperNogood (mapSize=1014, nbTooLargekeys=0, mem=66M54)
12.31
12.31 search
12.31 run=10 nbConstraintChecks=5579164 nbValidityChecks=11237918 nbPropagations=175679 nbRevisions=2123533
12.31 nbUselessRevisions=1674667 nbAssignments=4451 nbFailedAssignments=2630 nbBacktracks=1713 nbVisitedNodes=8174
12.31 nbRestartNogoods=67
12.31 => wckTime=9.63 cpuTime=9.49 mem=66M54
16.29
16.29 search
16.29 run=11 nbConstraintChecks=7942408 nbValidityChecks=16048628 nbPropagations=260728 nbRevisions=3145711
16.29 nbUselessRevisions=2482278 nbAssignments=6471 nbFailedAssignments=3778 nbBacktracks=2579 nbVisitedNodes=11905
16.29 nbRestartNogoods=71
16.29 => wckTime=13.606 cpuTime=13.44 mem=66M54
22.46
22.46 search
22.46 run=12 nbConstraintChecks=11675531 nbValidityChecks=23743198 nbPropagations=389264 nbRevisions=4689770
22.46 nbUselessRevisions=3702187 nbAssignments=9591 nbFailedAssignments=5595 nbBacktracks=3876 nbVisitedNodes=17733
22.46 nbRestartNogoods=79
22.46 => wckTime=19.785 cpuTime=19.59 mem=66M54
35.04
35.04 search
35.04 run=13 nbConstraintChecks=19494253 nbValidityChecks=38956079 nbPropagations=589549 nbRevisions=7166730
35.04 nbUselessRevisions=5659801 nbAssignments=14772 nbFailedAssignments=8823 nbBacktracks=5823 nbVisitedNodes=27603
35.04 nbRestartNogoods=95
35.04 => wckTime=32.365 cpuTime=32.11 mem=66M54
53.90
53.90 search
53.90 run=14 nbConstraintChecks=30731641 nbValidityChecks=62184209 nbPropagations=893599 nbRevisions=10952583
53.91 nbUselessRevisions=8653338 nbAssignments=23232 nbFailedAssignments=14355 nbBacktracks=8742 nbVisitedNodes=43509
53.91 nbRestartNogoods=112
53.91 => wckTime=51.226 cpuTime=50.88 mem=66M54
77.27
77.27 search
77.27 run=15 nbConstraintChecks=45520669 nbValidityChecks=91209860 nbPropagations=1347915 nbRevisions=16619849
77.27 nbUselessRevisions=13132178 nbAssignments=35675 nbFailedAssignments=22369 nbBacktracks=13120
77.27 nbVisitedNodes=67015 nbRestartNogoods=126
77.27 => wckTime=74.592 cpuTime=74.13 mem=66M54
109.15
109.16 search
109.16 run=16 nbConstraintChecks=64732110 nbValidityChecks=130510355 nbPropagations=2030070 nbRevisions=24944740
109.16 nbUselessRevisions=19700201 nbAssignments=51687 nbFailedAssignments=31804 nbBacktracks=19688
109.16 nbVisitedNodes=96965 nbRestartNogoods=141
109.16 => wckTime=106.476 cpuTime=105.86 mem=66M54
156.41
156.41 search
156.41 run=17 nbConstraintChecks=92951510 nbValidityChecks=188255343 nbPropagations=3050280 nbRevisions=37155260
156.41 nbUselessRevisions=29319946 nbAssignments=74855 nbFailedAssignments=45070 nbBacktracks=29540
156.41 nbVisitedNodes=139998 nbRestartNogoods=160
156.41 => wckTime=153.728 cpuTime=152.88 mem=66M54
241.65
241.65 search
241.65 run=18 nbConstraintChecks=143536905 nbValidityChecks=289730497 nbPropagations=4524876 nbRevisions=55280887
241.65 nbUselessRevisions=43671161 nbAssignments=109140 nbFailedAssignments=64570 nbBacktracks=44319
241.65 nbVisitedNodes=203491 nbRestartNogoods=185
241.65 => wckTime=238.974 cpuTime=237.72 mem=66M54
359.43
359.43 search
359.43 run=19 nbConstraintChecks=218449161 nbValidityChecks=442119413 nbPropagations=6799344 nbRevisions=83205556
359.43 nbUselessRevisions=65737871 nbAssignments=168198 nbFailedAssignments=101418 nbBacktracks=66490
359.43 nbVisitedNodes=315025 nbRestartNogoods=217
359.43 => wckTime=356.749 cpuTime=355.21 mem=66M54
495.14
495.14 search
495.14 run=20 nbConstraintChecks=310057316 nbValidityChecks=628190868 nbPropagations=10072301 nbRevisions=123225088
495.14 nbUselessRevisions=97387187 nbAssignments=251305 nbFailedAssignments=151265 nbBacktracks=99742
495.14 nbVisitedNodes=468665 nbRestartNogoods=232
495.14 => wckTime=492.458 cpuTime=490.77 mem=66M54
753.92
753.92 search
753.92 run=21 nbConstraintChecks=482654119 nbValidityChecks=960483001 nbPropagations=15045633 nbRevisions=184063913
753.92 nbUselessRevisions=145457172 nbAssignments=373948 nbFailedAssignments=223999 nbBacktracks=149621
753.92 nbVisitedNodes=698131 nbRestartNogoods=260
753.92 => wckTime=751.246 cpuTime=748.63 mem=66M54
1107.88
1107.88 search
1107.88 run=22 nbConstraintChecks=711872713 nbValidityChecks=1426110286 nbPropagations=22628270 nbRevisions=275524264
1107.88 nbUselessRevisions=217593789 nbAssignments=557787 nbFailedAssignments=333000 nbBacktracks=224439
1107.88 nbVisitedNodes=1042029 nbRestartNogoods=271
1107.88 => wckTime=1105.201 cpuTime=1100.91 mem=66M54
1772.92
1772.92 search
1772.92 run=23 nbConstraintChecks=1138838412 nbValidityChecks=2301666170 nbPropagations=34092295 nbRevisions=416743137
1772.92 nbUselessRevisions=328996062 nbAssignments=861243 nbFailedAssignments=524221 nbBacktracks=336667
1772.92 nbVisitedNodes=1610315 nbRestartNogoods=293
1772.92 => wckTime=1770.24 cpuTime=1762.62 mem=66M54
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node43/watcher-206709-1168176889 -o ROOT/results/node43/solver-206709-1168176889 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/206709-1168176889/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: 2.00 2.00 1.94 4/82 10807
/proc/meminfo: memFree=884616/2055920 swapFree=4192812/4192956
[pid=10806] ppid=10804 vsize=9948 CPUtime=0
/proc/10806/stat : 10806 (java) S 10804 10806 10203 0 -1 0 723 0 0 0 0 0 0 0 18 0 1 0 166088005 10186752 472 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 7368 0 0 0 17 1 0 0
/proc/10806/statm: 2487 472 386 14 0 1142 0
[startup+0.103403 s]
/proc/loadavg: 2.00 2.00 1.94 4/82 10807
/proc/meminfo: memFree=884616/2055920 swapFree=4192812/4192956
[pid=10806] ppid=10804 vsize=914988 CPUtime=0.09
/proc/10806/stat : 10806 (java) R 10804 10806 10203 0 -1 0 2981 0 1 0 7 2 0 0 19 0 8 0 166088005 936947712 2727 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153609670 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10806/statm: 228747 2727 1423 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.511469 s]
/proc/loadavg: 2.00 2.00 1.94 4/82 10807
/proc/meminfo: memFree=884616/2055920 swapFree=4192812/4192956
[pid=10806] ppid=10804 vsize=915328 CPUtime=0.48
/proc/10806/stat : 10806 (java) R 10804 10806 10203 0 -1 0 7386 0 1 0 44 4 0 0 18 0 8 0 166088005 937295872 7125 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155769989 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10806/statm: 228832 7125 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915328
[startup+1.33861 s]
/proc/loadavg: 2.00 2.00 1.94 3/89 10814
/proc/meminfo: memFree=817488/2055920 swapFree=4192812/4192956
[pid=10806] ppid=10804 vsize=915328 CPUtime=1.31
/proc/10806/stat : 10806 (java) R 10804 10806 10203 0 -1 0 19099 0 1 0 121 10 0 0 25 0 8 0 166088005 937295872 18837 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073565569 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10806/statm: 228832 18837 2149 14 0 215302 0
[pid=10806/tid=10808] ppid=10804 vsize=915328 CPUtime=0.06
/proc/10806/task/10808/stat : 10808 (java) S 10804 10806 10203 0 -1 64 2681 0 0 0 5 1 0 0 17 0 8 0 166088009 937295872 18837 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10806/tid=10809] ppid=10804 vsize=915328 CPUtime=0
/proc/10806/task/10809/stat : 10809 (java) S 10804 10806 10203 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166088010 937295872 18837 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10806/tid=10810] ppid=10804 vsize=915328 CPUtime=0
/proc/10806/task/10810/stat : 10810 (java) S 10804 10806 10203 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 166088010 937295872 18837 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10806/tid=10811] ppid=10804 vsize=915328 CPUtime=0
/proc/10806/task/10811/stat : 10811 (java) S 10804 10806 10203 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 166088013 937295872 18837 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10806/tid=10812] ppid=10804 vsize=915328 CPUtime=0.07
/proc/10806/task/10812/stat : 10812 (java) S 10804 10806 10203 0 -1 64 308 0 0 0 7 0 0 0 16 0 8 0 166088013 937295872 18837 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10806/tid=10813] ppid=10804 vsize=915328 CPUtime=0
/proc/10806/task/10813/stat : 10813 (java) S 10804 10806 10203 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 166088013 937295872 18837 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10806/tid=10814] ppid=10804 vsize=915328 CPUtime=0
/proc/10806/task/10814/stat : 10814 (java) S 10804 10806 10203 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 166088013 937295872 18837 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915328
[startup+2.98088 s]
/proc/loadavg: 2.00 2.00 1.94 4/89 10814
/proc/meminfo: memFree=776848/2055920 swapFree=4192812/4192956
[pid=10806] ppid=10804 vsize=915440 CPUtime=2.95
/proc/10806/stat : 10806 (java) R 10804 10806 10203 0 -1 0 32442 0 1 0 278 17 0 0 25 0 8 0 166088005 937410560 32177 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073634812 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10806/statm: 228860 32177 2531 14 0 215330 0
[pid=10806/tid=10808] ppid=10804 vsize=915440 CPUtime=0.45
/proc/10806/task/10808/stat : 10808 (java) S 10804 10806 10203 0 -1 64 15452 0 0 0 39 6 0 0 17 0 8 0 166088009 937410560 32177 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10806/tid=10809] ppid=10804 vsize=915440 CPUtime=0
/proc/10806/task/10809/stat : 10809 (java) S 10804 10806 10203 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166088010 937410560 32177 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10806/tid=10810] ppid=10804 vsize=915440 CPUtime=0
/proc/10806/task/10810/stat : 10810 (java) S 10804 10806 10203 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 166088010 937410560 32177 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10806/tid=10811] ppid=10804 vsize=915440 CPUtime=0
/proc/10806/task/10811/stat : 10811 (java) S 10804 10806 10203 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 166088013 937410560 32177 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10806/tid=10812] ppid=10804 vsize=915440 CPUtime=0.19
/proc/10806/task/10812/stat : 10812 (java) S 10804 10806 10203 0 -1 64 373 0 0 0 18 1 0 0 15 0 8 0 166088013 937410560 32177 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10806/tid=10813] ppid=10804 vsize=915440 CPUtime=0
/proc/10806/task/10813/stat : 10813 (java) S 10804 10806 10203 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 166088013 937410560 32177 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10806/tid=10814] ppid=10804 vsize=915440 CPUtime=0
/proc/10806/task/10814/stat : 10814 (java) S 10804 10806 10203 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 166088013 937410560 32177 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 915440
[startup+6.27843 s]
/proc/loadavg: 2.08 2.02 1.95 3/89 10814
/proc/meminfo: memFree=765328/2055920 swapFree=4192812/4192956
[pid=10806] ppid=10804 vsize=915440 CPUtime=6.22
/proc/10806/stat : 10806 (java) R 10804 10806 10203 0 -1 0 32464 0 1 0 605 17 0 0 25 0 8 0 166088005 937410560 32196 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073660020 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10806/statm: 228860 32196 2531 14 0 215330 0
[pid=10806/tid=10808] ppid=10804 vsize=915440 CPUtime=0.45
/proc/10806/task/10808/stat : 10808 (java) S 10804 10806 10203 0 -1 64 15452 0 0 0 39 6 0 0 17 0 8 0 166088009 937410560 32196 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10806/tid=10809] ppid=10804 vsize=915440 CPUtime=0
/proc/10806/task/10809/stat : 10809 (java) S 10804 10806 10203 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166088010 937410560 32196 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10806/tid=10810] ppid=10804 vsize=915440 CPUtime=0
/proc/10806/task/10810/stat : 10810 (java) S 10804 10806 10203 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 166088010 937410560 32196 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10806/tid=10811] ppid=10804 vsize=915440 CPUtime=0
/proc/10806/task/10811/stat : 10811 (java) S 10804 10806 10203 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 166088013 937410560 32196 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10806/tid=10812] ppid=10804 vsize=915440 CPUtime=0.24
/proc/10806/task/10812/stat : 10812 (java) S 10804 10806 10203 0 -1 64 394 0 0 0 23 1 0 0 16 0 8 0 166088013 937410560 32196 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10806/tid=10813] ppid=10804 vsize=915440 CPUtime=0
/proc/10806/task/10813/stat : 10813 (java) S 10804 10806 10203 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 166088013 937410560 32196 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10806/tid=10814] ppid=10804 vsize=915440 CPUtime=0
/proc/10806/task/10814/stat : 10814 (java) S 10804 10806 10203 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 166088013 937410560 32196 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 915440
[startup+12.7655 s]
/proc/loadavg: 2.07 2.02 1.95 3/89 10814
/proc/meminfo: memFree=765328/2055920 swapFree=4192812/4192956
[pid=10806] ppid=10804 vsize=915440 CPUtime=12.68
/proc/10806/stat : 10806 (java) R 10804 10806 10203 0 -1 0 32473 0 1 0 1251 17 0 0 25 0 8 0 166088005 937410560 32202 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073660020 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10806/statm: 228860 32202 2531 14 0 215330 0
[pid=10806/tid=10808] ppid=10804 vsize=915440 CPUtime=0.45
/proc/10806/task/10808/stat : 10808 (java) S 10804 10806 10203 0 -1 64 15452 0 0 0 39 6 0 0 16 0 8 0 166088009 937410560 32202 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10806/tid=10809] ppid=10804 vsize=915440 CPUtime=0
/proc/10806/task/10809/stat : 10809 (java) S 10804 10806 10203 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166088010 937410560 32202 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10806/tid=10810] ppid=10804 vsize=915440 CPUtime=0
/proc/10806/task/10810/stat : 10810 (java) S 10804 10806 10203 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 166088010 937410560 32202 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10806/tid=10811] ppid=10804 vsize=915440 CPUtime=0
/proc/10806/task/10811/stat : 10811 (java) S 10804 10806 10203 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 166088013 937410560 32202 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10806/tid=10812] ppid=10804 vsize=915440 CPUtime=0.25
/proc/10806/task/10812/stat : 10812 (java) S 10804 10806 10203 0 -1 64 402 0 0 0 24 1 0 0 16 0 8 0 166088013 937410560 32202 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10806/tid=10813] ppid=10804 vsize=915440 CPUtime=0
/proc/10806/task/10813/stat : 10813 (java) S 10804 10806 10203 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 166088013 937410560 32202 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10806/tid=10814] ppid=10804 vsize=915440 CPUtime=0
/proc/10806/task/10814/stat : 10814 (java) S 10804 10806 10203 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 166088013 937410560 32202 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 915440
[startup+25.6266 s]
/proc/loadavg: 2.06 2.01 1.95 3/89 10814
/proc/meminfo: memFree=765520/2055920 swapFree=4192812/4192956
[pid=10806] ppid=10804 vsize=915440 CPUtime=25.48
/proc/10806/stat : 10806 (java) R 10804 10806 10203 0 -1 0 32475 0 1 0 2531 17 0 0 25 0 8 0 166088005 937410560 32204 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073629912 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10806/statm: 228860 32204 2531 14 0 215330 0
[pid=10806/tid=10808] ppid=10804 vsize=915440 CPUtime=0.45
/proc/10806/task/10808/stat : 10808 (java) S 10804 10806 10203 0 -1 64 15452 0 0 0 39 6 0 0 16 0 8 0 166088009 937410560 32204 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10806/tid=10809] ppid=10804 vsize=915440 CPUtime=0
/proc/10806/task/10809/stat : 10809 (java) S 10804 10806 10203 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166088010 937410560 32204 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10806/tid=10810] ppid=10804 vsize=915440 CPUtime=0
/proc/10806/task/10810/stat : 10810 (java) S 10804 10806 10203 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 166088010 937410560 32204 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10806/tid=10811] ppid=10804 vsize=915440 CPUtime=0
/proc/10806/task/10811/stat : 10811 (java) S 10804 10806 10203 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 166088013 937410560 32204 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10806/tid=10812] ppid=10804 vsize=915440 CPUtime=0.26
/proc/10806/task/10812/stat : 10812 (java) S 10804 10806 10203 0 -1 64 404 0 0 0 25 1 0 0 15 0 8 0 166088013 937410560 32204 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10806/tid=10813] ppid=10804 vsize=915440 CPUtime=0
/proc/10806/task/10813/stat : 10813 (java) S 10804 10806 10203 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 166088013 937410560 32204 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10806/tid=10814] ppid=10804 vsize=915440 CPUtime=0
/proc/10806/task/10814/stat : 10814 (java) S 10804 10806 10203 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 166088013 937410560 32204 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 915440
[startup+51.2609 s]
/proc/loadavg: 2.04 2.01 1.95 3/89 10814
/proc/meminfo: memFree=765584/2055920 swapFree=4192812/4192956
[pid=10806] ppid=10804 vsize=915440 CPUtime=50.98
/proc/10806/stat : 10806 (java) R 10804 10806 10203 0 -1 0 32475 0 1 0 5081 17 0 0 25 0 8 0 166088005 937410560 32204 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073797400 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10806/statm: 228860 32204 2531 14 0 215330 0
[pid=10806/tid=10808] ppid=10804 vsize=915440 CPUtime=0.45
/proc/10806/task/10808/stat : 10808 (java) S 10804 10806 10203 0 -1 64 15452 0 0 0 39 6 0 0 16 0 8 0 166088009 937410560 32204 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10806/tid=10809] ppid=10804 vsize=915440 CPUtime=0
/proc/10806/task/10809/stat : 10809 (java) S 10804 10806 10203 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166088010 937410560 32204 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10806/tid=10810] ppid=10804 vsize=915440 CPUtime=0
/proc/10806/task/10810/stat : 10810 (java) S 10804 10806 10203 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 166088010 937410560 32204 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10806/tid=10811] ppid=10804 vsize=915440 CPUtime=0
/proc/10806/task/10811/stat : 10811 (java) S 10804 10806 10203 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 166088013 937410560 32204 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10806/tid=10812] ppid=10804 vsize=915440 CPUtime=0.26
/proc/10806/task/10812/stat : 10812 (java) S 10804 10806 10203 0 -1 64 404 0 0 0 25 1 0 0 15 0 8 0 166088013 937410560 32204 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10806/tid=10813] ppid=10804 vsize=915440 CPUtime=0
/proc/10806/task/10813/stat : 10813 (java) S 10804 10806 10203 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 166088013 937410560 32204 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10806/tid=10814] ppid=10804 vsize=915440 CPUtime=0
/proc/10806/task/10814/stat : 10814 (java) S 10804 10806 10203 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 166088013 937410560 32204 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.98
Current children cumulated vsize (KiB) 915440
[startup+102.527 s]
/proc/loadavg: 2.01 2.01 1.95 3/89 10814
/proc/meminfo: memFree=765648/2055920 swapFree=4192812/4192956
[pid=10806] ppid=10804 vsize=915440 CPUtime=102
/proc/10806/stat : 10806 (java) R 10804 10806 10203 0 -1 0 32475 0 1 0 10183 17 0 0 25 0 8 0 166088005 937410560 32204 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073660020 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10806/statm: 228860 32204 2531 14 0 215330 0
[pid=10806/tid=10808] ppid=10804 vsize=915440 CPUtime=0.45
/proc/10806/task/10808/stat : 10808 (java) S 10804 10806 10203 0 -1 64 15452 0 0 0 39 6 0 0 16 0 8 0 166088009 937410560 32204 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10806/tid=10809] ppid=10804 vsize=915440 CPUtime=0
/proc/10806/task/10809/stat : 10809 (java) S 10804 10806 10203 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166088010 937410560 32204 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10806/tid=10810] ppid=10804 vsize=915440 CPUtime=0
/proc/10806/task/10810/stat : 10810 (java) S 10804 10806 10203 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 166088010 937410560 32204 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10806/tid=10811] ppid=10804 vsize=915440 CPUtime=0
/proc/10806/task/10811/stat : 10811 (java) S 10804 10806 10203 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 166088013 937410560 32204 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10806/tid=10812] ppid=10804 vsize=915440 CPUtime=0.26
/proc/10806/task/10812/stat : 10812 (java) S 10804 10806 10203 0 -1 64 404 0 0 0 25 1 0 0 16 0 8 0 166088013 937410560 32204 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10806/tid=10813] ppid=10804 vsize=915440 CPUtime=0
/proc/10806/task/10813/stat : 10813 (java) S 10804 10806 10203 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 166088013 937410560 32204 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10806/tid=10814] ppid=10804 vsize=915440 CPUtime=0
/proc/10806/task/10814/stat : 10814 (java) S 10804 10806 10203 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 166088013 937410560 32204 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 102
Current children cumulated vsize (KiB) 915440
[startup+162.538 s]
/proc/loadavg: 2.04 2.02 1.95 3/89 10814
/proc/meminfo: memFree=765648/2055920 swapFree=4192812/4192956
[pid=10806] ppid=10804 vsize=915440 CPUtime=161.73
/proc/10806/stat : 10806 (java) R 10804 10806 10203 0 -1 0 32476 0 1 0 16155 18 0 0 25 0 8 0 166088005 937410560 32204 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073815757 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 1417.15
Current children cumulated vsize (KiB) 915440
[startup+1482.88 s]
/proc/loadavg: 2.03 2.02 1.98 3/87 10872
/proc/meminfo: memFree=1189808/2055920 swapFree=4192812/4192956
[pid=10806] ppid=10804 vsize=915440 CPUtime=1476.87
/proc/10806/stat : 10806 (java) R 10804 10806 10203 0 -1 0 32477 0 1 0 147656 31 0 0 25 0 8 0 166088005 937410560 32205 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073634819 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/10806/statm: 228860 32205 2531 14 0 215330 0
[pid=10806/tid=10808] ppid=10804 vsize=915440 CPUtime=0.45
/proc/10806/task/10808/stat : 10808 (java) S 10804 10806 10203 0 -1 64 15452 0 0 0 39 6 0 0 16 0 8 0 166088009 937410560 32205 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10806/tid=10809] ppid=10804 vsize=915440 CPUtime=0
/proc/10806/task/10809/stat : 10809 (java) S 10804 10806 10203 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166088010 937410560 32205 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10806/tid=10810] ppid=10804 vsize=915440 CPUtime=0
/proc/10806/task/10810/stat : 10810 (java) S 10804 10806 10203 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 166088010 937410560 32205 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10806/tid=10811] ppid=10804 vsize=915440 CPUtime=0
/proc/10806/task/10811/stat : 10811 (java) S 10804 10806 10203 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 166088013 937410560 32205 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10806/tid=10812] ppid=10804 vsize=915440 CPUtime=0.26
/proc/10806/task/10812/stat : 10812 (java) S 10804 10806 10203 0 -1 64 405 0 0 0 25 1 0 0 16 0 8 0 166088013 937410560 32205 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10806/tid=10813] ppid=10804 vsize=915440 CPUtime=0
/proc/10806/task/10813/stat : 10813 (java) S 10804 10806 10203 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 166088013 937410560 32205 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10806/tid=10814] ppid=10804 vsize=915440 CPUtime=0
/proc/10806/task/10814/stat : 10814 (java) S 10804 10806 10203 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 166088013 937410560 32205 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1476.87
Current children cumulated vsize (KiB) 915440
[startup+1542.88 s]
/proc/loadavg: 2.08 2.04 1.99 3/87 10872
/proc/meminfo: memFree=1189808/2055920 swapFree=4192812/4192956
[pid=10806] ppid=10804 vsize=915440 CPUtime=1536.57
/proc/10806/stat : 10806 (java) R 10804 10806 10203 0 -1 0 32477 0 1 0 153625 32 0 0 25 0 8 0 166088005 937410560 32205 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073857435 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/10806/statm: 228860 32205 2531 14 0 215330 0
[pid=10806/tid=10808] ppid=10804 vsize=915440 CPUtime=0.45
/proc/10806/task/10808/stat : 10808 (java) S 10804 10806 10203 0 -1 64 15452 0 0 0 39 6 0 0 16 0 8 0 166088009 937410560 32205 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10806/tid=10809] ppid=10804 vsize=915440 CPUtime=0
/proc/10806/task/10809/stat : 10809 (java) S 10804 10806 10203 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166088010 937410560 32205 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10806/tid=10810] ppid=10804 vsize=915440 CPUtime=0
/proc/10806/task/10810/stat : 10810 (java) S 10804 10806 10203 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 166088010 937410560 32205 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10806/tid=10811] ppid=10804 vsize=915440 CPUtime=0
/proc/10806/task/10811/stat : 10811 (java) S 10804 10806 10203 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 166088013 937410560 32205 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10806/tid=10812] ppid=10804 vsize=915440 CPUtime=0.26
/proc/10806/task/10812/stat : 10812 (java) S 10804 10806 10203 0 -1 64 405 0 0 0 25 1 0 0 16 0 8 0 166088013 937410560 32205 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10806/tid=10813] ppid=10804 vsize=915440 CPUtime=0
/proc/10806/task/10813/stat : 10813 (java) S 10804 10806 10203 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 166088013 937410560 32205 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10806/tid=10814] ppid=10804 vsize=915440 CPUtime=0
/proc/10806/task/10814/stat : 10814 (java) S 10804 10806 10203 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 166088013 937410560 32205 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1536.57
Current children cumulated vsize (KiB) 915440
[startup+1602.9 s]
/proc/loadavg: 2.16 2.06 2.00 3/93 10988
/proc/meminfo: memFree=1188448/2055920 swapFree=4192812/4192956
[pid=10806] ppid=10804 vsize=915440 CPUtime=1596.25
/proc/10806/stat : 10806 (java) R 10804 10806 10203 0 -1 0 32477 0 1 0 159586 39 0 0 25 0 8 0 166088005 937410560 32205 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073816991 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/10806/statm: 228860 32205 2531 14 0 215330 0
[pid=10806/tid=10808] ppid=10804 vsize=915440 CPUtime=0.45
/proc/10806/task/10808/stat : 10808 (java) S 10804 10806 10203 0 -1 64 15452 0 0 0 39 6 0 0 16 0 8 0 166088009 937410560 32205 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10806/tid=10809] ppid=10804 vsize=915440 CPUtime=0
/proc/10806/task/10809/stat : 10809 (java) S 10804 10806 10203 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166088010 937410560 32205 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10806/tid=10810] ppid=10804 vsize=915440 CPUtime=0
/proc/10806/task/10810/stat : 10810 (java) S 10804 10806 10203 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 166088010 937410560 32205 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10806/tid=10811] ppid=10804 vsize=915440 CPUtime=0
/proc/10806/task/10811/stat : 10811 (java) S 10804 10806 10203 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 166088013 937410560 32205 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10806/tid=10812] ppid=10804 vsize=915440 CPUtime=0.26
/proc/10806/task/10812/stat : 10812 (java) S 10804 10806 10203 0 -1 64 405 0 0 0 25 1 0 0 16 0 8 0 166088013 937410560 32205 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10806/tid=10813] ppid=10804 vsize=915440 CPUtime=0
/proc/10806/task/10813/stat : 10813 (java) S 10804 10806 10203 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 166088013 937410560 32205 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10806/tid=10814] ppid=10804 vsize=915440 CPUtime=0
/proc/10806/task/10814/stat : 10814 (java) S 10804 10806 10203 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 166088013 937410560 32205 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1596.25
Current children cumulated vsize (KiB) 915440
[startup+1662.94 s]
/proc/loadavg: 2.06 2.05 2.00 3/93 11048
/proc/meminfo: memFree=1188408/2055920 swapFree=4192812/4192956
[pid=10806] ppid=10804 vsize=915440 CPUtime=1655.95
/proc/10806/stat : 10806 (java) R 10804 10806 10203 0 -1 0 32477 0 1 0 165547 48 0 0 25 0 8 0 166088005 937410560 32205 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073799045 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/10806/statm: 228860 32205 2531 14 0 215330 0
[pid=10806/tid=10808] ppid=10804 vsize=915440 CPUtime=0.45
/proc/10806/task/10808/stat : 10808 (java) S 10804 10806 10203 0 -1 64 15452 0 0 0 39 6 0 0 16 0 8 0 166088009 937410560 32205 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10806/tid=10809] ppid=10804 vsize=915440 CPUtime=0
/proc/10806/task/10809/stat : 10809 (java) S 10804 10806 10203 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166088010 937410560 32205 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10806/tid=10810] ppid=10804 vsize=915440 CPUtime=0
/proc/10806/task/10810/stat : 10810 (java) S 10804 10806 10203 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 166088010 937410560 32205 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10806/tid=10811] ppid=10804 vsize=915440 CPUtime=0
/proc/10806/task/10811/stat : 10811 (java) S 10804 10806 10203 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 166088013 937410560 32205 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10806/tid=10812] ppid=10804 vsize=915440 CPUtime=0.26
/proc/10806/task/10812/stat : 10812 (java) S 10804 10806 10203 0 -1 64 405 0 0 0 25 1 0 0 16 0 8 0 166088013 937410560 32205 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10806/tid=10813] ppid=10804 vsize=915440 CPUtime=0
/proc/10806/task/10813/stat : 10813 (java) S 10804 10806 10203 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 166088013 937410560 32205 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10806/tid=10814] ppid=10804 vsize=915440 CPUtime=0
/proc/10806/task/10814/stat : 10814 (java) S 10804 10806 10203 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 166088013 937410560 32205 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1655.95
Current children cumulated vsize (KiB) 915440
[startup+1722.95 s]
/proc/loadavg: 2.02 2.03 2.00 3/87 11070
/proc/meminfo: memFree=1189424/2055920 swapFree=4192812/4192956
[pid=10806] ppid=10804 vsize=915440 CPUtime=1715.63
/proc/10806/stat : 10806 (java) R 10804 10806 10203 0 -1 0 32477 0 1 0 171514 49 0 0 25 0 8 0 166088005 937410560 32205 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073634812 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/10806/statm: 228860 32205 2531 14 0 215330 0
[pid=10806/tid=10808] ppid=10804 vsize=915440 CPUtime=0.45
/proc/10806/task/10808/stat : 10808 (java) S 10804 10806 10203 0 -1 64 15452 0 0 0 39 6 0 0 16 0 8 0 166088009 937410560 32205 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10806/tid=10809] ppid=10804 vsize=915440 CPUtime=0
/proc/10806/task/10809/stat : 10809 (java) S 10804 10806 10203 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166088010 937410560 32205 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10806/tid=10810] ppid=10804 vsize=915440 CPUtime=0
/proc/10806/task/10810/stat : 10810 (java) S 10804 10806 10203 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 166088010 937410560 32205 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10806/tid=10811] ppid=10804 vsize=915440 CPUtime=0
/proc/10806/task/10811/stat : 10811 (java) S 10804 10806 10203 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 166088013 937410560 32205 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10806/tid=10812] ppid=10804 vsize=915440 CPUtime=0.26
/proc/10806/task/10812/stat : 10812 (java) S 10804 10806 10203 0 -1 64 405 0 0 0 25 1 0 0 16 0 8 0 166088013 937410560 32205 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10806/tid=10813] ppid=10804 vsize=915440 CPUtime=0
/proc/10806/task/10813/stat : 10813 (java) S 10804 10806 10203 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 166088013 937410560 32205 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10806/tid=10814] ppid=10804 vsize=915440 CPUtime=0
/proc/10806/task/10814/stat : 10814 (java) S 10804 10806 10203 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 166088013 937410560 32205 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1715.63
Current children cumulated vsize (KiB) 915440
[startup+1782.95 s]
/proc/loadavg: 2.00 2.03 2.00 3/87 11070
/proc/meminfo: memFree=1189424/2055920 swapFree=4192812/4192956
[pid=10806] ppid=10804 vsize=915440 CPUtime=1775.34
/proc/10806/stat : 10806 (java) R 10804 10806 10203 0 -1 0 32477 0 1 0 177485 49 0 0 25 0 8 0 166088005 937410560 32205 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073660004 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/10806/statm: 228860 32205 2531 14 0 215330 0
[pid=10806/tid=10808] ppid=10804 vsize=915440 CPUtime=0.45
/proc/10806/task/10808/stat : 10808 (java) S 10804 10806 10203 0 -1 64 15452 0 0 0 39 6 0 0 16 0 8 0 166088009 937410560 32205 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10806/tid=10809] ppid=10804 vsize=915440 CPUtime=0
/proc/10806/task/10809/stat : 10809 (java) S 10804 10806 10203 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166088010 937410560 32205 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10806/tid=10810] ppid=10804 vsize=915440 CPUtime=0
/proc/10806/task/10810/stat : 10810 (java) S 10804 10806 10203 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 166088010 937410560 32205 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10806/tid=10811] ppid=10804 vsize=915440 CPUtime=0
/proc/10806/task/10811/stat : 10811 (java) S 10804 10806 10203 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 166088013 937410560 32205 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10806/tid=10812] ppid=10804 vsize=915440 CPUtime=0.26
/proc/10806/task/10812/stat : 10812 (java) S 10804 10806 10203 0 -1 64 405 0 0 0 25 1 0 0 16 0 8 0 166088013 937410560 32205 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10806/tid=10813] ppid=10804 vsize=915440 CPUtime=0
/proc/10806/task/10813/stat : 10813 (java) S 10804 10806 10203 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 166088013 937410560 32205 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10806/tid=10814] ppid=10804 vsize=915440 CPUtime=0
/proc/10806/task/10814/stat : 10814 (java) S 10804 10806 10203 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 166088013 937410560 32205 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1775.34
Current children cumulated vsize (KiB) 915440
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1807.75 s]
/proc/loadavg: 2.00 2.02 2.00 3/87 11070
/proc/meminfo: memFree=1189424/2055920 swapFree=4192812/4192956
[pid=10806] ppid=10804 vsize=915440 CPUtime=1800.04
/proc/10806/stat : 10806 (java) R 10804 10806 10203 0 -1 0 32477 0 1 0 179954 50 0 0 25 0 8 0 166088005 937410560 32205 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073820076 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/10806/statm: 228860 32205 2531 14 0 215330 0
[pid=10806/tid=10808] ppid=10804 vsize=915440 CPUtime=0.45
/proc/10806/task/10808/stat : 10808 (java) S 10804 10806 10203 0 -1 64 15452 0 0 0 39 6 0 0 16 0 8 0 166088009 937410560 32205 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10806/tid=10809] ppid=10804 vsize=915440 CPUtime=0
/proc/10806/task/10809/stat : 10809 (java) S 10804 10806 10203 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166088010 937410560 32205 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10806/tid=10810] ppid=10804 vsize=915440 CPUtime=0
/proc/10806/task/10810/stat : 10810 (java) S 10804 10806 10203 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 166088010 937410560 32205 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10806/tid=10811] ppid=10804 vsize=915440 CPUtime=0
/proc/10806/task/10811/stat : 10811 (java) S 10804 10806 10203 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 166088013 937410560 32205 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10806/tid=10812] ppid=10804 vsize=915440 CPUtime=0.26
/proc/10806/task/10812/stat : 10812 (java) S 10804 10806 10203 0 -1 64 405 0 0 0 25 1 0 0 16 0 8 0 166088013 937410560 32205 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10806/tid=10813] ppid=10804 vsize=915440 CPUtime=0
/proc/10806/task/10813/stat : 10813 (java) S 10804 10806 10203 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 166088013 937410560 32205 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10806/tid=10814] ppid=10804 vsize=915440 CPUtime=0
/proc/10806/task/10814/stat : 10814 (java) S 10804 10806 10203 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 166088013 937410560 32205 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 915440
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 1807.82
CPU time (s): 1800.1
CPU user time (s): 1799.58
CPU system time (s): 0.52192
CPU usage (%): 99.5731
Max. virtual memory (cumulated for all children) (KiB): 915440
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.58
system time used= 0.52192
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32494
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= 37771
involuntary context switches= 30344
runsolver used 2.37964 s user time and 5.64114 s system time
The end
Begin job on node43 on Sun Jan 7 13:34:49 UTC 2007
IDJOB= 206709
IDBENCH= 4229
FILE ID= node43/206709-1168176889
PBS_JOBID= 3479087
Free space on /tmp= 66478 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-3-28-28/rand-3-28-28-93-632-6_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/206709-1168176889/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node43/watcher-206709-1168176889 -o ROOT/results/node43/solver-206709-1168176889 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/206709-1168176889/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 1d6ae9698ff97a2707a045a26f8d044a
RANDOM SEED= 711492556
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.278
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.278
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: 885096 kB
Buffers: 41544 kB
Cached: 498036 kB
SwapCached: 0 kB
Active: 637524 kB
Inactive: 470476 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 885096 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 7476 kB
Writeback: 0 kB
Mapped: 587560 kB
Slab: 47064 kB
Committed_AS: 4120692 kB
PageTables: 2932 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= 66479 MiB
End job on node43 on Sun Jan 7 14:04:57 UTC 2007