0.33
0.33 Abscon 109 (November, 2006)
0.33
0.33 configuration
0.33 name=mac.xml
0.36
0.36 instance
0.36 name=/tmp/evaluation/240220-1168085195/unknown.xml
0.40
0.40 domains being loaded...
0.40
0.40 variables being loaded...
0.49 nbVariables=400 nbDomainTypes=21 minDomainSize=1 maxDomainSize=20
0.49 => wckTime=0.154 cpuTime=0.12 mem=7M894
0.49
0.49 relations being loaded...
0.49
0.49 constraints being loaded...
0.86 nbConstraints=5540 nbRelationTypes=22 nbSingletonDomainVariables=213 nbExtensionStructures=41
0.86 nbSharedExtensionStructures=5499 nbConflictsStructures=41 nbSharedConflictsStructures=5499
0.86 nbSharedBinaryRepresentations=858 maxDegree=38 maxArity=2
0.86 => wckTime=0.526 cpuTime=0.37 mem=24M505
0.94
0.94 solver IterativeSystematicSolver being built...
1.12 => wckTime=0.784 cpuTime=0.52 mem=18M543
1.17
1.17 preprocessing
1.18 nbConstraintChecks=45264 nbPropagations=400 nbRevisions=4012 nbUselessRevisions=1087 nbRemovedValues=2925
1.18 detectedInconsistency=no
1.18 => wckTime=0.051 cpuTime=0.03 mem=18M543
1.25
1.25 search
1.25 run=0 nbConstraintChecks=4169 nbPropagations=803 nbRevisions=5259 nbUselessRevisions=1816 nbAssignments=271
1.25 nbFailedAssignments=4 nbBacktracks=12 nbVisitedNodes=280 nbRestartNogoods=0 mapSize=7 nbInferences=0
1.25 nbTooLargeKeys=0
1.25 => wckTime=0.129 cpuTime=0.09 mem=19M516
1.30
1.30 search
1.30 run=1 nbConstraintChecks=8077 nbPropagations=1990 nbRevisions=11611 nbUselessRevisions=4240 nbAssignments=541
1.30 nbFailedAssignments=8 nbBacktracks=27 nbVisitedNodes=560 nbRestartNogoods=1 mapSize=16 nbInferences=0
1.30 nbTooLargeKeys=0
1.30 => wckTime=0.176 cpuTime=0.14 mem=19M516
1.35
1.35 search
1.35 run=2 nbConstraintChecks=16118 nbPropagations=3802 nbRevisions=20791 nbUselessRevisions=8459 nbAssignments=838
1.35 nbFailedAssignments=14 nbBacktracks=51 nbVisitedNodes=872 nbRestartNogoods=2 mapSize=28 nbInferences=0
1.35 nbTooLargeKeys=0
1.35 => wckTime=0.23 cpuTime=0.18 mem=19M516
1.41
1.41 search
1.41 run=3 nbConstraintChecks=25299 nbPropagations=6342 nbRevisions=33114 nbUselessRevisions=14594
1.41 nbAssignments=1158 nbFailedAssignments=27 nbBacktracks=96 nbVisitedNodes=1218 nbRestartNogoods=5 mapSize=53
1.41 nbInferences=0 nbTooLargeKeys=0
1.41 => wckTime=0.29 cpuTime=0.23 mem=19M516
1.47
1.47 search
1.47 run=4 nbConstraintChecks=33150 nbPropagations=9537 nbRevisions=47917 nbUselessRevisions=22177
1.47 nbAssignments=1482 nbFailedAssignments=41 nbBacktracks=149 nbVisitedNodes=1568 nbRestartNogoods=6 mapSize=75
1.47 nbInferences=0 nbTooLargeKeys=0
1.47 => wckTime=0.346 cpuTime=0.28 mem=20M488
1.54
1.54 search
1.54 run=5 nbConstraintChecks=47672 nbPropagations=13795 nbRevisions=67950 nbUselessRevisions=33057
1.54 nbAssignments=1854 nbFailedAssignments=61 nbBacktracks=229 nbVisitedNodes=1976 nbRestartNogoods=10 mapSize=106
1.54 nbInferences=0 nbTooLargeKeys=0
1.54 => wckTime=0.417 cpuTime=0.34 mem=20M488
1.59
1.59 search
1.59 run=6 nbConstraintChecks=61368 nbPropagations=19112 nbRevisions=92873 nbUselessRevisions=46940
1.59 nbAssignments=2240 nbFailedAssignments=84 nbBacktracks=343 nbVisitedNodes=2408 nbRestartNogoods=14 mapSize=151
1.59 nbInferences=0 nbTooLargeKeys=0
1.59 => wckTime=0.472 cpuTime=0.4 mem=20M488
1.66
1.66 search
1.66 run=7 nbConstraintChecks=87746 nbPropagations=26155 nbRevisions=127751 nbUselessRevisions=67408
1.66 nbAssignments=2713 nbFailedAssignments=120 nbBacktracks=517 nbVisitedNodes=2951 nbRestartNogoods=15
1.66 mapSize=217 nbInferences=0 nbTooLargeKeys=0
1.66 => wckTime=0.541 cpuTime=0.47 mem=21M461
1.75
1.75 search
1.75 run=8 nbConstraintChecks=129475 nbPropagations=35995 nbRevisions=177257 nbUselessRevisions=96809
1.76 nbAssignments=3288 nbFailedAssignments=206 nbBacktracks=775 nbVisitedNodes=3693 nbRestartNogoods=19
1.76 mapSize=361 nbInferences=0 nbTooLargeKeys=0
1.76 => wckTime=0.633 cpuTime=0.56 mem=21M461
1.86
1.86 search
1.86 run=9 nbConstraintChecks=178340 nbPropagations=48899 nbRevisions=245005 nbUselessRevisions=138071
1.87 nbAssignments=3992 nbFailedAssignments=267 nbBacktracks=1171 nbVisitedNodes=4518 nbRestartNogoods=24
1.87 mapSize=477 nbInferences=0 nbTooLargeKeys=0
1.87 => wckTime=0.742 cpuTime=0.67 mem=22M434
2.02
2.02 search
2.02 run=10 nbConstraintChecks=262062 nbPropagations=66913 nbRevisions=345173 nbUselessRevisions=201114
2.02 nbAssignments=4951 nbFailedAssignments=384 nbBacktracks=1749 nbVisitedNodes=5702 nbRestartNogoods=28
2.02 mapSize=681 nbInferences=0 nbTooLargeKeys=0
2.02 => wckTime=0.9 cpuTime=0.81 mem=22M434
2.29
2.29 search
2.29 run=11 nbConstraintChecks=447136 nbPropagations=91327 nbRevisions=558272 nbUselessRevisions=362640
2.29 nbAssignments=5986 nbFailedAssignments=512 nbBacktracks=2616 nbVisitedNodes=7011 nbRestartNogoods=36
2.29 mapSize=948 nbInferences=0 nbTooLargeKeys=0
2.29 => wckTime=1.172 cpuTime=1.08 mem=23M407
2.37
2.37 INFO : Stopping hyperNogood (mapSize=1014, nbTooLargekeys=0, mem=23M407)
2.63
2.63 search
2.63 run=12 nbConstraintChecks=644758 nbPropagations=125663 nbRevisions=884488 nbUselessRevisions=619225
2.63 nbAssignments=7626 nbFailedAssignments=840 nbBacktracks=3914 nbVisitedNodes=9289 nbRestartNogoods=38
2.63 => wckTime=1.507 cpuTime=1.41 mem=23M407
3.12
3.13 search
3.13 run=13 nbConstraintChecks=1057564 nbPropagations=175561 nbRevisions=1458365 nbUselessRevisions=1089218
3.13 nbAssignments=10055 nbFailedAssignments=1262 nbBacktracks=5871 nbVisitedNodes=12498 nbRestartNogoods=41
3.13 => wckTime=2.003 cpuTime=1.9 mem=23M407
3.91
3.91 search
3.91 run=14 nbConstraintChecks=1796088 nbPropagations=249147 nbRevisions=2503718 nbUselessRevisions=1976060
3.91 nbAssignments=13444 nbFailedAssignments=1656 nbBacktracks=8798 nbVisitedNodes=16635 nbRestartNogoods=48
3.91 => wckTime=2.785 cpuTime=2.67 mem=23M407
5.13
5.13 search
5.13 run=15 nbConstraintChecks=2974189 nbPropagations=360738 nbRevisions=4307206 nbUselessRevisions=3533976
5.13 nbAssignments=18464 nbFailedAssignments=2241 nbBacktracks=13189 nbVisitedNodes=22841 nbRestartNogoods=54
5.13 => wckTime=4.006 cpuTime=3.88 mem=23M407
7.21
7.21 search
7.21 run=16 nbConstraintChecks=5109290 nbPropagations=541816 nbRevisions=7495541 nbUselessRevisions=6320339
7.21 nbAssignments=26352 nbFailedAssignments=3517 nbBacktracks=19760 nbVisitedNodes=33289 nbRestartNogoods=58
7.21 => wckTime=6.093 cpuTime=5.94 mem=23M407
10.43
10.43 search
10.43 run=17 nbConstraintChecks=8161877 nbPropagations=828339 nbRevisions=12631162 nbUselessRevisions=10824462
10.43 nbAssignments=38134 nbFailedAssignments=5387 nbBacktracks=29616 nbVisitedNodes=48882 nbRestartNogoods=64
10.43 => wckTime=9.311 cpuTime=9.14 mem=23M407
15.35
15.35 search
15.35 run=18 nbConstraintChecks=12962427 nbPropagations=1280655 nbRevisions=20848606 nbUselessRevisions=18050277
15.35 nbAssignments=56726 nbFailedAssignments=9144 nbBacktracks=44397 nbVisitedNodes=74834 nbRestartNogoods=72
15.35 => wckTime=14.23 cpuTime=14.01 mem=23M407
23.56
23.56 search
23.56 run=19 nbConstraintChecks=21505411 nbPropagations=2011910 nbRevisions=34610536 nbUselessRevisions=30199357
23.56 nbAssignments=83672 nbFailedAssignments=13883 nbBacktracks=66569 nbVisitedNodes=110890 nbRestartNogoods=83
23.56 => wckTime=22.439 cpuTime=22.15 mem=23M407
35.21
35.21 search
35.21 run=20 nbConstraintChecks=33436518 nbPropagations=3141256 nbRevisions=56041151 nbUselessRevisions=49127185
35.21 nbAssignments=124757 nbFailedAssignments=21670 nbBacktracks=99825 nbVisitedNodes=167278 nbRestartNogoods=90
35.21 => wckTime=34.089 cpuTime=33.69 mem=23M407
52.41
52.41 search
52.41 run=21 nbConstraintChecks=51323185 nbPropagations=4859213 nbRevisions=89134674 nbUselessRevisions=78415768
52.41 nbAssignments=187183 nbFailedAssignments=34166 nbBacktracks=149712 nbVisitedNodes=253411 nbRestartNogoods=97
52.41 => wckTime=51.288 cpuTime=50.72 mem=23M407
77.76
77.76 search
77.76 run=22 nbConstraintChecks=77054362 nbPropagations=7447643 nbRevisions=139076721 nbUselessRevisions=122646347
77.76 nbAssignments=278792 nbFailedAssignments=50905 nbBacktracks=224530 nbVisitedNodes=377229 nbRestartNogoods=105
77.76 => wckTime=76.642 cpuTime=75.85 mem=23M407
115.20
115.20 search
115.20 run=23 nbConstraintChecks=115351566 nbPropagations=11320353 nbRevisions=213811585 nbUselessRevisions=188839662
115.20 nbAssignments=417459 nbFailedAssignments=77291 nbBacktracks=336773 nbVisitedNodes=569997 nbRestartNogoods=115
115.20 => wckTime=114.077 cpuTime=112.95 mem=23M407
169.53
169.53 search
169.53 run=24 nbConstraintChecks=164302261 nbPropagations=17104188 nbRevisions=318386217 nbUselessRevisions=280934495
169.53 nbAssignments=637541 nbFailedAssignments=128986 nbBacktracks=505118 nbVisitedNodes=889404 nbRestartNogoods=127
169.53 => wckTime=168.412 cpuTime=166.79 mem=23M407
252.59
252.59 search
252.59 run=25 nbConstraintChecks=250492700 nbPropagations=25720020 nbRevisions=479792397 nbUselessRevisions=423642899
252.59 nbAssignments=950095 nbFailedAssignments=188996 nbBacktracks=757629 nbVisitedNodes=1315885 nbRestartNogoods=137
252.59 => wckTime=251.468 cpuTime=249.09 mem=23M407
385.92
385.92 search
385.92 run=26 nbConstraintChecks=391127009 nbPropagations=39008608 nbRevisions=734071140 nbUselessRevisions=649020485
385.92 nbAssignments=1428569 nbFailedAssignments=288655 nbBacktracks=1136416 nbVisitedNodes=1987763
385.92 nbRestartNogoods=148
385.92 => wckTime=384.802 cpuTime=381.21 mem=23M407
597.25
597.25 search
597.25 run=27 nbConstraintChecks=621181299 nbPropagations=59709176 nbRevisions=1139654924
597.25 nbUselessRevisions=1008724754 nbAssignments=2144121 nbFailedAssignments=436004 nbBacktracks=1704571
597.25 nbVisitedNodes=3003442 nbRestartNogoods=154
597.25 => wckTime=596.125 cpuTime=590.61 mem=23M407
904.02
904.02 search
904.02 run=28 nbConstraintChecks=942379401 nbPropagations=91044672 nbRevisions=1754707834
904.02 nbUselessRevisions=1554207938 nbAssignments=3206910 nbFailedAssignments=646525 nbBacktracks=2556800
904.02 nbVisitedNodes=4463678 nbRestartNogoods=168
904.02 => wckTime=902.898 cpuTime=894.59 mem=23M407
1337.70
1337.70 search
1337.70 run=29 nbConstraintChecks=1402397908 nbPropagations=137478671 nbRevisions=2666709209
1337.70 nbUselessRevisions=2361494590 nbAssignments=4800422 nbFailedAssignments=961651 nbBacktracks=3835141
1337.70 nbVisitedNodes=6696898 nbRestartNogoods=177
1337.70 => wckTime=1336.578 cpuTime=1325.22 mem=23M407
1659.65
1659.65 search
1659.65 run=30 nbConstraintChecks=1761122846 nbPropagations=195946858 nbRevisions=3812571421
1659.65 nbUselessRevisions=3376094619 nbAssignments=6145327 nbFailedAssignments=1228294 nbBacktracks=4913003
1659.65 nbVisitedNodes=8552602 nbRestartNogoods=191
1659.65 => wckTime=1658.524 cpuTime=1646.85 mem=23M407
1659.65
1659.65 global
1659.65 nbConstraintChecks=1761168110 nbPropagations=195947258 nbRevisions=3812575433 nbUselessRevisions=3376095706
1659.65 nbRestartNogoods=191 solvingWckTime=1658.525 solvingCpuTime=1646.85 expiredTime=no totalExploration=no
1659.65 nbFoundSolutions=1 globalCpuTime=1647.43
1659.65 => wckTime=1659.314 cpuTime=1647.37 mem=23M407
1659.65
1659.65 s SATISFIABLE
1659.65 v 0 16 17 18 7 14 4 5 12 9 8 15 19 6 2 11 3 1 10 13 10 6 16 17 4 8 3 14 1 11 7 13 9 5 0 19 15 2 18 12 1 4 15 5 10 11 12 9 18 2 19 14 17 7 16 8 0 13 3 6 14 0 8 16 3 15 7 6 17 13 12 5 11 19 18 9 2 4 1 10 2 19 10 3 11 7 6 13 9 0 1 12 8 16 4 14 18 15 17 5 7 1 18 4 14 10 17 3 11 16 5 0 6 13 19 2 8 12 15 9 15 11 7 6 18 9 13 17 8 1 3 16 2 4 14 5 12 10 19 0 6 3 11 7 13 18 0 15 2 5 10 19 12 17 8 1 4 9 14 16 5 2 0 15 1 16 8 18 3 4 6 10 7 11 12 13 17 19 9 14 9 18 4 10 2 19 5 0 15 12 14 1 16 8 13 17 7 11 6 3 13 15 9 12 16 4 11 10 19 8 17 6 0 18 1 3 14 5 2 7 16 8 19 13 5 12 1 2 6 14 0 18 15 9 17 7 10 3 4 11 12 5 14 9 19 17 2 1 16 7 15 4 3 0 10 18 11 6 13 8 11 17 12 2 9 13 19 8 14 18 4 7 1 10 3 6 5 16 0 15 3 12 13 14 8 2 10 7 5 17 18 9 4 15 6 16 1 0 11 19 8 14 5 0 6 1 15 4 13 19 11 17 10 3 7 12 9 18 16 2 19 10 1 8 17 3 18 11 0 6 9 2 13 12 5 15 16 14 7 4 17 9 6 1 12 0 16 19 10 3 2 11 5 14 15 4 13 7 8 18 18 7 3 19 0 5 9 16 4 15 13 8 14 2 11 10 6 17 12 1 4 13 2 11 15 6 14 12 7 10 16 3 18 1 9 0 19 8 5 17
1659.65 d NODES 6145327
1659.65 d CHECKS 1761168110
1659.65
1659.65 totalWckTime=1659.401 totalCpuTime=1647.43
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node30/watcher-240220-1168085195 -o ROOT/results/node30/solver-240220-1168085195 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/240220-1168085195/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.60 1.92 1.91 4/93 4476
/proc/meminfo: memFree=1130608/2055920 swapFree=4191880/4192956
[pid=4475] ppid=4473 vsize=1784 CPUtime=0
/proc/4475/stat : 4475 (java) D 4473 4475 4408 0 -1 0 165 0 0 0 0 0 0 0 18 0 1 0 156914878 1826816 136 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0
/proc/4475/statm: 446 136 102 14 0 91 0
[startup+0.10682 s]
/proc/loadavg: 1.60 1.92 1.91 4/93 4476
/proc/meminfo: memFree=1130608/2055920 swapFree=4191880/4192956
[pid=4475] ppid=4473 vsize=913068 CPUtime=0.08
/proc/4475/stat : 4475 (java) S 4473 4475 4408 0 -1 0 2885 0 1 0 7 1 0 0 18 0 8 0 156914878 934981632 2631 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4475/statm: 228267 2631 1396 14 0 215168 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 913068
[startup+0.518844 s]
/proc/loadavg: 1.60 1.92 1.91 4/93 4476
/proc/meminfo: memFree=1130608/2055920 swapFree=4191880/4192956
[pid=4475] ppid=4473 vsize=915328 CPUtime=0.48
/proc/4475/stat : 4475 (java) R 4473 4475 4408 0 -1 0 6411 0 1 0 44 4 0 0 18 0 8 0 156914878 937295872 6150 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4475/statm: 228832 6150 2138 14 0 215302 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915328
[startup+1.3449 s]
/proc/loadavg: 1.60 1.92 1.91 3/100 4483
/proc/meminfo: memFree=1093432/2055920 swapFree=4191880/4192956
[pid=4475] ppid=4473 vsize=915676 CPUtime=1.3
/proc/4475/stat : 4475 (java) R 4473 4475 4408 0 -1 0 11994 0 1 0 122 8 0 0 23 0 8 0 156914878 937652224 11732 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072918501 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4475/statm: 228919 11732 2513 14 0 215389 0
[pid=4475/tid=4477] ppid=4473 vsize=915676 CPUtime=0.06
/proc/4475/task/4477/stat : 4477 (java) S 4473 4475 4408 0 -1 64 903 0 0 0 6 0 0 0 16 0 8 0 156914882 937652224 11732 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4475/tid=4478] ppid=4473 vsize=915676 CPUtime=0
/proc/4475/task/4478/stat : 4478 (java) S 4473 4475 4408 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156914883 937652224 11732 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4475/tid=4479] ppid=4473 vsize=915676 CPUtime=0
/proc/4475/task/4479/stat : 4479 (java) S 4473 4475 4408 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156914883 937652224 11732 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4475/tid=4480] ppid=4473 vsize=915676 CPUtime=0
/proc/4475/task/4480/stat : 4480 (java) S 4473 4475 4408 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156914886 937652224 11732 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4475/tid=4481] ppid=4473 vsize=915676 CPUtime=0.26
/proc/4475/task/4481/stat : 4481 (java) S 4473 4475 4408 0 -1 64 466 0 0 0 25 1 0 0 15 0 8 0 156914886 937652224 11732 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4475/tid=4482] ppid=4473 vsize=915676 CPUtime=0
/proc/4475/task/4482/stat : 4482 (java) S 4473 4475 4408 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156914886 937652224 11732 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4475/tid=4483] ppid=4473 vsize=915676 CPUtime=0
/proc/4475/task/4483/stat : 4483 (java) S 4473 4475 4408 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156914886 937652224 11732 18446744073709551615 134512640 134570532 4294956480 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.982 s]
/proc/loadavg: 1.63 1.92 1.91 3/100 4483
/proc/meminfo: memFree=1093304/2055920 swapFree=4191880/4192956
[pid=4475] ppid=4473 vsize=915676 CPUtime=2.92
/proc/4475/stat : 4475 (java) R 4473 4475 4408 0 -1 0 12013 0 1 0 283 9 0 0 25 0 8 0 156914878 937652224 11750 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073981285 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4475/statm: 228919 11750 2513 14 0 215389 0
[pid=4475/tid=4477] ppid=4473 vsize=915676 CPUtime=0.06
/proc/4475/task/4477/stat : 4477 (java) S 4473 4475 4408 0 -1 64 903 0 0 0 6 0 0 0 17 0 8 0 156914882 937652224 11750 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4475/tid=4478] ppid=4473 vsize=915676 CPUtime=0
/proc/4475/task/4478/stat : 4478 (java) S 4473 4475 4408 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156914883 937652224 11750 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4475/tid=4479] ppid=4473 vsize=915676 CPUtime=0
/proc/4475/task/4479/stat : 4479 (java) S 4473 4475 4408 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156914883 937652224 11750 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4475/tid=4480] ppid=4473 vsize=915676 CPUtime=0
/proc/4475/task/4480/stat : 4480 (java) S 4473 4475 4408 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156914886 937652224 11750 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4475/tid=4481] ppid=4473 vsize=915676 CPUtime=0.3
/proc/4475/task/4481/stat : 4481 (java) S 4473 4475 4408 0 -1 64 484 0 0 0 29 1 0 0 16 0 8 0 156914886 937652224 11750 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4475/tid=4482] ppid=4473 vsize=915676 CPUtime=0
/proc/4475/task/4482/stat : 4482 (java) S 4473 4475 4408 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156914886 937652224 11750 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4475/tid=4483] ppid=4473 vsize=915676 CPUtime=0
/proc/4475/task/4483/stat : 4483 (java) S 4473 4475 4408 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156914886 937652224 11750 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.92
Current children cumulated vsize (KiB) 915676
[startup+6.26721 s]
/proc/loadavg: 1.63 1.92 1.91 3/100 4483
/proc/meminfo: memFree=1093240/2055920 swapFree=4191880/4192956
[pid=4475] ppid=4473 vsize=915676 CPUtime=6.17
/proc/4475/stat : 4475 (java) R 4473 4475 4408 0 -1 0 12016 0 1 0 608 9 0 0 25 0 8 0 156914878 937652224 11752 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073961455 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4475/statm: 228919 11752 2513 14 0 215389 0
[pid=4475/tid=4477] ppid=4473 vsize=915676 CPUtime=0.06
/proc/4475/task/4477/stat : 4477 (java) S 4473 4475 4408 0 -1 64 903 0 0 0 6 0 0 0 16 0 8 0 156914882 937652224 11752 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4475/tid=4478] ppid=4473 vsize=915676 CPUtime=0
/proc/4475/task/4478/stat : 4478 (java) S 4473 4475 4408 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156914883 937652224 11752 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4475/tid=4479] ppid=4473 vsize=915676 CPUtime=0
/proc/4475/task/4479/stat : 4479 (java) S 4473 4475 4408 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156914883 937652224 11752 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4475/tid=4480] ppid=4473 vsize=915676 CPUtime=0
/proc/4475/task/4480/stat : 4480 (java) S 4473 4475 4408 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156914886 937652224 11752 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4475/tid=4481] ppid=4473 vsize=915676 CPUtime=0.31
/proc/4475/task/4481/stat : 4481 (java) S 4473 4475 4408 0 -1 64 485 0 0 0 30 1 0 0 16 0 8 0 156914886 937652224 11752 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4475/tid=4482] ppid=4473 vsize=915676 CPUtime=0
/proc/4475/task/4482/stat : 4482 (java) S 4473 4475 4408 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156914886 937652224 11752 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4475/tid=4483] ppid=4473 vsize=915676 CPUtime=0
/proc/4475/task/4483/stat : 4483 (java) S 4473 4475 4408 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156914886 937652224 11752 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.17
Current children cumulated vsize (KiB) 915676
[startup+12.7556 s]
/proc/loadavg: 1.69 1.92 1.91 3/100 4483
/proc/meminfo: memFree=1093240/2055920 swapFree=4191880/4192956
[pid=4475] ppid=4473 vsize=915676 CPUtime=12.6
/proc/4475/stat : 4475 (java) R 4473 4475 4408 0 -1 0 12016 0 1 0 1251 9 0 0 25 0 8 0 156914878 937652224 11752 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073964606 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4475/statm: 228919 11752 2513 14 0 215389 0
[pid=4475/tid=4477] ppid=4473 vsize=915676 CPUtime=0.06
/proc/4475/task/4477/stat : 4477 (java) S 4473 4475 4408 0 -1 64 903 0 0 0 6 0 0 0 16 0 8 0 156914882 937652224 11752 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4475/tid=4478] ppid=4473 vsize=915676 CPUtime=0
/proc/4475/task/4478/stat : 4478 (java) S 4473 4475 4408 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156914883 937652224 11752 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4475/tid=4479] ppid=4473 vsize=915676 CPUtime=0
/proc/4475/task/4479/stat : 4479 (java) S 4473 4475 4408 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156914883 937652224 11752 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4475/tid=4480] ppid=4473 vsize=915676 CPUtime=0
/proc/4475/task/4480/stat : 4480 (java) S 4473 4475 4408 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156914886 937652224 11752 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4475/tid=4481] ppid=4473 vsize=915676 CPUtime=0.31
/proc/4475/task/4481/stat : 4481 (java) S 4473 4475 4408 0 -1 64 485 0 0 0 30 1 0 0 16 0 8 0 156914886 937652224 11752 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4475/tid=4482] ppid=4473 vsize=915676 CPUtime=0
/proc/4475/task/4482/stat : 4482 (java) S 4473 4475 4408 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156914886 937652224 11752 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4475/tid=4483] ppid=4473 vsize=915676 CPUtime=0
/proc/4475/task/4483/stat : 4483 (java) S 4473 4475 4408 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156914886 937652224 11752 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.6
Current children cumulated vsize (KiB) 915676
[startup+25.6294 s]
/proc/loadavg: 1.73 1.92 1.91 3/100 4483
/proc/meminfo: memFree=1093304/2055920 swapFree=4191880/4192956
[pid=4475] ppid=4473 vsize=915676 CPUtime=25.36
/proc/4475/stat : 4475 (java) R 4473 4475 4408 0 -1 0 12016 0 1 0 2527 9 0 0 25 0 8 0 156914878 937652224 11752 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073948611 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4475/statm: 228919 11752 2513 14 0 215389 0
[pid=4475/tid=4477] ppid=4473 vsize=915676 CPUtime=0.06
/proc/4475/task/4477/stat : 4477 (java) S 4473 4475 4408 0 -1 64 903 0 0 0 6 0 0 0 16 0 8 0 156914882 937652224 11752 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4475/tid=4478] ppid=4473 vsize=915676 CPUtime=0
/proc/4475/task/4478/stat : 4478 (java) S 4473 4475 4408 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156914883 937652224 11752 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4475/tid=4479] ppid=4473 vsize=915676 CPUtime=0
/proc/4475/task/4479/stat : 4479 (java) S 4473 4475 4408 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156914883 937652224 11752 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4475/tid=4480] ppid=4473 vsize=915676 CPUtime=0
/proc/4475/task/4480/stat : 4480 (java) S 4473 4475 4408 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156914886 937652224 11752 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4475/tid=4481] ppid=4473 vsize=915676 CPUtime=0.31
/proc/4475/task/4481/stat : 4481 (java) S 4473 4475 4408 0 -1 64 485 0 0 0 30 1 0 0 16 0 8 0 156914886 937652224 11752 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4475/tid=4482] ppid=4473 vsize=915676 CPUtime=0
/proc/4475/task/4482/stat : 4482 (java) S 4473 4475 4408 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156914886 937652224 11752 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4475/tid=4483] ppid=4473 vsize=915676 CPUtime=0
/proc/4475/task/4483/stat : 4483 (java) S 4473 4475 4408 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156914886 937652224 11752 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.36
Current children cumulated vsize (KiB) 915676
[startup+51.2621 s]
/proc/loadavg: 1.82 1.93 1.91 5/100 4483
/proc/meminfo: memFree=1093368/2055920 swapFree=4191880/4192956
[pid=4475] ppid=4473 vsize=915676 CPUtime=50.75
/proc/4475/stat : 4475 (java) R 4473 4475 4408 0 -1 0 12016 0 1 0 5066 9 0 0 25 0 8 0 156914878 937652224 11752 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073982718 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4475/statm: 228919 11752 2513 14 0 215389 0
[pid=4475/tid=4477] ppid=4473 vsize=915676 CPUtime=0.06
/proc/4475/task/4477/stat : 4477 (java) S 4473 4475 4408 0 -1 64 903 0 0 0 6 0 0 0 16 0 8 0 156914882 937652224 11752 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4475/tid=4478] ppid=4473 vsize=915676 CPUtime=0
/proc/4475/task/4478/stat : 4478 (java) S 4473 4475 4408 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156914883 937652224 11752 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4475/tid=4479] ppid=4473 vsize=915676 CPUtime=0
/proc/4475/task/4479/stat : 4479 (java) S 4473 4475 4408 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156914883 937652224 11752 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4475/tid=4480] ppid=4473 vsize=915676 CPUtime=0
/proc/4475/task/4480/stat : 4480 (java) S 4473 4475 4408 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156914886 937652224 11752 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4475/tid=4481] ppid=4473 vsize=915676 CPUtime=0.31
/proc/4475/task/4481/stat : 4481 (java) S 4473 4475 4408 0 -1 64 485 0 0 0 30 1 0 0 16 0 8 0 156914886 937652224 11752 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4475/tid=4482] ppid=4473 vsize=915676 CPUtime=0
/proc/4475/task/4482/stat : 4482 (java) S 4473 4475 4408 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156914886 937652224 11752 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4475/tid=4483] ppid=4473 vsize=915676 CPUtime=0
/proc/4475/task/4483/stat : 4483 (java) S 4473 4475 4408 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156914886 937652224 11752 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.75
Current children cumulated vsize (KiB) 915676
[startup+102.513 s]
/proc/loadavg: 1.93 1.94 1.91 3/100 4483
/proc/meminfo: memFree=1093368/2055920 swapFree=4191880/4192956
[pid=4475] ppid=4473 vsize=915676 CPUtime=101.55
/proc/4475/stat : 4475 (java) R 4473 4475 4408 0 -1 0 12016 0 1 0 10145 10 0 0 25 0 8 0 156914878 937652224 11752 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073994898 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4475/statm: 228919 11752 2513 14 0 215389 0
[pid=4475/tid=4477] ppid=4473 vsize=915676 CPUtime=0.06
/proc/4475/task/4477/stat : 4477 (java) S 4473 4475 4408 0 -1 64 903 0 0 0 6 0 0 0 16 0 8 0 156914882 937652224 11752 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4475/tid=4478] ppid=4473 vsize=915676 CPUtime=0
/proc/4475/task/4478/stat : 4478 (java) S 4473 4475 4408 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156914883 937652224 11752 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4475/tid=4479] ppid=4473 vsize=915676 CPUtime=0
/proc/4475/task/4479/stat : 4479 (java) S 4473 4475 4408 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156914883 937652224 11752 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4475/tid=4480] ppid=4473 vsize=915676 CPUtime=0
/proc/4475/task/4480/stat : 4480 (java) S 4473 4475 4408 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156914886 937652224 11752 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4475/tid=4481] ppid=4473 vsize=915676 CPUtime=0.31
/proc/4475/task/4481/stat : 4481 (java) S 4473 4475 4408 0 -1 64 485 0 0 0 30 1 0 0 16 0 8 0 156914886 937652224 11752 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4475/tid=4482] ppid=4473 vsize=915676 CPUtime=0
/proc/4475/task/4482/stat : 4482 (java) S 4473 4475 4408 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156914886 937652224 11752 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4475/tid=4483] ppid=4473 vsize=915676 CPUtime=0
/proc/4475/task/4483/stat : 4483 (java) S 4473 4475 4408 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156914886 937652224 11752 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.55
Current children cumulated vsize (KiB) 915676
[startup+162.517 s]
/proc/loadavg: 1.97 1.94 1.91 3/100 4483
/proc/meminfo: memFree=1093496/2055920 swapFree=4191880/4192956
[pid=4475] ppid=4473 vsize=915676 CPUtime=161
/proc/4475/stat : 4475 (java) R 4473 4475 4408 0 -1 0 12018 0 1 0 16090 10 0 0 25 0 8 0 156914878 937652224 11753 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073980785 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
################
# More data... #
################
/proc/4475/task/4480/stat : 4480 (java) S 4473 4475 4408 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156914886 937652224 11753 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4475/tid=4481] ppid=4473 vsize=915676 CPUtime=0.31
/proc/4475/task/4481/stat : 4481 (java) S 4473 4475 4408 0 -1 64 486 0 0 0 30 1 0 0 16 0 8 0 156914886 937652224 11753 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4475/tid=4482] ppid=4473 vsize=915676 CPUtime=0
/proc/4475/task/4482/stat : 4482 (java) S 4473 4475 4408 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156914886 937652224 11753 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4475/tid=4483] ppid=4473 vsize=915676 CPUtime=0
/proc/4475/task/4483/stat : 4483 (java) S 4473 4475 4408 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156914886 937652224 11753 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1171.88
Current children cumulated vsize (KiB) 915676
[startup+1242.76 s]
/proc/loadavg: 1.93 1.99 1.94 3/100 4543
/proc/meminfo: memFree=1124536/2055920 swapFree=4191880/4192956
[pid=4475] ppid=4473 vsize=915676 CPUtime=1231.53
/proc/4475/stat : 4475 (java) R 4473 4475 4408 0 -1 0 12018 0 1 0 123133 20 0 0 25 0 8 0 156914878 937652224 11753 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073954934 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4475/statm: 228919 11753 2513 14 0 215389 0
[pid=4475/tid=4477] ppid=4473 vsize=915676 CPUtime=0.06
/proc/4475/task/4477/stat : 4477 (java) S 4473 4475 4408 0 -1 64 903 0 0 0 6 0 0 0 16 0 8 0 156914882 937652224 11753 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4475/tid=4478] ppid=4473 vsize=915676 CPUtime=0
/proc/4475/task/4478/stat : 4478 (java) S 4473 4475 4408 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156914883 937652224 11753 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4475/tid=4479] ppid=4473 vsize=915676 CPUtime=0
/proc/4475/task/4479/stat : 4479 (java) S 4473 4475 4408 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156914883 937652224 11753 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4475/tid=4480] ppid=4473 vsize=915676 CPUtime=0
/proc/4475/task/4480/stat : 4480 (java) S 4473 4475 4408 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156914886 937652224 11753 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4475/tid=4481] ppid=4473 vsize=915676 CPUtime=0.31
/proc/4475/task/4481/stat : 4481 (java) S 4473 4475 4408 0 -1 64 486 0 0 0 30 1 0 0 16 0 8 0 156914886 937652224 11753 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4475/tid=4482] ppid=4473 vsize=915676 CPUtime=0
/proc/4475/task/4482/stat : 4482 (java) S 4473 4475 4408 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156914886 937652224 11753 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4475/tid=4483] ppid=4473 vsize=915676 CPUtime=0
/proc/4475/task/4483/stat : 4483 (java) S 4473 4475 4408 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156914886 937652224 11753 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1231.53
Current children cumulated vsize (KiB) 915676
[startup+1302.8 s]
/proc/loadavg: 1.97 1.99 1.94 3/100 4543
/proc/meminfo: memFree=1124664/2055920 swapFree=4191880/4192956
[pid=4475] ppid=4473 vsize=915676 CPUtime=1291.52
/proc/4475/stat : 4475 (java) R 4473 4475 4408 0 -1 0 12018 0 1 0 129132 20 0 0 25 0 8 0 156914878 937652224 11753 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073952361 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4475/statm: 228919 11753 2513 14 0 215389 0
[pid=4475/tid=4477] ppid=4473 vsize=915676 CPUtime=0.06
/proc/4475/task/4477/stat : 4477 (java) S 4473 4475 4408 0 -1 64 903 0 0 0 6 0 0 0 16 0 8 0 156914882 937652224 11753 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4475/tid=4478] ppid=4473 vsize=915676 CPUtime=0
/proc/4475/task/4478/stat : 4478 (java) S 4473 4475 4408 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156914883 937652224 11753 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4475/tid=4479] ppid=4473 vsize=915676 CPUtime=0
/proc/4475/task/4479/stat : 4479 (java) S 4473 4475 4408 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156914883 937652224 11753 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4475/tid=4480] ppid=4473 vsize=915676 CPUtime=0
/proc/4475/task/4480/stat : 4480 (java) S 4473 4475 4408 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156914886 937652224 11753 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4475/tid=4481] ppid=4473 vsize=915676 CPUtime=0.31
/proc/4475/task/4481/stat : 4481 (java) S 4473 4475 4408 0 -1 64 486 0 0 0 30 1 0 0 16 0 8 0 156914886 937652224 11753 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4475/tid=4482] ppid=4473 vsize=915676 CPUtime=0
/proc/4475/task/4482/stat : 4482 (java) S 4473 4475 4408 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156914886 937652224 11753 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4475/tid=4483] ppid=4473 vsize=915676 CPUtime=0
/proc/4475/task/4483/stat : 4483 (java) S 4473 4475 4408 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156914886 937652224 11753 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1291.52
Current children cumulated vsize (KiB) 915676
[startup+1362.84 s]
/proc/loadavg: 2.03 2.00 1.94 3/100 4543
/proc/meminfo: memFree=1124664/2055920 swapFree=4191880/4192956
[pid=4475] ppid=4473 vsize=915676 CPUtime=1351.5
/proc/4475/stat : 4475 (java) R 4473 4475 4408 0 -1 0 12018 0 1 0 135130 20 0 0 25 0 8 0 156914878 937652224 11753 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073954572 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4475/statm: 228919 11753 2513 14 0 215389 0
[pid=4475/tid=4477] ppid=4473 vsize=915676 CPUtime=0.06
/proc/4475/task/4477/stat : 4477 (java) S 4473 4475 4408 0 -1 64 903 0 0 0 6 0 0 0 16 0 8 0 156914882 937652224 11753 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4475/tid=4478] ppid=4473 vsize=915676 CPUtime=0
/proc/4475/task/4478/stat : 4478 (java) S 4473 4475 4408 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156914883 937652224 11753 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4475/tid=4479] ppid=4473 vsize=915676 CPUtime=0
/proc/4475/task/4479/stat : 4479 (java) S 4473 4475 4408 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156914883 937652224 11753 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4475/tid=4480] ppid=4473 vsize=915676 CPUtime=0
/proc/4475/task/4480/stat : 4480 (java) S 4473 4475 4408 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156914886 937652224 11753 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4475/tid=4481] ppid=4473 vsize=915676 CPUtime=0.31
/proc/4475/task/4481/stat : 4481 (java) S 4473 4475 4408 0 -1 64 486 0 0 0 30 1 0 0 16 0 8 0 156914886 937652224 11753 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4475/tid=4482] ppid=4473 vsize=915676 CPUtime=0
/proc/4475/task/4482/stat : 4482 (java) S 4473 4475 4408 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156914886 937652224 11753 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4475/tid=4483] ppid=4473 vsize=915676 CPUtime=0
/proc/4475/task/4483/stat : 4483 (java) S 4473 4475 4408 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156914886 937652224 11753 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1351.5
Current children cumulated vsize (KiB) 915676
[startup+1422.88 s]
/proc/loadavg: 2.01 2.00 1.94 3/100 4543
/proc/meminfo: memFree=1124600/2055920 swapFree=4191880/4192956
[pid=4475] ppid=4473 vsize=915676 CPUtime=1411.48
/proc/4475/stat : 4475 (java) R 4473 4475 4408 0 -1 0 12018 0 1 0 141128 20 0 0 25 0 8 0 156914878 937652224 11753 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073949681 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4475/statm: 228919 11753 2513 14 0 215389 0
[pid=4475/tid=4477] ppid=4473 vsize=915676 CPUtime=0.06
/proc/4475/task/4477/stat : 4477 (java) S 4473 4475 4408 0 -1 64 903 0 0 0 6 0 0 0 16 0 8 0 156914882 937652224 11753 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4475/tid=4478] ppid=4473 vsize=915676 CPUtime=0
/proc/4475/task/4478/stat : 4478 (java) S 4473 4475 4408 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156914883 937652224 11753 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4475/tid=4479] ppid=4473 vsize=915676 CPUtime=0
/proc/4475/task/4479/stat : 4479 (java) S 4473 4475 4408 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156914883 937652224 11753 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4475/tid=4480] ppid=4473 vsize=915676 CPUtime=0
/proc/4475/task/4480/stat : 4480 (java) S 4473 4475 4408 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156914886 937652224 11753 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4475/tid=4481] ppid=4473 vsize=915676 CPUtime=0.31
/proc/4475/task/4481/stat : 4481 (java) S 4473 4475 4408 0 -1 64 486 0 0 0 30 1 0 0 16 0 8 0 156914886 937652224 11753 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4475/tid=4482] ppid=4473 vsize=915676 CPUtime=0
/proc/4475/task/4482/stat : 4482 (java) S 4473 4475 4408 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156914886 937652224 11753 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4475/tid=4483] ppid=4473 vsize=915676 CPUtime=0
/proc/4475/task/4483/stat : 4483 (java) S 4473 4475 4408 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156914886 937652224 11753 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1411.48
Current children cumulated vsize (KiB) 915676
[startup+1482.93 s]
/proc/loadavg: 2.00 2.00 1.94 3/100 4543
/proc/meminfo: memFree=1124536/2055920 swapFree=4191880/4192956
[pid=4475] ppid=4473 vsize=915676 CPUtime=1471.47
/proc/4475/stat : 4475 (java) R 4473 4475 4408 0 -1 0 12018 0 1 0 147127 20 0 0 25 0 8 0 156914878 937652224 11753 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073954614 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4475/statm: 228919 11753 2513 14 0 215389 0
[pid=4475/tid=4477] ppid=4473 vsize=915676 CPUtime=0.06
/proc/4475/task/4477/stat : 4477 (java) S 4473 4475 4408 0 -1 64 903 0 0 0 6 0 0 0 16 0 8 0 156914882 937652224 11753 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4475/tid=4478] ppid=4473 vsize=915676 CPUtime=0
/proc/4475/task/4478/stat : 4478 (java) S 4473 4475 4408 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156914883 937652224 11753 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4475/tid=4479] ppid=4473 vsize=915676 CPUtime=0
/proc/4475/task/4479/stat : 4479 (java) S 4473 4475 4408 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156914883 937652224 11753 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4475/tid=4480] ppid=4473 vsize=915676 CPUtime=0
/proc/4475/task/4480/stat : 4480 (java) S 4473 4475 4408 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156914886 937652224 11753 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4475/tid=4481] ppid=4473 vsize=915676 CPUtime=0.31
/proc/4475/task/4481/stat : 4481 (java) S 4473 4475 4408 0 -1 64 486 0 0 0 30 1 0 0 16 0 8 0 156914886 937652224 11753 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4475/tid=4482] ppid=4473 vsize=915676 CPUtime=0
/proc/4475/task/4482/stat : 4482 (java) S 4473 4475 4408 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156914886 937652224 11753 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4475/tid=4483] ppid=4473 vsize=915676 CPUtime=0
/proc/4475/task/4483/stat : 4483 (java) S 4473 4475 4408 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156914886 937652224 11753 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1471.47
Current children cumulated vsize (KiB) 915676
[startup+1542.97 s]
/proc/loadavg: 2.00 2.00 1.94 3/100 4543
/proc/meminfo: memFree=1124536/2055920 swapFree=4191880/4192956
[pid=4475] ppid=4473 vsize=915676 CPUtime=1531.47
/proc/4475/stat : 4475 (java) R 4473 4475 4408 0 -1 0 12018 0 1 0 153126 21 0 0 25 0 8 0 156914878 937652224 11753 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073997718 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4475/statm: 228919 11753 2513 14 0 215389 0
[pid=4475/tid=4477] ppid=4473 vsize=915676 CPUtime=0.06
/proc/4475/task/4477/stat : 4477 (java) S 4473 4475 4408 0 -1 64 903 0 0 0 6 0 0 0 16 0 8 0 156914882 937652224 11753 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4475/tid=4478] ppid=4473 vsize=915676 CPUtime=0
/proc/4475/task/4478/stat : 4478 (java) S 4473 4475 4408 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156914883 937652224 11753 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4475/tid=4479] ppid=4473 vsize=915676 CPUtime=0
/proc/4475/task/4479/stat : 4479 (java) S 4473 4475 4408 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156914883 937652224 11753 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4475/tid=4480] ppid=4473 vsize=915676 CPUtime=0
/proc/4475/task/4480/stat : 4480 (java) S 4473 4475 4408 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156914886 937652224 11753 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4475/tid=4481] ppid=4473 vsize=915676 CPUtime=0.31
/proc/4475/task/4481/stat : 4481 (java) S 4473 4475 4408 0 -1 64 486 0 0 0 30 1 0 0 16 0 8 0 156914886 937652224 11753 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4475/tid=4482] ppid=4473 vsize=915676 CPUtime=0
/proc/4475/task/4482/stat : 4482 (java) S 4473 4475 4408 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156914886 937652224 11753 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4475/tid=4483] ppid=4473 vsize=915676 CPUtime=0
/proc/4475/task/4483/stat : 4483 (java) S 4473 4475 4408 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156914886 937652224 11753 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1531.47
Current children cumulated vsize (KiB) 915676
[startup+1603.01 s]
/proc/loadavg: 2.00 2.00 1.94 3/100 4543
/proc/meminfo: memFree=1124472/2055920 swapFree=4191880/4192956
[pid=4475] ppid=4473 vsize=915676 CPUtime=1591.44
/proc/4475/stat : 4475 (java) R 4473 4475 4408 0 -1 0 12018 0 1 0 159123 21 0 0 25 0 8 0 156914878 937652224 11753 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073964662 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4475/statm: 228919 11753 2513 14 0 215389 0
[pid=4475/tid=4477] ppid=4473 vsize=915676 CPUtime=0.06
/proc/4475/task/4477/stat : 4477 (java) S 4473 4475 4408 0 -1 64 903 0 0 0 6 0 0 0 16 0 8 0 156914882 937652224 11753 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4475/tid=4478] ppid=4473 vsize=915676 CPUtime=0
/proc/4475/task/4478/stat : 4478 (java) S 4473 4475 4408 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156914883 937652224 11753 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4475/tid=4479] ppid=4473 vsize=915676 CPUtime=0
/proc/4475/task/4479/stat : 4479 (java) S 4473 4475 4408 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156914883 937652224 11753 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4475/tid=4480] ppid=4473 vsize=915676 CPUtime=0
/proc/4475/task/4480/stat : 4480 (java) S 4473 4475 4408 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156914886 937652224 11753 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4475/tid=4481] ppid=4473 vsize=915676 CPUtime=0.31
/proc/4475/task/4481/stat : 4481 (java) S 4473 4475 4408 0 -1 64 486 0 0 0 30 1 0 0 16 0 8 0 156914886 937652224 11753 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4475/tid=4482] ppid=4473 vsize=915676 CPUtime=0
/proc/4475/task/4482/stat : 4482 (java) S 4473 4475 4408 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156914886 937652224 11753 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4475/tid=4483] ppid=4473 vsize=915676 CPUtime=0
/proc/4475/task/4483/stat : 4483 (java) S 4473 4475 4408 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156914886 937652224 11753 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1591.44
Current children cumulated vsize (KiB) 915676
Child status: 0
Real time (s): 1659.67
CPU time (s): 1648.05
CPU user time (s): 1647.82
CPU system time (s): 0.223965
CPU usage (%): 99.2997
Max. virtual memory (cumulated for all children) (KiB): 915780
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1647.82
system time used= 0.223965
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12027
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= 34933
involuntary context switches= 92479
runsolver used 1.9827 s user time and 5.36718 s system time
The end
Begin job on node30 on Sat Jan 6 12:06:43 UTC 2007
IDJOB= 240220
IDBENCH= 7114
FILE ID= node30/240220-1168085195
PBS_JOBID= 3476303
Free space on /tmp= 66480 MiB
BENCH NAME= HOME/pub/bench/CPAI06/qcp-qwh/QCP-20/qcp-20-187-6_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/240220-1168085195/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node30/watcher-240220-1168085195 -o ROOT/results/node30/solver-240220-1168085195 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/240220-1168085195/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 96ec8cf1b7a7943c03a06ad57432798a
RANDOM SEED= 985383430
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: 1131152 kB
Buffers: 50796 kB
Cached: 675516 kB
SwapCached: 268 kB
Active: 241488 kB
Inactive: 595916 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1131152 kB
SwapTotal: 4192956 kB
SwapFree: 4191880 kB
Dirty: 2420 kB
Writeback: 0 kB
Mapped: 138860 kB
Slab: 72032 kB
Committed_AS: 3897448 kB
PageTables: 2396 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= 66481 MiB
End job on node30 on Sat Jan 6 12:34:29 UTC 2007