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/194338-1168099856/unknown.xml
0.38
0.38 domains being loaded...
0.38
0.38 variables being loaded...
0.42 nbVariables=50 nbDomainTypes=1 minDomainSize=23 maxDomainSize=23
0.42 => wckTime=0.101 cpuTime=0.09 mem=6M951
0.42
0.42 relations being loaded...
0.57
0.57 constraints being loaded...
0.71 nbConstraints=466 nbRelationTypes=466 nbExtensionStructures=466 nbSharedExtensionStructures=0
0.71 nbConflictsStructures=466 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=2421 maxDegree=25
0.71 maxArity=2
0.71 => wckTime=0.385 cpuTime=0.3 mem=17M695
0.75
0.75 solver IterativeSystematicSolver being built...
0.91 => wckTime=0.591 cpuTime=0.43 mem=15M579
0.98
0.98 preprocessing
0.98 nbConstraintChecks=110349 nbPropagations=1241 nbRevisions=10775 nbUselessRevisions=9231 nbSingletonTests=62
0.98 nbEffectiveSingletonTests=0 nbESACBranches=5 nbRemovedValues=0 detectedInconsistency=no
0.98 => wckTime=0.06 cpuTime=0.04 mem=15M579
1.00
1.00 search
1.00 run=0 nbConstraintChecks=47463 nbPropagations=1831 nbRevisions=18219 nbUselessRevisions=15282 nbAssignments=28
1.00 nbFailedAssignments=7 nbBacktracks=10 nbVisitedNodes=44 nbRestartNogoods=0 mapSize=9 nbInferences=0
1.00 nbTooLargeKeys=0
1.00 => wckTime=0.089 cpuTime=0.05 mem=15M579
1.03
1.03 search
1.03 run=1 nbConstraintChecks=105559 nbPropagations=4372 nbRevisions=45760 nbUselessRevisions=38278
1.03 nbAssignments=63 nbFailedAssignments=16 nbBacktracks=26 nbVisitedNodes=99 nbRestartNogoods=2 mapSize=23
1.03 nbInferences=0 nbTooLargeKeys=0
1.03 => wckTime=0.111 cpuTime=0.07 mem=15M579
1.04
1.04 search
1.04 run=2 nbConstraintChecks=183208 nbPropagations=7810 nbRevisions=85677 nbUselessRevisions=71400
1.04 nbAssignments=108 nbFailedAssignments=29 nbBacktracks=50 nbVisitedNodes=170 nbRestartNogoods=4 mapSize=43
1.04 nbInferences=0 nbTooLargeKeys=0
1.04 => wckTime=0.126 cpuTime=0.08 mem=15M579
1.06
1.06 search
1.06 run=3 nbConstraintChecks=294415 nbPropagations=12575 nbRevisions=143846 nbUselessRevisions=119372
1.06 nbAssignments=170 nbFailedAssignments=46 nbBacktracks=83 nbVisitedNodes=271 nbRestartNogoods=5 mapSize=69
1.06 nbInferences=0 nbTooLargeKeys=0
1.06 => wckTime=0.149 cpuTime=0.1 mem=15M579
1.09
1.09 search
1.09 run=4 nbConstraintChecks=423361 nbPropagations=18952 nbRevisions=224914 nbUselessRevisions=186200
1.09 nbAssignments=262 nbFailedAssignments=77 nbBacktracks=134 nbVisitedNodes=417 nbRestartNogoods=10 mapSize=108
1.09 nbInferences=0 nbTooLargeKeys=0
1.09 => wckTime=0.176 cpuTime=0.13 mem=15M579
1.15
1.15 search
1.15 run=5 nbConstraintChecks=661416 nbPropagations=28047 nbRevisions=346676 nbUselessRevisions=286406
1.15 nbAssignments=418 nbFailedAssignments=136 nbBacktracks=209 nbVisitedNodes=662 nbRestartNogoods=15 mapSize=174
1.15 nbInferences=0 nbTooLargeKeys=0
1.15 => wckTime=0.232 cpuTime=0.17 mem=15M579
1.20
1.20 search
1.20 run=6 nbConstraintChecks=956590 nbPropagations=40511 nbRevisions=516728 nbUselessRevisions=425754
1.20 nbAssignments=605 nbFailedAssignments=200 nbBacktracks=322 nbVisitedNodes=962 nbRestartNogoods=20 mapSize=257
1.20 nbInferences=0 nbTooLargeKeys=0
1.20 => wckTime=0.282 cpuTime=0.22 mem=15M579
1.29
1.29 search
1.29 run=7 nbConstraintChecks=1486576 nbPropagations=59034 nbRevisions=777351 nbUselessRevisions=638373
1.29 nbAssignments=920 nbFailedAssignments=335 nbBacktracks=492 nbVisitedNodes=1505 nbRestartNogoods=25 mapSize=403
1.29 nbInferences=0 nbTooLargeKeys=0
1.29 => wckTime=0.372 cpuTime=0.31 mem=15M579
1.40
1.40 search
1.40 run=8 nbConstraintChecks=2148995 nbPropagations=85396 nbRevisions=1160852 nbUselessRevisions=952556
1.40 nbAssignments=1335 nbFailedAssignments=480 nbBacktracks=751 nbVisitedNodes=2198 nbRestartNogoods=29
1.40 mapSize=604 nbInferences=0 nbTooLargeKeys=0
1.41 => wckTime=0.49 cpuTime=0.42 mem=15M579
1.57
1.57 search
1.57 run=9 nbConstraintChecks=3043440 nbPropagations=122509 nbRevisions=1708813 nbUselessRevisions=1401892
1.57 nbAssignments=1929 nbFailedAssignments=678 nbBacktracks=1135 nbVisitedNodes=3189 nbRestartNogoods=36
1.57 mapSize=905 nbInferences=0 nbTooLargeKeys=0
1.57 => wckTime=0.655 cpuTime=0.57 mem=15M579
1.64
1.64 INFO : Stopping hyperNogood (mapSize=1002, nbTooLargekeys=0, mem=15M579)
1.82
1.82 search
1.82 run=10 nbConstraintChecks=4670703 nbPropagations=179071 nbRevisions=2553332 nbUselessRevisions=2094902
1.82 nbAssignments=2935 nbFailedAssignments=1061 nbBacktracks=1711 nbVisitedNodes=4846 nbRestartNogoods=43
1.83 => wckTime=0.91 cpuTime=0.81 mem=15M579
2.11
2.11 search
2.11 run=11 nbConstraintChecks=6505198 nbPropagations=259713 nbRevisions=3759045 nbUselessRevisions=3085113
2.11 nbAssignments=4246 nbFailedAssignments=1494 nbBacktracks=2575 nbVisitedNodes=7040 nbRestartNogoods=47
2.11 => wckTime=1.192 cpuTime=1.1 mem=15M579
2.61
2.61 search
2.61 run=12 nbConstraintChecks=9943485 nbPropagations=380335 nbRevisions=5586588 nbUselessRevisions=4585164
2.61 nbAssignments=6343 nbFailedAssignments=2286 nbBacktracks=3873 nbVisitedNodes=10586 nbRestartNogoods=51
2.61 => wckTime=1.695 cpuTime=1.6 mem=15M579
3.33
3.33 search
3.33 run=13 nbConstraintChecks=14845902 nbPropagations=559661 nbRevisions=8364968 nbUselessRevisions=6874090
3.33 nbAssignments=9455 nbFailedAssignments=3439 nbBacktracks=5819 nbVisitedNodes=15900 nbRestartNogoods=59
3.33 => wckTime=2.417 cpuTime=2.31 mem=15M579
4.40
4.40 search
4.40 run=14 nbConstraintChecks=22229166 nbPropagations=827148 nbRevisions=12500751 nbUselessRevisions=10277875
4.40 nbAssignments=14058 nbFailedAssignments=5113 nbBacktracks=8739 nbVisitedNodes=23676 nbRestartNogoods=66
4.40 => wckTime=3.486 cpuTime=3.37 mem=15M579
6.13
6.13 search
6.13 run=15 nbConstraintChecks=34605589 nbPropagations=1234016 nbRevisions=18795362 nbUselessRevisions=15443307
6.13 nbAssignments=21141 nbFailedAssignments=7806 nbBacktracks=13118 nbVisitedNodes=35791 nbRestartNogoods=68
6.13 => wckTime=5.219 cpuTime=5.09 mem=16M554
8.73
8.73 search
8.73 run=16 nbConstraintChecks=52422070 nbPropagations=1852335 nbRevisions=28543865 nbUselessRevisions=23477089
8.73 nbAssignments=31986 nbFailedAssignments=12071 nbBacktracks=19687 nbVisitedNodes=54628 nbRestartNogoods=78
8.73 => wckTime=7.819 cpuTime=7.67 mem=16M554
12.18
12.18 search
12.18 run=17 nbConstraintChecks=75811806 nbPropagations=2763461 nbRevisions=42689781 nbUselessRevisions=35112977
12.18 nbAssignments=47597 nbFailedAssignments=17803 nbBacktracks=29540 nbVisitedNodes=81105 nbRestartNogoods=84
12.18 => wckTime=11.264 cpuTime=11.09 mem=16M554
17.80
17.80 search
17.80 run=18 nbConstraintChecks=115179935 nbPropagations=4132314 nbRevisions=63969494 nbUselessRevisions=52602820
17.80 nbAssignments=71531 nbFailedAssignments=26946 nbBacktracks=44321 nbVisitedNodes=122190 nbRestartNogoods=91
17.80 => wckTime=16.883 cpuTime=16.66 mem=16M554
25.08
25.08 search
25.08 run=19 nbConstraintChecks=162687264 nbPropagations=6107927 nbRevisions=94559743 nbUselessRevisions=77764650
25.08 nbAssignments=105670 nbFailedAssignments=38902 nbBacktracks=66492 nbVisitedNodes=179346 nbRestartNogoods=97
25.08 => wckTime=24.163 cpuTime=23.84 mem=16M554
37.23
37.23 search
37.23 run=20 nbConstraintChecks=246624117 nbPropagations=9087484 nbRevisions=140597739 nbUselessRevisions=115604543
37.23 nbAssignments=158373 nbFailedAssignments=58344 nbBacktracks=99745 nbVisitedNodes=268896 nbRestartNogoods=111
37.23 => wckTime=36.311 cpuTime=35.88 mem=16M554
54.84
54.84 search
54.84 run=21 nbConstraintChecks=367377062 nbPropagations=13529790 nbRevisions=208883316 nbUselessRevisions=171666558
54.84 nbAssignments=235820 nbFailedAssignments=85902 nbBacktracks=149625 nbVisitedNodes=399578 nbRestartNogoods=125
54.84 => wckTime=53.926 cpuTime=53.33 mem=16M554
82.07
82.07 search
82.07 run=22 nbConstraintChecks=557410943 nbPropagations=20185797 nbRevisions=311135360 nbUselessRevisions=255518076
82.08 nbAssignments=353048 nbFailedAssignments=128302 nbBacktracks=224446 nbVisitedNodes=597137 nbRestartNogoods=136
82.08 => wckTime=81.16 cpuTime=80.29 mem=16M554
124.14
124.14 search
124.14 run=23 nbConstraintChecks=842211782 nbPropagations=30291562 nbRevisions=467842071 nbUselessRevisions=384364620
124.14 nbAssignments=534014 nbFailedAssignments=197029 nbBacktracks=336673 nbVisitedNodes=906445 nbRestartNogoods=151
124.14 => wckTime=123.223 cpuTime=121.94 mem=16M554
185.83
185.83 search
185.83 run=24 nbConstraintChecks=1269572677 nbPropagations=45425284 nbRevisions=702545594 nbUselessRevisions=577220203
185.83 nbAssignments=799070 nbFailedAssignments=293709 nbBacktracks=505015 nbVisitedNodes=1356240 nbRestartNogoods=163
185.83 => wckTime=184.915 cpuTime=183.04 mem=16M554
275.83
275.83 search
275.83 run=25 nbConstraintChecks=1895905077 nbPropagations=67976456 nbRevisions=1048498739
275.83 nbUselessRevisions=860684766 nbAssignments=1193294 nbFailedAssignments=435409 nbBacktracks=757530
275.83 nbVisitedNodes=2017262 nbRestartNogoods=172
275.83 => wckTime=274.916 cpuTime=272.16 mem=16M554
426.04
426.04 search
426.04 run=26 nbConstraintChecks=2940584495 nbPropagations=102497268 nbRevisions=1588045663
426.04 nbUselessRevisions=1304117949 nbAssignments=1813511 nbFailedAssignments=676850 nbBacktracks=1136299
426.04 nbVisitedNodes=3085100 nbRestartNogoods=190
426.04 => wckTime=425.127 cpuTime=420.9 mem=16M554
627.87
627.87 search
627.87 run=27 nbConstraintChecks=4306867836 nbPropagations=153827061 nbRevisions=2385013103
627.87 nbUselessRevisions=1959105146 nbAssignments=2707863 nbFailedAssignments=1003040 nbBacktracks=1704451
627.87 nbVisitedNodes=4598477 nbRestartNogoods=201
627.87 => wckTime=626.956 cpuTime=620.78 mem=16M554
951.26
951.26 search
951.26 run=28 nbConstraintChecks=6575582889 nbPropagations=231285590 nbRevisions=3587524953
951.26 nbUselessRevisions=2946503263 nbAssignments=4070297 nbFailedAssignments=1513238 nbBacktracks=2556677
951.26 nbVisitedNodes=6916843 nbRestartNogoods=220
951.26 => wckTime=950.345 cpuTime=940.99 mem=16M554
1447.72
1447.72 search
1447.72 run=29 nbConstraintChecks=10071139884 nbPropagations=348269217 nbRevisions=5420056562
1447.72 nbUselessRevisions=4452402794 nbAssignments=6119553 nbFailedAssignments=2284143 nbBacktracks=3835019
1447.72 nbVisitedNodes=10412732 nbRestartNogoods=236
1447.72 => wckTime=1446.805 cpuTime=1432.61 mem=16M554
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node22/watcher-194338-1168099856 -o ROOT/results/node22/solver-194338-1168099856 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/194338-1168099856/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.12 0.33 0.35 4/87 14800
/proc/meminfo: memFree=1545552/2055920 swapFree=4157532/4192956
[pid=14798] ppid=14795 vsize=18540 CPUtime=0
/proc/14798/stat : 14798 (runsolver) R 14795 14798 14683 0 -1 4194368 17 0 0 0 0 0 0 0 21 0 1 0 158381555 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 272467815719 0 2147483391 4096 24578 0 0 0 17 0 0 0
/proc/14798/statm: 4635 279 244 17 0 2626 0
[startup+0.106945 s]
/proc/loadavg: 0.12 0.33 0.35 4/87 14800
/proc/meminfo: memFree=1545552/2055920 swapFree=4157532/4192956
[pid=14798] ppid=14795 vsize=913068 CPUtime=0.07
/proc/14798/stat : 14798 (java) R 14795 14798 14683 0 -1 0 2854 0 1 0 6 1 0 0 24 0 8 0 158381555 934981632 2600 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14798/statm: 228267 2600 1395 14 0 215168 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 913068
[startup+0.516007 s]
/proc/loadavg: 0.12 0.33 0.35 4/87 14800
/proc/meminfo: memFree=1545552/2055920 swapFree=4157532/4192956
[pid=14798] ppid=14795 vsize=915328 CPUtime=0.47
/proc/14798/stat : 14798 (java) R 14795 14798 14683 0 -1 0 6982 0 1 0 43 4 0 0 25 0 8 0 158381555 937295872 6721 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073569537 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14798/statm: 228832 6721 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 915328
[startup+1.34313 s]
/proc/loadavg: 0.12 0.33 0.35 3/101 14824
/proc/meminfo: memFree=1447840/2055920 swapFree=4157532/4192956
[pid=14798] ppid=14795 vsize=915460 CPUtime=1.29
/proc/14798/stat : 14798 (java) R 14795 14798 14683 0 -1 0 9637 0 1 0 122 7 0 0 25 0 8 0 158381555 937431040 9375 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073823531 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14798/statm: 228865 9375 2524 14 0 215335 0
[pid=14798/tid=14811] ppid=14795 vsize=915460 CPUtime=0.03
/proc/14798/task/14811/stat : 14811 (java) S 14795 14798 14683 0 -1 64 408 0 0 0 3 0 0 0 16 0 8 0 158381560 937431040 9375 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=14798/tid=14812] ppid=14795 vsize=915460 CPUtime=0
/proc/14798/task/14812/stat : 14812 (java) S 14795 14798 14683 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 158381561 937431040 9375 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14798/tid=14813] ppid=14795 vsize=915460 CPUtime=0
/proc/14798/task/14813/stat : 14813 (java) S 14795 14798 14683 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 158381561 937431040 9375 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14798/tid=14817] ppid=14795 vsize=915460 CPUtime=0
/proc/14798/task/14817/stat : 14817 (java) S 14795 14798 14683 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 158381564 937431040 9375 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14798/tid=14818] ppid=14795 vsize=915460 CPUtime=0.22
/proc/14798/task/14818/stat : 14818 (java) S 14795 14798 14683 0 -1 64 383 0 0 0 21 1 0 0 15 0 8 0 158381564 937431040 9375 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14798/tid=14819] ppid=14795 vsize=915460 CPUtime=0
/proc/14798/task/14819/stat : 14819 (java) S 14795 14798 14683 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 158381564 937431040 9375 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14798/tid=14820] ppid=14795 vsize=915460 CPUtime=0
/proc/14798/task/14820/stat : 14820 (java) S 14795 14798 14683 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 158381564 937431040 9375 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 915460
[startup+2.98038 s]
/proc/loadavg: 0.27 0.35 0.35 3/102 14825
/proc/meminfo: memFree=1431384/2055920 swapFree=4157532/4192956
[pid=14798] ppid=14795 vsize=915460 CPUtime=2.92
/proc/14798/stat : 14798 (java) R 14795 14798 14683 0 -1 0 9653 0 1 0 284 8 0 0 25 0 8 0 158381555 937431040 9390 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073818627 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14798/statm: 228865 9390 2524 14 0 215335 0
[pid=14798/tid=14811] ppid=14795 vsize=915460 CPUtime=0.03
/proc/14798/task/14811/stat : 14811 (java) S 14795 14798 14683 0 -1 64 408 0 0 0 3 0 0 0 17 0 8 0 158381560 937431040 9390 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=14798/tid=14812] ppid=14795 vsize=915460 CPUtime=0
/proc/14798/task/14812/stat : 14812 (java) S 14795 14798 14683 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 158381561 937431040 9390 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14798/tid=14813] ppid=14795 vsize=915460 CPUtime=0
/proc/14798/task/14813/stat : 14813 (java) S 14795 14798 14683 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 158381561 937431040 9390 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14798/tid=14817] ppid=14795 vsize=915460 CPUtime=0
/proc/14798/task/14817/stat : 14817 (java) S 14795 14798 14683 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 158381564 937431040 9390 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14798/tid=14818] ppid=14795 vsize=915460 CPUtime=0.25
/proc/14798/task/14818/stat : 14818 (java) S 14795 14798 14683 0 -1 64 398 0 0 0 24 1 0 0 15 0 8 0 158381564 937431040 9390 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14798/tid=14819] ppid=14795 vsize=915460 CPUtime=0
/proc/14798/task/14819/stat : 14819 (java) S 14795 14798 14683 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 158381564 937431040 9390 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14798/tid=14820] ppid=14795 vsize=915460 CPUtime=0
/proc/14798/task/14820/stat : 14820 (java) S 14795 14798 14683 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 158381564 937431040 9390 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.92
Current children cumulated vsize (KiB) 915460
[startup+6.2759 s]
/proc/loadavg: 0.27 0.35 0.35 3/102 14825
/proc/meminfo: memFree=1431320/2055920 swapFree=4157532/4192956
[pid=14798] ppid=14795 vsize=915460 CPUtime=6.19
/proc/14798/stat : 14798 (java) R 14795 14798 14683 0 -1 0 9654 0 1 0 611 8 0 0 25 0 8 0 158381555 937431040 9390 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073823540 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14798/statm: 228865 9390 2524 14 0 215335 0
[pid=14798/tid=14811] ppid=14795 vsize=915460 CPUtime=0.03
/proc/14798/task/14811/stat : 14811 (java) S 14795 14798 14683 0 -1 64 408 0 0 0 3 0 0 0 16 0 8 0 158381560 937431040 9390 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=14798/tid=14812] ppid=14795 vsize=915460 CPUtime=0
/proc/14798/task/14812/stat : 14812 (java) S 14795 14798 14683 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 158381561 937431040 9390 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14798/tid=14813] ppid=14795 vsize=915460 CPUtime=0
/proc/14798/task/14813/stat : 14813 (java) S 14795 14798 14683 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 158381561 937431040 9390 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14798/tid=14817] ppid=14795 vsize=915460 CPUtime=0
/proc/14798/task/14817/stat : 14817 (java) S 14795 14798 14683 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 158381564 937431040 9390 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14798/tid=14818] ppid=14795 vsize=915460 CPUtime=0.25
/proc/14798/task/14818/stat : 14818 (java) S 14795 14798 14683 0 -1 64 399 0 0 0 24 1 0 0 15 0 8 0 158381564 937431040 9390 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14798/tid=14819] ppid=14795 vsize=915460 CPUtime=0
/proc/14798/task/14819/stat : 14819 (java) S 14795 14798 14683 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 158381564 937431040 9390 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14798/tid=14820] ppid=14795 vsize=915460 CPUtime=0
/proc/14798/task/14820/stat : 14820 (java) S 14795 14798 14683 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 158381564 937431040 9390 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 915460
[startup+12.7499 s]
/proc/loadavg: 0.53 0.41 0.37 3/102 14825
/proc/meminfo: memFree=1431320/2055920 swapFree=4157532/4192956
[pid=14798] ppid=14795 vsize=915460 CPUtime=12.61
/proc/14798/stat : 14798 (java) R 14795 14798 14683 0 -1 0 9655 0 1 0 1253 8 0 0 25 0 8 0 158381555 937431040 9391 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073336188 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14798/statm: 228865 9391 2524 14 0 215335 0
[pid=14798/tid=14811] ppid=14795 vsize=915460 CPUtime=0.03
/proc/14798/task/14811/stat : 14811 (java) S 14795 14798 14683 0 -1 64 408 0 0 0 3 0 0 0 16 0 8 0 158381560 937431040 9391 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=14798/tid=14812] ppid=14795 vsize=915460 CPUtime=0
/proc/14798/task/14812/stat : 14812 (java) S 14795 14798 14683 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 158381561 937431040 9391 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14798/tid=14813] ppid=14795 vsize=915460 CPUtime=0
/proc/14798/task/14813/stat : 14813 (java) S 14795 14798 14683 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 158381561 937431040 9391 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14798/tid=14817] ppid=14795 vsize=915460 CPUtime=0
/proc/14798/task/14817/stat : 14817 (java) S 14795 14798 14683 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 158381564 937431040 9391 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14798/tid=14818] ppid=14795 vsize=915460 CPUtime=0.25
/proc/14798/task/14818/stat : 14818 (java) S 14795 14798 14683 0 -1 64 400 0 0 0 24 1 0 0 16 0 8 0 158381564 937431040 9391 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14798/tid=14819] ppid=14795 vsize=915460 CPUtime=0
/proc/14798/task/14819/stat : 14819 (java) S 14795 14798 14683 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 158381564 937431040 9391 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14798/tid=14820] ppid=14795 vsize=915460 CPUtime=0
/proc/14798/task/14820/stat : 14820 (java) S 14795 14798 14683 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 158381564 937431040 9391 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 915460
[startup+25.5999 s]
/proc/loadavg: 0.84 0.48 0.39 3/102 14825
/proc/meminfo: memFree=1431384/2055920 swapFree=4157532/4192956
[pid=14798] ppid=14795 vsize=915460 CPUtime=25.32
/proc/14798/stat : 14798 (java) R 14795 14798 14683 0 -1 0 9655 0 1 0 2524 8 0 0 25 0 8 0 158381555 937431040 9391 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073831395 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14798/statm: 228865 9391 2524 14 0 215335 0
[pid=14798/tid=14811] ppid=14795 vsize=915460 CPUtime=0.03
/proc/14798/task/14811/stat : 14811 (java) S 14795 14798 14683 0 -1 64 408 0 0 0 3 0 0 0 16 0 8 0 158381560 937431040 9391 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=14798/tid=14812] ppid=14795 vsize=915460 CPUtime=0
/proc/14798/task/14812/stat : 14812 (java) S 14795 14798 14683 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 158381561 937431040 9391 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14798/tid=14813] ppid=14795 vsize=915460 CPUtime=0
/proc/14798/task/14813/stat : 14813 (java) S 14795 14798 14683 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 158381561 937431040 9391 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14798/tid=14817] ppid=14795 vsize=915460 CPUtime=0
/proc/14798/task/14817/stat : 14817 (java) S 14795 14798 14683 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 158381564 937431040 9391 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14798/tid=14818] ppid=14795 vsize=915460 CPUtime=0.25
/proc/14798/task/14818/stat : 14818 (java) S 14795 14798 14683 0 -1 64 400 0 0 0 24 1 0 0 16 0 8 0 158381564 937431040 9391 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14798/tid=14819] ppid=14795 vsize=915460 CPUtime=0
/proc/14798/task/14819/stat : 14819 (java) S 14795 14798 14683 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 158381564 937431040 9391 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14798/tid=14820] ppid=14795 vsize=915460 CPUtime=0
/proc/14798/task/14820/stat : 14820 (java) S 14795 14798 14683 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 158381564 937431040 9391 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.32
Current children cumulated vsize (KiB) 915460
[startup+51.2018 s]
/proc/loadavg: 1.23 0.60 0.43 3/102 14825
/proc/meminfo: memFree=1431384/2055920 swapFree=4157532/4192956
[pid=14798] ppid=14795 vsize=915460 CPUtime=50.69
/proc/14798/stat : 14798 (java) R 14795 14798 14683 0 -1 0 9655 0 1 0 5060 9 0 0 25 0 8 0 158381555 937431040 9391 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073830165 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14798/statm: 228865 9391 2524 14 0 215335 0
[pid=14798/tid=14811] ppid=14795 vsize=915460 CPUtime=0.03
/proc/14798/task/14811/stat : 14811 (java) S 14795 14798 14683 0 -1 64 408 0 0 0 3 0 0 0 16 0 8 0 158381560 937431040 9391 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=14798/tid=14812] ppid=14795 vsize=915460 CPUtime=0
/proc/14798/task/14812/stat : 14812 (java) S 14795 14798 14683 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 158381561 937431040 9391 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14798/tid=14813] ppid=14795 vsize=915460 CPUtime=0
/proc/14798/task/14813/stat : 14813 (java) S 14795 14798 14683 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 158381561 937431040 9391 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14798/tid=14817] ppid=14795 vsize=915460 CPUtime=0
/proc/14798/task/14817/stat : 14817 (java) S 14795 14798 14683 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 158381564 937431040 9391 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14798/tid=14818] ppid=14795 vsize=915460 CPUtime=0.25
/proc/14798/task/14818/stat : 14818 (java) S 14795 14798 14683 0 -1 64 400 0 0 0 24 1 0 0 16 0 8 0 158381564 937431040 9391 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14798/tid=14819] ppid=14795 vsize=915460 CPUtime=0
/proc/14798/task/14819/stat : 14819 (java) S 14795 14798 14683 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 158381564 937431040 9391 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14798/tid=14820] ppid=14795 vsize=915460 CPUtime=0
/proc/14798/task/14820/stat : 14820 (java) S 14795 14798 14683 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 158381564 937431040 9391 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.69
Current children cumulated vsize (KiB) 915460
[startup+102.404 s]
/proc/loadavg: 1.75 0.84 0.53 3/102 14825
/proc/meminfo: memFree=1431512/2055920 swapFree=4157532/4192956
[pid=14798] ppid=14795 vsize=915460 CPUtime=101.4
/proc/14798/stat : 14798 (java) R 14795 14798 14683 0 -1 0 9656 0 1 0 10131 9 0 0 25 0 8 0 158381555 937431040 9391 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073833245 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14798/statm: 228865 9391 2524 14 0 215335 0
[pid=14798/tid=14811] ppid=14795 vsize=915460 CPUtime=0.03
/proc/14798/task/14811/stat : 14811 (java) S 14795 14798 14683 0 -1 64 408 0 0 0 3 0 0 0 16 0 8 0 158381560 937431040 9391 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=14798/tid=14812] ppid=14795 vsize=915460 CPUtime=0
/proc/14798/task/14812/stat : 14812 (java) S 14795 14798 14683 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 158381561 937431040 9391 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14798/tid=14813] ppid=14795 vsize=915460 CPUtime=0
/proc/14798/task/14813/stat : 14813 (java) S 14795 14798 14683 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 158381561 937431040 9391 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14798/tid=14817] ppid=14795 vsize=915460 CPUtime=0
/proc/14798/task/14817/stat : 14817 (java) S 14795 14798 14683 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 158381564 937431040 9391 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14798/tid=14818] ppid=14795 vsize=915460 CPUtime=0.25
/proc/14798/task/14818/stat : 14818 (java) S 14795 14798 14683 0 -1 64 400 0 0 0 24 1 0 0 16 0 8 0 158381564 937431040 9391 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14798/tid=14819] ppid=14795 vsize=915460 CPUtime=0
/proc/14798/task/14819/stat : 14819 (java) S 14795 14798 14683 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 158381564 937431040 9391 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14798/tid=14820] ppid=14795 vsize=915460 CPUtime=0
/proc/14798/task/14820/stat : 14820 (java) S 14795 14798 14683 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 158381564 937431040 9391 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.4
Current children cumulated vsize (KiB) 915460
[startup+162.478 s]
/proc/loadavg: 1.94 1.07 0.62 3/102 14825
/proc/meminfo: memFree=1416472/2055920 swapFree=4157532/4192956
[pid=14798] ppid=14795 vsize=915460 CPUtime=160.88
/proc/14798/stat : 14798 (java) R 14795 14798 14683 0 -1 0 9657 0 1 0 16079 9 0 0 25 0 8 0 158381555 937431040 9392 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073835265 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 1410.03
Current children cumulated vsize (KiB) 915460
[startup+1484.04 s]
/proc/loadavg: 2.04 2.00 1.64 3/102 14827
/proc/meminfo: memFree=1348376/2055920 swapFree=4157532/4192956
[pid=14798] ppid=14795 vsize=915460 CPUtime=1469.53
/proc/14798/stat : 14798 (java) R 14795 14798 14683 0 -1 0 9658 0 1 0 146935 18 0 0 25 0 8 0 158381555 937431040 9393 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073823417 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14798/statm: 228865 9393 2524 14 0 215335 0
[pid=14798/tid=14811] ppid=14795 vsize=915460 CPUtime=0.03
/proc/14798/task/14811/stat : 14811 (java) S 14795 14798 14683 0 -1 64 408 0 0 0 3 0 0 0 16 0 8 0 158381560 937431040 9393 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=14798/tid=14812] ppid=14795 vsize=915460 CPUtime=0
/proc/14798/task/14812/stat : 14812 (java) S 14795 14798 14683 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 158381561 937431040 9393 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14798/tid=14813] ppid=14795 vsize=915460 CPUtime=0
/proc/14798/task/14813/stat : 14813 (java) S 14795 14798 14683 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 158381561 937431040 9393 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14798/tid=14817] ppid=14795 vsize=915460 CPUtime=0
/proc/14798/task/14817/stat : 14817 (java) S 14795 14798 14683 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 158381564 937431040 9393 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14798/tid=14818] ppid=14795 vsize=915460 CPUtime=0.26
/proc/14798/task/14818/stat : 14818 (java) S 14795 14798 14683 0 -1 64 402 0 0 0 25 1 0 0 16 0 8 0 158381564 937431040 9393 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14798/tid=14819] ppid=14795 vsize=915460 CPUtime=0
/proc/14798/task/14819/stat : 14819 (java) S 14795 14798 14683 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 158381564 937431040 9393 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14798/tid=14820] ppid=14795 vsize=915460 CPUtime=0.01
/proc/14798/task/14820/stat : 14820 (java) S 14795 14798 14683 0 -1 64 0 0 0 0 0 1 0 0 15 0 8 0 158381564 937431040 9393 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1469.53
Current children cumulated vsize (KiB) 915460
[startup+1544.14 s]
/proc/loadavg: 2.01 2.00 1.66 3/102 14827
/proc/meminfo: memFree=1348376/2055920 swapFree=4157532/4192956
[pid=14798] ppid=14795 vsize=915460 CPUtime=1529.04
/proc/14798/stat : 14798 (java) R 14795 14798 14683 0 -1 0 9658 0 1 0 152886 18 0 0 25 0 8 0 158381555 937431040 9393 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073812570 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14798/statm: 228865 9393 2524 14 0 215335 0
[pid=14798/tid=14811] ppid=14795 vsize=915460 CPUtime=0.03
/proc/14798/task/14811/stat : 14811 (java) S 14795 14798 14683 0 -1 64 408 0 0 0 3 0 0 0 16 0 8 0 158381560 937431040 9393 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=14798/tid=14812] ppid=14795 vsize=915460 CPUtime=0
/proc/14798/task/14812/stat : 14812 (java) S 14795 14798 14683 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 158381561 937431040 9393 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14798/tid=14813] ppid=14795 vsize=915460 CPUtime=0
/proc/14798/task/14813/stat : 14813 (java) S 14795 14798 14683 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 158381561 937431040 9393 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14798/tid=14817] ppid=14795 vsize=915460 CPUtime=0
/proc/14798/task/14817/stat : 14817 (java) S 14795 14798 14683 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 158381564 937431040 9393 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14798/tid=14818] ppid=14795 vsize=915460 CPUtime=0.26
/proc/14798/task/14818/stat : 14818 (java) S 14795 14798 14683 0 -1 64 402 0 0 0 25 1 0 0 16 0 8 0 158381564 937431040 9393 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14798/tid=14819] ppid=14795 vsize=915460 CPUtime=0
/proc/14798/task/14819/stat : 14819 (java) S 14795 14798 14683 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 158381564 937431040 9393 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14798/tid=14820] ppid=14795 vsize=915460 CPUtime=0.01
/proc/14798/task/14820/stat : 14820 (java) S 14795 14798 14683 0 -1 64 0 0 0 0 0 1 0 0 15 0 8 0 158381564 937431040 9393 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1529.04
Current children cumulated vsize (KiB) 915460
[startup+1604.23 s]
/proc/loadavg: 2.00 2.00 1.68 3/102 14827
/proc/meminfo: memFree=1348312/2055920 swapFree=4157532/4192956
[pid=14798] ppid=14795 vsize=915460 CPUtime=1588.53
/proc/14798/stat : 14798 (java) R 14795 14798 14683 0 -1 0 9658 0 1 0 158835 18 0 0 25 0 8 0 158381555 937431040 9393 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073813708 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14798/statm: 228865 9393 2524 14 0 215335 0
[pid=14798/tid=14811] ppid=14795 vsize=915460 CPUtime=0.03
/proc/14798/task/14811/stat : 14811 (java) S 14795 14798 14683 0 -1 64 408 0 0 0 3 0 0 0 16 0 8 0 158381560 937431040 9393 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=14798/tid=14812] ppid=14795 vsize=915460 CPUtime=0
/proc/14798/task/14812/stat : 14812 (java) S 14795 14798 14683 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 158381561 937431040 9393 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14798/tid=14813] ppid=14795 vsize=915460 CPUtime=0
/proc/14798/task/14813/stat : 14813 (java) S 14795 14798 14683 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 158381561 937431040 9393 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14798/tid=14817] ppid=14795 vsize=915460 CPUtime=0
/proc/14798/task/14817/stat : 14817 (java) S 14795 14798 14683 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 158381564 937431040 9393 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14798/tid=14818] ppid=14795 vsize=915460 CPUtime=0.26
/proc/14798/task/14818/stat : 14818 (java) S 14795 14798 14683 0 -1 64 402 0 0 0 25 1 0 0 16 0 8 0 158381564 937431040 9393 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14798/tid=14819] ppid=14795 vsize=915460 CPUtime=0
/proc/14798/task/14819/stat : 14819 (java) S 14795 14798 14683 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 158381564 937431040 9393 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14798/tid=14820] ppid=14795 vsize=915460 CPUtime=0.01
/proc/14798/task/14820/stat : 14820 (java) S 14795 14798 14683 0 -1 64 0 0 0 0 0 1 0 0 15 0 8 0 158381564 937431040 9393 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1588.53
Current children cumulated vsize (KiB) 915460
[startup+1664.27 s]
/proc/loadavg: 2.00 2.00 1.70 3/102 14827
/proc/meminfo: memFree=1348312/2055920 swapFree=4157532/4192956
[pid=14798] ppid=14795 vsize=915460 CPUtime=1648
/proc/14798/stat : 14798 (java) R 14795 14798 14683 0 -1 0 9658 0 1 0 164781 19 0 0 25 0 8 0 158381555 937431040 9393 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073835287 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14798/statm: 228865 9393 2524 14 0 215335 0
[pid=14798/tid=14811] ppid=14795 vsize=915460 CPUtime=0.03
/proc/14798/task/14811/stat : 14811 (java) S 14795 14798 14683 0 -1 64 408 0 0 0 3 0 0 0 16 0 8 0 158381560 937431040 9393 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=14798/tid=14812] ppid=14795 vsize=915460 CPUtime=0
/proc/14798/task/14812/stat : 14812 (java) S 14795 14798 14683 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 158381561 937431040 9393 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14798/tid=14813] ppid=14795 vsize=915460 CPUtime=0
/proc/14798/task/14813/stat : 14813 (java) S 14795 14798 14683 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 158381561 937431040 9393 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14798/tid=14817] ppid=14795 vsize=915460 CPUtime=0
/proc/14798/task/14817/stat : 14817 (java) S 14795 14798 14683 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 158381564 937431040 9393 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14798/tid=14818] ppid=14795 vsize=915460 CPUtime=0.26
/proc/14798/task/14818/stat : 14818 (java) S 14795 14798 14683 0 -1 64 402 0 0 0 25 1 0 0 16 0 8 0 158381564 937431040 9393 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14798/tid=14819] ppid=14795 vsize=915460 CPUtime=0
/proc/14798/task/14819/stat : 14819 (java) S 14795 14798 14683 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 158381564 937431040 9393 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14798/tid=14820] ppid=14795 vsize=915460 CPUtime=0.01
/proc/14798/task/14820/stat : 14820 (java) S 14795 14798 14683 0 -1 64 0 0 0 0 0 1 0 0 15 0 8 0 158381564 937431040 9393 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1648
Current children cumulated vsize (KiB) 915460
[startup+1724.33 s]
/proc/loadavg: 2.00 2.00 1.71 3/102 14827
/proc/meminfo: memFree=1348312/2055920 swapFree=4157532/4192956
[pid=14798] ppid=14795 vsize=915460 CPUtime=1707.48
/proc/14798/stat : 14798 (java) R 14795 14798 14683 0 -1 0 9658 0 1 0 170729 19 0 0 25 0 8 0 158381555 937431040 9393 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073835265 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14798/statm: 228865 9393 2524 14 0 215335 0
[pid=14798/tid=14811] ppid=14795 vsize=915460 CPUtime=0.03
/proc/14798/task/14811/stat : 14811 (java) S 14795 14798 14683 0 -1 64 408 0 0 0 3 0 0 0 16 0 8 0 158381560 937431040 9393 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=14798/tid=14812] ppid=14795 vsize=915460 CPUtime=0
/proc/14798/task/14812/stat : 14812 (java) S 14795 14798 14683 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 158381561 937431040 9393 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14798/tid=14813] ppid=14795 vsize=915460 CPUtime=0
/proc/14798/task/14813/stat : 14813 (java) S 14795 14798 14683 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 158381561 937431040 9393 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14798/tid=14817] ppid=14795 vsize=915460 CPUtime=0
/proc/14798/task/14817/stat : 14817 (java) S 14795 14798 14683 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 158381564 937431040 9393 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14798/tid=14818] ppid=14795 vsize=915460 CPUtime=0.26
/proc/14798/task/14818/stat : 14818 (java) S 14795 14798 14683 0 -1 64 402 0 0 0 25 1 0 0 16 0 8 0 158381564 937431040 9393 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14798/tid=14819] ppid=14795 vsize=915460 CPUtime=0
/proc/14798/task/14819/stat : 14819 (java) S 14795 14798 14683 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 158381564 937431040 9393 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14798/tid=14820] ppid=14795 vsize=915460 CPUtime=0.01
/proc/14798/task/14820/stat : 14820 (java) S 14795 14798 14683 0 -1 64 0 0 0 0 0 1 0 0 15 0 8 0 158381564 937431040 9393 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1707.48
Current children cumulated vsize (KiB) 915460
[startup+1784.44 s]
/proc/loadavg: 2.00 2.00 1.73 3/102 14827
/proc/meminfo: memFree=1348312/2055920 swapFree=4157532/4192956
[pid=14798] ppid=14795 vsize=915460 CPUtime=1766.97
/proc/14798/stat : 14798 (java) R 14795 14798 14683 0 -1 0 9658 0 1 0 176678 19 0 0 25 0 8 0 158381555 937431040 9393 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073813671 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14798/statm: 228865 9393 2524 14 0 215335 0
[pid=14798/tid=14811] ppid=14795 vsize=915460 CPUtime=0.03
/proc/14798/task/14811/stat : 14811 (java) S 14795 14798 14683 0 -1 64 408 0 0 0 3 0 0 0 16 0 8 0 158381560 937431040 9393 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=14798/tid=14812] ppid=14795 vsize=915460 CPUtime=0
/proc/14798/task/14812/stat : 14812 (java) S 14795 14798 14683 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 158381561 937431040 9393 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14798/tid=14813] ppid=14795 vsize=915460 CPUtime=0
/proc/14798/task/14813/stat : 14813 (java) S 14795 14798 14683 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 158381561 937431040 9393 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14798/tid=14817] ppid=14795 vsize=915460 CPUtime=0
/proc/14798/task/14817/stat : 14817 (java) S 14795 14798 14683 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 158381564 937431040 9393 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14798/tid=14818] ppid=14795 vsize=915460 CPUtime=0.26
/proc/14798/task/14818/stat : 14818 (java) S 14795 14798 14683 0 -1 64 402 0 0 0 25 1 0 0 16 0 8 0 158381564 937431040 9393 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14798/tid=14819] ppid=14795 vsize=915460 CPUtime=0
/proc/14798/task/14819/stat : 14819 (java) S 14795 14798 14683 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 158381564 937431040 9393 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14798/tid=14820] ppid=14795 vsize=915460 CPUtime=0.01
/proc/14798/task/14820/stat : 14820 (java) S 14795 14798 14683 0 -1 64 0 0 0 0 0 1 0 0 15 0 8 0 158381564 937431040 9393 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1766.97
Current children cumulated vsize (KiB) 915460
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1817.64 s]
/proc/loadavg: 1.72 1.93 1.72 2/88 14837
/proc/meminfo: memFree=1518672/2055920 swapFree=4157532/4192956
[pid=14798] ppid=14795 vsize=915460 CPUtime=1800.02
/proc/14798/stat : 14798 (java) R 14795 14798 14683 0 -1 0 9658 0 1 0 179982 20 0 0 25 0 8 0 158381555 937431040 9393 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073814123 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14798/statm: 228865 9393 2524 14 0 215335 0
[pid=14798/tid=14811] ppid=14795 vsize=915460 CPUtime=0.03
/proc/14798/task/14811/stat : 14811 (java) S 14795 14798 14683 0 -1 64 408 0 0 0 3 0 0 0 16 0 8 0 158381560 937431040 9393 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=14798/tid=14812] ppid=14795 vsize=915460 CPUtime=0
/proc/14798/task/14812/stat : 14812 (java) S 14795 14798 14683 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 158381561 937431040 9393 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14798/tid=14813] ppid=14795 vsize=915460 CPUtime=0
/proc/14798/task/14813/stat : 14813 (java) S 14795 14798 14683 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 158381561 937431040 9393 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14798/tid=14817] ppid=14795 vsize=915460 CPUtime=0
/proc/14798/task/14817/stat : 14817 (java) S 14795 14798 14683 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 158381564 937431040 9393 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14798/tid=14818] ppid=14795 vsize=915460 CPUtime=0.26
/proc/14798/task/14818/stat : 14818 (java) S 14795 14798 14683 0 -1 64 402 0 0 0 25 1 0 0 16 0 8 0 158381564 937431040 9393 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14798/tid=14819] ppid=14795 vsize=915460 CPUtime=0
/proc/14798/task/14819/stat : 14819 (java) S 14795 14798 14683 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 158381564 937431040 9393 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14798/tid=14820] ppid=14795 vsize=915460 CPUtime=0.01
/proc/14798/task/14820/stat : 14820 (java) S 14795 14798 14683 0 -1 64 0 0 0 0 0 1 0 0 15 0 8 0 158381564 937431040 9393 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 915460
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 1817.7
CPU time (s): 1800.07
CPU user time (s): 1799.86
CPU system time (s): 0.205968
CPU usage (%): 99.0302
Max. virtual memory (cumulated for all children) (KiB): 915460
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.86
system time used= 0.205968
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9676
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= 37965
involuntary context switches= 81326
runsolver used 2.13167 s user time and 5.69213 s system time
The end
Begin job on node22 on Sat Jan 6 16:11:05 UTC 2007
IDJOB= 194338
IDBENCH= 3209
FILE ID= node22/194338-1168099856
PBS_JOBID= 3477221
Free space on /tmp= 66545 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-2-50-23/rand-2-50-23-587-230-32_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/194338-1168099856/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node22/watcher-194338-1168099856 -o ROOT/results/node22/solver-194338-1168099856 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/194338-1168099856/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 269587445ef9a7489005f8ee4102b158
RANDOM SEED= 180490858
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.279
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.279
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: 1547232 kB
Buffers: 46520 kB
Cached: 350688 kB
SwapCached: 13648 kB
Active: 118392 kB
Inactive: 321588 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1547232 kB
SwapTotal: 4192956 kB
SwapFree: 4157532 kB
Dirty: 5824 kB
Writeback: 0 kB
Mapped: 57992 kB
Slab: 53704 kB
Committed_AS: 2705160 kB
PageTables: 2204 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= 66549 MiB
End job on node22 on Sat Jan 6 16:41:33 UTC 2007