0.32
0.32 Abscon 109 (November, 2006)
0.32
0.32 configuration
0.32 name=pfc.xml
0.35
0.35 instance
0.35 name=/tmp/evaluation/276968-1169251100/unknown.xml
0.38
0.38 domains being loaded...
0.39
0.39 variables being loaded...
0.42 nbVariables=40 nbDomainTypes=1 minDomainSize=11 maxDomainSize=11
0.42 => wckTime=0.103 cpuTime=0.09 mem=6M910
0.42
0.42 relations being loaded...
0.52
0.52 constraints being loaded...
0.62 nbConstraints=414 nbRelationTypes=414 nbExtensionStructures=414 nbSharedExtensionStructures=0
0.62 nbConflictsStructures=414 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=8212 maxDegree=27
0.62 maxArity=2
0.62 => wckTime=0.302 cpuTime=0.22 mem=10M819
0.67
0.67 solver LocalSearchSolver being built...
0.71 => wckTime=0.389 cpuTime=0.26 mem=5M814
0.71
0.71 s SATISFIABLE
0.71 o 342
0.71 c 72
0.72 o 346
0.72 c 68
0.72 o 352
0.72 c 62
0.72 o 356
0.72 c 58
0.72 o 360
0.72 c 54
0.72 o 362
0.72 c 52
0.72 o 365
0.72 c 49
0.72 o 367
0.72 c 47
0.72 o 370
0.72 c 44
0.72 o 371
0.72 c 43
0.72 o 373
0.72 c 41
0.73 o 376
0.73 c 38
0.73 o 380
0.73 c 34
0.73 o 381
0.73 c 33
0.73 o 383
0.73 c 31
0.73 o 385
0.73 c 29
0.73 o 386
0.73 c 28
0.73 o 388
0.73 c 26
0.73 o 389
0.73 c 25
0.73 o 390
0.73 c 24
0.74 o 391
0.74 c 23
0.74 o 392
0.74 c 22
0.74 o 394
0.74 c 20
0.74 o 396
0.74 c 18
0.74 o 397
0.74 c 17
0.75 o 399
0.75 c 15
0.75 o 400
0.75 c 14
0.76 o 401
0.76 c 13
0.76 o 402
0.76 c 12
0.76 o 403
0.76 c 11
0.76 o 405
0.76 c 9
0.76 o 406
0.76 c 8
0.76 o 407
0.76 c 7
0.77 o 408
0.77 c 6
0.78 o 410
0.78 c 4
0.90 o 411
0.90 c 3
1.21 o 412
1.21 c 2
1.28 o 413
1.28 c 1
1.28
1.28 search
1.28 run=0 nbConstraintChecks=3174179 nbAssignments=2332
1.28 => wckTime=0.57 cpuTime=0.53 mem=5M814
1.28
1.28 global
1.28 nbConstraintChecks=3174179 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
1.28 solvingWckTime=0.568 solvingCpuTime=0.54 expiredTime=no totalExploration=no nbFoundSolutions=0
1.28 globalCpuTime=0.85
1.28 => wckTime=0.96 cpuTime=0.8 mem=5M814
1.28
1.28 solver IterativeSystematicSolver being built...
1.41 => wckTime=1.09 cpuTime=0.9 mem=16M787
1.42
1.42 preprocessing
1.42 nbConstraintChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
1.42 detectedInconsistency=no
1.42 => wckTime=0.0070 cpuTime=0.0 mem=16M787
1.49
1.49 search
1.49 run=0 nbConstraintChecks=110814 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=28
1.49 nbFailedAssignments=13 nbBacktracks=10 nbVisitedNodes=52 nbRestartNogoods=0
1.49 => wckTime=0.078 cpuTime=0.05 mem=16M787
1.57
1.57 search
1.57 run=1 nbConstraintChecks=283798 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=75
1.57 nbFailedAssignments=36 nbBacktracks=25 nbVisitedNodes=137 nbRestartNogoods=12
1.57 => wckTime=0.157 cpuTime=0.12 mem=16M787
1.64
1.64 search
1.64 run=2 nbConstraintChecks=530853 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=135
1.64 nbFailedAssignments=68 nbBacktracks=47 nbVisitedNodes=251 nbRestartNogoods=16
1.64 => wckTime=0.228 cpuTime=0.18 mem=16M787
1.75
1.75 search
1.75 run=3 nbConstraintChecks=948044 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=238
1.75 nbFailedAssignments=133 nbBacktracks=80 nbVisitedNodes=449 nbRestartNogoods=19
1.75 => wckTime=0.34 cpuTime=0.3 mem=16M787
1.93
1.93 search
1.93 run=4 nbConstraintChecks=1607733 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=390
1.93 nbFailedAssignments=228 nbBacktracks=130 nbVisitedNodes=746 nbRestartNogoods=31
1.93 => wckTime=0.513 cpuTime=0.46 mem=16M787
2.17
2.17 search
2.17 run=5 nbConstraintChecks=2548310 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=612
2.17 nbFailedAssignments=370 nbBacktracks=205 nbVisitedNodes=1185 nbRestartNogoods=48
2.17 => wckTime=0.763 cpuTime=0.71 mem=16M787
2.57
2.57 search
2.57 run=6 nbConstraintChecks=4036707 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=949
2.57 nbFailedAssignments=587 nbBacktracks=318 nbVisitedNodes=1852 nbRestartNogoods=55
2.57 => wckTime=1.155 cpuTime=1.09 mem=16M787
3.08
3.08 search
3.08 run=7 nbConstraintChecks=6063965 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1416
3.08 nbFailedAssignments=876 nbBacktracks=488 nbVisitedNodes=2770 nbRestartNogoods=69
3.08 => wckTime=1.668 cpuTime=1.6 mem=16M787
3.99
3.99 search
3.99 run=8 nbConstraintChecks=9368109 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2178
3.99 nbFailedAssignments=1376 nbBacktracks=744 nbVisitedNodes=4279 nbRestartNogoods=84
3.99 => wckTime=2.579 cpuTime=2.49 mem=16M787
5.16
5.16 search
5.16 run=9 nbConstraintChecks=13656198 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=3211
5.16 nbFailedAssignments=2019 nbBacktracks=1128 nbVisitedNodes=6286 nbRestartNogoods=102
5.16 => wckTime=3.744 cpuTime=3.64 mem=16M787
6.75
6.75 search
6.75 run=10 nbConstraintChecks=19496281 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=4650
6.75 nbFailedAssignments=2872 nbBacktracks=1704 nbVisitedNodes=9073 nbRestartNogoods=110
6.75 => wckTime=5.341 cpuTime=5.22 mem=16M787
8.94
8.94 search
8.94 run=11 nbConstraintChecks=27180442 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=6581
8.94 nbFailedAssignments=3933 nbBacktracks=2568 nbVisitedNodes=12621 nbRestartNogoods=143
8.94 => wckTime=7.528 cpuTime=7.39 mem=16M787
11.85
11.85 search
11.85 run=12 nbConstraintChecks=37303855 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=9239
11.85 nbFailedAssignments=5288 nbBacktracks=3865 nbVisitedNodes=17282 nbRestartNogoods=153
11.85 => wckTime=10.436 cpuTime=10.26 mem=16M787
15.57
15.57 search
15.57 run=13 nbConstraintChecks=50280142 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=12850
15.57 nbFailedAssignments=6946 nbBacktracks=5811 nbVisitedNodes=23245 nbRestartNogoods=163
15.57 => wckTime=14.161 cpuTime=13.96 mem=16M787
20.50
20.50 search
20.50 run=14 nbConstraintChecks=67493924 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=17853
20.50 nbFailedAssignments=9021 nbBacktracks=8731 nbVisitedNodes=31032 nbRestartNogoods=170
20.50 => wckTime=19.092 cpuTime=18.84 mem=16M787
27.93
27.93 search
27.93 run=15 nbConstraintChecks=92959254 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=25287
27.93 nbFailedAssignments=12070 nbBacktracks=13109 nbVisitedNodes=42499 nbRestartNogoods=183
27.93 => wckTime=26.517 cpuTime=26.2 mem=16M787
37.71
37.71 search
37.71 run=16 nbConstraintChecks=127457734 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=35952
37.71 nbFailedAssignments=16161 nbBacktracks=19677 nbVisitedNodes=58465 nbRestartNogoods=194
37.71 => wckTime=36.301 cpuTime=35.89 mem=16M787
52.66
52.66 search
52.66 run=17 nbConstraintChecks=179875627 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=51826
52.66 nbFailedAssignments=22177 nbBacktracks=29530 nbVisitedNodes=82147 nbRestartNogoods=204
52.66 => wckTime=51.247 cpuTime=50.7 mem=16M787
73.55
73.55 search
73.55 run=18 nbConstraintChecks=253260776 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=75156
73.55 nbFailedAssignments=30722 nbBacktracks=44309 nbVisitedNodes=116179 nbRestartNogoods=213
73.55 => wckTime=72.139 cpuTime=71.39 mem=16M787
106.52
106.52 search
106.52 run=19 nbConstraintChecks=367802400 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=110527
106.52 nbFailedAssignments=43920 nbBacktracks=66481 nbVisitedNodes=168184 nbRestartNogoods=223
106.52 => wckTime=105.112 cpuTime=104.08 mem=16M787
152.61
152.61 search
152.61 run=20 nbConstraintChecks=530278150 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=162363
152.61 nbFailedAssignments=62498 nbBacktracks=99733 nbVisitedNodes=243336 nbRestartNogoods=225
152.61 => wckTime=151.201 cpuTime=149.75 mem=16M787
201.89
201.89 search
201.89 run=21 nbConstraintChecks=702489340 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=215821
201.89 nbFailedAssignments=82084 nbBacktracks=133606 nbVisitedNodes=321488 nbRestartNogoods=235
201.89 => wckTime=200.477 cpuTime=198.45 mem=16M787
201.89
201.89 global
201.89 nbConstraintChecks=702489340 nbRestartNogoods=235 solvingWckTime=200.479 solvingCpuTime=198.46 expiredTime=no
201.89 totalExploration=yes nbFoundSolutions=0 globalCpuTime=199.41
201.89 => wckTime=201.57 cpuTime=199.36 mem=16M787
201.89
201.89 s OPTIMUM FOUND
201.89 v 6 3 8 8 2 4 1 4 4 0 1 3 4 0 9 0 6 9 2 9 1 4 3 6 8 8 9 8 0 0 9 3 5 1 9 1 0 9 0 6
201.89
201.89 totalWckTime=201.65 totalCpuTime=199.41
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node5/watcher-276968-1169251100 -o ROOT/results/node5/solver-276968-1169251100 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/276968-1169251100/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
Current StackSize limit: 10240 KiB
/proc/loadavg: 2.04 2.03 2.00 2/93 16088
/proc/meminfo: memFree=1158840/2055920 swapFree=4192812/4192956
[pid=16087] ppid=16085 vsize=18540 CPUtime=0
/proc/16087/stat : 16087 (runsolver) R 16085 16087 15790 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 253724467 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 226913479975 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/16087/statm: 4635 279 244 17 0 2626 0
[startup+0.10225 s]
/proc/loadavg: 2.04 2.03 2.00 2/93 16088
/proc/meminfo: memFree=1158840/2055920 swapFree=4192812/4192956
[pid=16087] ppid=16085 vsize=912760 CPUtime=0.07
/proc/16087/stat : 16087 (java) S 16085 16087 15790 0 -1 0 2786 0 1 0 6 1 0 0 17 0 8 0 253724467 934666240 2532 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16087/statm: 228190 2532 1390 14 0 215091 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 912760
[startup+0.510295 s]
/proc/loadavg: 2.04 2.03 2.00 2/93 16088
/proc/meminfo: memFree=1158840/2055920 swapFree=4192812/4192956
[pid=16087] ppid=16085 vsize=915332 CPUtime=0.48
/proc/16087/stat : 16087 (java) R 16085 16087 15790 0 -1 0 6368 0 1 0 44 4 0 0 18 0 8 0 253724467 937299968 6107 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16087/statm: 228833 6107 2139 14 0 215303 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915332
[startup+1.33139 s]
/proc/loadavg: 2.11 2.04 2.01 3/100 16095
/proc/meminfo: memFree=1138624/2055920 swapFree=4192812/4192956
[pid=16087] ppid=16085 vsize=915552 CPUtime=1.29
/proc/16087/stat : 16087 (java) R 16085 16087 15790 0 -1 0 7782 0 1 0 114 15 0 0 25 0 8 0 253724467 937525248 7520 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4154015934 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16087/statm: 228888 7520 2488 14 0 215358 0
[pid=16087/tid=16089] ppid=16085 vsize=915552 CPUtime=0.03
/proc/16087/task/16089/stat : 16089 (java) S 16085 16087 15790 0 -1 64 232 0 0 0 3 0 0 0 16 0 8 0 253724472 937525248 7520 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16087/tid=16090] ppid=16085 vsize=915552 CPUtime=0
/proc/16087/task/16090/stat : 16090 (java) S 16085 16087 15790 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 253724472 937525248 7520 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16087/tid=16091] ppid=16085 vsize=915552 CPUtime=0
/proc/16087/task/16091/stat : 16091 (java) S 16085 16087 15790 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 253724472 937525248 7520 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16087/tid=16092] ppid=16085 vsize=915552 CPUtime=0
/proc/16087/task/16092/stat : 16092 (java) S 16085 16087 15790 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 253724476 937525248 7520 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16087/tid=16093] ppid=16085 vsize=915552 CPUtime=0.16
/proc/16087/task/16093/stat : 16093 (java) S 16085 16087 15790 0 -1 64 360 0 0 0 16 0 0 0 16 0 8 0 253724476 937525248 7520 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16087/tid=16094] ppid=16085 vsize=915552 CPUtime=0
/proc/16087/task/16094/stat : 16094 (java) S 16085 16087 15790 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 253724476 937525248 7520 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16087/tid=16095] ppid=16085 vsize=915552 CPUtime=0
/proc/16087/task/16095/stat : 16095 (java) S 16085 16087 15790 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 253724476 937525248 7520 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 915552
[startup+2.98357 s]
/proc/loadavg: 2.11 2.04 2.01 3/100 16095
/proc/meminfo: memFree=1133312/2055920 swapFree=4192812/4192956
[pid=16087] ppid=16085 vsize=915552 CPUtime=2.93
/proc/16087/stat : 16087 (java) R 16085 16087 15790 0 -1 0 9110 0 1 0 277 16 0 0 25 0 8 0 253724467 937525248 8846 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073842217 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16087/statm: 228888 8846 2527 14 0 215358 0
[pid=16087/tid=16089] ppid=16085 vsize=915552 CPUtime=0.03
/proc/16087/task/16089/stat : 16089 (java) S 16085 16087 15790 0 -1 64 233 0 0 0 3 0 0 0 17 0 8 0 253724472 937525248 8846 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16087/tid=16090] ppid=16085 vsize=915552 CPUtime=0
/proc/16087/task/16090/stat : 16090 (java) S 16085 16087 15790 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 253724472 937525248 8846 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16087/tid=16091] ppid=16085 vsize=915552 CPUtime=0
/proc/16087/task/16091/stat : 16091 (java) S 16085 16087 15790 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 253724472 937525248 8846 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16087/tid=16092] ppid=16085 vsize=915552 CPUtime=0
/proc/16087/task/16092/stat : 16092 (java) S 16085 16087 15790 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 253724476 937525248 8846 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16087/tid=16093] ppid=16085 vsize=915552 CPUtime=0.22
/proc/16087/task/16093/stat : 16093 (java) S 16085 16087 15790 0 -1 64 393 0 0 0 22 0 0 0 15 0 8 0 253724476 937525248 8846 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16087/tid=16094] ppid=16085 vsize=915552 CPUtime=0
/proc/16087/task/16094/stat : 16094 (java) S 16085 16087 15790 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 253724476 937525248 8846 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16087/tid=16095] ppid=16085 vsize=915552 CPUtime=0
/proc/16087/task/16095/stat : 16095 (java) S 16085 16087 15790 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 253724476 937525248 8846 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 915552
[startup+6.28094 s]
/proc/loadavg: 2.10 2.04 2.01 3/100 16095
/proc/meminfo: memFree=1133120/2055920 swapFree=4192812/4192956
[pid=16087] ppid=16085 vsize=915552 CPUtime=6.19
/proc/16087/stat : 16087 (java) R 16085 16087 15790 0 -1 0 9130 0 1 0 603 16 0 0 25 0 8 0 253724467 937525248 8864 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073890209 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16087/statm: 228888 8864 2527 14 0 215358 0
[pid=16087/tid=16089] ppid=16085 vsize=915552 CPUtime=0.03
/proc/16087/task/16089/stat : 16089 (java) S 16085 16087 15790 0 -1 64 233 0 0 0 3 0 0 0 17 0 8 0 253724472 937525248 8864 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16087/tid=16090] ppid=16085 vsize=915552 CPUtime=0
/proc/16087/task/16090/stat : 16090 (java) S 16085 16087 15790 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 253724472 937525248 8864 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16087/tid=16091] ppid=16085 vsize=915552 CPUtime=0
/proc/16087/task/16091/stat : 16091 (java) S 16085 16087 15790 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 253724472 937525248 8864 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16087/tid=16092] ppid=16085 vsize=915552 CPUtime=0
/proc/16087/task/16092/stat : 16092 (java) S 16085 16087 15790 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 253724476 937525248 8864 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16087/tid=16093] ppid=16085 vsize=915552 CPUtime=0.24
/proc/16087/task/16093/stat : 16093 (java) S 16085 16087 15790 0 -1 64 405 0 0 0 24 0 0 0 16 0 8 0 253724476 937525248 8864 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16087/tid=16094] ppid=16085 vsize=915552 CPUtime=0
/proc/16087/task/16094/stat : 16094 (java) S 16085 16087 15790 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 253724476 937525248 8864 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16087/tid=16095] ppid=16085 vsize=915552 CPUtime=0
/proc/16087/task/16095/stat : 16095 (java) S 16085 16087 15790 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 253724476 937525248 8864 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.7617 s]
/proc/loadavg: 2.10 2.04 2.01 3/100 16095
/proc/meminfo: memFree=1133184/2055920 swapFree=4192812/4192956
[pid=16087] ppid=16085 vsize=915552 CPUtime=12.61
/proc/16087/stat : 16087 (java) R 16085 16087 15790 0 -1 0 9140 0 1 0 1245 16 0 0 25 0 8 0 253724467 937525248 8872 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073751390 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16087/statm: 228888 8872 2527 14 0 215358 0
[pid=16087/tid=16089] ppid=16085 vsize=915552 CPUtime=0.03
/proc/16087/task/16089/stat : 16089 (java) S 16085 16087 15790 0 -1 64 233 0 0 0 3 0 0 0 16 0 8 0 253724472 937525248 8872 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16087/tid=16090] ppid=16085 vsize=915552 CPUtime=0
/proc/16087/task/16090/stat : 16090 (java) S 16085 16087 15790 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 253724472 937525248 8872 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16087/tid=16091] ppid=16085 vsize=915552 CPUtime=0
/proc/16087/task/16091/stat : 16091 (java) S 16085 16087 15790 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 253724472 937525248 8872 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16087/tid=16092] ppid=16085 vsize=915552 CPUtime=0
/proc/16087/task/16092/stat : 16092 (java) S 16085 16087 15790 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 253724476 937525248 8872 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16087/tid=16093] ppid=16085 vsize=915552 CPUtime=0.24
/proc/16087/task/16093/stat : 16093 (java) S 16085 16087 15790 0 -1 64 406 0 0 0 24 0 0 0 16 0 8 0 253724476 937525248 8872 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16087/tid=16094] ppid=16085 vsize=915552 CPUtime=0
/proc/16087/task/16094/stat : 16094 (java) S 16085 16087 15790 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 253724476 937525248 8872 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16087/tid=16095] ppid=16085 vsize=915552 CPUtime=0
/proc/16087/task/16095/stat : 16095 (java) S 16085 16087 15790 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 253724476 937525248 8872 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 915552
[startup+25.6051 s]
/proc/loadavg: 2.08 2.04 2.01 3/100 16095
/proc/meminfo: memFree=1133248/2055920 swapFree=4192812/4192956
[pid=16087] ppid=16085 vsize=915552 CPUtime=25.34
/proc/16087/stat : 16087 (java) R 16085 16087 15790 0 -1 0 9145 0 1 0 2517 17 0 0 25 0 8 0 253724467 937525248 8877 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073890243 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16087/statm: 228888 8877 2527 14 0 215358 0
[pid=16087/tid=16089] ppid=16085 vsize=915552 CPUtime=0.03
/proc/16087/task/16089/stat : 16089 (java) S 16085 16087 15790 0 -1 64 233 0 0 0 3 0 0 0 16 0 8 0 253724472 937525248 8877 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16087/tid=16090] ppid=16085 vsize=915552 CPUtime=0
/proc/16087/task/16090/stat : 16090 (java) S 16085 16087 15790 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 253724472 937525248 8877 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16087/tid=16091] ppid=16085 vsize=915552 CPUtime=0
/proc/16087/task/16091/stat : 16091 (java) S 16085 16087 15790 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 253724472 937525248 8877 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16087/tid=16092] ppid=16085 vsize=915552 CPUtime=0
/proc/16087/task/16092/stat : 16092 (java) S 16085 16087 15790 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 253724476 937525248 8877 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16087/tid=16093] ppid=16085 vsize=915552 CPUtime=0.25
/proc/16087/task/16093/stat : 16093 (java) S 16085 16087 15790 0 -1 64 406 0 0 0 25 0 0 0 16 0 8 0 253724476 937525248 8877 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16087/tid=16094] ppid=16085 vsize=915552 CPUtime=0
/proc/16087/task/16094/stat : 16094 (java) S 16085 16087 15790 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 253724476 937525248 8877 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16087/tid=16095] ppid=16085 vsize=915552 CPUtime=0
/proc/16087/task/16095/stat : 16095 (java) S 16085 16087 15790 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 253724476 937525248 8877 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.34
Current children cumulated vsize (KiB) 915552
[startup+51.211 s]
/proc/loadavg: 2.05 2.03 2.00 3/100 16095
/proc/meminfo: memFree=1133312/2055920 swapFree=4192812/4192956
[pid=16087] ppid=16085 vsize=915552 CPUtime=50.71
/proc/16087/stat : 16087 (java) R 16085 16087 15790 0 -1 0 9152 0 1 0 5054 17 0 0 25 0 8 0 253724467 937525248 8883 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073841199 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16087/statm: 228888 8883 2527 14 0 215358 0
[pid=16087/tid=16089] ppid=16085 vsize=915552 CPUtime=0.03
/proc/16087/task/16089/stat : 16089 (java) S 16085 16087 15790 0 -1 64 233 0 0 0 3 0 0 0 16 0 8 0 253724472 937525248 8883 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16087/tid=16090] ppid=16085 vsize=915552 CPUtime=0
/proc/16087/task/16090/stat : 16090 (java) S 16085 16087 15790 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 253724472 937525248 8883 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16087/tid=16091] ppid=16085 vsize=915552 CPUtime=0
/proc/16087/task/16091/stat : 16091 (java) S 16085 16087 15790 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 253724472 937525248 8883 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16087/tid=16092] ppid=16085 vsize=915552 CPUtime=0
/proc/16087/task/16092/stat : 16092 (java) S 16085 16087 15790 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 253724476 937525248 8883 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16087/tid=16093] ppid=16085 vsize=915552 CPUtime=0.25
/proc/16087/task/16093/stat : 16093 (java) S 16085 16087 15790 0 -1 64 407 0 0 0 25 0 0 0 16 0 8 0 253724476 937525248 8883 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16087/tid=16094] ppid=16085 vsize=915552 CPUtime=0
/proc/16087/task/16094/stat : 16094 (java) S 16085 16087 15790 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 253724476 937525248 8883 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16087/tid=16095] ppid=16085 vsize=915552 CPUtime=0
/proc/16087/task/16095/stat : 16095 (java) S 16085 16087 15790 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 253724476 937525248 8883 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.71
Current children cumulated vsize (KiB) 915552
[startup+102.42 s]
/proc/loadavg: 2.02 2.03 2.00 3/100 16095
/proc/meminfo: memFree=1133248/2055920 swapFree=4192812/4192956
[pid=16087] ppid=16085 vsize=915552 CPUtime=101.46
/proc/16087/stat : 16087 (java) R 16085 16087 15790 0 -1 0 9157 0 1 0 10128 18 0 0 25 0 8 0 253724467 937525248 8887 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073866756 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16087/statm: 228888 8887 2527 14 0 215358 0
[pid=16087/tid=16089] ppid=16085 vsize=915552 CPUtime=0.03
/proc/16087/task/16089/stat : 16089 (java) S 16085 16087 15790 0 -1 64 233 0 0 0 3 0 0 0 16 0 8 0 253724472 937525248 8887 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16087/tid=16090] ppid=16085 vsize=915552 CPUtime=0
/proc/16087/task/16090/stat : 16090 (java) S 16085 16087 15790 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 253724472 937525248 8887 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16087/tid=16091] ppid=16085 vsize=915552 CPUtime=0
/proc/16087/task/16091/stat : 16091 (java) S 16085 16087 15790 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 253724472 937525248 8887 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16087/tid=16092] ppid=16085 vsize=915552 CPUtime=0
/proc/16087/task/16092/stat : 16092 (java) S 16085 16087 15790 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 253724476 937525248 8887 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16087/tid=16093] ppid=16085 vsize=915552 CPUtime=0.25
/proc/16087/task/16093/stat : 16093 (java) S 16085 16087 15790 0 -1 64 407 0 0 0 25 0 0 0 16 0 8 0 253724476 937525248 8887 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16087/tid=16094] ppid=16085 vsize=915552 CPUtime=0
/proc/16087/task/16094/stat : 16094 (java) S 16085 16087 15790 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 253724476 937525248 8887 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16087/tid=16095] ppid=16085 vsize=915552 CPUtime=0
/proc/16087/task/16095/stat : 16095 (java) S 16085 16087 15790 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 253724476 937525248 8887 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.46
Current children cumulated vsize (KiB) 915552
[startup+162.472 s]
/proc/loadavg: 2.00 2.02 2.00 3/106 16121
/proc/meminfo: memFree=1132104/2055920 swapFree=4192812/4192956
[pid=16087] ppid=16085 vsize=915552 CPUtime=160.93
/proc/16087/stat : 16087 (java) R 16085 16087 15790 0 -1 0 9163 0 1 0 16075 18 0 0 25 0 8 0 253724467 937525248 8893 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073842207 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16087/statm: 228888 8893 2527 14 0 215358 0
[pid=16087/tid=16089] ppid=16085 vsize=915552 CPUtime=0.03
/proc/16087/task/16089/stat : 16089 (java) S 16085 16087 15790 0 -1 64 233 0 0 0 3 0 0 0 16 0 8 0 253724472 937525248 8893 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16087/tid=16090] ppid=16085 vsize=915552 CPUtime=0
/proc/16087/task/16090/stat : 16090 (java) S 16085 16087 15790 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 253724472 937525248 8893 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16087/tid=16091] ppid=16085 vsize=915552 CPUtime=0
/proc/16087/task/16091/stat : 16091 (java) S 16085 16087 15790 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 253724472 937525248 8893 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16087/tid=16092] ppid=16085 vsize=915552 CPUtime=0
/proc/16087/task/16092/stat : 16092 (java) S 16085 16087 15790 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 253724476 937525248 8893 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16087/tid=16093] ppid=16085 vsize=915552 CPUtime=0.25
/proc/16087/task/16093/stat : 16093 (java) S 16085 16087 15790 0 -1 64 408 0 0 0 25 0 0 0 16 0 8 0 253724476 937525248 8893 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16087/tid=16094] ppid=16085 vsize=915552 CPUtime=0
/proc/16087/task/16094/stat : 16094 (java) S 16085 16087 15790 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 253724476 937525248 8893 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16087/tid=16095] ppid=16085 vsize=915552 CPUtime=0
/proc/16087/task/16095/stat : 16095 (java) S 16085 16087 15790 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 253724476 937525248 8893 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 160.93
Current children cumulated vsize (KiB) 915552
Child status: 0
Real time (s): 201.913
CPU time (s): 199.919
CPU user time (s): 199.722
CPU system time (s): 0.19697
CPU usage (%): 99.012
Max. virtual memory (cumulated for all children) (KiB): 915552
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 199.722
system time used= 0.19697
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9257
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= 5296
involuntary context switches= 9897
runsolver used 0.275958 s user time and 0.629904 s system time
The end
Begin job on node5 on Fri Jan 19 23:58:20 UTC 2007
IDJOB= 276968
IDBENCH= 6178
IDSOLVER= 69
FILE ID= node5/276968-1169251100
PBS_JOBID= 3589070
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-0_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/276968-1169251100/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node5/watcher-276968-1169251100 -o ROOT/results/node5/solver-276968-1169251100 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/276968-1169251100/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 01be65ef1d587ffc3835a1fce290aef9
RANDOM SEED= 89369088
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.240
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.240
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: 1159320 kB
Buffers: 61552 kB
Cached: 682708 kB
SwapCached: 0 kB
Active: 265492 kB
Inactive: 553388 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1159320 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 1792 kB
Writeback: 0 kB
Mapped: 103648 kB
Slab: 62388 kB
Committed_AS: 7746256 kB
PageTables: 2272 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 node5 on Sat Jan 20 00:01:42 UTC 2007