0.01/0.08
0.01/0.08 Abscon 112 (May, 2008)
0.18/0.23
0.18/0.23 configuration
0.18/0.23 name=esac.xml
0.28/0.31
0.28/0.31 instance
0.28/0.31 name=HOME/instance-1044707-1215019349.xml
0.28/0.35
0.28/0.35 domains being loaded...
0.28/0.36
0.28/0.36 variables being loaded...
0.38/0.40 nbVariables=88 nbDomainTypes=1 minDomainSize=89 maxDomainSize=89 nbTotalValues=7832
0.38/0.40 => wckTime=0.166 cpuTime=0.13 mem=7M854
0.38/0.40
0.38/0.40 relations being loaded...
3.05/3.14
3.05/3.14 INFO : Contraction of relations, mem = 100M386
14.64/14.86
14.64/14.86 constraints being loaded...
19.67/19.97 nbConstraints=3828 nbRelationTypes=3828 nbExtensionStructures=3828 nbSharedExtensionStructures=0
19.67/19.97 nbConflictsStructures=3828 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=681161 minDegree=87
19.67/19.97 maxDegree=87 minArity=2 maxArity=2 nbGenerators=0 nbFusions=0 symmetryWckTime=0.184 symmetryCpuTime=0.08
19.67/19.97 => wckTime=19.738 cpuTime=18.01 mem=122M156
20.09/20.38
20.09/20.38 solver IterativeSystematicSolver being built...
20.29/20.53 => wckTime=20.295 cpuTime=18.14 mem=127M67
20.39/20.61
20.39/20.61 preprocessing
20.39/20.61 nbConstraintChecks=627361 nbPropagations=188 nbRevisions=13633 nbUselessRevisions=13382 nbSingletonTests=88
20.39/20.61 nbEffectiveSingletonTests=0 nbACRemovals=3987 nbFoundSingletons=0 firstSolutionCpuTime=18.18
20.39/20.61 nbRemovedValues=3987 detectedInconsistency=no
20.39/20.61 => wckTime=0.075 cpuTime=0.05 mem=127M67
20.39/20.61
20.39/20.61 global
20.39/20.61 nbConstraintChecks=627361 nbPropagations=188 nbRevisions=13633 nbUselessRevisions=13382 nbRestartNogoods=0
20.39/20.61 solvingWckTime=0.079 solvingCpuTime=0.06 expiredTime=no totalExploration=no nbFoundSolutions=1
20.39/20.61 firstSolutionCpuTime=18.18 globalCpuTime=18.25
20.39/20.61 => wckTime=20.376 cpuTime=18.2 mem=128M73
20.39/20.61
20.39/20.61 s SATISFIABLE
20.39/20.61 v 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1
20.39/20.61 d NODES 0
20.39/20.61 d CHECKS 627361
20.39/20.61
20.39/20.61 totalWckTime=20.432 totalCpuTime=18.25
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1044707-1215019349/watcher-1044707-1215019349 -o /tmp/evaluation-result-1044707-1215019349/solver-1044707-1215019349 -C 1800 -W 2200 -M 900 --output-limit 1,15 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution esac.xml 1 XSax HOME/instance-1044707-1215019349.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): 2200 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
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.12 1.15 0.61 3/72 4334
/proc/meminfo: memFree=1785080/2055920 swapFree=4181040/4192956
[pid=4334] ppid=4332 vsize=272 CPUtime=0
/proc/4334/stat : 4334 (java) D 4332 4334 4246 0 -1 0 217 0 0 0 0 0 0 0 18 0 1 0 139747555 278528 37 996147200 134512640 134550740 4294955968 18446744073709551615 5104420 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0
/proc/4334/statm: 404 126 100 9 0 46 0
[startup+0.0285499 s]
/proc/loadavg: 2.12 1.15 0.61 3/72 4334
/proc/meminfo: memFree=1785080/2055920 swapFree=4181040/4192956
[pid=4334] ppid=4332 vsize=861876 CPUtime=0.01
/proc/4334/stat : 4334 (java) S 4332 4334 4246 0 -1 0 1880 0 1 0 1 0 0 0 18 0 5 0 139747555 882561024 1567 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0
/proc/4334/statm: 215469 1567 695 9 0 210448 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 861876
[startup+0.102088 s]
/proc/loadavg: 2.12 1.15 0.61 3/72 4334
/proc/meminfo: memFree=1785080/2055920 swapFree=4181040/4192956
[pid=4334] ppid=4332 vsize=865884 CPUtime=0.08
/proc/4334/stat : 4334 (java) S 4332 4334 4246 0 -1 0 3777 0 1 0 7 1 0 0 18 0 9 0 139747555 886665216 3228 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/4334/statm: 216471 3228 1711 9 0 211026 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 865884
[startup+0.301111 s]
/proc/loadavg: 2.12 1.15 0.61 3/72 4334
/proc/meminfo: memFree=1785080/2055920 swapFree=4181040/4192956
[pid=4334] ppid=4332 vsize=866196 CPUtime=0.28
/proc/4334/stat : 4334 (java) S 4332 4334 4246 0 -1 0 5622 0 1 0 26 2 0 0 18 0 9 0 139747555 886984704 5036 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/4334/statm: 216549 5036 1903 9 0 211097 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 866196
[startup+0.701154 s]
/proc/loadavg: 2.12 1.15 0.61 3/72 4334
/proc/meminfo: memFree=1785080/2055920 swapFree=4181040/4192956
[pid=4334] ppid=4332 vsize=866408 CPUtime=0.68
/proc/4334/stat : 4334 (java) S 4332 4334 4246 0 -1 0 10730 0 1 0 63 5 0 0 18 0 9 0 139747555 887201792 10100 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/4334/statm: 216602 10100 1968 9 0 211130 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 866408
[startup+1.50224 s]
/proc/loadavg: 2.12 1.15 0.61 4/81 4343
/proc/meminfo: memFree=1718512/2055920 swapFree=4181040/4192956
[pid=4334] ppid=4332 vsize=866992 CPUtime=1.47
/proc/4334/stat : 4334 (java) S 4332 4334 4246 0 -1 0 20267 0 1 0 137 10 0 0 18 0 9 0 139747555 887799808 19635 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/4334/statm: 216748 19635 1982 9 0 211276 0
[pid=4334/tid=4335] ppid=4332 vsize=866992 CPUtime=1.28
/proc/4334/task/4335/stat : 4335 (java) R 4332 4334 4246 0 -1 64 15653 0 1 0 120 8 0 0 25 0 9 0 139747556 887799808 19635 996147200 134512640 134550740 4294955968 18446744073709551615 4126593958 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4334/tid=4337] ppid=4332 vsize=866992 CPUtime=0.07
/proc/4334/task/4337/stat : 4337 (java) S 4332 4334 4246 0 -1 64 3465 0 0 0 6 1 0 0 17 0 9 0 139747557 887799808 19635 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=4334/tid=4338] ppid=4332 vsize=866992 CPUtime=0
/proc/4334/task/4338/stat : 4338 (java) S 4332 4334 4246 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 139747558 887799808 19635 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4334/tid=4339] ppid=4332 vsize=866992 CPUtime=0
/proc/4334/task/4339/stat : 4339 (java) S 4332 4334 4246 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 139747558 887799808 19635 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4334/tid=4340] ppid=4332 vsize=866992 CPUtime=0
/proc/4334/task/4340/stat : 4340 (java) S 4332 4334 4246 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 139747560 887799808 19635 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4334/tid=4341] ppid=4332 vsize=866992 CPUtime=0.09
/proc/4334/task/4341/stat : 4341 (java) S 4332 4334 4246 0 -1 64 453 0 0 0 9 0 0 0 16 0 9 0 139747560 887799808 19635 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4334/tid=4342] ppid=4332 vsize=866992 CPUtime=0
/proc/4334/task/4342/stat : 4342 (java) S 4332 4334 4246 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 139747560 887799808 19635 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4334/tid=4343] ppid=4332 vsize=866992 CPUtime=0
/proc/4334/task/4343/stat : 4343 (java) S 4332 4334 4246 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 139747560 887799808 19635 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 866992
[startup+3.10241 s]
/proc/loadavg: 2.12 1.15 0.61 4/81 4343
/proc/meminfo: memFree=1692976/2055920 swapFree=4181040/4192956
[pid=4334] ppid=4332 vsize=866992 CPUtime=3.05
/proc/4334/stat : 4334 (java) S 4332 4334 4246 0 -1 0 33252 0 1 0 288 17 0 0 18 0 9 0 139747555 887799808 32617 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/4334/statm: 216748 32617 1982 9 0 211276 0
[pid=4334/tid=4335] ppid=4332 vsize=866992 CPUtime=2.47
/proc/4334/task/4335/stat : 4335 (java) R 4332 4334 4246 0 -1 64 15656 0 1 0 238 9 0 0 25 0 9 0 139747556 887799808 32617 996147200 134512640 134550740 4294955968 18446744073709551615 4126594889 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4334/tid=4337] ppid=4332 vsize=866992 CPUtime=0.44
/proc/4334/task/4337/stat : 4337 (java) S 4332 4334 4246 0 -1 64 16422 0 0 0 37 7 0 0 17 0 9 0 139747557 887799808 32617 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=4334/tid=4338] ppid=4332 vsize=866992 CPUtime=0
/proc/4334/task/4338/stat : 4338 (java) S 4332 4334 4246 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 139747558 887799808 32617 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4334/tid=4339] ppid=4332 vsize=866992 CPUtime=0
/proc/4334/task/4339/stat : 4339 (java) S 4332 4334 4246 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 139747558 887799808 32617 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4334/tid=4340] ppid=4332 vsize=866992 CPUtime=0
/proc/4334/task/4340/stat : 4340 (java) S 4332 4334 4246 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 139747560 887799808 32617 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4334/tid=4341] ppid=4332 vsize=866992 CPUtime=0.11
/proc/4334/task/4341/stat : 4341 (java) S 4332 4334 4246 0 -1 64 478 0 0 0 11 0 0 0 16 0 9 0 139747560 887799808 32617 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4334/tid=4342] ppid=4332 vsize=866992 CPUtime=0
/proc/4334/task/4342/stat : 4342 (java) S 4332 4334 4246 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 139747560 887799808 32617 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4334/tid=4343] ppid=4332 vsize=866992 CPUtime=0
/proc/4334/task/4343/stat : 4343 (java) S 4332 4334 4246 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 139747560 887799808 32617 996147200 134512640 134550740 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) 866992
[startup+6.30174 s]
/proc/loadavg: 2.19 1.18 0.62 3/81 4343
/proc/meminfo: memFree=1662256/2055920 swapFree=4181040/4192956
[pid=4334] ppid=4332 vsize=867476 CPUtime=6.22
/proc/4334/stat : 4334 (java) S 4332 4334 4246 0 -1 0 34385 0 1 0 603 19 0 0 18 0 9 0 139747555 888295424 33562 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/4334/statm: 216869 33562 2609 9 0 211397 0
[pid=4334/tid=4335] ppid=4332 vsize=867476 CPUtime=5.39
/proc/4334/task/4335/stat : 4335 (java) R 4332 4334 4246 0 -1 64 15670 0 1 0 528 11 0 0 25 0 9 0 139747556 888295424 33562 996147200 134512640 134550740 4294955968 18446744073709551615 4126417441 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4334/tid=4337] ppid=4332 vsize=867476 CPUtime=0.66
/proc/4334/task/4337/stat : 4337 (java) S 4332 4334 4246 0 -1 64 17420 0 0 0 59 7 0 0 16 0 9 0 139747557 888295424 33562 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=4334/tid=4338] ppid=4332 vsize=867476 CPUtime=0
/proc/4334/task/4338/stat : 4338 (java) S 4332 4334 4246 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 139747558 888295424 33562 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4334/tid=4339] ppid=4332 vsize=867476 CPUtime=0
/proc/4334/task/4339/stat : 4339 (java) S 4332 4334 4246 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 139747558 888295424 33562 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4334/tid=4340] ppid=4332 vsize=867476 CPUtime=0
/proc/4334/task/4340/stat : 4340 (java) S 4332 4334 4246 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 139747560 888295424 33562 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4334/tid=4341] ppid=4332 vsize=867476 CPUtime=0.14
/proc/4334/task/4341/stat : 4341 (java) S 4332 4334 4246 0 -1 64 599 0 0 0 14 0 0 0 16 0 9 0 139747560 888295424 33562 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4334/tid=4342] ppid=4332 vsize=867476 CPUtime=0
/proc/4334/task/4342/stat : 4342 (java) S 4332 4334 4246 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 139747560 888295424 33562 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4334/tid=4343] ppid=4332 vsize=867476 CPUtime=0
/proc/4334/task/4343/stat : 4343 (java) S 4332 4334 4246 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 139747560 888295424 33562 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 867476
[startup+12.7024 s]
/proc/loadavg: 2.17 1.20 0.63 3/81 4343
/proc/meminfo: memFree=1637488/2055920 swapFree=4181040/4192956
[pid=4334] ppid=4332 vsize=867476 CPUtime=12.57
/proc/4334/stat : 4334 (java) S 4332 4334 4246 0 -1 0 41024 0 1 0 1229 28 0 0 18 0 9 0 139747555 888295424 40189 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/4334/statm: 216869 40189 2610 9 0 211397 0
[pid=4334/tid=4335] ppid=4332 vsize=867476 CPUtime=11.41
/proc/4334/task/4335/stat : 4335 (java) R 4332 4334 4246 0 -1 64 15682 0 1 0 1125 16 0 0 25 0 9 0 139747556 888295424 40189 996147200 134512640 134550740 4294955968 18446744073709551615 4126592940 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4334/tid=4337] ppid=4332 vsize=867476 CPUtime=0.98
/proc/4334/task/4337/stat : 4337 (java) S 4332 4334 4246 0 -1 64 24040 0 0 0 88 10 0 0 16 0 9 0 139747557 888295424 40189 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=4334/tid=4338] ppid=4332 vsize=867476 CPUtime=0
/proc/4334/task/4338/stat : 4338 (java) S 4332 4334 4246 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 139747558 888295424 40189 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4334/tid=4339] ppid=4332 vsize=867476 CPUtime=0
/proc/4334/task/4339/stat : 4339 (java) S 4332 4334 4246 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 139747558 888295424 40189 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4334/tid=4340] ppid=4332 vsize=867476 CPUtime=0
/proc/4334/task/4340/stat : 4340 (java) S 4332 4334 4246 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 139747560 888295424 40189 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4334/tid=4341] ppid=4332 vsize=867476 CPUtime=0.14
/proc/4334/task/4341/stat : 4341 (java) S 4332 4334 4246 0 -1 64 606 0 0 0 14 0 0 0 17 0 9 0 139747560 888295424 40189 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4334/tid=4342] ppid=4332 vsize=867476 CPUtime=0
/proc/4334/task/4342/stat : 4342 (java) S 4332 4334 4246 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 139747560 888295424 40189 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4334/tid=4343] ppid=4332 vsize=867476 CPUtime=0
/proc/4334/task/4343/stat : 4343 (java) S 4332 4334 4246 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 139747560 888295424 40189 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 867476
Solver just ended. Dumping a history of the last processes samples
[startup+15.9017 s]
/proc/loadavg: 2.16 1.21 0.63 3/81 4343
/proc/meminfo: memFree=1624112/2055920 swapFree=4181040/4192956
[pid=4334] ppid=4332 vsize=867476 CPUtime=15.74
/proc/4334/stat : 4334 (java) S 4332 4334 4246 0 -1 0 43855 0 1 0 1543 31 0 0 18 0 9 0 139747555 888295424 43006 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/4334/statm: 216869 43006 2612 9 0 211397 0
[pid=4334/tid=4335] ppid=4332 vsize=867476 CPUtime=14.4
/proc/4334/task/4335/stat : 4335 (java) R 4332 4334 4246 0 -1 64 15725 0 1 0 1422 18 0 0 25 0 9 0 139747556 888295424 43006 996147200 134512640 134550740 4294955968 18446744073709551615 4125978366 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4334/tid=4337] ppid=4332 vsize=867476 CPUtime=1.11
/proc/4334/task/4337/stat : 4337 (java) S 4332 4334 4246 0 -1 64 26798 0 0 0 100 11 0 0 16 0 9 0 139747557 888295424 43006 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=4334/tid=4338] ppid=4332 vsize=867476 CPUtime=0
/proc/4334/task/4338/stat : 4338 (java) S 4332 4334 4246 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 139747558 888295424 43006 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4334/tid=4339] ppid=4332 vsize=867476 CPUtime=0
/proc/4334/task/4339/stat : 4339 (java) S 4332 4334 4246 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 139747558 888295424 43006 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4334/tid=4340] ppid=4332 vsize=867476 CPUtime=0
/proc/4334/task/4340/stat : 4340 (java) S 4332 4334 4246 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 139747560 888295424 43006 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4334/tid=4341] ppid=4332 vsize=867476 CPUtime=0.18
/proc/4334/task/4341/stat : 4341 (java) S 4332 4334 4246 0 -1 64 636 0 0 0 18 0 0 0 15 0 9 0 139747560 888295424 43006 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4334/tid=4342] ppid=4332 vsize=867476 CPUtime=0
/proc/4334/task/4342/stat : 4342 (java) S 4332 4334 4246 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 139747560 888295424 43006 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4334/tid=4343] ppid=4332 vsize=867476 CPUtime=0
/proc/4334/task/4343/stat : 4343 (java) S 4332 4334 4246 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 139747560 888295424 43006 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 15.74
Current children cumulated vsize (KiB) 867476
[startup+19.1011 s]
/proc/loadavg: 2.15 1.22 0.64 3/81 4343
/proc/meminfo: memFree=1624048/2055920 swapFree=4181040/4192956
[pid=4334] ppid=4332 vsize=867476 CPUtime=18.91
/proc/4334/stat : 4334 (java) S 4332 4334 4246 0 -1 0 43872 0 1 0 1860 31 0 0 18 0 9 0 139747555 888295424 43021 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/4334/statm: 216869 43021 2612 9 0 211397 0
[pid=4334/tid=4335] ppid=4332 vsize=867476 CPUtime=17.55
/proc/4334/task/4335/stat : 4335 (java) R 4332 4334 4246 0 -1 64 15727 0 1 0 1737 18 0 0 25 0 9 0 139747556 888295424 43021 996147200 134512640 134550740 4294955968 18446744073709551615 4126875827 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4334/tid=4337] ppid=4332 vsize=867476 CPUtime=1.11
/proc/4334/task/4337/stat : 4337 (java) S 4332 4334 4246 0 -1 64 26798 0 0 0 100 11 0 0 16 0 9 0 139747557 888295424 43021 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=4334/tid=4338] ppid=4332 vsize=867476 CPUtime=0
/proc/4334/task/4338/stat : 4338 (java) S 4332 4334 4246 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 139747558 888295424 43021 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4334/tid=4339] ppid=4332 vsize=867476 CPUtime=0
/proc/4334/task/4339/stat : 4339 (java) S 4332 4334 4246 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 139747558 888295424 43021 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4334/tid=4340] ppid=4332 vsize=867476 CPUtime=0
/proc/4334/task/4340/stat : 4340 (java) S 4332 4334 4246 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 139747560 888295424 43021 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4334/tid=4341] ppid=4332 vsize=867476 CPUtime=0.21
/proc/4334/task/4341/stat : 4341 (java) S 4332 4334 4246 0 -1 64 651 0 0 0 21 0 0 0 15 0 9 0 139747560 888295424 43021 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4334/tid=4342] ppid=4332 vsize=867476 CPUtime=0
/proc/4334/task/4342/stat : 4342 (java) S 4332 4334 4246 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 139747560 888295424 43021 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4334/tid=4343] ppid=4332 vsize=867476 CPUtime=0
/proc/4334/task/4343/stat : 4343 (java) S 4332 4334 4246 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 139747560 888295424 43021 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 18.91
Current children cumulated vsize (KiB) 867476
[startup+19.9022 s]
/proc/loadavg: 2.15 1.22 0.64 3/81 4343
/proc/meminfo: memFree=1616176/2055920 swapFree=4181040/4192956
[pid=4334] ppid=4332 vsize=867800 CPUtime=19.67
/proc/4334/stat : 4334 (java) S 4332 4334 4246 0 -1 0 45872 0 1 0 1934 33 0 0 18 0 10 0 139747555 888627200 44997 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/4334/statm: 216950 44997 2613 9 0 211478 0
[pid=4334/tid=4335] ppid=4332 vsize=867800 CPUtime=18.2
/proc/4334/task/4335/stat : 4335 (java) S 4332 4334 4246 0 -1 64 15758 0 1 0 1802 18 0 0 25 0 10 0 139747556 888627200 44997 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4334/tid=4337] ppid=4332 vsize=867800 CPUtime=1.2
/proc/4334/task/4337/stat : 4337 (java) S 4332 4334 4246 0 -1 64 28740 0 0 0 108 12 0 0 16 0 10 0 139747557 888627200 44997 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=4334/tid=4338] ppid=4332 vsize=867800 CPUtime=0
/proc/4334/task/4338/stat : 4338 (java) S 4332 4334 4246 0 -1 64 13 0 0 0 0 0 0 0 16 0 10 0 139747558 888627200 44997 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4334/tid=4339] ppid=4332 vsize=867800 CPUtime=0
/proc/4334/task/4339/stat : 4339 (java) S 4332 4334 4246 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 139747558 888627200 44997 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4334/tid=4340] ppid=4332 vsize=867800 CPUtime=0
/proc/4334/task/4340/stat : 4340 (java) S 4332 4334 4246 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 139747560 888627200 44997 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4334/tid=4341] ppid=4332 vsize=867800 CPUtime=0.23
/proc/4334/task/4341/stat : 4341 (java) S 4332 4334 4246 0 -1 64 661 0 0 0 23 0 0 0 16 0 10 0 139747560 888627200 44997 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4334/tid=4342] ppid=4332 vsize=867800 CPUtime=0
/proc/4334/task/4342/stat : 4342 (java) S 4332 4334 4246 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 139747560 888627200 44997 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4334/tid=4343] ppid=4332 vsize=867800 CPUtime=0
/proc/4334/task/4343/stat : 4343 (java) S 4332 4334 4246 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 139747560 888627200 44997 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 19.67
Current children cumulated vsize (KiB) 867800
[startup+20.3022 s]
/proc/loadavg: 2.15 1.22 0.64 3/81 4343
/proc/meminfo: memFree=1616176/2055920 swapFree=4181040/4192956
[pid=4334] ppid=4332 vsize=867800 CPUtime=20.09
/proc/4334/stat : 4334 (java) S 4332 4334 4246 0 -1 0 55915 443 1 0 1969 35 3 2 18 0 10 0 139747555 888627200 45022 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/4334/statm: 216950 45022 2612 9 0 211478 0
[pid=4334/tid=4335] ppid=4332 vsize=867800 CPUtime=18.27
/proc/4334/task/4335/stat : 4335 (java) S 4332 4334 4246 0 -1 64 16982 443 1 0 1804 18 3 2 23 0 10 0 139747556 888627200 45022 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4334/tid=4337] ppid=4332 vsize=867800 CPUtime=1.57
/proc/4334/task/4337/stat : 4337 (java) R 4332 4334 4246 0 -1 64 37309 443 0 0 139 13 3 2 18 0 10 0 139747557 888627200 45022 996147200 134512640 134550740 4294955968 18446744073709551615 104182546 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=4334/tid=4338] ppid=4332 vsize=867800 CPUtime=0.05
/proc/4334/task/4338/stat : 4338 (java) S 4332 4334 4246 0 -1 64 13 443 0 0 0 0 3 2 16 0 10 0 139747558 888627200 45022 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4334/tid=4339] ppid=4332 vsize=867800 CPUtime=0.05
/proc/4334/task/4339/stat : 4339 (java) S 4332 4334 4246 0 -1 64 5 443 0 0 0 0 3 2 16 0 10 0 139747558 888627200 45022 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4334/tid=4340] ppid=4332 vsize=867800 CPUtime=0.05
/proc/4334/task/4340/stat : 4340 (java) S 4332 4334 4246 0 -1 64 1 443 0 0 0 0 3 2 18 0 10 0 139747560 888627200 45022 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4334/tid=4341] ppid=4332 vsize=867800 CPUtime=0.29
/proc/4334/task/4341/stat : 4341 (java) S 4332 4334 4246 0 -1 64 785 443 0 0 24 0 3 2 15 0 10 0 139747560 888627200 45022 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4334/tid=4342] ppid=4332 vsize=867800 CPUtime=0.05
/proc/4334/task/4342/stat : 4342 (java) S 4332 4334 4246 0 -1 64 1 443 0 0 0 0 3 2 19 0 10 0 139747560 888627200 45022 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4334/tid=4343] ppid=4332 vsize=867800 CPUtime=0.05
/proc/4334/task/4343/stat : 4343 (java) S 4332 4334 4246 0 -1 64 10 443 0 0 0 0 3 2 15 0 10 0 139747560 888627200 45022 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 20.09
Current children cumulated vsize (KiB) 867800
[startup+20.5022 s]
/proc/loadavg: 2.15 1.22 0.64 3/81 4343
/proc/meminfo: memFree=1616176/2055920 swapFree=4181040/4192956
[pid=4334] ppid=4332 vsize=867888 CPUtime=20.29
/proc/4334/stat : 4334 (java) S 4332 4334 4246 0 -1 0 68864 443 1 0 1985 39 3 2 18 0 9 0 139747555 888717312 46754 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/4334/statm: 216972 46754 2635 9 0 211478 0
[pid=4334/tid=4335] ppid=4332 vsize=867888 CPUtime=18.37
/proc/4334/task/4335/stat : 4335 (java) R 4332 4334 4246 0 -1 64 19353 443 1 0 1813 19 3 2 17 0 9 0 139747556 888717312 46754 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4334/tid=4337] ppid=4332 vsize=867888 CPUtime=1.64
/proc/4334/task/4337/stat : 4337 (java) S 4332 4334 4246 0 -1 64 47813 443 0 0 143 16 3 2 16 0 9 0 139747557 888717312 46754 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=4334/tid=4338] ppid=4332 vsize=867888 CPUtime=0.05
/proc/4334/task/4338/stat : 4338 (java) S 4332 4334 4246 0 -1 64 18 443 0 0 0 0 3 2 16 0 9 0 139747558 888717312 46754 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4334/tid=4339] ppid=4332 vsize=867888 CPUtime=0.05
/proc/4334/task/4339/stat : 4339 (java) S 4332 4334 4246 0 -1 64 10 443 0 0 0 0 3 2 16 0 9 0 139747558 888717312 46754 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4334/tid=4340] ppid=4332 vsize=867888 CPUtime=0.05
/proc/4334/task/4340/stat : 4340 (java) S 4332 4334 4246 0 -1 64 1 443 0 0 0 0 3 2 18 0 9 0 139747560 888717312 46754 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4334/tid=4341] ppid=4332 vsize=867888 CPUtime=0.33
/proc/4334/task/4341/stat : 4341 (java) R 4332 4334 4246 0 -1 64 846 443 0 0 27 1 3 2 16 0 9 0 139747560 888717312 46754 996147200 134512640 134550740 4294955968 18446744073709551615 101750923 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4334/tid=4342] ppid=4332 vsize=867888 CPUtime=0.05
/proc/4334/task/4342/stat : 4342 (java) S 4332 4334 4246 0 -1 64 1 443 0 0 0 0 3 2 19 0 9 0 139747560 888717312 46754 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4334/tid=4343] ppid=4332 vsize=867888 CPUtime=0.05
/proc/4334/task/4343/stat : 4343 (java) S 4332 4334 4246 0 -1 64 10 443 0 0 0 0 3 2 15 0 9 0 139747560 888717312 46754 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 20.29
Current children cumulated vsize (KiB) 867888
[startup+20.6023 s]
/proc/loadavg: 2.15 1.22 0.64 3/81 4343
/proc/meminfo: memFree=1616176/2055920 swapFree=4181040/4192956
[pid=4334] ppid=4332 vsize=867888 CPUtime=20.39
/proc/4334/stat : 4334 (java) S 4332 4334 4246 0 -1 0 70398 443 1 0 1995 39 3 2 18 0 9 0 139747555 888717312 46788 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/4334/statm: 216972 46788 2636 9 0 211478 0
[pid=4334/tid=4335] ppid=4332 vsize=867888 CPUtime=18.45
/proc/4334/task/4335/stat : 4335 (java) R 4332 4334 4246 0 -1 64 20874 443 1 0 1821 19 3 2 17 0 9 0 139747556 888717312 46788 996147200 134512640 134550740 4294955968 18446744073709551615 4126097546 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4334/tid=4337] ppid=4332 vsize=867888 CPUtime=1.64
/proc/4334/task/4337/stat : 4337 (java) S 4332 4334 4246 0 -1 64 47813 443 0 0 143 16 3 2 16 0 9 0 139747557 888717312 46788 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=4334/tid=4338] ppid=4332 vsize=867888 CPUtime=0.05
/proc/4334/task/4338/stat : 4338 (java) S 4332 4334 4246 0 -1 64 18 443 0 0 0 0 3 2 16 0 9 0 139747558 888717312 46788 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4334/tid=4339] ppid=4332 vsize=867888 CPUtime=0.05
/proc/4334/task/4339/stat : 4339 (java) S 4332 4334 4246 0 -1 64 10 443 0 0 0 0 3 2 16 0 9 0 139747558 888717312 46788 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4334/tid=4340] ppid=4332 vsize=867888 CPUtime=0.05
/proc/4334/task/4340/stat : 4340 (java) S 4332 4334 4246 0 -1 64 1 443 0 0 0 0 3 2 18 0 9 0 139747560 888717312 46788 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4334/tid=4341] ppid=4332 vsize=867888 CPUtime=0.35
/proc/4334/task/4341/stat : 4341 (java) S 4332 4334 4246 0 -1 64 859 443 0 0 29 1 3 2 16 0 9 0 139747560 888717312 46788 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4334/tid=4342] ppid=4332 vsize=867888 CPUtime=0.05
/proc/4334/task/4342/stat : 4342 (java) S 4332 4334 4246 0 -1 64 1 443 0 0 0 0 3 2 19 0 9 0 139747560 888717312 46788 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4334/tid=4343] ppid=4332 vsize=867888 CPUtime=0.05
/proc/4334/task/4343/stat : 4343 (java) S 4332 4334 4246 0 -1 64 10 443 0 0 0 0 3 2 15 0 9 0 139747560 888717312 46788 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 20.39
Current children cumulated vsize (KiB) 867888
Child status: 0
Real time (s): 20.6925
CPU time (s): 20.4519
CPU user time (s): 20.008
CPU system time (s): 0.443932
CPU usage (%): 98.8373
Max. virtual memory (cumulated for all children) (KiB): 867888
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 20.008
system time used= 0.443932
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 71049
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= 1872
involuntary context switches= 2277
runsolver used 0.028995 second user time and 0.074988 second system time
The end
Begin job on node46 at 2008-07-02 19:22:42
IDJOB=1044707
IDBENCH=53346
IDSOLVER=364
FILE ID=node46/1044707-1215019349
PBS_JOBID= 7874378
Free space on /tmp= 66124 MiB
SOLVER NAME= Abscon 112v4 ESAC
BENCH NAME= CPAI08/csp/lard/normalized-lard-88-88.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= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1044707-1215019349/watcher-1044707-1215019349 -o /tmp/evaluation-result-1044707-1215019349/solver-1044707-1215019349 -C 1800 -W 2200 -M 900 --output-limit 1,15 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution esac.xml 1 XSax HOME/instance-1044707-1215019349.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= 137c0b8c9147cb33e9f21d52d50de0cb
RANDOM SEED=2040396346
node46.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.238
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.238
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: 1785560 kB
Buffers: 12788 kB
Cached: 185272 kB
SwapCached: 5872 kB
Active: 168352 kB
Inactive: 45264 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1785560 kB
SwapTotal: 4192956 kB
SwapFree: 4181040 kB
Dirty: 84888 kB
Writeback: 0 kB
Mapped: 23872 kB
Slab: 42396 kB
Committed_AS: 344496 kB
PageTables: 1524 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264992 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66124 MiB
End job on node46 at 2008-07-02 19:23:03