0.31
0.31 Abscon 109 (November, 2006)
0.31
0.31 configuration
0.31 name=esac.xml
0.35
0.35 instance
0.35 name=/tmp/evaluation/240295-1168372251/unknown.xml
0.38
0.38 domains being loaded...
0.38
0.38 variables being loaded...
0.47 nbVariables=400 nbDomainTypes=21 minDomainSize=1 maxDomainSize=20
0.47 => wckTime=0.153 cpuTime=0.11 mem=7M894
0.47
0.47 relations being loaded...
0.47
0.47 constraints being loaded...
0.84 nbConstraints=5540 nbRelationTypes=22 nbSingletonDomainVariables=213 nbExtensionStructures=41
0.84 nbSharedExtensionStructures=5499 nbConflictsStructures=41 nbSharedConflictsStructures=5499
0.84 nbSharedBinaryRepresentations=858 maxDegree=38 maxArity=2
0.84 => wckTime=0.522 cpuTime=0.37 mem=24M505
0.92
0.92 solver IterativeSystematicSolver being built...
1.10 => wckTime=0.785 cpuTime=0.52 mem=18M513
1.30
1.30 preprocessing
1.30 nbConstraintChecks=104336 nbPropagations=2665 nbRevisions=23926 nbUselessRevisions=19050 nbSingletonTests=648
1.30 nbEffectiveSingletonTests=0 nbESACBranches=9 nbRemovedValues=2893 detectedInconsistency=no
1.30 => wckTime=0.192 cpuTime=0.16 mem=18M513
1.37
1.37 search
1.37 run=0 nbConstraintChecks=4388 nbPropagations=3045 nbRevisions=25187 nbUselessRevisions=19818 nbAssignments=270
1.37 nbFailedAssignments=6 nbBacktracks=12 nbVisitedNodes=280 nbRestartNogoods=0 mapSize=6 nbInferences=0
1.37 nbTooLargeKeys=0
1.37 => wckTime=0.265 cpuTime=0.22 mem=19M584
1.45
1.45 search
1.45 run=1 nbConstraintChecks=17114 nbPropagations=7162 nbRevisions=55269 nbUselessRevisions=43257
1.45 nbAssignments=1029 nbFailedAssignments=13 nbBacktracks=30 nbVisitedNodes=606 nbRestartNogoods=3 mapSize=13
1.45 nbInferences=0 nbTooLargeKeys=0
1.45 => wckTime=0.345 cpuTime=0.29 mem=19M584
1.53
1.53 search
1.53 run=2 nbConstraintChecks=37347 nbPropagations=12806 nbRevisions=94119 nbUselessRevisions=73782
1.53 nbAssignments=1487 nbFailedAssignments=23 nbBacktracks=65 nbVisitedNodes=914 nbRestartNogoods=8 mapSize=24
1.53 nbInferences=0 nbTooLargeKeys=0
1.53 => wckTime=0.423 cpuTime=0.37 mem=19M584
1.61
1.61 search
1.61 run=3 nbConstraintChecks=53524 nbPropagations=19639 nbRevisions=139027 nbUselessRevisions=108640
1.61 nbAssignments=2245 nbFailedAssignments=44 nbBacktracks=110 nbVisitedNodes=1270 nbRestartNogoods=11 mapSize=55
1.61 nbInferences=0 nbTooLargeKeys=0
1.61 => wckTime=0.508 cpuTime=0.44 mem=20M557
1.67
1.67 search
1.67 run=4 nbConstraintChecks=63354 nbPropagations=27218 nbRevisions=187115 nbUselessRevisions=145374
1.67 nbAssignments=2569 nbFailedAssignments=66 nbBacktracks=160 nbVisitedNodes=1637 nbRestartNogoods=12 mapSize=94
1.67 nbInferences=0 nbTooLargeKeys=0
1.67 => wckTime=0.561 cpuTime=0.48 mem=20M557
1.72
1.72 search
1.72 run=5 nbConstraintChecks=71904 nbPropagations=35548 nbRevisions=237767 nbUselessRevisions=183540
1.72 nbAssignments=2911 nbFailedAssignments=85 nbBacktracks=241 nbVisitedNodes=2012 nbRestartNogoods=14 mapSize=122
1.72 nbInferences=0 nbTooLargeKeys=0
1.72 => wckTime=0.611 cpuTime=0.53 mem=20M557
1.77
1.77 search
1.77 run=6 nbConstraintChecks=88054 nbPropagations=45027 nbRevisions=292705 nbUselessRevisions=223971
1.77 nbAssignments=3291 nbFailedAssignments=131 nbBacktracks=354 nbVisitedNodes=2477 nbRestartNogoods=18
1.77 mapSize=197 nbInferences=0 nbTooLargeKeys=0
1.77 => wckTime=0.666 cpuTime=0.58 mem=21M529
1.84
1.84 search
1.84 run=7 nbConstraintChecks=116576 nbPropagations=56278 nbRevisions=356553 nbUselessRevisions=269571
1.84 nbAssignments=3767 nbFailedAssignments=191 nbBacktracks=529 nbVisitedNodes=3055 nbRestartNogoods=20
1.84 mapSize=286 nbInferences=0 nbTooLargeKeys=0
1.84 => wckTime=0.737 cpuTime=0.65 mem=21M529
1.92
1.92 search
1.92 run=8 nbConstraintChecks=151609 nbPropagations=69247 nbRevisions=437863 nbUselessRevisions=329196
1.92 nbAssignments=4158 nbFailedAssignments=264 nbBacktracks=785 nbVisitedNodes=3526 nbRestartNogoods=23
1.92 mapSize=384 nbInferences=0 nbTooLargeKeys=0
1.92 => wckTime=0.814 cpuTime=0.73 mem=21M529
2.07
2.07 search
2.07 run=9 nbConstraintChecks=238067 nbPropagations=86078 nbRevisions=564214 nbUselessRevisions=425875
2.07 nbAssignments=4737 nbFailedAssignments=450 nbBacktracks=1169 nbVisitedNodes=4476 nbRestartNogoods=24
2.07 mapSize=692 nbInferences=0 nbTooLargeKeys=0
2.07 => wckTime=0.963 cpuTime=0.87 mem=22M502
2.22
2.22 search
2.22 run=10 nbConstraintChecks=322642 nbPropagations=107330 nbRevisions=732154 nbUselessRevisions=555398
2.22 nbAssignments=5570 nbFailedAssignments=588 nbBacktracks=1747 nbVisitedNodes=5551 nbRestartNogoods=28
2.22 mapSize=920 nbInferences=0 nbTooLargeKeys=0
2.22 => wckTime=1.113 cpuTime=1.01 mem=22M502
2.33
2.33 INFO : Stopping hyperNogood (mapSize=1001, nbTooLargekeys=0, mem=22M502)
2.42
2.42 search
2.42 run=11 nbConstraintChecks=431726 nbPropagations=133499 nbRevisions=965777 nbUselessRevisions=741864
2.42 nbAssignments=6684 nbFailedAssignments=698 nbBacktracks=2612 nbVisitedNodes=6804 nbRestartNogoods=32
2.42 => wckTime=1.313 cpuTime=1.21 mem=22M502
2.71
2.71 search
2.71 run=12 nbConstraintChecks=626582 nbPropagations=168767 nbRevisions=1311566 nbUselessRevisions=1023901
2.71 nbAssignments=8326 nbFailedAssignments=981 nbBacktracks=3911 nbVisitedNodes=8980 nbRestartNogoods=36
2.71 => wckTime=1.604 cpuTime=1.49 mem=22M502
3.14
3.14 search
3.14 run=13 nbConstraintChecks=1007965 nbPropagations=217168 nbRevisions=1896355 nbUselessRevisions=1515634
3.14 nbAssignments=10584 nbFailedAssignments=1221 nbBacktracks=5879 nbVisitedNodes=11683 nbRestartNogoods=39
3.14 => wckTime=2.037 cpuTime=1.93 mem=22M502
3.88
3.88 search
3.88 run=14 nbConstraintChecks=1693747 nbPropagations=289098 nbRevisions=2911145 nbUselessRevisions=2385758
3.88 nbAssignments=13960 nbFailedAssignments=1647 nbBacktracks=8798 nbVisitedNodes=15953 nbRestartNogoods=45
3.88 => wckTime=2.774 cpuTime=2.65 mem=22M502
5.25
5.25 search
5.25 run=15 nbConstraintChecks=3055822 nbPropagations=409615 nbRevisions=4769424 nbUselessRevisions=3993960
5.25 nbAssignments=19532 nbFailedAssignments=2799 nbBacktracks=13178 nbVisitedNodes=23759 nbRestartNogoods=48
5.25 => wckTime=4.148 cpuTime=4.01 mem=22M502
7.31
7.31 search
7.31 run=16 nbConstraintChecks=4975492 nbPropagations=603803 nbRevisions=7760983 nbUselessRevisions=6582381
7.31 nbAssignments=28797 nbFailedAssignments=5366 nbBacktracks=19756 nbVisitedNodes=37579 nbRestartNogoods=58
7.31 => wckTime=6.207 cpuTime=6.05 mem=22M502
10.72
10.72 search
10.72 run=17 nbConstraintChecks=8517176 nbPropagations=923182 nbRevisions=12941404 nbUselessRevisions=11083921
10.72 nbAssignments=41764 nbFailedAssignments=8435 nbBacktracks=29610 nbVisitedNodes=56578 nbRestartNogoods=66
10.72 => wckTime=9.613 cpuTime=9.43 mem=22M502
16.05
16.05 search
16.05 run=18 nbConstraintChecks=14445306 nbPropagations=1436124 nbRevisions=21891106 nbUselessRevisions=18919077
16.05 nbAssignments=60574 nbFailedAssignments=12428 nbBacktracks=44398 nbVisitedNodes=83095 nbRestartNogoods=76
16.05 => wckTime=14.94 cpuTime=14.71 mem=23M475
24.08
24.08 search
24.08 run=19 nbConstraintChecks=23100917 nbPropagations=2241776 nbRevisions=36340727 nbUselessRevisions=31617278
24.08 nbAssignments=89063 nbFailedAssignments=18716 nbBacktracks=66567 nbVisitedNodes=123542 nbRestartNogoods=82
24.08 => wckTime=22.977 cpuTime=22.66 mem=23M475
35.44
35.44 search
35.44 run=20 nbConstraintChecks=34883610 nbPropagations=3458924 nbRevisions=58232827 nbUselessRevisions=50874781
35.44 nbAssignments=132932 nbFailedAssignments=29292 nbBacktracks=99820 nbVisitedNodes=187494 nbRestartNogoods=89
35.44 => wckTime=34.335 cpuTime=33.92 mem=23M475
50.48
50.48 search
50.48 run=21 nbConstraintChecks=48681100 nbPropagations=5222731 nbRevisions=88284582 nbUselessRevisions=77183158
50.48 nbAssignments=199197 nbFailedAssignments=45658 nbBacktracks=149701 nbVisitedNodes=286738 nbRestartNogoods=99
50.48 => wckTime=49.378 cpuTime=48.83 mem=23M475
76.67
76.67 search
76.67 run=22 nbConstraintChecks=76929169 nbPropagations=7932331 nbRevisions=135773661 nbUselessRevisions=118736021
76.67 nbAssignments=301265 nbFailedAssignments=72880 nbBacktracks=224520 nbVisitedNodes=438680 nbRestartNogoods=109
76.67 => wckTime=75.568 cpuTime=74.78 mem=23M475
117.18
117.18 search
117.18 run=23 nbConstraintChecks=120295649 nbPropagations=12109102 nbRevisions=210446049 nbUselessRevisions=184201790
117.18 nbAssignments=446757 nbFailedAssignments=106116 nbBacktracks=336755 nbVisitedNodes=646233 nbRestartNogoods=122
117.18 => wckTime=116.08 cpuTime=114.92 mem=23M475
176.24
176.24 search
176.24 run=24 nbConstraintChecks=181441653 nbPropagations=18475978 nbRevisions=325074424 nbUselessRevisions=285061028
176.24 nbAssignments=662985 nbFailedAssignments=153961 nbBacktracks=505109 nbVisitedNodes=953599 nbRestartNogoods=130
176.24 => wckTime=175.138 cpuTime=173.44 mem=23M475
258.53
258.53 search
258.53 run=25 nbConstraintChecks=264665604 nbPropagations=27875564 nbRevisions=491820634 nbUselessRevisions=431680144
258.53 nbAssignments=982190 nbFailedAssignments=231599 nbBacktracks=746276 nbVisitedNodes=1424171 nbRestartNogoods=139
258.53 => wckTime=257.425 cpuTime=254.97 mem=23M475
258.53
258.53 global
258.53 nbConstraintChecks=264769940 nbPropagations=27878229 nbRevisions=491844560 nbUselessRevisions=431699194
258.53 nbRestartNogoods=139 solvingWckTime=257.426 solvingCpuTime=254.98 expiredTime=no totalExploration=no
258.53 nbFoundSolutions=1 globalCpuTime=255.55
258.53 => wckTime=258.215 cpuTime=255.5 mem=23M475
258.53
258.53 s SATISFIABLE
258.53 v 17 13 16 19 8 1 5 11 10 6 9 2 12 4 7 3 18 15 14 0 5 12 17 18 7 3 11 4 13 14 0 10 9 2 6 16 8 19 15 1 2 10 3 1 6 7 9 0 11 15 17 8 18 14 16 4 12 13 5 19 12 3 0 17 1 14 2 19 4 10 18 7 5 8 15 9 6 16 13 11 8 4 18 14 9 10 7 15 19 5 3 1 11 12 0 6 17 2 16 13 6 2 11 12 10 19 15 7 8 18 1 5 0 17 3 13 16 14 4 9 19 9 8 6 4 5 16 14 2 17 12 15 1 3 10 7 13 11 0 18 7 16 14 10 18 13 17 9 6 4 2 11 15 5 1 0 19 8 12 3 11 0 15 9 5 4 6 3 1 2 7 12 13 10 8 19 14 17 18 16 0 14 9 3 11 6 18 12 15 1 10 4 16 13 19 2 5 7 17 8 10 15 1 16 2 11 14 5 18 19 6 13 4 7 12 8 0 3 9 17 4 11 19 7 13 12 1 6 5 16 14 3 10 18 17 15 9 0 8 2 15 1 13 0 14 8 19 18 12 3 5 9 6 16 11 17 2 4 7 10 9 6 2 8 15 0 12 16 3 13 4 17 19 11 14 1 7 18 10 5 3 18 10 13 0 9 4 8 17 11 16 19 7 6 2 14 15 5 1 12 13 5 7 2 3 16 8 1 0 9 15 14 17 19 4 18 10 12 11 6 16 17 5 4 12 15 3 2 9 8 13 0 14 1 18 10 11 6 19 7 14 8 12 11 17 18 0 10 16 7 19 6 3 9 13 5 4 1 2 15 18 7 6 5 19 2 13 17 14 0 11 16 8 15 9 12 1 10 3 4 1 19 4 15 16 17 10 13 7 12 8 18 2 0 5 11 3 9 6 14
258.53 d NODES 982190
258.54 d CHECKS 264769940
258.54
258.54 totalWckTime=258.297 totalCpuTime=255.55
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node9/watcher-240295-1168372251 -o ROOT/results/node9/solver-240295-1168372251 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/240295-1168372251/unknown.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB
/proc/loadavg: 2.07 2.02 2.00 5/87 32753
/proc/meminfo: memFree=1753600/2055920 swapFree=4191880/4192956
[pid=32752] ppid=32750 vsize=1784 CPUtime=0
/proc/32752/stat : 32752 (java) R 32750 32752 30740 0 -1 0 169 0 0 0 0 0 0 0 19 0 1 0 185620266 1826816 140 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 4294960144 0 2147483391 4096 0 0 0 0 17 1 0 0
/proc/32752/statm: 446 140 106 14 0 91 0
[startup+0.108839 s]
/proc/loadavg: 2.07 2.02 2.00 5/87 32753
/proc/meminfo: memFree=1753600/2055920 swapFree=4191880/4192956
[pid=32752] ppid=32750 vsize=914988 CPUtime=0.09
/proc/32752/stat : 32752 (java) R 32750 32752 30740 0 -1 0 3046 0 1 0 8 1 0 0 20 0 8 0 185620266 936947712 2792 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4155476988 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32752/statm: 228747 2792 1445 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.516883 s]
/proc/loadavg: 2.07 2.02 2.00 5/87 32753
/proc/meminfo: memFree=1753600/2055920 swapFree=4191880/4192956
[pid=32752] ppid=32750 vsize=915328 CPUtime=0.48
/proc/32752/stat : 32752 (java) R 32750 32752 30740 0 -1 0 6444 0 1 0 44 4 0 0 18 0 8 0 185620266 937295872 6183 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32752/statm: 228832 6183 2138 14 0 215302 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915328
[startup+1.33798 s]
/proc/loadavg: 2.07 2.02 2.00 3/94 32760
/proc/meminfo: memFree=1716360/2055920 swapFree=4191880/4192956
[pid=32752] ppid=32750 vsize=915676 CPUtime=1.3
/proc/32752/stat : 32752 (java) R 32750 32752 30740 0 -1 0 12011 0 1 0 122 8 0 0 23 0 8 0 185620266 937652224 11749 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073972896 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32752/statm: 228919 11749 2523 14 0 215389 0
[pid=32752/tid=32754] ppid=32750 vsize=915676 CPUtime=0.06
/proc/32752/task/32754/stat : 32754 (java) S 32750 32752 30740 0 -1 64 902 0 0 0 6 0 0 0 16 0 8 0 185620270 937652224 11749 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=32752/tid=32755] ppid=32750 vsize=915676 CPUtime=0
/proc/32752/task/32755/stat : 32755 (java) S 32750 32752 30740 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 185620271 937652224 11749 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32752/tid=32756] ppid=32750 vsize=915676 CPUtime=0
/proc/32752/task/32756/stat : 32756 (java) S 32750 32752 30740 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 185620271 937652224 11749 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32752/tid=32757] ppid=32750 vsize=915676 CPUtime=0
/proc/32752/task/32757/stat : 32757 (java) S 32750 32752 30740 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 185620274 937652224 11749 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32752/tid=32758] ppid=32750 vsize=915676 CPUtime=0.26
/proc/32752/task/32758/stat : 32758 (java) S 32750 32752 30740 0 -1 64 466 0 0 0 25 1 0 0 15 0 8 0 185620274 937652224 11749 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32752/tid=32759] ppid=32750 vsize=915676 CPUtime=0
/proc/32752/task/32759/stat : 32759 (java) S 32750 32752 30740 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 185620274 937652224 11749 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32752/tid=32760] ppid=32750 vsize=915676 CPUtime=0
/proc/32752/task/32760/stat : 32760 (java) S 32750 32752 30740 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 185620274 937652224 11749 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915676
[startup+2.99016 s]
/proc/loadavg: 2.07 2.02 2.00 3/94 32760
/proc/meminfo: memFree=1716168/2055920 swapFree=4191880/4192956
[pid=32752] ppid=32750 vsize=915676 CPUtime=2.93
/proc/32752/stat : 32752 (java) R 32750 32752 30740 0 -1 0 12037 0 1 0 285 8 0 0 25 0 8 0 185620266 937652224 11774 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073939192 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32752/statm: 228919 11774 2524 14 0 215389 0
[pid=32752/tid=32754] ppid=32750 vsize=915676 CPUtime=0.06
/proc/32752/task/32754/stat : 32754 (java) S 32750 32752 30740 0 -1 64 902 0 0 0 6 0 0 0 17 0 8 0 185620270 937652224 11774 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=32752/tid=32755] ppid=32750 vsize=915676 CPUtime=0
/proc/32752/task/32755/stat : 32755 (java) S 32750 32752 30740 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 185620271 937652224 11774 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32752/tid=32756] ppid=32750 vsize=915676 CPUtime=0
/proc/32752/task/32756/stat : 32756 (java) S 32750 32752 30740 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 185620271 937652224 11774 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32752/tid=32757] ppid=32750 vsize=915676 CPUtime=0
/proc/32752/task/32757/stat : 32757 (java) S 32750 32752 30740 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 185620274 937652224 11774 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32752/tid=32758] ppid=32750 vsize=915676 CPUtime=0.32
/proc/32752/task/32758/stat : 32758 (java) S 32750 32752 30740 0 -1 64 488 0 0 0 30 2 0 0 16 0 8 0 185620274 937652224 11774 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32752/tid=32759] ppid=32750 vsize=915676 CPUtime=0
/proc/32752/task/32759/stat : 32759 (java) S 32750 32752 30740 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 185620274 937652224 11774 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32752/tid=32760] ppid=32750 vsize=915676 CPUtime=0
/proc/32752/task/32760/stat : 32760 (java) S 32750 32752 30740 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 185620274 937652224 11774 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 915676
[startup+6.19353 s]
/proc/loadavg: 2.06 2.02 2.00 3/94 32760
/proc/meminfo: memFree=1716168/2055920 swapFree=4191880/4192956
[pid=32752] ppid=32750 vsize=915676 CPUtime=6.11
/proc/32752/stat : 32752 (java) R 32750 32752 30740 0 -1 0 12039 0 1 0 602 9 0 0 25 0 8 0 185620266 937652224 11775 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073963481 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32752/statm: 228919 11775 2524 14 0 215389 0
[pid=32752/tid=32754] ppid=32750 vsize=915676 CPUtime=0.06
/proc/32752/task/32754/stat : 32754 (java) S 32750 32752 30740 0 -1 64 902 0 0 0 6 0 0 0 16 0 8 0 185620270 937652224 11775 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=32752/tid=32755] ppid=32750 vsize=915676 CPUtime=0
/proc/32752/task/32755/stat : 32755 (java) S 32750 32752 30740 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 185620271 937652224 11775 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32752/tid=32756] ppid=32750 vsize=915676 CPUtime=0
/proc/32752/task/32756/stat : 32756 (java) S 32750 32752 30740 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 185620271 937652224 11775 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32752/tid=32757] ppid=32750 vsize=915676 CPUtime=0
/proc/32752/task/32757/stat : 32757 (java) S 32750 32752 30740 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 185620274 937652224 11775 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32752/tid=32758] ppid=32750 vsize=915676 CPUtime=0.32
/proc/32752/task/32758/stat : 32758 (java) S 32750 32752 30740 0 -1 64 489 0 0 0 30 2 0 0 16 0 8 0 185620274 937652224 11775 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32752/tid=32759] ppid=32750 vsize=915676 CPUtime=0
/proc/32752/task/32759/stat : 32759 (java) S 32750 32752 30740 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 185620274 937652224 11775 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32752/tid=32760] ppid=32750 vsize=915676 CPUtime=0
/proc/32752/task/32760/stat : 32760 (java) S 32750 32752 30740 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 185620274 937652224 11775 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.11
Current children cumulated vsize (KiB) 915676
[startup+12.6743 s]
/proc/loadavg: 2.06 2.02 2.00 3/94 32760
/proc/meminfo: memFree=1716232/2055920 swapFree=4191880/4192956
[pid=32752] ppid=32750 vsize=915676 CPUtime=12.53
/proc/32752/stat : 32752 (java) R 32750 32752 30740 0 -1 0 12039 0 1 0 1244 9 0 0 25 0 8 0 185620266 937652224 11775 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073973700 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32752/statm: 228919 11775 2524 14 0 215389 0
[pid=32752/tid=32754] ppid=32750 vsize=915676 CPUtime=0.06
/proc/32752/task/32754/stat : 32754 (java) S 32750 32752 30740 0 -1 64 902 0 0 0 6 0 0 0 16 0 8 0 185620270 937652224 11775 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=32752/tid=32755] ppid=32750 vsize=915676 CPUtime=0
/proc/32752/task/32755/stat : 32755 (java) S 32750 32752 30740 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 185620271 937652224 11775 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32752/tid=32756] ppid=32750 vsize=915676 CPUtime=0
/proc/32752/task/32756/stat : 32756 (java) S 32750 32752 30740 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 185620271 937652224 11775 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32752/tid=32757] ppid=32750 vsize=915676 CPUtime=0
/proc/32752/task/32757/stat : 32757 (java) S 32750 32752 30740 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 185620274 937652224 11775 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32752/tid=32758] ppid=32750 vsize=915676 CPUtime=0.32
/proc/32752/task/32758/stat : 32758 (java) S 32750 32752 30740 0 -1 64 489 0 0 0 30 2 0 0 16 0 8 0 185620274 937652224 11775 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32752/tid=32759] ppid=32750 vsize=915676 CPUtime=0
/proc/32752/task/32759/stat : 32759 (java) S 32750 32752 30740 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 185620274 937652224 11775 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32752/tid=32760] ppid=32750 vsize=915676 CPUtime=0
/proc/32752/task/32760/stat : 32760 (java) S 32750 32752 30740 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 185620274 937652224 11775 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.53
Current children cumulated vsize (KiB) 915676
[startup+25.5347 s]
/proc/loadavg: 2.05 2.01 2.00 3/94 32760
/proc/meminfo: memFree=1716360/2055920 swapFree=4191880/4192956
[pid=32752] ppid=32750 vsize=915676 CPUtime=25.28
/proc/32752/stat : 32752 (java) R 32750 32752 30740 0 -1 0 12039 0 1 0 2519 9 0 0 25 0 8 0 185620266 937652224 11775 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073960251 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32752/statm: 228919 11775 2524 14 0 215389 0
[pid=32752/tid=32754] ppid=32750 vsize=915676 CPUtime=0.06
/proc/32752/task/32754/stat : 32754 (java) S 32750 32752 30740 0 -1 64 902 0 0 0 6 0 0 0 16 0 8 0 185620270 937652224 11775 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=32752/tid=32755] ppid=32750 vsize=915676 CPUtime=0
/proc/32752/task/32755/stat : 32755 (java) S 32750 32752 30740 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 185620271 937652224 11775 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32752/tid=32756] ppid=32750 vsize=915676 CPUtime=0
/proc/32752/task/32756/stat : 32756 (java) S 32750 32752 30740 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 185620271 937652224 11775 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32752/tid=32757] ppid=32750 vsize=915676 CPUtime=0
/proc/32752/task/32757/stat : 32757 (java) S 32750 32752 30740 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 185620274 937652224 11775 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32752/tid=32758] ppid=32750 vsize=915676 CPUtime=0.32
/proc/32752/task/32758/stat : 32758 (java) S 32750 32752 30740 0 -1 64 489 0 0 0 30 2 0 0 16 0 8 0 185620274 937652224 11775 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32752/tid=32759] ppid=32750 vsize=915676 CPUtime=0
/proc/32752/task/32759/stat : 32759 (java) S 32750 32752 30740 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 185620274 937652224 11775 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32752/tid=32760] ppid=32750 vsize=915676 CPUtime=0
/proc/32752/task/32760/stat : 32760 (java) S 32750 32752 30740 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 185620274 937652224 11775 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.28
Current children cumulated vsize (KiB) 915676
[startup+51.1678 s]
/proc/loadavg: 2.08 2.03 2.00 3/94 32760
/proc/meminfo: memFree=1716424/2055920 swapFree=4191880/4192956
[pid=32752] ppid=32750 vsize=915676 CPUtime=50.67
/proc/32752/stat : 32752 (java) R 32750 32752 30740 0 -1 0 12041 0 1 0 5058 9 0 0 25 0 8 0 185620266 937652224 11776 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074004048 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32752/statm: 228919 11776 2524 14 0 215389 0
[pid=32752/tid=32754] ppid=32750 vsize=915676 CPUtime=0.06
/proc/32752/task/32754/stat : 32754 (java) S 32750 32752 30740 0 -1 64 902 0 0 0 6 0 0 0 16 0 8 0 185620270 937652224 11776 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=32752/tid=32755] ppid=32750 vsize=915676 CPUtime=0
/proc/32752/task/32755/stat : 32755 (java) S 32750 32752 30740 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 185620271 937652224 11776 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32752/tid=32756] ppid=32750 vsize=915676 CPUtime=0
/proc/32752/task/32756/stat : 32756 (java) S 32750 32752 30740 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 185620271 937652224 11776 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32752/tid=32757] ppid=32750 vsize=915676 CPUtime=0
/proc/32752/task/32757/stat : 32757 (java) S 32750 32752 30740 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 185620274 937652224 11776 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32752/tid=32758] ppid=32750 vsize=915676 CPUtime=0.32
/proc/32752/task/32758/stat : 32758 (java) S 32750 32752 30740 0 -1 64 490 0 0 0 30 2 0 0 16 0 8 0 185620274 937652224 11776 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32752/tid=32759] ppid=32750 vsize=915676 CPUtime=0
/proc/32752/task/32759/stat : 32759 (java) S 32750 32752 30740 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 185620274 937652224 11776 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32752/tid=32760] ppid=32750 vsize=915676 CPUtime=0
/proc/32752/task/32760/stat : 32760 (java) S 32750 32752 30740 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 185620274 937652224 11776 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.67
Current children cumulated vsize (KiB) 915676
[startup+102.446 s]
/proc/loadavg: 2.03 2.02 2.00 3/94 32760
/proc/meminfo: memFree=1716424/2055920 swapFree=4191880/4192956
[pid=32752] ppid=32750 vsize=915676 CPUtime=101.49
/proc/32752/stat : 32752 (java) R 32750 32752 30740 0 -1 0 12041 0 1 0 10139 10 0 0 25 0 8 0 185620266 937652224 11776 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073953413 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32752/statm: 228919 11776 2524 14 0 215389 0
[pid=32752/tid=32754] ppid=32750 vsize=915676 CPUtime=0.06
/proc/32752/task/32754/stat : 32754 (java) S 32750 32752 30740 0 -1 64 902 0 0 0 6 0 0 0 16 0 8 0 185620270 937652224 11776 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=32752/tid=32755] ppid=32750 vsize=915676 CPUtime=0
/proc/32752/task/32755/stat : 32755 (java) S 32750 32752 30740 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 185620271 937652224 11776 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32752/tid=32756] ppid=32750 vsize=915676 CPUtime=0
/proc/32752/task/32756/stat : 32756 (java) S 32750 32752 30740 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 185620271 937652224 11776 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32752/tid=32757] ppid=32750 vsize=915676 CPUtime=0
/proc/32752/task/32757/stat : 32757 (java) S 32750 32752 30740 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 185620274 937652224 11776 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32752/tid=32758] ppid=32750 vsize=915676 CPUtime=0.32
/proc/32752/task/32758/stat : 32758 (java) S 32750 32752 30740 0 -1 64 490 0 0 0 30 2 0 0 16 0 8 0 185620274 937652224 11776 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32752/tid=32759] ppid=32750 vsize=915676 CPUtime=0
/proc/32752/task/32759/stat : 32759 (java) S 32750 32752 30740 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 185620274 937652224 11776 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32752/tid=32760] ppid=32750 vsize=915676 CPUtime=0
/proc/32752/task/32760/stat : 32760 (java) S 32750 32752 30740 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 185620274 937652224 11776 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.49
Current children cumulated vsize (KiB) 915676
[startup+162.452 s]
/proc/loadavg: 2.08 2.04 2.01 3/94 32760
/proc/meminfo: memFree=1716360/2055920 swapFree=4191880/4192956
[pid=32752] ppid=32750 vsize=915676 CPUtime=160.94
/proc/32752/stat : 32752 (java) R 32750 32752 30740 0 -1 0 12041 0 1 0 16084 10 0 0 25 0 8 0 185620266 937652224 11776 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073954568 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32752/statm: 228919 11776 2524 14 0 215389 0
[pid=32752/tid=32754] ppid=32750 vsize=915676 CPUtime=0.06
/proc/32752/task/32754/stat : 32754 (java) S 32750 32752 30740 0 -1 64 902 0 0 0 6 0 0 0 16 0 8 0 185620270 937652224 11776 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=32752/tid=32755] ppid=32750 vsize=915676 CPUtime=0
/proc/32752/task/32755/stat : 32755 (java) S 32750 32752 30740 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 185620271 937652224 11776 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32752/tid=32756] ppid=32750 vsize=915676 CPUtime=0
/proc/32752/task/32756/stat : 32756 (java) S 32750 32752 30740 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 185620271 937652224 11776 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32752/tid=32757] ppid=32750 vsize=915676 CPUtime=0
/proc/32752/task/32757/stat : 32757 (java) S 32750 32752 30740 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 185620274 937652224 11776 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32752/tid=32758] ppid=32750 vsize=915676 CPUtime=0.32
/proc/32752/task/32758/stat : 32758 (java) S 32750 32752 30740 0 -1 64 490 0 0 0 30 2 0 0 16 0 8 0 185620274 937652224 11776 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32752/tid=32759] ppid=32750 vsize=915676 CPUtime=0
/proc/32752/task/32759/stat : 32759 (java) S 32750 32752 30740 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 185620274 937652224 11776 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32752/tid=32760] ppid=32750 vsize=915676 CPUtime=0
/proc/32752/task/32760/stat : 32760 (java) S 32750 32752 30740 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 185620274 937652224 11776 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 160.94
Current children cumulated vsize (KiB) 915676
[startup+222.465 s]
/proc/loadavg: 2.03 2.03 2.00 4/94 32760
/proc/meminfo: memFree=1716296/2055920 swapFree=4191880/4192956
[pid=32752] ppid=32750 vsize=915676 CPUtime=220.41
/proc/32752/stat : 32752 (java) R 32750 32752 30740 0 -1 0 12041 0 1 0 22030 11 0 0 25 0 8 0 185620266 937652224 11776 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073952381 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32752/statm: 228919 11776 2524 14 0 215389 0
[pid=32752/tid=32754] ppid=32750 vsize=915676 CPUtime=0.06
/proc/32752/task/32754/stat : 32754 (java) S 32750 32752 30740 0 -1 64 902 0 0 0 6 0 0 0 16 0 8 0 185620270 937652224 11776 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=32752/tid=32755] ppid=32750 vsize=915676 CPUtime=0
/proc/32752/task/32755/stat : 32755 (java) S 32750 32752 30740 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 185620271 937652224 11776 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32752/tid=32756] ppid=32750 vsize=915676 CPUtime=0
/proc/32752/task/32756/stat : 32756 (java) S 32750 32752 30740 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 185620271 937652224 11776 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32752/tid=32757] ppid=32750 vsize=915676 CPUtime=0
/proc/32752/task/32757/stat : 32757 (java) S 32750 32752 30740 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 185620274 937652224 11776 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32752/tid=32758] ppid=32750 vsize=915676 CPUtime=0.32
/proc/32752/task/32758/stat : 32758 (java) S 32750 32752 30740 0 -1 64 490 0 0 0 30 2 0 0 16 0 8 0 185620274 937652224 11776 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32752/tid=32759] ppid=32750 vsize=915676 CPUtime=0
/proc/32752/task/32759/stat : 32759 (java) S 32750 32752 30740 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 185620274 937652224 11776 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32752/tid=32760] ppid=32750 vsize=915676 CPUtime=0
/proc/32752/task/32760/stat : 32760 (java) S 32750 32752 30740 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 185620274 937652224 11776 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 220.41
Current children cumulated vsize (KiB) 915676
Child status: 0
Real time (s): 258.555
CPU time (s): 256.167
CPU user time (s): 256.043
CPU system time (s): 0.123981
CPU usage (%): 99.0763
Max. virtual memory (cumulated for all children) (KiB): 915676
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 256.043
system time used= 0.123981
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12050
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= 6614
involuntary context switches= 11012
runsolver used 0.311952 s user time and 0.847871 s system time
The end
Begin job on node9 on Tue Jan 9 19:50:51 UTC 2007
IDJOB= 240295
IDBENCH= 7120
FILE ID= node9/240295-1168372251
PBS_JOBID= 3503838
Free space on /tmp= 66534 MiB
BENCH NAME= HOME/pub/bench/CPAI06/qcp-qwh/QCP-20/qcp-20-187-5_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/240295-1168372251/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node9/watcher-240295-1168372251 -o ROOT/results/node9/solver-240295-1168372251 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/240295-1168372251/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= de12e9e03a3e91a7ba1ca5a72caa5404
RANDOM SEED= 366414876
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.231
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.231
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: 1754016 kB
Buffers: 38576 kB
Cached: 165968 kB
SwapCached: 408 kB
Active: 173056 kB
Inactive: 83912 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1754016 kB
SwapTotal: 4192956 kB
SwapFree: 4191880 kB
Dirty: 2460 kB
Writeback: 0 kB
Mapped: 65084 kB
Slab: 29708 kB
Committed_AS: 5554220 kB
PageTables: 2292 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= 66534 MiB
End job on node9 on Tue Jan 9 19:55:10 UTC 2007