0.31
0.31 Abscon 109 (November, 2006)
0.31
0.31 configuration
0.31 name=mac.xml
0.34
0.34 instance
0.34 name=/tmp/evaluation/208575-1168074756/unknown.xml
0.37
0.37 domains being loaded...
0.38
0.38 variables being loaded...
0.41 nbVariables=20 nbDomainTypes=1 minDomainSize=20 maxDomainSize=20
0.41 => wckTime=0.097 cpuTime=0.08 mem=6M951
0.41
0.41 relations being loaded...
0.70
0.70 constraints being loaded...
0.86 nbConstraints=59 nbRelationTypes=59 nbExtensionStructures=59 nbSharedExtensionStructures=0
0.86 nbConflictsStructures=59 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=0 maxDegree=17 maxArity=3
0.86 => wckTime=0.547 cpuTime=0.49 mem=43M458
0.94
0.94 solver IterativeSystematicSolver being built...
1.11 => wckTime=0.794 cpuTime=0.63 mem=21M494
1.11
1.11 preprocessing
1.11 nbConstraintChecks=0 nbPropagations=20 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
1.11 detectedInconsistency=no
1.11 => wckTime=0.0020 cpuTime=0.0 mem=21M494
1.22
1.22 search
1.22 run=0 nbConstraintChecks=25609 nbValidityChecks=45150 nbPropagations=328 nbRevisions=3201
1.22 nbUselessRevisions=2468 nbAssignments=27 nbFailedAssignments=13 nbBacktracks=10 nbVisitedNodes=48
1.22 nbRestartNogoods=0 mapSize=10 nbInferences=0 nbTooLargeKeys=0
1.22 => wckTime=0.109 cpuTime=0.07 mem=21M494
1.28
1.28 search
1.28 run=1 nbConstraintChecks=61313 nbValidityChecks=116124 nbPropagations=1110 nbRevisions=11503
1.28 nbUselessRevisions=8923 nbAssignments=65 nbFailedAssignments=32 nbBacktracks=25 nbVisitedNodes=114
1.28 nbRestartNogoods=4 mapSize=23 nbInferences=0 nbTooLargeKeys=0
1.28 => wckTime=0.169 cpuTime=0.12 mem=21M494
1.38
1.38 search
1.38 run=2 nbConstraintChecks=124988 nbValidityChecks=245001 nbPropagations=2570 nbRevisions=28819
1.38 nbUselessRevisions=22489 nbAssignments=139 nbFailedAssignments=79 nbBacktracks=48 nbVisitedNodes=247
1.38 nbRestartNogoods=11 mapSize=43 nbInferences=0 nbTooLargeKeys=0
1.38 => wckTime=0.268 cpuTime=0.21 mem=21M494
1.49
1.49 search
1.49 run=3 nbConstraintChecks=201165 nbValidityChecks=395882 nbPropagations=5053 nbRevisions=56907
1.49 nbUselessRevisions=44223 nbAssignments=239 nbFailedAssignments=142 nbBacktracks=81 nbVisitedNodes=432
1.49 nbRestartNogoods=17 mapSize=71 nbInferences=0 nbTooLargeKeys=0
1.49 => wckTime=0.38 cpuTime=0.32 mem=21M494
1.63
1.63 search
1.63 run=4 nbConstraintChecks=304046 nbValidityChecks=599000 nbPropagations=8930 nbRevisions=100614
1.63 nbUselessRevisions=78104 nbAssignments=340 nbFailedAssignments=190 nbBacktracks=131 nbVisitedNodes=618
1.63 nbRestartNogoods=32 mapSize=119 nbInferences=0 nbTooLargeKeys=0
1.63 => wckTime=0.521 cpuTime=0.46 mem=21M494
1.91
1.91 search
1.91 run=5 nbConstraintChecks=509949 nbValidityChecks=1023149 nbPropagations=15498 nbRevisions=176891
1.91 nbUselessRevisions=137378 nbAssignments=565 nbFailedAssignments=336 nbBacktracks=206 nbVisitedNodes=1047
1.91 nbRestartNogoods=37 mapSize=192 nbInferences=0 nbTooLargeKeys=0
1.91 => wckTime=0.797 cpuTime=0.72 mem=21M494
2.27
2.27 search
2.27 run=6 nbConstraintChecks=789616 nbValidityChecks=1609472 nbPropagations=25568 nbRevisions=297611
2.27 nbUselessRevisions=231744 nbAssignments=916 nbFailedAssignments=569 nbBacktracks=320 nbVisitedNodes=1716
2.27 nbRestartNogoods=49 mapSize=302 nbInferences=0 nbTooLargeKeys=0
2.27 => wckTime=1.161 cpuTime=1.07 mem=21M494
2.73
2.73 search
2.73 run=7 nbConstraintChecks=1127995 nbValidityChecks=2303930 nbPropagations=40691 nbRevisions=468130
2.73 nbUselessRevisions=363869 nbAssignments=1410 nbFailedAssignments=888 nbBacktracks=492 nbVisitedNodes=2658
2.73 nbRestartNogoods=56 mapSize=454 nbInferences=0 nbTooLargeKeys=0
2.73 => wckTime=1.618 cpuTime=1.53 mem=21M494
3.46
3.46 search
3.46 run=8 nbConstraintChecks=1695293 nbValidityChecks=3405273 nbPropagations=63040 nbRevisions=721094
3.46 nbUselessRevisions=560168 nbAssignments=2003 nbFailedAssignments=1220 nbBacktracks=750 nbVisitedNodes=3752
3.46 nbRestartNogoods=63 mapSize=699 nbInferences=0 nbTooLargeKeys=0
3.46 => wckTime=2.35 cpuTime=2.23 mem=21M494
4.41
4.41 INFO : Stopping hyperNogood (mapSize=1022, nbTooLargekeys=0, mem=21M494)
4.50
4.50 search
4.50 run=9 nbConstraintChecks=2525092 nbValidityChecks=5074040 nbPropagations=96255 nbRevisions=1101667
4.50 nbUselessRevisions=855938 nbAssignments=2919 nbFailedAssignments=1748 nbBacktracks=1135 nbVisitedNodes=5463
4.50 nbRestartNogoods=71
4.50 => wckTime=3.389 cpuTime=3.25 mem=21M494
5.99
5.99 search
5.99 run=10 nbConstraintChecks=3706890 nbValidityChecks=7503830 nbPropagations=146472 nbRevisions=1672436
5.99 nbUselessRevisions=1299826 nbAssignments=4262 nbFailedAssignments=2511 nbBacktracks=1711 nbVisitedNodes=7977
5.99 nbRestartNogoods=82
5.99 => wckTime=4.879 cpuTime=4.72 mem=21M494
8.52
8.52 search
8.52 run=11 nbConstraintChecks=5801575 nbValidityChecks=11849629 nbPropagations=224172 nbRevisions=2573386
8.52 nbUselessRevisions=2000992 nbAssignments=6672 nbFailedAssignments=4053 nbBacktracks=2575 nbVisitedNodes=12557
8.52 nbRestartNogoods=95
8.52 => wckTime=7.406 cpuTime=7.22 mem=21M494
11.87
11.87 search
11.87 run=12 nbConstraintChecks=8516223 nbValidityChecks=17326827 nbPropagations=339830 nbRevisions=3898676
11.87 nbUselessRevisions=3032527 nbAssignments=9713 nbFailedAssignments=5792 nbBacktracks=3873 nbVisitedNodes=18237
11.87 nbRestartNogoods=103
11.87 => wckTime=10.764 cpuTime=10.55 mem=22M463
12.75
12.75 search
12.75 run=13 nbConstraintChecks=9213391 nbValidityChecks=18724999 nbPropagations=465191 nbRevisions=5331281
12.75 nbUselessRevisions=4147635 nbAssignments=10456 nbFailedAssignments=6174 nbBacktracks=4214 nbVisitedNodes=19598
12.75 nbRestartNogoods=118
12.75 => wckTime=11.638 cpuTime=11.41 mem=22M463
12.75
12.75 global
12.75 nbConstraintChecks=9213391 nbValidityChecks=18724999 nbPropagations=465211 nbRevisions=5331281
12.75 nbUselessRevisions=4147635 nbRestartNogoods=118 solvingWckTime=11.639 solvingCpuTime=11.41 expiredTime=no
12.75 totalExploration=no nbFoundSolutions=1 globalCpuTime=12.09
12.75 => wckTime=12.436 cpuTime=12.04 mem=22M463
12.75
12.75 s SATISFIABLE
12.75 v 1 8 7 18 17 18 15 17 16 14 0 8 19 16 1 10 6 7 14 2
12.75 d NODES 10456
12.75 d CHECKS 9213391
12.75
12.75 totalWckTime=12.517 totalCpuTime=12.09
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node19/watcher-208575-1168074756 -o ROOT/results/node19/solver-208575-1168074756 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/208575-1168074756/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.80 1.95 1.97 4/93 22685
/proc/meminfo: memFree=1148952/2055920 swapFree=4171232/4192956
[pid=22684] ppid=22682 vsize=18540 CPUtime=0
/proc/22684/stat : 22684 (runsolver) R 22682 22684 22561 0 -1 4194368 17 0 0 0 0 0 0 0 20 0 1 0 155870270 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 255236566311 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/22684/statm: 4635 279 244 17 0 2626 0
[startup+0.109545 s]
/proc/loadavg: 1.80 1.95 1.97 4/93 22685
/proc/meminfo: memFree=1148952/2055920 swapFree=4171232/4192956
[pid=22684] ppid=22682 vsize=914988 CPUtime=0.1
/proc/22684/stat : 22684 (java) R 22682 22684 22561 0 -1 0 3042 0 1 0 8 2 0 0 17 0 8 0 155870270 936947712 2788 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4155475441 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22684/statm: 228747 2788 1444 14 0 215242 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 914988
[startup+0.517621 s]
/proc/loadavg: 1.80 1.95 1.97 4/93 22685
/proc/meminfo: memFree=1148952/2055920 swapFree=4171232/4192956
[pid=22684] ppid=22682 vsize=915328 CPUtime=0.5
/proc/22684/stat : 22684 (java) R 22682 22684 22561 0 -1 0 7670 0 1 0 45 5 0 0 18 0 8 0 155870270 937295872 7409 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073579994 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22684/statm: 228832 7409 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 915328
[startup+1.34078 s]
/proc/loadavg: 1.80 1.95 1.97 4/100 22692
/proc/meminfo: memFree=1090336/2055920 swapFree=4171232/4192956
[pid=22684] ppid=22682 vsize=915460 CPUtime=1.31
/proc/22684/stat : 22684 (java) R 22682 22684 22561 0 -1 0 17366 0 1 0 121 10 0 0 24 0 8 0 155870270 937431040 17103 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073613924 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22684/statm: 228865 17103 2517 14 0 215335 0
[pid=22684/tid=22686] ppid=22682 vsize=915460 CPUtime=0.06
/proc/22684/task/22686/stat : 22686 (java) S 22682 22684 22561 0 -1 64 1840 0 0 0 6 0 0 0 16 0 8 0 155870274 937431040 17103 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22684/tid=22687] ppid=22682 vsize=915460 CPUtime=0
/proc/22684/task/22687/stat : 22687 (java) S 22682 22684 22561 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155870274 937431040 17103 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22684/tid=22688] ppid=22682 vsize=915460 CPUtime=0
/proc/22684/task/22688/stat : 22688 (java) S 22682 22684 22561 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155870274 937431040 17103 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22684/tid=22689] ppid=22682 vsize=915460 CPUtime=0
/proc/22684/task/22689/stat : 22689 (java) S 22682 22684 22561 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155870278 937431040 17103 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22684/tid=22690] ppid=22682 vsize=915460 CPUtime=0.17
/proc/22684/task/22690/stat : 22690 (java) S 22682 22684 22561 0 -1 64 355 0 0 0 16 1 0 0 15 0 8 0 155870278 937431040 17103 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22684/tid=22691] ppid=22682 vsize=915460 CPUtime=0
/proc/22684/task/22691/stat : 22691 (java) S 22682 22684 22561 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155870278 937431040 17103 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22684/tid=22692] ppid=22682 vsize=915460 CPUtime=0
/proc/22684/task/22692/stat : 22692 (java) S 22682 22684 22561 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155870278 937431040 17103 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915460
[startup+2.99009 s]
/proc/loadavg: 1.80 1.95 1.97 3/100 22692
/proc/meminfo: memFree=1090208/2055920 swapFree=4171232/4192956
[pid=22684] ppid=22682 vsize=915460 CPUtime=2.94
/proc/22684/stat : 22684 (java) R 22682 22684 22561 0 -1 0 17386 0 1 0 284 10 0 0 25 0 8 0 155870270 937431040 17122 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073613884 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22684/statm: 228865 17122 2517 14 0 215335 0
[pid=22684/tid=22686] ppid=22682 vsize=915460 CPUtime=0.06
/proc/22684/task/22686/stat : 22686 (java) S 22682 22684 22561 0 -1 64 1840 0 0 0 6 0 0 0 17 0 8 0 155870274 937431040 17122 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22684/tid=22687] ppid=22682 vsize=915460 CPUtime=0
/proc/22684/task/22687/stat : 22687 (java) S 22682 22684 22561 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155870274 937431040 17122 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22684/tid=22688] ppid=22682 vsize=915460 CPUtime=0
/proc/22684/task/22688/stat : 22688 (java) S 22682 22684 22561 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155870274 937431040 17122 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22684/tid=22689] ppid=22682 vsize=915460 CPUtime=0
/proc/22684/task/22689/stat : 22689 (java) S 22682 22684 22561 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155870278 937431040 17122 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22684/tid=22690] ppid=22682 vsize=915460 CPUtime=0.21
/proc/22684/task/22690/stat : 22690 (java) S 22682 22684 22561 0 -1 64 374 0 0 0 20 1 0 0 16 0 8 0 155870278 937431040 17122 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22684/tid=22691] ppid=22682 vsize=915460 CPUtime=0
/proc/22684/task/22691/stat : 22691 (java) S 22682 22684 22561 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155870278 937431040 17122 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22684/tid=22692] ppid=22682 vsize=915460 CPUtime=0
/proc/22684/task/22692/stat : 22692 (java) S 22682 22684 22561 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155870278 937431040 17122 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 915460
[startup+6.28171 s]
/proc/loadavg: 1.81 1.95 1.97 3/100 22692
/proc/meminfo: memFree=1090144/2055920 swapFree=4171232/4192956
[pid=22684] ppid=22682 vsize=915460 CPUtime=6.2
/proc/22684/stat : 22684 (java) R 22682 22684 22561 0 -1 0 17396 0 1 0 610 10 0 0 25 0 8 0 155870270 937431040 17130 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073733871 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22684/statm: 228865 17130 2517 14 0 215335 0
[pid=22684/tid=22686] ppid=22682 vsize=915460 CPUtime=0.06
/proc/22684/task/22686/stat : 22686 (java) S 22682 22684 22561 0 -1 64 1840 0 0 0 6 0 0 0 16 0 8 0 155870274 937431040 17130 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22684/tid=22687] ppid=22682 vsize=915460 CPUtime=0
/proc/22684/task/22687/stat : 22687 (java) S 22682 22684 22561 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155870274 937431040 17130 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22684/tid=22688] ppid=22682 vsize=915460 CPUtime=0
/proc/22684/task/22688/stat : 22688 (java) S 22682 22684 22561 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155870274 937431040 17130 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22684/tid=22689] ppid=22682 vsize=915460 CPUtime=0
/proc/22684/task/22689/stat : 22689 (java) S 22682 22684 22561 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155870278 937431040 17130 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22684/tid=22690] ppid=22682 vsize=915460 CPUtime=0.23
/proc/22684/task/22690/stat : 22690 (java) S 22682 22684 22561 0 -1 64 383 0 0 0 22 1 0 0 16 0 8 0 155870278 937431040 17130 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22684/tid=22691] ppid=22682 vsize=915460 CPUtime=0
/proc/22684/task/22691/stat : 22691 (java) S 22682 22684 22561 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155870278 937431040 17130 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22684/tid=22692] ppid=22682 vsize=915460 CPUtime=0
/proc/22684/task/22692/stat : 22692 (java) S 22682 22684 22561 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155870278 937431040 17130 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 915460
[startup+12.7739 s]
/proc/loadavg: 1.83 1.95 1.97 3/100 22692
/proc/meminfo: memFree=1090144/2055920 swapFree=4171232/4192956
[pid=22684] ppid=22682 vsize=915460 CPUtime=12.62
/proc/22684/stat : 22684 (java) S 22682 22684 22561 0 -1 0 17399 0 1 0 1251 11 0 0 25 0 8 0 155870270 937431040 17132 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22684/statm: 228865 17132 2517 14 0 215335 0
[pid=22684/tid=22686] ppid=22682 vsize=915460 CPUtime=0.06
/proc/22684/task/22686/stat : 22686 (java) S 22682 22684 22561 0 -1 64 1840 0 0 0 6 0 0 0 17 0 8 0 155870274 937431040 17132 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22684/tid=22687] ppid=22682 vsize=915460 CPUtime=0
/proc/22684/task/22687/stat : 22687 (java) S 22682 22684 22561 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155870274 937431040 17132 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22684/tid=22688] ppid=22682 vsize=915460 CPUtime=0
/proc/22684/task/22688/stat : 22688 (java) S 22682 22684 22561 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155870274 937431040 17132 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22684/tid=22689] ppid=22682 vsize=915460 CPUtime=0
/proc/22684/task/22689/stat : 22689 (java) S 22682 22684 22561 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155870278 937431040 17132 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22684/tid=22690] ppid=22682 vsize=915460 CPUtime=0.23
/proc/22684/task/22690/stat : 22690 (java) S 22682 22684 22561 0 -1 64 384 0 0 0 22 1 0 0 15 0 8 0 155870278 937431040 17132 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22684/tid=22691] ppid=22682 vsize=915460 CPUtime=0
/proc/22684/task/22691/stat : 22691 (java) S 22682 22684 22561 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155870278 937431040 17132 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22684/tid=22692] ppid=22682 vsize=915460 CPUtime=0
/proc/22684/task/22692/stat : 22692 (java) S 22682 22684 22561 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155870278 937431040 17132 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 915460
Child status: 0
Real time (s): 12.8094
CPU time (s): 12.6381
CPU user time (s): 12.5151
CPU system time (s): 0.122981
CPU usage (%): 98.6622
Max. virtual memory (cumulated for all children) (KiB): 915460
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 12.5151
system time used= 0.122981
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17404
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= 1247
involuntary context switches= 1789
runsolver used 0.022996 s user time and 0.046992 s system time
The end
Begin job on node19 on Sat Jan 6 09:12:36 UTC 2007
IDJOB= 208575
IDBENCH= 4411
FILE ID= node19/208575-1168074756
PBS_JOBID= 3475785
Free space on /tmp= 66303 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-3-20-20-fcd/rand-3-20-20-60-632-fcd-25_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/208575-1168074756/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node19/watcher-208575-1168074756 -o ROOT/results/node19/solver-208575-1168074756 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/208575-1168074756/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= f2195ab1808ba05b939b12ff252365d7
RANDOM SEED= 758054744
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.260
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.260
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: 1149368 kB
Buffers: 70132 kB
Cached: 580452 kB
SwapCached: 10036 kB
Active: 399316 kB
Inactive: 406048 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1149368 kB
SwapTotal: 4192956 kB
SwapFree: 4171232 kB
Dirty: 3168 kB
Writeback: 0 kB
Mapped: 174080 kB
Slab: 85508 kB
Committed_AS: 4374556 kB
PageTables: 2652 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= 66303 MiB
End job on node19 on Sat Jan 6 09:12:49 UTC 2007