0.01/0.09
0.01/0.09 Abscon 112 (May, 2008)
0.17/0.25
0.17/0.25 configuration
0.17/0.25 name=mac.xml
0.17/0.28
0.17/0.28 instance
0.17/0.28 name=HOME/instance-2096937-1247411229.xml
0.27/0.32
0.27/0.32 domains being loaded...
0.27/0.33
0.27/0.33 variables being loaded...
0.27/0.35 nbVariables=20 nbDomainTypes=1 minDomainSize=20 maxDomainSize=20 nbTotalValues=400
0.27/0.35 => wckTime=0.103 cpuTime=0.09 mem=7M892
0.27/0.35
0.27/0.35 relations being loaded...
0.48/0.58
0.48/0.58 constraints being loaded...
0.68/0.80 nbConstraints=58 nbRelationTypes=58 nbGlobalConstraints=58 nbExtensionStructures=58
0.68/0.80 nbSharedExtensionStructures=0 nbConflictsStructures=58 nbSharedConflictsStructures=0
0.68/0.80 nbSharedBinaryRepresentations=0 minDegree=4 maxDegree=15 minArity=3 maxArity=3 nbGenerators=0 nbFusions=0
0.68/0.80 symmetryWckTime=0.044 symmetryCpuTime=0.02
0.68/0.80 => wckTime=0.546 cpuTime=0.47 mem=47M291
0.86/0.91
0.86/0.92 solver IterativeSystematicSolver being built...
0.86/0.98
0.86/0.98 INFO : Forward propagation technique limited
0.97/1.04 => wckTime=0.792 cpuTime=0.58 mem=29M540
1.07/1.11
1.07/1.11 preprocessing
1.07/1.11 nbConstraintChecks=0 nbValidityChecks=168207 nbPropagations=20 nbRevisions=0 nbUselessRevisions=0
1.07/1.11 nbRemovedValues=0 detectedInconsistency=no
1.07/1.11 => wckTime=0.066 cpuTime=0.06 mem=29M540
1.65/1.76
1.65/1.76 INFO : Stopping use of transposition table (mapSize=101, nbTooLargekeys=0, mem=30M556)
161.75/162.64
161.75/162.64 search
161.75/162.64 run=19 nbConstraintChecks=1165574 nbValidityChecks=2187115396 minDepth=1 maxDepth=20 nbPropagations=4035294
161.75/162.64 nbRevisions=0 nbUselessRevisions=0 nbAssignments=112693 nbFailedAssignments=63687 nbInferredBacktracks=2
161.75/162.64 nbBacktracks=48870 nbVisitedNodes=208464 nbRestartNogoods=183 nbFoundSolutions=1 nbSEliminables=0
161.75/162.64 nbREliminables=3.4 nbIEliminables=11.46 nbDEliminables=0 nbPEliminables=0
161.75/162.64 => wckTime=161.598 cpuTime=160.69 mem=33M406
161.75/162.64
161.75/162.64 global
161.75/162.64 nbConstraintChecks=1165574 nbValidityChecks=2187283603 nbPropagations=4035314 nbRestartNogoods=183
161.75/162.64 solvingWckTime=161.601 solvingCpuTime=160.69 expiredTime=no totalExploration=no nbFoundSolutions=1
161.75/162.64 firstSolutionCpuTime=161.27 globalCpuTime=161.3
161.75/162.64 => wckTime=162.394 cpuTime=161.27 mem=33M406
161.75/162.64
161.75/162.64 s SATISFIABLE
161.75/162.64 v 5 4 16 4 14 11 10 13 10 2 0 4 11 12 14 10 10 17 12 18
161.75/162.64 d NODES 112693
161.75/162.64 d CHECKS 1165574
161.75/162.65
161.75/162.65 totalWckTime=162.461 totalCpuTime=161.3
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2096937-1247411229/watcher-2096937-1247411229 -o /tmp/evaluation-result-2096937-1247411229/solver-2096937-1247411229 -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-2096937-1247411229.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.96 4/81 31580
/proc/meminfo: memFree=1593424/2055920 swapFree=4192812/4192956
[pid=31580] ppid=31578 vsize=18576 CPUtime=0
/proc/31580/stat : 31580 (runsolver) R 31578 31580 30436 0 -1 4194368 16 0 0 0 0 0 0 0 19 0 1 0 28188234 19021824 284 996147200 4194304 4302564 548682068384 18446744073709551615 240153849127 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/31580/statm: 4644 284 249 26 0 2626 0
[startup+0.0323371 s]
/proc/loadavg: 1.99 1.98 1.96 4/81 31580
/proc/meminfo: memFree=1593424/2055920 swapFree=4192812/4192956
[pid=31580] ppid=31578 vsize=861936 CPUtime=0.01
/proc/31580/stat : 31580 (java) S 31578 31580 30436 0 -1 0 1878 0 1 0 1 0 0 0 18 0 5 0 28188234 882622464 1563 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0
/proc/31580/statm: 215484 1563 686 9 0 210399 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 861936
[startup+0.101296 s]
/proc/loadavg: 1.99 1.98 1.96 4/81 31580
/proc/meminfo: memFree=1593424/2055920 swapFree=4192812/4192956
[pid=31580] ppid=31578 vsize=865984 CPUtime=0.08
/proc/31580/stat : 31580 (java) S 31578 31580 30436 0 -1 0 3732 0 1 0 7 1 0 0 18 0 9 0 28188234 886767616 3200 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31580/statm: 216496 3200 1700 9 0 210981 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 865984
[startup+0.301334 s]
/proc/loadavg: 1.99 1.98 1.96 4/81 31580
/proc/meminfo: memFree=1593424/2055920 swapFree=4192812/4192956
[pid=31580] ppid=31578 vsize=866380 CPUtime=0.27
/proc/31580/stat : 31580 (java) S 31578 31580 30436 0 -1 0 5943 0 1 0 24 3 0 0 18 0 9 0 28188234 887173120 5309 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31580/statm: 216595 5309 1983 9 0 211053 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 866380
[startup+0.701417 s]
/proc/loadavg: 1.99 1.98 1.96 4/81 31580
/proc/meminfo: memFree=1593424/2055920 swapFree=4192812/4192956
[pid=31580] ppid=31578 vsize=866616 CPUtime=0.68
/proc/31580/stat : 31580 (java) S 31578 31580 30436 0 -1 0 13954 0 1 0 60 8 0 0 18 0 9 0 28188234 887414784 13307 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31580/statm: 216654 13307 2007 9 0 211112 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 866616
[startup+1.50257 s]
/proc/loadavg: 2.07 2.00 1.96 5/92 31593
/proc/meminfo: memFree=1528440/2055920 swapFree=4192812/4192956
[pid=31580] ppid=31578 vsize=867352 CPUtime=1.45
/proc/31580/stat : 31580 (java) S 31578 31580 30436 0 -1 0 27881 269 1 0 133 12 0 0 18 0 9 0 28188234 888168448 18848 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31580/statm: 216838 18848 2656 9 0 211274 0
[pid=31580/tid=31582] ppid=31578 vsize=867352 CPUtime=1.16
/proc/31580/task/31582/stat : 31582 (java) R 31578 31580 30436 0 -1 64 19173 269 1 0 107 9 0 0 20 0 9 0 28188235 888168448 18848 996147200 134512640 134550932 4294955968 18446744073709551615 4126804101 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31580/tid=31583] ppid=31578 vsize=867352 CPUtime=0.09
/proc/31580/task/31583/stat : 31583 (java) S 31578 31580 30436 0 -1 64 7352 269 0 0 8 1 0 0 16 0 9 0 28188237 888168448 18848 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31580/tid=31584] ppid=31578 vsize=867352 CPUtime=0
/proc/31580/task/31584/stat : 31584 (java) S 31578 31580 30436 0 -1 64 19 269 0 0 0 0 0 0 16 0 9 0 28188237 888168448 18848 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31580/tid=31585] ppid=31578 vsize=867352 CPUtime=0
/proc/31580/task/31585/stat : 31585 (java) S 31578 31580 30436 0 -1 64 9 269 0 0 0 0 0 0 16 0 9 0 28188237 888168448 18848 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31580/tid=31586] ppid=31578 vsize=867352 CPUtime=0
/proc/31580/task/31586/stat : 31586 (java) S 31578 31580 30436 0 -1 64 2 269 0 0 0 0 0 0 18 0 9 0 28188239 888168448 18848 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31580/tid=31587] ppid=31578 vsize=867352 CPUtime=0.17
/proc/31580/task/31587/stat : 31587 (java) S 31578 31580 30436 0 -1 64 518 269 0 0 17 0 0 0 15 0 9 0 28188239 888168448 18848 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31580/tid=31588] ppid=31578 vsize=867352 CPUtime=0
/proc/31580/task/31588/stat : 31588 (java) S 31578 31580 30436 0 -1 64 0 269 0 0 0 0 0 0 19 0 9 0 28188239 888168448 18848 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31580/tid=31589] ppid=31578 vsize=867352 CPUtime=0
/proc/31580/task/31589/stat : 31589 (java) S 31578 31580 30436 0 -1 64 4 269 0 0 0 0 0 0 15 0 9 0 28188239 888168448 18848 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.45
Current children cumulated vsize (KiB) 867352
[startup+3.10187 s]
/proc/loadavg: 2.07 2.00 1.96 3/90 31593
/proc/meminfo: memFree=1528000/2055920 swapFree=4192812/4192956
[pid=31580] ppid=31578 vsize=867484 CPUtime=3.05
/proc/31580/stat : 31580 (java) S 31578 31580 30436 0 -1 0 27917 269 1 0 292 13 0 0 18 0 9 0 28188234 888303616 18868 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31580/statm: 216871 18868 2656 9 0 211307 0
[pid=31580/tid=31582] ppid=31578 vsize=867484 CPUtime=2.72
/proc/31580/task/31582/stat : 31582 (java) R 31578 31580 30436 0 -1 64 19190 269 1 0 263 9 0 0 17 0 9 0 28188235 888303616 18868 996147200 134512640 134550932 4294955968 18446744073709551615 4126778424 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31580/tid=31583] ppid=31578 vsize=867484 CPUtime=0.09
/proc/31580/task/31583/stat : 31583 (java) S 31578 31580 30436 0 -1 64 7352 269 0 0 8 1 0 0 16 0 9 0 28188237 888303616 18868 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31580/tid=31584] ppid=31578 vsize=867484 CPUtime=0
/proc/31580/task/31584/stat : 31584 (java) S 31578 31580 30436 0 -1 64 19 269 0 0 0 0 0 0 16 0 9 0 28188237 888303616 18868 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31580/tid=31585] ppid=31578 vsize=867484 CPUtime=0
/proc/31580/task/31585/stat : 31585 (java) S 31578 31580 30436 0 -1 64 9 269 0 0 0 0 0 0 16 0 9 0 28188237 888303616 18868 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31580/tid=31586] ppid=31578 vsize=867484 CPUtime=0
/proc/31580/task/31586/stat : 31586 (java) S 31578 31580 30436 0 -1 64 2 269 0 0 0 0 0 0 18 0 9 0 28188239 888303616 18868 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31580/tid=31587] ppid=31578 vsize=867484 CPUtime=0.2
/proc/31580/task/31587/stat : 31587 (java) S 31578 31580 30436 0 -1 64 537 269 0 0 19 1 0 0 16 0 9 0 28188239 888303616 18868 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31580/tid=31588] ppid=31578 vsize=867484 CPUtime=0
/proc/31580/task/31588/stat : 31588 (java) S 31578 31580 30436 0 -1 64 0 269 0 0 0 0 0 0 19 0 9 0 28188239 888303616 18868 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31580/tid=31589] ppid=31578 vsize=867484 CPUtime=0
/proc/31580/task/31589/stat : 31589 (java) S 31578 31580 30436 0 -1 64 4 269 0 0 0 0 0 0 15 0 9 0 28188239 888303616 18868 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 867484
[startup+6.30248 s]
/proc/loadavg: 2.07 2.00 1.96 3/90 31593
/proc/meminfo: memFree=1527680/2055920 swapFree=4192812/4192956
[pid=31580] ppid=31578 vsize=867484 CPUtime=6.24
/proc/31580/stat : 31580 (java) S 31578 31580 30436 0 -1 0 27940 269 1 0 611 13 0 0 18 0 9 0 28188234 888303616 18873 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31580/statm: 216871 18873 2656 9 0 211307 0
[pid=31580/tid=31582] ppid=31578 vsize=867484 CPUtime=5.9
/proc/31580/task/31582/stat : 31582 (java) R 31578 31580 30436 0 -1 64 19207 269 1 0 581 9 0 0 25 0 9 0 28188235 888303616 18873 996147200 134512640 134550932 4294955968 18446744073709551615 4126757860 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31580/tid=31583] ppid=31578 vsize=867484 CPUtime=0.09
/proc/31580/task/31583/stat : 31583 (java) S 31578 31580 30436 0 -1 64 7352 269 0 0 8 1 0 0 16 0 9 0 28188237 888303616 18873 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31580/tid=31584] ppid=31578 vsize=867484 CPUtime=0
/proc/31580/task/31584/stat : 31584 (java) S 31578 31580 30436 0 -1 64 19 269 0 0 0 0 0 0 16 0 9 0 28188237 888303616 18873 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31580/tid=31585] ppid=31578 vsize=867484 CPUtime=0
/proc/31580/task/31585/stat : 31585 (java) S 31578 31580 30436 0 -1 64 9 269 0 0 0 0 0 0 16 0 9 0 28188237 888303616 18873 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31580/tid=31586] ppid=31578 vsize=867484 CPUtime=0
/proc/31580/task/31586/stat : 31586 (java) S 31578 31580 30436 0 -1 64 2 269 0 0 0 0 0 0 18 0 9 0 28188239 888303616 18873 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31580/tid=31587] ppid=31578 vsize=867484 CPUtime=0.21
/proc/31580/task/31587/stat : 31587 (java) S 31578 31580 30436 0 -1 64 543 269 0 0 20 1 0 0 16 0 9 0 28188239 888303616 18873 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31580/tid=31588] ppid=31578 vsize=867484 CPUtime=0
/proc/31580/task/31588/stat : 31588 (java) S 31578 31580 30436 0 -1 64 0 269 0 0 0 0 0 0 19 0 9 0 28188239 888303616 18873 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31580/tid=31589] ppid=31578 vsize=867484 CPUtime=0
/proc/31580/task/31589/stat : 31589 (java) S 31578 31580 30436 0 -1 64 4 269 0 0 0 0 0 0 15 0 9 0 28188239 888303616 18873 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 867484
[startup+12.7017 s]
/proc/loadavg: 2.06 2.00 1.96 3/90 31593
/proc/meminfo: memFree=1527488/2055920 swapFree=4192812/4192956
[pid=31580] ppid=31578 vsize=867484 CPUtime=12.6
/proc/31580/stat : 31580 (java) S 31578 31580 30436 0 -1 0 27966 269 1 0 1247 13 0 0 18 0 9 0 28188234 888303616 18876 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31580/statm: 216871 18876 2656 9 0 211307 0
[pid=31580/tid=31582] ppid=31578 vsize=867484 CPUtime=12.26
/proc/31580/task/31582/stat : 31582 (java) R 31578 31580 30436 0 -1 64 19229 269 1 0 1217 9 0 0 25 0 9 0 28188235 888303616 18876 996147200 134512640 134550932 4294955968 18446744073709551615 4126778710 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31580/tid=31583] ppid=31578 vsize=867484 CPUtime=0.09
/proc/31580/task/31583/stat : 31583 (java) S 31578 31580 30436 0 -1 64 7352 269 0 0 8 1 0 0 16 0 9 0 28188237 888303616 18876 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31580/tid=31584] ppid=31578 vsize=867484 CPUtime=0
/proc/31580/task/31584/stat : 31584 (java) S 31578 31580 30436 0 -1 64 19 269 0 0 0 0 0 0 16 0 9 0 28188237 888303616 18876 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31580/tid=31585] ppid=31578 vsize=867484 CPUtime=0
/proc/31580/task/31585/stat : 31585 (java) S 31578 31580 30436 0 -1 64 9 269 0 0 0 0 0 0 16 0 9 0 28188237 888303616 18876 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31580/tid=31586] ppid=31578 vsize=867484 CPUtime=0
/proc/31580/task/31586/stat : 31586 (java) S 31578 31580 30436 0 -1 64 2 269 0 0 0 0 0 0 18 0 9 0 28188239 888303616 18876 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31580/tid=31587] ppid=31578 vsize=867484 CPUtime=0.22
/proc/31580/task/31587/stat : 31587 (java) S 31578 31580 30436 0 -1 64 547 269 0 0 21 1 0 0 16 0 9 0 28188239 888303616 18876 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31580/tid=31588] ppid=31578 vsize=867484 CPUtime=0
/proc/31580/task/31588/stat : 31588 (java) S 31578 31580 30436 0 -1 64 0 269 0 0 0 0 0 0 19 0 9 0 28188239 888303616 18876 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31580/tid=31589] ppid=31578 vsize=867484 CPUtime=0
/proc/31580/task/31589/stat : 31589 (java) S 31578 31580 30436 0 -1 64 4 269 0 0 0 0 0 0 15 0 9 0 28188239 888303616 18876 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.6
Current children cumulated vsize (KiB) 867484
[startup+25.5022 s]
/proc/loadavg: 2.05 2.00 1.96 3/90 31593
/proc/meminfo: memFree=1527616/2055920 swapFree=4192812/4192956
[pid=31580] ppid=31578 vsize=867484 CPUtime=25.33
/proc/31580/stat : 31580 (java) S 31578 31580 30436 0 -1 0 28012 269 1 0 2520 13 0 0 18 0 9 0 28188234 888303616 18878 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31580/statm: 216871 18878 2656 9 0 211307 0
[pid=31580/tid=31582] ppid=31578 vsize=867484 CPUtime=24.98
/proc/31580/task/31582/stat : 31582 (java) R 31578 31580 30436 0 -1 64 19273 269 1 0 2489 9 0 0 25 0 9 0 28188235 888303616 18878 996147200 134512640 134550932 4294955968 18446744073709551615 4126778411 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31580/tid=31583] ppid=31578 vsize=867484 CPUtime=0.09
/proc/31580/task/31583/stat : 31583 (java) S 31578 31580 30436 0 -1 64 7352 269 0 0 8 1 0 0 16 0 9 0 28188237 888303616 18878 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31580/tid=31584] ppid=31578 vsize=867484 CPUtime=0
/proc/31580/task/31584/stat : 31584 (java) S 31578 31580 30436 0 -1 64 19 269 0 0 0 0 0 0 16 0 9 0 28188237 888303616 18878 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31580/tid=31585] ppid=31578 vsize=867484 CPUtime=0
/proc/31580/task/31585/stat : 31585 (java) S 31578 31580 30436 0 -1 64 9 269 0 0 0 0 0 0 16 0 9 0 28188237 888303616 18878 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31580/tid=31586] ppid=31578 vsize=867484 CPUtime=0
/proc/31580/task/31586/stat : 31586 (java) S 31578 31580 30436 0 -1 64 2 269 0 0 0 0 0 0 18 0 9 0 28188239 888303616 18878 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31580/tid=31587] ppid=31578 vsize=867484 CPUtime=0.22
/proc/31580/task/31587/stat : 31587 (java) S 31578 31580 30436 0 -1 64 549 269 0 0 21 1 0 0 16 0 9 0 28188239 888303616 18878 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31580/tid=31588] ppid=31578 vsize=867484 CPUtime=0
/proc/31580/task/31588/stat : 31588 (java) S 31578 31580 30436 0 -1 64 0 269 0 0 0 0 0 0 19 0 9 0 28188239 888303616 18878 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31580/tid=31589] ppid=31578 vsize=867484 CPUtime=0
/proc/31580/task/31589/stat : 31589 (java) S 31578 31580 30436 0 -1 64 4 269 0 0 0 0 0 0 15 0 9 0 28188239 888303616 18878 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.33
Current children cumulated vsize (KiB) 867484
[startup+51.1021 s]
/proc/loadavg: 2.03 2.00 1.96 3/90 31593
/proc/meminfo: memFree=1527616/2055920 swapFree=4192812/4192956
[pid=31580] ppid=31578 vsize=867484 CPUtime=50.8
/proc/31580/stat : 31580 (java) S 31578 31580 30436 0 -1 0 28083 269 1 0 5067 13 0 0 18 0 9 0 28188234 888303616 18878 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31580/statm: 216871 18878 2656 9 0 211307 0
[pid=31580/tid=31582] ppid=31578 vsize=867484 CPUtime=50.45
/proc/31580/task/31582/stat : 31582 (java) R 31578 31580 30436 0 -1 64 19344 269 1 0 5036 9 0 0 25 0 9 0 28188235 888303616 18878 996147200 134512640 134550932 4294955968 18446744073709551615 4126778406 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31580/tid=31583] ppid=31578 vsize=867484 CPUtime=0.09
/proc/31580/task/31583/stat : 31583 (java) S 31578 31580 30436 0 -1 64 7352 269 0 0 8 1 0 0 16 0 9 0 28188237 888303616 18878 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31580/tid=31584] ppid=31578 vsize=867484 CPUtime=0
/proc/31580/task/31584/stat : 31584 (java) S 31578 31580 30436 0 -1 64 19 269 0 0 0 0 0 0 16 0 9 0 28188237 888303616 18878 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31580/tid=31585] ppid=31578 vsize=867484 CPUtime=0
/proc/31580/task/31585/stat : 31585 (java) S 31578 31580 30436 0 -1 64 9 269 0 0 0 0 0 0 16 0 9 0 28188237 888303616 18878 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31580/tid=31586] ppid=31578 vsize=867484 CPUtime=0
/proc/31580/task/31586/stat : 31586 (java) S 31578 31580 30436 0 -1 64 2 269 0 0 0 0 0 0 18 0 9 0 28188239 888303616 18878 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31580/tid=31587] ppid=31578 vsize=867484 CPUtime=0.22
/proc/31580/task/31587/stat : 31587 (java) S 31578 31580 30436 0 -1 64 549 269 0 0 21 1 0 0 16 0 9 0 28188239 888303616 18878 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31580/tid=31588] ppid=31578 vsize=867484 CPUtime=0
/proc/31580/task/31588/stat : 31588 (java) S 31578 31580 30436 0 -1 64 0 269 0 0 0 0 0 0 19 0 9 0 28188239 888303616 18878 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31580/tid=31589] ppid=31578 vsize=867484 CPUtime=0
/proc/31580/task/31589/stat : 31589 (java) S 31578 31580 30436 0 -1 64 4 269 0 0 0 0 0 0 15 0 9 0 28188239 888303616 18878 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.8
Current children cumulated vsize (KiB) 867484
[startup+102.307 s]
/proc/loadavg: 2.01 2.00 1.96 3/90 31593
/proc/meminfo: memFree=1527424/2055920 swapFree=4192812/4192956
[pid=31580] ppid=31578 vsize=867484 CPUtime=101.75
/proc/31580/stat : 31580 (java) S 31578 31580 30436 0 -1 0 28213 269 1 0 10162 13 0 0 18 0 9 0 28188234 888303616 18878 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31580/statm: 216871 18878 2656 9 0 211307 0
[pid=31580/tid=31582] ppid=31578 vsize=867484 CPUtime=101.4
/proc/31580/task/31582/stat : 31582 (java) R 31578 31580 30436 0 -1 64 19474 269 1 0 10131 9 0 0 25 0 9 0 28188235 888303616 18878 996147200 134512640 134550932 4294955968 18446744073709551615 4126778514 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31580/tid=31583] ppid=31578 vsize=867484 CPUtime=0.09
/proc/31580/task/31583/stat : 31583 (java) S 31578 31580 30436 0 -1 64 7352 269 0 0 8 1 0 0 16 0 9 0 28188237 888303616 18878 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31580/tid=31584] ppid=31578 vsize=867484 CPUtime=0
/proc/31580/task/31584/stat : 31584 (java) S 31578 31580 30436 0 -1 64 19 269 0 0 0 0 0 0 16 0 9 0 28188237 888303616 18878 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31580/tid=31585] ppid=31578 vsize=867484 CPUtime=0
/proc/31580/task/31585/stat : 31585 (java) S 31578 31580 30436 0 -1 64 9 269 0 0 0 0 0 0 16 0 9 0 28188237 888303616 18878 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31580/tid=31586] ppid=31578 vsize=867484 CPUtime=0
/proc/31580/task/31586/stat : 31586 (java) S 31578 31580 30436 0 -1 64 2 269 0 0 0 0 0 0 18 0 9 0 28188239 888303616 18878 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31580/tid=31587] ppid=31578 vsize=867484 CPUtime=0.22
/proc/31580/task/31587/stat : 31587 (java) S 31578 31580 30436 0 -1 64 549 269 0 0 21 1 0 0 16 0 9 0 28188239 888303616 18878 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31580/tid=31588] ppid=31578 vsize=867484 CPUtime=0
/proc/31580/task/31588/stat : 31588 (java) S 31578 31580 30436 0 -1 64 0 269 0 0 0 0 0 0 19 0 9 0 28188239 888303616 18878 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31580/tid=31589] ppid=31578 vsize=867484 CPUtime=0
/proc/31580/task/31589/stat : 31589 (java) S 31578 31580 30436 0 -1 64 4 269 0 0 0 0 0 0 15 0 9 0 28188239 888303616 18878 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.75
Current children cumulated vsize (KiB) 867484
[startup+162.302 s]
/proc/loadavg: 2.00 2.00 1.96 3/90 31593
/proc/meminfo: memFree=1527488/2055920 swapFree=4192812/4192956
[pid=31580] ppid=31578 vsize=867484 CPUtime=161.45
/proc/31580/stat : 31580 (java) S 31578 31580 30436 0 -1 0 28416 269 1 0 16131 14 0 0 18 0 9 0 28188234 888303616 18881 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31580/statm: 216871 18881 2656 9 0 211307 0
[pid=31580/tid=31582] ppid=31578 vsize=867484 CPUtime=161.1
/proc/31580/task/31582/stat : 31582 (java) R 31578 31580 30436 0 -1 64 19677 269 1 0 16100 10 0 0 25 0 9 0 28188235 888303616 18881 996147200 134512640 134550932 4294955968 18446744073709551615 4126778321 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31580/tid=31583] ppid=31578 vsize=867484 CPUtime=0.09
/proc/31580/task/31583/stat : 31583 (java) S 31578 31580 30436 0 -1 64 7352 269 0 0 8 1 0 0 16 0 9 0 28188237 888303616 18881 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31580/tid=31584] ppid=31578 vsize=867484 CPUtime=0
/proc/31580/task/31584/stat : 31584 (java) S 31578 31580 30436 0 -1 64 19 269 0 0 0 0 0 0 16 0 9 0 28188237 888303616 18881 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31580/tid=31585] ppid=31578 vsize=867484 CPUtime=0
/proc/31580/task/31585/stat : 31585 (java) S 31578 31580 30436 0 -1 64 9 269 0 0 0 0 0 0 16 0 9 0 28188237 888303616 18881 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31580/tid=31586] ppid=31578 vsize=867484 CPUtime=0
/proc/31580/task/31586/stat : 31586 (java) S 31578 31580 30436 0 -1 64 2 269 0 0 0 0 0 0 18 0 9 0 28188239 888303616 18881 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31580/tid=31587] ppid=31578 vsize=867484 CPUtime=0.22
/proc/31580/task/31587/stat : 31587 (java) S 31578 31580 30436 0 -1 64 549 269 0 0 21 1 0 0 16 0 9 0 28188239 888303616 18881 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31580/tid=31588] ppid=31578 vsize=867484 CPUtime=0
/proc/31580/task/31588/stat : 31588 (java) S 31578 31580 30436 0 -1 64 0 269 0 0 0 0 0 0 19 0 9 0 28188239 888303616 18881 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31580/tid=31589] ppid=31578 vsize=867484 CPUtime=0
/proc/31580/task/31589/stat : 31589 (java) S 31578 31580 30436 0 -1 64 4 269 0 0 0 0 0 0 15 0 9 0 28188239 888303616 18881 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 161.45
Current children cumulated vsize (KiB) 867484
Solver just ended. Dumping a history of the last processes samples
[startup+162.502 s]
/proc/loadavg: 2.00 2.00 1.96 3/90 31593
/proc/meminfo: memFree=1527488/2055920 swapFree=4192812/4192956
[pid=31580] ppid=31578 vsize=867484 CPUtime=161.65
/proc/31580/stat : 31580 (java) S 31578 31580 30436 0 -1 0 28417 269 1 0 16151 14 0 0 18 0 9 0 28188234 888303616 18881 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31580/statm: 216871 18881 2656 9 0 211307 0
[pid=31580/tid=31582] ppid=31578 vsize=867484 CPUtime=161.3
/proc/31580/task/31582/stat : 31582 (java) R 31578 31580 30436 0 -1 64 19678 269 1 0 16120 10 0 0 25 0 9 0 28188235 888303616 18881 996147200 134512640 134550932 4294955968 18446744073709551615 4126778514 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31580/tid=31583] ppid=31578 vsize=867484 CPUtime=0.09
/proc/31580/task/31583/stat : 31583 (java) S 31578 31580 30436 0 -1 64 7352 269 0 0 8 1 0 0 16 0 9 0 28188237 888303616 18881 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31580/tid=31584] ppid=31578 vsize=867484 CPUtime=0
/proc/31580/task/31584/stat : 31584 (java) S 31578 31580 30436 0 -1 64 19 269 0 0 0 0 0 0 16 0 9 0 28188237 888303616 18881 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31580/tid=31585] ppid=31578 vsize=867484 CPUtime=0
/proc/31580/task/31585/stat : 31585 (java) S 31578 31580 30436 0 -1 64 9 269 0 0 0 0 0 0 16 0 9 0 28188237 888303616 18881 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31580/tid=31586] ppid=31578 vsize=867484 CPUtime=0
/proc/31580/task/31586/stat : 31586 (java) S 31578 31580 30436 0 -1 64 2 269 0 0 0 0 0 0 18 0 9 0 28188239 888303616 18881 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31580/tid=31587] ppid=31578 vsize=867484 CPUtime=0.22
/proc/31580/task/31587/stat : 31587 (java) S 31578 31580 30436 0 -1 64 549 269 0 0 21 1 0 0 16 0 9 0 28188239 888303616 18881 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31580/tid=31588] ppid=31578 vsize=867484 CPUtime=0
/proc/31580/task/31588/stat : 31588 (java) S 31578 31580 30436 0 -1 64 0 269 0 0 0 0 0 0 19 0 9 0 28188239 888303616 18881 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31580/tid=31589] ppid=31578 vsize=867484 CPUtime=0
/proc/31580/task/31589/stat : 31589 (java) S 31578 31580 30436 0 -1 64 4 269 0 0 0 0 0 0 15 0 9 0 28188239 888303616 18881 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 161.65
Current children cumulated vsize (KiB) 867484
[startup+162.602 s]
/proc/loadavg: 2.00 2.00 1.96 3/90 31593
/proc/meminfo: memFree=1527488/2055920 swapFree=4192812/4192956
[pid=31580] ppid=31578 vsize=867484 CPUtime=161.75
/proc/31580/stat : 31580 (java) S 31578 31580 30436 0 -1 0 28418 269 1 0 16161 14 0 0 18 0 9 0 28188234 888303616 18881 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31580/statm: 216871 18881 2656 9 0 211307 0
[pid=31580/tid=31582] ppid=31578 vsize=867484 CPUtime=161.4
/proc/31580/task/31582/stat : 31582 (java) R 31578 31580 30436 0 -1 64 19679 269 1 0 16130 10 0 0 25 0 9 0 28188235 888303616 18881 996147200 134512640 134550932 4294955968 18446744073709551615 4126778697 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31580/tid=31583] ppid=31578 vsize=867484 CPUtime=0.09
/proc/31580/task/31583/stat : 31583 (java) S 31578 31580 30436 0 -1 64 7352 269 0 0 8 1 0 0 16 0 9 0 28188237 888303616 18881 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31580/tid=31584] ppid=31578 vsize=867484 CPUtime=0
/proc/31580/task/31584/stat : 31584 (java) S 31578 31580 30436 0 -1 64 19 269 0 0 0 0 0 0 16 0 9 0 28188237 888303616 18881 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31580/tid=31585] ppid=31578 vsize=867484 CPUtime=0
/proc/31580/task/31585/stat : 31585 (java) S 31578 31580 30436 0 -1 64 9 269 0 0 0 0 0 0 16 0 9 0 28188237 888303616 18881 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31580/tid=31586] ppid=31578 vsize=867484 CPUtime=0
/proc/31580/task/31586/stat : 31586 (java) S 31578 31580 30436 0 -1 64 2 269 0 0 0 0 0 0 18 0 9 0 28188239 888303616 18881 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31580/tid=31587] ppid=31578 vsize=867484 CPUtime=0.22
/proc/31580/task/31587/stat : 31587 (java) S 31578 31580 30436 0 -1 64 549 269 0 0 21 1 0 0 16 0 9 0 28188239 888303616 18881 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31580/tid=31588] ppid=31578 vsize=867484 CPUtime=0
/proc/31580/task/31588/stat : 31588 (java) S 31578 31580 30436 0 -1 64 0 269 0 0 0 0 0 0 19 0 9 0 28188239 888303616 18881 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31580/tid=31589] ppid=31578 vsize=867484 CPUtime=0
/proc/31580/task/31589/stat : 31589 (java) S 31578 31580 30436 0 -1 64 4 269 0 0 0 0 0 0 15 0 9 0 28188239 888303616 18881 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 161.75
Current children cumulated vsize (KiB) 867484
Child status: 0
Real time (s): 162.701
CPU time (s): 161.822
CPU user time (s): 161.658
CPU system time (s): 0.163975
CPU usage (%): 99.4601
Max. virtual memory (cumulated for all children) (KiB): 867484
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 161.658
system time used= 0.163975
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 28790
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= 4403
involuntary context switches= 3446
runsolver used 0.199969 second user time and 0.553915 second system time
The end
Begin job on node86 at 2009-07-12 17:07:09
IDJOB=2096937
IDBENCH=56779
IDSOLVER=773
FILE ID=node86/2096937-1247411229
PBS_JOBID= 9510479
Free space on /tmp= 66312 MiB
SOLVER NAME= Abscon 112v4 AC
BENCH NAME= CPAI08/csp/rand-3-20-20-fcd/normalized-rand-3-20-20-60-632-fcd-19_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-2096937-1247411229/watcher-2096937-1247411229 -o /tmp/evaluation-result-2096937-1247411229/solver-2096937-1247411229 -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-2096937-1247411229.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 32cbde82f4466942d0b977ad95fd0a6f
RANDOM SEED=1917110347
node86.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.265
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.265
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 : 5996.54
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1593904 kB
Buffers: 73200 kB
Cached: 226612 kB
SwapCached: 0 kB
Active: 263836 kB
Inactive: 134568 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1593904 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 3284 kB
Writeback: 0 kB
Mapped: 118960 kB
Slab: 48616 kB
Committed_AS: 1006504 kB
PageTables: 2052 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= 66312 MiB
End job on node86 at 2009-07-12 17:09:52