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/217987-1168079526/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.096 cpuTime=0.07 mem=6M951
0.41
0.41 relations being loaded...
0.70
0.70 constraints being loaded...
0.86 nbConstraints=60 nbRelationTypes=60 nbExtensionStructures=60 nbSharedExtensionStructures=0
0.86 nbConflictsStructures=60 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=0 maxDegree=13 maxArity=3
0.86 => wckTime=0.549 cpuTime=0.49 mem=44M587
0.94
0.94 solver IterativeSystematicSolver being built...
1.11 => wckTime=0.796 cpuTime=0.63 mem=21M664
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.0030 cpuTime=0.0 mem=21M664
1.24
1.24 search
1.24 run=0 nbConstraintChecks=43891 nbValidityChecks=79173 nbPropagations=488 nbRevisions=5384
1.24 nbUselessRevisions=4094 nbAssignments=36 nbFailedAssignments=22 nbBacktracks=10 nbVisitedNodes=69
1.24 nbRestartNogoods=0 mapSize=10 nbInferences=0 nbTooLargeKeys=0
1.24 => wckTime=0.133 cpuTime=0.09 mem=21M664
1.33
1.33 search
1.33 run=1 nbConstraintChecks=95462 nbValidityChecks=187447 nbPropagations=1603 nbRevisions=18706
1.33 nbUselessRevisions=14389 nbAssignments=104 nbFailedAssignments=70 nbBacktracks=26 nbVisitedNodes=198
1.33 nbRestartNogoods=5 mapSize=26 nbInferences=0 nbTooLargeKeys=0
1.33 => wckTime=0.22 cpuTime=0.16 mem=21M664
1.42
1.42 search
1.42 run=2 nbConstraintChecks=155020 nbValidityChecks=311512 nbPropagations=3525 nbRevisions=42285
1.42 nbUselessRevisions=32789 nbAssignments=171 nbFailedAssignments=111 nbBacktracks=48 nbVisitedNodes=322
1.42 nbRestartNogoods=12 mapSize=46 nbInferences=0 nbTooLargeKeys=0
1.42 => wckTime=0.307 cpuTime=0.24 mem=21M664
1.53
1.53 search
1.53 run=3 nbConstraintChecks=233977 nbValidityChecks=473055 nbPropagations=6525 nbRevisions=78498
1.53 nbUselessRevisions=61154 nbAssignments=262 nbFailedAssignments=165 nbBacktracks=82 nbVisitedNodes=493
1.53 nbRestartNogoods=20 mapSize=79 nbInferences=0 nbTooLargeKeys=0
1.53 => wckTime=0.418 cpuTime=0.35 mem=21M664
1.67
1.67 search
1.67 run=4 nbConstraintChecks=340442 nbValidityChecks=692991 nbPropagations=11051 nbRevisions=133303
1.67 nbUselessRevisions=104198 nbAssignments=386 nbFailedAssignments=235 nbBacktracks=132 nbVisitedNodes=723
1.67 nbRestartNogoods=23 mapSize=127 nbInferences=0 nbTooLargeKeys=0
1.67 => wckTime=0.558 cpuTime=0.48 mem=21M664
1.89
1.89 search
1.89 run=5 nbConstraintChecks=515928 nbValidityChecks=1048703 nbPropagations=17926 nbRevisions=216541
1.89 nbUselessRevisions=169602 nbAssignments=593 nbFailedAssignments=363 nbBacktracks=207 nbVisitedNodes=1119
1.89 nbRestartNogoods=28 mapSize=199 nbInferences=0 nbTooLargeKeys=0
1.89 => wckTime=0.784 cpuTime=0.7 mem=21M664
2.19
2.19 search
2.19 run=6 nbConstraintChecks=741546 nbValidityChecks=1508313 nbPropagations=27934 nbRevisions=337292
2.19 nbUselessRevisions=264565 nbAssignments=855 nbFailedAssignments=508 nbBacktracks=321 nbVisitedNodes=1603
2.19 nbRestartNogoods=33 mapSize=302 nbInferences=0 nbTooLargeKeys=0
2.19 => wckTime=1.076 cpuTime=0.99 mem=21M664
2.80
2.80 search
2.80 run=7 nbConstraintChecks=1224634 nbValidityChecks=2474558 nbPropagations=44128 nbRevisions=527701
2.80 nbUselessRevisions=413088 nbAssignments=1345 nbFailedAssignments=824 nbBacktracks=491 nbVisitedNodes=2546
2.80 nbRestartNogoods=38 mapSize=469 nbInferences=0 nbTooLargeKeys=0
2.80 => wckTime=1.694 cpuTime=1.59 mem=21M664
3.53
3.53 search
3.53 run=8 nbConstraintChecks=1782207 nbValidityChecks=3593807 nbPropagations=67749 nbRevisions=808579
3.53 nbUselessRevisions=632710 nbAssignments=1948 nbFailedAssignments=1167 nbBacktracks=748 nbVisitedNodes=3667
3.53 nbRestartNogoods=52 mapSize=704 nbInferences=0 nbTooLargeKeys=0
3.53 => wckTime=2.419 cpuTime=2.29 mem=21M664
4.40
4.40 INFO : Stopping hyperNogood (mapSize=1003, nbTooLargekeys=0, mem=22M631)
4.65
4.65 search
4.65 run=9 nbConstraintChecks=2691076 nbValidityChecks=5465110 nbPropagations=104044 nbRevisions=1241666
4.65 nbUselessRevisions=971523 nbAssignments=3044 nbFailedAssignments=1875 nbBacktracks=1133 nbVisitedNodes=5781
4.65 nbRestartNogoods=58
4.65 => wckTime=3.536 cpuTime=3.39 mem=22M631
6.05
6.05 search
6.05 run=10 nbConstraintChecks=3829602 nbValidityChecks=7806234 nbPropagations=156718 nbRevisions=1872555
6.05 nbUselessRevisions=1466310 nbAssignments=4446 nbFailedAssignments=2695 nbBacktracks=1713 nbVisitedNodes=8397
6.05 nbRestartNogoods=70
6.05 => wckTime=4.94 cpuTime=4.78 mem=22M631
8.46
8.46 search
8.46 run=11 nbConstraintChecks=5810045 nbValidityChecks=11855067 nbPropagations=236304 nbRevisions=2823182
8.46 nbUselessRevisions=2210561 nbAssignments=6600 nbFailedAssignments=3980 nbBacktracks=2579 nbVisitedNodes=12470
8.46 nbRestartNogoods=76
8.46 => wckTime=7.35 cpuTime=7.17 mem=22M631
11.75
11.75 search
11.75 run=12 nbConstraintChecks=8524757 nbValidityChecks=17499296 nbPropagations=354294 nbRevisions=4243374
11.75 nbUselessRevisions=3323828 nbAssignments=9675 nbFailedAssignments=5753 nbBacktracks=3879 nbVisitedNodes=18218
11.75 nbRestartNogoods=81
11.75 => wckTime=10.637 cpuTime=10.42 mem=22M631
16.64
16.64 search
16.64 run=13 nbConstraintChecks=12594076 nbValidityChecks=25899959 nbPropagations=530486 nbRevisions=6352835
16.64 nbUselessRevisions=4979372 nbAssignments=14729 nbFailedAssignments=8876 nbBacktracks=5790 nbVisitedNodes=27780
16.64 nbRestartNogoods=89
16.65 => wckTime=15.535 cpuTime=15.29 mem=22M631
16.65
16.65 global
16.65 nbConstraintChecks=12594076 nbValidityChecks=25899959 nbPropagations=530506 nbRevisions=6352835
16.65 nbUselessRevisions=4979372 nbRestartNogoods=89 solvingWckTime=15.536 solvingCpuTime=15.29 expiredTime=no
16.65 totalExploration=no nbFoundSolutions=1 globalCpuTime=15.97
16.65 => wckTime=16.335 cpuTime=15.92 mem=22M631
16.65
16.65 s SATISFIABLE
16.65 v 18 4 0 13 18 1 0 8 10 9 17 8 6 0 15 18 4 11 10 10
16.65 d NODES 14729
16.65 d CHECKS 12594076
16.65
16.65 totalWckTime=16.416 totalCpuTime=15.97
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node17/watcher-217987-1168079526 -o ROOT/results/node17/solver-217987-1168079526 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/217987-1168079526/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.57 1.77 1.86 4/93 13957
/proc/meminfo: memFree=1483688/2055920 swapFree=4192812/4192956
[pid=13956] ppid=13954 vsize=12076 CPUtime=0
/proc/13956/stat : 13956 (java) D 13954 13956 13833 0 -1 0 796 0 1 0 0 0 0 0 17 0 1 0 156347654 12365824 545 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 2147483391 0 7368 18446744072099781622 0 0 17 1 0 0
/proc/13956/statm: 3019 545 450 14 0 1602 0
[startup+0.10363 s]
/proc/loadavg: 1.57 1.77 1.86 4/93 13957
/proc/meminfo: memFree=1483688/2055920 swapFree=4192812/4192956
[pid=13956] ppid=13954 vsize=914988 CPUtime=0.08
/proc/13956/stat : 13956 (java) R 13954 13956 13833 0 -1 0 2994 0 1 0 7 1 0 0 20 0 8 0 156347654 936947712 2740 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13956/statm: 228747 2740 1427 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.511671 s]
/proc/loadavg: 1.57 1.77 1.86 4/93 13957
/proc/meminfo: memFree=1483688/2055920 swapFree=4192812/4192956
[pid=13956] ppid=13954 vsize=915328 CPUtime=0.49
/proc/13956/stat : 13956 (java) R 13954 13956 13833 0 -1 0 7591 0 1 0 45 4 0 0 22 0 8 0 156347654 937295872 7330 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073445396 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13956/statm: 228832 7330 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.33475 s]
/proc/loadavg: 1.57 1.77 1.86 3/100 13964
/proc/meminfo: memFree=1423792/2055920 swapFree=4192812/4192956
[pid=13956] ppid=13954 vsize=915460 CPUtime=1.31
/proc/13956/stat : 13956 (java) R 13954 13956 13833 0 -1 0 17663 0 1 0 120 11 0 0 25 0 8 0 156347654 937431040 17400 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072925707 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13956/statm: 228865 17400 2517 14 0 215335 0
[pid=13956/tid=13958] ppid=13954 vsize=915460 CPUtime=0.07
/proc/13956/task/13958/stat : 13958 (java) S 13954 13956 13833 0 -1 64 1888 0 0 0 6 1 0 0 16 0 8 0 156347658 937431040 17400 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13956/tid=13959] ppid=13954 vsize=915460 CPUtime=0
/proc/13956/task/13959/stat : 13959 (java) S 13954 13956 13833 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156347658 937431040 17400 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13956/tid=13960] ppid=13954 vsize=915460 CPUtime=0
/proc/13956/task/13960/stat : 13960 (java) S 13954 13956 13833 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156347658 937431040 17400 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13956/tid=13961] ppid=13954 vsize=915460 CPUtime=0
/proc/13956/task/13961/stat : 13961 (java) S 13954 13956 13833 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156347661 937431040 17400 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13956/tid=13962] ppid=13954 vsize=915460 CPUtime=0.17
/proc/13956/task/13962/stat : 13962 (java) S 13954 13956 13833 0 -1 64 355 0 0 0 16 1 0 0 15 0 8 0 156347661 937431040 17400 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13956/tid=13963] ppid=13954 vsize=915460 CPUtime=0
/proc/13956/task/13963/stat : 13963 (java) S 13954 13956 13833 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156347661 937431040 17400 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13956/tid=13964] ppid=13954 vsize=915460 CPUtime=0
/proc/13956/task/13964/stat : 13964 (java) S 13954 13956 13833 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156347661 937431040 17400 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.98793 s]
/proc/loadavg: 1.57 1.77 1.86 3/100 13964
/proc/meminfo: memFree=1423664/2055920 swapFree=4192812/4192956
[pid=13956] ppid=13954 vsize=915460 CPUtime=2.94
/proc/13956/stat : 13956 (java) R 13954 13956 13833 0 -1 0 17677 0 1 0 283 11 0 0 25 0 8 0 156347654 937431040 17413 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073727856 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13956/statm: 228865 17413 2517 14 0 215335 0
[pid=13956/tid=13958] ppid=13954 vsize=915460 CPUtime=0.07
/proc/13956/task/13958/stat : 13958 (java) S 13954 13956 13833 0 -1 64 1888 0 0 0 6 1 0 0 17 0 8 0 156347658 937431040 17413 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13956/tid=13959] ppid=13954 vsize=915460 CPUtime=0
/proc/13956/task/13959/stat : 13959 (java) S 13954 13956 13833 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156347658 937431040 17413 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13956/tid=13960] ppid=13954 vsize=915460 CPUtime=0
/proc/13956/task/13960/stat : 13960 (java) S 13954 13956 13833 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156347658 937431040 17413 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13956/tid=13961] ppid=13954 vsize=915460 CPUtime=0
/proc/13956/task/13961/stat : 13961 (java) S 13954 13956 13833 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156347661 937431040 17413 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13956/tid=13962] ppid=13954 vsize=915460 CPUtime=0.2
/proc/13956/task/13962/stat : 13962 (java) S 13954 13956 13833 0 -1 64 368 0 0 0 19 1 0 0 15 0 8 0 156347661 937431040 17413 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13956/tid=13963] ppid=13954 vsize=915460 CPUtime=0
/proc/13956/task/13963/stat : 13963 (java) S 13954 13956 13833 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156347661 937431040 17413 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13956/tid=13964] ppid=13954 vsize=915460 CPUtime=0
/proc/13956/task/13964/stat : 13964 (java) S 13954 13956 13833 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156347661 937431040 17413 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.27528 s]
/proc/loadavg: 1.60 1.77 1.86 3/100 13964
/proc/meminfo: memFree=1423600/2055920 swapFree=4192812/4192956
[pid=13956] ppid=13954 vsize=915460 CPUtime=6.2
/proc/13956/stat : 13956 (java) R 13954 13956 13833 0 -1 0 17694 0 1 0 608 12 0 0 25 0 8 0 156347654 937431040 17427 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073727932 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13956/statm: 228865 17427 2517 14 0 215335 0
[pid=13956/tid=13958] ppid=13954 vsize=915460 CPUtime=0.07
/proc/13956/task/13958/stat : 13958 (java) S 13954 13956 13833 0 -1 64 1888 0 0 0 6 1 0 0 16 0 8 0 156347658 937431040 17427 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13956/tid=13959] ppid=13954 vsize=915460 CPUtime=0
/proc/13956/task/13959/stat : 13959 (java) S 13954 13956 13833 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156347658 937431040 17427 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13956/tid=13960] ppid=13954 vsize=915460 CPUtime=0
/proc/13956/task/13960/stat : 13960 (java) S 13954 13956 13833 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156347658 937431040 17427 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13956/tid=13961] ppid=13954 vsize=915460 CPUtime=0
/proc/13956/task/13961/stat : 13961 (java) S 13954 13956 13833 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156347661 937431040 17427 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13956/tid=13962] ppid=13954 vsize=915460 CPUtime=0.23
/proc/13956/task/13962/stat : 13962 (java) S 13954 13956 13833 0 -1 64 383 0 0 0 22 1 0 0 16 0 8 0 156347661 937431040 17427 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13956/tid=13963] ppid=13954 vsize=915460 CPUtime=0
/proc/13956/task/13963/stat : 13963 (java) S 13954 13956 13833 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156347661 937431040 17427 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13956/tid=13964] ppid=13954 vsize=915460 CPUtime=0
/proc/13956/task/13964/stat : 13964 (java) R 13954 13956 13833 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156347661 937431040 17427 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.773 s]
/proc/loadavg: 1.63 1.78 1.86 3/100 13964
/proc/meminfo: memFree=1423664/2055920 swapFree=4192812/4192956
[pid=13956] ppid=13954 vsize=915460 CPUtime=12.64
/proc/13956/stat : 13956 (java) R 13954 13956 13833 0 -1 0 17695 0 1 0 1252 12 0 0 25 0 8 0 156347654 937431040 17427 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073727932 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13956/statm: 228865 17427 2517 14 0 215335 0
[pid=13956/tid=13958] ppid=13954 vsize=915460 CPUtime=0.07
/proc/13956/task/13958/stat : 13958 (java) S 13954 13956 13833 0 -1 64 1888 0 0 0 6 1 0 0 16 0 8 0 156347658 937431040 17427 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13956/tid=13959] ppid=13954 vsize=915460 CPUtime=0
/proc/13956/task/13959/stat : 13959 (java) S 13954 13956 13833 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156347658 937431040 17427 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13956/tid=13960] ppid=13954 vsize=915460 CPUtime=0
/proc/13956/task/13960/stat : 13960 (java) S 13954 13956 13833 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156347658 937431040 17427 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13956/tid=13961] ppid=13954 vsize=915460 CPUtime=0
/proc/13956/task/13961/stat : 13961 (java) S 13954 13956 13833 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156347661 937431040 17427 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13956/tid=13962] ppid=13954 vsize=915460 CPUtime=0.23
/proc/13956/task/13962/stat : 13962 (java) S 13954 13956 13833 0 -1 64 383 0 0 0 22 1 0 0 16 0 8 0 156347661 937431040 17427 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13956/tid=13963] ppid=13954 vsize=915460 CPUtime=0
/proc/13956/task/13963/stat : 13963 (java) S 13954 13956 13833 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156347661 937431040 17427 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13956/tid=13964] ppid=13954 vsize=915460 CPUtime=0
/proc/13956/task/13964/stat : 13964 (java) S 13954 13956 13833 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156347661 937431040 17427 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.64
Current children cumulated vsize (KiB) 915460
Child status: 0
Real time (s): 16.6964
CPU time (s): 16.5065
CPU user time (s): 16.3725
CPU system time (s): 0.133979
CPU usage (%): 98.8626
Max. virtual memory (cumulated for all children) (KiB): 915460
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 16.3725
system time used= 0.133979
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17702
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= 1416
involuntary context switches= 2296
runsolver used 0.021996 s user time and 0.06199 s system time
The end
Begin job on node17 on Sat Jan 6 10:32:09 UTC 2007
IDJOB= 217987
IDBENCH= 5187
FILE ID= node17/217987-1168079526
PBS_JOBID= 3475841
Free space on /tmp= 66313 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 mac.xml 1 XSax /tmp/evaluation/217987-1168079526/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node17/watcher-217987-1168079526 -o ROOT/results/node17/solver-217987-1168079526 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/217987-1168079526/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= e0a6f3e36211043edd09986ac6ef091f
RANDOM SEED= 2210898
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.236
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.236
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: 1484168 kB
Buffers: 46928 kB
Cached: 247240 kB
SwapCached: 0 kB
Active: 272692 kB
Inactive: 209500 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1484168 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 3060 kB
Writeback: 0 kB
Mapped: 217092 kB
Slab: 74036 kB
Committed_AS: 4602372 kB
PageTables: 2544 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= 66313 MiB
End job on node17 on Sat Jan 6 10:32:25 UTC 2007