0.31
0.31 Abscon 109 (November, 2006)
0.31
0.31 configuration
0.31 name=esac.xml
0.34
0.34 instance
0.34 name=/tmp/evaluation/240143-1168369186/unknown.xml
0.37
0.37 domains being loaded...
0.38
0.38 variables being loaded...
0.46 nbVariables=400 nbDomainTypes=21 minDomainSize=1 maxDomainSize=20
0.46 => wckTime=0.152 cpuTime=0.12 mem=7M894
0.46
0.46 relations being loaded...
0.47
0.47 constraints being loaded...
0.84 nbConstraints=5540 nbRelationTypes=22 nbSingletonDomainVariables=213 nbExtensionStructures=41
0.84 nbSharedExtensionStructures=5499 nbConflictsStructures=41 nbSharedConflictsStructures=5499
0.84 nbSharedBinaryRepresentations=858 maxDegree=38 maxArity=2
0.84 => wckTime=0.527 cpuTime=0.37 mem=24M482
0.92
0.92 solver IterativeSystematicSolver being built...
1.10 => wckTime=0.789 cpuTime=0.52 mem=18M554
1.57
1.57 preprocessing
1.57 nbConstraintChecks=103979 nbPropagations=2720 nbRevisions=23723 nbUselessRevisions=18808 nbSingletonTests=658
1.57 nbEffectiveSingletonTests=0 nbESACBranches=11 nbRemovedValues=2894 detectedInconsistency=no
1.57 => wckTime=0.462 cpuTime=0.44 mem=18M554
1.64
1.64 search
1.64 run=0 nbConstraintChecks=4011 nbPropagations=3109 nbRevisions=24859 nbUselessRevisions=19456 nbAssignments=271
1.64 nbFailedAssignments=2 nbBacktracks=22 nbVisitedNodes=277 nbRestartNogoods=0 mapSize=3 nbInferences=0
1.64 nbTooLargeKeys=0
1.64 => wckTime=0.529 cpuTime=0.49 mem=19M543
1.68
1.68 search
1.68 run=1 nbConstraintChecks=8197 nbPropagations=6618 nbRevisions=50925 nbUselessRevisions=39606 nbAssignments=544
1.68 nbFailedAssignments=9 nbBacktracks=41 nbVisitedNodes=562 nbRestartNogoods=2 mapSize=14 nbInferences=0
1.68 nbTooLargeKeys=0
1.68 => wckTime=0.573 cpuTime=0.54 mem=19M543
1.73
1.73 search
1.73 run=2 nbConstraintChecks=13689 nbPropagations=10610 nbRevisions=78586 nbUselessRevisions=60670
1.73 nbAssignments=829 nbFailedAssignments=21 nbBacktracks=64 nbVisitedNodes=868 nbRestartNogoods=3 mapSize=32
1.73 nbInferences=0 nbTooLargeKeys=0
1.73 => wckTime=0.626 cpuTime=0.58 mem=19M543
1.79
1.79 search
1.79 run=3 nbConstraintChecks=20834 nbPropagations=15216 nbRevisions=108276 nbUselessRevisions=82901
1.79 nbAssignments=1146 nbFailedAssignments=36 nbBacktracks=98 nbVisitedNodes=1211 nbRestartNogoods=6 mapSize=55
1.79 nbInferences=0 nbTooLargeKeys=0
1.79 => wckTime=0.683 cpuTime=0.63 mem=20M516
1.84
1.84 search
1.84 run=4 nbConstraintChecks=28799 nbPropagations=20503 nbRevisions=140371 nbUselessRevisions=106591
1.84 nbAssignments=1477 nbFailedAssignments=52 nbBacktracks=151 nbVisitedNodes=1572 nbRestartNogoods=9 mapSize=83
1.84 nbInferences=0 nbTooLargeKeys=0
1.84 => wckTime=0.735 cpuTime=0.68 mem=20M516
1.90
1.90 search
1.90 run=5 nbConstraintChecks=40536 nbPropagations=26682 nbRevisions=176081 nbUselessRevisions=132270
1.90 nbAssignments=1825 nbFailedAssignments=86 nbBacktracks=229 nbVisitedNodes=1979 nbRestartNogoods=11 mapSize=135
1.90 nbInferences=0 nbTooLargeKeys=0
1.90 => wckTime=0.796 cpuTime=0.73 mem=20M516
1.96
1.96 search
1.96 run=6 nbConstraintChecks=58213 nbPropagations=34133 nbRevisions=217739 nbUselessRevisions=161442
1.96 nbAssignments=2232 nbFailedAssignments=119 nbBacktracks=342 nbVisitedNodes=2449 nbRestartNogoods=13
1.96 mapSize=192 nbInferences=0 nbTooLargeKeys=0
1.96 => wckTime=0.856 cpuTime=0.79 mem=21M489
2.06
2.06 search
2.06 run=7 nbConstraintChecks=115514 nbPropagations=44653 nbRevisions=277930 nbUselessRevisions=202560
2.06 nbAssignments=2802 nbFailedAssignments=200 nbBacktracks=514 nbVisitedNodes=3070 nbRestartNogoods=19
2.06 mapSize=313 nbInferences=0 nbTooLargeKeys=0
2.06 => wckTime=0.955 cpuTime=0.88 mem=21M489
2.15
2.15 search
2.15 run=8 nbConstraintChecks=148715 nbPropagations=57406 nbRevisions=348230 nbUselessRevisions=249707
2.15 nbAssignments=3345 nbFailedAssignments=259 nbBacktracks=978 nbVisitedNodes=3710 nbRestartNogoods=21
2.15 mapSize=401 nbInferences=0 nbTooLargeKeys=0
2.15 => wckTime=1.044 cpuTime=0.97 mem=21M489
2.22
2.22 search
2.22 run=9 nbConstraintChecks=153584 nbPropagations=70465 nbRevisions=420755 nbUselessRevisions=298637
2.22 nbAssignments=3793 nbFailedAssignments=267 nbBacktracks=1380 nbVisitedNodes=4153 nbRestartNogoods=23
2.22 mapSize=406 nbInferences=0 nbTooLargeKeys=0
2.22 => wckTime=1.11 cpuTime=1.03 mem=22M463
2.34
2.35 search
2.35 run=10 nbConstraintChecks=202205 nbPropagations=85391 nbRevisions=517801 nbUselessRevisions=367946
2.35 nbAssignments=4467 nbFailedAssignments=322 nbBacktracks=1957 nbVisitedNodes=4904 nbRestartNogoods=26
2.35 mapSize=488 nbInferences=0 nbTooLargeKeys=0
2.35 => wckTime=1.238 cpuTime=1.15 mem=22M463
2.53
2.53 search
2.54 run=11 nbConstraintChecks=281675 nbPropagations=103859 nbRevisions=656297 nbUselessRevisions=471334
2.54 nbAssignments=5513 nbFailedAssignments=437 nbBacktracks=2864 nbVisitedNodes=6162 nbRestartNogoods=31
2.54 mapSize=675 nbInferences=0 nbTooLargeKeys=0
2.54 => wckTime=1.428 cpuTime=1.34 mem=23M436
2.81
2.81 INFO : Stopping hyperNogood (mapSize=1010, nbTooLargekeys=0, mem=24M409)
2.91
2.91 search
2.91 run=12 nbConstraintChecks=525259 nbPropagations=132461 nbRevisions=927702 nbUselessRevisions=686256
2.91 nbAssignments=7212 nbFailedAssignments=710 nbBacktracks=4230 nbVisitedNodes=8377 nbRestartNogoods=35
2.91 => wckTime=1.804 cpuTime=1.7 mem=24M409
3.34
3.34 search
3.34 run=13 nbConstraintChecks=908398 nbPropagations=179973 nbRevisions=1379738 nbUselessRevisions=1042541
3.34 nbAssignments=9881 nbFailedAssignments=1110 nbBacktracks=6179 nbVisitedNodes=11828 nbRestartNogoods=41
3.34 => wckTime=2.234 cpuTime=2.13 mem=24M409
4.13
4.14 search
4.14 run=14 nbConstraintChecks=1594485 nbPropagations=255262 nbRevisions=2191494 nbUselessRevisions=1697216
4.14 nbAssignments=14369 nbFailedAssignments=1975 nbBacktracks=9123 nbVisitedNodes=17454 nbRestartNogoods=52
4.14 => wckTime=3.028 cpuTime=2.91 mem=24M409
5.71
5.71 search
5.71 run=15 nbConstraintChecks=2865502 nbPropagations=387714 nbRevisions=3704351 nbUselessRevisions=2943323
5.71 nbAssignments=21487 nbFailedAssignments=3578 nbBacktracks=13506 nbVisitedNodes=26598 nbRestartNogoods=63
5.71 => wckTime=4.601 cpuTime=4.46 mem=24M409
6.65
6.65 search
6.65 run=16 nbConstraintChecks=3572246 nbPropagations=552472 nbRevisions=5604378 nbUselessRevisions=4509146
6.65 nbAssignments=28862 nbFailedAssignments=4322 nbBacktracks=20074 nbVisitedNodes=35339 nbRestartNogoods=71
6.65 => wckTime=5.539 cpuTime=5.4 mem=24M409
9.23
9.23 search
9.23 run=17 nbConstraintChecks=6093856 nbPropagations=802928 nbRevisions=9234351 nbUselessRevisions=7629552
9.23 nbAssignments=40401 nbFailedAssignments=5961 nbBacktracks=29928 nbVisitedNodes=49941 nbRestartNogoods=81
9.23 => wckTime=8.128 cpuTime=7.96 mem=24M409
10.44
10.44 search
10.44 run=18 nbConstraintChecks=7322720 nbPropagations=1093450 nbRevisions=13692082 nbUselessRevisions=11491984
10.44 nbAssignments=45438 nbFailedAssignments=6827 nbBacktracks=33699 nbVisitedNodes=56608 nbRestartNogoods=90
10.44 => wckTime=9.33 cpuTime=9.15 mem=24M409
10.44
10.44 global
10.44 nbConstraintChecks=7426699 nbPropagations=1096170 nbRevisions=13715805 nbUselessRevisions=11510792
10.44 nbRestartNogoods=90 solvingWckTime=9.332 solvingCpuTime=9.15 expiredTime=no totalExploration=no
10.44 nbFoundSolutions=1 globalCpuTime=9.73
10.44 => wckTime=10.125 cpuTime=9.67 mem=24M409
10.44
10.44 s SATISFIABLE
10.44 v 6 18 5 3 0 2 7 4 14 11 19 8 1 17 12 9 16 10 15 13 5 6 19 4 10 16 18 1 11 17 7 14 12 13 0 3 15 8 9 2 17 11 2 7 19 13 14 15 16 6 1 5 18 9 8 10 3 12 4 0 4 12 0 14 16 1 15 9 6 19 18 13 2 11 3 17 10 5 7 8 15 4 18 8 6 17 19 10 1 2 3 9 7 5 11 12 13 14 0 16 3 19 13 15 18 6 4 14 0 16 2 7 8 10 9 11 12 17 5 1 16 10 7 11 2 9 0 19 13 12 8 1 17 15 4 14 6 18 3 5 10 2 17 18 9 19 11 16 8 0 14 3 15 1 5 7 4 13 12 6 0 7 16 10 13 18 2 12 5 15 4 11 19 6 1 8 14 3 17 9 8 15 3 9 5 10 13 0 12 14 11 2 6 4 17 19 18 16 1 7 2 5 6 19 12 8 10 7 15 13 9 17 11 18 14 4 1 0 16 3 9 0 15 1 3 5 6 8 19 10 12 4 16 14 7 13 11 2 18 17 7 17 4 2 1 15 9 6 3 18 13 10 14 16 19 5 0 11 8 12 14 1 9 12 7 11 3 2 18 5 15 19 0 8 13 16 17 6 10 4 11 16 14 6 8 4 12 3 17 7 10 18 5 0 15 2 9 1 13 19 1 13 12 17 14 7 16 5 4 3 6 0 9 2 10 15 8 19 11 18 19 8 1 5 11 14 17 13 10 9 16 6 3 12 18 0 7 4 2 15 13 9 10 16 17 0 1 18 7 8 5 12 4 3 2 6 19 15 14 11 18 3 11 13 15 12 8 17 2 4 0 16 10 7 6 1 5 9 19 14 12 14 8 0 4 3 5 11 9 1 17 15 13 19 16 18 2 7 6 10
10.44 d NODES 45438
10.44 d CHECKS 7426699
10.44
10.44 totalWckTime=10.206 totalCpuTime=9.73
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node7/watcher-240143-1168369186 -o ROOT/results/node7/solver-240143-1168369186 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/240143-1168369186/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.84 1.90 1.94 4/89 14477
/proc/meminfo: memFree=1708288/2055920 swapFree=4192812/4192956
[pid=14476] ppid=14474 vsize=18540 CPUtime=0
/proc/14476/stat : 14476 (runsolver) R 14474 14476 14409 0 -1 4194368 17 0 0 0 0 0 0 0 18 0 1 0 185313994 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 244671114535 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/14476/statm: 4635 279 244 17 0 2626 0
[startup+0.109746 s]
/proc/loadavg: 1.84 1.90 1.94 4/89 14477
/proc/meminfo: memFree=1708288/2055920 swapFree=4192812/4192956
[pid=14476] ppid=14474 vsize=914988 CPUtime=0.09
/proc/14476/stat : 14476 (java) R 14474 14476 14409 0 -1 0 3050 0 1 0 8 1 0 0 17 0 8 0 185313994 936947712 2796 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14476/statm: 228747 2796 1447 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.517786 s]
/proc/loadavg: 1.84 1.90 1.94 4/89 14477
/proc/meminfo: memFree=1708288/2055920 swapFree=4192812/4192956
[pid=14476] ppid=14474 vsize=915328 CPUtime=0.5
/proc/14476/stat : 14476 (java) R 14474 14476 14409 0 -1 0 6465 0 1 0 47 3 0 0 17 0 8 0 185313994 937295872 6204 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072940296 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14476/statm: 228832 6204 2138 14 0 215302 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 915328
[startup+1.33887 s]
/proc/loadavg: 1.84 1.90 1.94 4/96 14484
/proc/meminfo: memFree=1671112/2055920 swapFree=4192812/4192956
[pid=14476] ppid=14474 vsize=915676 CPUtime=1.31
/proc/14476/stat : 14476 (java) R 14474 14476 14409 0 -1 0 12013 0 1 0 124 7 0 0 18 0 8 0 185313994 937652224 11751 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073984077 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14476/statm: 228919 11751 2523 14 0 215389 0
[pid=14476/tid=14478] ppid=14474 vsize=915676 CPUtime=0.06
/proc/14476/task/14478/stat : 14478 (java) S 14474 14476 14409 0 -1 64 903 0 0 0 6 0 0 0 16 0 8 0 185313998 937652224 11751 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14476/tid=14479] ppid=14474 vsize=915676 CPUtime=0
/proc/14476/task/14479/stat : 14479 (java) S 14474 14476 14409 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 185313998 937652224 11751 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14476/tid=14480] ppid=14474 vsize=915676 CPUtime=0
/proc/14476/task/14480/stat : 14480 (java) S 14474 14476 14409 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 185313998 937652224 11751 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14476/tid=14481] ppid=14474 vsize=915676 CPUtime=0
/proc/14476/task/14481/stat : 14481 (java) S 14474 14476 14409 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 185314001 937652224 11751 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14476/tid=14482] ppid=14474 vsize=915676 CPUtime=0.25
/proc/14476/task/14482/stat : 14482 (java) R 14474 14476 14409 0 -1 64 459 0 0 0 24 1 0 0 20 0 8 0 185314001 937652224 11751 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14476/tid=14483] ppid=14474 vsize=915676 CPUtime=0
/proc/14476/task/14483/stat : 14483 (java) S 14474 14476 14409 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 185314001 937652224 11751 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14476/tid=14484] ppid=14474 vsize=915676 CPUtime=0
/proc/14476/task/14484/stat : 14484 (java) S 14474 14476 14409 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 185314001 937652224 11751 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915676
[startup+2.97604 s]
/proc/loadavg: 1.84 1.90 1.94 4/96 14484
/proc/meminfo: memFree=1670920/2055920 swapFree=4192812/4192956
[pid=14476] ppid=14474 vsize=915676 CPUtime=2.92
/proc/14476/stat : 14476 (java) R 14474 14476 14409 0 -1 0 12042 0 1 0 285 7 0 0 25 0 8 0 185313994 937652224 11778 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073961392 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14476/statm: 228919 11778 2524 14 0 215389 0
[pid=14476/tid=14478] ppid=14474 vsize=915676 CPUtime=0.06
/proc/14476/task/14478/stat : 14478 (java) S 14474 14476 14409 0 -1 64 903 0 0 0 6 0 0 0 17 0 8 0 185313998 937652224 11778 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14476/tid=14479] ppid=14474 vsize=915676 CPUtime=0
/proc/14476/task/14479/stat : 14479 (java) S 14474 14476 14409 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 185313998 937652224 11778 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14476/tid=14480] ppid=14474 vsize=915676 CPUtime=0
/proc/14476/task/14480/stat : 14480 (java) S 14474 14476 14409 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 185313998 937652224 11778 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14476/tid=14481] ppid=14474 vsize=915676 CPUtime=0
/proc/14476/task/14481/stat : 14481 (java) S 14474 14476 14409 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 185314001 937652224 11778 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14476/tid=14482] ppid=14474 vsize=915676 CPUtime=0.31
/proc/14476/task/14482/stat : 14482 (java) S 14474 14476 14409 0 -1 64 484 0 0 0 30 1 0 0 16 0 8 0 185314001 937652224 11778 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14476/tid=14483] ppid=14474 vsize=915676 CPUtime=0
/proc/14476/task/14483/stat : 14483 (java) S 14474 14476 14409 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 185314001 937652224 11778 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14476/tid=14484] ppid=14474 vsize=915676 CPUtime=0
/proc/14476/task/14484/stat : 14484 (java) S 14474 14476 14409 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 185314001 937652224 11778 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) 915676
[startup+6.18138 s]
/proc/loadavg: 1.86 1.91 1.94 4/96 14484
/proc/meminfo: memFree=1670920/2055920 swapFree=4192812/4192956
[pid=14476] ppid=14474 vsize=915676 CPUtime=6.11
/proc/14476/stat : 14476 (java) R 14474 14476 14409 0 -1 0 12047 0 1 0 603 8 0 0 25 0 8 0 185313994 937652224 11782 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074005738 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14476/statm: 228919 11782 2524 14 0 215389 0
[pid=14476/tid=14478] ppid=14474 vsize=915676 CPUtime=0.06
/proc/14476/task/14478/stat : 14478 (java) S 14474 14476 14409 0 -1 64 903 0 0 0 6 0 0 0 16 0 8 0 185313998 937652224 11782 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14476/tid=14479] ppid=14474 vsize=915676 CPUtime=0
/proc/14476/task/14479/stat : 14479 (java) S 14474 14476 14409 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 185313998 937652224 11782 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14476/tid=14480] ppid=14474 vsize=915676 CPUtime=0
/proc/14476/task/14480/stat : 14480 (java) S 14474 14476 14409 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 185313998 937652224 11782 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14476/tid=14481] ppid=14474 vsize=915676 CPUtime=0
/proc/14476/task/14481/stat : 14481 (java) S 14474 14476 14409 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 185314001 937652224 11782 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14476/tid=14482] ppid=14474 vsize=915676 CPUtime=0.32
/proc/14476/task/14482/stat : 14482 (java) S 14474 14476 14409 0 -1 64 488 0 0 0 31 1 0 0 16 0 8 0 185314001 937652224 11782 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14476/tid=14483] ppid=14474 vsize=915676 CPUtime=0
/proc/14476/task/14483/stat : 14483 (java) S 14474 14476 14409 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 185314001 937652224 11782 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14476/tid=14484] ppid=14474 vsize=915676 CPUtime=0
/proc/14476/task/14484/stat : 14484 (java) S 14474 14476 14409 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 185314001 937652224 11782 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.11
Current children cumulated vsize (KiB) 915676
Child status: 0
Real time (s): 10.4659
CPU time (s): 10.3474
CPU user time (s): 10.2564
CPU system time (s): 0.090986
CPU usage (%): 98.8682
Max. virtual memory (cumulated for all children) (KiB): 915676
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 10.2564
system time used= 0.090986
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12058
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= 1274
involuntary context switches= 1711
runsolver used 0.017997 s user time and 0.040993 s system time
The end
Begin job on node7 on Tue Jan 9 18:59:46 UTC 2007
IDJOB= 240143
IDBENCH= 7108
FILE ID= node7/240143-1168369186
PBS_JOBID= 3503854
Free space on /tmp= 66559 MiB
BENCH NAME= HOME/pub/bench/CPAI06/qcp-qwh/QCP-20/qcp-20-187-1_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/240143-1168369186/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node7/watcher-240143-1168369186 -o ROOT/results/node7/solver-240143-1168369186 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/240143-1168369186/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= d44b82b5650bc2d9816df15672c592e5
RANDOM SEED= 995934466
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.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: 1708704 kB
Buffers: 43884 kB
Cached: 183576 kB
SwapCached: 0 kB
Active: 210928 kB
Inactive: 86352 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1708704 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 2516 kB
Writeback: 0 kB
Mapped: 90028 kB
Slab: 34480 kB
Committed_AS: 6035712 kB
PageTables: 2360 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= 66559 MiB
End job on node7 on Tue Jan 9 18:59:57 UTC 2007