0.32
0.32 Abscon 109 (November, 2006)
0.32
0.32 configuration
0.32 name=esac.xml
0.35
0.35 instance
0.35 name=/tmp/evaluation/206153-1168169985/unknown.xml
0.39
0.39 domains being loaded...
0.42
0.42 variables being loaded...
0.70 nbVariables=2000 nbDomainTypes=26 minDomainSize=46 maxDomainSize=454
0.70 => wckTime=0.378 cpuTime=0.28 mem=34M237
0.70
0.70 predicates being loaded...
0.70
0.70 constraints being loaded...
203.13
203.13 INFO : Stopping converting binary constraints (cpu=200.04, mem = 103M816)
204.79 nbConstraints=10067 nbMergedConstraints=8533 nbConvertedConstraints=3533 nbConvertConstraintsChecks=372972994
204.79 nbExtensionStructures=2858 nbSharedExtensionStructures=675 nbConflictsStructures=2858
204.79 nbSharedConflictsStructures=675 nbSharedBinaryRepresentations=1890989 nbEvaluationManagers=4999
204.79 nbSharedEvaluationManagers=1535 maxDegree=13 maxArity=2
204.79 => wckTime=204.472 cpuTime=201.41 mem=110M853
205.18
205.18 solver IterativeSystematicSolver being built...
205.61 => wckTime=205.29 cpuTime=201.74 mem=125M855
205.79
205.79 preprocessing
205.79 nbConstraintChecks=170770 nbValidityChecks=3522 nbPropagations=17 nbRevisions=269 nbUselessRevisions=136
205.79 nbRemovedValues=17513 detectedInconsistency=yes
205.79 => wckTime=0.156 cpuTime=0.13 mem=125M855
205.79
205.79 global
205.79 nbConstraintChecks=170770 nbValidityChecks=3522 nbPropagations=17 nbRevisions=269 nbUselessRevisions=136
205.79 nbRestartNogoods=0 solvingWckTime=0.16 solvingCpuTime=0.14 expiredTime=no totalExploration=yes
205.79 nbFoundSolutions=0 globalCpuTime=201.95
205.79 => wckTime=205.473 cpuTime=201.9 mem=125M855
205.80
205.80 s UNSATISFIABLE
205.80 d NODES 0
205.80 d CHECKS 170770
205.80
205.80 totalWckTime=205.56 totalCpuTime=201.95
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node16/watcher-206153-1168169985 -o ROOT/results/node16/solver-206153-1168169985 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/206153-1168169985/unknown.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 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
/proc/loadavg: 2.05 2.05 2.01 5/94 19592
/proc/meminfo: memFree=1426584/2055920 swapFree=4191880/4192956
[pid=19591] ppid=19589 vsize=18540 CPUtime=0
/proc/19591/stat : 19591 (runsolver) R 19589 19591 17909 0 -1 4194368 17 0 0 0 0 0 0 0 20 0 1 0 165393385 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 231962373415 0 2147483391 4096 24578 0 0 0 17 0 0 0
/proc/19591/statm: 4635 279 244 17 0 2626 0
[startup+0.103622 s]
/proc/loadavg: 2.05 2.05 2.01 5/94 19592
/proc/meminfo: memFree=1426584/2055920 swapFree=4191880/4192956
[pid=19591] ppid=19589 vsize=913228 CPUtime=0.08
/proc/19591/stat : 19591 (java) R 19589 19591 17909 0 -1 0 2893 0 1 0 6 2 0 0 25 0 8 0 165393385 935145472 2639 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19591/statm: 228307 2639 1396 14 0 215208 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 913228
[startup+0.511544 s]
/proc/loadavg: 2.05 2.05 2.01 5/94 19592
/proc/meminfo: memFree=1426584/2055920 swapFree=4191880/4192956
[pid=19591] ppid=19589 vsize=915328 CPUtime=0.48
/proc/19591/stat : 19591 (java) R 19589 19591 17909 0 -1 0 7429 0 1 0 43 5 0 0 25 0 8 0 165393385 937295872 7168 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073574892 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19591/statm: 228832 7168 2138 14 0 215302 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915328
[startup+1.33441 s]
/proc/loadavg: 2.05 2.05 2.01 3/101 19599
/proc/meminfo: memFree=1346912/2055920 swapFree=4191880/4192956
[pid=19591] ppid=19589 vsize=915648 CPUtime=1.3
/proc/19591/stat : 19591 (java) R 19589 19591 17909 0 -1 0 24279 0 1 0 115 15 0 0 25 0 8 0 165393385 937623552 24016 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073752325 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19591/statm: 228912 24016 2160 14 0 215382 0
[pid=19591/tid=19593] ppid=19589 vsize=915648 CPUtime=0.12
/proc/19591/task/19593/stat : 19593 (java) S 19589 19591 17909 0 -1 64 7735 0 0 0 9 3 0 0 16 0 8 0 165393389 937623552 24016 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=19591/tid=19594] ppid=19589 vsize=915648 CPUtime=0
/proc/19591/task/19594/stat : 19594 (java) S 19589 19591 17909 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 165393390 937623552 24016 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19591/tid=19595] ppid=19589 vsize=915648 CPUtime=0
/proc/19591/task/19595/stat : 19595 (java) S 19589 19591 17909 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165393390 937623552 24016 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19591/tid=19596] ppid=19589 vsize=915648 CPUtime=0
/proc/19591/task/19596/stat : 19596 (java) S 19589 19591 17909 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 165393393 937623552 24016 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19591/tid=19597] ppid=19589 vsize=915648 CPUtime=0.16
/proc/19591/task/19597/stat : 19597 (java) S 19589 19591 17909 0 -1 64 410 0 0 0 16 0 0 0 16 0 8 0 165393393 937623552 24016 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19591/tid=19598] ppid=19589 vsize=915648 CPUtime=0
/proc/19591/task/19598/stat : 19598 (java) S 19589 19591 17909 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 165393393 937623552 24016 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19591/tid=19599] ppid=19589 vsize=915648 CPUtime=0
/proc/19591/task/19599/stat : 19599 (java) R 19589 19591 17909 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 165393393 937623552 24016 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915648
[startup+2.98709 s]
/proc/loadavg: 2.05 2.05 2.01 3/101 19599
/proc/meminfo: memFree=1336160/2055920 swapFree=4191880/4192956
[pid=19591] ppid=19589 vsize=915648 CPUtime=2.94
/proc/19591/stat : 19591 (java) R 19589 19591 17909 0 -1 0 24354 0 1 0 278 16 0 0 25 0 8 0 165393385 937623552 24090 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073828956 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19591/statm: 228912 24090 2180 14 0 215382 0
[pid=19591/tid=19593] ppid=19589 vsize=915648 CPUtime=0.12
/proc/19591/task/19593/stat : 19593 (java) S 19589 19591 17909 0 -1 64 7735 0 0 0 9 3 0 0 17 0 8 0 165393389 937623552 24090 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=19591/tid=19594] ppid=19589 vsize=915648 CPUtime=0
/proc/19591/task/19594/stat : 19594 (java) S 19589 19591 17909 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 165393390 937623552 24090 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19591/tid=19595] ppid=19589 vsize=915648 CPUtime=0
/proc/19591/task/19595/stat : 19595 (java) S 19589 19591 17909 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165393390 937623552 24090 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19591/tid=19596] ppid=19589 vsize=915648 CPUtime=0
/proc/19591/task/19596/stat : 19596 (java) S 19589 19591 17909 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 165393393 937623552 24090 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19591/tid=19597] ppid=19589 vsize=915648 CPUtime=0.18
/proc/19591/task/19597/stat : 19597 (java) S 19589 19591 17909 0 -1 64 423 0 0 0 18 0 0 0 15 0 8 0 165393393 937623552 24090 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19591/tid=19598] ppid=19589 vsize=915648 CPUtime=0
/proc/19591/task/19598/stat : 19598 (java) S 19589 19591 17909 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 165393393 937623552 24090 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19591/tid=19599] ppid=19589 vsize=915648 CPUtime=0
/proc/19591/task/19599/stat : 19599 (java) S 19589 19591 17909 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 165393393 937623552 24090 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 915648
[startup+6.2775 s]
/proc/loadavg: 2.05 2.05 2.01 3/101 19599
/proc/meminfo: memFree=1330336/2055920 swapFree=4191880/4192956
[pid=19591] ppid=19589 vsize=915648 CPUtime=6.2
/proc/19591/stat : 19591 (java) R 19589 19591 17909 0 -1 0 24361 0 1 0 604 16 0 0 25 0 8 0 165393385 937623552 24096 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073830759 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19591/statm: 228912 24096 2180 14 0 215382 0
[pid=19591/tid=19593] ppid=19589 vsize=915648 CPUtime=0.12
/proc/19591/task/19593/stat : 19593 (java) S 19589 19591 17909 0 -1 64 7735 0 0 0 9 3 0 0 16 0 8 0 165393389 937623552 24096 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=19591/tid=19594] ppid=19589 vsize=915648 CPUtime=0
/proc/19591/task/19594/stat : 19594 (java) S 19589 19591 17909 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 165393390 937623552 24096 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19591/tid=19595] ppid=19589 vsize=915648 CPUtime=0
/proc/19591/task/19595/stat : 19595 (java) S 19589 19591 17909 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165393390 937623552 24096 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19591/tid=19596] ppid=19589 vsize=915648 CPUtime=0
/proc/19591/task/19596/stat : 19596 (java) S 19589 19591 17909 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 165393393 937623552 24096 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19591/tid=19597] ppid=19589 vsize=915648 CPUtime=0.19
/proc/19591/task/19597/stat : 19597 (java) S 19589 19591 17909 0 -1 64 429 0 0 0 19 0 0 0 15 0 8 0 165393393 937623552 24096 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19591/tid=19598] ppid=19589 vsize=915648 CPUtime=0
/proc/19591/task/19598/stat : 19598 (java) S 19589 19591 17909 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 165393393 937623552 24096 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19591/tid=19599] ppid=19589 vsize=915648 CPUtime=0
/proc/19591/task/19599/stat : 19599 (java) S 19589 19591 17909 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 165393393 937623552 24096 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 915648
[startup+12.7633 s]
/proc/loadavg: 2.04 2.05 2.01 4/101 19599
/proc/meminfo: memFree=1325600/2055920 swapFree=4191880/4192956
[pid=19591] ppid=19589 vsize=915648 CPUtime=12.63
/proc/19591/stat : 19591 (java) R 19589 19591 17909 0 -1 0 24492 0 1 0 1246 17 0 0 25 0 8 0 165393385 937623552 24226 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073828914 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19591/statm: 228912 24226 2181 14 0 215382 0
[pid=19591/tid=19593] ppid=19589 vsize=915648 CPUtime=0.18
/proc/19591/task/19593/stat : 19593 (java) S 19589 19591 17909 0 -1 64 7858 0 0 0 14 4 0 0 16 0 8 0 165393389 937623552 24226 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=19591/tid=19594] ppid=19589 vsize=915648 CPUtime=0
/proc/19591/task/19594/stat : 19594 (java) S 19589 19591 17909 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 165393390 937623552 24226 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19591/tid=19595] ppid=19589 vsize=915648 CPUtime=0
/proc/19591/task/19595/stat : 19595 (java) S 19589 19591 17909 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165393390 937623552 24226 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19591/tid=19596] ppid=19589 vsize=915648 CPUtime=0
/proc/19591/task/19596/stat : 19596 (java) S 19589 19591 17909 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 165393393 937623552 24226 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19591/tid=19597] ppid=19589 vsize=915648 CPUtime=0.21
/proc/19591/task/19597/stat : 19597 (java) S 19589 19591 17909 0 -1 64 435 0 0 0 20 1 0 0 15 0 8 0 165393393 937623552 24226 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19591/tid=19598] ppid=19589 vsize=915648 CPUtime=0
/proc/19591/task/19598/stat : 19598 (java) S 19589 19591 17909 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 165393393 937623552 24226 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19591/tid=19599] ppid=19589 vsize=915648 CPUtime=0
/proc/19591/task/19599/stat : 19599 (java) S 19589 19591 17909 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 165393393 937623552 24226 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.63
Current children cumulated vsize (KiB) 915648
[startup+25.597 s]
/proc/loadavg: 2.19 2.08 2.01 3/101 19599
/proc/meminfo: memFree=1310752/2055920 swapFree=4191880/4192956
[pid=19591] ppid=19589 vsize=915648 CPUtime=25.33
/proc/19591/stat : 19591 (java) R 19589 19591 17909 0 -1 0 24494 0 1 0 2515 18 0 0 25 0 8 0 165393385 937623552 24227 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073832551 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19591/statm: 228912 24227 2181 14 0 215382 0
[pid=19591/tid=19593] ppid=19589 vsize=915648 CPUtime=0.18
/proc/19591/task/19593/stat : 19593 (java) S 19589 19591 17909 0 -1 64 7858 0 0 0 14 4 0 0 16 0 8 0 165393389 937623552 24227 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=19591/tid=19594] ppid=19589 vsize=915648 CPUtime=0
/proc/19591/task/19594/stat : 19594 (java) S 19589 19591 17909 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 165393390 937623552 24227 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19591/tid=19595] ppid=19589 vsize=915648 CPUtime=0
/proc/19591/task/19595/stat : 19595 (java) S 19589 19591 17909 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165393390 937623552 24227 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19591/tid=19596] ppid=19589 vsize=915648 CPUtime=0
/proc/19591/task/19596/stat : 19596 (java) S 19589 19591 17909 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 165393393 937623552 24227 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19591/tid=19597] ppid=19589 vsize=915648 CPUtime=0.22
/proc/19591/task/19597/stat : 19597 (java) S 19589 19591 17909 0 -1 64 436 0 0 0 21 1 0 0 16 0 8 0 165393393 937623552 24227 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19591/tid=19598] ppid=19589 vsize=915648 CPUtime=0
/proc/19591/task/19598/stat : 19598 (java) S 19589 19591 17909 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 165393393 937623552 24227 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19591/tid=19599] ppid=19589 vsize=915648 CPUtime=0
/proc/19591/task/19599/stat : 19599 (java) S 19589 19591 17909 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 165393393 937623552 24227 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.33
Current children cumulated vsize (KiB) 915648
[startup+51.1983 s]
/proc/loadavg: 2.12 2.07 2.01 3/101 19599
/proc/meminfo: memFree=1254496/2055920 swapFree=4191880/4192956
[pid=19591] ppid=19589 vsize=915648 CPUtime=50.68
/proc/19591/stat : 19591 (java) R 19589 19591 17909 0 -1 0 28199 0 1 0 5046 22 0 0 25 0 8 0 165393385 937623552 27929 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073833128 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19591/statm: 228912 27929 2181 14 0 215382 0
[pid=19591/tid=19593] ppid=19589 vsize=915648 CPUtime=0.32
/proc/19591/task/19593/stat : 19593 (java) S 19589 19591 17909 0 -1 64 11555 0 0 0 27 5 0 0 16 0 8 0 165393389 937623552 27929 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=19591/tid=19594] ppid=19589 vsize=915648 CPUtime=0
/proc/19591/task/19594/stat : 19594 (java) S 19589 19591 17909 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 165393390 937623552 27929 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19591/tid=19595] ppid=19589 vsize=915648 CPUtime=0
/proc/19591/task/19595/stat : 19595 (java) S 19589 19591 17909 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165393390 937623552 27929 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19591/tid=19596] ppid=19589 vsize=915648 CPUtime=0
/proc/19591/task/19596/stat : 19596 (java) S 19589 19591 17909 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 165393393 937623552 27929 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19591/tid=19597] ppid=19589 vsize=915648 CPUtime=0.23
/proc/19591/task/19597/stat : 19597 (java) S 19589 19591 17909 0 -1 64 441 0 0 0 22 1 0 0 16 0 8 0 165393393 937623552 27929 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19591/tid=19598] ppid=19589 vsize=915648 CPUtime=0
/proc/19591/task/19598/stat : 19598 (java) S 19589 19591 17909 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 165393393 937623552 27929 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19591/tid=19599] ppid=19589 vsize=915648 CPUtime=0
/proc/19591/task/19599/stat : 19599 (java) S 19589 19591 17909 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 165393393 937623552 27929 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.68
Current children cumulated vsize (KiB) 915648
[startup+102.4 s]
/proc/loadavg: 2.10 2.07 2.01 3/101 19599
/proc/meminfo: memFree=1172192/2055920 swapFree=4191880/4192956
[pid=19591] ppid=19589 vsize=915648 CPUtime=101.38
/proc/19591/stat : 19591 (java) R 19589 19591 17909 0 -1 0 30317 0 1 0 10111 27 0 0 25 0 8 0 165393385 937623552 30045 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073830759 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19591/statm: 228912 30045 2181 14 0 215382 0
[pid=19591/tid=19593] ppid=19589 vsize=915648 CPUtime=0.45
/proc/19591/task/19593/stat : 19593 (java) S 19589 19591 17909 0 -1 64 13665 0 0 0 38 7 0 0 16 0 8 0 165393389 937623552 30045 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=19591/tid=19594] ppid=19589 vsize=915648 CPUtime=0
/proc/19591/task/19594/stat : 19594 (java) S 19589 19591 17909 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 165393390 937623552 30045 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19591/tid=19595] ppid=19589 vsize=915648 CPUtime=0
/proc/19591/task/19595/stat : 19595 (java) S 19589 19591 17909 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165393390 937623552 30045 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19591/tid=19596] ppid=19589 vsize=915648 CPUtime=0
/proc/19591/task/19596/stat : 19596 (java) S 19589 19591 17909 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 165393393 937623552 30045 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19591/tid=19597] ppid=19589 vsize=915648 CPUtime=0.24
/proc/19591/task/19597/stat : 19597 (java) S 19589 19591 17909 0 -1 64 447 0 0 0 23 1 0 0 15 0 8 0 165393393 937623552 30045 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19591/tid=19598] ppid=19589 vsize=915648 CPUtime=0
/proc/19591/task/19598/stat : 19598 (java) S 19589 19591 17909 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 165393393 937623552 30045 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19591/tid=19599] ppid=19589 vsize=915648 CPUtime=0
/proc/19591/task/19599/stat : 19599 (java) S 19589 19591 17909 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 165393393 937623552 30045 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.38
Current children cumulated vsize (KiB) 915648
[startup+162.433 s]
/proc/loadavg: 2.09 2.07 2.01 3/101 19599
/proc/meminfo: memFree=1087008/2055920 swapFree=4191880/4192956
[pid=19591] ppid=19589 vsize=915648 CPUtime=160.84
/proc/19591/stat : 19591 (java) R 19589 19591 17909 0 -1 0 31939 0 1 0 16051 33 0 0 25 0 8 0 165393385 937623552 31665 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073832692 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19591/statm: 228912 31665 2181 14 0 215382 0
[pid=19591/tid=19593] ppid=19589 vsize=915648 CPUtime=0.56
/proc/19591/task/19593/stat : 19593 (java) S 19589 19591 17909 0 -1 64 15282 0 0 0 48 8 0 0 16 0 8 0 165393389 937623552 31665 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=19591/tid=19594] ppid=19589 vsize=915648 CPUtime=0
/proc/19591/task/19594/stat : 19594 (java) S 19589 19591 17909 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 165393390 937623552 31665 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19591/tid=19595] ppid=19589 vsize=915648 CPUtime=0
/proc/19591/task/19595/stat : 19595 (java) S 19589 19591 17909 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165393390 937623552 31665 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19591/tid=19596] ppid=19589 vsize=915648 CPUtime=0
/proc/19591/task/19596/stat : 19596 (java) S 19589 19591 17909 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 165393393 937623552 31665 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19591/tid=19597] ppid=19589 vsize=915648 CPUtime=0.25
/proc/19591/task/19597/stat : 19597 (java) S 19589 19591 17909 0 -1 64 450 0 0 0 24 1 0 0 16 0 8 0 165393393 937623552 31665 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19591/tid=19598] ppid=19589 vsize=915648 CPUtime=0
/proc/19591/task/19598/stat : 19598 (java) S 19589 19591 17909 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 165393393 937623552 31665 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19591/tid=19599] ppid=19589 vsize=915648 CPUtime=0
/proc/19591/task/19599/stat : 19599 (java) S 19589 19591 17909 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 165393393 937623552 31665 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 160.84
Current children cumulated vsize (KiB) 915648
Child status: 0
Real time (s): 205.837
CPU time (s): 203.816
CPU user time (s): 203.363
CPU system time (s): 0.452931
CPU usage (%): 99.0182
Max. virtual memory (cumulated for all children) (KiB): 915648
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 203.363
system time used= 0.452931
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 42139
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= 5772
involuntary context switches= 10942
runsolver used 0.26296 s user time and 0.657899 s system time
The end
Begin job on node16 on Sun Jan 7 11:39:45 UTC 2007
IDJOB= 206153
IDBENCH= 4188
FILE ID= node16/206153-1168169985
PBS_JOBID= 3478320
Free space on /tmp= 66506 MiB
BENCH NAME= HOME/pub/bench/CPAI06/fapp/fapp36-40/fapp36/fapp36-2000-6.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/206153-1168169985/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node16/watcher-206153-1168169985 -o ROOT/results/node16/solver-206153-1168169985 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/206153-1168169985/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 83eb19c7109a7c0773fe268e40325cfc
RANDOM SEED= 299744014
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
/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.220
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.220
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: 1427000 kB
Buffers: 9468 kB
Cached: 93420 kB
SwapCached: 268 kB
Active: 531156 kB
Inactive: 45356 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1427000 kB
SwapTotal: 4192956 kB
SwapFree: 4191880 kB
Dirty: 4280 kB
Writeback: 0 kB
Mapped: 500936 kB
Slab: 36232 kB
Committed_AS: 5058392 kB
PageTables: 3296 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= 66506 MiB
End job on node16 on Sun Jan 7 11:43:11 UTC 2007