0.00/0.08
0.00/0.08 Abscon 112 (May, 2008)
0.19/0.24
0.19/0.24 configuration
0.19/0.24 name=esac.xml
0.19/0.27
0.19/0.27 instance
0.19/0.27 name=HOME/instance-1050551-1215050185.xml
0.29/0.31
0.29/0.31 domains being loaded...
0.29/0.32
0.29/0.32 variables being loaded...
0.38/0.40 nbVariables=435 nbDomainTypes=3 minDomainSize=1 maxDomainSize=2 nbTotalValues=866
0.38/0.40 => wckTime=0.157 cpuTime=0.11 mem=8M829
0.38/0.40
0.38/0.40 relations being loaded...
0.38/0.42
0.38/0.42 constraints being loaded...
0.59/0.67 nbConstraints=744 nbRelationTypes=19 nbGlobalConstraints=9 nbSingletonDomainVariables=4
0.59/0.67 nbExtensionStructures=24 nbSharedExtensionStructures=714 nbConflictsStructures=24
0.59/0.67 nbSharedConflictsStructures=714 nbSharedBinaryRepresentations=26 minDegree=1 maxDegree=26 minArity=2
0.59/0.67 avgArity=2.39 maxArity=5 nbGenerators=6 nbFusions=0 symmetryWckTime=0.095 symmetryCpuTime=0.07
0.59/0.67 => wckTime=0.431 cpuTime=0.3 mem=17M656
0.68/0.73
0.68/0.73 solver IterativeSystematicSolver being built...
0.77/0.82
0.77/0.82 INFO : Forward propagation technique limited
0.88/0.91 => wckTime=0.667 cpuTime=0.45 mem=23M725
0.88/0.99
0.88/0.99 preprocessing
0.88/0.99 nbConstraintChecks=3534 nbValidityChecks=929 nbPropagations=1688 nbRevisions=3636 nbUselessRevisions=2910
0.88/0.99 nbSingletonTests=535 nbEffectiveSingletonTests=0 nbACRemovals=100 nbFoundSingletons=0 nbRemovedValues=100
0.88/0.99 detectedInconsistency=no
0.88/0.99 => wckTime=0.076 cpuTime=0.05 mem=23M725
13.36/13.60
13.36/13.60 search
13.36/13.60 run=14 nbConstraintChecks=3349965 nbValidityChecks=1116272 minDepth=3 maxDepth=41 nbPropagations=3679359
13.36/13.60 nbRevisions=11819775 nbUselessRevisions=8157562 nbAssignments=45882 nbFailedAssignments=6274 nbBacktracks=36187
13.36/13.60 nbVisitedNodes=61121 nbRestartNogoods=68 mapSize=14888 nbInferences=2719 nbTooLargeKeys=0
13.46/13.60 nbSEliminables=207.09 nbREliminables=173.14 nbIEliminables=28.83 nbDEliminables=0 nbPEliminables=0
13.46/13.60 => wckTime=12.684 cpuTime=12.45 mem=35M509
13.46/13.60
13.46/13.60 global
13.46/13.60 nbConstraintChecks=3353499 nbValidityChecks=1117201 nbPropagations=3681047 nbRevisions=11823411
13.46/13.60 nbUselessRevisions=8160472 nbRestartNogoods=68 solvingWckTime=12.688 solvingCpuTime=12.45 expiredTime=no
13.46/13.60 totalExploration=yes nbFoundSolutions=0 globalCpuTime=12.95
13.46/13.60 => wckTime=13.357 cpuTime=12.9 mem=35M509
13.46/13.60
13.46/13.60 s UNSATISFIABLE
13.46/13.60 d NODES 45882
13.46/13.60 d CHECKS 3353499
13.46/13.60
13.46/13.60 totalWckTime=13.424 totalCpuTime=12.95
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1050551-1215050185/watcher-1050551-1215050185 -o /tmp/evaluation-result-1050551-1215050185/solver-1050551-1215050185 -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-1050551-1215050185.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.00 2.00 1.99 3/74 6721
/proc/meminfo: memFree=1749920/2055920 swapFree=4180396/4192956
[pid=6721] ppid=6719 vsize=152 CPUtime=0
/proc/6721/stat : 6721 (java) R 6719 6721 4951 0 -1 0 205 0 0 0 0 0 0 0 18 0 1 0 1983991319 155648 26 996147200 134512640 134550740 4294955968 18446744073709551615 11280683 0 0 4096 0 0 0 0 17 0 0 0
/proc/6721/statm: 38 26 19 9 0 4 0
[startup+0.0164861 s]
/proc/loadavg: 2.00 2.00 1.99 3/74 6721
/proc/meminfo: memFree=1749920/2055920 swapFree=4180396/4192956
[pid=6721] ppid=6719 vsize=860508 CPUtime=0
/proc/6721/stat : 6721 (java) S 6719 6721 4951 0 -1 0 1225 0 1 0 0 0 0 0 18 0 2 0 1983991319 881160192 975 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0
/proc/6721/statm: 215127 988 381 9 0 213525 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 860508
[startup+0.101492 s]
/proc/loadavg: 2.00 2.00 1.99 3/74 6721
/proc/meminfo: memFree=1749920/2055920 swapFree=4180396/4192956
[pid=6721] ppid=6719 vsize=865884 CPUtime=0.09
/proc/6721/stat : 6721 (java) S 6719 6721 4951 0 -1 0 3764 0 1 0 7 2 0 0 18 0 9 0 1983991319 886665216 3222 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/6721/statm: 216471 3223 1708 9 0 211026 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 865884
[startup+0.301511 s]
/proc/loadavg: 2.00 2.00 1.99 3/74 6721
/proc/meminfo: memFree=1749920/2055920 swapFree=4180396/4192956
[pid=6721] ppid=6719 vsize=866284 CPUtime=0.29
/proc/6721/stat : 6721 (java) S 6719 6721 4951 0 -1 0 5996 0 1 0 25 4 0 0 18 0 9 0 1983991319 887074816 5370 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/6721/statm: 216571 5370 1956 9 0 211099 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 866284
[startup+0.701555 s]
/proc/loadavg: 2.00 2.00 1.99 3/74 6721
/proc/meminfo: memFree=1749920/2055920 swapFree=4180396/4192956
[pid=6721] ppid=6719 vsize=867328 CPUtime=0.68
/proc/6721/stat : 6721 (java) S 6719 6721 4951 0 -1 0 11733 204 1 0 60 7 1 0 18 0 10 0 1983991319 888143872 8350 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/6721/statm: 216832 8350 2058 9 0 211360 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 867328
[startup+1.50263 s]
/proc/loadavg: 2.08 2.02 1.99 4/85 6734
/proc/meminfo: memFree=1714888/2055920 swapFree=4180396/4192956
[pid=6721] ppid=6719 vsize=867528 CPUtime=1.47
/proc/6721/stat : 6721 (java) S 6719 6721 4951 0 -1 0 17443 326 1 0 136 10 1 0 18 0 9 0 1983991319 888348672 11407 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/6721/statm: 216882 11407 2632 9 0 211388 0
[pid=6721/tid=6723] ppid=6719 vsize=867528 CPUtime=1.14
/proc/6721/task/6723/stat : 6723 (java) R 6719 6721 4951 0 -1 64 13209 326 1 0 106 7 1 0 21 0 9 0 1983991320 888348672 11407 996147200 134512640 134550740 4294955968 18446744073709551615 4126941570 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6721/tid=6724] ppid=6719 vsize=867528 CPUtime=0.05
/proc/6721/task/6724/stat : 6724 (java) S 6719 6721 4951 0 -1 64 2678 326 0 0 4 0 1 0 17 0 9 0 1983991321 888348672 11407 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=6721/tid=6725] ppid=6719 vsize=867528 CPUtime=0.01
/proc/6721/task/6725/stat : 6725 (java) S 6719 6721 4951 0 -1 64 13 326 0 0 0 0 1 0 16 0 9 0 1983991321 888348672 11407 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6721/tid=6726] ppid=6719 vsize=867528 CPUtime=0.01
/proc/6721/task/6726/stat : 6726 (java) S 6719 6721 4951 0 -1 64 8 326 0 0 0 0 1 0 16 0 9 0 1983991321 888348672 11407 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6721/tid=6727] ppid=6719 vsize=867528 CPUtime=0.01
/proc/6721/task/6727/stat : 6727 (java) S 6719 6721 4951 0 -1 64 1 326 0 0 0 0 1 0 24 0 9 0 1983991323 888348672 11407 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=6721/tid=6728] ppid=6719 vsize=867528 CPUtime=0.27
/proc/6721/task/6728/stat : 6728 (java) S 6719 6721 4951 0 -1 64 722 326 0 0 25 1 1 0 15 0 9 0 1983991323 888348672 11407 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6721/tid=6729] ppid=6719 vsize=867528 CPUtime=0.01
/proc/6721/task/6729/stat : 6729 (java) S 6719 6721 4951 0 -1 64 2 326 0 0 0 0 1 0 25 0 9 0 1983991323 888348672 11407 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=6721/tid=6730] ppid=6719 vsize=867528 CPUtime=0.01
/proc/6721/task/6730/stat : 6730 (java) S 6719 6721 4951 0 -1 64 9 326 0 0 0 0 1 0 15 0 9 0 1983991323 888348672 11407 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 867528
[startup+3.1028 s]
/proc/loadavg: 2.08 2.02 1.99 3/83 6734
/proc/meminfo: memFree=1713680/2055920 swapFree=4180396/4192956
[pid=6721] ppid=6719 vsize=867528 CPUtime=3.06
/proc/6721/stat : 6721 (java) S 6719 6721 4951 0 -1 0 17807 326 1 0 295 10 1 0 18 0 9 0 1983991319 888348672 11767 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/6721/statm: 216882 11767 2632 9 0 211388 0
[pid=6721/tid=6723] ppid=6719 vsize=867528 CPUtime=2.7
/proc/6721/task/6723/stat : 6723 (java) R 6719 6721 4951 0 -1 64 13557 326 1 0 262 7 1 0 25 0 9 0 1983991320 888348672 11767 996147200 134512640 134550740 4294955968 18446744073709551615 4126763104 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6721/tid=6724] ppid=6719 vsize=867528 CPUtime=0.05
/proc/6721/task/6724/stat : 6724 (java) S 6719 6721 4951 0 -1 64 2678 326 0 0 4 0 1 0 17 0 9 0 1983991321 888348672 11767 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=6721/tid=6725] ppid=6719 vsize=867528 CPUtime=0.01
/proc/6721/task/6725/stat : 6725 (java) S 6719 6721 4951 0 -1 64 13 326 0 0 0 0 1 0 16 0 9 0 1983991321 888348672 11767 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6721/tid=6726] ppid=6719 vsize=867528 CPUtime=0.01
/proc/6721/task/6726/stat : 6726 (java) S 6719 6721 4951 0 -1 64 8 326 0 0 0 0 1 0 16 0 9 0 1983991321 888348672 11767 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6721/tid=6727] ppid=6719 vsize=867528 CPUtime=0.01
/proc/6721/task/6727/stat : 6727 (java) S 6719 6721 4951 0 -1 64 1 326 0 0 0 0 1 0 24 0 9 0 1983991323 888348672 11767 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=6721/tid=6728] ppid=6719 vsize=867528 CPUtime=0.29
/proc/6721/task/6728/stat : 6728 (java) S 6719 6721 4951 0 -1 64 738 326 0 0 27 1 1 0 15 0 9 0 1983991323 888348672 11767 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6721/tid=6729] ppid=6719 vsize=867528 CPUtime=0.01
/proc/6721/task/6729/stat : 6729 (java) S 6719 6721 4951 0 -1 64 2 326 0 0 0 0 1 0 25 0 9 0 1983991323 888348672 11767 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=6721/tid=6730] ppid=6719 vsize=867528 CPUtime=0.01
/proc/6721/task/6730/stat : 6730 (java) S 6719 6721 4951 0 -1 64 9 326 0 0 0 0 1 0 15 0 9 0 1983991323 888348672 11767 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 867528
[startup+6.30112 s]
/proc/loadavg: 2.07 2.02 1.99 3/83 6734
/proc/meminfo: memFree=1710864/2055920 swapFree=4180396/4192956
[pid=6721] ppid=6719 vsize=867528 CPUtime=6.22
/proc/6721/stat : 6721 (java) S 6719 6721 4951 0 -1 0 18453 326 1 0 611 10 1 0 18 0 9 0 1983991319 888348672 12399 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/6721/statm: 216882 12399 2632 9 0 211388 0
[pid=6721/tid=6723] ppid=6719 vsize=867528 CPUtime=5.87
/proc/6721/task/6723/stat : 6723 (java) R 6719 6721 4951 0 -1 64 14190 326 1 0 578 8 1 0 25 0 9 0 1983991320 888348672 12399 996147200 134512640 134550740 4294955968 18446744073709551615 4126935575 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6721/tid=6724] ppid=6719 vsize=867528 CPUtime=0.05
/proc/6721/task/6724/stat : 6724 (java) S 6719 6721 4951 0 -1 64 2678 326 0 0 4 0 1 0 16 0 9 0 1983991321 888348672 12399 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=6721/tid=6725] ppid=6719 vsize=867528 CPUtime=0.01
/proc/6721/task/6725/stat : 6725 (java) S 6719 6721 4951 0 -1 64 13 326 0 0 0 0 1 0 16 0 9 0 1983991321 888348672 12399 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6721/tid=6726] ppid=6719 vsize=867528 CPUtime=0.01
/proc/6721/task/6726/stat : 6726 (java) S 6719 6721 4951 0 -1 64 8 326 0 0 0 0 1 0 16 0 9 0 1983991321 888348672 12399 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6721/tid=6727] ppid=6719 vsize=867528 CPUtime=0.01
/proc/6721/task/6727/stat : 6727 (java) S 6719 6721 4951 0 -1 64 1 326 0 0 0 0 1 0 24 0 9 0 1983991323 888348672 12399 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=6721/tid=6728] ppid=6719 vsize=867528 CPUtime=0.29
/proc/6721/task/6728/stat : 6728 (java) S 6719 6721 4951 0 -1 64 739 326 0 0 27 1 1 0 16 0 9 0 1983991323 888348672 12399 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6721/tid=6729] ppid=6719 vsize=867528 CPUtime=0.01
/proc/6721/task/6729/stat : 6729 (java) S 6719 6721 4951 0 -1 64 2 326 0 0 0 0 1 0 25 0 9 0 1983991323 888348672 12399 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=6721/tid=6730] ppid=6719 vsize=867528 CPUtime=0.01
/proc/6721/task/6730/stat : 6730 (java) S 6719 6721 4951 0 -1 64 21 326 0 0 0 0 1 0 15 0 9 0 1983991323 888348672 12399 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 867528
[startup+12.7018 s]
/proc/loadavg: 2.07 2.02 1.99 3/83 6734
/proc/meminfo: memFree=1705104/2055920 swapFree=4180396/4192956
[pid=6721] ppid=6719 vsize=867528 CPUtime=12.57
/proc/6721/stat : 6721 (java) S 6719 6721 4951 0 -1 0 19812 326 1 0 1245 11 1 0 18 0 9 0 1983991319 888348672 13755 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/6721/statm: 216882 13755 2632 9 0 211388 0
[pid=6721/tid=6723] ppid=6719 vsize=867528 CPUtime=12.21
/proc/6721/task/6723/stat : 6723 (java) R 6719 6721 4951 0 -1 64 15549 326 1 0 1212 8 1 0 25 0 9 0 1983991320 888348672 13755 996147200 134512640 134550740 4294955968 18446744073709551615 4126935620 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6721/tid=6724] ppid=6719 vsize=867528 CPUtime=0.05
/proc/6721/task/6724/stat : 6724 (java) S 6719 6721 4951 0 -1 64 2678 326 0 0 4 0 1 0 16 0 9 0 1983991321 888348672 13755 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=6721/tid=6725] ppid=6719 vsize=867528 CPUtime=0.01
/proc/6721/task/6725/stat : 6725 (java) S 6719 6721 4951 0 -1 64 13 326 0 0 0 0 1 0 16 0 9 0 1983991321 888348672 13755 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6721/tid=6726] ppid=6719 vsize=867528 CPUtime=0.01
/proc/6721/task/6726/stat : 6726 (java) S 6719 6721 4951 0 -1 64 8 326 0 0 0 0 1 0 16 0 9 0 1983991321 888348672 13755 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6721/tid=6727] ppid=6719 vsize=867528 CPUtime=0.01
/proc/6721/task/6727/stat : 6727 (java) S 6719 6721 4951 0 -1 64 1 326 0 0 0 0 1 0 24 0 9 0 1983991323 888348672 13755 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=6721/tid=6728] ppid=6719 vsize=867528 CPUtime=0.29
/proc/6721/task/6728/stat : 6728 (java) S 6719 6721 4951 0 -1 64 739 326 0 0 27 1 1 0 16 0 9 0 1983991323 888348672 13755 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6721/tid=6729] ppid=6719 vsize=867528 CPUtime=0.01
/proc/6721/task/6729/stat : 6729 (java) S 6719 6721 4951 0 -1 64 2 326 0 0 0 0 1 0 25 0 9 0 1983991323 888348672 13755 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=6721/tid=6730] ppid=6719 vsize=867528 CPUtime=0.01
/proc/6721/task/6730/stat : 6730 (java) S 6719 6721 4951 0 -1 64 21 326 0 0 0 0 1 0 15 0 9 0 1983991323 888348672 13755 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 867528
Solver just ended. Dumping a history of the last processes samples
[startup+13.1018 s]
/proc/loadavg: 2.07 2.02 1.99 3/83 6734
/proc/meminfo: memFree=1704208/2055920 swapFree=4180396/4192956
[pid=6721] ppid=6719 vsize=867528 CPUtime=12.97
/proc/6721/stat : 6721 (java) S 6719 6721 4951 0 -1 0 19899 326 1 0 1285 11 1 0 18 0 9 0 1983991319 888348672 13842 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/6721/statm: 216882 13842 2632 9 0 211388 0
[pid=6721/tid=6723] ppid=6719 vsize=867528 CPUtime=12.61
/proc/6721/task/6723/stat : 6723 (java) R 6719 6721 4951 0 -1 64 15636 326 1 0 1252 8 1 0 25 0 9 0 1983991320 888348672 13842 996147200 134512640 134550740 4294955968 18446744073709551615 4126935561 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6721/tid=6724] ppid=6719 vsize=867528 CPUtime=0.05
/proc/6721/task/6724/stat : 6724 (java) S 6719 6721 4951 0 -1 64 2678 326 0 0 4 0 1 0 16 0 9 0 1983991321 888348672 13842 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=6721/tid=6725] ppid=6719 vsize=867528 CPUtime=0.01
/proc/6721/task/6725/stat : 6725 (java) S 6719 6721 4951 0 -1 64 13 326 0 0 0 0 1 0 16 0 9 0 1983991321 888348672 13842 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6721/tid=6726] ppid=6719 vsize=867528 CPUtime=0.01
/proc/6721/task/6726/stat : 6726 (java) S 6719 6721 4951 0 -1 64 8 326 0 0 0 0 1 0 16 0 9 0 1983991321 888348672 13842 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6721/tid=6727] ppid=6719 vsize=867528 CPUtime=0.01
/proc/6721/task/6727/stat : 6727 (java) S 6719 6721 4951 0 -1 64 1 326 0 0 0 0 1 0 24 0 9 0 1983991323 888348672 13842 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=6721/tid=6728] ppid=6719 vsize=867528 CPUtime=0.29
/proc/6721/task/6728/stat : 6728 (java) S 6719 6721 4951 0 -1 64 739 326 0 0 27 1 1 0 16 0 9 0 1983991323 888348672 13842 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6721/tid=6729] ppid=6719 vsize=867528 CPUtime=0.01
/proc/6721/task/6729/stat : 6729 (java) S 6719 6721 4951 0 -1 64 2 326 0 0 0 0 1 0 25 0 9 0 1983991323 888348672 13842 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=6721/tid=6730] ppid=6719 vsize=867528 CPUtime=0.01
/proc/6721/task/6730/stat : 6730 (java) S 6719 6721 4951 0 -1 64 21 326 0 0 0 0 1 0 15 0 9 0 1983991323 888348672 13842 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.97
Current children cumulated vsize (KiB) 867528
[startup+13.5019 s]
/proc/loadavg: 2.07 2.02 1.99 3/83 6734
/proc/meminfo: memFree=1704208/2055920 swapFree=4180396/4192956
[pid=6721] ppid=6719 vsize=867528 CPUtime=13.36
/proc/6721/stat : 6721 (java) S 6719 6721 4951 0 -1 0 19981 326 1 0 1324 11 1 0 18 0 9 0 1983991319 888348672 13924 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/6721/statm: 216882 13924 2632 9 0 211388 0
[pid=6721/tid=6723] ppid=6719 vsize=867528 CPUtime=13
/proc/6721/task/6723/stat : 6723 (java) R 6719 6721 4951 0 -1 64 15718 326 1 0 1291 8 1 0 25 0 9 0 1983991320 888348672 13924 996147200 134512640 134550740 4294955968 18446744073709551615 4126919238 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6721/tid=6724] ppid=6719 vsize=867528 CPUtime=0.05
/proc/6721/task/6724/stat : 6724 (java) S 6719 6721 4951 0 -1 64 2678 326 0 0 4 0 1 0 16 0 9 0 1983991321 888348672 13924 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=6721/tid=6725] ppid=6719 vsize=867528 CPUtime=0.01
/proc/6721/task/6725/stat : 6725 (java) S 6719 6721 4951 0 -1 64 13 326 0 0 0 0 1 0 16 0 9 0 1983991321 888348672 13924 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6721/tid=6726] ppid=6719 vsize=867528 CPUtime=0.01
/proc/6721/task/6726/stat : 6726 (java) S 6719 6721 4951 0 -1 64 8 326 0 0 0 0 1 0 16 0 9 0 1983991321 888348672 13924 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6721/tid=6727] ppid=6719 vsize=867528 CPUtime=0.01
/proc/6721/task/6727/stat : 6727 (java) S 6719 6721 4951 0 -1 64 1 326 0 0 0 0 1 0 24 0 9 0 1983991323 888348672 13924 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=6721/tid=6728] ppid=6719 vsize=867528 CPUtime=0.29
/proc/6721/task/6728/stat : 6728 (java) S 6719 6721 4951 0 -1 64 739 326 0 0 27 1 1 0 16 0 9 0 1983991323 888348672 13924 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6721/tid=6729] ppid=6719 vsize=867528 CPUtime=0.01
/proc/6721/task/6729/stat : 6729 (java) S 6719 6721 4951 0 -1 64 2 326 0 0 0 0 1 0 25 0 9 0 1983991323 888348672 13924 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=6721/tid=6730] ppid=6719 vsize=867528 CPUtime=0.01
/proc/6721/task/6730/stat : 6730 (java) S 6719 6721 4951 0 -1 64 21 326 0 0 0 0 1 0 15 0 9 0 1983991323 888348672 13924 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 13.36
Current children cumulated vsize (KiB) 867528
[startup+13.6019 s]
/proc/loadavg: 2.07 2.02 1.99 3/83 6734
/proc/meminfo: memFree=1704208/2055920 swapFree=4180396/4192956
[pid=6721] ppid=6719 vsize=867528 CPUtime=13.46
/proc/6721/stat : 6721 (java) S 6719 6721 4951 0 -1 0 20004 326 1 0 1334 11 1 0 18 0 9 0 1983991319 888348672 13947 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/6721/statm: 216882 13947 2632 9 0 211388 0
[pid=6721/tid=6723] ppid=6719 vsize=867528 CPUtime=13.1
/proc/6721/task/6723/stat : 6723 (java) R 6719 6721 4951 0 -1 64 15741 326 1 0 1301 8 1 0 25 0 9 0 1983991320 888348672 13947 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6721/tid=6724] ppid=6719 vsize=867528 CPUtime=0.05
/proc/6721/task/6724/stat : 6724 (java) S 6719 6721 4951 0 -1 64 2678 326 0 0 4 0 1 0 16 0 9 0 1983991321 888348672 13947 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=6721/tid=6725] ppid=6719 vsize=867528 CPUtime=0.01
/proc/6721/task/6725/stat : 6725 (java) S 6719 6721 4951 0 -1 64 13 326 0 0 0 0 1 0 16 0 9 0 1983991321 888348672 13947 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6721/tid=6726] ppid=6719 vsize=867528 CPUtime=0.01
/proc/6721/task/6726/stat : 6726 (java) S 6719 6721 4951 0 -1 64 8 326 0 0 0 0 1 0 16 0 9 0 1983991321 888348672 13947 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6721/tid=6727] ppid=6719 vsize=867528 CPUtime=0.01
/proc/6721/task/6727/stat : 6727 (java) S 6719 6721 4951 0 -1 64 1 326 0 0 0 0 1 0 24 0 9 0 1983991323 888348672 13947 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=6721/tid=6728] ppid=6719 vsize=867528 CPUtime=0.3
/proc/6721/task/6728/stat : 6728 (java) S 6719 6721 4951 0 -1 64 739 326 0 0 28 1 1 0 16 0 9 0 1983991323 888348672 13947 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6721/tid=6729] ppid=6719 vsize=867528 CPUtime=0.01
/proc/6721/task/6729/stat : 6729 (java) S 6719 6721 4951 0 -1 64 2 326 0 0 0 0 1 0 25 0 9 0 1983991323 888348672 13947 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=6721/tid=6730] ppid=6719 vsize=867528 CPUtime=0.01
/proc/6721/task/6730/stat : 6730 (java) S 6719 6721 4951 0 -1 64 21 326 0 0 0 0 1 0 15 0 9 0 1983991323 888348672 13947 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 13.46
Current children cumulated vsize (KiB) 867528
Child status: 0
Real time (s): 13.644
CPU time (s): 13.4939
CPU user time (s): 13.363
CPU system time (s): 0.13098
CPU usage (%): 98.9004
Max. virtual memory (cumulated for all children) (KiB): 867572
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 13.363
system time used= 0.13098
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20446
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1708
involuntary context switches= 1764
runsolver used 0.023996 second user time and 0.048992 second system time
The end
Begin job on node44 at 2008-07-03 03:56:25
IDJOB=1050551
IDBENCH=54983
IDSOLVER=364
FILE ID=node44/1050551-1215050185
PBS_JOBID= 7875088
Free space on /tmp= 66528 MiB
SOLVER NAME= Abscon 112v4 ESAC
BENCH NAME= CPAI08/csp/ssa/normalized-ssa-0432-003_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= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1050551-1215050185/watcher-1050551-1215050185 -o /tmp/evaluation-result-1050551-1215050185/solver-1050551-1215050185 -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-1050551-1215050185.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= 670dcbc3a964190b1ba9c38a9dd8fdfe
RANDOM SEED=494591825
node44.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.213
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.213
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1750400 kB
Buffers: 39524 kB
Cached: 160536 kB
SwapCached: 6524 kB
Active: 157484 kB
Inactive: 76216 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1750400 kB
SwapTotal: 4192956 kB
SwapFree: 4180396 kB
Dirty: 2080 kB
Writeback: 0 kB
Mapped: 40756 kB
Slab: 57032 kB
Committed_AS: 3433496 kB
PageTables: 1876 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= 66524 MiB
End job on node44 at 2008-07-03 03:56:38