0.31
0.31 Abscon 109 (November, 2006)
0.31
0.31 configuration
0.31 name=mac.xml
0.37
0.37 instance
0.37 name=/tmp/evaluation/225233-1168080598/unknown.xml
0.40
0.40 domains being loaded...
0.40
0.40 variables being loaded...
0.44 nbVariables=40 nbDomainTypes=1 minDomainSize=180 maxDomainSize=180
0.44 => wckTime=0.131 cpuTime=0.09 mem=6M951
0.44
0.44 relations being loaded...
0.80
0.80 constraints being loaded...
0.94 nbConstraints=84 nbRelationTypes=84 nbExtensionStructures=84 nbSharedExtensionStructures=0
0.94 nbConflictsStructures=84 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=0 maxDegree=8 maxArity=2
0.94 => wckTime=0.628 cpuTime=0.55 mem=36M253
0.99
0.99 solver IterativeSystematicSolver being built...
1.16 => wckTime=0.849 cpuTime=0.69 mem=16M259
1.17
1.17 preprocessing
1.17 nbConstraintChecks=0 nbPropagations=40 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
1.17 detectedInconsistency=no
1.17 => wckTime=0.0020 cpuTime=0.0 mem=16M259
1.27
1.27 search
1.27 run=0 nbConstraintChecks=513071 nbPropagations=1634 nbRevisions=6134 nbUselessRevisions=2756 nbAssignments=54
1.27 nbFailedAssignments=43 nbBacktracks=10 nbVisitedNodes=106 nbRestartNogoods=0 mapSize=10 nbInferences=0
1.27 nbTooLargeKeys=0
1.27 => wckTime=0.106 cpuTime=0.08 mem=16M259
1.31
1.31 search
1.31 run=1 nbConstraintChecks=1161118 nbPropagations=5051 nbRevisions=19370 nbUselessRevisions=8972
1.31 nbAssignments=116 nbFailedAssignments=87 nbBacktracks=26 nbVisitedNodes=224 nbRestartNogoods=1 mapSize=26
1.31 nbInferences=0 nbTooLargeKeys=0
1.31 => wckTime=0.147 cpuTime=0.12 mem=16M259
1.39
1.39 search
1.39 run=2 nbConstraintChecks=2250761 nbPropagations=11436 nbRevisions=44591 nbUselessRevisions=20799
1.39 nbAssignments=209 nbFailedAssignments=155 nbBacktracks=49 nbVisitedNodes=402 nbRestartNogoods=8 mapSize=46
1.39 nbInferences=0 nbTooLargeKeys=0
1.39 => wckTime=0.221 cpuTime=0.18 mem=16M259
1.48
1.48 search
1.48 run=3 nbConstraintChecks=3843422 nbPropagations=22010 nbRevisions=86760 nbUselessRevisions=40735
1.48 nbAssignments=333 nbFailedAssignments=244 nbBacktracks=82 nbVisitedNodes=644 nbRestartNogoods=20 mapSize=78
1.48 nbInferences=0 nbTooLargeKeys=0
1.48 => wckTime=0.316 cpuTime=0.27 mem=16M259
1.65
1.65 search
1.65 run=4 nbConstraintChecks=6778285 nbPropagations=40167 nbRevisions=160410 nbUselessRevisions=75638
1.65 nbAssignments=572 nbFailedAssignments=431 nbBacktracks=133 nbVisitedNodes=1108 nbRestartNogoods=27 mapSize=124
1.65 nbInferences=0 nbTooLargeKeys=0
1.65 => wckTime=0.482 cpuTime=0.44 mem=16M259
1.90
1.90 search
1.90 run=5 nbConstraintChecks=11039451 nbPropagations=71342 nbRevisions=285023 nbUselessRevisions=134171
1.90 nbAssignments=946 nbFailedAssignments=728 nbBacktracks=209 nbVisitedNodes=1842 nbRestartNogoods=29 mapSize=196
1.90 nbInferences=0 nbTooLargeKeys=0
1.90 => wckTime=0.73 cpuTime=0.68 mem=16M259
2.28
2.28 search
2.28 run=6 nbConstraintChecks=17527929 nbPropagations=119536 nbRevisions=479547 nbUselessRevisions=226484
2.28 nbAssignments=1499 nbFailedAssignments=1166 nbBacktracks=323 nbVisitedNodes=2924 nbRestartNogoods=34
2.28 mapSize=299 nbInferences=0 nbTooLargeKeys=0
2.28 => wckTime=1.118 cpuTime=1.05 mem=16M259
2.80
2.80 search
2.80 run=7 nbConstraintChecks=26487389 nbPropagations=192972 nbRevisions=774130 nbUselessRevisions=365268
2.80 nbAssignments=2289 nbFailedAssignments=1781 nbBacktracks=496 nbVisitedNodes=4460 nbRestartNogoods=42
2.80 mapSize=448 nbInferences=0 nbTooLargeKeys=0
2.80 => wckTime=1.631 cpuTime=1.54 mem=16M259
3.54
3.54 search
3.54 run=8 nbConstraintChecks=40029903 nbPropagations=303960 nbRevisions=1219687 nbUselessRevisions=574840
3.54 nbAssignments=3417 nbFailedAssignments=2652 nbBacktracks=752 nbVisitedNodes=6666 nbRestartNogoods=48
3.54 mapSize=691 nbInferences=0 nbTooLargeKeys=0
3.54 => wckTime=2.375 cpuTime=2.28 mem=17M232
4.61
4.61 INFO : Stopping hyperNogood (mapSize=1003, nbTooLargekeys=0, mem=17M232)
4.73
4.73 search
4.73 run=9 nbConstraintChecks=61861547 nbPropagations=474771 nbRevisions=1902805 nbUselessRevisions=896552
4.73 nbAssignments=5330 nbFailedAssignments=4179 nbBacktracks=1137 nbVisitedNodes=10412 nbRestartNogoods=49
4.73 => wckTime=3.562 cpuTime=3.45 mem=17M232
6.31
6.31 search
6.31 run=10 nbConstraintChecks=91290716 nbPropagations=731837 nbRevisions=2921769 nbUselessRevisions=1376962
6.31 nbAssignments=8032 nbFailedAssignments=6303 nbBacktracks=1714 nbVisitedNodes=15671 nbRestartNogoods=60
6.31 => wckTime=5.145 cpuTime=5.02 mem=17M232
8.81
8.81 search
8.81 run=11 nbConstraintChecks=138755011 nbPropagations=1121457 nbRevisions=4464384 nbUselessRevisions=2107069
8.81 nbAssignments=12294 nbFailedAssignments=9699 nbBacktracks=2578 nbVisitedNodes=23994 nbRestartNogoods=63
8.81 => wckTime=7.645 cpuTime=7.5 mem=17M232
12.04
12.04 search
12.04 run=12 nbConstraintChecks=199841386 nbPropagations=1690702 nbRevisions=6708198 nbUselessRevisions=3169102
12.04 nbAssignments=18085 nbFailedAssignments=14191 nbBacktracks=3876 nbVisitedNodes=35215 nbRestartNogoods=71
12.04 => wckTime=10.875 cpuTime=10.69 mem=17M232
16.16
16.16 search
16.16 run=13 nbConstraintChecks=278248090 nbPropagations=2496779 nbRevisions=9867143 nbUselessRevisions=4668422
16.16 nbAssignments=25747 nbFailedAssignments=20074 nbBacktracks=5656 nbVisitedNodes=50011 nbRestartNogoods=82
16.16 => wckTime=15.0 cpuTime=14.78 mem=17M232
16.17
16.17 global
16.17 nbConstraintChecks=278248090 nbPropagations=2496819 nbRevisions=9867143 nbUselessRevisions=4668422
16.17 nbRestartNogoods=82 solvingWckTime=15.001 solvingCpuTime=14.78 expiredTime=no totalExploration=yes
16.17 nbFoundSolutions=0 globalCpuTime=15.51
16.17 => wckTime=15.855 cpuTime=15.47 mem=17M232
16.17
16.17 s UNSATISFIABLE
16.17 d NODES 25747
16.17 d CHECKS 278248090
16.17
16.17 totalWckTime=15.936 totalCpuTime=15.51
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node16/watcher-225233-1168080598 -o ROOT/results/node16/solver-225233-1168080598 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/225233-1168080598/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: 1.20 1.66 1.87 4/93 22715
/proc/meminfo: memFree=1325992/2055920 swapFree=4191880/4192956
[pid=22714] ppid=22712 vsize=47976 CPUtime=0
/proc/22714/stat : 22714 (java) D 22712 22714 22423 0 -1 0 1223 0 1 0 0 0 0 0 17 0 1 0 156454988 49127424 972 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 2147483391 0 7368 18446744072099781622 0 0 17 1 0 0
/proc/22714/statm: 11994 972 769 14 0 1707 0
[startup+0.105788 s]
/proc/loadavg: 1.20 1.66 1.87 4/93 22715
/proc/meminfo: memFree=1325992/2055920 swapFree=4191880/4192956
[pid=22714] ppid=22712 vsize=914988 CPUtime=0.09
/proc/22714/stat : 22714 (java) R 22712 22714 22423 0 -1 0 3018 0 1 0 7 2 0 0 20 0 8 0 156454988 936947712 2764 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4153569653 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22714/statm: 228747 2764 1435 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.517716 s]
/proc/loadavg: 1.20 1.66 1.87 4/93 22715
/proc/meminfo: memFree=1325992/2055920 swapFree=4191880/4192956
[pid=22714] ppid=22712 vsize=915328 CPUtime=0.47
/proc/22714/stat : 22714 (java) R 22712 22714 22423 0 -1 0 7058 0 1 0 42 5 0 0 18 0 8 0 156454988 937295872 6797 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073590208 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22714/statm: 228832 6797 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 915328
[startup+1.34795 s]
/proc/loadavg: 1.26 1.67 1.87 3/100 22722
/proc/meminfo: memFree=1279472/2055920 swapFree=4191880/4192956
[pid=22714] ppid=22712 vsize=915464 CPUtime=1.29
/proc/22714/stat : 22714 (java) R 22712 22714 22423 0 -1 0 14351 0 1 0 120 9 0 0 25 0 8 0 156454988 937435136 14089 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22714/statm: 228866 14089 2513 14 0 215336 0
[pid=22714/tid=22716] ppid=22712 vsize=915464 CPUtime=0.03
/proc/22714/task/22716/stat : 22716 (java) S 22712 22714 22423 0 -1 64 612 0 0 0 3 0 0 0 17 0 8 0 156454992 937435136 14089 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22714/tid=22717] ppid=22712 vsize=915464 CPUtime=0
/proc/22714/task/22717/stat : 22717 (java) S 22712 22714 22423 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156454992 937435136 14089 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22714/tid=22718] ppid=22712 vsize=915464 CPUtime=0
/proc/22714/task/22718/stat : 22718 (java) S 22712 22714 22423 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156454993 937435136 14089 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22714/tid=22719] ppid=22712 vsize=915464 CPUtime=0
/proc/22714/task/22719/stat : 22719 (java) S 22712 22714 22423 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156454996 937435136 14089 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22714/tid=22720] ppid=22712 vsize=915464 CPUtime=0.16
/proc/22714/task/22720/stat : 22720 (java) S 22712 22714 22423 0 -1 64 357 0 0 0 15 1 0 0 15 0 8 0 156454996 937435136 14089 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22714/tid=22721] ppid=22712 vsize=915464 CPUtime=0
/proc/22714/task/22721/stat : 22721 (java) S 22712 22714 22423 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156454996 937435136 14089 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22714/tid=22722] ppid=22712 vsize=915464 CPUtime=0
/proc/22714/task/22722/stat : 22722 (java) S 22712 22714 22423 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156454996 937435136 14089 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 915464
[startup+2.98626 s]
/proc/loadavg: 1.26 1.67 1.87 3/100 22722
/proc/meminfo: memFree=1279280/2055920 swapFree=4191880/4192956
[pid=22714] ppid=22712 vsize=915464 CPUtime=2.92
/proc/22714/stat : 22714 (java) R 22712 22714 22423 0 -1 0 14368 0 1 0 282 10 0 0 25 0 8 0 156454988 937435136 14105 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073729267 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22714/statm: 228866 14105 2513 14 0 215336 0
[pid=22714/tid=22716] ppid=22712 vsize=915464 CPUtime=0.03
/proc/22714/task/22716/stat : 22716 (java) S 22712 22714 22423 0 -1 64 612 0 0 0 3 0 0 0 17 0 8 0 156454992 937435136 14105 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22714/tid=22717] ppid=22712 vsize=915464 CPUtime=0
/proc/22714/task/22717/stat : 22717 (java) S 22712 22714 22423 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156454992 937435136 14105 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22714/tid=22718] ppid=22712 vsize=915464 CPUtime=0
/proc/22714/task/22718/stat : 22718 (java) S 22712 22714 22423 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156454993 937435136 14105 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22714/tid=22719] ppid=22712 vsize=915464 CPUtime=0
/proc/22714/task/22719/stat : 22719 (java) S 22712 22714 22423 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156454996 937435136 14105 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22714/tid=22720] ppid=22712 vsize=915464 CPUtime=0.19
/proc/22714/task/22720/stat : 22720 (java) S 22712 22714 22423 0 -1 64 372 0 0 0 18 1 0 0 16 0 8 0 156454996 937435136 14105 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22714/tid=22721] ppid=22712 vsize=915464 CPUtime=0
/proc/22714/task/22721/stat : 22721 (java) S 22712 22714 22423 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156454996 937435136 14105 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22714/tid=22722] ppid=22712 vsize=915464 CPUtime=0
/proc/22714/task/22722/stat : 22722 (java) S 22712 22714 22423 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156454996 937435136 14105 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.92
Current children cumulated vsize (KiB) 915464
[startup+6.26467 s]
/proc/loadavg: 1.32 1.68 1.87 3/100 22722
/proc/meminfo: memFree=1279088/2055920 swapFree=4191880/4192956
[pid=22714] ppid=22712 vsize=915464 CPUtime=6.16
/proc/22714/stat : 22714 (java) R 22712 22714 22423 0 -1 0 14372 0 1 0 606 10 0 0 25 0 8 0 156454988 937435136 14108 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073785694 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22714/statm: 228866 14108 2513 14 0 215336 0
[pid=22714/tid=22716] ppid=22712 vsize=915464 CPUtime=0.03
/proc/22714/task/22716/stat : 22716 (java) S 22712 22714 22423 0 -1 64 612 0 0 0 3 0 0 0 16 0 8 0 156454992 937435136 14108 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22714/tid=22717] ppid=22712 vsize=915464 CPUtime=0
/proc/22714/task/22717/stat : 22717 (java) S 22712 22714 22423 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156454992 937435136 14108 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22714/tid=22718] ppid=22712 vsize=915464 CPUtime=0
/proc/22714/task/22718/stat : 22718 (java) S 22712 22714 22423 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156454993 937435136 14108 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22714/tid=22719] ppid=22712 vsize=915464 CPUtime=0
/proc/22714/task/22719/stat : 22719 (java) S 22712 22714 22423 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156454996 937435136 14108 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22714/tid=22720] ppid=22712 vsize=915464 CPUtime=0.2
/proc/22714/task/22720/stat : 22720 (java) S 22712 22714 22423 0 -1 64 375 0 0 0 19 1 0 0 16 0 8 0 156454996 937435136 14108 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22714/tid=22721] ppid=22712 vsize=915464 CPUtime=0
/proc/22714/task/22721/stat : 22721 (java) S 22712 22714 22423 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156454996 937435136 14108 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22714/tid=22722] ppid=22712 vsize=915464 CPUtime=0
/proc/22714/task/22722/stat : 22722 (java) S 22712 22714 22423 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156454996 937435136 14108 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.16
Current children cumulated vsize (KiB) 915464
[startup+12.7545 s]
/proc/loadavg: 1.38 1.68 1.87 3/100 22722
/proc/meminfo: memFree=1279152/2055920 swapFree=4191880/4192956
[pid=22714] ppid=22712 vsize=915464 CPUtime=12.59
/proc/22714/stat : 22714 (java) R 22712 22714 22423 0 -1 0 14374 0 1 0 1249 10 0 0 25 0 8 0 156454988 937435136 14109 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073749082 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22714/statm: 228866 14109 2513 14 0 215336 0
[pid=22714/tid=22716] ppid=22712 vsize=915464 CPUtime=0.03
/proc/22714/task/22716/stat : 22716 (java) S 22712 22714 22423 0 -1 64 612 0 0 0 3 0 0 0 16 0 8 0 156454992 937435136 14109 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22714/tid=22717] ppid=22712 vsize=915464 CPUtime=0
/proc/22714/task/22717/stat : 22717 (java) S 22712 22714 22423 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156454992 937435136 14109 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22714/tid=22718] ppid=22712 vsize=915464 CPUtime=0
/proc/22714/task/22718/stat : 22718 (java) S 22712 22714 22423 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156454993 937435136 14109 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22714/tid=22719] ppid=22712 vsize=915464 CPUtime=0
/proc/22714/task/22719/stat : 22719 (java) S 22712 22714 22423 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156454996 937435136 14109 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22714/tid=22720] ppid=22712 vsize=915464 CPUtime=0.2
/proc/22714/task/22720/stat : 22720 (java) S 22712 22714 22423 0 -1 64 376 0 0 0 19 1 0 0 16 0 8 0 156454996 937435136 14109 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22714/tid=22721] ppid=22712 vsize=915464 CPUtime=0
/proc/22714/task/22721/stat : 22721 (java) S 22712 22714 22423 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156454996 937435136 14109 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22714/tid=22722] ppid=22712 vsize=915464 CPUtime=0
/proc/22714/task/22722/stat : 22722 (java) S 22712 22714 22423 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156454996 937435136 14109 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.59
Current children cumulated vsize (KiB) 915464
Child status: 0
Real time (s): 16.2223
CPU time (s): 15.9986
CPU user time (s): 15.8816
CPU system time (s): 0.116982
CPU usage (%): 98.6208
Max. virtual memory (cumulated for all children) (KiB): 915464
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 15.8816
system time used= 0.116982
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14382
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= 1350
involuntary context switches= 1872
runsolver used 0.030995 s user time and 0.056991 s system time
The end
Begin job on node16 on Sat Jan 6 10:50:00 UTC 2007
IDJOB= 225233
IDBENCH= 5838
FILE ID= node16/225233-1168080598
PBS_JOBID= 3475863
Free space on /tmp= 66499 MiB
BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.9/rand-2-40-180-84-900-23_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/225233-1168080598/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node16/watcher-225233-1168080598 -o ROOT/results/node16/solver-225233-1168080598 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/225233-1168080598/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= f5042e2ed2d3e0b87ed40f3a4d9f65a1
RANDOM SEED= 156235548
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: 1326472 kB
Buffers: 64468 kB
Cached: 489396 kB
SwapCached: 268 kB
Active: 232720 kB
Inactive: 399236 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1326472 kB
SwapTotal: 4192956 kB
SwapFree: 4191880 kB
Dirty: 3552 kB
Writeback: 0 kB
Mapped: 106520 kB
Slab: 82164 kB
Committed_AS: 4689672 kB
PageTables: 2472 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= 66499 MiB
End job on node16 on Sat Jan 6 10:50:22 UTC 2007