0.33
0.33 Abscon 109 (November, 2006)
0.33
0.33 configuration
0.33 name=esac.xml
0.36
0.36 instance
0.36 name=/tmp/evaluation/229679-1168308938/unknown.xml
0.39
0.39 domains being loaded...
0.39
0.39 variables being loaded...
0.43 nbVariables=50 nbDomainTypes=1 minDomainSize=23 maxDomainSize=23
0.43 => wckTime=0.099 cpuTime=0.08 mem=6M951
0.43
0.43 relations being loaded...
0.57
0.57 constraints being loaded...
0.71 nbConstraints=471 nbRelationTypes=471 nbExtensionStructures=471 nbSharedExtensionStructures=0
0.71 nbConflictsStructures=471 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=2545 maxDegree=29
0.71 maxArity=2
0.71 => wckTime=0.383 cpuTime=0.29 mem=17M695
0.76
0.76 solver IterativeSystematicSolver being built...
0.91 => wckTime=0.583 cpuTime=0.43 mem=15M587
0.97
0.97 preprocessing
0.97 nbConstraintChecks=99738 nbPropagations=1136 nbRevisions=9139 nbUselessRevisions=7728 nbSingletonTests=63
0.97 nbEffectiveSingletonTests=0 nbESACBranches=5 nbRemovedValues=0 detectedInconsistency=no
0.97 => wckTime=0.055 cpuTime=0.03 mem=15M587
1.00
1.00 search
1.00 run=0 nbConstraintChecks=52201 nbPropagations=1754 nbRevisions=16962 nbUselessRevisions=14159 nbAssignments=29
1.00 nbFailedAssignments=7 nbBacktracks=13 nbVisitedNodes=44 nbRestartNogoods=0 mapSize=10 nbInferences=0
1.00 nbTooLargeKeys=0
1.00 => wckTime=0.083 cpuTime=0.06 mem=15M587
1.01
1.02 search
1.02 run=1 nbConstraintChecks=103217 nbPropagations=4132 nbRevisions=41532 nbUselessRevisions=34677
1.02 nbAssignments=64 nbFailedAssignments=13 nbBacktracks=30 nbVisitedNodes=92 nbRestartNogoods=2 mapSize=20
1.02 nbInferences=0 nbTooLargeKeys=0
1.02 => wckTime=0.102 cpuTime=0.07 mem=15M587
1.03
1.03 search
1.03 run=2 nbConstraintChecks=183782 nbPropagations=7433 nbRevisions=78533 nbUselessRevisions=65243
1.03 nbAssignments=115 nbFailedAssignments=29 nbBacktracks=55 nbVisitedNodes=170 nbRestartNogoods=4 mapSize=38
1.03 nbInferences=0 nbTooLargeKeys=0
1.03 => wckTime=0.118 cpuTime=0.08 mem=15M587
1.05
1.05 search
1.05 run=3 nbConstraintChecks=278619 nbPropagations=11905 nbRevisions=131758 nbUselessRevisions=109355
1.05 nbAssignments=174 nbFailedAssignments=45 nbBacktracks=89 nbVisitedNodes=263 nbRestartNogoods=7 mapSize=65
1.05 nbInferences=0 nbTooLargeKeys=0
1.05 => wckTime=0.138 cpuTime=0.1 mem=15M587
1.09
1.09 search
1.09 run=4 nbConstraintChecks=456667 nbPropagations=18411 nbRevisions=215605 nbUselessRevisions=178680
1.09 nbAssignments=280 nbFailedAssignments=88 nbBacktracks=139 nbVisitedNodes=447 nbRestartNogoods=10 mapSize=112
1.09 nbInferences=0 nbTooLargeKeys=0
1.09 => wckTime=0.171 cpuTime=0.14 mem=15M587
1.13
1.13 search
1.13 run=5 nbConstraintChecks=657592 nbPropagations=27433 nbRevisions=337068 nbUselessRevisions=279316
1.13 nbAssignments=410 nbFailedAssignments=132 nbBacktracks=214 nbVisitedNodes=659 nbRestartNogoods=16 mapSize=176
1.13 nbInferences=0 nbTooLargeKeys=0
1.13 => wckTime=0.214 cpuTime=0.17 mem=15M587
1.19
1.19 search
1.19 run=6 nbConstraintChecks=1005793 nbPropagations=40673 nbRevisions=522273 nbUselessRevisions=432896
1.19 nbAssignments=603 nbFailedAssignments=200 nbBacktracks=328 nbVisitedNodes=992 nbRestartNogoods=21 mapSize=278
1.19 nbInferences=0 nbTooLargeKeys=0
1.19 => wckTime=0.277 cpuTime=0.24 mem=15M587
1.27
1.27 search
1.27 run=7 nbConstraintChecks=1468677 nbPropagations=59361 nbRevisions=791322 nbUselessRevisions=655558
1.27 nbAssignments=879 nbFailedAssignments=296 nbBacktracks=499 nbVisitedNodes=1452 nbRestartNogoods=26 mapSize=418
1.27 nbInferences=0 nbTooLargeKeys=0
1.27 => wckTime=0.361 cpuTime=0.32 mem=15M587
1.41
1.41 search
1.41 run=8 nbConstraintChecks=2219932 nbPropagations=86747 nbRevisions=1196019 nbUselessRevisions=989254
1.41 nbAssignments=1319 nbFailedAssignments=469 nbBacktracks=757 nbVisitedNodes=2196 nbRestartNogoods=30
1.41 mapSize=632 nbInferences=0 nbTooLargeKeys=0
1.41 => wckTime=0.496 cpuTime=0.45 mem=15M587
1.63
1.63 search
1.63 run=9 nbConstraintChecks=3436608 nbPropagations=128193 nbRevisions=1823103 nbUselessRevisions=1505917
1.63 nbAssignments=1986 nbFailedAssignments=740 nbBacktracks=1141 nbVisitedNodes=3370 nbRestartNogoods=33
1.63 mapSize=971 nbInferences=0 nbTooLargeKeys=0
1.63 => wckTime=0.712 cpuTime=0.66 mem=15M587
1.66
1.66 INFO : Stopping hyperNogood (mapSize=1024, nbTooLargekeys=0, mem=15M587)
1.88
1.88 search
1.88 run=10 nbConstraintChecks=4890036 nbPropagations=187928 nbRevisions=2726437 nbUselessRevisions=2249615
1.88 nbAssignments=2913 nbFailedAssignments=1078 nbBacktracks=1718 nbVisitedNodes=4960 nbRestartNogoods=41
1.88 => wckTime=0.964 cpuTime=0.9 mem=15M587
2.24
2.24 search
2.24 run=11 nbConstraintChecks=7188851 nbPropagations=275477 nbRevisions=4056154 nbUselessRevisions=3342663
2.24 nbAssignments=4329 nbFailedAssignments=1623 nbBacktracks=2582 nbVisitedNodes=7378 nbRestartNogoods=49
2.24 => wckTime=1.325 cpuTime=1.25 mem=15M587
2.78
2.78 search
2.78 run=12 nbConstraintChecks=10659643 nbPropagations=403958 nbRevisions=6045378 nbUselessRevisions=4981742
2.78 nbAssignments=6494 nbFailedAssignments=2481 nbBacktracks=3879 nbVisitedNodes=11071 nbRestartNogoods=54
2.78 => wckTime=1.868 cpuTime=1.8 mem=15M587
3.57
3.57 search
3.57 run=13 nbConstraintChecks=15796688 nbPropagations=593872 nbRevisions=8997438 nbUselessRevisions=7413879
3.57 nbAssignments=9666 nbFailedAssignments=3696 nbBacktracks=5828 nbVisitedNodes=16495 nbRestartNogoods=58
3.57 => wckTime=2.661 cpuTime=2.59 mem=15M587
4.83
4.83 search
4.83 run=14 nbConstraintChecks=23960691 nbPropagations=880287 nbRevisions=13486002 nbUselessRevisions=11112604
4.83 nbAssignments=14587 nbFailedAssignments=5689 nbBacktracks=8748 nbVisitedNodes=25035 nbRestartNogoods=66
4.83 => wckTime=3.922 cpuTime=3.85 mem=15M587
6.56
6.56 search
6.56 run=15 nbConstraintChecks=34987156 nbPropagations=1299597 nbRevisions=20057053 nbUselessRevisions=16532212
6.56 nbAssignments=21516 nbFailedAssignments=8230 nbBacktracks=13126 nbVisitedNodes=36805 nbRestartNogoods=75
6.56 => wckTime=5.644 cpuTime=5.57 mem=15M587
9.27
9.27 search
9.27 run=16 nbConstraintChecks=53120573 nbPropagations=1928071 nbRevisions=29938403 nbUselessRevisions=24681003
9.27 nbAssignments=32038 nbFailedAssignments=12174 nbBacktracks=19694 nbVisitedNodes=54851 nbRestartNogoods=84
9.27 => wckTime=8.361 cpuTime=8.29 mem=16M562
13.34
13.34 search
13.34 run=17 nbConstraintChecks=80597435 nbPropagations=2869336 nbRevisions=44661068 nbUselessRevisions=36788112
13.34 nbAssignments=47815 nbFailedAssignments=18090 nbBacktracks=29546 nbVisitedNodes=81715 nbRestartNogoods=101
13.34 => wckTime=12.423 cpuTime=12.35 mem=16M562
19.61
19.61 search
19.61 run=18 nbConstraintChecks=122549496 nbPropagations=4283495 nbRevisions=66924624 nbUselessRevisions=55112708
19.61 nbAssignments=71481 nbFailedAssignments=26969 nbBacktracks=44325 nbVisitedNodes=122353 nbRestartNogoods=112
19.61 => wckTime=18.7 cpuTime=18.62 mem=16M562
28.16
28.16 search
28.16 run=19 nbConstraintChecks=177835402 nbPropagations=6367213 nbRevisions=99413650 nbUselessRevisions=81838234
28.16 nbAssignments=106554 nbFailedAssignments=39861 nbBacktracks=66493 nbVisitedNodes=181790 nbRestartNogoods=122
28.16 => wckTime=27.243 cpuTime=27.16 mem=16M562
42.41
42.41 search
42.41 run=20 nbConstraintChecks=273123335 nbPropagations=9543742 nbRevisions=149342279 nbUselessRevisions=122959231
42.41 nbAssignments=160930 nbFailedAssignments=60974 nbBacktracks=99749 nbVisitedNodes=275659 nbRestartNogoods=139
42.41 => wckTime=41.499 cpuTime=41.41 mem=16M562
62.05
62.05 search
62.05 run=21 nbConstraintChecks=399646536 nbPropagations=14248661 nbRevisions=223123952 nbUselessRevisions=183741570
62.05 nbAssignments=240423 nbFailedAssignments=90577 nbBacktracks=149630 nbVisitedNodes=411530 nbRestartNogoods=149
62.05 => wckTime=61.139 cpuTime=61.04 mem=16M562
91.30
91.30 search
91.30 run=22 nbConstraintChecks=590760582 nbPropagations=21266256 nbRevisions=332305114 nbUselessRevisions=273587809
91.30 nbAssignments=360335 nbFailedAssignments=135659 nbBacktracks=224448 nbVisitedNodes=616018 nbRestartNogoods=158
91.30 => wckTime=90.389 cpuTime=90.28 mem=16M562
139.39
139.39 search
139.39 run=23 nbConstraintChecks=909523223 nbPropagations=31953012 nbRevisions=500405270 nbUselessRevisions=412156204
139.39 nbAssignments=545231 nbFailedAssignments=208316 nbBacktracks=336678 nbVisitedNodes=936509 nbRestartNogoods=175
139.39 => wckTime=138.473 cpuTime=138.36 mem=16M562
205.57
205.57 search
205.57 run=24 nbConstraintChecks=1344440985 nbPropagations=47756905 nbRevisions=748103461 nbUselessRevisions=616237899
205.57 nbAssignments=808761 nbFailedAssignments=303496 nbBacktracks=505020 nbVisitedNodes=1382107 nbRestartNogoods=185
205.57 => wckTime=204.657 cpuTime=204.52 mem=16M562
306.94
306.94 search
306.94 run=25 nbConstraintChecks=2014161521 nbPropagations=71418147 nbRevisions=1118512760
306.94 nbUselessRevisions=921319546 nbAssignments=1209642 nbFailedAssignments=451857 nbBacktracks=757533
306.94 nbVisitedNodes=2064696 nbRestartNogoods=196
306.94 => wckTime=306.03 cpuTime=305.87 mem=16M562
469.57
469.57 search
469.57 run=26 nbConstraintChecks=3087917185 nbPropagations=107556313 nbRevisions=1690707637
469.57 nbUselessRevisions=1393638700 nbAssignments=1834395 nbFailedAssignments=697833 nbBacktracks=1136301
469.57 nbVisitedNodes=3147521 nbRestartNogoods=208
469.57 => wckTime=468.655 cpuTime=468.44 mem=16M562
692.85
692.85 search
692.85 run=27 nbConstraintChecks=4530927107 nbPropagations=161290642 nbRevisions=2535974329
692.85 nbUselessRevisions=2091110761 nbAssignments=2748360 nbFailedAssignments=1043638 nbBacktracks=1704454
692.85 nbVisitedNodes=4710000 nbRestartNogoods=220
692.85 => wckTime=691.937 cpuTime=691.67 mem=16M562
1036.45
1036.45 search
1036.45 run=28 nbConstraintChecks=6782770092 nbPropagations=241531469 nbRevisions=3800235459
1036.45 nbUselessRevisions=3134624202 nbAssignments=4104653 nbFailedAssignments=1547696 nbBacktracks=2556680
1036.45 nbVisitedNodes=7028783 nbRestartNogoods=236
1036.45 => wckTime=1035.535 cpuTime=1035.18 mem=16M562
1553.29
1553.29 search
1553.29 run=29 nbConstraintChecks=10235308975 nbPropagations=361496019 nbRevisions=5685267955
1553.29 nbUselessRevisions=4688208392 nbAssignments=6134796 nbFailedAssignments=2299487 nbBacktracks=3835023
1553.29 nbVisitedNodes=10484054 nbRestartNogoods=252
1553.29 => wckTime=1552.377 cpuTime=1551.87 mem=16M562
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node4/watcher-229679-1168308938 -o ROOT/results/node4/solver-229679-1168308938 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/229679-1168308938/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.93 1.00 0.99 2/78 9747
/proc/meminfo: memFree=1323960/2055920 swapFree=4182144/4192956
[pid=9746] ppid=9744 vsize=1784 CPUtime=0
/proc/9746/stat : 9746 (java) D 9744 9746 7999 0 -1 0 165 0 0 0 0 0 0 0 19 0 1 0 179289339 1826816 136 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0
/proc/9746/statm: 446 136 102 14 0 91 0
[startup+0.102414 s]
/proc/loadavg: 0.93 1.00 0.99 2/78 9747
/proc/meminfo: memFree=1323960/2055920 swapFree=4182144/4192956
[pid=9746] ppid=9744 vsize=911488 CPUtime=0.07
/proc/9746/stat : 9746 (java) D 9744 9746 7999 0 -1 0 2636 0 1 0 6 1 0 0 22 0 8 0 179289339 933363712 2383 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 2147483391 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9746/statm: 227872 2383 1284 14 0 215051 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 911488
[startup+0.510449 s]
/proc/loadavg: 0.93 1.00 0.99 2/78 9747
/proc/meminfo: memFree=1323960/2055920 swapFree=4182144/4192956
[pid=9746] ppid=9744 vsize=915328 CPUtime=0.46
/proc/9746/stat : 9746 (java) R 9744 9746 7999 0 -1 0 6810 0 1 0 42 4 0 0 16 0 8 0 179289339 937295872 6549 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073567214 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9746/statm: 228832 6549 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 915328
[startup+1.33152 s]
/proc/loadavg: 0.93 1.00 0.99 3/85 9754
/proc/meminfo: memFree=1296320/2055920 swapFree=4182144/4192956
[pid=9746] ppid=9744 vsize=915460 CPUtime=1.29
/proc/9746/stat : 9746 (java) R 9744 9746 7999 0 -1 0 9641 0 1 0 123 6 0 0 16 0 8 0 179289339 937431040 9379 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073821328 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9746/statm: 228865 9379 2524 14 0 215335 0
[pid=9746/tid=9748] ppid=9744 vsize=915460 CPUtime=0.03
/proc/9746/task/9748/stat : 9748 (java) S 9744 9746 7999 0 -1 64 411 0 0 0 3 0 0 0 16 0 8 0 179289343 937431040 9379 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9746/tid=9749] ppid=9744 vsize=915460 CPUtime=0
/proc/9746/task/9749/stat : 9749 (java) S 9744 9746 7999 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 179289344 937431040 9379 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9746/tid=9750] ppid=9744 vsize=915460 CPUtime=0
/proc/9746/task/9750/stat : 9750 (java) S 9744 9746 7999 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 179289344 937431040 9379 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9746/tid=9751] ppid=9744 vsize=915460 CPUtime=0
/proc/9746/task/9751/stat : 9751 (java) S 9744 9746 7999 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 179289347 937431040 9379 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9746/tid=9752] ppid=9744 vsize=915460 CPUtime=0.2
/proc/9746/task/9752/stat : 9752 (java) S 9744 9746 7999 0 -1 64 383 0 0 0 19 1 0 0 16 0 8 0 179289347 937431040 9379 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9746/tid=9753] ppid=9744 vsize=915460 CPUtime=0
/proc/9746/task/9753/stat : 9753 (java) S 9744 9746 7999 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 179289347 937431040 9379 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9746/tid=9754] ppid=9744 vsize=915460 CPUtime=0
/proc/9746/task/9754/stat : 9754 (java) R 9744 9746 7999 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 179289347 937431040 9379 18446744073709551615 134512640 134570532 4294956464 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.98268 s]
/proc/loadavg: 0.93 1.00 0.99 2/85 9754
/proc/meminfo: memFree=1296192/2055920 swapFree=4182144/4192956
[pid=9746] ppid=9744 vsize=915460 CPUtime=2.94
/proc/9746/stat : 9746 (java) R 9744 9746 7999 0 -1 0 9659 0 1 0 287 7 0 0 17 0 8 0 179289339 937431040 9394 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073821459 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9746/statm: 228865 9394 2524 14 0 215335 0
[pid=9746/tid=9748] ppid=9744 vsize=915460 CPUtime=0.03
/proc/9746/task/9748/stat : 9748 (java) S 9744 9746 7999 0 -1 64 411 0 0 0 3 0 0 0 16 0 8 0 179289343 937431040 9394 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9746/tid=9749] ppid=9744 vsize=915460 CPUtime=0
/proc/9746/task/9749/stat : 9749 (java) S 9744 9746 7999 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 179289344 937431040 9394 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9746/tid=9750] ppid=9744 vsize=915460 CPUtime=0
/proc/9746/task/9750/stat : 9750 (java) S 9744 9746 7999 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 179289344 937431040 9394 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9746/tid=9751] ppid=9744 vsize=915460 CPUtime=0
/proc/9746/task/9751/stat : 9751 (java) S 9744 9746 7999 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 179289347 937431040 9394 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9746/tid=9752] ppid=9744 vsize=915460 CPUtime=0.23
/proc/9746/task/9752/stat : 9752 (java) S 9744 9746 7999 0 -1 64 399 0 0 0 22 1 0 0 15 0 8 0 179289347 937431040 9394 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9746/tid=9753] ppid=9744 vsize=915460 CPUtime=0
/proc/9746/task/9753/stat : 9753 (java) S 9744 9746 7999 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 179289347 937431040 9394 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9746/tid=9754] ppid=9744 vsize=915460 CPUtime=0
/proc/9746/task/9754/stat : 9754 (java) S 9744 9746 7999 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 179289347 937431040 9394 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 915460
[startup+6.278 s]
/proc/loadavg: 0.93 1.00 0.99 2/85 9754
/proc/meminfo: memFree=1296128/2055920 swapFree=4182144/4192956
[pid=9746] ppid=9744 vsize=915460 CPUtime=6.24
/proc/9746/stat : 9746 (java) R 9744 9746 7999 0 -1 0 9661 0 1 0 617 7 0 0 20 0 8 0 179289339 937431040 9395 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073812425 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9746/statm: 228865 9395 2524 14 0 215335 0
[pid=9746/tid=9748] ppid=9744 vsize=915460 CPUtime=0.03
/proc/9746/task/9748/stat : 9748 (java) S 9744 9746 7999 0 -1 64 411 0 0 0 3 0 0 0 16 0 8 0 179289343 937431040 9395 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9746/tid=9749] ppid=9744 vsize=915460 CPUtime=0
/proc/9746/task/9749/stat : 9749 (java) S 9744 9746 7999 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 179289344 937431040 9395 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9746/tid=9750] ppid=9744 vsize=915460 CPUtime=0
/proc/9746/task/9750/stat : 9750 (java) S 9744 9746 7999 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 179289344 937431040 9395 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9746/tid=9751] ppid=9744 vsize=915460 CPUtime=0
/proc/9746/task/9751/stat : 9751 (java) S 9744 9746 7999 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 179289347 937431040 9395 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9746/tid=9752] ppid=9744 vsize=915460 CPUtime=0.23
/proc/9746/task/9752/stat : 9752 (java) S 9744 9746 7999 0 -1 64 400 0 0 0 22 1 0 0 15 0 8 0 179289347 937431040 9395 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9746/tid=9753] ppid=9744 vsize=915460 CPUtime=0
/proc/9746/task/9753/stat : 9753 (java) S 9744 9746 7999 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 179289347 937431040 9395 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9746/tid=9754] ppid=9744 vsize=915460 CPUtime=0
/proc/9746/task/9754/stat : 9754 (java) S 9744 9746 7999 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 179289347 937431040 9395 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 915460
[startup+12.7526 s]
/proc/loadavg: 0.94 1.00 0.99 2/85 9754
/proc/meminfo: memFree=1296128/2055920 swapFree=4182144/4192956
[pid=9746] ppid=9744 vsize=915460 CPUtime=12.71
/proc/9746/stat : 9746 (java) R 9744 9746 7999 0 -1 0 9661 0 1 0 1264 7 0 0 25 0 8 0 179289339 937431040 9395 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073827905 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9746/statm: 228865 9395 2524 14 0 215335 0
[pid=9746/tid=9748] ppid=9744 vsize=915460 CPUtime=0.03
/proc/9746/task/9748/stat : 9748 (java) S 9744 9746 7999 0 -1 64 411 0 0 0 3 0 0 0 16 0 8 0 179289343 937431040 9395 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9746/tid=9749] ppid=9744 vsize=915460 CPUtime=0
/proc/9746/task/9749/stat : 9749 (java) S 9744 9746 7999 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 179289344 937431040 9395 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9746/tid=9750] ppid=9744 vsize=915460 CPUtime=0
/proc/9746/task/9750/stat : 9750 (java) S 9744 9746 7999 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 179289344 937431040 9395 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9746/tid=9751] ppid=9744 vsize=915460 CPUtime=0
/proc/9746/task/9751/stat : 9751 (java) S 9744 9746 7999 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 179289347 937431040 9395 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9746/tid=9752] ppid=9744 vsize=915460 CPUtime=0.23
/proc/9746/task/9752/stat : 9752 (java) S 9744 9746 7999 0 -1 64 400 0 0 0 22 1 0 0 16 0 8 0 179289347 937431040 9395 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9746/tid=9753] ppid=9744 vsize=915460 CPUtime=0
/proc/9746/task/9753/stat : 9753 (java) S 9744 9746 7999 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 179289347 937431040 9395 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9746/tid=9754] ppid=9744 vsize=915460 CPUtime=0
/proc/9746/task/9754/stat : 9754 (java) S 9744 9746 7999 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 179289347 937431040 9395 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.71
Current children cumulated vsize (KiB) 915460
[startup+25.5828 s]
/proc/loadavg: 0.95 1.00 0.99 2/85 9754
/proc/meminfo: memFree=1296128/2055920 swapFree=4182144/4192956
[pid=9746] ppid=9744 vsize=915460 CPUtime=25.53
/proc/9746/stat : 9746 (java) R 9744 9746 7999 0 -1 0 9661 0 1 0 2546 7 0 0 20 0 8 0 179289339 937431040 9395 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073845405 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9746/statm: 228865 9395 2524 14 0 215335 0
[pid=9746/tid=9748] ppid=9744 vsize=915460 CPUtime=0.03
/proc/9746/task/9748/stat : 9748 (java) S 9744 9746 7999 0 -1 64 411 0 0 0 3 0 0 0 16 0 8 0 179289343 937431040 9395 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9746/tid=9749] ppid=9744 vsize=915460 CPUtime=0
/proc/9746/task/9749/stat : 9749 (java) S 9744 9746 7999 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 179289344 937431040 9395 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9746/tid=9750] ppid=9744 vsize=915460 CPUtime=0
/proc/9746/task/9750/stat : 9750 (java) S 9744 9746 7999 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 179289344 937431040 9395 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9746/tid=9751] ppid=9744 vsize=915460 CPUtime=0
/proc/9746/task/9751/stat : 9751 (java) S 9744 9746 7999 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 179289347 937431040 9395 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9746/tid=9752] ppid=9744 vsize=915460 CPUtime=0.23
/proc/9746/task/9752/stat : 9752 (java) S 9744 9746 7999 0 -1 64 400 0 0 0 22 1 0 0 16 0 8 0 179289347 937431040 9395 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9746/tid=9753] ppid=9744 vsize=915460 CPUtime=0
/proc/9746/task/9753/stat : 9753 (java) S 9744 9746 7999 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 179289347 937431040 9395 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9746/tid=9754] ppid=9744 vsize=915460 CPUtime=0
/proc/9746/task/9754/stat : 9754 (java) S 9744 9746 7999 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 179289347 937431040 9395 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.53
Current children cumulated vsize (KiB) 915460
[startup+51.2663 s]
/proc/loadavg: 0.97 1.00 0.99 2/85 9754
/proc/meminfo: memFree=1296192/2055920 swapFree=4182144/4192956
[pid=9746] ppid=9744 vsize=915460 CPUtime=51.21
/proc/9746/stat : 9746 (java) R 9744 9746 7999 0 -1 0 9662 0 1 0 5114 7 0 0 25 0 8 0 179289339 937431040 9395 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073812361 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9746/statm: 228865 9395 2524 14 0 215335 0
[pid=9746/tid=9748] ppid=9744 vsize=915460 CPUtime=0.03
/proc/9746/task/9748/stat : 9748 (java) S 9744 9746 7999 0 -1 64 411 0 0 0 3 0 0 0 16 0 8 0 179289343 937431040 9395 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9746/tid=9749] ppid=9744 vsize=915460 CPUtime=0
/proc/9746/task/9749/stat : 9749 (java) S 9744 9746 7999 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 179289344 937431040 9395 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9746/tid=9750] ppid=9744 vsize=915460 CPUtime=0
/proc/9746/task/9750/stat : 9750 (java) S 9744 9746 7999 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 179289344 937431040 9395 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9746/tid=9751] ppid=9744 vsize=915460 CPUtime=0
/proc/9746/task/9751/stat : 9751 (java) S 9744 9746 7999 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 179289347 937431040 9395 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9746/tid=9752] ppid=9744 vsize=915460 CPUtime=0.23
/proc/9746/task/9752/stat : 9752 (java) S 9744 9746 7999 0 -1 64 400 0 0 0 22 1 0 0 16 0 8 0 179289347 937431040 9395 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9746/tid=9753] ppid=9744 vsize=915460 CPUtime=0
/proc/9746/task/9753/stat : 9753 (java) S 9744 9746 7999 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 179289347 937431040 9395 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9746/tid=9754] ppid=9744 vsize=915460 CPUtime=0
/proc/9746/task/9754/stat : 9754 (java) S 9744 9746 7999 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 179289347 937431040 9395 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.21
Current children cumulated vsize (KiB) 915460
[startup+102.527 s]
/proc/loadavg: 0.98 1.00 0.99 2/85 9754
/proc/meminfo: memFree=1296192/2055920 swapFree=4182144/4192956
[pid=9746] ppid=9744 vsize=915460 CPUtime=102.45
/proc/9746/stat : 9746 (java) R 9744 9746 7999 0 -1 0 9664 0 1 0 10238 7 0 0 25 0 8 0 179289339 937431040 9397 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073843879 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9746/statm: 228865 9397 2524 14 0 215335 0
[pid=9746/tid=9748] ppid=9744 vsize=915460 CPUtime=0.03
/proc/9746/task/9748/stat : 9748 (java) S 9744 9746 7999 0 -1 64 411 0 0 0 3 0 0 0 16 0 8 0 179289343 937431040 9397 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9746/tid=9749] ppid=9744 vsize=915460 CPUtime=0
/proc/9746/task/9749/stat : 9749 (java) S 9744 9746 7999 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 179289344 937431040 9397 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9746/tid=9750] ppid=9744 vsize=915460 CPUtime=0
/proc/9746/task/9750/stat : 9750 (java) S 9744 9746 7999 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 179289344 937431040 9397 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9746/tid=9751] ppid=9744 vsize=915460 CPUtime=0
/proc/9746/task/9751/stat : 9751 (java) S 9744 9746 7999 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 179289347 937431040 9397 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9746/tid=9752] ppid=9744 vsize=915460 CPUtime=0.23
/proc/9746/task/9752/stat : 9752 (java) S 9744 9746 7999 0 -1 64 402 0 0 0 22 1 0 0 16 0 8 0 179289347 937431040 9397 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9746/tid=9753] ppid=9744 vsize=915460 CPUtime=0
/proc/9746/task/9753/stat : 9753 (java) S 9744 9746 7999 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 179289347 937431040 9397 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9746/tid=9754] ppid=9744 vsize=915460 CPUtime=0
/proc/9746/task/9754/stat : 9754 (java) S 9744 9746 7999 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 179289347 937431040 9397 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 102.45
Current children cumulated vsize (KiB) 915460
[startup+162.619 s]
/proc/loadavg: 0.99 1.00 0.99 2/85 9754
/proc/meminfo: memFree=1296256/2055920 swapFree=4182144/4192956
[pid=9746] ppid=9744 vsize=915460 CPUtime=162.53
/proc/9746/stat : 9746 (java) R 9744 9746 7999 0 -1 0 9664 0 1 0 16245 8 0 0 25 0 8 0 179289339 937431040 9397 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073821408 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 1424.11
Current children cumulated vsize (KiB) 915460
[startup+1484.64 s]
/proc/loadavg: 1.00 1.00 1.00 2/85 9756
/proc/meminfo: memFree=1296128/2055920 swapFree=4182144/4192956
[pid=9746] ppid=9744 vsize=915460 CPUtime=1484.19
/proc/9746/stat : 9746 (java) R 9744 9746 7999 0 -1 0 9664 0 1 0 148406 13 0 0 25 0 8 0 179289339 937431040 9397 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073814428 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9746/statm: 228865 9397 2524 14 0 215335 0
[pid=9746/tid=9748] ppid=9744 vsize=915460 CPUtime=0.03
/proc/9746/task/9748/stat : 9748 (java) S 9744 9746 7999 0 -1 64 411 0 0 0 3 0 0 0 16 0 8 0 179289343 937431040 9397 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9746/tid=9749] ppid=9744 vsize=915460 CPUtime=0
/proc/9746/task/9749/stat : 9749 (java) S 9744 9746 7999 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 179289344 937431040 9397 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9746/tid=9750] ppid=9744 vsize=915460 CPUtime=0
/proc/9746/task/9750/stat : 9750 (java) S 9744 9746 7999 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 179289344 937431040 9397 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9746/tid=9751] ppid=9744 vsize=915460 CPUtime=0
/proc/9746/task/9751/stat : 9751 (java) S 9744 9746 7999 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 179289347 937431040 9397 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9746/tid=9752] ppid=9744 vsize=915460 CPUtime=0.23
/proc/9746/task/9752/stat : 9752 (java) S 9744 9746 7999 0 -1 64 402 0 0 0 22 1 0 0 16 0 8 0 179289347 937431040 9397 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9746/tid=9753] ppid=9744 vsize=915460 CPUtime=0
/proc/9746/task/9753/stat : 9753 (java) S 9744 9746 7999 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 179289347 937431040 9397 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9746/tid=9754] ppid=9744 vsize=915460 CPUtime=0
/proc/9746/task/9754/stat : 9754 (java) S 9744 9746 7999 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 179289347 937431040 9397 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1484.19
Current children cumulated vsize (KiB) 915460
[startup+1544.74 s]
/proc/loadavg: 1.00 1.00 1.00 2/85 9756
/proc/meminfo: memFree=1296128/2055920 swapFree=4182144/4192956
[pid=9746] ppid=9744 vsize=915460 CPUtime=1544.27
/proc/9746/stat : 9746 (java) R 9744 9746 7999 0 -1 0 9664 0 1 0 154414 13 0 0 25 0 8 0 179289339 937431040 9397 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073836903 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9746/statm: 228865 9397 2524 14 0 215335 0
[pid=9746/tid=9748] ppid=9744 vsize=915460 CPUtime=0.03
/proc/9746/task/9748/stat : 9748 (java) S 9744 9746 7999 0 -1 64 411 0 0 0 3 0 0 0 16 0 8 0 179289343 937431040 9397 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9746/tid=9749] ppid=9744 vsize=915460 CPUtime=0
/proc/9746/task/9749/stat : 9749 (java) S 9744 9746 7999 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 179289344 937431040 9397 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9746/tid=9750] ppid=9744 vsize=915460 CPUtime=0
/proc/9746/task/9750/stat : 9750 (java) S 9744 9746 7999 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 179289344 937431040 9397 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9746/tid=9751] ppid=9744 vsize=915460 CPUtime=0
/proc/9746/task/9751/stat : 9751 (java) S 9744 9746 7999 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 179289347 937431040 9397 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9746/tid=9752] ppid=9744 vsize=915460 CPUtime=0.23
/proc/9746/task/9752/stat : 9752 (java) S 9744 9746 7999 0 -1 64 402 0 0 0 22 1 0 0 16 0 8 0 179289347 937431040 9397 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9746/tid=9753] ppid=9744 vsize=915460 CPUtime=0
/proc/9746/task/9753/stat : 9753 (java) S 9744 9746 7999 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 179289347 937431040 9397 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9746/tid=9754] ppid=9744 vsize=915460 CPUtime=0
/proc/9746/task/9754/stat : 9754 (java) S 9744 9746 7999 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 179289347 937431040 9397 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1544.27
Current children cumulated vsize (KiB) 915460
[startup+1604.83 s]
/proc/loadavg: 1.00 1.00 1.00 2/85 9756
/proc/meminfo: memFree=1296128/2055920 swapFree=4182144/4192956
[pid=9746] ppid=9744 vsize=915460 CPUtime=1604.34
/proc/9746/stat : 9746 (java) R 9744 9746 7999 0 -1 0 9664 0 1 0 160421 13 0 0 25 0 8 0 179289339 937431040 9397 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073820583 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9746/statm: 228865 9397 2524 14 0 215335 0
[pid=9746/tid=9748] ppid=9744 vsize=915460 CPUtime=0.03
/proc/9746/task/9748/stat : 9748 (java) S 9744 9746 7999 0 -1 64 411 0 0 0 3 0 0 0 16 0 8 0 179289343 937431040 9397 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9746/tid=9749] ppid=9744 vsize=915460 CPUtime=0
/proc/9746/task/9749/stat : 9749 (java) S 9744 9746 7999 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 179289344 937431040 9397 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9746/tid=9750] ppid=9744 vsize=915460 CPUtime=0
/proc/9746/task/9750/stat : 9750 (java) S 9744 9746 7999 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 179289344 937431040 9397 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9746/tid=9751] ppid=9744 vsize=915460 CPUtime=0
/proc/9746/task/9751/stat : 9751 (java) S 9744 9746 7999 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 179289347 937431040 9397 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9746/tid=9752] ppid=9744 vsize=915460 CPUtime=0.23
/proc/9746/task/9752/stat : 9752 (java) S 9744 9746 7999 0 -1 64 402 0 0 0 22 1 0 0 16 0 8 0 179289347 937431040 9397 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9746/tid=9753] ppid=9744 vsize=915460 CPUtime=0
/proc/9746/task/9753/stat : 9753 (java) S 9744 9746 7999 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 179289347 937431040 9397 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9746/tid=9754] ppid=9744 vsize=915460 CPUtime=0
/proc/9746/task/9754/stat : 9754 (java) S 9744 9746 7999 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 179289347 937431040 9397 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1604.34
Current children cumulated vsize (KiB) 915460
[startup+1664.93 s]
/proc/loadavg: 1.00 1.00 1.00 4/85 9756
/proc/meminfo: memFree=1296128/2055920 swapFree=4182144/4192956
[pid=9746] ppid=9744 vsize=915460 CPUtime=1664.43
/proc/9746/stat : 9746 (java) R 9744 9746 7999 0 -1 0 9664 0 1 0 166429 14 0 0 25 0 8 0 179289339 937431040 9397 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073813428 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9746/statm: 228865 9397 2524 14 0 215335 0
[pid=9746/tid=9748] ppid=9744 vsize=915460 CPUtime=0.03
/proc/9746/task/9748/stat : 9748 (java) S 9744 9746 7999 0 -1 64 411 0 0 0 3 0 0 0 16 0 8 0 179289343 937431040 9397 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9746/tid=9749] ppid=9744 vsize=915460 CPUtime=0
/proc/9746/task/9749/stat : 9749 (java) S 9744 9746 7999 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 179289344 937431040 9397 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9746/tid=9750] ppid=9744 vsize=915460 CPUtime=0
/proc/9746/task/9750/stat : 9750 (java) S 9744 9746 7999 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 179289344 937431040 9397 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9746/tid=9751] ppid=9744 vsize=915460 CPUtime=0
/proc/9746/task/9751/stat : 9751 (java) S 9744 9746 7999 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 179289347 937431040 9397 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9746/tid=9752] ppid=9744 vsize=915460 CPUtime=0.23
/proc/9746/task/9752/stat : 9752 (java) S 9744 9746 7999 0 -1 64 402 0 0 0 22 1 0 0 16 0 8 0 179289347 937431040 9397 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9746/tid=9753] ppid=9744 vsize=915460 CPUtime=0
/proc/9746/task/9753/stat : 9753 (java) S 9744 9746 7999 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 179289347 937431040 9397 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9746/tid=9754] ppid=9744 vsize=915460 CPUtime=0
/proc/9746/task/9754/stat : 9754 (java) S 9744 9746 7999 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 179289347 937431040 9397 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1664.43
Current children cumulated vsize (KiB) 915460
[startup+1725.02 s]
/proc/loadavg: 1.00 1.00 1.00 2/85 9756
/proc/meminfo: memFree=1296128/2055920 swapFree=4182144/4192956
[pid=9746] ppid=9744 vsize=915460 CPUtime=1724.5
/proc/9746/stat : 9746 (java) R 9744 9746 7999 0 -1 0 9664 0 1 0 172436 14 0 0 25 0 8 0 179289339 937431040 9397 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073819303 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9746/statm: 228865 9397 2524 14 0 215335 0
[pid=9746/tid=9748] ppid=9744 vsize=915460 CPUtime=0.03
/proc/9746/task/9748/stat : 9748 (java) S 9744 9746 7999 0 -1 64 411 0 0 0 3 0 0 0 16 0 8 0 179289343 937431040 9397 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9746/tid=9749] ppid=9744 vsize=915460 CPUtime=0
/proc/9746/task/9749/stat : 9749 (java) S 9744 9746 7999 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 179289344 937431040 9397 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9746/tid=9750] ppid=9744 vsize=915460 CPUtime=0
/proc/9746/task/9750/stat : 9750 (java) S 9744 9746 7999 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 179289344 937431040 9397 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9746/tid=9751] ppid=9744 vsize=915460 CPUtime=0
/proc/9746/task/9751/stat : 9751 (java) S 9744 9746 7999 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 179289347 937431040 9397 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9746/tid=9752] ppid=9744 vsize=915460 CPUtime=0.23
/proc/9746/task/9752/stat : 9752 (java) S 9744 9746 7999 0 -1 64 402 0 0 0 22 1 0 0 16 0 8 0 179289347 937431040 9397 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9746/tid=9753] ppid=9744 vsize=915460 CPUtime=0
/proc/9746/task/9753/stat : 9753 (java) S 9744 9746 7999 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 179289347 937431040 9397 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9746/tid=9754] ppid=9744 vsize=915460 CPUtime=0
/proc/9746/task/9754/stat : 9754 (java) S 9744 9746 7999 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 179289347 937431040 9397 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1724.5
Current children cumulated vsize (KiB) 915460
[startup+1785.11 s]
/proc/loadavg: 1.07 1.02 1.00 2/85 9756
/proc/meminfo: memFree=1296128/2055920 swapFree=4182144/4192956
[pid=9746] ppid=9744 vsize=915460 CPUtime=1784.58
/proc/9746/stat : 9746 (java) R 9744 9746 7999 0 -1 0 9664 0 1 0 178444 14 0 0 25 0 8 0 179289339 937431040 9397 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073844515 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9746/statm: 228865 9397 2524 14 0 215335 0
[pid=9746/tid=9748] ppid=9744 vsize=915460 CPUtime=0.03
/proc/9746/task/9748/stat : 9748 (java) S 9744 9746 7999 0 -1 64 411 0 0 0 3 0 0 0 16 0 8 0 179289343 937431040 9397 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9746/tid=9749] ppid=9744 vsize=915460 CPUtime=0
/proc/9746/task/9749/stat : 9749 (java) S 9744 9746 7999 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 179289344 937431040 9397 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9746/tid=9750] ppid=9744 vsize=915460 CPUtime=0
/proc/9746/task/9750/stat : 9750 (java) S 9744 9746 7999 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 179289344 937431040 9397 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9746/tid=9751] ppid=9744 vsize=915460 CPUtime=0
/proc/9746/task/9751/stat : 9751 (java) S 9744 9746 7999 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 179289347 937431040 9397 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9746/tid=9752] ppid=9744 vsize=915460 CPUtime=0.23
/proc/9746/task/9752/stat : 9752 (java) S 9744 9746 7999 0 -1 64 402 0 0 0 22 1 0 0 16 0 8 0 179289347 937431040 9397 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9746/tid=9753] ppid=9744 vsize=915460 CPUtime=0
/proc/9746/task/9753/stat : 9753 (java) S 9744 9746 7999 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 179289347 937431040 9397 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9746/tid=9754] ppid=9744 vsize=915460 CPUtime=0
/proc/9746/task/9754/stat : 9754 (java) S 9744 9746 7999 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 179289347 937431040 9397 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1784.58
Current children cumulated vsize (KiB) 915460
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.62 s]
/proc/loadavg: 1.05 1.01 1.00 2/85 9756
/proc/meminfo: memFree=1296128/2055920 swapFree=4182144/4192956
[pid=9746] ppid=9744 vsize=915460 CPUtime=1800.08
/proc/9746/stat : 9746 (java) R 9744 9746 7999 0 -1 0 9664 0 1 0 179994 14 0 0 25 0 8 0 179289339 937431040 9397 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073821544 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9746/statm: 228865 9397 2524 14 0 215335 0
[pid=9746/tid=9748] ppid=9744 vsize=915460 CPUtime=0.03
/proc/9746/task/9748/stat : 9748 (java) S 9744 9746 7999 0 -1 64 411 0 0 0 3 0 0 0 16 0 8 0 179289343 937431040 9397 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9746/tid=9749] ppid=9744 vsize=915460 CPUtime=0
/proc/9746/task/9749/stat : 9749 (java) S 9744 9746 7999 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 179289344 937431040 9397 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9746/tid=9750] ppid=9744 vsize=915460 CPUtime=0
/proc/9746/task/9750/stat : 9750 (java) S 9744 9746 7999 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 179289344 937431040 9397 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9746/tid=9751] ppid=9744 vsize=915460 CPUtime=0
/proc/9746/task/9751/stat : 9751 (java) S 9744 9746 7999 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 179289347 937431040 9397 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9746/tid=9752] ppid=9744 vsize=915460 CPUtime=0.23
/proc/9746/task/9752/stat : 9752 (java) S 9744 9746 7999 0 -1 64 402 0 0 0 22 1 0 0 16 0 8 0 179289347 937431040 9397 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9746/tid=9753] ppid=9744 vsize=915460 CPUtime=0
/proc/9746/task/9753/stat : 9753 (java) S 9744 9746 7999 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 179289347 937431040 9397 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9746/tid=9754] ppid=9744 vsize=915460 CPUtime=0
/proc/9746/task/9754/stat : 9754 (java) S 9744 9746 7999 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 179289347 937431040 9397 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 915460
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 1800.66
CPU time (s): 1800.14
CPU user time (s): 1799.99
CPU system time (s): 0.149977
CPU usage (%): 99.9707
Max. virtual memory (cumulated for all children) (KiB): 915460
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.99
system time used= 0.149977
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9683
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= 37274
involuntary context switches= 3602
runsolver used 1.85672 s user time and 4.53331 s system time
The end
Begin job on node4 on Tue Jan 9 02:15:38 UTC 2007
IDJOB= 229679
IDBENCH= 6349
FILE ID= node4/229679-1168308938
PBS_JOBID= 3502297
Free space on /tmp= 66314 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-2-50-23-fcd/rand-2-50-23-587-230-fcd-25_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/229679-1168308938/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node4/watcher-229679-1168308938 -o ROOT/results/node4/solver-229679-1168308938 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/229679-1168308938/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= f7bc68ca25c5cfa4d7c359c11a8a7969
RANDOM SEED= 163385017
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.223
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.223
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: 1324440 kB
Buffers: 96616 kB
Cached: 535544 kB
SwapCached: 2552 kB
Active: 384780 kB
Inactive: 285152 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1324440 kB
SwapTotal: 4192956 kB
SwapFree: 4182144 kB
Dirty: 2068 kB
Writeback: 0 kB
Mapped: 47192 kB
Slab: 46864 kB
Committed_AS: 5232336 kB
PageTables: 2016 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= 66314 MiB
End job on node4 on Tue Jan 9 02:45:39 UTC 2007