0.03/0.07
0.03/0.07 Abscon 112 (May, 2008)
0.11/0.20
0.23/0.20 configuration
0.23/0.20 name=esac.xml
0.23/0.23
0.23/0.23 instance
0.23/0.23 name=HOME/instance-2093280-1247401155.xml
0.23/0.26
0.23/0.26 domains being loaded...
0.23/0.27
0.23/0.27 variables being loaded...
0.34/0.33 nbVariables=400 nbDomainTypes=21 minDomainSize=1 maxDomainSize=20 nbTotalValues=3554
0.34/0.33 => wckTime=0.127 cpuTime=0.13 mem=8M867
0.34/0.33
0.34/0.33 relations being loaded...
0.34/0.33
0.34/0.33 constraints being loaded...
1.01/0.84 nbConstraints=5113 nbRelationTypes=21 nbGlobalConstraints=21 nbSingletonDomainVariables=234
1.01/0.84 nbExtensionStructures=41 nbSharedExtensionStructures=5051 nbConflictsStructures=41
1.01/0.84 nbSharedConflictsStructures=5051 nbSharedBinaryRepresentations=858 minDegree=16 maxDegree=39 minArity=2
1.01/0.84 avgArity=2.03 maxArity=10 nbGenerators=0 nbFusions=0 symmetryWckTime=0.235 symmetryCpuTime=0.15 nbCliques=21
1.01/0.84 => wckTime=0.645 cpuTime=0.56 mem=40M133
1.12/0.95
1.12/0.95 solver IterativeSystematicSolver being built...
1.24/1.01
1.24/1.01 INFO : Forward propagation technique limited
1.24/1.07 => wckTime=0.875 cpuTime=0.69 mem=26M198
1.78/1.57
1.78/1.57 preprocessing
1.78/1.57 nbConstraintChecks=165421 nbPropagations=4959 nbRevisions=48893 nbUselessRevisions=42704 nbSingletonTests=1574
1.78/1.57 nbEffectiveSingletonTests=5 nbACRemovals=2647 nbFoundSingletons=0 nbRemovedValues=2654 detectedInconsistency=no
1.78/1.57 => wckTime=0.496 cpuTime=0.49 mem=26M198
1.97/1.77
1.97/1.77 INFO : Stopping use of transposition table (mapSize=101, nbTooLargekeys=0, mem=28M97)
56.23/56.07
56.23/56.07 search
56.23/56.07 run=18 nbConstraintChecks=46235443 minDepth=6 maxDepth=400 nbPropagations=5663673 nbRevisions=101317415
56.23/56.07 nbUselessRevisions=91975540 nbAssignments=200566 nbFailedAssignments=36555 nbBacktracks=162879
56.23/56.07 nbVisitedNodes=272098 nbRestartNogoods=129 nbFoundSolutions=1 nbSEliminables=0 nbREliminables=234
56.23/56.07 nbIEliminables=141.44 nbDEliminables=0 nbPEliminables=0
56.23/56.07 => wckTime=54.992 cpuTime=54.85 mem=37M528
56.23/56.07
56.23/56.07 global
56.23/56.07 nbConstraintChecks=46400864 nbPropagations=5668632 nbRevisions=101366308 nbUselessRevisions=92018244
56.23/56.07 nbRestartNogoods=129 solvingWckTime=54.995 solvingCpuTime=54.85 expiredTime=no totalExploration=no
56.23/56.07 nbFoundSolutions=1 firstSolutionCpuTime=55.53 globalCpuTime=55.58
56.23/56.07 => wckTime=55.872 cpuTime=55.54 mem=37M528
56.23/56.07
56.23/56.07 s SATISFIABLE
56.23/56.07 v 16 18 13 17 1 0 3 14 2 12 15 7 6 8 4 9 5 11 10 19 2 7 6 0 10 17 4 8 12 1 16 19 18 11 15 14 9 13 5 3 7 16 9 2 6 10 5 12 13 0 19 11 15 1 8 18 17 3 4 14 3 12 8 4 2 1 6 17 5 15 11 13 10 16 7 0 19 14 9 18 14 15 0 18 19 8 11 6 7 3 1 5 13 9 12 16 2 10 17 4 9 5 10 1 3 7 15 11 16 14 13 17 8 18 2 19 4 6 12 0 1 3 14 12 0 4 7 2 15 17 10 8 11 5 13 6 18 9 19 16 18 14 4 7 5 9 12 10 17 2 6 3 19 13 16 11 1 0 8 15 5 11 19 15 8 2 16 13 14 9 7 10 4 0 1 17 3 12 18 6 0 1 17 14 16 19 8 7 4 5 2 18 12 10 6 3 13 15 11 9 13 19 3 8 4 18 1 9 0 6 5 14 2 15 11 10 12 16 7 17 8 10 1 6 14 15 9 16 18 19 4 12 0 3 5 2 7 17 13 11 10 4 7 16 9 11 13 0 6 18 12 1 3 19 17 5 14 2 15 8 17 6 15 11 13 3 10 18 1 7 8 9 5 14 19 12 0 4 16 2 6 9 16 10 11 12 19 1 8 13 17 2 14 7 3 4 15 18 0 5 19 13 2 9 15 16 18 3 11 10 0 4 7 17 14 8 6 5 1 12 11 2 5 19 12 14 17 15 10 4 18 0 16 6 9 7 8 1 3 13 15 17 12 3 7 5 0 4 19 11 14 16 9 2 18 13 10 8 6 1 12 0 11 13 18 6 14 5 9 8 3 15 17 4 10 1 16 19 2 7 4 8 18 5 17 13 2 19 3 16 9 6 1 12 0 15 11 7 14 10
56.23/56.07 d NODES 200566
56.23/56.07 d CHECKS 46400864
56.23/56.07
56.23/56.07 totalWckTime=55.915 totalCpuTime=55.59
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2093280-1247401155/watcher-2093280-1247401155 -o /tmp/evaluation-result-2093280-1247401155/solver-2093280-1247401155 -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-2093280-1247401155.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: 0.05 0.01 0.01 3/67 348
/proc/meminfo: memFree=1818784/2055920 swapFree=4192812/4192956
[pid=348] ppid=346 vsize=152 CPUtime=0
/proc/348/stat : 348 (java) R 346 348 32687 0 -1 0 205 0 0 0 0 0 0 0 18 0 1 0 27178234 155648 26 996147200 134512640 134550932 4294955968 18446744073709551615 6890276 0 0 4096 0 0 0 0 17 0 0 0
/proc/348/statm: 38 26 19 9 0 4 0
[startup+0.0428319 s]
/proc/loadavg: 0.05 0.01 0.01 3/67 348
/proc/meminfo: memFree=1818784/2055920 swapFree=4192812/4192956
[pid=348] ppid=346 vsize=862260 CPUtime=0.03
/proc/348/stat : 348 (java) S 346 348 32687 0 -1 0 2396 0 1 0 2 1 0 0 18 0 5 0 27178234 882954240 1974 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800971 18446744073709551615 0 0 17 0 0 0
/proc/348/statm: 215565 1976 905 9 0 210480 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 862260
[startup+0.102841 s]
/proc/loadavg: 0.05 0.01 0.01 3/67 348
/proc/meminfo: memFree=1818784/2055920 swapFree=4192812/4192956
[pid=348] ppid=346 vsize=866884 CPUtime=0.11
/proc/348/stat : 348 (java) S 346 348 32687 0 -1 0 4065 0 1 0 9 2 0 0 18 0 9 0 27178234 887689216 3494 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/348/statm: 216721 3494 1806 9 0 211206 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 866884
[startup+0.302863 s]
/proc/loadavg: 0.05 0.01 0.01 3/67 348
/proc/meminfo: memFree=1818784/2055920 swapFree=4192812/4192956
[pid=348] ppid=346 vsize=867272 CPUtime=0.34
/proc/348/stat : 348 (java) S 346 348 32687 0 -1 0 6665 0 1 0 30 4 0 0 18 0 9 0 27178234 888086528 6027 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/348/statm: 216818 6028 1995 9 0 211276 0
Current children cumulated CPU time (s) 0.34
Current children cumulated vsize (KiB) 867272
[startup+0.702903 s]
/proc/loadavg: 0.05 0.01 0.01 3/67 348
/proc/meminfo: memFree=1818784/2055920 swapFree=4192812/4192956
[pid=348] ppid=346 vsize=868296 CPUtime=0.89
/proc/348/stat : 348 (java) S 346 348 32687 0 -1 0 13987 0 1 0 81 8 0 0 18 0 9 0 27178234 889135104 13339 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/348/statm: 217074 13339 2018 9 0 211532 0
Current children cumulated CPU time (s) 0.89
Current children cumulated vsize (KiB) 868296
[startup+1.50205 s]
/proc/loadavg: 0.05 0.01 0.01 3/76 361
/proc/meminfo: memFree=1764696/2055920 swapFree=4192812/4192956
[pid=348] ppid=346 vsize=868708 CPUtime=1.78
/proc/348/stat : 348 (java) S 346 348 32687 0 -1 0 25377 543 1 0 158 13 6 1 18 0 9 0 27178234 889556992 16129 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/348/statm: 217177 16129 2657 9 0 211613 0
[pid=348/tid=350] ppid=346 vsize=868708 CPUtime=1.37
/proc/348/task/350/stat : 350 (java) R 346 348 32687 0 -1 64 19194 543 1 0 120 10 6 1 21 0 9 0 27178235 889556992 16129 996147200 134512640 134550932 4294955968 18446744073709551615 4127129169 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=348/tid=351] ppid=346 vsize=868708 CPUtime=0.17
/proc/348/task/351/stat : 351 (java) S 346 348 32687 0 -1 64 4434 543 0 0 9 1 6 1 17 0 9 0 27178236 889556992 16129 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=348/tid=352] ppid=346 vsize=868708 CPUtime=0.07
/proc/348/task/352/stat : 352 (java) S 346 348 32687 0 -1 64 19 543 0 0 0 0 6 1 16 0 9 0 27178237 889556992 16129 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=348/tid=353] ppid=346 vsize=868708 CPUtime=0.07
/proc/348/task/353/stat : 353 (java) S 346 348 32687 0 -1 64 9 543 0 0 0 0 6 1 16 0 9 0 27178237 889556992 16129 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=348/tid=354] ppid=346 vsize=868708 CPUtime=0.07
/proc/348/task/354/stat : 354 (java) S 346 348 32687 0 -1 64 2 543 0 0 0 0 6 1 23 0 9 0 27178238 889556992 16129 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=348/tid=355] ppid=346 vsize=868708 CPUtime=0.35
/proc/348/task/355/stat : 355 (java) S 346 348 32687 0 -1 64 904 543 0 0 28 0 6 1 16 0 9 0 27178238 889556992 16129 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=348/tid=356] ppid=346 vsize=868708 CPUtime=0.07
/proc/348/task/356/stat : 356 (java) S 346 348 32687 0 -1 64 0 543 0 0 0 0 6 1 24 0 9 0 27178239 889556992 16129 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=348/tid=357] ppid=346 vsize=868708 CPUtime=0.07
/proc/348/task/357/stat : 357 (java) S 346 348 32687 0 -1 64 11 543 0 0 0 0 6 1 15 0 9 0 27178239 889556992 16129 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.78
Current children cumulated vsize (KiB) 868708
[startup+3.10114 s]
/proc/loadavg: 0.05 0.01 0.01 5/91 383
/proc/meminfo: memFree=1739040/2055920 swapFree=4192812/4192956
[pid=348] ppid=346 vsize=868708 CPUtime=3.35
/proc/348/stat : 348 (java) S 346 348 32687 0 -1 0 25432 543 1 0 315 13 6 1 18 0 9 0 27178234 889556992 16173 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/348/statm: 217177 16173 2657 9 0 211613 0
[pid=348/tid=350] ppid=346 vsize=868708 CPUtime=2.87
/proc/348/task/350/stat : 350 (java) R 346 348 32687 0 -1 64 19205 543 1 0 270 10 6 1 18 0 9 0 27178235 889556992 16173 996147200 134512640 134550932 4294955968 18446744073709551615 4127151400 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=348/tid=351] ppid=346 vsize=868708 CPUtime=0.17
/proc/348/task/351/stat : 351 (java) S 346 348 32687 0 -1 64 4434 543 0 0 9 1 6 1 16 0 9 0 27178236 889556992 16173 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=348/tid=352] ppid=346 vsize=868708 CPUtime=0.07
/proc/348/task/352/stat : 352 (java) S 346 348 32687 0 -1 64 19 543 0 0 0 0 6 1 16 0 9 0 27178237 889556992 16173 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=348/tid=353] ppid=346 vsize=868708 CPUtime=0.07
/proc/348/task/353/stat : 353 (java) S 346 348 32687 0 -1 64 9 543 0 0 0 0 6 1 16 0 9 0 27178237 889556992 16173 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=348/tid=354] ppid=346 vsize=868708 CPUtime=0.07
/proc/348/task/354/stat : 354 (java) S 346 348 32687 0 -1 64 2 543 0 0 0 0 6 1 23 0 9 0 27178238 889556992 16173 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=348/tid=355] ppid=346 vsize=868708 CPUtime=0.41
/proc/348/task/355/stat : 355 (java) S 346 348 32687 0 -1 64 948 543 0 0 34 0 6 1 15 0 9 0 27178238 889556992 16173 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=348/tid=356] ppid=346 vsize=868708 CPUtime=0.07
/proc/348/task/356/stat : 356 (java) S 346 348 32687 0 -1 64 0 543 0 0 0 0 6 1 24 0 9 0 27178239 889556992 16173 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=348/tid=357] ppid=346 vsize=868708 CPUtime=0.07
/proc/348/task/357/stat : 357 (java) S 346 348 32687 0 -1 64 11 543 0 0 0 0 6 1 15 0 9 0 27178239 889556992 16173 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.35
Current children cumulated vsize (KiB) 868708
[startup+6.30247 s]
/proc/loadavg: 0.12 0.03 0.01 3/89 418
/proc/meminfo: memFree=1739112/2055920 swapFree=4192812/4192956
[pid=348] ppid=346 vsize=868708 CPUtime=6.55
/proc/348/stat : 348 (java) S 346 348 32687 0 -1 0 26957 543 1 0 634 14 6 1 18 0 9 0 27178234 889556992 16177 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/348/statm: 217177 16177 2657 9 0 211613 0
[pid=348/tid=350] ppid=346 vsize=868708 CPUtime=6.07
/proc/348/task/350/stat : 350 (java) R 346 348 32687 0 -1 64 20703 543 1 0 589 11 6 1 17 0 9 0 27178235 889556992 16177 996147200 134512640 134550932 4294955968 18446744073709551615 4127132037 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=348/tid=351] ppid=346 vsize=868708 CPUtime=0.17
/proc/348/task/351/stat : 351 (java) S 346 348 32687 0 -1 64 4434 543 0 0 9 1 6 1 16 0 9 0 27178236 889556992 16177 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=348/tid=352] ppid=346 vsize=868708 CPUtime=0.07
/proc/348/task/352/stat : 352 (java) S 346 348 32687 0 -1 64 19 543 0 0 0 0 6 1 16 0 9 0 27178237 889556992 16177 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=348/tid=353] ppid=346 vsize=868708 CPUtime=0.07
/proc/348/task/353/stat : 353 (java) S 346 348 32687 0 -1 64 9 543 0 0 0 0 6 1 16 0 9 0 27178237 889556992 16177 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=348/tid=354] ppid=346 vsize=868708 CPUtime=0.07
/proc/348/task/354/stat : 354 (java) S 346 348 32687 0 -1 64 2 543 0 0 0 0 6 1 23 0 9 0 27178238 889556992 16177 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=348/tid=355] ppid=346 vsize=868708 CPUtime=0.41
/proc/348/task/355/stat : 355 (java) S 346 348 32687 0 -1 64 950 543 0 0 34 0 6 1 15 0 9 0 27178238 889556992 16177 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=348/tid=356] ppid=346 vsize=868708 CPUtime=0.07
/proc/348/task/356/stat : 356 (java) S 346 348 32687 0 -1 64 0 543 0 0 0 0 6 1 24 0 9 0 27178239 889556992 16177 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=348/tid=357] ppid=346 vsize=868708 CPUtime=0.07
/proc/348/task/357/stat : 357 (java) S 346 348 32687 0 -1 64 36 543 0 0 0 0 6 1 15 0 9 0 27178239 889556992 16177 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.55
Current children cumulated vsize (KiB) 868708
[startup+12.7011 s]
/proc/loadavg: 0.27 0.06 0.02 3/89 422
/proc/meminfo: memFree=1711064/2055920 swapFree=4192812/4192956
[pid=348] ppid=346 vsize=868620 CPUtime=12.94
/proc/348/stat : 348 (java) S 346 348 32687 0 -1 0 31256 543 1 0 1271 16 6 1 18 0 9 0 27178234 889466880 19978 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/348/statm: 217155 19978 2638 9 0 211613 0
[pid=348/tid=350] ppid=346 vsize=868620 CPUtime=12.46
/proc/348/task/350/stat : 350 (java) R 346 348 32687 0 -1 64 23934 543 1 0 1226 13 6 1 25 0 9 0 27178235 889466880 19978 996147200 134512640 134550932 4294955968 18446744073709551615 4127233555 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=348/tid=351] ppid=346 vsize=868620 CPUtime=0.18
/proc/348/task/351/stat : 351 (java) S 346 348 32687 0 -1 64 5501 543 0 0 10 1 6 1 16 0 9 0 27178236 889466880 19978 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=348/tid=352] ppid=346 vsize=868620 CPUtime=0.07
/proc/348/task/352/stat : 352 (java) S 346 348 32687 0 -1 64 19 543 0 0 0 0 6 1 16 0 9 0 27178237 889466880 19978 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=348/tid=353] ppid=346 vsize=868620 CPUtime=0.07
/proc/348/task/353/stat : 353 (java) S 346 348 32687 0 -1 64 10 543 0 0 0 0 6 1 16 0 9 0 27178237 889466880 19978 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=348/tid=354] ppid=346 vsize=868620 CPUtime=0.07
/proc/348/task/354/stat : 354 (java) S 346 348 32687 0 -1 64 2 543 0 0 0 0 6 1 23 0 9 0 27178238 889466880 19978 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=348/tid=355] ppid=346 vsize=868620 CPUtime=0.41
/proc/348/task/355/stat : 355 (java) S 346 348 32687 0 -1 64 950 543 0 0 34 0 6 1 15 0 9 0 27178238 889466880 19978 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=348/tid=356] ppid=346 vsize=868620 CPUtime=0.07
/proc/348/task/356/stat : 356 (java) S 346 348 32687 0 -1 64 0 543 0 0 0 0 6 1 24 0 9 0 27178239 889466880 19978 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=348/tid=357] ppid=346 vsize=868620 CPUtime=0.07
/proc/348/task/357/stat : 357 (java) S 346 348 32687 0 -1 64 36 543 0 0 0 0 6 1 15 0 9 0 27178239 889466880 19978 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.94
Current children cumulated vsize (KiB) 868620
[startup+25.5024 s]
/proc/loadavg: 0.65 0.16 0.06 3/89 422
/proc/meminfo: memFree=1710816/2055920 swapFree=4192812/4192956
[pid=348] ppid=346 vsize=868620 CPUtime=25.74
/proc/348/stat : 348 (java) S 346 348 32687 0 -1 0 31260 543 1 0 2551 16 6 1 18 0 9 0 27178234 889466880 19978 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/348/statm: 217155 19978 2638 9 0 211613 0
[pid=348/tid=350] ppid=346 vsize=868620 CPUtime=25.25
/proc/348/task/350/stat : 350 (java) R 346 348 32687 0 -1 64 23938 543 1 0 2505 13 6 1 25 0 9 0 27178235 889466880 19978 996147200 134512640 134550932 4294955968 18446744073709551615 4127119221 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=348/tid=351] ppid=346 vsize=868620 CPUtime=0.18
/proc/348/task/351/stat : 351 (java) S 346 348 32687 0 -1 64 5501 543 0 0 10 1 6 1 16 0 9 0 27178236 889466880 19978 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=348/tid=352] ppid=346 vsize=868620 CPUtime=0.07
/proc/348/task/352/stat : 352 (java) S 346 348 32687 0 -1 64 19 543 0 0 0 0 6 1 16 0 9 0 27178237 889466880 19978 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=348/tid=353] ppid=346 vsize=868620 CPUtime=0.07
/proc/348/task/353/stat : 353 (java) S 346 348 32687 0 -1 64 10 543 0 0 0 0 6 1 16 0 9 0 27178237 889466880 19978 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=348/tid=354] ppid=346 vsize=868620 CPUtime=0.07
/proc/348/task/354/stat : 354 (java) S 346 348 32687 0 -1 64 2 543 0 0 0 0 6 1 23 0 9 0 27178238 889466880 19978 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=348/tid=355] ppid=346 vsize=868620 CPUtime=0.41
/proc/348/task/355/stat : 355 (java) S 346 348 32687 0 -1 64 950 543 0 0 34 0 6 1 15 0 9 0 27178238 889466880 19978 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=348/tid=356] ppid=346 vsize=868620 CPUtime=0.07
/proc/348/task/356/stat : 356 (java) S 346 348 32687 0 -1 64 0 543 0 0 0 0 6 1 24 0 9 0 27178239 889466880 19978 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=348/tid=357] ppid=346 vsize=868620 CPUtime=0.07
/proc/348/task/357/stat : 357 (java) S 346 348 32687 0 -1 64 36 543 0 0 0 0 6 1 15 0 9 0 27178239 889466880 19978 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.74
Current children cumulated vsize (KiB) 868620
[startup+51.102 s]
/proc/loadavg: 1.11 0.30 0.11 3/89 422
/proc/meminfo: memFree=1706656/2055920 swapFree=4192812/4192956
[pid=348] ppid=346 vsize=868620 CPUtime=51.33
/proc/348/stat : 348 (java) S 346 348 32687 0 -1 0 32331 543 1 0 5109 17 6 1 18 0 9 0 27178234 889466880 21044 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/348/statm: 217155 21044 2638 9 0 211613 0
[pid=348/tid=350] ppid=346 vsize=868620 CPUtime=50.83
/proc/348/task/350/stat : 350 (java) R 346 348 32687 0 -1 64 23941 543 1 0 5063 13 6 1 25 0 9 0 27178235 889466880 21044 996147200 134512640 134550932 4294955968 18446744073709551615 4127119204 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=348/tid=351] ppid=346 vsize=868620 CPUtime=0.18
/proc/348/task/351/stat : 351 (java) S 346 348 32687 0 -1 64 6567 543 0 0 10 1 6 1 16 0 9 0 27178236 889466880 21044 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=348/tid=352] ppid=346 vsize=868620 CPUtime=0.07
/proc/348/task/352/stat : 352 (java) S 346 348 32687 0 -1 64 19 543 0 0 0 0 6 1 16 0 9 0 27178237 889466880 21044 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=348/tid=353] ppid=346 vsize=868620 CPUtime=0.07
/proc/348/task/353/stat : 353 (java) S 346 348 32687 0 -1 64 10 543 0 0 0 0 6 1 16 0 9 0 27178237 889466880 21044 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=348/tid=354] ppid=346 vsize=868620 CPUtime=0.07
/proc/348/task/354/stat : 354 (java) S 346 348 32687 0 -1 64 2 543 0 0 0 0 6 1 23 0 9 0 27178238 889466880 21044 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=348/tid=355] ppid=346 vsize=868620 CPUtime=0.42
/proc/348/task/355/stat : 355 (java) S 346 348 32687 0 -1 64 952 543 0 0 35 0 6 1 16 0 9 0 27178238 889466880 21044 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=348/tid=356] ppid=346 vsize=868620 CPUtime=0.07
/proc/348/task/356/stat : 356 (java) S 346 348 32687 0 -1 64 0 543 0 0 0 0 6 1 24 0 9 0 27178239 889466880 21044 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=348/tid=357] ppid=346 vsize=868620 CPUtime=0.07
/proc/348/task/357/stat : 357 (java) S 346 348 32687 0 -1 64 36 543 0 0 0 0 6 1 15 0 9 0 27178239 889466880 21044 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 51.33
Current children cumulated vsize (KiB) 868620
Solver just ended. Dumping a history of the last processes samples
[startup+54.3036 s]
/proc/loadavg: 1.18 0.33 0.12 3/89 422
/proc/meminfo: memFree=1706656/2055920 swapFree=4192812/4192956
[pid=348] ppid=346 vsize=868620 CPUtime=54.53
/proc/348/stat : 348 (java) S 346 348 32687 0 -1 0 32331 543 1 0 5429 17 6 1 18 0 9 0 27178234 889466880 21044 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/348/statm: 217155 21044 2638 9 0 211613 0
[pid=348/tid=350] ppid=346 vsize=868620 CPUtime=54.03
/proc/348/task/350/stat : 350 (java) R 346 348 32687 0 -1 64 23941 543 1 0 5383 13 6 1 25 0 9 0 27178235 889466880 21044 996147200 134512640 134550932 4294955968 18446744073709551615 4127135015 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=348/tid=351] ppid=346 vsize=868620 CPUtime=0.18
/proc/348/task/351/stat : 351 (java) S 346 348 32687 0 -1 64 6567 543 0 0 10 1 6 1 16 0 9 0 27178236 889466880 21044 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=348/tid=352] ppid=346 vsize=868620 CPUtime=0.07
/proc/348/task/352/stat : 352 (java) S 346 348 32687 0 -1 64 19 543 0 0 0 0 6 1 16 0 9 0 27178237 889466880 21044 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=348/tid=353] ppid=346 vsize=868620 CPUtime=0.07
/proc/348/task/353/stat : 353 (java) S 346 348 32687 0 -1 64 10 543 0 0 0 0 6 1 16 0 9 0 27178237 889466880 21044 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=348/tid=354] ppid=346 vsize=868620 CPUtime=0.07
/proc/348/task/354/stat : 354 (java) S 346 348 32687 0 -1 64 2 543 0 0 0 0 6 1 23 0 9 0 27178238 889466880 21044 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=348/tid=355] ppid=346 vsize=868620 CPUtime=0.42
/proc/348/task/355/stat : 355 (java) S 346 348 32687 0 -1 64 952 543 0 0 35 0 6 1 16 0 9 0 27178238 889466880 21044 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=348/tid=356] ppid=346 vsize=868620 CPUtime=0.07
/proc/348/task/356/stat : 356 (java) S 346 348 32687 0 -1 64 0 543 0 0 0 0 6 1 24 0 9 0 27178239 889466880 21044 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=348/tid=357] ppid=346 vsize=868620 CPUtime=0.07
/proc/348/task/357/stat : 357 (java) S 346 348 32687 0 -1 64 36 543 0 0 0 0 6 1 15 0 9 0 27178239 889466880 21044 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 54.53
Current children cumulated vsize (KiB) 868620
[startup+55.1014 s]
/proc/loadavg: 1.18 0.33 0.12 3/89 422
/proc/meminfo: memFree=1706656/2055920 swapFree=4192812/4192956
[pid=348] ppid=346 vsize=868620 CPUtime=55.33
/proc/348/stat : 348 (java) S 346 348 32687 0 -1 0 32331 543 1 0 5509 17 6 1 18 0 9 0 27178234 889466880 21044 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/348/statm: 217155 21044 2638 9 0 211613 0
[pid=348/tid=350] ppid=346 vsize=868620 CPUtime=54.82
/proc/348/task/350/stat : 350 (java) R 346 348 32687 0 -1 64 23941 543 1 0 5462 13 6 1 25 0 9 0 27178235 889466880 21044 996147200 134512640 134550932 4294955968 18446744073709551615 4125952204 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=348/tid=351] ppid=346 vsize=868620 CPUtime=0.18
/proc/348/task/351/stat : 351 (java) S 346 348 32687 0 -1 64 6567 543 0 0 10 1 6 1 16 0 9 0 27178236 889466880 21044 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=348/tid=352] ppid=346 vsize=868620 CPUtime=0.07
/proc/348/task/352/stat : 352 (java) S 346 348 32687 0 -1 64 19 543 0 0 0 0 6 1 16 0 9 0 27178237 889466880 21044 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=348/tid=353] ppid=346 vsize=868620 CPUtime=0.07
/proc/348/task/353/stat : 353 (java) S 346 348 32687 0 -1 64 10 543 0 0 0 0 6 1 16 0 9 0 27178237 889466880 21044 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=348/tid=354] ppid=346 vsize=868620 CPUtime=0.07
/proc/348/task/354/stat : 354 (java) S 346 348 32687 0 -1 64 2 543 0 0 0 0 6 1 23 0 9 0 27178238 889466880 21044 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=348/tid=355] ppid=346 vsize=868620 CPUtime=0.42
/proc/348/task/355/stat : 355 (java) S 346 348 32687 0 -1 64 952 543 0 0 35 0 6 1 16 0 9 0 27178238 889466880 21044 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=348/tid=356] ppid=346 vsize=868620 CPUtime=0.07
/proc/348/task/356/stat : 356 (java) S 346 348 32687 0 -1 64 0 543 0 0 0 0 6 1 24 0 9 0 27178239 889466880 21044 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=348/tid=357] ppid=346 vsize=868620 CPUtime=0.07
/proc/348/task/357/stat : 357 (java) S 346 348 32687 0 -1 64 36 543 0 0 0 0 6 1 15 0 9 0 27178239 889466880 21044 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 55.33
Current children cumulated vsize (KiB) 868620
[startup+55.9015 s]
/proc/loadavg: 1.18 0.33 0.12 3/89 422
/proc/meminfo: memFree=1706656/2055920 swapFree=4192812/4192956
[pid=348] ppid=346 vsize=868620 CPUtime=56.13
/proc/348/stat : 348 (java) S 346 348 32687 0 -1 0 32331 543 1 0 5589 17 6 1 18 0 9 0 27178234 889466880 21044 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/348/statm: 217155 21044 2638 9 0 211613 0
[pid=348/tid=350] ppid=346 vsize=868620 CPUtime=55.62
/proc/348/task/350/stat : 350 (java) R 346 348 32687 0 -1 64 23941 543 1 0 5542 13 6 1 25 0 9 0 27178235 889466880 21044 996147200 134512640 134550932 4294955968 18446744073709551615 4127237282 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=348/tid=351] ppid=346 vsize=868620 CPUtime=0.18
/proc/348/task/351/stat : 351 (java) S 346 348 32687 0 -1 64 6567 543 0 0 10 1 6 1 16 0 9 0 27178236 889466880 21044 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=348/tid=352] ppid=346 vsize=868620 CPUtime=0.07
/proc/348/task/352/stat : 352 (java) S 346 348 32687 0 -1 64 19 543 0 0 0 0 6 1 16 0 9 0 27178237 889466880 21044 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=348/tid=353] ppid=346 vsize=868620 CPUtime=0.07
/proc/348/task/353/stat : 353 (java) S 346 348 32687 0 -1 64 10 543 0 0 0 0 6 1 16 0 9 0 27178237 889466880 21044 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=348/tid=354] ppid=346 vsize=868620 CPUtime=0.07
/proc/348/task/354/stat : 354 (java) S 346 348 32687 0 -1 64 2 543 0 0 0 0 6 1 23 0 9 0 27178238 889466880 21044 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=348/tid=355] ppid=346 vsize=868620 CPUtime=0.42
/proc/348/task/355/stat : 355 (java) S 346 348 32687 0 -1 64 952 543 0 0 35 0 6 1 16 0 9 0 27178238 889466880 21044 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=348/tid=356] ppid=346 vsize=868620 CPUtime=0.07
/proc/348/task/356/stat : 356 (java) S 346 348 32687 0 -1 64 0 543 0 0 0 0 6 1 24 0 9 0 27178239 889466880 21044 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=348/tid=357] ppid=346 vsize=868620 CPUtime=0.07
/proc/348/task/357/stat : 357 (java) S 346 348 32687 0 -1 64 36 543 0 0 0 0 6 1 15 0 9 0 27178239 889466880 21044 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 56.13
Current children cumulated vsize (KiB) 868620
[startup+56.1065 s]
/proc/loadavg: 1.18 0.33 0.12 3/89 422
/proc/meminfo: memFree=1706656/2055920 swapFree=4192812/4192956
[pid=348] ppid=346 vsize=868620 CPUtime=56.3
/proc/348/stat : 348 (java) S 346 348 32687 0 -1 0 32336 543 1 0 5606 17 6 1 18 0 9 0 27178234 889466880 21048 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/348/statm: 217155 21048 2638 9 0 211613 0
[pid=348/tid=350] ppid=346 vsize=868620 CPUtime=55.8
/proc/348/task/350/stat : 350 (java) S 346 348 32687 0 -1 64 23945 543 1 0 5560 13 6 1 25 0 9 0 27178235 889466880 21048 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=348/tid=351] ppid=346 vsize=868620 CPUtime=0.18
/proc/348/task/351/stat : 351 (java) S 346 348 32687 0 -1 64 6567 543 0 0 10 1 6 1 16 0 9 0 27178236 889466880 21048 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=348/tid=352] ppid=346 vsize=868620 CPUtime=0.07
/proc/348/task/352/stat : 352 (java) S 346 348 32687 0 -1 64 19 543 0 0 0 0 6 1 16 0 9 0 27178237 889466880 21048 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=348/tid=353] ppid=346 vsize=868620 CPUtime=0.07
/proc/348/task/353/stat : 353 (java) S 346 348 32687 0 -1 64 10 543 0 0 0 0 6 1 16 0 9 0 27178237 889466880 21048 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=348/tid=354] ppid=346 vsize=868620 CPUtime=0.07
/proc/348/task/354/stat : 354 (java) S 346 348 32687 0 -1 64 2 543 0 0 0 0 6 1 23 0 9 0 27178238 889466880 21048 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=348/tid=355] ppid=346 vsize=868620 CPUtime=0.42
/proc/348/task/355/stat : 355 (java) S 346 348 32687 0 -1 64 953 543 0 0 35 0 6 1 16 0 9 0 27178238 889466880 21048 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=348/tid=356] ppid=346 vsize=868620 CPUtime=0.07
/proc/348/task/356/stat : 356 (java) S 346 348 32687 0 -1 64 0 543 0 0 0 0 6 1 24 0 9 0 27178239 889466880 21048 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=348/tid=357] ppid=346 vsize=868620 CPUtime=0.07
/proc/348/task/357/stat : 357 (java) S 346 348 32687 0 -1 64 36 543 0 0 0 0 6 1 15 0 9 0 27178239 889466880 21048 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 56.3
Current children cumulated vsize (KiB) 868620
Child status: 0
Real time (s): 56.1336
CPU time (s): 56.3324
CPU user time (s): 56.1285
CPU system time (s): 0.203968
CPU usage (%): 100.354
Max. virtual memory (cumulated for all children) (KiB): 868708
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 56.1285
system time used= 0.203968
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32906
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= 1804
involuntary context switches= 818
runsolver used 0.072988 second user time and 0.19397 second system time
The end
Begin job on node67 at 2009-07-12 14:19:15
IDJOB=2093280
IDBENCH=53493
IDSOLVER=774
FILE ID=node67/2093280-1247401155
PBS_JOBID= 9510514
Free space on /tmp= 66512 MiB
SOLVER NAME= Abscon 112v4 ESAC
BENCH NAME= CPAI08/csp/QWH-20/normalized-qwh-20-166-2_ext.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-2093280-1247401155/watcher-2093280-1247401155 -o /tmp/evaluation-result-2093280-1247401155/solver-2093280-1247401155 -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-2093280-1247401155.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 94b05f03775625fe65896b9f5a393c29
RANDOM SEED=1277090842
node67.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.239
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.239
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: 1819328 kB
Buffers: 31888 kB
Cached: 131992 kB
SwapCached: 0 kB
Active: 99860 kB
Inactive: 79364 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1819328 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 2612 kB
Writeback: 0 kB
Mapped: 25128 kB
Slab: 43040 kB
Committed_AS: 180368 kB
PageTables: 1652 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= 66508 MiB
End job on node67 at 2009-07-12 14:20:11