0.02/0.08
0.02/0.08 Abscon 112 (May, 2008)
0.19/0.24
0.19/0.24 configuration
0.19/0.24 name=esac.xml
0.19/0.27
0.19/0.27 instance
0.19/0.27 name=HOME/instance-2097528-1247413452.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.37 nbVariables=200 nbDomainTypes=2 minDomainSize=18 maxDomainSize=21 nbTotalValues=3918
0.29/0.37 => wckTime=0.13 cpuTime=0.11 mem=7M892
0.29/0.37
0.29/0.37 predicates being loaded...
0.38/0.43
0.38/0.43 constraints being loaded...
1.08/1.11 nbConstraints=1269 nbGlobalConstraints=34 nbConvertedConstraints=1235 nbConvertConstraintsChecks=196551
1.08/1.11 nbExtensionStructures=485 nbSharedExtensionStructures=1213 nbConflictsStructures=486
1.08/1.11 nbSharedConflictsStructures=1213 nbSharedBinaryRepresentations=19223 minDegree=1 maxDegree=45 minArity=2
1.08/1.11 avgArity=2.1 maxArity=13 nbGenerators=12 nbFusions=5 symmetryWckTime=0.145 symmetryCpuTime=0.09 nbCliques=22
1.08/1.11 => wckTime=0.863 cpuTime=0.64 mem=23M589
1.08/1.18
1.08/1.18 solver IterativeSystematicSolver being built...
1.17/1.25
1.17/1.26 INFO : Forward propagation technique limited
1.26/1.33 => wckTime=1.085 cpuTime=0.76 mem=21M968
1.37/1.42
1.37/1.42 preprocessing
1.37/1.42 nbConstraintChecks=63126 nbPropagations=1432 nbRevisions=6183 nbUselessRevisions=4451 nbSingletonTests=214
1.37/1.42 nbEffectiveSingletonTests=0 nbACRemovals=184 nbFoundSingletons=0 nbRemovedValues=184 nbRemovedTuples=431
1.37/1.42 detectedInconsistency=no
1.37/1.42 => wckTime=0.087 cpuTime=0.06 mem=22M976
1.67/1.72
1.67/1.72 INFO : Stopping use of transposition table (mapSize=101, nbTooLargekeys=0, mem=24M16)
4.34/4.45
4.34/4.45 search
4.34/4.45 run=14 nbConstraintChecks=13824329 minDepth=0 maxDepth=5 nbPropagations=469415 nbRevisions=6268791
4.34/4.45 nbUselessRevisions=4884947 nbAssignments=10048 nbFailedAssignments=7016 nbBacktracks=2961 nbVisitedNodes=18368
4.34/4.45 nbRestartNogoods=142 nbSEliminables=0 nbREliminables=75.12 nbIEliminables=119.14 nbDEliminables=0
4.34/4.45 nbPEliminables=0
4.34/4.45 => wckTime=3.122 cpuTime=3.01 mem=26M942
4.34/4.45
4.34/4.45 global
4.34/4.45 nbConstraintChecks=13887455 nbPropagations=470847 nbRevisions=6274974 nbUselessRevisions=4889398
4.34/4.45 nbRestartNogoods=142 solvingWckTime=3.125 solvingCpuTime=3.01 expiredTime=no totalExploration=yes
4.34/4.45 nbFoundSolutions=0 globalCpuTime=3.8
4.34/4.45 => wckTime=4.211 cpuTime=3.77 mem=26M942
4.34/4.45
4.34/4.45 s UNSATISFIABLE
4.34/4.45 d NODES 10048
4.34/4.45 d CHECKS 13887455
4.34/4.46
4.34/4.46 totalWckTime=4.278 totalCpuTime=3.8
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2097528-1247413452/watcher-2097528-1247413452 -o /tmp/evaluation-result-2097528-1247413452/solver-2097528-1247413452 -C 1800 -W 2000 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution esac.xml 1 XSax HOME/instance-2097528-1247413452.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.81 1.95 1.98 4/81 31710
/proc/meminfo: memFree=1701304/2055920 swapFree=4192812/4192956
[pid=31710] ppid=31708 vsize=308 CPUtime=0
/proc/31710/stat : 31710 (java) R 31708 31710 28996 0 -1 0 217 0 0 0 0 0 0 0 18 0 1 0 28410543 315392 38 996147200 134512640 134550932 4294955968 18446744073709551615 7713799 0 0 4096 0 0 0 0 17 0 0 0
/proc/31710/statm: 77 39 29 9 0 6 0
[startup+0.040029 s]
/proc/loadavg: 1.81 1.95 1.98 4/81 31710
/proc/meminfo: memFree=1701304/2055920 swapFree=4192812/4192956
[pid=31710] ppid=31708 vsize=861936 CPUtime=0.02
/proc/31710/stat : 31710 (java) S 31708 31710 28996 0 -1 0 2322 0 1 0 1 1 0 0 18 0 5 0 28410543 882622464 1916 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800971 18446744073709551615 0 0 17 0 0 0
/proc/31710/statm: 215484 1918 877 9 0 210399 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 861936
[startup+0.101034 s]
/proc/loadavg: 1.81 1.95 1.98 4/81 31710
/proc/meminfo: memFree=1701304/2055920 swapFree=4192812/4192956
[pid=31710] ppid=31708 vsize=865980 CPUtime=0.09
/proc/31710/stat : 31710 (java) S 31708 31710 28996 0 -1 0 3786 0 1 0 6 3 0 0 18 0 9 0 28410543 886763520 3241 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/31710/statm: 216495 3241 1711 9 0 210980 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 865980
[startup+0.301056 s]
/proc/loadavg: 1.81 1.95 1.98 4/81 31710
/proc/meminfo: memFree=1701304/2055920 swapFree=4192812/4192956
[pid=31710] ppid=31708 vsize=866380 CPUtime=0.29
/proc/31710/stat : 31710 (java) S 31708 31710 28996 0 -1 0 6033 0 1 0 24 5 0 0 18 0 9 0 28410543 887173120 5400 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/31710/statm: 216595 5411 1986 9 0 211053 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 866380
[startup+0.701106 s]
/proc/loadavg: 1.81 1.95 1.98 4/81 31710
/proc/meminfo: memFree=1701304/2055920 swapFree=4192812/4192956
[pid=31710] ppid=31708 vsize=867804 CPUtime=0.69
/proc/31710/stat : 31710 (java) S 31708 31710 28996 0 -1 0 8771 0 1 0 61 8 0 0 18 0 9 0 28410543 888631296 8123 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/31710/statm: 216951 8123 2039 9 0 211387 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 867804
[startup+1.50238 s]
/proc/loadavg: 1.81 1.95 1.98 3/90 31719
/proc/meminfo: memFree=1670576/2055920 swapFree=4192812/4192956
[pid=31710] ppid=31708 vsize=868452 CPUtime=1.47
/proc/31710/stat : 31710 (java) S 31708 31710 28996 0 -1 0 18907 235 1 0 130 16 1 0 18 0 10 0 28410543 889294848 11581 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/31710/statm: 217113 11581 2658 9 0 211549 0
[pid=31710/tid=31712] ppid=31708 vsize=868452 CPUtime=1.08
/proc/31710/task/31712/stat : 31712 (java) R 31708 31710 28996 0 -1 64 13665 235 1 0 94 13 1 0 18 0 10 0 28410544 889294848 11581 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31710/tid=31713] ppid=31708 vsize=868452 CPUtime=0.06
/proc/31710/task/31713/stat : 31713 (java) S 31708 31710 28996 0 -1 64 3428 235 0 0 5 0 1 0 17 0 10 0 28410545 889294848 11581 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31710/tid=31714] ppid=31708 vsize=868452 CPUtime=0.01
/proc/31710/task/31714/stat : 31714 (java) S 31708 31710 28996 0 -1 64 19 235 0 0 0 0 1 0 16 0 10 0 28410545 889294848 11581 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31710/tid=31715] ppid=31708 vsize=868452 CPUtime=0.01
/proc/31710/task/31715/stat : 31715 (java) S 31708 31710 28996 0 -1 64 11 235 0 0 0 0 1 0 16 0 10 0 28410545 889294848 11581 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31710/tid=31716] ppid=31708 vsize=868452 CPUtime=0.01
/proc/31710/task/31716/stat : 31716 (java) S 31708 31710 28996 0 -1 64 2 235 0 0 0 0 1 0 24 0 10 0 28410547 889294848 11581 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31710/tid=31717] ppid=31708 vsize=868452 CPUtime=0.31
/proc/31710/task/31717/stat : 31717 (java) S 31708 31710 28996 0 -1 64 973 235 0 0 29 1 1 0 15 0 10 0 28410547 889294848 11581 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31710/tid=31718] ppid=31708 vsize=868452 CPUtime=0.01
/proc/31710/task/31718/stat : 31718 (java) S 31708 31710 28996 0 -1 64 0 235 0 0 0 0 1 0 25 0 10 0 28410547 889294848 11581 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31710/tid=31719] ppid=31708 vsize=868452 CPUtime=0.01
/proc/31710/task/31719/stat : 31719 (java) S 31708 31710 28996 0 -1 64 4 235 0 0 0 0 1 0 15 0 10 0 28410547 889294848 11581 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 868452
[startup+3.10238 s]
/proc/loadavg: 1.81 1.95 1.98 3/90 31723
/proc/meminfo: memFree=1664744/2055920 swapFree=4192812/4192956
[pid=31710] ppid=31708 vsize=868580 CPUtime=3.05
/proc/31710/stat : 31710 (java) S 31708 31710 28996 0 -1 0 19225 358 1 0 288 16 1 0 18 0 9 0 28410543 889425920 11896 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/31710/statm: 217145 11896 2658 9 0 211581 0
[pid=31710/tid=31712] ppid=31708 vsize=868580 CPUtime=2.63
/proc/31710/task/31712/stat : 31712 (java) R 31708 31710 28996 0 -1 64 13951 358 1 0 249 13 1 0 25 0 9 0 28410544 889425920 11896 996147200 134512640 134550932 4294955968 18446744073709551615 4127219312 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31710/tid=31713] ppid=31708 vsize=868580 CPUtime=0.06
/proc/31710/task/31713/stat : 31713 (java) S 31708 31710 28996 0 -1 64 3429 358 0 0 5 0 1 0 17 0 9 0 28410545 889425920 11896 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31710/tid=31714] ppid=31708 vsize=868580 CPUtime=0.01
/proc/31710/task/31714/stat : 31714 (java) S 31708 31710 28996 0 -1 64 19 358 0 0 0 0 1 0 16 0 9 0 28410545 889425920 11896 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31710/tid=31715] ppid=31708 vsize=868580 CPUtime=0.01
/proc/31710/task/31715/stat : 31715 (java) S 31708 31710 28996 0 -1 64 11 358 0 0 0 0 1 0 16 0 9 0 28410545 889425920 11896 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31710/tid=31716] ppid=31708 vsize=868580 CPUtime=0.01
/proc/31710/task/31716/stat : 31716 (java) S 31708 31710 28996 0 -1 64 2 358 0 0 0 0 1 0 24 0 9 0 28410547 889425920 11896 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31710/tid=31717] ppid=31708 vsize=868580 CPUtime=0.35
/proc/31710/task/31717/stat : 31717 (java) S 31708 31710 28996 0 -1 64 1004 358 0 0 33 1 1 0 16 0 9 0 28410547 889425920 11896 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31710/tid=31718] ppid=31708 vsize=868580 CPUtime=0.01
/proc/31710/task/31718/stat : 31718 (java) S 31708 31710 28996 0 -1 64 0 358 0 0 0 0 1 0 25 0 9 0 28410547 889425920 11896 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31710/tid=31719] ppid=31708 vsize=868580 CPUtime=0.01
/proc/31710/task/31719/stat : 31719 (java) S 31708 31710 28996 0 -1 64 4 358 0 0 0 0 1 0 15 0 9 0 28410547 889425920 11896 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 868580
Solver just ended. Dumping a history of the last processes samples
[startup+3.90147 s]
/proc/loadavg: 1.81 1.95 1.98 3/90 31723
/proc/meminfo: memFree=1663912/2055920 swapFree=4192812/4192956
[pid=31710] ppid=31708 vsize=868580 CPUtime=3.84
/proc/31710/stat : 31710 (java) S 31708 31710 28996 0 -1 0 19405 358 1 0 367 16 1 0 18 0 9 0 28410543 889425920 12076 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/31710/statm: 217145 12076 2658 9 0 211581 0
[pid=31710/tid=31712] ppid=31708 vsize=868580 CPUtime=3.41
/proc/31710/task/31712/stat : 31712 (java) R 31708 31710 28996 0 -1 64 14131 358 1 0 327 13 1 0 25 0 9 0 28410544 889425920 12076 996147200 134512640 134550932 4294955968 18446744073709551615 4127312730 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31710/tid=31713] ppid=31708 vsize=868580 CPUtime=0.06
/proc/31710/task/31713/stat : 31713 (java) S 31708 31710 28996 0 -1 64 3429 358 0 0 5 0 1 0 17 0 9 0 28410545 889425920 12076 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31710/tid=31714] ppid=31708 vsize=868580 CPUtime=0.01
/proc/31710/task/31714/stat : 31714 (java) S 31708 31710 28996 0 -1 64 19 358 0 0 0 0 1 0 16 0 9 0 28410545 889425920 12076 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31710/tid=31715] ppid=31708 vsize=868580 CPUtime=0.01
/proc/31710/task/31715/stat : 31715 (java) S 31708 31710 28996 0 -1 64 11 358 0 0 0 0 1 0 16 0 9 0 28410545 889425920 12076 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31710/tid=31716] ppid=31708 vsize=868580 CPUtime=0.01
/proc/31710/task/31716/stat : 31716 (java) S 31708 31710 28996 0 -1 64 2 358 0 0 0 0 1 0 24 0 9 0 28410547 889425920 12076 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31710/tid=31717] ppid=31708 vsize=868580 CPUtime=0.35
/proc/31710/task/31717/stat : 31717 (java) S 31708 31710 28996 0 -1 64 1004 358 0 0 33 1 1 0 16 0 9 0 28410547 889425920 12076 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31710/tid=31718] ppid=31708 vsize=868580 CPUtime=0.01
/proc/31710/task/31718/stat : 31718 (java) S 31708 31710 28996 0 -1 64 0 358 0 0 0 0 1 0 25 0 9 0 28410547 889425920 12076 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31710/tid=31719] ppid=31708 vsize=868580 CPUtime=0.01
/proc/31710/task/31719/stat : 31719 (java) S 31708 31710 28996 0 -1 64 4 358 0 0 0 0 1 0 15 0 9 0 28410547 889425920 12076 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3.84
Current children cumulated vsize (KiB) 868580
[startup+4.30152 s]
/proc/loadavg: 1.81 1.95 1.98 3/90 31723
/proc/meminfo: memFree=1662696/2055920 swapFree=4192812/4192956
[pid=31710] ppid=31708 vsize=868580 CPUtime=4.24
/proc/31710/stat : 31710 (java) S 31708 31710 28996 0 -1 0 19508 358 1 0 407 16 1 0 18 0 9 0 28410543 889425920 12177 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/31710/statm: 217145 12177 2658 9 0 211581 0
[pid=31710/tid=31712] ppid=31708 vsize=868580 CPUtime=3.81
/proc/31710/task/31712/stat : 31712 (java) R 31708 31710 28996 0 -1 64 14234 358 1 0 367 13 1 0 17 0 9 0 28410544 889425920 12177 996147200 134512640 134550932 4294955968 18446744073709551615 4127184448 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31710/tid=31713] ppid=31708 vsize=868580 CPUtime=0.06
/proc/31710/task/31713/stat : 31713 (java) S 31708 31710 28996 0 -1 64 3429 358 0 0 5 0 1 0 16 0 9 0 28410545 889425920 12177 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=31710/tid=31714] ppid=31708 vsize=868580 CPUtime=0.01
/proc/31710/task/31714/stat : 31714 (java) S 31708 31710 28996 0 -1 64 19 358 0 0 0 0 1 0 16 0 9 0 28410545 889425920 12177 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31710/tid=31715] ppid=31708 vsize=868580 CPUtime=0.01
/proc/31710/task/31715/stat : 31715 (java) S 31708 31710 28996 0 -1 64 11 358 0 0 0 0 1 0 16 0 9 0 28410545 889425920 12177 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31710/tid=31716] ppid=31708 vsize=868580 CPUtime=0.01
/proc/31710/task/31716/stat : 31716 (java) S 31708 31710 28996 0 -1 64 2 358 0 0 0 0 1 0 24 0 9 0 28410547 889425920 12177 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31710/tid=31717] ppid=31708 vsize=868580 CPUtime=0.35
/proc/31710/task/31717/stat : 31717 (java) S 31708 31710 28996 0 -1 64 1004 358 0 0 33 1 1 0 16 0 9 0 28410547 889425920 12177 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31710/tid=31718] ppid=31708 vsize=868580 CPUtime=0.01
/proc/31710/task/31718/stat : 31718 (java) S 31708 31710 28996 0 -1 64 0 358 0 0 0 0 1 0 25 0 9 0 28410547 889425920 12177 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31710/tid=31719] ppid=31708 vsize=868580 CPUtime=0.01
/proc/31710/task/31719/stat : 31719 (java) S 31708 31710 28996 0 -1 64 4 358 0 0 0 0 1 0 15 0 9 0 28410547 889425920 12177 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4.24
Current children cumulated vsize (KiB) 868580
[startup+4.40653 s]
/proc/loadavg: 1.81 1.95 1.98 3/90 31723
/proc/meminfo: memFree=1662696/2055920 swapFree=4192812/4192956
[pid=31710] ppid=31708 vsize=868580 CPUtime=4.34
/proc/31710/stat : 31710 (java) S 31708 31710 28996 0 -1 0 19523 358 1 0 417 16 1 0 18 0 9 0 28410543 889425920 12192 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/31710/statm: 217145 12192 2658 9 0 211581 0
[pid=31710/tid=31712] ppid=31708 vsize=868580 CPUtime=3.91
/proc/31710/task/31712/stat : 31712 (java) R 31708 31710 28996 0 -1 64 14249 358 1 0 377 13 1 0 18 0 9 0 28410544 889425920 12192 996147200 134512640 134550932 4294955968 18446744073709551615 4127226893 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31710/tid=31713] ppid=31708 vsize=868580 CPUtime=0.06
/proc/31710/task/31713/stat : 31713 (java) S 31708 31710 28996 0 -1 64 3429 358 0 0 5 0 1 0 16 0 9 0 28410545 889425920 12192 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=31710/tid=31714] ppid=31708 vsize=868580 CPUtime=0.01
/proc/31710/task/31714/stat : 31714 (java) S 31708 31710 28996 0 -1 64 19 358 0 0 0 0 1 0 16 0 9 0 28410545 889425920 12192 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31710/tid=31715] ppid=31708 vsize=868580 CPUtime=0.01
/proc/31710/task/31715/stat : 31715 (java) S 31708 31710 28996 0 -1 64 11 358 0 0 0 0 1 0 16 0 9 0 28410545 889425920 12192 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31710/tid=31716] ppid=31708 vsize=868580 CPUtime=0.01
/proc/31710/task/31716/stat : 31716 (java) S 31708 31710 28996 0 -1 64 2 358 0 0 0 0 1 0 24 0 9 0 28410547 889425920 12192 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31710/tid=31717] ppid=31708 vsize=868580 CPUtime=0.35
/proc/31710/task/31717/stat : 31717 (java) S 31708 31710 28996 0 -1 64 1004 358 0 0 33 1 1 0 16 0 9 0 28410547 889425920 12192 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31710/tid=31718] ppid=31708 vsize=868580 CPUtime=0.01
/proc/31710/task/31718/stat : 31718 (java) S 31708 31710 28996 0 -1 64 0 358 0 0 0 0 1 0 25 0 9 0 28410547 889425920 12192 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31710/tid=31719] ppid=31708 vsize=868580 CPUtime=0.01
/proc/31710/task/31719/stat : 31719 (java) S 31708 31710 28996 0 -1 64 4 358 0 0 0 0 1 0 15 0 9 0 28410547 889425920 12192 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4.34
Current children cumulated vsize (KiB) 868580
Child status: 0
Real time (s): 4.47921
CPU time (s): 4.43133
CPU user time (s): 4.24735
CPU system time (s): 0.183972
CPU usage (%): 98.931
Max. virtual memory (cumulated for all children) (KiB): 868580
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.24735
system time used= 0.183972
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20008
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= 1708
involuntary context switches= 1773
runsolver used 0.011998 second user time and 0.020996 second system time
The end
Begin job on node73 at 2009-07-12 17:44:12
IDJOB=2097528
IDBENCH=57501
IDSOLVER=774
FILE ID=node73/2097528-1247413452
PBS_JOBID= 9510504
Free space on /tmp= 66484 MiB
SOLVER NAME= Abscon 112v4 ESAC
BENCH NAME= CPAI08/csp/rlfapScensMod/normalized-scen2-f25.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution esac.xml 1 XSax BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2097528-1247413452/watcher-2097528-1247413452 -o /tmp/evaluation-result-2097528-1247413452/solver-2097528-1247413452 -C 1800 -W 2000 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution esac.xml 1 XSax HOME/instance-2097528-1247413452.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 29f30a9e4b2c45ffcc25df1b295772ff
RANDOM SEED=1184030525
node73.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.213
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.213
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: 1701784 kB
Buffers: 39160 kB
Cached: 138252 kB
SwapCached: 0 kB
Active: 189048 kB
Inactive: 109388 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1701784 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 2620 kB
Writeback: 0 kB
Mapped: 141540 kB
Slab: 40748 kB
Committed_AS: 991140 kB
PageTables: 1996 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= 66480 MiB
End job on node73 at 2009-07-12 17:44:16