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/215106-1168233475/unknown.xml
0.36
0.36 domains being loaded...
0.36
0.36 variables being loaded...
0.47 nbVariables=1064 nbDomainTypes=1 minDomainSize=2 maxDomainSize=2
0.47 => wckTime=0.171 cpuTime=0.14 mem=8M869
0.47
0.47 predicates being loaded...
0.48
0.48 constraints being loaded...
1.71 nbConstraints=8357 nbConvertedConstraints=7060 nbConvertConstraintsChecks=65560 nbExtensionStructures=2
1.71 nbSharedExtensionStructures=7058 nbConflictsStructures=4 nbSharedConflictsStructures=8353
1.71 nbSharedBinaryRepresentations=5 nbEvaluationManagers=2 nbSharedEvaluationManagers=1295 maxDegree=168
1.71 maxArity=16
1.71 => wckTime=1.406 cpuTime=1.23 mem=42M816
1.82
1.82 solver IterativeSystematicSolver being built...
2.16 => wckTime=1.857 cpuTime=1.49 mem=22M46
4.28
4.28 preprocessing
4.28 nbConstraintChecks=99907 nbValidityChecks=476 nbPropagations=6746 nbRevisions=58274 nbUselessRevisions=53867
4.28 nbSingletonTests=1475 nbEffectiveSingletonTests=0 nbESACBranches=8 nbRemovedValues=0 detectedInconsistency=no
4.28 => wckTime=2.119 cpuTime=2.06 mem=23M47
4.74
4.74 search
4.74 run=0 nbConstraintChecks=228270 nbValidityChecks=2092 nbPropagations=16730 nbRevisions=204156
4.74 nbUselessRevisions=188853 nbAssignments=125 nbFailedAssignments=39 nbBacktracks=16 nbVisitedNodes=169
4.74 nbRestartNogoods=0 mapSize=12 nbInferences=0 nbTooLargeKeys=0
4.74 => wckTime=2.576 cpuTime=2.49 mem=24M82
6.53
6.53 search
6.53 run=1 nbConstraintChecks=722833 nbValidityChecks=8969 nbPropagations=55938 nbRevisions=691037
6.53 nbUselessRevisions=637067 nbAssignments=872 nbFailedAssignments=69 nbBacktracks=41 nbVisitedNodes=319
6.53 nbRestartNogoods=31 mapSize=36 nbInferences=0 nbTooLargeKeys=0
6.53 => wckTime=4.366 cpuTime=4.25 mem=24M82
7.12
7.12 search
7.12 run=2 nbConstraintChecks=1022426 nbValidityChecks=16830 nbPropagations=108395 nbRevisions=1366932
7.12 nbUselessRevisions=1260098 nbAssignments=1110 nbFailedAssignments=109 nbBacktracks=63 nbVisitedNodes=501
7.12 nbRestartNogoods=38 mapSize=53 nbInferences=0 nbTooLargeKeys=0
7.12 => wckTime=4.96 cpuTime=4.83 mem=24M82
9.12
9.12 search
9.12 run=3 nbConstraintChecks=1789756 nbValidityChecks=92389 nbPropagations=197567 nbRevisions=2586995
9.12 nbUselessRevisions=2389254 nbAssignments=1943 nbFailedAssignments=166 nbBacktracks=109 nbVisitedNodes=737
9.12 nbRestartNogoods=65 mapSize=94 nbInferences=0 nbTooLargeKeys=0
9.12 => wckTime=6.964 cpuTime=6.81 mem=24M82
10.36
10.37 search
10.37 run=4 nbConstraintChecks=2407149 nbValidityChecks=123796 nbPropagations=315559 nbRevisions=4212113
10.37 nbUselessRevisions=3893131 nbAssignments=2472 nbFailedAssignments=232 nbBacktracks=175 nbVisitedNodes=1004
10.37 nbRestartNogoods=84 mapSize=155 nbInferences=0 nbTooLargeKeys=0
10.37 => wckTime=8.204 cpuTime=8.04 mem=24M82
11.16
11.16 search
11.16 run=5 nbConstraintChecks=2926467 nbValidityChecks=129464 nbPropagations=457721 nbRevisions=6171664
11.16 nbUselessRevisions=5705635 nbAssignments=2739 nbFailedAssignments=310 nbBacktracks=255 nbVisitedNodes=1297
11.16 nbRestartNogoods=90 mapSize=224 nbInferences=0 nbTooLargeKeys=0
11.16 => wckTime=9.002 cpuTime=8.83 mem=24M82
12.78
12.78 search
12.78 run=6 nbConstraintChecks=3857414 nbValidityChecks=155790 nbPropagations=643349 nbRevisions=8735251
12.78 nbUselessRevisions=8076224 nbAssignments=3346 nbFailedAssignments=439 nbBacktracks=371 nbVisitedNodes=1774
12.78 nbRestartNogoods=108 mapSize=323 nbInferences=3 nbTooLargeKeys=0
12.78 => wckTime=10.623 cpuTime=10.43 mem=24M82
15.50
15.50 search
15.50 run=7 nbConstraintChecks=5211987 nbValidityChecks=170419 nbPropagations=894178 nbRevisions=12128974
15.50 nbUselessRevisions=11208973 nbAssignments=4835 nbFailedAssignments=588 nbBacktracks=553 nbVisitedNodes=2338
15.50 nbRestartNogoods=145 mapSize=490 nbInferences=11 nbTooLargeKeys=0
15.50 => wckTime=13.344 cpuTime=13.12 mem=25M83
17.51
17.51 search
17.51 run=8 nbConstraintChecks=6574962 nbValidityChecks=214729 nbPropagations=1207892 nbRevisions=16444883
17.51 nbUselessRevisions=15197213 nbAssignments=5505 nbFailedAssignments=824 nbBacktracks=818 nbVisitedNodes=3160
17.51 nbRestartNogoods=147 mapSize=730 nbInferences=18 nbTooLargeKeys=0
17.51 => wckTime=15.35 cpuTime=15.1 mem=25M83
20.56
20.56 search
20.56 run=9 nbConstraintChecks=8478464 nbValidityChecks=242792 nbPropagations=1612090 nbRevisions=22003877
20.56 nbUselessRevisions=20332363 nbAssignments=6492 nbFailedAssignments=1097 nbBacktracks=1204 nbVisitedNodes=4220
20.56 nbRestartNogoods=163 mapSize=1065 nbInferences=36 nbTooLargeKeys=0
20.56 => wckTime=18.404 cpuTime=18.13 mem=25M83
23.85
23.85 search
23.85 run=10 nbConstraintChecks=10771233 nbValidityChecks=316803 nbPropagations=2122123 nbRevisions=29116624
23.85 nbUselessRevisions=26909148 nbAssignments=7516 nbFailedAssignments=1470 nbBacktracks=1780 nbVisitedNodes=5683
23.85 nbRestartNogoods=164 mapSize=1481 nbInferences=42 nbTooLargeKeys=0
23.85 => wckTime=21.687 cpuTime=21.38 mem=26M85
29.62
29.62 search
29.62 run=11 nbConstraintChecks=13843759 nbValidityChecks=358596 nbPropagations=2778460 nbRevisions=38245908
29.62 nbUselessRevisions=35347699 nbAssignments=9717 nbFailedAssignments=1902 nbBacktracks=2645 nbVisitedNodes=7583
29.62 nbRestartNogoods=185 mapSize=1989 nbInferences=50 nbTooLargeKeys=0
29.62 => wckTime=27.459 cpuTime=26.92 mem=27M86
37.26
37.26 search
37.26 run=12 nbConstraintChecks=18753346 nbValidityChecks=517332 nbPropagations=3662993 nbRevisions=50685272
37.26 nbUselessRevisions=46855440 nbAssignments=12402 nbFailedAssignments=2658 nbBacktracks=3952 nbVisitedNodes=10597
37.26 nbRestartNogoods=207 mapSize=2884 nbInferences=59 nbTooLargeKeys=0
37.26 => wckTime=35.101 cpuTime=34.56 mem=28M88
47.25
47.25 search
47.25 run=13 nbConstraintChecks=25285548 nbValidityChecks=620970 nbPropagations=4846749 nbRevisions=67437593
47.25 nbUselessRevisions=62356711 nbAssignments=15228 nbFailedAssignments=3512 nbBacktracks=5921 nbVisitedNodes=14664
47.25 nbRestartNogoods=208 mapSize=4124 nbInferences=59 nbTooLargeKeys=0
47.25 => wckTime=45.09 cpuTime=44.54 mem=30M91
62.42
62.42 search
62.42 run=14 nbConstraintChecks=36116747 nbValidityChecks=963026 nbPropagations=6531734 nbRevisions=91531662
62.42 nbUselessRevisions=84668097 nbAssignments=19972 nbFailedAssignments=5278 nbBacktracks=8846 nbVisitedNodes=21461
62.42 nbRestartNogoods=209 mapSize=6155 nbInferences=59 nbTooLargeKeys=0
62.42 => wckTime=60.259 cpuTime=59.7 mem=32M94
89.68
89.68 search
89.68 run=15 nbConstraintChecks=54373484 nbValidityChecks=1289723 nbPropagations=9019620 nbRevisions=127428002
89.68 nbUselessRevisions=117918230 nbAssignments=27521 nbFailedAssignments=7850 nbBacktracks=13228
89.68 nbVisitedNodes=31953 nbRestartNogoods=231 mapSize=9584 nbInferences=87 nbTooLargeKeys=0
89.68 => wckTime=87.524 cpuTime=86.96 mem=36M100
127.57
127.57 search
127.57 run=16 nbConstraintChecks=79369029 nbValidityChecks=2055656 nbPropagations=12634898 nbRevisions=180102614
127.57 nbUselessRevisions=166752852 nbAssignments=38797 nbFailedAssignments=11830 nbBacktracks=19798
127.57 nbVisitedNodes=47337 nbRestartNogoods=253 mapSize=14303 nbInferences=87 nbTooLargeKeys=0
127.58 => wckTime=125.415 cpuTime=124.83 mem=42M109
185.82
185.82 search
185.82 run=17 nbConstraintChecks=120313478 nbValidityChecks=2727175 nbPropagations=18036809 nbRevisions=259098518
185.82 nbUselessRevisions=239990622 nbAssignments=55044 nbFailedAssignments=17175 nbBacktracks=29651
185.82 nbVisitedNodes=70557 nbRestartNogoods=282 mapSize=22093 nbInferences=207 nbTooLargeKeys=0
185.82 => wckTime=183.664 cpuTime=183.06 mem=50M122
281.24
281.24 search
281.24 run=18 nbConstraintChecks=189960736 nbValidityChecks=4239726 nbPropagations=26597752 nbRevisions=384142882
281.24 nbUselessRevisions=355898913 nbAssignments=80082 nbFailedAssignments=26556 nbBacktracks=44430
281.24 nbVisitedNodes=108019 nbRestartNogoods=311 mapSize=35276 nbInferences=217 nbTooLargeKeys=0
281.24 => wckTime=279.083 cpuTime=278.44 mem=63M142
407.35
407.35 search
407.35 run=19 nbConstraintChecks=275532917 nbValidityChecks=6396250 nbPropagations=39149230 nbRevisions=566730781
407.35 nbUselessRevisions=525105793 nbAssignments=115483 nbFailedAssignments=38706 nbBacktracks=66607
407.35 nbVisitedNodes=159199 nbRestartNogoods=329 mapSize=51512 nbInferences=635 nbTooLargeKeys=0
407.35 => wckTime=405.187 cpuTime=404.36 mem=66M740
608.00
608.00 search
608.00 run=20 nbConstraintChecks=407792685 nbValidityChecks=9840361 nbPropagations=57787141 nbRevisions=838087821
608.00 nbUselessRevisions=776582652 nbAssignments=169110 nbFailedAssignments=58220 nbBacktracks=99861
608.00 nbVisitedNodes=237092 nbRestartNogoods=357 mapSize=76484 nbInferences=655 nbTooLargeKeys=0
608.00 => wckTime=605.835 cpuTime=604.93 mem=95M785
896.60
896.60 search
896.60 run=21 nbConstraintChecks=639391753 nbValidityChecks=14961892 nbPropagations=86802572 nbRevisions=1262007895
896.60 nbUselessRevisions=1169541344 nbAssignments=252260 nbFailedAssignments=91040 nbBacktracks=149746
896.60 nbVisitedNodes=363874 nbRestartNogoods=368 mapSize=120424 nbInferences=655 nbTooLargeKeys=0
896.60 => wckTime=894.443 cpuTime=893.28 mem=125M829
1322.78
1322.78 search
1322.78 run=22 nbConstraintChecks=948252838 nbValidityChecks=20151056 nbPropagations=129638955 nbRevisions=1887546258
1322.78 nbUselessRevisions=1749321599 nbAssignments=366453 nbFailedAssignments=128983 nbBacktracks=224564
1322.78 nbVisitedNodes=536043 nbRestartNogoods=396 mapSize=179225 nbInferences=1078 nbTooLargeKeys=0
1322.78 => wckTime=1320.616 cpuTime=1318.96 mem=169M300
1575.40
1575.40 INFO : Stopping hyperNogood (mapSize=215615, nbTooLargekeys=0, mem=209M991)
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node76/watcher-215106-1168233475 -o ROOT/results/node76/solver-215106-1168233475 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/215106-1168233475/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: 1.92 1.98 1.82 5/86 10386
/proc/meminfo: memFree=1785896/2055888 swapFree=4095388/4096564
[pid=10385] ppid=10383 vsize=18544 CPUtime=0
/proc/10385/stat : 10385 (runsolver) R 10383 10385 9896 0 -1 4194368 18 0 0 0 0 0 0 0 21 0 1 0 171744692 18989056 280 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 206843737111 0 2147483391 4096 24578 0 0 0 17 0 0 0
/proc/10385/statm: 4636 280 245 17 0 2626 0
[startup+0.102847 s]
/proc/loadavg: 1.92 1.98 1.82 5/86 10386
/proc/meminfo: memFree=1785896/2055888 swapFree=4095388/4096564
[pid=10385] ppid=10383 vsize=914992 CPUtime=0.08
/proc/10385/stat : 10385 (java) R 10383 10385 9896 0 -1 0 2994 0 1 0 7 1 0 0 25 0 8 0 171744692 936951808 2742 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/10385/statm: 228748 2742 1428 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914992
[startup+0.510927 s]
/proc/loadavg: 1.92 1.98 1.82 5/86 10386
/proc/meminfo: memFree=1785896/2055888 swapFree=4095388/4096564
[pid=10385] ppid=10383 vsize=915332 CPUtime=0.48
/proc/10385/stat : 10385 (java) R 10383 10385 9896 0 -1 0 6765 0 1 0 45 3 0 0 25 0 8 0 171744692 937299968 6506 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/10385/statm: 228833 6506 2145 14 0 215302 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915332
[startup+1.33209 s]
/proc/loadavg: 1.92 1.98 1.82 3/93 10393
/proc/meminfo: memFree=1726768/2055888 swapFree=4095388/4096564
[pid=10385] ppid=10383 vsize=915628 CPUtime=1.3
/proc/10385/stat : 10385 (java) R 10383 10385 9896 0 -1 0 17122 0 1 0 108 22 0 0 25 0 8 0 171744692 937603072 16862 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 5287705 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/10385/statm: 228907 16862 2179 14 0 215376 0
[pid=10385/tid=10387] ppid=10383 vsize=915628 CPUtime=0.01
/proc/10385/task/10387/stat : 10387 (java) S 10383 10385 9896 0 -1 64 513 0 0 0 1 0 0 0 16 0 8 0 171744696 937603072 16862 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=10385/tid=10388] ppid=10383 vsize=915628 CPUtime=0
/proc/10385/task/10388/stat : 10388 (java) S 10383 10385 9896 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 171744696 937603072 16862 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10385/tid=10389] ppid=10383 vsize=915628 CPUtime=0
/proc/10385/task/10389/stat : 10389 (java) S 10383 10385 9896 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 171744696 937603072 16862 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10385/tid=10390] ppid=10383 vsize=915628 CPUtime=0
/proc/10385/task/10390/stat : 10390 (java) S 10383 10385 9896 0 -1 64 0 0 0 0 0 0 0 0 25 0 8 0 171744699 937603072 16862 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10385/tid=10391] ppid=10383 vsize=915628 CPUtime=0.17
/proc/10385/task/10391/stat : 10391 (java) S 10383 10385 9896 0 -1 64 427 0 0 0 17 0 0 0 16 0 8 0 171744699 937603072 16862 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10385/tid=10392] ppid=10383 vsize=915628 CPUtime=0
/proc/10385/task/10392/stat : 10392 (java) S 10383 10385 9896 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 171744699 937603072 16862 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10385/tid=10393] ppid=10383 vsize=915628 CPUtime=0
/proc/10385/task/10393/stat : 10393 (java) S 10383 10385 9896 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 171744700 937603072 16862 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915628
[startup+2.97241 s]
/proc/loadavg: 1.92 1.98 1.82 3/93 10393
/proc/meminfo: memFree=1710384/2055888 swapFree=4095388/4096564
[pid=10385] ppid=10383 vsize=915732 CPUtime=2.92
/proc/10385/stat : 10385 (java) R 10383 10385 9896 0 -1 0 21570 0 1 0 251 41 0 0 25 0 8 0 171744692 937709568 21308 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072884899 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/10385/statm: 228933 21308 2547 14 0 215402 0
[pid=10385/tid=10387] ppid=10383 vsize=915732 CPUtime=0.15
/proc/10385/task/10387/stat : 10387 (java) S 10383 10385 9896 0 -1 64 4458 0 0 0 13 2 0 0 16 0 8 0 171744696 937709568 21308 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=10385/tid=10388] ppid=10383 vsize=915732 CPUtime=0
/proc/10385/task/10388/stat : 10388 (java) S 10383 10385 9896 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 171744696 937709568 21308 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10385/tid=10389] ppid=10383 vsize=915732 CPUtime=0
/proc/10385/task/10389/stat : 10389 (java) S 10383 10385 9896 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 171744696 937709568 21308 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10385/tid=10390] ppid=10383 vsize=915732 CPUtime=0
/proc/10385/task/10390/stat : 10390 (java) S 10383 10385 9896 0 -1 64 0 0 0 0 0 0 0 0 25 0 8 0 171744699 937709568 21308 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10385/tid=10391] ppid=10383 vsize=915732 CPUtime=0.28
/proc/10385/task/10391/stat : 10391 (java) S 10383 10385 9896 0 -1 64 484 0 0 0 27 1 0 0 15 0 8 0 171744699 937709568 21308 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10385/tid=10392] ppid=10383 vsize=915732 CPUtime=0
/proc/10385/task/10392/stat : 10392 (java) S 10383 10385 9896 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 171744699 937709568 21308 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10385/tid=10393] ppid=10383 vsize=915732 CPUtime=0
/proc/10385/task/10393/stat : 10393 (java) S 10383 10385 9896 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 171744700 937709568 21308 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.92
Current children cumulated vsize (KiB) 915732
[startup+6.26706 s]
/proc/loadavg: 1.93 1.98 1.82 4/93 10393
/proc/meminfo: memFree=1710320/2055888 swapFree=4095388/4096564
[pid=10385] ppid=10383 vsize=915732 CPUtime=6.17
/proc/10385/stat : 10385 (java) R 10383 10385 9896 0 -1 0 21590 0 1 0 576 41 0 0 25 0 8 0 171744692 937709568 21325 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074030426 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/10385/statm: 228933 21325 2548 14 0 215402 0
[pid=10385/tid=10387] ppid=10383 vsize=915732 CPUtime=0.15
/proc/10385/task/10387/stat : 10387 (java) S 10383 10385 9896 0 -1 64 4458 0 0 0 13 2 0 0 17 0 8 0 171744696 937709568 21325 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=10385/tid=10388] ppid=10383 vsize=915732 CPUtime=0
/proc/10385/task/10388/stat : 10388 (java) S 10383 10385 9896 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 171744696 937709568 21325 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10385/tid=10389] ppid=10383 vsize=915732 CPUtime=0
/proc/10385/task/10389/stat : 10389 (java) S 10383 10385 9896 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 171744696 937709568 21325 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10385/tid=10390] ppid=10383 vsize=915732 CPUtime=0
/proc/10385/task/10390/stat : 10390 (java) S 10383 10385 9896 0 -1 64 0 0 0 0 0 0 0 0 25 0 8 0 171744699 937709568 21325 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10385/tid=10391] ppid=10383 vsize=915732 CPUtime=0.31
/proc/10385/task/10391/stat : 10391 (java) S 10383 10385 9896 0 -1 64 499 0 0 0 30 1 0 0 15 0 8 0 171744699 937709568 21325 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10385/tid=10392] ppid=10383 vsize=915732 CPUtime=0
/proc/10385/task/10392/stat : 10392 (java) S 10383 10385 9896 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 171744699 937709568 21325 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10385/tid=10393] ppid=10383 vsize=915732 CPUtime=0
/proc/10385/task/10393/stat : 10393 (java) S 10383 10385 9896 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 171744700 937709568 21325 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.17
Current children cumulated vsize (KiB) 915732
[startup+12.7413 s]
/proc/loadavg: 1.94 1.98 1.82 3/93 10393
/proc/meminfo: memFree=1710328/2055888 swapFree=4095388/4096564
[pid=10385] ppid=10383 vsize=915732 CPUtime=12.59
/proc/10385/stat : 10385 (java) R 10383 10385 9896 0 -1 0 21602 0 1 0 1217 42 0 0 25 0 8 0 171744692 937709568 21333 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074092690 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/10385/statm: 228933 21333 2549 14 0 215402 0
[pid=10385/tid=10387] ppid=10383 vsize=915732 CPUtime=0.15
/proc/10385/task/10387/stat : 10387 (java) S 10383 10385 9896 0 -1 64 4458 0 0 0 13 2 0 0 16 0 8 0 171744696 937709568 21333 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=10385/tid=10388] ppid=10383 vsize=915732 CPUtime=0
/proc/10385/task/10388/stat : 10388 (java) S 10383 10385 9896 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 171744696 937709568 21333 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10385/tid=10389] ppid=10383 vsize=915732 CPUtime=0
/proc/10385/task/10389/stat : 10389 (java) S 10383 10385 9896 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 171744696 937709568 21333 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10385/tid=10390] ppid=10383 vsize=915732 CPUtime=0
/proc/10385/task/10390/stat : 10390 (java) S 10383 10385 9896 0 -1 64 0 0 0 0 0 0 0 0 25 0 8 0 171744699 937709568 21333 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10385/tid=10391] ppid=10383 vsize=915732 CPUtime=0.32
/proc/10385/task/10391/stat : 10391 (java) S 10383 10385 9896 0 -1 64 508 0 0 0 31 1 0 0 16 0 8 0 171744699 937709568 21333 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10385/tid=10392] ppid=10383 vsize=915732 CPUtime=0
/proc/10385/task/10392/stat : 10392 (java) S 10383 10385 9896 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 171744699 937709568 21333 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10385/tid=10393] ppid=10383 vsize=915732 CPUtime=0
/proc/10385/task/10393/stat : 10393 (java) S 10383 10385 9896 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 171744700 937709568 21333 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.59
Current children cumulated vsize (KiB) 915732
[startup+25.6048 s]
/proc/loadavg: 1.87 1.97 1.82 2/81 10414
/proc/meminfo: memFree=1754328/2055888 swapFree=4095388/4096564
[pid=10385] ppid=10383 vsize=915732 CPUtime=25.14
/proc/10385/stat : 10385 (java) R 10383 10385 9896 0 -1 0 21619 0 1 0 2472 42 0 0 25 0 8 0 171744692 937709568 21345 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074030508 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10385/statm: 228933 21345 2549 14 0 215402 0
[pid=10385/tid=10387] ppid=10383 vsize=915732 CPUtime=0.15
/proc/10385/task/10387/stat : 10387 (java) S 10383 10385 9896 0 -1 64 4458 0 0 0 13 2 0 0 16 0 8 0 171744696 937709568 21345 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=10385/tid=10388] ppid=10383 vsize=915732 CPUtime=0
/proc/10385/task/10388/stat : 10388 (java) S 10383 10385 9896 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 171744696 937709568 21345 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10385/tid=10389] ppid=10383 vsize=915732 CPUtime=0
/proc/10385/task/10389/stat : 10389 (java) S 10383 10385 9896 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 171744696 937709568 21345 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10385/tid=10390] ppid=10383 vsize=915732 CPUtime=0
/proc/10385/task/10390/stat : 10390 (java) S 10383 10385 9896 0 -1 64 0 0 0 0 0 0 0 0 25 0 8 0 171744699 937709568 21345 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10385/tid=10391] ppid=10383 vsize=915732 CPUtime=0.34
/proc/10385/task/10391/stat : 10391 (java) S 10383 10385 9896 0 -1 64 521 0 0 0 33 1 0 0 17 0 8 0 171744699 937709568 21345 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10385/tid=10392] ppid=10383 vsize=915732 CPUtime=0
/proc/10385/task/10392/stat : 10392 (java) S 10383 10385 9896 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 171744699 937709568 21345 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10385/tid=10393] ppid=10383 vsize=915732 CPUtime=0
/proc/10385/task/10393/stat : 10393 (java) S 10383 10385 9896 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 171744700 937709568 21345 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.14
Current children cumulated vsize (KiB) 915732
[startup+51.2189 s]
/proc/loadavg: 1.91 1.97 1.82 3/85 10621
/proc/meminfo: memFree=1735672/2055888 swapFree=4095388/4096564
[pid=10385] ppid=10383 vsize=915732 CPUtime=50.73
/proc/10385/stat : 10385 (java) R 10383 10385 9896 0 -1 0 21620 0 1 0 5030 43 0 0 25 0 8 0 171744692 937709568 21345 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074023344 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10385/statm: 228933 21345 2549 14 0 215402 0
[pid=10385/tid=10387] ppid=10383 vsize=915732 CPUtime=0.15
/proc/10385/task/10387/stat : 10387 (java) R 10383 10385 9896 0 -1 64 4458 0 0 0 13 2 0 0 16 0 8 0 171744696 937709568 21345 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10385/tid=10388] ppid=10383 vsize=915732 CPUtime=0
/proc/10385/task/10388/stat : 10388 (java) S 10383 10385 9896 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 171744696 937709568 21345 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10385/tid=10389] ppid=10383 vsize=915732 CPUtime=0
/proc/10385/task/10389/stat : 10389 (java) S 10383 10385 9896 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 171744696 937709568 21345 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10385/tid=10390] ppid=10383 vsize=915732 CPUtime=0
/proc/10385/task/10390/stat : 10390 (java) S 10383 10385 9896 0 -1 64 0 0 0 0 0 0 0 0 25 0 8 0 171744699 937709568 21345 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10385/tid=10391] ppid=10383 vsize=915732 CPUtime=0.34
/proc/10385/task/10391/stat : 10391 (java) S 10383 10385 9896 0 -1 64 521 0 0 0 33 1 0 0 16 0 8 0 171744699 937709568 21345 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10385/tid=10392] ppid=10383 vsize=915732 CPUtime=0
/proc/10385/task/10392/stat : 10392 (java) S 10383 10385 9896 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 171744699 937709568 21345 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10385/tid=10393] ppid=10383 vsize=915732 CPUtime=0
/proc/10385/task/10393/stat : 10393 (java) S 10383 10385 9896 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 171744700 937709568 21345 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.73
Current children cumulated vsize (KiB) 915732
[startup+102.444 s]
/proc/loadavg: 1.96 1.97 1.83 3/85 10623
/proc/meminfo: memFree=1735672/2055888 swapFree=4095388/4096564
[pid=10385] ppid=10383 vsize=915732 CPUtime=101.94
/proc/10385/stat : 10385 (java) R 10383 10385 9896 0 -1 0 21620 0 1 0 10151 43 0 0 25 0 8 0 171744692 937709568 21345 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074030426 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10385/statm: 228933 21345 2549 14 0 215402 0
[pid=10385/tid=10387] ppid=10383 vsize=915732 CPUtime=0.15
/proc/10385/task/10387/stat : 10387 (java) S 10383 10385 9896 0 -1 64 4458 0 0 0 13 2 0 0 16 0 8 0 171744696 937709568 21345 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10385/tid=10388] ppid=10383 vsize=915732 CPUtime=0
/proc/10385/task/10388/stat : 10388 (java) S 10383 10385 9896 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 171744696 937709568 21345 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10385/tid=10389] ppid=10383 vsize=915732 CPUtime=0
/proc/10385/task/10389/stat : 10389 (java) S 10383 10385 9896 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 171744696 937709568 21345 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10385/tid=10390] ppid=10383 vsize=915732 CPUtime=0
/proc/10385/task/10390/stat : 10390 (java) S 10383 10385 9896 0 -1 64 0 0 0 0 0 0 0 0 25 0 8 0 171744699 937709568 21345 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10385/tid=10391] ppid=10383 vsize=915732 CPUtime=0.35
/proc/10385/task/10391/stat : 10391 (java) S 10383 10385 9896 0 -1 64 521 0 0 0 34 1 0 0 16 0 8 0 171744699 937709568 21345 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10385/tid=10392] ppid=10383 vsize=915732 CPUtime=0
/proc/10385/task/10392/stat : 10392 (java) S 10383 10385 9896 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 171744699 937709568 21345 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10385/tid=10393] ppid=10383 vsize=915732 CPUtime=0
/proc/10385/task/10393/stat : 10393 (java) S 10383 10385 9896 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 171744700 937709568 21345 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.94
Current children cumulated vsize (KiB) 915732
[startup+162.521 s]
/proc/loadavg: 1.98 1.97 1.83 3/85 10623
/proc/meminfo: memFree=1735672/2055888 swapFree=4095388/4096564
[pid=10385] ppid=10383 vsize=915732 CPUtime=161.99
/proc/10385/stat : 10385 (java) R 10383 10385 9896 0 -1 0 21620 0 1 0 16156 43 0 0 25 0 8 0 171744692 937709568 21345 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073934205 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 1422.73
Current children cumulated vsize (KiB) 915732
[startup+1484.13 s]
/proc/loadavg: 2.30 2.10 1.95 3/96 10756
/proc/meminfo: memFree=1473504/2055888 swapFree=4095388/4096564
[pid=10385] ppid=10383 vsize=915732 CPUtime=1482.52
/proc/10385/stat : 10385 (java) R 10383 10385 9896 0 -1 0 58868 0 1 0 148187 65 0 0 25 0 8 0 171744692 937709568 58589 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073934089 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/10385/statm: 228933 58589 2549 14 0 215402 0
[pid=10385/tid=10387] ppid=10383 vsize=915732 CPUtime=0.77
/proc/10385/task/10387/stat : 10387 (java) S 10383 10385 9896 0 -1 64 41702 0 0 0 56 21 0 0 16 0 8 0 171744696 937709568 58589 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10385/tid=10388] ppid=10383 vsize=915732 CPUtime=0
/proc/10385/task/10388/stat : 10388 (java) S 10383 10385 9896 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 171744696 937709568 58589 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10385/tid=10389] ppid=10383 vsize=915732 CPUtime=0
/proc/10385/task/10389/stat : 10389 (java) S 10383 10385 9896 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 171744696 937709568 58589 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10385/tid=10390] ppid=10383 vsize=915732 CPUtime=0
/proc/10385/task/10390/stat : 10390 (java) S 10383 10385 9896 0 -1 64 0 0 0 0 0 0 0 0 25 0 8 0 171744699 937709568 58589 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10385/tid=10391] ppid=10383 vsize=915732 CPUtime=0.35
/proc/10385/task/10391/stat : 10391 (java) S 10383 10385 9896 0 -1 64 521 0 0 0 34 1 0 0 16 0 8 0 171744699 937709568 58589 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10385/tid=10392] ppid=10383 vsize=915732 CPUtime=0
/proc/10385/task/10392/stat : 10392 (java) S 10383 10385 9896 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 171744699 937709568 58589 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10385/tid=10393] ppid=10383 vsize=915732 CPUtime=0.01
/proc/10385/task/10393/stat : 10393 (java) S 10383 10385 9896 0 -1 64 1 0 0 0 1 0 0 0 15 0 8 0 171744700 937709568 58589 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1482.52
Current children cumulated vsize (KiB) 915732
[startup+1544.17 s]
/proc/loadavg: 2.27 2.11 1.96 3/96 10756
/proc/meminfo: memFree=1472608/2055888 swapFree=4095388/4096564
[pid=10385] ppid=10383 vsize=915732 CPUtime=1542.3
/proc/10385/stat : 10385 (java) R 10383 10385 9896 0 -1 0 58868 0 1 0 154165 65 0 0 25 0 8 0 171744692 937709568 58589 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074063696 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10385/statm: 228933 58589 2549 14 0 215402 0
[pid=10385/tid=10387] ppid=10383 vsize=915732 CPUtime=0.77
/proc/10385/task/10387/stat : 10387 (java) S 10383 10385 9896 0 -1 64 41702 0 0 0 56 21 0 0 16 0 8 0 171744696 937709568 58589 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10385/tid=10388] ppid=10383 vsize=915732 CPUtime=0
/proc/10385/task/10388/stat : 10388 (java) S 10383 10385 9896 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 171744696 937709568 58589 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10385/tid=10389] ppid=10383 vsize=915732 CPUtime=0
/proc/10385/task/10389/stat : 10389 (java) S 10383 10385 9896 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 171744696 937709568 58589 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10385/tid=10390] ppid=10383 vsize=915732 CPUtime=0
/proc/10385/task/10390/stat : 10390 (java) S 10383 10385 9896 0 -1 64 0 0 0 0 0 0 0 0 25 0 8 0 171744699 937709568 58589 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10385/tid=10391] ppid=10383 vsize=915732 CPUtime=0.35
/proc/10385/task/10391/stat : 10391 (java) S 10383 10385 9896 0 -1 64 521 0 0 0 34 1 0 0 16 0 8 0 171744699 937709568 58589 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10385/tid=10392] ppid=10383 vsize=915732 CPUtime=0
/proc/10385/task/10392/stat : 10392 (java) S 10383 10385 9896 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 171744699 937709568 58589 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10385/tid=10393] ppid=10383 vsize=915732 CPUtime=0.01
/proc/10385/task/10393/stat : 10393 (java) S 10383 10385 9896 0 -1 64 1 0 0 0 1 0 0 0 15 0 8 0 171744700 937709568 58589 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1542.3
Current children cumulated vsize (KiB) 915732
[startup+1604.22 s]
/proc/loadavg: 2.18 2.12 1.97 5/96 10756
/proc/meminfo: memFree=1470880/2055888 swapFree=4095388/4096564
[pid=10385] ppid=10383 vsize=915732 CPUtime=1601.81
/proc/10385/stat : 10385 (java) R 10383 10385 9896 0 -1 0 58868 0 1 0 160116 65 0 0 25 0 8 0 171744692 937709568 58589 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074021711 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/10385/statm: 228933 58589 2549 14 0 215402 0
[pid=10385/tid=10387] ppid=10383 vsize=915732 CPUtime=0.77
/proc/10385/task/10387/stat : 10387 (java) S 10383 10385 9896 0 -1 64 41702 0 0 0 56 21 0 0 16 0 8 0 171744696 937709568 58589 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=10385/tid=10388] ppid=10383 vsize=915732 CPUtime=0
/proc/10385/task/10388/stat : 10388 (java) S 10383 10385 9896 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 171744696 937709568 58589 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10385/tid=10389] ppid=10383 vsize=915732 CPUtime=0
/proc/10385/task/10389/stat : 10389 (java) S 10383 10385 9896 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 171744696 937709568 58589 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10385/tid=10390] ppid=10383 vsize=915732 CPUtime=0
/proc/10385/task/10390/stat : 10390 (java) S 10383 10385 9896 0 -1 64 0 0 0 0 0 0 0 0 25 0 8 0 171744699 937709568 58589 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10385/tid=10391] ppid=10383 vsize=915732 CPUtime=0.35
/proc/10385/task/10391/stat : 10391 (java) S 10383 10385 9896 0 -1 64 521 0 0 0 34 1 0 0 16 0 8 0 171744699 937709568 58589 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10385/tid=10392] ppid=10383 vsize=915732 CPUtime=0
/proc/10385/task/10392/stat : 10392 (java) S 10383 10385 9896 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 171744699 937709568 58589 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10385/tid=10393] ppid=10383 vsize=915732 CPUtime=0.01
/proc/10385/task/10393/stat : 10393 (java) R 10383 10385 9896 0 -1 64 1 0 0 0 1 0 0 0 15 0 8 0 171744700 937709568 58589 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1601.81
Current children cumulated vsize (KiB) 915732
[startup+1664.32 s]
/proc/loadavg: 2.52 2.23 2.02 3/96 10756
/proc/meminfo: memFree=1469856/2055888 swapFree=4095388/4096564
[pid=10385] ppid=10383 vsize=915732 CPUtime=1661.38
/proc/10385/stat : 10385 (java) R 10383 10385 9896 0 -1 0 58868 0 1 0 166073 65 0 0 25 0 8 0 171744692 937709568 58589 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074032804 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10385/statm: 228933 58589 2549 14 0 215402 0
[pid=10385/tid=10387] ppid=10383 vsize=915732 CPUtime=0.77
/proc/10385/task/10387/stat : 10387 (java) S 10383 10385 9896 0 -1 64 41702 0 0 0 56 21 0 0 16 0 8 0 171744696 937709568 58589 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=10385/tid=10388] ppid=10383 vsize=915732 CPUtime=0
/proc/10385/task/10388/stat : 10388 (java) S 10383 10385 9896 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 171744696 937709568 58589 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10385/tid=10389] ppid=10383 vsize=915732 CPUtime=0
/proc/10385/task/10389/stat : 10389 (java) S 10383 10385 9896 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 171744696 937709568 58589 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10385/tid=10390] ppid=10383 vsize=915732 CPUtime=0
/proc/10385/task/10390/stat : 10390 (java) S 10383 10385 9896 0 -1 64 0 0 0 0 0 0 0 0 25 0 8 0 171744699 937709568 58589 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10385/tid=10391] ppid=10383 vsize=915732 CPUtime=0.35
/proc/10385/task/10391/stat : 10391 (java) S 10383 10385 9896 0 -1 64 521 0 0 0 34 1 0 0 16 0 8 0 171744699 937709568 58589 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10385/tid=10392] ppid=10383 vsize=915732 CPUtime=0
/proc/10385/task/10392/stat : 10392 (java) S 10383 10385 9896 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 171744699 937709568 58589 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10385/tid=10393] ppid=10383 vsize=915732 CPUtime=0.01
/proc/10385/task/10393/stat : 10393 (java) S 10383 10385 9896 0 -1 64 1 0 0 0 1 0 0 0 15 0 8 0 171744700 937709568 58589 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1661.38
Current children cumulated vsize (KiB) 915732
[startup+1724.38 s]
/proc/loadavg: 2.52 2.29 2.05 3/96 10756
/proc/meminfo: memFree=1468448/2055888 swapFree=4095388/4096564
[pid=10385] ppid=10383 vsize=915732 CPUtime=1720.92
/proc/10385/stat : 10385 (java) R 10383 10385 9896 0 -1 0 58868 0 1 0 172026 66 0 0 25 0 8 0 171744692 937709568 58589 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074026244 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10385/statm: 228933 58589 2549 14 0 215402 0
[pid=10385/tid=10387] ppid=10383 vsize=915732 CPUtime=0.77
/proc/10385/task/10387/stat : 10387 (java) S 10383 10385 9896 0 -1 64 41702 0 0 0 56 21 0 0 16 0 8 0 171744696 937709568 58589 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10385/tid=10388] ppid=10383 vsize=915732 CPUtime=0
/proc/10385/task/10388/stat : 10388 (java) S 10383 10385 9896 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 171744696 937709568 58589 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10385/tid=10389] ppid=10383 vsize=915732 CPUtime=0
/proc/10385/task/10389/stat : 10389 (java) S 10383 10385 9896 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 171744696 937709568 58589 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10385/tid=10390] ppid=10383 vsize=915732 CPUtime=0
/proc/10385/task/10390/stat : 10390 (java) S 10383 10385 9896 0 -1 64 0 0 0 0 0 0 0 0 25 0 8 0 171744699 937709568 58589 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10385/tid=10391] ppid=10383 vsize=915732 CPUtime=0.35
/proc/10385/task/10391/stat : 10391 (java) S 10383 10385 9896 0 -1 64 521 0 0 0 34 1 0 0 16 0 8 0 171744699 937709568 58589 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10385/tid=10392] ppid=10383 vsize=915732 CPUtime=0
/proc/10385/task/10392/stat : 10392 (java) S 10383 10385 9896 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 171744699 937709568 58589 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10385/tid=10393] ppid=10383 vsize=915732 CPUtime=0.01
/proc/10385/task/10393/stat : 10393 (java) S 10383 10385 9896 0 -1 64 1 0 0 0 1 0 0 0 15 0 8 0 171744700 937709568 58589 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1720.92
Current children cumulated vsize (KiB) 915732
[startup+1784.4 s]
/proc/loadavg: 2.42 2.29 2.07 3/96 10756
/proc/meminfo: memFree=1465824/2055888 swapFree=4095388/4096564
[pid=10385] ppid=10383 vsize=915732 CPUtime=1780.63
/proc/10385/stat : 10385 (java) R 10383 10385 9896 0 -1 0 58868 0 1 0 177997 66 0 0 25 0 8 0 171744692 937709568 58589 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074124670 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10385/statm: 228933 58589 2549 14 0 215402 0
[pid=10385/tid=10387] ppid=10383 vsize=915732 CPUtime=0.77
/proc/10385/task/10387/stat : 10387 (java) S 10383 10385 9896 0 -1 64 41702 0 0 0 56 21 0 0 16 0 8 0 171744696 937709568 58589 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10385/tid=10388] ppid=10383 vsize=915732 CPUtime=0
/proc/10385/task/10388/stat : 10388 (java) S 10383 10385 9896 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 171744696 937709568 58589 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10385/tid=10389] ppid=10383 vsize=915732 CPUtime=0
/proc/10385/task/10389/stat : 10389 (java) S 10383 10385 9896 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 171744696 937709568 58589 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10385/tid=10390] ppid=10383 vsize=915732 CPUtime=0
/proc/10385/task/10390/stat : 10390 (java) S 10383 10385 9896 0 -1 64 0 0 0 0 0 0 0 0 25 0 8 0 171744699 937709568 58589 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10385/tid=10391] ppid=10383 vsize=915732 CPUtime=0.35
/proc/10385/task/10391/stat : 10391 (java) S 10383 10385 9896 0 -1 64 521 0 0 0 34 1 0 0 16 0 8 0 171744699 937709568 58589 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10385/tid=10392] ppid=10383 vsize=915732 CPUtime=0
/proc/10385/task/10392/stat : 10392 (java) S 10383 10385 9896 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 171744699 937709568 58589 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10385/tid=10393] ppid=10383 vsize=915732 CPUtime=0.01
/proc/10385/task/10393/stat : 10393 (java) S 10383 10385 9896 0 -1 64 1 0 0 0 1 0 0 0 15 0 8 0 171744700 937709568 58589 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1780.63
Current children cumulated vsize (KiB) 915732
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1803.95 s]
/proc/loadavg: 2.30 2.27 2.06 3/96 10756
/proc/meminfo: memFree=1465312/2055888 swapFree=4095388/4096564
[pid=10385] ppid=10383 vsize=915732 CPUtime=1800
/proc/10385/stat : 10385 (java) R 10383 10385 9896 0 -1 0 58868 0 1 0 179934 66 0 0 25 0 8 0 171744692 937709568 58589 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074030542 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10385/statm: 228933 58589 2549 14 0 215402 0
[pid=10385/tid=10387] ppid=10383 vsize=915732 CPUtime=0.77
/proc/10385/task/10387/stat : 10387 (java) S 10383 10385 9896 0 -1 64 41702 0 0 0 56 21 0 0 16 0 8 0 171744696 937709568 58589 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10385/tid=10388] ppid=10383 vsize=915732 CPUtime=0
/proc/10385/task/10388/stat : 10388 (java) S 10383 10385 9896 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 171744696 937709568 58589 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10385/tid=10389] ppid=10383 vsize=915732 CPUtime=0
/proc/10385/task/10389/stat : 10389 (java) S 10383 10385 9896 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 171744696 937709568 58589 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10385/tid=10390] ppid=10383 vsize=915732 CPUtime=0
/proc/10385/task/10390/stat : 10390 (java) S 10383 10385 9896 0 -1 64 0 0 0 0 0 0 0 0 25 0 8 0 171744699 937709568 58589 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10385/tid=10391] ppid=10383 vsize=915732 CPUtime=0.35
/proc/10385/task/10391/stat : 10391 (java) S 10383 10385 9896 0 -1 64 521 0 0 0 34 1 0 0 16 0 8 0 171744699 937709568 58589 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10385/tid=10392] ppid=10383 vsize=915732 CPUtime=0
/proc/10385/task/10392/stat : 10392 (java) S 10383 10385 9896 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 171744699 937709568 58589 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10385/tid=10393] ppid=10383 vsize=915732 CPUtime=0.01
/proc/10385/task/10393/stat : 10393 (java) S 10383 10385 9896 0 -1 64 1 0 0 0 1 0 0 0 15 0 8 0 171744700 937709568 58589 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 915732
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 1804.02
CPU time (s): 1800.05
CPU user time (s): 1799.35
CPU system time (s): 0.699893
CPU usage (%): 99.7799
Max. virtual memory (cumulated for all children) (KiB): 915772
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.35
system time used= 0.699893
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 58887
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= 38140
involuntary context switches= 24030
runsolver used 1.9977 s user time and 4.67929 s system time
The end
Begin job on node76 on Mon Jan 8 05:17:56 UTC 2007
IDJOB= 215106
IDBENCH= 4976
FILE ID= node76/215106-1168233475
PBS_JOBID= 3481384
Free space on /tmp= 66642 MiB
BENCH NAME= HOME/pub/bench/CPAI06/pseudoSeries/ii/ii-16e2.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/215106-1168233475/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node76/watcher-215106-1168233475 -o ROOT/results/node76/solver-215106-1168233475 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/215106-1168233475/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 5c0ce2850f4a99299186b3093e9e8947
RANDOM SEED= 794914148
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.254
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 : 6006.17
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.254
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 : 5999.42
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055888 kB
MemFree: 1786440 kB
Buffers: 38360 kB
Cached: 115316 kB
SwapCached: 480 kB
Active: 123260 kB
Inactive: 93892 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055888 kB
LowFree: 1786440 kB
SwapTotal: 4096564 kB
SwapFree: 4095388 kB
Dirty: 2824 kB
Writeback: 0 kB
Mapped: 81244 kB
Slab: 37812 kB
Committed_AS: 7124380 kB
PageTables: 1964 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264388 kB
VmallocChunk: 536606243 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66640 MiB
End job on node76 on Mon Jan 8 05:48:00 UTC 2007