0.00/0.08
0.00/0.08 Abscon 112 (May, 2008)
0.18/0.24
0.18/0.24 configuration
0.18/0.24 name=mac.xml
0.18/0.28
0.18/0.28 instance
0.18/0.28 name=HOME/instance-2099365-1247418082.xml
0.29/0.31
0.29/0.31 domains being loaded...
0.29/0.32
0.29/0.32 variables being loaded...
0.29/0.35 nbVariables=40 nbDomainTypes=1 minDomainSize=8 maxDomainSize=8 nbTotalValues=320
0.29/0.35 => wckTime=0.105 cpuTime=0.09 mem=7M892
0.29/0.35
0.29/0.35 relations being loaded...
0.38/0.46
0.38/0.46 constraints being loaded...
0.69/0.75 nbConstraints=752 nbRelationTypes=752 nbExtensionStructures=752 nbSharedExtensionStructures=0
0.69/0.75 nbConflictsStructures=752 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=11890 minDegree=35
0.69/0.75 maxDegree=39 minArity=2 maxArity=2 nbGenerators=0 nbFusions=0 symmetryWckTime=0.081 symmetryCpuTime=0.04
0.69/0.75 => wckTime=0.499 cpuTime=0.32 mem=19M654
0.78/0.82
0.78/0.82 solver IterativeSystematicSolver being built...
0.87/0.96 => wckTime=0.712 cpuTime=0.45 mem=19M740
0.87/0.97
0.87/0.97 preprocessing
0.87/0.97 nbConstraintChecks=0 nbPropagations=40 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
0.87/0.97 detectedInconsistency=no
0.87/0.97 => wckTime=0.012 cpuTime=0.01 mem=20M732
1.08/1.12
1.08/1.12 INFO : Stopping use of transposition table (mapSize=101, nbTooLargekeys=0, mem=21M723)
11.17/11.34
11.17/11.34 search
11.17/11.34 run=15 nbConstraintChecks=28275214 minDepth=0 maxDepth=40 nbPropagations=1648685 nbRevisions=29275989
11.17/11.34 nbUselessRevisions=25275360 nbAssignments=38881 nbFailedAssignments=11532 nbInferredBacktracks=6
11.17/11.34 nbBacktracks=27197 nbVisitedNodes=63394 nbRestartNogoods=100 nbFoundSolutions=1 nbSEliminables=8
11.17/11.34 nbREliminables=1.22 nbIEliminables=0.02 nbDEliminables=0 nbPEliminables=0
11.17/11.34 => wckTime=10.382 cpuTime=10.19 mem=21M723
11.17/11.35
11.17/11.35 global
11.17/11.35 nbConstraintChecks=28275214 nbPropagations=1648725 nbRevisions=29275989 nbUselessRevisions=25275360
11.17/11.35 nbRestartNogoods=100 solvingWckTime=10.386 solvingCpuTime=10.2 expiredTime=no totalExploration=no
11.17/11.35 nbFoundSolutions=1 firstSolutionCpuTime=10.64 globalCpuTime=10.7
11.17/11.35 => wckTime=11.101 cpuTime=10.65 mem=21M723
11.17/11.35
11.17/11.35 s SATISFIABLE
11.17/11.35 v 2 7 6 2 4 3 3 3 0 4 5 0 4 2 2 3 4 1 4 6 1 6 5 4 1 2 2 7 4 3 6 6 6 5 4 6 4 1 1 4
11.17/11.35 d NODES 38881
11.17/11.35 d CHECKS 28275214
11.17/11.35
11.17/11.35 totalWckTime=11.169 totalCpuTime=10.7
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2099365-1247418082/watcher-2099365-1247418082 -o /tmp/evaluation-result-2099365-1247418082/solver-2099365-1247418082 -C 1800 -W 2000 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution mac.xml 1 XSax HOME/instance-2099365-1247418082.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 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
[startup+0 s]
/proc/loadavg: 1.99 1.98 1.99 3/80 31718
/proc/meminfo: memFree=1683656/2055920 swapFree=4192812/4192956
[pid=31718] ppid=31716 vsize=152 CPUtime=0
/proc/31718/stat : 31718 (java) R 31716 31718 31324 0 -1 0 205 0 0 0 0 0 0 0 18 0 1 0 28871237 155648 26 996147200 134512640 134550932 4294955968 18446744073709551615 5533995 0 0 4096 0 0 0 0 17 0 0 0
/proc/31718/statm: 38 26 19 9 0 4 0
[startup+0.0983309 s]
/proc/loadavg: 1.99 1.98 1.99 3/80 31718
/proc/meminfo: memFree=1683656/2055920 swapFree=4192812/4192956
[pid=31718] ppid=31716 vsize=865980 CPUtime=0.08
/proc/31718/stat : 31718 (java) S 31716 31718 31324 0 -1 0 3740 0 1 0 7 1 0 0 18 0 9 0 28871237 886763520 3208 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/31718/statm: 216495 3208 1700 9 0 210980 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 865980
[startup+0.101323 s]
/proc/loadavg: 1.99 1.98 1.99 3/80 31718
/proc/meminfo: memFree=1683656/2055920 swapFree=4192812/4192956
[pid=31718] ppid=31716 vsize=865980 CPUtime=0.09
/proc/31718/stat : 31718 (java) S 31716 31718 31324 0 -1 0 3779 0 1 0 8 1 0 0 18 0 9 0 28871237 886763520 3236 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/31718/statm: 216495 3236 1708 9 0 210980 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 865980
[startup+0.301348 s]
/proc/loadavg: 1.99 1.98 1.99 3/80 31718
/proc/meminfo: memFree=1683656/2055920 swapFree=4192812/4192956
[pid=31718] ppid=31716 vsize=866380 CPUtime=0.29
/proc/31718/stat : 31718 (java) S 31716 31718 31324 0 -1 0 5995 0 1 0 26 3 0 0 18 0 9 0 28871237 887173120 5361 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/31718/statm: 216595 5361 1986 9 0 211053 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 866380
[startup+0.701389 s]
/proc/loadavg: 1.99 1.98 1.99 3/80 31718
/proc/meminfo: memFree=1683656/2055920 swapFree=4192812/4192956
[pid=31718] ppid=31716 vsize=867428 CPUtime=0.69
/proc/31718/stat : 31718 (java) S 31716 31718 31324 0 -1 0 9321 0 1 0 64 5 0 0 18 0 9 0 28871237 888246272 8670 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/31718/statm: 216857 8670 2019 9 0 211315 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 867428
[startup+1.50246 s]
/proc/loadavg: 1.99 1.98 1.99 4/91 31731
/proc/meminfo: memFree=1651112/2055920 swapFree=4192812/4192956
[pid=31718] ppid=31716 vsize=869008 CPUtime=1.46
/proc/31718/stat : 31718 (java) S 31716 31718 31324 0 -1 0 17270 313 1 0 138 8 0 0 18 0 9 0 28871237 889864192 10727 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/31718/statm: 217252 10727 2656 9 0 211688 0
[pid=31718/tid=31720] ppid=31716 vsize=869008 CPUtime=1.11
/proc/31718/task/31720/stat : 31720 (java) R 31716 31718 31324 0 -1 64 12429 313 1 0 106 5 0 0 21 0 9 0 28871238 889864192 10727 996147200 134512640 134550932 4294955968 18446744073709551615 4127044544 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31718/tid=31721] ppid=31716 vsize=869008 CPUtime=0.04
/proc/31718/task/31721/stat : 31721 (java) S 31716 31718 31324 0 -1 64 3128 313 0 0 4 0 0 0 17 0 9 0 28871240 889864192 10727 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31718/tid=31722] ppid=31716 vsize=869008 CPUtime=0
/proc/31718/task/31722/stat : 31722 (java) S 31716 31718 31324 0 -1 64 19 313 0 0 0 0 0 0 16 0 9 0 28871240 889864192 10727 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31718/tid=31723] ppid=31716 vsize=869008 CPUtime=0
/proc/31718/task/31723/stat : 31723 (java) S 31716 31718 31324 0 -1 64 9 313 0 0 0 0 0 0 16 0 9 0 28871240 889864192 10727 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31718/tid=31724] ppid=31716 vsize=869008 CPUtime=0
/proc/31718/task/31724/stat : 31724 (java) S 31716 31718 31324 0 -1 64 2 313 0 0 0 0 0 0 24 0 9 0 28871242 889864192 10727 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31718/tid=31725] ppid=31716 vsize=869008 CPUtime=0.27
/proc/31718/task/31725/stat : 31725 (java) S 31716 31718 31324 0 -1 64 874 313 0 0 27 0 0 0 15 0 9 0 28871242 889864192 10727 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31718/tid=31726] ppid=31716 vsize=869008 CPUtime=0
/proc/31718/task/31726/stat : 31726 (java) S 31716 31718 31324 0 -1 64 0 313 0 0 0 0 0 0 25 0 9 0 28871242 889864192 10727 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31718/tid=31727] ppid=31716 vsize=869008 CPUtime=0
/proc/31718/task/31727/stat : 31727 (java) S 31716 31718 31324 0 -1 64 4 313 0 0 0 0 0 0 15 0 9 0 28871242 889864192 10727 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 869008
[startup+3.10162 s]
/proc/loadavg: 1.99 1.98 1.99 3/89 31731
/proc/meminfo: memFree=1650736/2055920 swapFree=4192812/4192956
[pid=31718] ppid=31716 vsize=869008 CPUtime=3.06
/proc/31718/stat : 31718 (java) S 31716 31718 31324 0 -1 0 17290 313 1 0 297 9 0 0 18 0 9 0 28871237 889864192 10746 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/31718/statm: 217252 10746 2656 9 0 211688 0
[pid=31718/tid=31720] ppid=31716 vsize=869008 CPUtime=2.68
/proc/31718/task/31720/stat : 31720 (java) R 31716 31718 31324 0 -1 64 12431 313 1 0 262 6 0 0 25 0 9 0 28871238 889864192 10746 996147200 134512640 134550932 4294955968 18446744073709551615 4127069368 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31718/tid=31721] ppid=31716 vsize=869008 CPUtime=0.04
/proc/31718/task/31721/stat : 31721 (java) S 31716 31718 31324 0 -1 64 3128 313 0 0 4 0 0 0 17 0 9 0 28871240 889864192 10746 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31718/tid=31722] ppid=31716 vsize=869008 CPUtime=0
/proc/31718/task/31722/stat : 31722 (java) S 31716 31718 31324 0 -1 64 19 313 0 0 0 0 0 0 16 0 9 0 28871240 889864192 10746 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31718/tid=31723] ppid=31716 vsize=869008 CPUtime=0
/proc/31718/task/31723/stat : 31723 (java) S 31716 31718 31324 0 -1 64 9 313 0 0 0 0 0 0 16 0 9 0 28871240 889864192 10746 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31718/tid=31724] ppid=31716 vsize=869008 CPUtime=0
/proc/31718/task/31724/stat : 31724 (java) S 31716 31718 31324 0 -1 64 2 313 0 0 0 0 0 0 24 0 9 0 28871242 889864192 10746 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31718/tid=31725] ppid=31716 vsize=869008 CPUtime=0.29
/proc/31718/task/31725/stat : 31725 (java) S 31716 31718 31324 0 -1 64 892 313 0 0 29 0 0 0 15 0 9 0 28871242 889864192 10746 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31718/tid=31726] ppid=31716 vsize=869008 CPUtime=0
/proc/31718/task/31726/stat : 31726 (java) S 31716 31718 31324 0 -1 64 0 313 0 0 0 0 0 0 25 0 9 0 28871242 889864192 10746 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31718/tid=31727] ppid=31716 vsize=869008 CPUtime=0
/proc/31718/task/31727/stat : 31727 (java) S 31716 31718 31324 0 -1 64 4 313 0 0 0 0 0 0 15 0 9 0 28871242 889864192 10746 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 869008
[startup+6.30193 s]
/proc/loadavg: 1.99 1.98 1.99 3/89 31731
/proc/meminfo: memFree=1650608/2055920 swapFree=4192812/4192956
[pid=31718] ppid=31716 vsize=869008 CPUtime=6.23
/proc/31718/stat : 31718 (java) S 31716 31718 31324 0 -1 0 17318 313 1 0 614 9 0 0 18 0 9 0 28871237 889864192 10748 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/31718/statm: 217252 10748 2656 9 0 211688 0
[pid=31718/tid=31720] ppid=31716 vsize=869008 CPUtime=5.85
/proc/31718/task/31720/stat : 31720 (java) R 31716 31718 31324 0 -1 64 12435 313 1 0 579 6 0 0 25 0 9 0 28871238 889864192 10748 996147200 134512640 134550932 4294955968 18446744073709551615 4127052039 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31718/tid=31721] ppid=31716 vsize=869008 CPUtime=0.04
/proc/31718/task/31721/stat : 31721 (java) S 31716 31718 31324 0 -1 64 3128 313 0 0 4 0 0 0 16 0 9 0 28871240 889864192 10748 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=31718/tid=31722] ppid=31716 vsize=869008 CPUtime=0
/proc/31718/task/31722/stat : 31722 (java) S 31716 31718 31324 0 -1 64 19 313 0 0 0 0 0 0 16 0 9 0 28871240 889864192 10748 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31718/tid=31723] ppid=31716 vsize=869008 CPUtime=0
/proc/31718/task/31723/stat : 31723 (java) S 31716 31718 31324 0 -1 64 9 313 0 0 0 0 0 0 16 0 9 0 28871240 889864192 10748 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31718/tid=31724] ppid=31716 vsize=869008 CPUtime=0
/proc/31718/task/31724/stat : 31724 (java) S 31716 31718 31324 0 -1 64 2 313 0 0 0 0 0 0 24 0 9 0 28871242 889864192 10748 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31718/tid=31725] ppid=31716 vsize=869008 CPUtime=0.29
/proc/31718/task/31725/stat : 31725 (java) S 31716 31718 31324 0 -1 64 892 313 0 0 29 0 0 0 15 0 9 0 28871242 889864192 10748 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31718/tid=31726] ppid=31716 vsize=869008 CPUtime=0
/proc/31718/task/31726/stat : 31726 (java) S 31716 31718 31324 0 -1 64 0 313 0 0 0 0 0 0 25 0 9 0 28871242 889864192 10748 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31718/tid=31727] ppid=31716 vsize=869008 CPUtime=0
/proc/31718/task/31727/stat : 31727 (java) S 31716 31718 31324 0 -1 64 28 313 0 0 0 0 0 0 15 0 9 0 28871242 889864192 10748 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 869008
Solver just ended. Dumping a history of the last processes samples
[startup+9.50224 s]
/proc/loadavg: 1.99 1.98 1.99 3/89 31731
/proc/meminfo: memFree=1650544/2055920 swapFree=4192812/4192956
[pid=31718] ppid=31716 vsize=869008 CPUtime=9.39
/proc/31718/stat : 31718 (java) S 31716 31718 31324 0 -1 0 17321 313 1 0 930 9 0 0 18 0 9 0 28871237 889864192 10750 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/31718/statm: 217252 10750 2656 9 0 211688 0
[pid=31718/tid=31720] ppid=31716 vsize=869008 CPUtime=9.01
/proc/31718/task/31720/stat : 31720 (java) R 31716 31718 31324 0 -1 64 12437 313 1 0 895 6 0 0 19 0 9 0 28871238 889864192 10750 996147200 134512640 134550932 4294955968 18446744073709551615 4127062320 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31718/tid=31721] ppid=31716 vsize=869008 CPUtime=0.04
/proc/31718/task/31721/stat : 31721 (java) S 31716 31718 31324 0 -1 64 3128 313 0 0 4 0 0 0 16 0 9 0 28871240 889864192 10750 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=31718/tid=31722] ppid=31716 vsize=869008 CPUtime=0
/proc/31718/task/31722/stat : 31722 (java) S 31716 31718 31324 0 -1 64 19 313 0 0 0 0 0 0 16 0 9 0 28871240 889864192 10750 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31718/tid=31723] ppid=31716 vsize=869008 CPUtime=0
/proc/31718/task/31723/stat : 31723 (java) S 31716 31718 31324 0 -1 64 9 313 0 0 0 0 0 0 16 0 9 0 28871240 889864192 10750 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31718/tid=31724] ppid=31716 vsize=869008 CPUtime=0
/proc/31718/task/31724/stat : 31724 (java) S 31716 31718 31324 0 -1 64 2 313 0 0 0 0 0 0 24 0 9 0 28871242 889864192 10750 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31718/tid=31725] ppid=31716 vsize=869008 CPUtime=0.29
/proc/31718/task/31725/stat : 31725 (java) S 31716 31718 31324 0 -1 64 893 313 0 0 29 0 0 0 16 0 9 0 28871242 889864192 10750 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31718/tid=31726] ppid=31716 vsize=869008 CPUtime=0
/proc/31718/task/31726/stat : 31726 (java) S 31716 31718 31324 0 -1 64 0 313 0 0 0 0 0 0 25 0 9 0 28871242 889864192 10750 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31718/tid=31727] ppid=31716 vsize=869008 CPUtime=0
/proc/31718/task/31727/stat : 31727 (java) S 31716 31718 31324 0 -1 64 28 313 0 0 0 0 0 0 15 0 9 0 28871242 889864192 10750 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 9.39
Current children cumulated vsize (KiB) 869008
[startup+10.3023 s]
/proc/loadavg: 1.99 1.98 1.99 3/89 31731
/proc/meminfo: memFree=1650544/2055920 swapFree=4192812/4192956
[pid=31718] ppid=31716 vsize=869008 CPUtime=10.18
/proc/31718/stat : 31718 (java) S 31716 31718 31324 0 -1 0 17321 313 1 0 1009 9 0 0 18 0 9 0 28871237 889864192 10750 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/31718/statm: 217252 10750 2656 9 0 211688 0
[pid=31718/tid=31720] ppid=31716 vsize=869008 CPUtime=9.8
/proc/31718/task/31720/stat : 31720 (java) R 31716 31718 31324 0 -1 64 12437 313 1 0 974 6 0 0 25 0 9 0 28871238 889864192 10750 996147200 134512640 134550932 4294955968 18446744073709551615 4127115923 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31718/tid=31721] ppid=31716 vsize=869008 CPUtime=0.04
/proc/31718/task/31721/stat : 31721 (java) S 31716 31718 31324 0 -1 64 3128 313 0 0 4 0 0 0 16 0 9 0 28871240 889864192 10750 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=31718/tid=31722] ppid=31716 vsize=869008 CPUtime=0
/proc/31718/task/31722/stat : 31722 (java) S 31716 31718 31324 0 -1 64 19 313 0 0 0 0 0 0 16 0 9 0 28871240 889864192 10750 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31718/tid=31723] ppid=31716 vsize=869008 CPUtime=0
/proc/31718/task/31723/stat : 31723 (java) S 31716 31718 31324 0 -1 64 9 313 0 0 0 0 0 0 16 0 9 0 28871240 889864192 10750 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31718/tid=31724] ppid=31716 vsize=869008 CPUtime=0
/proc/31718/task/31724/stat : 31724 (java) S 31716 31718 31324 0 -1 64 2 313 0 0 0 0 0 0 24 0 9 0 28871242 889864192 10750 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31718/tid=31725] ppid=31716 vsize=869008 CPUtime=0.29
/proc/31718/task/31725/stat : 31725 (java) S 31716 31718 31324 0 -1 64 893 313 0 0 29 0 0 0 16 0 9 0 28871242 889864192 10750 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31718/tid=31726] ppid=31716 vsize=869008 CPUtime=0
/proc/31718/task/31726/stat : 31726 (java) S 31716 31718 31324 0 -1 64 0 313 0 0 0 0 0 0 25 0 9 0 28871242 889864192 10750 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31718/tid=31727] ppid=31716 vsize=869008 CPUtime=0
/proc/31718/task/31727/stat : 31727 (java) S 31716 31718 31324 0 -1 64 28 313 0 0 0 0 0 0 15 0 9 0 28871242 889864192 10750 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 10.18
Current children cumulated vsize (KiB) 869008
[startup+11.1024 s]
/proc/loadavg: 1.99 1.98 1.99 3/89 31731
/proc/meminfo: memFree=1650416/2055920 swapFree=4192812/4192956
[pid=31718] ppid=31716 vsize=869008 CPUtime=10.98
/proc/31718/stat : 31718 (java) S 31716 31718 31324 0 -1 0 17321 313 1 0 1089 9 0 0 18 0 9 0 28871237 889864192 10750 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/31718/statm: 217252 10750 2656 9 0 211688 0
[pid=31718/tid=31720] ppid=31716 vsize=869008 CPUtime=10.6
/proc/31718/task/31720/stat : 31720 (java) R 31716 31718 31324 0 -1 64 12437 313 1 0 1054 6 0 0 25 0 9 0 28871238 889864192 10750 996147200 134512640 134550932 4294955968 18446744073709551615 4127045808 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31718/tid=31721] ppid=31716 vsize=869008 CPUtime=0.04
/proc/31718/task/31721/stat : 31721 (java) S 31716 31718 31324 0 -1 64 3128 313 0 0 4 0 0 0 16 0 9 0 28871240 889864192 10750 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=31718/tid=31722] ppid=31716 vsize=869008 CPUtime=0
/proc/31718/task/31722/stat : 31722 (java) S 31716 31718 31324 0 -1 64 19 313 0 0 0 0 0 0 16 0 9 0 28871240 889864192 10750 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31718/tid=31723] ppid=31716 vsize=869008 CPUtime=0
/proc/31718/task/31723/stat : 31723 (java) S 31716 31718 31324 0 -1 64 9 313 0 0 0 0 0 0 16 0 9 0 28871240 889864192 10750 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31718/tid=31724] ppid=31716 vsize=869008 CPUtime=0
/proc/31718/task/31724/stat : 31724 (java) S 31716 31718 31324 0 -1 64 2 313 0 0 0 0 0 0 24 0 9 0 28871242 889864192 10750 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31718/tid=31725] ppid=31716 vsize=869008 CPUtime=0.29
/proc/31718/task/31725/stat : 31725 (java) S 31716 31718 31324 0 -1 64 893 313 0 0 29 0 0 0 16 0 9 0 28871242 889864192 10750 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31718/tid=31726] ppid=31716 vsize=869008 CPUtime=0
/proc/31718/task/31726/stat : 31726 (java) S 31716 31718 31324 0 -1 64 0 313 0 0 0 0 0 0 25 0 9 0 28871242 889864192 10750 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31718/tid=31727] ppid=31716 vsize=869008 CPUtime=0
/proc/31718/task/31727/stat : 31727 (java) S 31716 31718 31324 0 -1 64 28 313 0 0 0 0 0 0 15 0 9 0 28871242 889864192 10750 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 10.98
Current children cumulated vsize (KiB) 869008
[startup+11.3024 s]
/proc/loadavg: 1.99 1.98 1.99 3/89 31731
/proc/meminfo: memFree=1650416/2055920 swapFree=4192812/4192956
[pid=31718] ppid=31716 vsize=869008 CPUtime=11.17
/proc/31718/stat : 31718 (java) S 31716 31718 31324 0 -1 0 17321 313 1 0 1108 9 0 0 18 0 9 0 28871237 889864192 10750 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/31718/statm: 217252 10750 2656 9 0 211688 0
[pid=31718/tid=31720] ppid=31716 vsize=869008 CPUtime=10.79
/proc/31718/task/31720/stat : 31720 (java) R 31716 31718 31324 0 -1 64 12437 313 1 0 1073 6 0 0 25 0 9 0 28871238 889864192 10750 996147200 134512640 134550932 4294955968 18446744073709551615 4127049734 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31718/tid=31721] ppid=31716 vsize=869008 CPUtime=0.04
/proc/31718/task/31721/stat : 31721 (java) S 31716 31718 31324 0 -1 64 3128 313 0 0 4 0 0 0 16 0 9 0 28871240 889864192 10750 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=31718/tid=31722] ppid=31716 vsize=869008 CPUtime=0
/proc/31718/task/31722/stat : 31722 (java) S 31716 31718 31324 0 -1 64 19 313 0 0 0 0 0 0 16 0 9 0 28871240 889864192 10750 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31718/tid=31723] ppid=31716 vsize=869008 CPUtime=0
/proc/31718/task/31723/stat : 31723 (java) S 31716 31718 31324 0 -1 64 9 313 0 0 0 0 0 0 16 0 9 0 28871240 889864192 10750 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31718/tid=31724] ppid=31716 vsize=869008 CPUtime=0
/proc/31718/task/31724/stat : 31724 (java) S 31716 31718 31324 0 -1 64 2 313 0 0 0 0 0 0 24 0 9 0 28871242 889864192 10750 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31718/tid=31725] ppid=31716 vsize=869008 CPUtime=0.29
/proc/31718/task/31725/stat : 31725 (java) S 31716 31718 31324 0 -1 64 893 313 0 0 29 0 0 0 16 0 9 0 28871242 889864192 10750 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31718/tid=31726] ppid=31716 vsize=869008 CPUtime=0
/proc/31718/task/31726/stat : 31726 (java) S 31716 31718 31324 0 -1 64 0 313 0 0 0 0 0 0 25 0 9 0 28871242 889864192 10750 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31718/tid=31727] ppid=31716 vsize=869008 CPUtime=0
/proc/31718/task/31727/stat : 31727 (java) S 31716 31718 31324 0 -1 64 28 313 0 0 0 0 0 0 15 0 9 0 28871242 889864192 10750 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 11.17
Current children cumulated vsize (KiB) 869008
Child status: 0
Real time (s): 11.3981
CPU time (s): 11.2533
CPU user time (s): 11.1403
CPU system time (s): 0.112982
CPU usage (%): 98.7293
Max. virtual memory (cumulated for all children) (KiB): 869152
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 11.1403
system time used= 0.112982
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17763
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= 1536
involuntary context switches= 1608
runsolver used 0.017997 second user time and 0.041993 second system time
The end
Begin job on node60 at 2009-07-12 19:01:22
IDJOB=2099365
IDBENCH=60187
IDSOLVER=773
FILE ID=node60/2099365-1247418082
PBS_JOBID= 9510669
Free space on /tmp= 66456 MiB
SOLVER NAME= Abscon 112v4 AC
BENCH NAME= CPAI08/csp/tightness0.1/normalized-rand-2-40-8-753-100-45_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution mac.xml 1 XSax BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2099365-1247418082/watcher-2099365-1247418082 -o /tmp/evaluation-result-2099365-1247418082/solver-2099365-1247418082 -C 1800 -W 2000 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution mac.xml 1 XSax HOME/instance-2099365-1247418082.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MAX NB THREAD= 0
MD5SUM BENCH= dc0ab0ecd9e92c01302f77e906ca179d
RANDOM SEED=1561249059
node60.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005
/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.232
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.232
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: 1684136 kB
Buffers: 46432 kB
Cached: 143220 kB
SwapCached: 0 kB
Active: 231672 kB
Inactive: 89736 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1684136 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 2464 kB
Writeback: 0 kB
Mapped: 152228 kB
Slab: 35360 kB
Committed_AS: 1031884 kB
PageTables: 2104 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= 66456 MiB
End job on node60 at 2009-07-12 19:01:33