0.30
0.30 Abscon 109 (November, 2006)
0.30
0.30 configuration
0.30 name=esac.xml
0.33
0.33 instance
0.33 name=/tmp/evaluation/217986-1168250211/unknown.xml
0.36
0.36 domains being loaded...
0.36
0.36 variables being loaded...
0.40 nbVariables=20 nbDomainTypes=1 minDomainSize=20 maxDomainSize=20
0.40 => wckTime=0.093 cpuTime=0.08 mem=6M951
0.40
0.40 relations being loaded...
0.66
0.66 constraints being loaded...
0.82 nbConstraints=60 nbRelationTypes=60 nbExtensionStructures=60 nbSharedExtensionStructures=0
0.82 nbConflictsStructures=60 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=0 maxDegree=13 maxArity=3
0.82 => wckTime=0.516 cpuTime=0.47 mem=44M587
0.90
0.90 solver IterativeSystematicSolver being built...
1.06 => wckTime=0.755 cpuTime=0.61 mem=21M490
1.14
1.14 preprocessing
1.14 nbConstraintChecks=18587 nbValidityChecks=32040 nbPropagations=161 nbRevisions=1517 nbUselessRevisions=1320
1.14 nbSingletonTests=28 nbEffectiveSingletonTests=0 nbESACBranches=4 nbRemovedValues=0 detectedInconsistency=no
1.14 => wckTime=0.081 cpuTime=0.05 mem=21M490
1.19
1.19 search
1.19 run=0 nbConstraintChecks=23889 nbValidityChecks=53008 nbPropagations=453 nbRevisions=5320
1.19 nbUselessRevisions=4357 nbAssignments=38 nbFailedAssignments=24 nbBacktracks=10 nbVisitedNodes=68
1.19 nbRestartNogoods=0 mapSize=9 nbInferences=0 nbTooLargeKeys=0
1.19 => wckTime=0.135 cpuTime=0.09 mem=22M473
1.25
1.25 search
1.25 run=1 nbConstraintChecks=62255 nbValidityChecks=133692 nbPropagations=1434 nbRevisions=17003
1.25 nbUselessRevisions=13766 nbAssignments=92 nbFailedAssignments=60 nbBacktracks=26 nbVisitedNodes=170
1.25 nbRestartNogoods=1 mapSize=24 nbInferences=0 nbTooLargeKeys=0
1.25 => wckTime=0.194 cpuTime=0.15 mem=22M473
1.33
1.33 search
1.33 run=2 nbConstraintChecks=107908 nbValidityChecks=229242 nbPropagations=3065 nbRevisions=36743
1.33 nbUselessRevisions=29558 nbAssignments=146 nbFailedAssignments=88 nbBacktracks=48 nbVisitedNodes=267
1.33 nbRestartNogoods=2 mapSize=45 nbInferences=0 nbTooLargeKeys=0
1.33 => wckTime=0.267 cpuTime=0.21 mem=22M473
1.45
1.45 search
1.45 run=3 nbConstraintChecks=195898 nbValidityChecks=408056 nbPropagations=5870 nbRevisions=70377
1.45 nbUselessRevisions=56397 nbAssignments=241 nbFailedAssignments=146 nbBacktracks=82 nbVisitedNodes=446
1.45 nbRestartNogoods=6 mapSize=77 nbInferences=0 nbTooLargeKeys=0
1.45 => wckTime=0.388 cpuTime=0.33 mem=22M473
1.61
1.61 search
1.61 run=4 nbConstraintChecks=324561 nbValidityChecks=664610 nbPropagations=10248 nbRevisions=123046
1.61 nbUselessRevisions=98172 nbAssignments=383 nbFailedAssignments=233 nbBacktracks=132 nbVisitedNodes=713
1.61 nbRestartNogoods=11 mapSize=127 nbInferences=0 nbTooLargeKeys=0
1.61 => wckTime=0.549 cpuTime=0.48 mem=22M473
1.83
1.83 search
1.83 run=5 nbConstraintChecks=500271 nbValidityChecks=1024918 nbPropagations=17078 nbRevisions=205333
1.83 nbUselessRevisions=162989 nbAssignments=582 nbFailedAssignments=352 nbBacktracks=207 nbVisitedNodes=1085
1.83 nbRestartNogoods=15 mapSize=200 nbInferences=0 nbTooLargeKeys=0
1.83 => wckTime=0.77 cpuTime=0.69 mem=22M473
2.28
2.28 search
2.28 run=6 nbConstraintChecks=861979 nbValidityChecks=1761375 nbPropagations=28658 nbRevisions=341716
2.28 nbUselessRevisions=269382 nbAssignments=958 nbFailedAssignments=592 nbBacktracks=323 nbVisitedNodes=1776
2.28 nbRestartNogoods=21 mapSize=313 nbInferences=0 nbTooLargeKeys=0
2.28 => wckTime=1.22 cpuTime=1.13 mem=22M473
2.79
2.79 search
2.79 run=7 nbConstraintChecks=1265604 nbValidityChecks=2652021 nbPropagations=45329 nbRevisions=543937
2.79 nbUselessRevisions=427802 nbAssignments=1518 nbFailedAssignments=979 nbBacktracks=493 nbVisitedNodes=2832
2.79 nbRestartNogoods=23 mapSize=462 nbInferences=0 nbTooLargeKeys=0
2.79 => wckTime=1.73 cpuTime=1.63 mem=22M473
3.55
3.55 search
3.55 run=8 nbConstraintChecks=1914925 nbValidityChecks=3936521 nbPropagations=70211 nbRevisions=847399
3.55 nbUselessRevisions=665770 nbAssignments=2240 nbFailedAssignments=1440 nbBacktracks=749 nbVisitedNodes=4213
3.55 nbRestartNogoods=27 mapSize=709 nbInferences=0 nbTooLargeKeys=0
3.55 => wckTime=2.488 cpuTime=2.36 mem=22M473
4.38
4.38 INFO : Stopping hyperNogood (mapSize=1036, nbTooLargekeys=0, mem=22M473)
4.46
4.46 search
4.46 run=9 nbConstraintChecks=2702368 nbValidityChecks=5547674 nbPropagations=106049 nbRevisions=1284613
4.46 nbUselessRevisions=1009091 nbAssignments=3183 nbFailedAssignments=1986 nbBacktracks=1133 nbVisitedNodes=5955
4.46 nbRestartNogoods=39
4.46 => wckTime=3.402 cpuTime=3.27 mem=22M473
5.93
5.93 search
5.93 run=10 nbConstraintChecks=3965491 nbValidityChecks=8109447 nbPropagations=159150 nbRevisions=1930658
5.93 nbUselessRevisions=1516990 nbAssignments=4591 nbFailedAssignments=2806 nbBacktracks=1710 nbVisitedNodes=8584
5.93 nbRestartNogoods=49
5.93 => wckTime=4.875 cpuTime=4.72 mem=22M473
8.02
8.03 search
8.03 run=11 nbConstraintChecks=5797541 nbValidityChecks=11866894 nbPropagations=238169 nbRevisions=2884247
8.03 nbUselessRevisions=2266800 nbAssignments=6922 nbFailedAssignments=4269 nbBacktracks=2575 nbVisitedNodes=12993
8.03 nbRestartNogoods=62
8.03 => wckTime=6.966 cpuTime=6.79 mem=22M473
11.10
11.10 search
11.10 run=12 nbConstraintChecks=8496716 nbValidityChecks=17444038 nbPropagations=355216 nbRevisions=4307200
11.10 nbUselessRevisions=3387081 nbAssignments=9962 nbFailedAssignments=6010 nbBacktracks=3872 nbVisitedNodes=18673
11.10 nbRestartNogoods=70
11.10 => wckTime=10.041 cpuTime=9.84 mem=22M473
15.15
15.15 search
15.15 run=13 nbConstraintChecks=11993933 nbValidityChecks=24736207 nbPropagations=520190 nbRevisions=6302338
15.15 nbUselessRevisions=4955477 nbAssignments=14256 nbFailedAssignments=8767 nbBacktracks=5389 nbVisitedNodes=26863
15.15 nbRestartNogoods=78
15.15 => wckTime=14.086 cpuTime=13.84 mem=22M473
15.15
15.15 global
15.15 nbConstraintChecks=12012520 nbValidityChecks=24768247 nbPropagations=520351 nbRevisions=6303855
15.15 nbUselessRevisions=4956797 nbRestartNogoods=78 solvingWckTime=14.087 solvingCpuTime=13.84 expiredTime=no
15.15 totalExploration=no nbFoundSolutions=1 globalCpuTime=14.49
15.15 => wckTime=14.845 cpuTime=14.45 mem=22M473
15.15
15.15 s SATISFIABLE
15.15 v 18 4 0 13 18 1 0 8 10 9 17 8 6 0 15 18 4 11 10 10
15.15 d NODES 14256
15.15 d CHECKS 12012520
15.15
15.15 totalWckTime=14.922 totalCpuTime=14.49
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node45/watcher-217986-1168250211 -o ROOT/results/node45/solver-217986-1168250211 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/217986-1168250211/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: 0.92 0.98 1.09 3/70 10706
/proc/meminfo: memFree=1796904/2055920 swapFree=4184048/4192956
[pid=10705] ppid=10702 vsize=18540 CPUtime=0
/proc/10705/stat : 10705 (runsolver) R 10702 10705 10560 0 -1 4194368 17 0 0 0 0 0 0 0 20 0 1 0 173420121 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 258939088167 0 0 4096 24578 0 0 0 17 1 0 0
/proc/10705/statm: 4635 279 244 17 0 2626 0
[startup+0.103876 s]
/proc/loadavg: 0.92 0.98 1.09 3/70 10706
/proc/meminfo: memFree=1796904/2055920 swapFree=4184048/4192956
[pid=10705] ppid=10702 vsize=914988 CPUtime=0.08
/proc/10705/stat : 10705 (java) R 10702 10705 10560 0 -1 0 2989 0 1 0 7 1 0 0 24 0 8 0 173420121 936947712 2735 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4152817520 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/10705/statm: 228747 2735 1426 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.511955 s]
/proc/loadavg: 0.92 0.98 1.09 3/70 10706
/proc/meminfo: memFree=1796904/2055920 swapFree=4184048/4192956
[pid=10705] ppid=10702 vsize=915328 CPUtime=0.49
/proc/10705/stat : 10705 (java) R 10702 10705 10560 0 -1 0 8005 0 1 0 44 5 0 0 25 0 8 0 173420121 937295872 7744 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073445393 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/10705/statm: 228832 7744 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.3341 s]
/proc/loadavg: 0.92 0.98 1.09 3/88 10725
/proc/meminfo: memFree=1719064/2055920 swapFree=4184048/4192956
[pid=10705] ppid=10702 vsize=915460 CPUtime=1.3
/proc/10705/stat : 10705 (java) R 10702 10705 10560 0 -1 0 17681 0 1 0 120 10 0 0 25 0 8 0 173420121 937431040 17419 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073754502 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/10705/statm: 228865 17419 2527 14 0 215335 0
[pid=10705/tid=10712] ppid=10702 vsize=915460 CPUtime=0.06
/proc/10705/task/10712/stat : 10712 (java) S 10702 10705 10560 0 -1 64 1888 0 0 0 6 0 0 0 16 0 8 0 173420125 937431040 17419 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=10705/tid=10714] ppid=10702 vsize=915460 CPUtime=0
/proc/10705/task/10714/stat : 10714 (java) S 10702 10705 10560 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 173420126 937431040 17419 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10705/tid=10715] ppid=10702 vsize=915460 CPUtime=0
/proc/10705/task/10715/stat : 10715 (java) S 10702 10705 10560 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 173420126 937431040 17419 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10705/tid=10718] ppid=10702 vsize=915460 CPUtime=0
/proc/10705/task/10718/stat : 10718 (java) S 10702 10705 10560 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 173420129 937431040 17419 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10705/tid=10719] ppid=10702 vsize=915460 CPUtime=0.16
/proc/10705/task/10719/stat : 10719 (java) S 10702 10705 10560 0 -1 64 358 0 0 0 15 1 0 0 16 0 8 0 173420129 937431040 17419 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10705/tid=10720] ppid=10702 vsize=915460 CPUtime=0
/proc/10705/task/10720/stat : 10720 (java) S 10702 10705 10560 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 173420129 937431040 17419 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10705/tid=10721] ppid=10702 vsize=915460 CPUtime=0
/proc/10705/task/10721/stat : 10721 (java) S 10702 10705 10560 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 173420129 937431040 17419 18446744073709551615 134512640 134570532 4294956480 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) 915460
[startup+2.9874 s]
/proc/loadavg: 1.01 1.00 1.09 3/88 10725
/proc/meminfo: memFree=1715800/2055920 swapFree=4184048/4192956
[pid=10705] ppid=10702 vsize=915460 CPUtime=2.94
/proc/10705/stat : 10705 (java) R 10702 10705 10560 0 -1 0 17701 0 1 0 284 10 0 0 25 0 8 0 173420121 937431040 17437 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073613891 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/10705/statm: 228865 17437 2527 14 0 215335 0
[pid=10705/tid=10712] ppid=10702 vsize=915460 CPUtime=0.06
/proc/10705/task/10712/stat : 10712 (java) S 10702 10705 10560 0 -1 64 1888 0 0 0 6 0 0 0 17 0 8 0 173420125 937431040 17437 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=10705/tid=10714] ppid=10702 vsize=915460 CPUtime=0
/proc/10705/task/10714/stat : 10714 (java) S 10702 10705 10560 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 173420126 937431040 17437 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10705/tid=10715] ppid=10702 vsize=915460 CPUtime=0
/proc/10705/task/10715/stat : 10715 (java) S 10702 10705 10560 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 173420126 937431040 17437 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10705/tid=10718] ppid=10702 vsize=915460 CPUtime=0
/proc/10705/task/10718/stat : 10718 (java) S 10702 10705 10560 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 173420129 937431040 17437 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10705/tid=10719] ppid=10702 vsize=915460 CPUtime=0.21
/proc/10705/task/10719/stat : 10719 (java) S 10702 10705 10560 0 -1 64 377 0 0 0 20 1 0 0 16 0 8 0 173420129 937431040 17437 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10705/tid=10720] ppid=10702 vsize=915460 CPUtime=0
/proc/10705/task/10720/stat : 10720 (java) S 10702 10705 10560 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 173420129 937431040 17437 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10705/tid=10721] ppid=10702 vsize=915460 CPUtime=0
/proc/10705/task/10721/stat : 10721 (java) S 10702 10705 10560 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 173420129 937431040 17437 18446744073709551615 134512640 134570532 4294956480 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) 915460
[startup+6.272 s]
/proc/loadavg: 1.01 1.00 1.09 4/88 10725
/proc/meminfo: memFree=1715680/2055920 swapFree=4184048/4192956
[pid=10705] ppid=10702 vsize=915460 CPUtime=6.19
/proc/10705/stat : 10705 (java) R 10702 10705 10560 0 -1 0 17709 0 1 0 609 10 0 0 25 0 8 0 173420121 937431040 17444 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073741511 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/10705/statm: 228865 17444 2527 14 0 215335 0
[pid=10705/tid=10712] ppid=10702 vsize=915460 CPUtime=0.06
/proc/10705/task/10712/stat : 10712 (java) S 10702 10705 10560 0 -1 64 1888 0 0 0 6 0 0 0 16 0 8 0 173420125 937431040 17444 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=10705/tid=10714] ppid=10702 vsize=915460 CPUtime=0
/proc/10705/task/10714/stat : 10714 (java) S 10702 10705 10560 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 173420126 937431040 17444 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10705/tid=10715] ppid=10702 vsize=915460 CPUtime=0
/proc/10705/task/10715/stat : 10715 (java) S 10702 10705 10560 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 173420126 937431040 17444 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10705/tid=10718] ppid=10702 vsize=915460 CPUtime=0
/proc/10705/task/10718/stat : 10718 (java) S 10702 10705 10560 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 173420129 937431040 17444 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10705/tid=10719] ppid=10702 vsize=915460 CPUtime=0.22
/proc/10705/task/10719/stat : 10719 (java) S 10702 10705 10560 0 -1 64 384 0 0 0 21 1 0 0 15 0 8 0 173420129 937431040 17444 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10705/tid=10720] ppid=10702 vsize=915460 CPUtime=0
/proc/10705/task/10720/stat : 10720 (java) S 10702 10705 10560 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 173420129 937431040 17444 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10705/tid=10721] ppid=10702 vsize=915460 CPUtime=0
/proc/10705/task/10721/stat : 10721 (java) S 10702 10705 10560 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 173420129 937431040 17444 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 915460
[startup+12.7612 s]
/proc/loadavg: 1.16 1.03 1.10 3/88 10725
/proc/meminfo: memFree=1715680/2055920 swapFree=4184048/4192956
[pid=10705] ppid=10702 vsize=915460 CPUtime=12.63
/proc/10705/stat : 10705 (java) R 10702 10705 10560 0 -1 0 17710 0 1 0 1253 10 0 0 25 0 8 0 173420121 937431040 17444 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073613884 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/10705/statm: 228865 17444 2527 14 0 215335 0
[pid=10705/tid=10712] ppid=10702 vsize=915460 CPUtime=0.06
/proc/10705/task/10712/stat : 10712 (java) S 10702 10705 10560 0 -1 64 1888 0 0 0 6 0 0 0 16 0 8 0 173420125 937431040 17444 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=10705/tid=10714] ppid=10702 vsize=915460 CPUtime=0
/proc/10705/task/10714/stat : 10714 (java) S 10702 10705 10560 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 173420126 937431040 17444 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10705/tid=10715] ppid=10702 vsize=915460 CPUtime=0
/proc/10705/task/10715/stat : 10715 (java) S 10702 10705 10560 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 173420126 937431040 17444 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10705/tid=10718] ppid=10702 vsize=915460 CPUtime=0
/proc/10705/task/10718/stat : 10718 (java) S 10702 10705 10560 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 173420129 937431040 17444 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10705/tid=10719] ppid=10702 vsize=915460 CPUtime=0.23
/proc/10705/task/10719/stat : 10719 (java) S 10702 10705 10560 0 -1 64 384 0 0 0 22 1 0 0 16 0 8 0 173420129 937431040 17444 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10705/tid=10720] ppid=10702 vsize=915460 CPUtime=0
/proc/10705/task/10720/stat : 10720 (java) S 10702 10705 10560 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 173420129 937431040 17444 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10705/tid=10721] ppid=10702 vsize=915460 CPUtime=0
/proc/10705/task/10721/stat : 10721 (java) S 10702 10705 10560 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 173420129 937431040 17444 18446744073709551615 134512640 134570532 4294956480 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) 915460
Child status: 0
Real time (s): 15.1961
CPU time (s): 15.0097
CPU user time (s): 14.8947
CPU system time (s): 0.114982
CPU usage (%): 98.7737
Max. virtual memory (cumulated for all children) (KiB): 915460
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 14.8947
system time used= 0.114982
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17719
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= 1420
involuntary context switches= 1898
runsolver used 0.021996 s user time and 0.054991 s system time
The end
Begin job on node45 on Mon Jan 8 09:56:52 UTC 2007
IDJOB= 217986
IDBENCH= 5187
FILE ID= node45/217986-1168250211
PBS_JOBID= 3481920
Free space on /tmp= 66551 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-3-20-20/rand-3-20-20-60-632-41_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/217986-1168250211/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node45/watcher-217986-1168250211 -o ROOT/results/node45/solver-217986-1168250211 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/217986-1168250211/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= e0a6f3e36211043edd09986ac6ef091f
RANDOM SEED= 344729914
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.259
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.259
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: 1797312 kB
Buffers: 42952 kB
Cached: 147272 kB
SwapCached: 3168 kB
Active: 97824 kB
Inactive: 107072 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1797312 kB
SwapTotal: 4192956 kB
SwapFree: 4184048 kB
Dirty: 4684 kB
Writeback: 0 kB
Mapped: 20216 kB
Slab: 39204 kB
Committed_AS: 3406272 kB
PageTables: 1668 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= 66551 MiB
End job on node45 on Mon Jan 8 09:57:07 UTC 2007