0.31
0.31 Abscon 109 (November, 2006)
0.31
0.31 configuration
0.31 name=pfc.xml
0.34
0.34 instance
0.34 name=/tmp/evaluation/276932-1169249996/unknown.xml
0.37
0.37 domains being loaded...
0.38
0.38 variables being loaded...
0.41 nbVariables=40 nbDomainTypes=1 minDomainSize=11 maxDomainSize=11
0.41 => wckTime=0.102 cpuTime=0.08 mem=6M910
0.41
0.41 relations being loaded...
0.51
0.51 constraints being loaded...
0.61 nbConstraints=414 nbRelationTypes=414 nbExtensionStructures=414 nbSharedExtensionStructures=0
0.61 nbConflictsStructures=414 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=8218 maxDegree=26
0.61 maxArity=2
0.61 => wckTime=0.3 cpuTime=0.2 mem=10M819
0.66
0.66 solver LocalSearchSolver being built...
0.70 => wckTime=0.392 cpuTime=0.25 mem=5M814
0.71
0.71 s SATISFIABLE
0.71 o 337
0.71 c 77
0.71 o 343
0.71 c 71
0.71 o 348
0.71 c 66
0.71 o 352
0.71 c 62
0.71 o 356
0.71 c 58
0.71 o 360
0.71 c 54
0.72 o 366
0.72 c 48
0.72 o 369
0.72 c 45
0.72 o 374
0.72 c 40
0.72 o 375
0.72 c 39
0.72 o 376
0.72 c 38
0.72 o 379
0.72 c 35
0.72 o 381
0.72 c 33
0.72 o 382
0.72 c 32
0.72 o 385
0.72 c 29
0.72 o 386
0.72 c 28
0.73 o 389
0.73 c 25
0.73 o 390
0.73 c 24
0.73 o 392
0.73 c 22
0.73 o 394
0.73 c 20
0.73 o 395
0.73 c 19
0.73 o 396
0.73 c 18
0.73 o 398
0.73 c 16
0.73 o 399
0.73 c 15
0.74 o 400
0.74 c 14
0.74 o 402
0.75 c 12
0.75 o 403
0.75 c 11
0.75 o 404
0.75 c 10
0.75 o 406
0.75 c 8
0.76 o 407
0.76 c 7
0.76 o 408
0.76 c 6
0.76 o 409
0.76 c 5
0.78 o 410
0.78 c 4
0.78 o 411
0.78 c 3
0.78 o 412
0.78 c 2
2.85 o 413
2.85 c 1
2.85
2.85 search
2.85 run=0 nbConstraintChecks=13839952 nbAssignments=8495
2.85 => wckTime=2.152 cpuTime=2.12 mem=5M814
2.86
2.86 global
2.86 nbConstraintChecks=13839952 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
2.86 solvingWckTime=2.149 solvingCpuTime=2.11 expiredTime=no totalExploration=no nbFoundSolutions=0
2.86 globalCpuTime=2.41
2.86 => wckTime=2.544 cpuTime=2.36 mem=5M814
2.86
2.86 solver IterativeSystematicSolver being built...
2.99 => wckTime=2.68 cpuTime=2.47 mem=16M787
3.00
3.00 preprocessing
3.00 nbConstraintChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
3.00 detectedInconsistency=no
3.00 => wckTime=0.0070 cpuTime=0.0 mem=16M787
3.07
3.07 search
3.07 run=0 nbConstraintChecks=104782 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=30
3.07 nbFailedAssignments=12 nbBacktracks=10 nbVisitedNodes=53 nbRestartNogoods=0
3.07 => wckTime=0.076 cpuTime=0.05 mem=16M787
3.15
3.15 search
3.15 run=1 nbConstraintChecks=288761 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=75
3.15 nbFailedAssignments=35 nbBacktracks=26 nbVisitedNodes=137 nbRestartNogoods=7
3.15 => wckTime=0.153 cpuTime=0.11 mem=16M787
3.22
3.22 search
3.22 run=2 nbConstraintChecks=529104 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=135
3.22 nbFailedAssignments=66 nbBacktracks=48 nbVisitedNodes=249 nbRestartNogoods=25
3.22 => wckTime=0.227 cpuTime=0.18 mem=16M787
3.33
3.33 search
3.33 run=3 nbConstraintChecks=968569 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=243
3.33 nbFailedAssignments=134 nbBacktracks=81 nbVisitedNodes=458 nbRestartNogoods=32
3.33 => wckTime=0.337 cpuTime=0.29 mem=16M787
3.48
3.48 search
3.48 run=4 nbConstraintChecks=1513006 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=374
3.48 nbFailedAssignments=209 nbBacktracks=131 nbVisitedNodes=714 nbRestartNogoods=45
3.48 => wckTime=0.489 cpuTime=0.44 mem=16M787
3.71
3.71 search
3.71 run=5 nbConstraintChecks=2380243 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=585
3.71 nbFailedAssignments=337 nbBacktracks=206 nbVisitedNodes=1128 nbRestartNogoods=50
3.71 => wckTime=0.714 cpuTime=0.66 mem=16M787
4.10
4.10 search
4.10 run=6 nbConstraintChecks=3889853 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=933
4.10 nbFailedAssignments=566 nbBacktracks=319 nbVisitedNodes=1818 nbRestartNogoods=58
4.10 => wckTime=1.104 cpuTime=1.04 mem=16M787
4.65
4.65 search
4.65 run=7 nbConstraintChecks=6171608 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1460
4.65 nbFailedAssignments=918 nbBacktracks=489 nbVisitedNodes=2867 nbRestartNogoods=70
4.65 => wckTime=1.655 cpuTime=1.58 mem=16M787
5.46
5.46 search
5.46 run=8 nbConstraintChecks=9128753 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2140
5.46 nbFailedAssignments=1336 nbBacktracks=745 nbVisitedNodes=4219 nbRestartNogoods=95
5.46 => wckTime=2.467 cpuTime=2.37 mem=16M787
6.60
6.60 search
6.60 run=9 nbConstraintChecks=13341487 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=3153
6.60 nbFailedAssignments=1959 nbBacktracks=1129 nbVisitedNodes=6226 nbRestartNogoods=113
6.60 => wckTime=3.609 cpuTime=3.51 mem=16M787
8.50
8.50 search
8.50 run=10 nbConstraintChecks=20390268 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=4812
8.50 nbFailedAssignments=3037 nbBacktracks=1705 nbVisitedNodes=9519 nbRestartNogoods=122
8.50 => wckTime=5.51 cpuTime=5.39 mem=16M787
11.10
11.10 search
11.10 run=11 nbConstraintChecks=30096891 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=7103
11.10 nbFailedAssignments=4458 nbBacktracks=2569 nbVisitedNodes=14061 nbRestartNogoods=135
11.10 => wckTime=8.103 cpuTime=7.96 mem=16M787
15.04
15.04 search
15.04 run=12 nbConstraintChecks=44720636 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=10558
15.04 nbFailedAssignments=6613 nbBacktracks=3866 nbVisitedNodes=20822 nbRestartNogoods=150
15.04 => wckTime=12.042 cpuTime=11.87 mem=16M787
20.29
20.29 search
20.29 run=13 nbConstraintChecks=63468695 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=15238
20.29 nbFailedAssignments=9341 nbBacktracks=5812 nbVisitedNodes=29580 nbRestartNogoods=154
20.29 => wckTime=17.295 cpuTime=17.08 mem=16M787
27.57
27.57 search
27.57 run=14 nbConstraintChecks=89150039 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=21972
27.57 nbFailedAssignments=13150 nbBacktracks=8732 nbVisitedNodes=41983 nbRestartNogoods=171
27.57 => wckTime=24.577 cpuTime=24.3 mem=16M787
37.31
37.31 search
37.31 run=15 nbConstraintChecks=122266997 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=30876
37.31 nbFailedAssignments=17671 nbBacktracks=13110 nbVisitedNodes=57425 nbRestartNogoods=181
37.31 => wckTime=34.313 cpuTime=33.96 mem=16M787
49.10
49.10 search
49.10 run=16 nbConstraintChecks=163542448 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=42946
49.10 nbFailedAssignments=23165 nbBacktracks=19679 nbVisitedNodes=76981 nbRestartNogoods=188
49.10 => wckTime=46.107 cpuTime=45.65 mem=16M787
65.66
65.66 search
65.66 run=17 nbConstraintChecks=220447332 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=60056
65.66 nbFailedAssignments=30415 nbBacktracks=29531 nbVisitedNodes=103575 nbRestartNogoods=195
65.66 => wckTime=62.672 cpuTime=62.08 mem=16M787
87.32
87.32 search
87.32 run=18 nbConstraintChecks=296425210 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=84172
87.32 nbFailedAssignments=39748 nbBacktracks=44309 nbVisitedNodes=139504 nbRestartNogoods=210
87.32 => wckTime=84.33 cpuTime=83.57 mem=16M787
119.01
119.01 search
119.01 run=19 nbConstraintChecks=406878890 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=119601
119.01 nbFailedAssignments=53001 nbBacktracks=66478 nbVisitedNodes=191402 nbRestartNogoods=224
119.01 => wckTime=116.018 cpuTime=115.01 mem=16M787
164.56
164.56 search
164.56 run=20 nbConstraintChecks=568067938 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=172137
164.56 nbFailedAssignments=72280 nbBacktracks=99730 nbVisitedNodes=267619 nbRestartNogoods=240
164.56 => wckTime=161.568 cpuTime=160.19 mem=16M787
231.79
231.79 search
231.79 run=21 nbConstraintChecks=805795837 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=250150
231.79 nbFailedAssignments=100409 nbBacktracks=149608 nbVisitedNodes=380527 nbRestartNogoods=255
231.79 => wckTime=228.793 cpuTime=226.87 mem=16M787
247.54
247.54 search
247.54 run=22 nbConstraintChecks=861193378 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=268394
247.54 nbFailedAssignments=107014 nbBacktracks=161248 nbVisitedNodes=406931 nbRestartNogoods=267
247.54 => wckTime=244.544 cpuTime=242.49 mem=16M787
247.54
247.54 global
247.54 nbConstraintChecks=861193378 nbRestartNogoods=267 solvingWckTime=244.545 solvingCpuTime=242.5 expiredTime=no
247.54 totalExploration=yes nbFoundSolutions=0 globalCpuTime=245.02
247.54 => wckTime=247.226 cpuTime=244.97 mem=16M787
247.54
247.54 s OPTIMUM FOUND
247.54 v 1 7 10 8 5 9 6 9 8 7 1 7 4 8 6 5 10 8 6 3 0 0 9 10 0 1 2 7 3 5 2 10 7 2 5 0 8 2 8 0
247.54
247.54 totalWckTime=247.306 totalCpuTime=245.02
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node16/watcher-276932-1169249996 -o ROOT/results/node16/solver-276932-1169249996 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/276932-1169249996/unknown.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 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
/proc/loadavg: 1.92 2.00 1.99 5/86 19921
/proc/meminfo: memFree=1325864/2055920 swapFree=4191880/4192956
[pid=19920] ppid=19918 vsize=18540 CPUtime=0
/proc/19920/stat : 19920 (runsolver) R 19918 18773 18773 0 -1 4194368 2 0 0 0 0 0 0 0 19 0 1 0 273394451 18984960 277 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 231962372802 0 0 4096 24578 0 0 0 17 1 0 0
/proc/19920/statm: 4635 277 242 17 0 2626 0
Current StackSize limit: 10240 KiB
[startup+0.107133 s]
/proc/loadavg: 1.92 2.00 1.99 5/86 19921
/proc/meminfo: memFree=1325864/2055920 swapFree=4191880/4192956
[pid=19920] ppid=19918 vsize=914988 CPUtime=0.08
/proc/19920/stat : 19920 (java) R 19918 19920 18773 0 -1 0 2995 0 1 0 7 1 0 0 18 0 8 0 273394451 936947712 2741 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072927713 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19920/statm: 228747 2741 1427 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.515052 s]
/proc/loadavg: 1.92 2.00 1.99 5/86 19921
/proc/meminfo: memFree=1325864/2055920 swapFree=4191880/4192956
[pid=19920] ppid=19918 vsize=915332 CPUtime=0.49
/proc/19920/stat : 19920 (java) R 19918 19920 18773 0 -1 0 6428 0 1 0 44 5 0 0 18 0 8 0 273394451 937299968 6167 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19920/statm: 228833 6167 2139 14 0 215303 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915332
[startup+1.3359 s]
/proc/loadavg: 1.92 2.00 1.99 3/93 19928
/proc/meminfo: memFree=1305648/2055920 swapFree=4191880/4192956
[pid=19920] ppid=19918 vsize=915420 CPUtime=1.3
/proc/19920/stat : 19920 (java) R 19918 19920 18773 0 -1 0 7726 0 1 0 112 18 0 0 24 0 8 0 273394451 937390080 7464 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073759665 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19920/statm: 228855 7464 2476 14 0 215325 0
[pid=19920/tid=19922] ppid=19918 vsize=915420 CPUtime=0.03
/proc/19920/task/19922/stat : 19922 (java) S 19918 19920 18773 0 -1 64 231 0 0 0 3 0 0 0 16 0 8 0 273394455 937390080 7464 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19920/tid=19923] ppid=19918 vsize=915420 CPUtime=0
/proc/19920/task/19923/stat : 19923 (java) S 19918 19920 18773 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 273394456 937390080 7464 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19920/tid=19924] ppid=19918 vsize=915420 CPUtime=0
/proc/19920/task/19924/stat : 19924 (java) S 19918 19920 18773 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273394456 937390080 7464 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19920/tid=19925] ppid=19918 vsize=915420 CPUtime=0
/proc/19920/task/19925/stat : 19925 (java) S 19918 19920 18773 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 273394459 937390080 7464 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19920/tid=19926] ppid=19918 vsize=915420 CPUtime=0.14
/proc/19920/task/19926/stat : 19926 (java) S 19918 19920 18773 0 -1 64 352 0 0 0 14 0 0 0 16 0 8 0 273394459 937390080 7464 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19920/tid=19927] ppid=19918 vsize=915420 CPUtime=0
/proc/19920/task/19927/stat : 19927 (java) S 19918 19920 18773 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 273394459 937390080 7464 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19920/tid=19928] ppid=19918 vsize=915420 CPUtime=0
/proc/19920/task/19928/stat : 19928 (java) S 19918 19920 18773 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 273394459 937390080 7464 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) 915420
[startup+2.9726 s]
/proc/loadavg: 1.92 2.00 1.99 3/93 19928
/proc/meminfo: memFree=1305584/2055920 swapFree=4191880/4192956
[pid=19920] ppid=19918 vsize=915552 CPUtime=2.92
/proc/19920/stat : 19920 (java) R 19918 19920 18773 0 -1 0 8486 0 1 0 250 42 0 0 25 0 8 0 273394451 937525248 8223 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072940330 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19920/statm: 228888 8223 2512 14 0 215358 0
[pid=19920/tid=19922] ppid=19918 vsize=915552 CPUtime=0.03
/proc/19920/task/19922/stat : 19922 (java) S 19918 19920 18773 0 -1 64 231 0 0 0 3 0 0 0 16 0 8 0 273394455 937525248 8223 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19920/tid=19923] ppid=19918 vsize=915552 CPUtime=0
/proc/19920/task/19923/stat : 19923 (java) S 19918 19920 18773 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 273394456 937525248 8223 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19920/tid=19924] ppid=19918 vsize=915552 CPUtime=0
/proc/19920/task/19924/stat : 19924 (java) S 19918 19920 18773 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273394456 937525248 8223 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19920/tid=19925] ppid=19918 vsize=915552 CPUtime=0
/proc/19920/task/19925/stat : 19925 (java) S 19918 19920 18773 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 273394459 937525248 8223 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19920/tid=19926] ppid=19918 vsize=915552 CPUtime=0.17
/proc/19920/task/19926/stat : 19926 (java) S 19918 19920 18773 0 -1 64 364 0 0 0 16 1 0 0 16 0 8 0 273394459 937525248 8223 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19920/tid=19927] ppid=19918 vsize=915552 CPUtime=0
/proc/19920/task/19927/stat : 19927 (java) S 19918 19920 18773 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 273394459 937525248 8223 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19920/tid=19928] ppid=19918 vsize=915552 CPUtime=0
/proc/19920/task/19928/stat : 19928 (java) S 19918 19920 18773 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 273394459 937525248 8223 18446744073709551615 134512640 134570532 4294956464 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) 915552
[startup+6.26797 s]
/proc/loadavg: 2.01 2.01 2.00 3/93 19928
/proc/meminfo: memFree=1300208/2055920 swapFree=4191880/4192956
[pid=19920] ppid=19918 vsize=915552 CPUtime=6.19
/proc/19920/stat : 19920 (java) R 19918 19920 18773 0 -1 0 9126 0 1 0 576 43 0 0 25 0 8 0 273394451 937525248 8860 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073887074 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19920/statm: 228888 8860 2527 14 0 215358 0
[pid=19920/tid=19922] ppid=19918 vsize=915552 CPUtime=0.03
/proc/19920/task/19922/stat : 19922 (java) S 19918 19920 18773 0 -1 64 232 0 0 0 3 0 0 0 17 0 8 0 273394455 937525248 8860 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19920/tid=19923] ppid=19918 vsize=915552 CPUtime=0
/proc/19920/task/19923/stat : 19923 (java) S 19918 19920 18773 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 273394456 937525248 8860 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19920/tid=19924] ppid=19918 vsize=915552 CPUtime=0
/proc/19920/task/19924/stat : 19924 (java) S 19918 19920 18773 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273394456 937525248 8860 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19920/tid=19925] ppid=19918 vsize=915552 CPUtime=0
/proc/19920/task/19925/stat : 19925 (java) S 19918 19920 18773 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 273394459 937525248 8860 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19920/tid=19926] ppid=19918 vsize=915552 CPUtime=0.24
/proc/19920/task/19926/stat : 19926 (java) S 19918 19920 18773 0 -1 64 403 0 0 0 23 1 0 0 15 0 8 0 273394459 937525248 8860 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19920/tid=19927] ppid=19918 vsize=915552 CPUtime=0
/proc/19920/task/19927/stat : 19927 (java) S 19918 19920 18773 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 273394459 937525248 8860 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19920/tid=19928] ppid=19918 vsize=915552 CPUtime=0
/proc/19920/task/19928/stat : 19928 (java) S 19918 19920 18773 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 273394459 937525248 8860 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 915552
[startup+12.7398 s]
/proc/loadavg: 2.01 2.01 2.00 3/93 19928
/proc/meminfo: memFree=1300208/2055920 swapFree=4191880/4192956
[pid=19920] ppid=19918 vsize=915552 CPUtime=12.6
/proc/19920/stat : 19920 (java) R 19918 19920 18773 0 -1 0 9136 0 1 0 1217 43 0 0 25 0 8 0 273394451 937525248 8869 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073864337 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19920/statm: 228888 8869 2527 14 0 215358 0
[pid=19920/tid=19922] ppid=19918 vsize=915552 CPUtime=0.03
/proc/19920/task/19922/stat : 19922 (java) S 19918 19920 18773 0 -1 64 232 0 0 0 3 0 0 0 16 0 8 0 273394455 937525248 8869 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19920/tid=19923] ppid=19918 vsize=915552 CPUtime=0
/proc/19920/task/19923/stat : 19923 (java) S 19918 19920 18773 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 273394456 937525248 8869 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19920/tid=19924] ppid=19918 vsize=915552 CPUtime=0
/proc/19920/task/19924/stat : 19924 (java) S 19918 19920 18773 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273394456 937525248 8869 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19920/tid=19925] ppid=19918 vsize=915552 CPUtime=0
/proc/19920/task/19925/stat : 19925 (java) S 19918 19920 18773 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 273394459 937525248 8869 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19920/tid=19926] ppid=19918 vsize=915552 CPUtime=0.25
/proc/19920/task/19926/stat : 19926 (java) S 19918 19920 18773 0 -1 64 406 0 0 0 24 1 0 0 16 0 8 0 273394459 937525248 8869 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19920/tid=19927] ppid=19918 vsize=915552 CPUtime=0
/proc/19920/task/19927/stat : 19927 (java) S 19918 19920 18773 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 273394459 937525248 8869 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19920/tid=19928] ppid=19918 vsize=915552 CPUtime=0
/proc/19920/task/19928/stat : 19928 (java) S 19918 19920 18773 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 273394459 937525248 8869 18446744073709551615 134512640 134570532 4294956464 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) 915552
[startup+25.6114 s]
/proc/loadavg: 2.00 2.01 2.00 3/93 19928
/proc/meminfo: memFree=1300336/2055920 swapFree=4191880/4192956
[pid=19920] ppid=19918 vsize=915552 CPUtime=25.37
/proc/19920/stat : 19920 (java) R 19918 19920 18773 0 -1 0 9143 0 1 0 2494 43 0 0 25 0 8 0 273394451 937525248 8874 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073751216 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19920/statm: 228888 8874 2527 14 0 215358 0
[pid=19920/tid=19922] ppid=19918 vsize=915552 CPUtime=0.03
/proc/19920/task/19922/stat : 19922 (java) S 19918 19920 18773 0 -1 64 232 0 0 0 3 0 0 0 16 0 8 0 273394455 937525248 8874 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19920/tid=19923] ppid=19918 vsize=915552 CPUtime=0
/proc/19920/task/19923/stat : 19923 (java) S 19918 19920 18773 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 273394456 937525248 8874 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19920/tid=19924] ppid=19918 vsize=915552 CPUtime=0
/proc/19920/task/19924/stat : 19924 (java) S 19918 19920 18773 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273394456 937525248 8874 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19920/tid=19925] ppid=19918 vsize=915552 CPUtime=0
/proc/19920/task/19925/stat : 19925 (java) S 19918 19920 18773 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 273394459 937525248 8874 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19920/tid=19926] ppid=19918 vsize=915552 CPUtime=0.25
/proc/19920/task/19926/stat : 19926 (java) S 19918 19920 18773 0 -1 64 407 0 0 0 24 1 0 0 16 0 8 0 273394459 937525248 8874 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19920/tid=19927] ppid=19918 vsize=915552 CPUtime=0
/proc/19920/task/19927/stat : 19927 (java) S 19918 19920 18773 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 273394459 937525248 8874 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19920/tid=19928] ppid=19918 vsize=915552 CPUtime=0
/proc/19920/task/19928/stat : 19928 (java) S 19918 19920 18773 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 273394459 937525248 8874 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.37
Current children cumulated vsize (KiB) 915552
[startup+51.3116 s]
/proc/loadavg: 2.00 2.01 2.00 3/93 19928
/proc/meminfo: memFree=1300336/2055920 swapFree=4191880/4192956
[pid=19920] ppid=19918 vsize=915552 CPUtime=50.86
/proc/19920/stat : 19920 (java) R 19918 19920 18773 0 -1 0 9150 0 1 0 5043 43 0 0 25 0 8 0 273394451 937525248 8881 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073847587 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19920/statm: 228888 8881 2527 14 0 215358 0
[pid=19920/tid=19922] ppid=19918 vsize=915552 CPUtime=0.03
/proc/19920/task/19922/stat : 19922 (java) S 19918 19920 18773 0 -1 64 232 0 0 0 3 0 0 0 16 0 8 0 273394455 937525248 8881 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19920/tid=19923] ppid=19918 vsize=915552 CPUtime=0
/proc/19920/task/19923/stat : 19923 (java) S 19918 19920 18773 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 273394456 937525248 8881 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19920/tid=19924] ppid=19918 vsize=915552 CPUtime=0
/proc/19920/task/19924/stat : 19924 (java) S 19918 19920 18773 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273394456 937525248 8881 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19920/tid=19925] ppid=19918 vsize=915552 CPUtime=0
/proc/19920/task/19925/stat : 19925 (java) S 19918 19920 18773 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 273394459 937525248 8881 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19920/tid=19926] ppid=19918 vsize=915552 CPUtime=0.25
/proc/19920/task/19926/stat : 19926 (java) S 19918 19920 18773 0 -1 64 407 0 0 0 24 1 0 0 17 0 8 0 273394459 937525248 8881 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19920/tid=19927] ppid=19918 vsize=915552 CPUtime=0
/proc/19920/task/19927/stat : 19927 (java) S 19918 19920 18773 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 273394459 937525248 8881 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19920/tid=19928] ppid=19918 vsize=915552 CPUtime=0
/proc/19920/task/19928/stat : 19928 (java) S 19918 19920 18773 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 273394459 937525248 8881 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.86
Current children cumulated vsize (KiB) 915552
[startup+102.611 s]
/proc/loadavg: 2.00 2.00 2.00 3/93 19928
/proc/meminfo: memFree=1300336/2055920 swapFree=4191880/4192956
[pid=19920] ppid=19918 vsize=915552 CPUtime=101.76
/proc/19920/stat : 19920 (java) R 19918 19920 18773 0 -1 0 9155 0 1 0 10132 44 0 0 25 0 8 0 273394451 937525248 8886 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073867881 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19920/statm: 228888 8886 2527 14 0 215358 0
[pid=19920/tid=19922] ppid=19918 vsize=915552 CPUtime=0.03
/proc/19920/task/19922/stat : 19922 (java) S 19918 19920 18773 0 -1 64 232 0 0 0 3 0 0 0 16 0 8 0 273394455 937525248 8886 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19920/tid=19923] ppid=19918 vsize=915552 CPUtime=0
/proc/19920/task/19923/stat : 19923 (java) S 19918 19920 18773 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 273394456 937525248 8886 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19920/tid=19924] ppid=19918 vsize=915552 CPUtime=0
/proc/19920/task/19924/stat : 19924 (java) S 19918 19920 18773 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273394456 937525248 8886 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19920/tid=19925] ppid=19918 vsize=915552 CPUtime=0
/proc/19920/task/19925/stat : 19925 (java) S 19918 19920 18773 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 273394459 937525248 8886 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19920/tid=19926] ppid=19918 vsize=915552 CPUtime=0.25
/proc/19920/task/19926/stat : 19926 (java) S 19918 19920 18773 0 -1 64 407 0 0 0 24 1 0 0 17 0 8 0 273394459 937525248 8886 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19920/tid=19927] ppid=19918 vsize=915552 CPUtime=0
/proc/19920/task/19927/stat : 19927 (java) S 19918 19920 18773 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 273394459 937525248 8886 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19920/tid=19928] ppid=19918 vsize=915552 CPUtime=0
/proc/19920/task/19928/stat : 19928 (java) S 19918 19920 18773 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 273394459 937525248 8886 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.76
Current children cumulated vsize (KiB) 915552
[startup+162.649 s]
/proc/loadavg: 2.00 2.00 2.00 4/93 19928
/proc/meminfo: memFree=1300336/2055920 swapFree=4191880/4192956
[pid=19920] ppid=19918 vsize=915552 CPUtime=161.31
/proc/19920/stat : 19920 (java) R 19918 19920 18773 0 -1 0 9158 0 1 0 16087 44 0 0 25 0 8 0 273394451 937525248 8888 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073840690 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19920/statm: 228888 8888 2527 14 0 215358 0
[pid=19920/tid=19922] ppid=19918 vsize=915552 CPUtime=0.03
/proc/19920/task/19922/stat : 19922 (java) S 19918 19920 18773 0 -1 64 232 0 0 0 3 0 0 0 16 0 8 0 273394455 937525248 8888 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19920/tid=19923] ppid=19918 vsize=915552 CPUtime=0
/proc/19920/task/19923/stat : 19923 (java) S 19918 19920 18773 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 273394456 937525248 8888 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19920/tid=19924] ppid=19918 vsize=915552 CPUtime=0
/proc/19920/task/19924/stat : 19924 (java) S 19918 19920 18773 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273394456 937525248 8888 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19920/tid=19925] ppid=19918 vsize=915552 CPUtime=0
/proc/19920/task/19925/stat : 19925 (java) S 19918 19920 18773 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 273394459 937525248 8888 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19920/tid=19926] ppid=19918 vsize=915552 CPUtime=0.25
/proc/19920/task/19926/stat : 19926 (java) S 19918 19920 18773 0 -1 64 407 0 0 0 24 1 0 0 16 0 8 0 273394459 937525248 8888 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19920/tid=19927] ppid=19918 vsize=915552 CPUtime=0
/proc/19920/task/19927/stat : 19927 (java) S 19918 19920 18773 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 273394459 937525248 8888 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19920/tid=19928] ppid=19918 vsize=915552 CPUtime=0
/proc/19920/task/19928/stat : 19928 (java) S 19918 19920 18773 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 273394459 937525248 8888 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 161.31
Current children cumulated vsize (KiB) 915552
[startup+222.691 s]
/proc/loadavg: 2.00 2.00 2.00 3/93 19928
/proc/meminfo: memFree=1300336/2055920 swapFree=4191880/4192956
[pid=19920] ppid=19918 vsize=915552 CPUtime=220.88
/proc/19920/stat : 19920 (java) R 19918 19920 18773 0 -1 0 9161 0 1 0 22043 45 0 0 25 0 8 0 273394451 937525248 8891 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073864233 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19920/statm: 228888 8891 2527 14 0 215358 0
[pid=19920/tid=19922] ppid=19918 vsize=915552 CPUtime=0.03
/proc/19920/task/19922/stat : 19922 (java) S 19918 19920 18773 0 -1 64 232 0 0 0 3 0 0 0 16 0 8 0 273394455 937525248 8891 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19920/tid=19923] ppid=19918 vsize=915552 CPUtime=0
/proc/19920/task/19923/stat : 19923 (java) S 19918 19920 18773 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 273394456 937525248 8891 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19920/tid=19924] ppid=19918 vsize=915552 CPUtime=0
/proc/19920/task/19924/stat : 19924 (java) S 19918 19920 18773 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273394456 937525248 8891 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19920/tid=19925] ppid=19918 vsize=915552 CPUtime=0
/proc/19920/task/19925/stat : 19925 (java) S 19918 19920 18773 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 273394459 937525248 8891 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19920/tid=19926] ppid=19918 vsize=915552 CPUtime=0.25
/proc/19920/task/19926/stat : 19926 (java) S 19918 19920 18773 0 -1 64 407 0 0 0 24 1 0 0 16 0 8 0 273394459 937525248 8891 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19920/tid=19927] ppid=19918 vsize=915552 CPUtime=0
/proc/19920/task/19927/stat : 19927 (java) S 19918 19920 18773 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 273394459 937525248 8891 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19920/tid=19928] ppid=19918 vsize=915552 CPUtime=0
/proc/19920/task/19928/stat : 19928 (java) S 19918 19920 18773 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 273394459 937525248 8891 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 220.88
Current children cumulated vsize (KiB) 915552
Child status: 0
Real time (s): 247.596
CPU time (s): 245.543
CPU user time (s): 245.085
CPU system time (s): 0.45793
CPU usage (%): 99.1706
Max. virtual memory (cumulated for all children) (KiB): 916068
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 245.085
system time used= 0.45793
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9260
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= 6215
involuntary context switches= 11414
runsolver used 0.313952 s user time and 0.794879 s system time
The end
Begin job on node16 on Fri Jan 19 23:39:56 UTC 2007
IDJOB= 276932
IDBENCH= 6137
IDSOLVER= 69
FILE ID= node16/276932-1169249996
PBS_JOBID= 3589037
Free space on /tmp= 66561 MiB
SOLVER NAME= AbsconMax 109 PFC
BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.2/rand-2-40-11-414-200-13_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/276932-1169249996/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node16/watcher-276932-1169249996 -o ROOT/results/node16/solver-276932-1169249996 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/276932-1169249996/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 7aa4f8ba1b4e88993b9919c83cf837c3
RANDOM SEED= 534514820
TIME LIMIT= 2400 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.220
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.220
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: 1326280 kB
Buffers: 44320 kB
Cached: 560476 kB
SwapCached: 268 kB
Active: 274476 kB
Inactive: 381448 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1326280 kB
SwapTotal: 4192956 kB
SwapFree: 4191880 kB
Dirty: 1764 kB
Writeback: 0 kB
Mapped: 70876 kB
Slab: 58412 kB
Committed_AS: 7458304 kB
PageTables: 2316 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= 66561 MiB
End job on node16 on Fri Jan 19 23:44:04 UTC 2007