0.30
0.30 Abscon 109 (November, 2006)
0.30
0.30 configuration
0.30 name=esac.xml
0.33
0.33 instance
0.33 name=/tmp/evaluation/206319-1168171549/unknown.xml
0.36
0.36 domains being loaded...
0.36
0.36 variables being loaded...
0.40 nbVariables=28 nbDomainTypes=1 minDomainSize=28 maxDomainSize=28
0.40 => wckTime=0.095 cpuTime=0.08 mem=6M951
0.40
0.40 relations being loaded...
1.51
1.51 constraints being loaded...
2.22 nbConstraints=92 nbRelationTypes=93 nbMergedConstraints=1 nbExtensionStructures=92
2.22 nbSharedExtensionStructures=0 nbConflictsStructures=92 nbSharedConflictsStructures=0
2.23 nbSharedBinaryRepresentations=0 maxDegree=16 maxArity=3
2.23 => wckTime=1.924 cpuTime=1.58 mem=58M59
2.38
2.38 solver IterativeSystematicSolver being built...
2.54 => wckTime=2.241 cpuTime=1.71 mem=65M618
2.68
2.68 preprocessing
2.68 nbConstraintChecks=50582 nbValidityChecks=83350 nbPropagations=290 nbRevisions=2903 nbUselessRevisions=2533
2.68 nbSingletonTests=41 nbEffectiveSingletonTests=0 nbESACBranches=4 nbRemovedValues=0 detectedInconsistency=no
2.68 => wckTime=0.135 cpuTime=0.11 mem=65M618
2.76
2.76 search
2.76 run=0 nbConstraintChecks=35829 nbValidityChecks=67914 nbPropagations=629 nbRevisions=6704
2.76 nbUselessRevisions=5608 nbAssignments=29 nbFailedAssignments=10 nbBacktracks=11 nbVisitedNodes=46
2.76 nbRestartNogoods=0 mapSize=8 nbInferences=0 nbTooLargeKeys=0
2.76 => wckTime=0.21 cpuTime=0.18 mem=66M626
2.87
2.87 search
2.87 run=1 nbConstraintChecks=95525 nbValidityChecks=185289 nbPropagations=1735 nbRevisions=19683
2.87 nbUselessRevisions=16257 nbAssignments=79 nbFailedAssignments=38 nbBacktracks=26 nbVisitedNodes=134
2.87 nbRestartNogoods=4 mapSize=21 nbInferences=0 nbTooLargeKeys=0
2.87 => wckTime=0.322 cpuTime=0.29 mem=66M626
3.03
3.03 search
3.03 run=2 nbConstraintChecks=183573 nbValidityChecks=369274 nbPropagations=3740 nbRevisions=43619
3.03 nbUselessRevisions=35868 nbAssignments=160 nbFailedAssignments=64 nbBacktracks=50 nbVisitedNodes=233
3.03 nbRestartNogoods=8 mapSize=43 nbInferences=0 nbTooLargeKeys=0
3.03 => wckTime=0.481 cpuTime=0.44 mem=66M626
3.18
3.18 search
3.18 run=3 nbConstraintChecks=273696 nbValidityChecks=548247 nbPropagations=6846 nbRevisions=81523
3.18 nbUselessRevisions=66753 nbAssignments=247 nbFailedAssignments=110 nbBacktracks=83 nbVisitedNodes=390
3.18 nbRestartNogoods=11 mapSize=75 nbInferences=0 nbTooLargeKeys=0
3.18 => wckTime=0.633 cpuTime=0.6 mem=66M626
3.71
3.71 search
3.71 run=4 nbConstraintChecks=584199 nbValidityChecks=1204867 nbPropagations=12614 nbRevisions=155816
3.71 nbUselessRevisions=126633 nbAssignments=477 nbFailedAssignments=282 nbBacktracks=134 nbVisitedNodes=835
3.71 nbRestartNogoods=15 mapSize=126 nbInferences=0 nbTooLargeKeys=0
3.71 => wckTime=1.166 cpuTime=1.13 mem=66M626
4.20
4.20 search
4.20 run=5 nbConstraintChecks=879120 nbValidityChecks=1790455 nbPropagations=21399 nbRevisions=267813
4.20 nbUselessRevisions=216089 nbAssignments=705 nbFailedAssignments=428 nbBacktracks=209 nbVisitedNodes=1261
4.20 nbRestartNogoods=28 mapSize=195 nbInferences=0 nbTooLargeKeys=0
4.20 => wckTime=1.651 cpuTime=1.61 mem=66M626
4.77
4.77 search
4.77 run=6 nbConstraintChecks=1232480 nbValidityChecks=2457470 nbPropagations=33449 nbRevisions=424190
4.77 nbUselessRevisions=341010 nbAssignments=954 nbFailedAssignments=557 nbBacktracks=322 nbVisitedNodes=1708
4.77 nbRestartNogoods=33 mapSize=294 nbInferences=0 nbTooLargeKeys=0
4.77 => wckTime=2.229 cpuTime=2.19 mem=66M626
5.98
5.98 search
5.98 run=7 nbConstraintChecks=1977371 nbValidityChecks=3909678 nbPropagations=51560 nbRevisions=659168
5.98 nbUselessRevisions=528445 nbAssignments=1463 nbFailedAssignments=889 nbBacktracks=493 nbVisitedNodes=2668
5.98 nbRestartNogoods=42 mapSize=442 nbInferences=0 nbTooLargeKeys=0
5.98 => wckTime=3.436 cpuTime=3.39 mem=66M626
7.15
7.15 search
7.15 run=8 nbConstraintChecks=2682182 nbValidityChecks=5323675 nbPropagations=77926 nbRevisions=997978
7.15 nbUselessRevisions=798496 nbAssignments=2072 nbFailedAssignments=1234 nbBacktracks=750 nbVisitedNodes=3774
7.15 nbRestartNogoods=46 mapSize=670 nbInferences=0 nbTooLargeKeys=0
7.15 => wckTime=4.604 cpuTime=4.54 mem=66M626
8.95
8.95 search
8.95 run=9 nbConstraintChecks=3784428 nbValidityChecks=7573159 nbPropagations=117220 nbRevisions=1494835
8.95 nbUselessRevisions=1193486 nbAssignments=3048 nbFailedAssignments=1819 nbBacktracks=1134 nbVisitedNodes=5578
8.95 nbRestartNogoods=53 mapSize=1015 nbInferences=0 nbTooLargeKeys=0
8.95 => wckTime=6.404 cpuTime=6.33 mem=66M626
9.11
9.11 INFO : Stopping hyperNogood (mapSize=1029, nbTooLargekeys=0, mem=66M626)
13.89
13.89 search
13.89 run=10 nbConstraintChecks=6814425 nbValidityChecks=13807742 nbPropagations=182196 nbRevisions=2343137
13.89 nbUselessRevisions=1868115 nbAssignments=5116 nbFailedAssignments=3304 nbBacktracks=1710 nbVisitedNodes=9624
13.89 nbRestartNogoods=57
13.89 => wckTime=11.341 cpuTime=11.27 mem=66M626
17.86
17.86 search
17.86 run=11 nbConstraintChecks=9351412 nbValidityChecks=18738627 nbPropagations=273536 nbRevisions=3523550
17.86 nbUselessRevisions=2803856 nbAssignments=7124 nbFailedAssignments=4423 nbBacktracks=2577 nbVisitedNodes=13277
17.86 nbRestartNogoods=73
17.86 => wckTime=15.317 cpuTime=15.24 mem=66M626
24.96
24.97 search
24.97 run=12 nbConstraintChecks=13972942 nbValidityChecks=27820756 nbPropagations=410253 nbRevisions=5293382
24.97 nbUselessRevisions=4203346 nbAssignments=10612 nbFailedAssignments=6606 nbBacktracks=3875 nbVisitedNodes=19834
24.97 nbRestartNogoods=76
24.97 => wckTime=22.42 cpuTime=22.34 mem=66M626
37.22
37.22 search
37.22 run=13 nbConstraintChecks=21682739 nbValidityChecks=43861638 nbPropagations=619812 nbRevisions=8030718
37.22 nbUselessRevisions=6367910 nbAssignments=17976 nbFailedAssignments=12019 nbBacktracks=5821 nbVisitedNodes=34002
37.22 nbRestartNogoods=86
37.22 => wckTime=34.67 cpuTime=34.59 mem=66M626
51.47
51.47 search
51.47 run=14 nbConstraintChecks=30662326 nbValidityChecks=61638460 nbPropagations=924323 nbRevisions=11996100
51.47 nbUselessRevisions=9509730 nbAssignments=24946 nbFailedAssignments=16064 nbBacktracks=8740 nbVisitedNodes=46854
51.47 nbRestartNogoods=98
51.47 => wckTime=48.928 cpuTime=48.84 mem=66M626
73.33
73.33 search
73.33 run=15 nbConstraintChecks=44199549 nbValidityChecks=88802757 nbPropagations=1365261 nbRevisions=17703256
73.33 nbUselessRevisions=14034749 nbAssignments=34674 nbFailedAssignments=21396 nbBacktracks=13119
73.33 nbVisitedNodes=64725 nbRestartNogoods=117
73.33 => wckTime=70.789 cpuTime=70.69 mem=66M626
109.38
109.38 search
109.38 run=16 nbConstraintChecks=66809173 nbValidityChecks=134295597 nbPropagations=2039177 nbRevisions=26315916
109.38 nbUselessRevisions=20853124 nbAssignments=51516 nbFailedAssignments=31663 nbBacktracks=19688
109.38 nbVisitedNodes=96108 nbRestartNogoods=132
109.38 => wckTime=106.833 cpuTime=106.72 mem=66M626
179.47
179.47 search
179.47 run=17 nbConstraintChecks=110707142 nbValidityChecks=223691077 nbPropagations=3097081 nbRevisions=40144140
179.47 nbUselessRevisions=31792365 nbAssignments=82267 nbFailedAssignments=52545 nbBacktracks=29540
179.47 nbVisitedNodes=155186 nbRestartNogoods=146
179.47 => wckTime=176.928 cpuTime=176.8 mem=66M626
252.50
252.50 search
252.50 run=18 nbConstraintChecks=157449057 nbValidityChecks=315617826 nbPropagations=4639542 nbRevisions=60245896
252.50 nbUselessRevisions=47690901 nbAssignments=118494 nbFailedAssignments=73978 nbBacktracks=44320
252.50 nbVisitedNodes=222578 nbRestartNogoods=171
252.50 => wckTime=249.957 cpuTime=249.8 mem=66M626
388.29
388.29 search
388.29 run=19 nbConstraintChecks=243837629 nbValidityChecks=484975086 nbPropagations=6923872 nbRevisions=90136284
388.29 nbUselessRevisions=71377761 nbAssignments=178602 nbFailedAssignments=111909 nbBacktracks=66491
388.29 nbVisitedNodes=335842 nbRestartNogoods=185
388.29 => wckTime=385.745 cpuTime=385.55 mem=66M626
550.83
550.83 search
550.83 run=20 nbConstraintChecks=346832104 nbValidityChecks=690786946 nbPropagations=10287738 nbRevisions=133985010
550.83 nbUselessRevisions=106118363 nbAssignments=261918 nbFailedAssignments=161966 nbBacktracks=99743
550.83 nbVisitedNodes=491073 nbRestartNogoods=203
550.83 => wckTime=548.286 cpuTime=548.04 mem=66M626
824.72
824.72 search
824.72 run=21 nbConstraintChecks=519383009 nbValidityChecks=1033166828 nbPropagations=15395656 nbRevisions=199983280
824.72 nbUselessRevisions=158363098 nbAssignments=387765 nbFailedAssignments=237928 nbBacktracks=149621
824.72 nbVisitedNodes=726361 nbRestartNogoods=233
824.72 => wckTime=822.178 cpuTime=821.85 mem=66M626
1374.79
1374.79 search
1374.79 run=22 nbConstraintChecks=864077682 nbValidityChecks=1741659051 nbPropagations=23555223 nbRevisions=307756952
1374.79 nbUselessRevisions=243846207 nbAssignments=631286 nbFailedAssignments=406612 nbBacktracks=224440
1374.79 nbVisitedNodes=1197821 nbRestartNogoods=264
1374.79 => wckTime=1372.246 cpuTime=1371.76 mem=66M626
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node35/watcher-206319-1168171549 -o ROOT/results/node35/solver-206319-1168171549 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/206319-1168171549/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.95 0.99 1.00 3/65 11868
/proc/meminfo: memFree=1604888/2055920 swapFree=4191892/4192956
[pid=11867] ppid=11865 vsize=1784 CPUtime=0
/proc/11867/stat : 11867 (java) R 11865 11867 10791 0 -1 0 165 0 0 0 0 0 0 0 19 0 1 0 165548567 1826816 136 18446744073709551615 134512640 134570532 4294956640 18446744073709551615 4294960144 0 2147483391 4096 0 0 0 0 17 1 0 0
/proc/11867/statm: 446 136 102 14 0 91 0
[startup+0.103426 s]
/proc/loadavg: 0.95 0.99 1.00 3/65 11868
/proc/meminfo: memFree=1604888/2055920 swapFree=4191892/4192956
[pid=11867] ppid=11865 vsize=914988 CPUtime=0.08
/proc/11867/stat : 11867 (java) R 11865 11867 10791 0 -1 0 3002 0 1 0 7 1 0 0 16 0 8 0 165548567 936947712 2748 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072944238 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11867/statm: 228747 2748 1428 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.511468 s]
/proc/loadavg: 0.95 0.99 1.00 3/65 11868
/proc/meminfo: memFree=1604888/2055920 swapFree=4191892/4192956
[pid=11867] ppid=11865 vsize=915328 CPUtime=0.49
/proc/11867/stat : 11867 (java) R 11865 11867 10791 0 -1 0 7989 0 1 0 45 4 0 0 17 0 8 0 165548567 937295872 7728 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073563230 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11867/statm: 228832 7729 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.33356 s]
/proc/loadavg: 0.95 0.99 1.00 2/72 11875
/proc/meminfo: memFree=1537760/2055920 swapFree=4191892/4192956
[pid=11867] ppid=11865 vsize=915328 CPUtime=1.31
/proc/11867/stat : 11867 (java) R 11865 11867 10791 0 -1 0 19100 0 1 0 121 10 0 0 19 0 8 0 165548567 937295872 18838 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073581060 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11867/statm: 228832 18838 2149 14 0 215302 0
[pid=11867/tid=11869] ppid=11865 vsize=915328 CPUtime=0.05
/proc/11867/task/11869/stat : 11869 (java) S 11865 11867 10791 0 -1 64 2682 0 0 0 4 1 0 0 17 0 8 0 165548571 937295872 18838 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11867/tid=11870] ppid=11865 vsize=915328 CPUtime=0
/proc/11867/task/11870/stat : 11870 (java) S 11865 11867 10791 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165548572 937295872 18838 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11867/tid=11871] ppid=11865 vsize=915328 CPUtime=0
/proc/11867/task/11871/stat : 11871 (java) S 11865 11867 10791 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165548572 937295872 18838 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11867/tid=11872] ppid=11865 vsize=915328 CPUtime=0
/proc/11867/task/11872/stat : 11872 (java) S 11865 11867 10791 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 165548575 937295872 18838 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11867/tid=11873] ppid=11865 vsize=915328 CPUtime=0.07
/proc/11867/task/11873/stat : 11873 (java) S 11865 11867 10791 0 -1 64 309 0 0 0 7 0 0 0 15 0 8 0 165548575 937295872 18838 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11867/tid=11874] ppid=11865 vsize=915328 CPUtime=0
/proc/11867/task/11874/stat : 11874 (java) S 11865 11867 10791 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 165548575 937295872 18838 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11867/tid=11875] ppid=11865 vsize=915328 CPUtime=0
/proc/11867/task/11875/stat : 11875 (java) S 11865 11867 10791 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 165548575 937295872 18838 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915328
[startup+2.98576 s]
/proc/loadavg: 0.95 0.99 1.00 2/72 11875
/proc/meminfo: memFree=1496992/2055920 swapFree=4191892/4192956
[pid=11867] ppid=11865 vsize=915440 CPUtime=2.97
/proc/11867/stat : 11867 (java) R 11865 11867 10791 0 -1 0 32578 0 1 0 280 17 0 0 17 0 8 0 165548567 937410560 32313 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073634863 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11867/statm: 228860 32313 2531 14 0 215330 0
[pid=11867/tid=11869] ppid=11865 vsize=915440 CPUtime=0.41
/proc/11867/task/11869/stat : 11869 (java) S 11865 11867 10791 0 -1 64 15583 0 0 0 35 6 0 0 17 0 8 0 165548571 937410560 32313 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11867/tid=11870] ppid=11865 vsize=915440 CPUtime=0
/proc/11867/task/11870/stat : 11870 (java) S 11865 11867 10791 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165548572 937410560 32313 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11867/tid=11871] ppid=11865 vsize=915440 CPUtime=0
/proc/11867/task/11871/stat : 11871 (java) S 11865 11867 10791 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165548572 937410560 32313 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11867/tid=11872] ppid=11865 vsize=915440 CPUtime=0
/proc/11867/task/11872/stat : 11872 (java) S 11865 11867 10791 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 165548575 937410560 32313 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11867/tid=11873] ppid=11865 vsize=915440 CPUtime=0.19
/proc/11867/task/11873/stat : 11873 (java) S 11865 11867 10791 0 -1 64 379 0 0 0 18 1 0 0 16 0 8 0 165548575 937410560 32313 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11867/tid=11874] ppid=11865 vsize=915440 CPUtime=0
/proc/11867/task/11874/stat : 11874 (java) S 11865 11867 10791 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 165548575 937410560 32313 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11867/tid=11875] ppid=11865 vsize=915440 CPUtime=0
/proc/11867/task/11875/stat : 11875 (java) S 11865 11867 10791 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 165548575 937410560 32313 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.97
Current children cumulated vsize (KiB) 915440
[startup+6.27415 s]
/proc/loadavg: 0.95 0.99 1.00 2/72 11875
/proc/meminfo: memFree=1485024/2055920 swapFree=4191892/4192956
[pid=11867] ppid=11865 vsize=915440 CPUtime=6.27
/proc/11867/stat : 11867 (java) R 11865 11867 10791 0 -1 0 32596 0 1 0 609 18 0 0 16 0 8 0 165548567 937410560 32328 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073634819 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11867/statm: 228860 32328 2531 14 0 215330 0
[pid=11867/tid=11869] ppid=11865 vsize=915440 CPUtime=0.41
/proc/11867/task/11869/stat : 11869 (java) S 11865 11867 10791 0 -1 64 15583 0 0 0 35 6 0 0 17 0 8 0 165548571 937410560 32328 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11867/tid=11870] ppid=11865 vsize=915440 CPUtime=0
/proc/11867/task/11870/stat : 11870 (java) S 11865 11867 10791 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165548572 937410560 32328 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11867/tid=11871] ppid=11865 vsize=915440 CPUtime=0
/proc/11867/task/11871/stat : 11871 (java) S 11865 11867 10791 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165548572 937410560 32328 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11867/tid=11872] ppid=11865 vsize=915440 CPUtime=0
/proc/11867/task/11872/stat : 11872 (java) S 11865 11867 10791 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 165548575 937410560 32328 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11867/tid=11873] ppid=11865 vsize=915440 CPUtime=0.22
/proc/11867/task/11873/stat : 11873 (java) S 11865 11867 10791 0 -1 64 394 0 0 0 21 1 0 0 16 0 8 0 165548575 937410560 32328 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11867/tid=11874] ppid=11865 vsize=915440 CPUtime=0
/proc/11867/task/11874/stat : 11874 (java) S 11865 11867 10791 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 165548575 937410560 32328 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11867/tid=11875] ppid=11865 vsize=915440 CPUtime=0
/proc/11867/task/11875/stat : 11875 (java) S 11865 11867 10791 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 165548575 937410560 32328 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 915440
[startup+12.7539 s]
/proc/loadavg: 0.95 0.99 1.00 2/72 11875
/proc/meminfo: memFree=1485152/2055920 swapFree=4191892/4192956
[pid=11867] ppid=11865 vsize=915440 CPUtime=12.75
/proc/11867/stat : 11867 (java) R 11865 11867 10791 0 -1 0 32603 0 1 0 1257 18 0 0 17 0 8 0 165548567 937410560 32333 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073808868 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11867/statm: 228860 32333 2531 14 0 215330 0
[pid=11867/tid=11869] ppid=11865 vsize=915440 CPUtime=0.41
/proc/11867/task/11869/stat : 11869 (java) S 11865 11867 10791 0 -1 64 15583 0 0 0 35 6 0 0 16 0 8 0 165548571 937410560 32333 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11867/tid=11870] ppid=11865 vsize=915440 CPUtime=0
/proc/11867/task/11870/stat : 11870 (java) S 11865 11867 10791 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165548572 937410560 32333 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11867/tid=11871] ppid=11865 vsize=915440 CPUtime=0
/proc/11867/task/11871/stat : 11871 (java) S 11865 11867 10791 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165548572 937410560 32333 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11867/tid=11872] ppid=11865 vsize=915440 CPUtime=0
/proc/11867/task/11872/stat : 11872 (java) S 11865 11867 10791 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 165548575 937410560 32333 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11867/tid=11873] ppid=11865 vsize=915440 CPUtime=0.23
/proc/11867/task/11873/stat : 11873 (java) S 11865 11867 10791 0 -1 64 399 0 0 0 22 1 0 0 16 0 8 0 165548575 937410560 32333 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11867/tid=11874] ppid=11865 vsize=915440 CPUtime=0
/proc/11867/task/11874/stat : 11874 (java) S 11865 11867 10791 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 165548575 937410560 32333 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11867/tid=11875] ppid=11865 vsize=915440 CPUtime=0
/proc/11867/task/11875/stat : 11875 (java) S 11865 11867 10791 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 165548575 937410560 32333 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.75
Current children cumulated vsize (KiB) 915440
[startup+25.5774 s]
/proc/loadavg: 0.96 0.99 1.00 2/72 11875
/proc/meminfo: memFree=1485344/2055920 swapFree=4191892/4192956
[pid=11867] ppid=11865 vsize=915440 CPUtime=25.57
/proc/11867/stat : 11867 (java) R 11865 11867 10791 0 -1 0 32603 0 1 0 2539 18 0 0 25 0 8 0 165548567 937410560 32333 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073634778 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11867/statm: 228860 32333 2531 14 0 215330 0
[pid=11867/tid=11869] ppid=11865 vsize=915440 CPUtime=0.41
/proc/11867/task/11869/stat : 11869 (java) S 11865 11867 10791 0 -1 64 15583 0 0 0 35 6 0 0 16 0 8 0 165548571 937410560 32333 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11867/tid=11870] ppid=11865 vsize=915440 CPUtime=0
/proc/11867/task/11870/stat : 11870 (java) S 11865 11867 10791 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165548572 937410560 32333 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11867/tid=11871] ppid=11865 vsize=915440 CPUtime=0
/proc/11867/task/11871/stat : 11871 (java) S 11865 11867 10791 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165548572 937410560 32333 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11867/tid=11872] ppid=11865 vsize=915440 CPUtime=0
/proc/11867/task/11872/stat : 11872 (java) S 11865 11867 10791 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 165548575 937410560 32333 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11867/tid=11873] ppid=11865 vsize=915440 CPUtime=0.24
/proc/11867/task/11873/stat : 11873 (java) S 11865 11867 10791 0 -1 64 399 0 0 0 23 1 0 0 16 0 8 0 165548575 937410560 32333 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11867/tid=11874] ppid=11865 vsize=915440 CPUtime=0
/proc/11867/task/11874/stat : 11874 (java) S 11865 11867 10791 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 165548575 937410560 32333 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11867/tid=11875] ppid=11865 vsize=915440 CPUtime=0
/proc/11867/task/11875/stat : 11875 (java) S 11865 11867 10791 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 165548575 937410560 32333 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.57
Current children cumulated vsize (KiB) 915440
[startup+51.2575 s]
/proc/loadavg: 0.98 0.99 1.00 2/72 11875
/proc/meminfo: memFree=1485408/2055920 swapFree=4191892/4192956
[pid=11867] ppid=11865 vsize=915440 CPUtime=51.24
/proc/11867/stat : 11867 (java) R 11865 11867 10791 0 -1 0 32603 0 1 0 5106 18 0 0 25 0 8 0 165548567 937410560 32333 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073634812 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11867/statm: 228860 32333 2531 14 0 215330 0
[pid=11867/tid=11869] ppid=11865 vsize=915440 CPUtime=0.41
/proc/11867/task/11869/stat : 11869 (java) S 11865 11867 10791 0 -1 64 15583 0 0 0 35 6 0 0 16 0 8 0 165548571 937410560 32333 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11867/tid=11870] ppid=11865 vsize=915440 CPUtime=0
/proc/11867/task/11870/stat : 11870 (java) S 11865 11867 10791 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165548572 937410560 32333 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11867/tid=11871] ppid=11865 vsize=915440 CPUtime=0
/proc/11867/task/11871/stat : 11871 (java) S 11865 11867 10791 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165548572 937410560 32333 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11867/tid=11872] ppid=11865 vsize=915440 CPUtime=0
/proc/11867/task/11872/stat : 11872 (java) S 11865 11867 10791 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 165548575 937410560 32333 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11867/tid=11873] ppid=11865 vsize=915440 CPUtime=0.24
/proc/11867/task/11873/stat : 11873 (java) S 11865 11867 10791 0 -1 64 399 0 0 0 23 1 0 0 16 0 8 0 165548575 937410560 32333 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11867/tid=11874] ppid=11865 vsize=915440 CPUtime=0
/proc/11867/task/11874/stat : 11874 (java) S 11865 11867 10791 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 165548575 937410560 32333 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11867/tid=11875] ppid=11865 vsize=915440 CPUtime=0
/proc/11867/task/11875/stat : 11875 (java) S 11865 11867 10791 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 165548575 937410560 32333 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 51.24
Current children cumulated vsize (KiB) 915440
[startup+102.513 s]
/proc/loadavg: 0.99 0.99 1.00 2/72 11875
/proc/meminfo: memFree=1485408/2055920 swapFree=4191892/4192956
[pid=11867] ppid=11865 vsize=915440 CPUtime=102.47
/proc/11867/stat : 11867 (java) R 11865 11867 10791 0 -1 0 32605 0 1 0 10229 18 0 0 25 0 8 0 165548567 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073634812 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11867/statm: 228860 32334 2531 14 0 215330 0
[pid=11867/tid=11869] ppid=11865 vsize=915440 CPUtime=0.41
/proc/11867/task/11869/stat : 11869 (java) S 11865 11867 10791 0 -1 64 15583 0 0 0 35 6 0 0 16 0 8 0 165548571 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11867/tid=11870] ppid=11865 vsize=915440 CPUtime=0
/proc/11867/task/11870/stat : 11870 (java) S 11865 11867 10791 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165548572 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11867/tid=11871] ppid=11865 vsize=915440 CPUtime=0
/proc/11867/task/11871/stat : 11871 (java) S 11865 11867 10791 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165548572 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11867/tid=11872] ppid=11865 vsize=915440 CPUtime=0
/proc/11867/task/11872/stat : 11872 (java) S 11865 11867 10791 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 165548575 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11867/tid=11873] ppid=11865 vsize=915440 CPUtime=0.24
/proc/11867/task/11873/stat : 11873 (java) S 11865 11867 10791 0 -1 64 400 0 0 0 23 1 0 0 16 0 8 0 165548575 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11867/tid=11874] ppid=11865 vsize=915440 CPUtime=0
/proc/11867/task/11874/stat : 11874 (java) S 11865 11867 10791 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 165548575 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11867/tid=11875] ppid=11865 vsize=915440 CPUtime=0
/proc/11867/task/11875/stat : 11875 (java) S 11865 11867 10791 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 165548575 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 102.47
Current children cumulated vsize (KiB) 915440
[startup+162.597 s]
/proc/loadavg: 0.99 0.99 1.00 2/72 11875
/proc/meminfo: memFree=1485408/2055920 swapFree=4191892/4192956
[pid=11867] ppid=11865 vsize=915440 CPUtime=162.54
/proc/11867/stat : 11867 (java) R 11865 11867 10791 0 -1 0 32605 0 1 0 16236 18 0 0 25 0 8 0 165548567 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073808816 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 1423.97
Current children cumulated vsize (KiB) 915440
[startup+1484.48 s]
/proc/loadavg: 1.00 1.00 1.00 2/72 11877
/proc/meminfo: memFree=1485280/2055920 swapFree=4191892/4192956
[pid=11867] ppid=11865 vsize=915440 CPUtime=1484.04
/proc/11867/stat : 11867 (java) R 11865 11867 10791 0 -1 0 32606 0 1 0 148385 19 0 0 25 0 8 0 165548567 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073817814 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11867/statm: 228860 32335 2531 14 0 215330 0
[pid=11867/tid=11869] ppid=11865 vsize=915440 CPUtime=0.41
/proc/11867/task/11869/stat : 11869 (java) S 11865 11867 10791 0 -1 64 15583 0 0 0 35 6 0 0 16 0 8 0 165548571 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11867/tid=11870] ppid=11865 vsize=915440 CPUtime=0
/proc/11867/task/11870/stat : 11870 (java) S 11865 11867 10791 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165548572 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11867/tid=11871] ppid=11865 vsize=915440 CPUtime=0
/proc/11867/task/11871/stat : 11871 (java) S 11865 11867 10791 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165548572 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11867/tid=11872] ppid=11865 vsize=915440 CPUtime=0
/proc/11867/task/11872/stat : 11872 (java) S 11865 11867 10791 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 165548575 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11867/tid=11873] ppid=11865 vsize=915440 CPUtime=0.24
/proc/11867/task/11873/stat : 11873 (java) S 11865 11867 10791 0 -1 64 401 0 0 0 23 1 0 0 16 0 8 0 165548575 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11867/tid=11874] ppid=11865 vsize=915440 CPUtime=0
/proc/11867/task/11874/stat : 11874 (java) S 11865 11867 10791 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 165548575 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11867/tid=11875] ppid=11865 vsize=915440 CPUtime=0
/proc/11867/task/11875/stat : 11875 (java) S 11865 11867 10791 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 165548575 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1484.04
Current children cumulated vsize (KiB) 915440
[startup+1544.57 s]
/proc/loadavg: 1.00 1.00 1.00 2/72 11877
/proc/meminfo: memFree=1485280/2055920 swapFree=4191892/4192956
[pid=11867] ppid=11865 vsize=915440 CPUtime=1544.11
/proc/11867/stat : 11867 (java) R 11865 11867 10791 0 -1 0 32606 0 1 0 154392 19 0 0 25 0 8 0 165548567 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073664884 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11867/statm: 228860 32335 2531 14 0 215330 0
[pid=11867/tid=11869] ppid=11865 vsize=915440 CPUtime=0.41
/proc/11867/task/11869/stat : 11869 (java) S 11865 11867 10791 0 -1 64 15583 0 0 0 35 6 0 0 16 0 8 0 165548571 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11867/tid=11870] ppid=11865 vsize=915440 CPUtime=0
/proc/11867/task/11870/stat : 11870 (java) S 11865 11867 10791 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165548572 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11867/tid=11871] ppid=11865 vsize=915440 CPUtime=0
/proc/11867/task/11871/stat : 11871 (java) S 11865 11867 10791 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165548572 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11867/tid=11872] ppid=11865 vsize=915440 CPUtime=0
/proc/11867/task/11872/stat : 11872 (java) S 11865 11867 10791 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 165548575 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11867/tid=11873] ppid=11865 vsize=915440 CPUtime=0.24
/proc/11867/task/11873/stat : 11873 (java) S 11865 11867 10791 0 -1 64 401 0 0 0 23 1 0 0 16 0 8 0 165548575 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11867/tid=11874] ppid=11865 vsize=915440 CPUtime=0
/proc/11867/task/11874/stat : 11874 (java) S 11865 11867 10791 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 165548575 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11867/tid=11875] ppid=11865 vsize=915440 CPUtime=0
/proc/11867/task/11875/stat : 11875 (java) S 11865 11867 10791 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 165548575 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1544.11
Current children cumulated vsize (KiB) 915440
[startup+1604.65 s]
/proc/loadavg: 1.06 1.01 1.00 2/72 11877
/proc/meminfo: memFree=1485280/2055920 swapFree=4191892/4192956
[pid=11867] ppid=11865 vsize=915440 CPUtime=1604.17
/proc/11867/stat : 11867 (java) R 11865 11867 10791 0 -1 0 32606 0 1 0 160398 19 0 0 25 0 8 0 165548567 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073634812 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11867/statm: 228860 32335 2531 14 0 215330 0
[pid=11867/tid=11869] ppid=11865 vsize=915440 CPUtime=0.41
/proc/11867/task/11869/stat : 11869 (java) S 11865 11867 10791 0 -1 64 15583 0 0 0 35 6 0 0 16 0 8 0 165548571 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11867/tid=11870] ppid=11865 vsize=915440 CPUtime=0
/proc/11867/task/11870/stat : 11870 (java) S 11865 11867 10791 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165548572 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11867/tid=11871] ppid=11865 vsize=915440 CPUtime=0
/proc/11867/task/11871/stat : 11871 (java) S 11865 11867 10791 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165548572 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11867/tid=11872] ppid=11865 vsize=915440 CPUtime=0
/proc/11867/task/11872/stat : 11872 (java) S 11865 11867 10791 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 165548575 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11867/tid=11873] ppid=11865 vsize=915440 CPUtime=0.24
/proc/11867/task/11873/stat : 11873 (java) S 11865 11867 10791 0 -1 64 401 0 0 0 23 1 0 0 16 0 8 0 165548575 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11867/tid=11874] ppid=11865 vsize=915440 CPUtime=0
/proc/11867/task/11874/stat : 11874 (java) S 11865 11867 10791 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 165548575 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11867/tid=11875] ppid=11865 vsize=915440 CPUtime=0
/proc/11867/task/11875/stat : 11875 (java) S 11865 11867 10791 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 165548575 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1604.17
Current children cumulated vsize (KiB) 915440
[startup+1664.73 s]
/proc/loadavg: 1.02 1.01 1.00 2/72 11877
/proc/meminfo: memFree=1485216/2055920 swapFree=4191892/4192956
[pid=11867] ppid=11865 vsize=915440 CPUtime=1664.24
/proc/11867/stat : 11867 (java) R 11865 11867 10791 0 -1 0 32606 0 1 0 166405 19 0 0 25 0 8 0 165548567 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073634812 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11867/statm: 228860 32335 2531 14 0 215330 0
[pid=11867/tid=11869] ppid=11865 vsize=915440 CPUtime=0.41
/proc/11867/task/11869/stat : 11869 (java) S 11865 11867 10791 0 -1 64 15583 0 0 0 35 6 0 0 16 0 8 0 165548571 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11867/tid=11870] ppid=11865 vsize=915440 CPUtime=0
/proc/11867/task/11870/stat : 11870 (java) S 11865 11867 10791 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165548572 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11867/tid=11871] ppid=11865 vsize=915440 CPUtime=0
/proc/11867/task/11871/stat : 11871 (java) S 11865 11867 10791 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165548572 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11867/tid=11872] ppid=11865 vsize=915440 CPUtime=0
/proc/11867/task/11872/stat : 11872 (java) S 11865 11867 10791 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 165548575 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11867/tid=11873] ppid=11865 vsize=915440 CPUtime=0.24
/proc/11867/task/11873/stat : 11873 (java) S 11865 11867 10791 0 -1 64 401 0 0 0 23 1 0 0 16 0 8 0 165548575 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11867/tid=11874] ppid=11865 vsize=915440 CPUtime=0
/proc/11867/task/11874/stat : 11874 (java) S 11865 11867 10791 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 165548575 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11867/tid=11875] ppid=11865 vsize=915440 CPUtime=0
/proc/11867/task/11875/stat : 11875 (java) S 11865 11867 10791 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 165548575 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1664.24
Current children cumulated vsize (KiB) 915440
[startup+1724.82 s]
/proc/loadavg: 1.00 1.00 1.00 2/72 11877
/proc/meminfo: memFree=1485216/2055920 swapFree=4191892/4192956
[pid=11867] ppid=11865 vsize=915440 CPUtime=1724.3
/proc/11867/stat : 11867 (java) R 11865 11867 10791 0 -1 0 32606 0 1 0 172411 19 0 0 25 0 8 0 165548567 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073634812 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11867/statm: 228860 32335 2531 14 0 215330 0
[pid=11867/tid=11869] ppid=11865 vsize=915440 CPUtime=0.41
/proc/11867/task/11869/stat : 11869 (java) S 11865 11867 10791 0 -1 64 15583 0 0 0 35 6 0 0 16 0 8 0 165548571 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11867/tid=11870] ppid=11865 vsize=915440 CPUtime=0
/proc/11867/task/11870/stat : 11870 (java) S 11865 11867 10791 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165548572 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11867/tid=11871] ppid=11865 vsize=915440 CPUtime=0
/proc/11867/task/11871/stat : 11871 (java) S 11865 11867 10791 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165548572 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11867/tid=11872] ppid=11865 vsize=915440 CPUtime=0
/proc/11867/task/11872/stat : 11872 (java) S 11865 11867 10791 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 165548575 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11867/tid=11873] ppid=11865 vsize=915440 CPUtime=0.24
/proc/11867/task/11873/stat : 11873 (java) S 11865 11867 10791 0 -1 64 401 0 0 0 23 1 0 0 16 0 8 0 165548575 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11867/tid=11874] ppid=11865 vsize=915440 CPUtime=0
/proc/11867/task/11874/stat : 11874 (java) S 11865 11867 10791 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 165548575 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11867/tid=11875] ppid=11865 vsize=915440 CPUtime=0
/proc/11867/task/11875/stat : 11875 (java) S 11865 11867 10791 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 165548575 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1724.3
Current children cumulated vsize (KiB) 915440
[startup+1784.9 s]
/proc/loadavg: 1.00 1.00 1.00 2/72 11877
/proc/meminfo: memFree=1485216/2055920 swapFree=4191892/4192956
[pid=11867] ppid=11865 vsize=915440 CPUtime=1784.37
/proc/11867/stat : 11867 (java) R 11865 11867 10791 0 -1 0 32606 0 1 0 178418 19 0 0 25 0 8 0 165548567 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073797317 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11867/statm: 228860 32335 2531 14 0 215330 0
[pid=11867/tid=11869] ppid=11865 vsize=915440 CPUtime=0.41
/proc/11867/task/11869/stat : 11869 (java) S 11865 11867 10791 0 -1 64 15583 0 0 0 35 6 0 0 16 0 8 0 165548571 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11867/tid=11870] ppid=11865 vsize=915440 CPUtime=0
/proc/11867/task/11870/stat : 11870 (java) S 11865 11867 10791 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165548572 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11867/tid=11871] ppid=11865 vsize=915440 CPUtime=0
/proc/11867/task/11871/stat : 11871 (java) S 11865 11867 10791 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165548572 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11867/tid=11872] ppid=11865 vsize=915440 CPUtime=0
/proc/11867/task/11872/stat : 11872 (java) S 11865 11867 10791 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 165548575 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11867/tid=11873] ppid=11865 vsize=915440 CPUtime=0.24
/proc/11867/task/11873/stat : 11873 (java) S 11865 11867 10791 0 -1 64 401 0 0 0 23 1 0 0 16 0 8 0 165548575 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11867/tid=11874] ppid=11865 vsize=915440 CPUtime=0
/proc/11867/task/11874/stat : 11874 (java) S 11865 11867 10791 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 165548575 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11867/tid=11875] ppid=11865 vsize=915440 CPUtime=0
/proc/11867/task/11875/stat : 11875 (java) S 11865 11867 10791 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 165548575 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1784.37
Current children cumulated vsize (KiB) 915440
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.62 s]
/proc/loadavg: 1.00 1.00 1.00 2/72 11877
/proc/meminfo: memFree=1485216/2055920 swapFree=4191892/4192956
[pid=11867] ppid=11865 vsize=915440 CPUtime=1800.08
/proc/11867/stat : 11867 (java) R 11865 11867 10791 0 -1 0 32606 0 1 0 179989 19 0 0 25 0 8 0 165548567 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073630000 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11867/statm: 228860 32335 2531 14 0 215330 0
[pid=11867/tid=11869] ppid=11865 vsize=915440 CPUtime=0.41
/proc/11867/task/11869/stat : 11869 (java) S 11865 11867 10791 0 -1 64 15583 0 0 0 35 6 0 0 16 0 8 0 165548571 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11867/tid=11870] ppid=11865 vsize=915440 CPUtime=0
/proc/11867/task/11870/stat : 11870 (java) S 11865 11867 10791 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165548572 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11867/tid=11871] ppid=11865 vsize=915440 CPUtime=0
/proc/11867/task/11871/stat : 11871 (java) S 11865 11867 10791 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165548572 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11867/tid=11872] ppid=11865 vsize=915440 CPUtime=0
/proc/11867/task/11872/stat : 11872 (java) S 11865 11867 10791 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 165548575 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11867/tid=11873] ppid=11865 vsize=915440 CPUtime=0.24
/proc/11867/task/11873/stat : 11873 (java) S 11865 11867 10791 0 -1 64 401 0 0 0 23 1 0 0 16 0 8 0 165548575 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11867/tid=11874] ppid=11865 vsize=915440 CPUtime=0
/proc/11867/task/11874/stat : 11874 (java) S 11865 11867 10791 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 165548575 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11867/tid=11875] ppid=11865 vsize=915440 CPUtime=0
/proc/11867/task/11875/stat : 11875 (java) S 11865 11867 10791 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 165548575 937410560 32335 18446744073709551615 134512640 134570532 4294956480 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) 915440
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 1800.67
CPU time (s): 1800.14
CPU user time (s): 1799.92
CPU system time (s): 0.212967
CPU usage (%): 99.9707
Max. virtual memory (cumulated for all children) (KiB): 915440
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.92
system time used= 0.212967
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32624
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= 37285
involuntary context switches= 24643
runsolver used 1.72474 s user time and 4.66329 s system time
The end
Begin job on node35 on Sun Jan 7 12:05:49 UTC 2007
IDJOB= 206319
IDBENCH= 4199
FILE ID= node35/206319-1168171549
PBS_JOBID= 3479006
Free space on /tmp= 66554 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-3-28-28/rand-3-28-28-93-632-35_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/206319-1168171549/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node35/watcher-206319-1168171549 -o ROOT/results/node35/solver-206319-1168171549 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/206319-1168171549/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= c30b577053b6708cb9fc80132f875f5d
RANDOM SEED= 895883779
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.234
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.234
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: 1605240 kB
Buffers: 29744 kB
Cached: 349972 kB
SwapCached: 268 kB
Active: 175140 kB
Inactive: 219228 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1605240 kB
SwapTotal: 4192956 kB
SwapFree: 4191892 kB
Dirty: 7472 kB
Writeback: 0 kB
Mapped: 23588 kB
Slab: 42336 kB
Committed_AS: 3490484 kB
PageTables: 1412 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= 66554 MiB
End job on node35 on Sun Jan 7 12:35:50 UTC 2007